0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver Clp 1.8.2
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-1869489-1245174443.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 | 21 | 399k| 0 | 5 | 115 | 5 | 5 | 115 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 67 | 471k| 0 | 11 | 115 | 5 | 5 | 115 | 12 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.04 c 0.0s| 1 | 0 | 71 | 498k| 0 | 13 | 115 | 5 | 5 | 115 | 16 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.06 c 0.1s| 1 | 0 | 81 | 525k| 0 | 13 | 115 | 5 | 5 | 115 | 18 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.07 c 0.1s| 1 | 0 | 97 | 532k| 0 | 15 | 115 | 5 | 5 | 115 | 20 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.09 c 0.1s| 1 | 0 | 106 | 545k| 0 | 15 | 115 | 5 | 5 | 115 | 23 | 18 | 0 | 0 | 9.094947e-13 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 121 | 552k| 0 | 13 | 115 | 5 | 5 | 115 | 25 | 20 | 0 | 0 | 9.094947e-13 | -- | Inf
0.09/0.16 c 0.1s| 1 | 2 | 121 | 553k| 0 | 13 | 115 | 5 | 5 | 115 | 25 | 20 | 0 | 13 | 9.094947e-13 | -- | Inf
0.19/0.25 o 337
0.19/0.25 c c 0.2s| 30 | 29 | 295 | 585k| 29 | - | 115 | 5 | 2 | 115 | 15 | 20 | 0 | 181 | 9.094947e-13 | 3.370000e+02 | Inf
0.29/0.31 o 146
0.29/0.31 c f 0.3s| 62 | 57 | 509 | 601k| 29 | - | 115 | 5 | 3 | 115 | 15 | 20 | 0 | 266 | 9.094947e-13 | 1.460000e+02 | Inf
0.29/0.37 o 144
0.29/0.37 c l 0.3s| 123 | 114 | 851 | 637k| 32 | - | 115 | 5 | 0 | 115 | 15 | 20 | 3 | 346 | 9.094947e-13 | 1.440000e+02 | Inf
0.29/0.37 o 136
0.29/0.37 c g 0.3s| 123 | 112 | 852 | 638k| 32 | - | 115 | 5 | 3 | 115 | 15 | 20 | 4 | 346 | 9.094947e-13 | 1.360000e+02 | Inf
0.39/0.41 o 135
0.39/0.41 c p 0.4s| 172 | 159 | 1055 | 662k| 32 | - | 115 | 5 | 0 | 115 | 15 | 20 | 6 | 386 | 9.094947e-13 | 1.350000e+02 | Inf
0.39/0.48 o 134
0.39/0.48 c * 0.5s| 273 | 256 | 1532 | 709k| 32 | - | 115 | 6 | 0 | 115 | 15 | 20 | 10 | 409 | 9.094947e-13 | 1.340000e+02 | Inf
0.49/0.51 o 130
0.49/0.51 c * 0.5s| 299 | 272 | 1676 | 722k| 33 | - | 115 | 6 | 1 | 115 | 15 | 20 | 10 | 453 | 9.094947e-13 | 1.300000e+02 | Inf
0.49/0.56 o 124
0.49/0.56 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.56 c * 0.5s| 349 | 307 | 2010 | 744k| 36 | - | 115 | 6 | 3 | 115 | 15 | 20 | 11 | 506 | 9.094947e-13 | 1.240000e+02 | Inf
0.49/0.57 o 123
0.49/0.57 c p 0.5s| 364 | 320 | 2056 | 757k| 36 | - | 115 | 6 | 0 | 115 | 15 | 20 | 13 | 522 | 9.094947e-13 | 1.230000e+02 | Inf
0.49/0.59 o 122
0.49/0.59 c * 0.6s| 396 | 346 | 2144 | 767k| 36 | - | 115 | 6 | 0 | 115 | 15 | 20 | 13 | 543 | 9.094947e-13 | 1.220000e+02 | Inf
0.59/0.60 o 120
0.59/0.60 c v 0.6s| 400 | 348 | 2156 | 771k| 36 | - | 115 | 6 | 0 | 115 | 15 | 20 | 14 | 560 | 9.094947e-13 | 1.200000e+02 | Inf
0.59/0.63 o 118
0.59/0.63 c * 0.6s| 449 | 394 | 2356 | 790k| 36 | - | 115 | 6 | 1 | 115 | 15 | 20 | 14 | 570 | 9.094947e-13 | 1.180000e+02 | Inf
0.59/0.63 o 116
0.59/0.63 c * 0.6s| 450 | 391 | 2357 | 790k| 36 | - | 115 | 6 | 1 | 115 | 15 | 20 | 14 | 570 | 9.094947e-13 | 1.160000e+02 | Inf
0.59/0.66 o 115
0.59/0.66 c p 0.6s| 487 | 421 | 2468 | 808k| 36 | - | 115 | 6 | 0 | 115 | 15 | 20 | 15 | 589 | 9.094947e-13 | 1.150000e+02 | Inf
0.59/0.68 o 114
0.59/0.68 c v 0.7s| 521 | 451 | 2580 | 825k| 36 | - | 115 | 6 | 1 | 115 | 15 | 20 | 16 | 597 | 9.094947e-13 | 1.140000e+02 | Inf
0.59/0.69 o 113
0.59/0.69 c * 0.7s| 531 | 455 | 2608 | 827k| 36 | - | 115 | 6 | 0 | 115 | 15 | 20 | 16 | 615 | 9.094947e-13 | 1.130000e+02 | Inf
0.59/0.69 o 109
0.59/0.69 c * 0.7s| 535 | 452 | 2610 | 825k| 38 | - | 115 | 6 | 2 | 115 | 15 | 20 | 16 | 619 | 9.094947e-13 | 1.090000e+02 | Inf
0.59/0.69 o 107
0.59/0.69 c * 0.7s| 536 | 445 | 2610 | 823k| 38 | - | 115 | 6 | 0 | 115 | 15 | 20 | 16 | 619 | 9.094947e-13 | 1.070000e+02 | Inf
0.69/0.70 o 106
0.69/0.70 c l 0.7s| 553 | 454 | 2653 | 834k| 38 | - | 115 | 6 | 0 | 115 | 15 | 20 | 18 | 625 | 9.094947e-13 | 1.060000e+02 | Inf
0.69/0.75 o 104
0.69/0.75 c * 0.7s| 630 | 518 | 2939 | 860k| 38 | - | 115 | 6 | 0 | 115 | 15 | 20 | 19 | 636 | 9.094947e-13 | 1.040000e+02 | Inf
0.69/0.75 o 100
0.69/0.75 c * 0.7s| 633 | 515 | 2943 | 859k| 38 | - | 115 | 6 | 1 | 115 | 15 | 20 | 19 | 641 | 9.094947e-13 | 1.000000e+02 | Inf
0.69/0.77 o 92
0.69/0.77 c S 0.7s| 663 | 539 | 3021 | 872k| 38 | 0 | 115 | 6 | 3 | 115 | 15 | 20 | 20 | 653 | 9.094947e-13 | 9.200000e+01 | Inf
0.79/0.81 o 84
0.79/0.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.81 c * 0.8s| 731 | 567 | 3225 | 884k| 38 | - | 115 | 6 | 3 | 115 | 15 | 20 | 25 | 659 | 9.094947e-13 | 8.400000e+01 | Inf
0.79/0.84 o 83
0.79/0.84 c * 0.8s| 782 | 606 | 3397 | 908k| 38 | - | 115 | 7 | 1 | 115 | 15 | 20 | 29 | 662 | 9.094947e-13 | 8.300000e+01 | Inf
0.79/0.84 o 81
0.79/0.84 c v 0.8s| 786 | 600 | 3423 | 908k| 38 | - | 115 | 7 | 1 | 115 | 15 | 20 | 32 | 664 | 9.094947e-13 | 8.100000e+01 | Inf
0.99/1.06 o 80
0.99/1.06 c f 1.0s| 1074 | 886 | 4858 |1027k| 38 | - | 115 | 7 | 0 | 115 | 15 | 20 | 50 | 667 | 9.094947e-13 | 8.000000e+01 | Inf
1.10/1.19 o 76
1.10/1.19 c g 1.1s| 1269 | 1067 | 5832 |1112k| 38 | - | 115 | 7 | 1 | 115 | 15 | 20 | 66 | 670 | 9.094947e-13 | 7.600000e+01 | Inf
1.29/1.34 o 54
1.29/1.34 c f 1.3s| 1480 | 1223 | 6812 |1182k| 38 | - | 115 | 7 | 1 | 115 | 15 | 20 | 72 | 674 | 9.094947e-13 | 5.400000e+01 | Inf
1.59/1.70 o 44
1.59/1.70 c f 1.6s| 1922 | 1612 | 9338 |1338k| 38 | - | 115 | 7 | 4 | 115 | 15 | 20 | 103 | 682 | 9.094947e-13 | 4.400000e+01 | Inf
2.29/2.33 o 43
2.29/2.33 c v 2.2s| 2506 | 2136 | 13666 |1558k| 38 | - | 115 | 8 | 0 | 115 | 15 | 20 | 184 | 691 | 9.094947e-13 | 4.300000e+01 | Inf
3.19/3.27 o 40
3.19/3.27 c c 3.1s| 3446 | 2956 | 20123 |1944k| 38 | - | 115 | 9 | 1 | 115 | 15 | 20 | 302 | 697 | 9.094947e-13 | 4.000000e+01 | Inf
3.49/3.59 o 27
3.49/3.59 c p 3.5s| 3737 | 3012 | 22402 |1947k| 38 | - | 115 | 10 | 5 | 115 | 15 | 20 | 341 | 708 | 9.094947e-13 | 2.700000e+01 | Inf
4.69/4.78 o 21
4.69/4.78 c c 4.6s| 4942 | 3796 | 31196 |2289k| 38 | - | 115 | 18 | 3 | 115 | 15 | 20 | 553 | 734 | 9.094947e-13 | 2.100000e+01 | Inf
5.59/5.60 o 17
5.59/5.60 c * 5.4s| 5921 | 4270 | 37382 |2522k| 38 | - | 115 | 22 | 1 | 115 | 15 | 20 | 704 | 745 | 9.094947e-13 | 1.700000e+01 | Inf
6.59/6.61 o 16
6.59/6.61 c * 6.4s| 7423 | 4949 | 45086 |2870k| 38 | - | 115 | 23 | 0 | 115 | 15 | 20 | 857 | 777 | 9.094947e-13 | 1.600000e+01 | Inf
8.09/8.14 c 7.8s| 10000 | 6072 | 57207 |3488k| 38 | - | 115 | 33 | 5 | 115 | 15 | 20 |1195 | 872 | 9.094947e-13 | 1.600000e+01 | Inf
8.49/8.59 o 15
8.49/8.59 c * 8.3s| 10798 | 6364 | 60557 |3646k| 38 | - | 115 | 35 | 0 | 115 | 15 | 20 |1306 | 902 | 9.094947e-13 | 1.500000e+01 | Inf
8.49/8.59 o 13
8.49/8.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.49/8.59 c * 8.3s| 10799 | 6264 | 60557 |3568k| 38 | - | 115 | 35 | 0 | 115 | 15 | 20 |1306 | 902 | 9.094947e-13 | 1.300000e+01 | Inf
8.89/8.93 o 7
8.89/8.93 c * 8.6s| 11456 | 5910 | 63199 |3214k| 38 | - | 115 | 36 | 4 | 115 | 15 | 20 |1352 | 913 | 9.094947e-13 | 7.000000e+00 | Inf
12.99/13.04 c 12.5s| 20000 | 7574 | 99865 |4145k| 38 | - | 115 | 80 | 14 | 115 | 15 | 20 |1977 |1121 | 9.094947e-13 | 7.000000e+00 | Inf
17.59/17.64 c 16.9s| 30000 | 8675 |141830 |4894k| 38 | - | 115 | 94 | 8 | 115 | 15 | 20 |2616 |1362 | 9.094947e-13 | 7.000000e+00 | Inf
21.89/21.96 c 21.1s| 40000 | 8993 |180611 |5253k| 38 | 5 | 115 | 102 | 5 | 115 | 15 | 20 |3345 |1600 | 9.094947e-13 | 7.000000e+00 | Inf
26.18/26.26 c 25.2s| 50000 | 8783 |218980 |5241k| 38 | 5 | 115 | 79 | 6 | 115 | 15 | 20 |4019 |1810 | 9.094947e-13 | 7.000000e+00 | Inf
28.18/28.28 o 6
28.18/28.28 c *27.1s| 54683 | 8524 |237225 |5067k| 38 | - | 115 | 80 | 0 | 115 | 15 | 20 |4272 |1899 | 9.094947e-13 | 6.000000e+00 | Inf
30.48/30.59 c 29.4s| 60000 | 8552 |258082 |5142k| 38 | - | 115 | 101 | 5 | 115 | 15 | 20 |4598 |2016 | 9.094947e-13 | 6.000000e+00 | Inf
34.78/34.81 c 33.4s| 70000 | 8442 |297023 |5052k| 38 | 5 | 115 | 96 | 16 | 115 | 15 | 20 |5114 |2201 | 9.094947e-13 | 6.000000e+00 | Inf
38.98/39.07 c 37.5s| 80000 | 8512 |336726 |5194k| 38 | 5 | 115 | 79 | 5 | 115 | 15 | 20 |5664 |2382 | 9.094947e-13 | 6.000000e+00 | Inf
43.18/43.28 c 41.5s| 90000 | 8558 |374286 |5340k| 38 | 5 | 115 | 78 | 7 | 115 | 15 | 20 |6285 |2534 | 9.094947e-13 | 6.000000e+00 | Inf
47.57/47.69 c 45.7s|100000 | 8771 |415142 |5305k| 38 | 5 | 115 | 53 | 5 | 115 | 15 | 20 |6994 |2686 | 9.094947e-13 | 6.000000e+00 | Inf
52.27/52.32 c 50.2s|110000 | 10864 |455264 |6499k| 38 | - | 115 | 97 | 9 | 115 | 15 | 20 |8067 |2803 | 9.094947e-13 | 6.000000e+00 | Inf
56.47/56.58 c 54.2s|120000 | 11554 |492902 |7107k| 38 | 5 | 115 | 80 | 30 | 115 | 15 | 20 |9097 |2976 | 9.094947e-13 | 6.000000e+00 | Inf
60.78/60.82 c 58.3s|130000 | 11995 |530563 |7569k| 38 | 5 | 115 | 96 | 10 | 115 | 15 | 20 | 10k|3112 | 9.094947e-13 | 6.000000e+00 | Inf
64.97/65.08 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.97/65.08 c 62.4s|140000 | 12144 |569411 |7851k| 38 | 5 | 115 | 82 | 6 | 115 | 15 | 20 | 11k|3268 | 9.094947e-13 | 6.000000e+00 | Inf
69.47/69.51 c 66.6s|150000 | 12852 |609563 |8409k| 38 | 5 | 115 | 88 | 7 | 115 | 15 | 20 | 12k|3417 | 9.094947e-13 | 6.000000e+00 | Inf
70.28/70.38 o 4
70.28/70.38 c *67.5s|151944 | 12615 |617388 |7830k| 38 | - | 115 | 75 | 0 | 115 | 15 | 20 | 12k|3451 | 9.094947e-13 | 4.000000e+00 | Inf
73.57/73.69 c 70.6s|160000 | 12966 |649317 |8134k| 38 | 5 | 115 | 84 | 6 | 115 | 15 | 20 | 12k|3535 | 9.094947e-13 | 4.000000e+00 | Inf
77.67/77.72 c 74.5s|170000 | 13108 |689254 |8344k| 38 | - | 115 | 70 | 6 | 0 | 0 | 20 | 13k|3639 | 9.094947e-13 | 4.000000e+00 | Inf
81.67/81.74 c 78.3s|180000 | 12919 |728308 |8327k| 38 | 5 | 115 | 81 | 6 | 115 | 15 | 20 | 14k|3769 | 9.094947e-13 | 4.000000e+00 | Inf
85.67/85.79 c 82.2s|190000 | 12715 |767218 |8231k| 38 | - | 115 | 78 | 6 | 115 | 15 | 20 | 15k|3861 | 9.094947e-13 | 4.000000e+00 | Inf
89.86/89.94 c 86.2s|200000 | 13363 |807043 |8711k| 38 | 5 | 115 | 79 | 7 | 115 | 15 | 20 | 16k|3975 | 9.094947e-13 | 4.000000e+00 | Inf
93.86/93.94 c 90.0s|210000 | 13295 |845067 |8826k| 38 | 5 | 115 | 85 | 5 | 115 | 15 | 20 | 16k|4073 | 9.094947e-13 | 4.000000e+00 | Inf
97.86/97.94 c 93.8s|220000 | 13361 |883534 |8982k| 38 | 5 | 115 | 99 | 5 | 115 | 15 | 20 | 17k|4168 | 9.094947e-13 | 4.000000e+00 | Inf
101.96/102.02 c 97.8s|230000 | 13642 |922075 |9156k| 38 | 5 | 115 | 75 | 7 | 115 | 15 | 20 | 18k|4256 | 9.094947e-13 | 4.000000e+00 | Inf
105.96/106.02 c 102s|240000 | 13864 |959563 |9410k| 38 | 5 | 115 | 72 | 7 | 115 | 15 | 20 | 19k|4383 | 9.094947e-13 | 4.000000e+00 | Inf
109.86/109.93 c 105s|250000 | 14058 |996628 |9638k| 38 | 5 | 115 | 86 | 7 | 115 | 15 | 20 | 19k|4456 | 9.094947e-13 | 4.000000e+00 | Inf
113.76/113.86 c 109s|260000 | 14190 | 1033k|9798k| 38 | 5 | 115 | 103 | 8 | 115 | 15 | 20 | 20k|4541 | 9.094947e-13 | 4.000000e+00 | Inf
117.76/117.87 c 113s|270000 | 14589 | 1070k| 10M| 38 | 5 | 115 | 135 | 5 | 115 | 15 | 20 | 21k|4742 | 9.094947e-13 | 4.000000e+00 | Inf
121.76/121.83 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.76/121.83 c 117s|280000 | 14624 | 1108k| 10M| 38 | - | 115 | 96 | 7 | 115 | 15 | 20 | 21k|4766 | 9.094947e-13 | 4.000000e+00 | Inf
125.65/125.76 c 120s|290000 | 14568 | 1145k| 10M| 38 | 5 | 115 | 111 | 5 | 115 | 15 | 20 | 22k|4832 | 9.094947e-13 | 4.000000e+00 | Inf
129.56/129.64 c 124s|300000 | 14646 | 1182k| 10M| 38 | - | 115 | 110 | 6 | 115 | 15 | 20 | 23k|4892 | 9.094947e-13 | 4.000000e+00 | Inf
133.45/133.55 c 128s|310000 | 14360 | 1220k| 10M| 38 | - | 115 | 123 | 6 | 115 | 15 | 20 | 23k|4965 | 9.094947e-13 | 4.000000e+00 | Inf
137.55/137.69 c 132s|320000 | 15177 | 1260k| 10M| 38 | 5 | 115 | 82 | 15 | 115 | 15 | 20 | 24k|5037 | 9.094947e-13 | 4.000000e+00 | Inf
141.65/141.77 c 136s|330000 | 15714 | 1299k| 11M| 38 | - | 115 | 108 | 17 | 115 | 15 | 20 | 25k|5111 | 9.094947e-13 | 4.000000e+00 | Inf
145.65/145.80 c 140s|340000 | 16292 | 1337k| 11M| 38 | - | 115 | 66 | 6 | 115 | 15 | 20 | 25k|5179 | 9.094947e-13 | 4.000000e+00 | Inf
150.05/150.10 c 144s|350000 | 17609 | 1377k| 12M| 38 | 5 | 115 | 88 | 5 | 115 | 15 | 20 | 26k|5253 | 9.094947e-13 | 4.000000e+00 | Inf
154.04/154.17 c 148s|360000 | 18166 | 1416k| 12M| 38 | - | 115 | 82 | 5 | 115 | 15 | 20 | 27k|5337 | 9.094947e-13 | 4.000000e+00 | Inf
158.04/158.11 c 151s|370000 | 18404 | 1454k| 13M| 38 | 5 | 115 | 100 | 12 | 115 | 15 | 20 | 28k|5441 | 9.094947e-13 | 4.000000e+00 | Inf
161.94/162.06 c 155s|380000 | 18546 | 1490k| 13M| 38 | 5 | 115 | 96 | 9 | 115 | 15 | 20 | 28k|5542 | 9.094947e-13 | 4.000000e+00 | Inf
165.94/166.01 c 159s|390000 | 18441 | 1528k| 13M| 38 | - | 115 | 96 | 5 | 115 | 15 | 20 | 29k|5631 | 9.094947e-13 | 4.000000e+00 | Inf
169.84/169.91 c 163s|400000 | 18537 | 1564k| 13M| 38 | 5 | 115 | 113 | 9 | 115 | 15 | 20 | 30k|5710 | 9.094947e-13 | 4.000000e+00 | Inf
173.64/173.79 c 166s|410000 | 18187 | 1600k| 13M| 38 | 5 | 115 | 93 | 5 | 115 | 15 | 20 | 31k|5788 | 9.094947e-13 | 4.000000e+00 | Inf
178.63/178.75 c 171s|420000 | 19059 | 1639k| 14M| 38 | - | 115 | 134 | 5 | 115 | 15 | 20 | 32k|5857 | 9.094947e-13 | 4.000000e+00 | Inf
182.64/182.70 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.64/182.70 c 175s|430000 | 19282 | 1676k| 14M| 38 | 5 | 115 | 106 | 7 | 115 | 15 | 20 | 32k|5922 | 9.094947e-13 | 4.000000e+00 | Inf
186.54/186.63 c 179s|440000 | 19326 | 1713k| 14M| 38 | 5 | 115 | 109 | 6 | 115 | 15 | 20 | 33k|5981 | 9.094947e-13 | 4.000000e+00 | Inf
190.43/190.58 c 182s|450000 | 19348 | 1750k| 14M| 38 | 5 | 115 | 110 | 10 | 115 | 15 | 20 | 34k|6049 | 9.094947e-13 | 4.000000e+00 | Inf
194.34/194.49 c 186s|460000 | 19298 | 1786k| 14M| 38 | - | 115 | 174 | 6 | 0 | 0 | 20 | 35k|6127 | 9.094947e-13 | 4.000000e+00 | Inf
198.23/198.32 c 190s|470000 | 19000 | 1820k| 14M| 38 | 5 | 115 | 108 | 8 | 115 | 15 | 20 | 36k|6193 | 9.094947e-13 | 4.000000e+00 | Inf
202.13/202.21 c 194s|480000 | 18855 | 1857k| 14M| 38 | 5 | 115 | 111 | 5 | 115 | 15 | 20 | 36k|6263 | 9.094947e-13 | 4.000000e+00 | Inf
206.03/206.14 c 197s|490000 | 18718 | 1893k| 14M| 38 | 5 | 115 | 132 | 8 | 115 | 15 | 20 | 37k|6334 | 9.094947e-13 | 4.000000e+00 | Inf
209.93/210.10 c 201s|500000 | 18425 | 1929k| 14M| 38 | 5 | 115 | 122 | 10 | 115 | 15 | 20 | 38k|6408 | 9.094947e-13 | 4.000000e+00 | Inf
213.93/214.00 c 205s|510000 | 18326 | 1965k| 14M| 38 | - | 115 | 157 | 8 | 0 | 0 | 20 | 39k|6469 | 9.094947e-13 | 4.000000e+00 | Inf
217.82/217.92 c 209s|520000 | 17939 | 2002k| 14M| 38 | - | 115 | 145 | 5 | 115 | 15 | 20 | 40k|6530 | 9.094947e-13 | 4.000000e+00 | Inf
221.72/221.80 c 212s|530000 | 17530 | 2038k| 13M| 38 | 5 | 115 | 110 | 8 | 115 | 15 | 20 | 41k|6572 | 9.094947e-13 | 4.000000e+00 | Inf
225.62/225.71 c 216s|540000 | 17089 | 2075k| 13M| 38 | - | 115 | 138 | 5 | 115 | 15 | 20 | 41k|6628 | 9.094947e-13 | 4.000000e+00 | Inf
229.52/229.69 c 220s|550000 | 16835 | 2112k| 13M| 38 | - | 115 | 133 | 29 | 115 | 15 | 20 | 42k|6692 | 9.094947e-13 | 4.000000e+00 | Inf
233.72/233.85 c 224s|560000 | 17510 | 2151k| 13M| 38 | 5 | 115 | 148 | 5 | 115 | 15 | 20 | 43k|6745 | 9.094947e-13 | 4.000000e+00 | Inf
237.82/237.97 c 228s|570000 | 18357 | 2191k| 14M| 38 | 5 | 115 | 156 | 6 | 115 | 15 | 20 | 44k|6790 | 9.094947e-13 | 4.000000e+00 | Inf
241.92/242.06 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
241.92/242.06 c 232s|580000 | 18871 | 2229k| 14M| 38 | 5 | 115 | 157 | 14 | 115 | 15 | 20 | 44k|6844 | 9.094947e-13 | 4.000000e+00 | Inf
246.11/246.26 c 236s|590000 | 19739 | 2268k| 15M| 38 | 5 | 115 | 180 | 5 | 115 | 15 | 20 | 45k|6897 | 9.094947e-13 | 4.000000e+00 | Inf
250.11/250.25 c 240s|600000 | 19921 | 2306k| 15M| 38 | 5 | 115 | 170 | 6 | 115 | 15 | 20 | 46k|6939 | 9.094947e-13 | 4.000000e+00 | Inf
254.11/254.26 c 243s|610000 | 20164 | 2344k| 16M| 38 | - | 115 | 196 | 6 | 0 | 0 | 20 | 47k|6997 | 9.094947e-13 | 4.000000e+00 | Inf
258.11/258.25 c 247s|620000 | 20599 | 2382k| 16M| 38 | - | 115 | 207 | 6 | 0 | 0 | 20 | 48k|7050 | 9.094947e-13 | 4.000000e+00 | Inf
262.01/262.20 c 251s|630000 | 20631 | 2419k| 16M| 38 | - | 115 | 193 | 6 | 115 | 15 | 20 | 48k|7103 | 9.094947e-13 | 4.000000e+00 | Inf
266.11/266.26 c 255s|640000 | 20929 | 2456k| 17M| 38 | - | 115 | 173 | 5 | 115 | 15 | 20 | 49k|7153 | 9.094947e-13 | 4.000000e+00 | Inf
270.11/270.25 c 259s|650000 | 20598 | 2493k| 16M| 38 | - | 115 | 185 | 12 | 115 | 15 | 20 | 50k|7204 | 9.094947e-13 | 4.000000e+00 | Inf
274.11/274.26 c 263s|660000 | 20254 | 2530k| 16M| 38 | 5 | 115 | 174 | 5 | 115 | 15 | 20 | 51k|7260 | 9.094947e-13 | 4.000000e+00 | Inf
278.11/278.24 c 266s|670000 | 20330 | 2568k| 17M| 38 | 5 | 115 | 183 | 7 | 115 | 15 | 20 | 52k|7310 | 9.094947e-13 | 4.000000e+00 | Inf
282.10/282.22 c 270s|680000 | 19889 | 2605k| 16M| 38 | 5 | 115 | 180 | 6 | 115 | 15 | 20 | 52k|7361 | 9.094947e-13 | 4.000000e+00 | Inf
286.11/286.28 c 274s|690000 | 19895 | 2643k| 16M| 38 | - | 115 | 196 | 5 | 115 | 15 | 20 | 53k|7423 | 9.094947e-13 | 4.000000e+00 | Inf
290.11/290.22 c 278s|700000 | 19686 | 2679k| 16M| 38 | 5 | 115 | 211 | 8 | 115 | 15 | 20 | 54k|7463 | 9.094947e-13 | 4.000000e+00 | Inf
294.11/294.25 c 282s|710000 | 19208 | 2717k| 16M| 38 | 5 | 115 | 211 | 5 | 115 | 15 | 20 | 55k|7514 | 9.094947e-13 | 4.000000e+00 | Inf
298.01/298.18 c 286s|720000 | 18263 | 2753k| 15M| 38 | - | 115 | 190 | 13 | 115 | 15 | 20 | 56k|7557 | 9.094947e-13 | 4.000000e+00 | Inf
302.10/302.24 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
302.10/302.24 c 289s|730000 | 17240 | 2790k| 14M| 38 | 5 | 115 | 181 | 5 | 115 | 15 | 20 | 57k|7602 | 9.094947e-13 | 4.000000e+00 | Inf
306.50/306.67 c 294s|740000 | 18704 | 2831k| 15M| 38 | - | 115 | 201 | 5 | 115 | 15 | 20 | 57k|7668 | 9.094947e-13 | 4.000000e+00 | Inf
310.90/311.03 c 298s|750000 | 19965 | 2872k| 16M| 38 | - | 115 | 242 | 6 | 115 | 15 | 20 | 58k|7698 | 9.094947e-13 | 4.000000e+00 | Inf
315.10/315.26 c 302s|760000 | 21098 | 2913k| 16M| 38 | 5 | 115 | 219 | 15 | 115 | 15 | 20 | 59k|7738 | 9.094947e-13 | 4.000000e+00 | Inf
319.20/319.35 c 306s|770000 | 21813 | 2950k| 17M| 38 | - | 115 | 214 | 8 | 115 | 15 | 20 | 60k|7775 | 9.094947e-13 | 4.000000e+00 | Inf
323.30/323.40 c 310s|780000 | 22213 | 2988k| 17M| 38 | - | 115 | 220 | 6 | 115 | 15 | 20 | 60k|7829 | 9.094947e-13 | 4.000000e+00 | Inf
327.30/327.50 c 313s|790000 | 22709 | 3026k| 18M| 38 | - | 115 | 275 | 5 | 115 | 15 | 20 | 61k|7874 | 9.094947e-13 | 4.000000e+00 | Inf
331.39/331.56 c 317s|800000 | 23418 | 3063k| 18M| 38 | - | 115 | 260 | 5 | 115 | 15 | 20 | 62k|7919 | 9.094947e-13 | 4.000000e+00 | Inf
335.49/335.60 c 321s|810000 | 23640 | 3101k| 19M| 38 | 5 | 115 | 245 | 5 | 115 | 15 | 20 | 63k|7963 | 9.094947e-13 | 4.000000e+00 | Inf
339.39/339.56 c 325s|820000 | 23760 | 3138k| 19M| 38 | 5 | 115 | 266 | 5 | 115 | 15 | 20 | 64k|8014 | 9.094947e-13 | 4.000000e+00 | Inf
343.48/343.65 c 329s|830000 | 23763 | 3176k| 19M| 38 | 5 | 115 | 260 | 5 | 115 | 15 | 20 | 64k|8070 | 9.094947e-13 | 4.000000e+00 | Inf
347.49/347.69 c 333s|840000 | 23727 | 3213k| 19M| 38 | 5 | 115 | 262 | 5 | 115 | 15 | 20 | 65k|8118 | 9.094947e-13 | 4.000000e+00 | Inf
351.59/351.72 c 337s|850000 | 23553 | 3250k| 19M| 38 | - | 115 | 279 | 6 | 115 | 15 | 20 | 66k|8181 | 9.094947e-13 | 4.000000e+00 | Inf
355.58/355.76 c 340s|860000 | 23364 | 3287k| 19M| 38 | - | 115 | 264 | 5 | 115 | 15 | 20 | 67k|8225 | 9.094947e-13 | 4.000000e+00 | Inf
359.59/359.78 c 344s|870000 | 23478 | 3324k| 20M| 38 | 5 | 115 | 281 | 7 | 115 | 15 | 20 | 68k|8273 | 9.094947e-13 | 4.000000e+00 | Inf
363.58/363.71 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
363.58/363.71 c 348s|880000 | 23278 | 3360k| 20M| 38 | 5 | 115 | 263 | 5 | 115 | 15 | 20 | 69k|8306 | 9.094947e-13 | 4.000000e+00 | Inf
367.58/367.73 c 352s|890000 | 22962 | 3396k| 19M| 38 | - | 115 | 276 | 7 | 115 | 15 | 20 | 69k|8367 | 9.094947e-13 | 4.000000e+00 | Inf
371.58/371.76 c 356s|900000 | 23129 | 3434k| 20M| 38 | 5 | 115 | 289 | 5 | 115 | 15 | 20 | 70k|8411 | 9.094947e-13 | 4.000000e+00 | Inf
375.58/375.75 c 360s|910000 | 22926 | 3471k| 20M| 38 | 5 | 115 | 288 | 6 | 115 | 15 | 20 | 71k|8438 | 9.094947e-13 | 4.000000e+00 | Inf
379.58/379.72 c 363s|920000 | 22307 | 3507k| 19M| 38 | - | 115 | 261 | 5 | 115 | 15 | 20 | 72k|8491 | 9.094947e-13 | 4.000000e+00 | Inf
383.57/383.71 c 367s|930000 | 21856 | 3544k| 19M| 38 | 5 | 115 | 266 | 5 | 115 | 15 | 20 | 73k|8535 | 9.094947e-13 | 4.000000e+00 | Inf
387.67/387.89 c 371s|940000 | 22774 | 3583k| 20M| 38 | 5 | 115 | 281 | 5 | 115 | 15 | 20 | 73k|8579 | 9.094947e-13 | 4.000000e+00 | Inf
392.07/392.20 c 375s|950000 | 24173 | 3623k| 21M| 38 | - | 115 | 233 | 5 | 115 | 15 | 20 | 74k|8637 | 9.094947e-13 | 4.000000e+00 | Inf
396.17/396.35 c 379s|960000 | 25214 | 3663k| 21M| 38 | 5 | 115 | 192 | 8 | 115 | 15 | 20 | 75k|8678 | 9.094947e-13 | 4.000000e+00 | Inf
400.17/400.39 c 383s|970000 | 25642 | 3701k| 22M| 38 | 5 | 115 | 186 | 5 | 115 | 15 | 20 | 75k|8717 | 9.094947e-13 | 4.000000e+00 | Inf
404.27/404.41 c 387s|980000 | 26048 | 3739k| 22M| 38 | 5 | 115 | 193 | 5 | 115 | 15 | 20 | 76k|8757 | 9.094947e-13 | 4.000000e+00 | Inf
408.27/408.47 c 391s|990000 | 26479 | 3777k| 22M| 38 | 5 | 115 | 182 | 7 | 115 | 15 | 20 | 77k|8800 | 9.094947e-13 | 4.000000e+00 | Inf
412.37/412.53 c 395s| 1000k| 27200 | 3815k| 23M| 38 | 5 | 115 | 193 | 7 | 115 | 15 | 20 | 77k|8838 | 9.094947e-13 | 4.000000e+00 | Inf
416.26/416.47 c 399s| 1010k| 27379 | 3852k| 23M| 38 | 5 | 115 | 181 | 10 | 115 | 15 | 20 | 78k|8889 | 9.094947e-13 | 4.000000e+00 | Inf
420.26/420.44 c 402s| 1020k| 27555 | 3889k| 23M| 38 | - | 115 | 155 | 5 | 115 | 15 | 20 | 79k|8925 | 9.094947e-13 | 4.000000e+00 | Inf
424.27/424.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
424.27/424.41 c 406s| 1030k| 27490 | 3926k| 24M| 38 | 5 | 115 | 154 | 7 | 115 | 15 | 20 | 80k|8976 | 9.094947e-13 | 4.000000e+00 | Inf
428.16/428.38 c 410s| 1040k| 27690 | 3962k| 24M| 38 | 5 | 115 | 158 | 16 | 115 | 15 | 20 | 81k|9015 | 9.094947e-13 | 4.000000e+00 | Inf
432.16/432.33 c 414s| 1050k| 27534 | 3998k| 24M| 38 | - | 115 | 186 | 5 | 115 | 15 | 20 | 81k|9056 | 9.094947e-13 | 4.000000e+00 | Inf
436.16/436.31 c 418s| 1060k| 27463 | 4035k| 24M| 38 | - | 115 | 157 | 13 | 115 | 15 | 20 | 82k|9098 | 9.094947e-13 | 4.000000e+00 | Inf
440.06/440.23 c 421s| 1070k| 27613 | 4071k| 24M| 38 | 5 | 115 | 163 | 7 | 115 | 15 | 20 | 83k|9138 | 9.094947e-13 | 4.000000e+00 | Inf
444.05/444.22 c 425s| 1080k| 27936 | 4108k| 25M| 38 | - | 115 | 168 | 10 | 115 | 15 | 20 | 84k|9178 | 9.094947e-13 | 4.000000e+00 | Inf
447.96/448.17 c 429s| 1090k| 27825 | 4144k| 25M| 38 | 5 | 115 | 142 | 5 | 115 | 15 | 20 | 84k|9224 | 9.094947e-13 | 4.000000e+00 | Inf
451.96/452.16 c 433s| 1100k| 27633 | 4181k| 25M| 38 | - | 115 | 151 | 7 | 0 | 0 | 20 | 85k|9276 | 9.094947e-13 | 4.000000e+00 | Inf
455.96/456.16 c 437s| 1110k| 27973 | 4219k| 25M| 38 | - | 115 | 153 | 5 | 115 | 15 | 20 | 86k|9309 | 9.094947e-13 | 4.000000e+00 | Inf
459.85/460.07 c 440s| 1120k| 27965 | 4256k| 25M| 38 | 5 | 115 | 143 | 5 | 115 | 15 | 20 | 87k|9354 | 9.094947e-13 | 4.000000e+00 | Inf
463.75/463.98 c 444s| 1130k| 28022 | 4292k| 25M| 38 | 5 | 115 | 128 | 6 | 115 | 15 | 20 | 87k|9391 | 9.094947e-13 | 4.000000e+00 | Inf
467.65/467.89 c 448s| 1140k| 28270 | 4327k| 26M| 38 | - | 115 | 141 | 5 | 115 | 15 | 20 | 88k|9419 | 9.094947e-13 | 4.000000e+00 | Inf
471.65/471.87 c 452s| 1150k| 28321 | 4365k| 26M| 38 | 5 | 115 | 131 | 5 | 115 | 15 | 20 | 89k|9469 | 9.094947e-13 | 4.000000e+00 | Inf
475.54/475.77 c 455s| 1160k| 28227 | 4402k| 26M| 38 | - | 115 | 134 | 5 | 115 | 15 | 20 | 90k|9507 | 9.094947e-13 | 4.000000e+00 | Inf
479.45/479.65 c 459s| 1170k| 27898 | 4438k| 26M| 38 | - | 115 | 131 | 5 | 115 | 15 | 20 | 90k|9537 | 9.094947e-13 | 4.000000e+00 | Inf
483.44/483.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
483.44/483.64 c 463s| 1180k| 27741 | 4475k| 26M| 38 | - | 115 | 88 | 6 | 115 | 15 | 20 | 91k|9626 | 9.094947e-13 | 4.000000e+00 | Inf
487.34/487.57 c 467s| 1190k| 27506 | 4511k| 26M| 38 | 5 | 115 | 129 | 8 | 115 | 15 | 20 | 92k|9637 | 9.094947e-13 | 4.000000e+00 | Inf
491.35/491.54 c 470s| 1200k| 27456 | 4547k| 26M| 38 | - | 115 | 121 | 5 | 115 | 15 | 20 | 92k|9731 | 9.094947e-13 | 4.000000e+00 | Inf
495.24/495.46 c 474s| 1210k| 27279 | 4583k| 26M| 38 | - | 115 | 99 | 9 | 115 | 15 | 20 | 93k|9807 | 9.094947e-13 | 4.000000e+00 | Inf
499.15/499.39 c 478s| 1220k| 26976 | 4619k| 25M| 38 | 5 | 115 | 99 | 5 | 115 | 15 | 20 | 94k|9818 | 9.094947e-13 | 4.000000e+00 | Inf
503.04/503.20 c 482s| 1230k| 27253 | 4653k| 26M| 38 | 5 | 115 | 107 | 5 | 115 | 15 | 20 | 95k|9830 | 9.094947e-13 | 4.000000e+00 | Inf
506.84/507.02 c 485s| 1240k| 26946 | 4688k| 26M| 38 | - | 115 | 120 | 5 | 115 | 15 | 20 | 95k|9835 | 9.094947e-13 | 4.000000e+00 | Inf
510.73/510.95 c 489s| 1250k| 26566 | 4724k| 25M| 38 | - | 115 | 96 | 4 | 0 | 0 | 20 | 96k|9882 | 9.094947e-13 | 4.000000e+00 | Inf
514.64/514.87 c 493s| 1260k| 26774 | 4760k| 26M| 38 | 5 | 115 | 115 | 5 | 115 | 15 | 20 | 97k|9910 | 9.094947e-13 | 4.000000e+00 | Inf
518.53/518.75 c 496s| 1270k| 26598 | 4797k| 26M| 38 | 5 | 115 | 149 | 5 | 115 | 15 | 20 | 98k|9920 | 9.094947e-13 | 4.000000e+00 | Inf
522.43/522.66 c 500s| 1280k| 26127 | 4833k| 25M| 38 | - | 115 | 99 | 6 | 0 | 0 | 20 | 98k|9975 | 9.094947e-13 | 4.000000e+00 | Inf
526.43/526.69 c 504s| 1290k| 26235 | 4871k| 25M| 38 | - | 115 | 96 | 7 | 115 | 15 | 20 | 99k|9984 | 9.094947e-13 | 4.000000e+00 | Inf
530.43/530.65 c 508s| 1300k| 26101 | 4908k| 25M| 38 | 5 | 115 | 103 | 6 | 115 | 15 | 20 | 100k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
534.34/534.59 c 512s| 1310k| 25582 | 4945k| 25M| 38 | 5 | 115 | 128 | 6 | 115 | 15 | 20 | 101k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
538.53/538.71 c 516s| 1320k| 25956 | 4983k| 25M| 38 | - | 115 | 87 | 5 | 115 | 15 | 20 | 101k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
542.63/542.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
542.63/542.82 c 520s| 1330k| 27251 | 5022k| 26M| 38 | - | 115 | 60 | 5 | 115 | 15 | 20 | 102k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
546.62/546.89 c 523s| 1340k| 28110 | 5060k| 27M| 38 | 5 | 115 | 84 | 9 | 115 | 15 | 20 | 102k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
550.62/550.89 c 527s| 1350k| 28507 | 5098k| 27M| 38 | - | 115 | 61 | 5 | 115 | 15 | 20 | 103k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
554.62/554.88 c 531s| 1360k| 29114 | 5135k| 27M| 38 | 5 | 115 | 53 | 6 | 115 | 15 | 20 | 104k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
558.53/558.78 c 535s| 1370k| 29768 | 5170k| 28M| 38 | - | 115 | 72 | 7 | 115 | 15 | 20 | 104k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
562.52/562.71 c 539s| 1380k| 29780 | 5207k| 28M| 38 | 5 | 115 | 63 | 5 | 115 | 15 | 20 | 105k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
566.42/566.66 c 542s| 1390k| 29934 | 5243k| 28M| 38 | - | 115 | 63 | 6 | 0 | 0 | 20 | 106k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
570.32/570.59 c 546s| 1400k| 30262 | 5280k| 29M| 38 | - | 115 | 77 | 5 | 115 | 15 | 20 | 106k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
574.42/574.67 c 550s| 1410k| 30927 | 5318k| 29M| 38 | 5 | 115 | 103 | 6 | 115 | 15 | 20 | 107k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
578.42/578.68 c 554s| 1420k| 31622 | 5354k| 30M| 38 | - | 115 | 85 | 9 | 0 | 0 | 20 | 108k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
582.51/582.78 c 558s| 1430k| 32782 | 5392k| 30M| 38 | 5 | 115 | 67 | 5 | 115 | 15 | 20 | 108k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
586.51/586.79 c 561s| 1440k| 33772 | 5429k| 31M| 38 | 5 | 115 | 93 | 7 | 115 | 15 | 20 | 109k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
590.52/590.71 c 565s| 1450k| 34151 | 5465k| 31M| 38 | - | 115 | 87 | 8 | 115 | 15 | 20 | 109k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
594.41/594.65 c 569s| 1460k| 34704 | 5502k| 32M| 38 | - | 115 | 76 | 9 | 115 | 15 | 20 | 110k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
598.32/598.57 c 573s| 1470k| 35089 | 5537k| 32M| 38 | - | 115 | 93 | 5 | 0 | 0 | 20 | 111k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
602.22/602.49 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
602.22/602.49 c 576s| 1480k| 35523 | 5573k| 33M| 38 | 5 | 115 | 97 | 5 | 115 | 15 | 20 | 111k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
606.31/606.52 c 580s| 1490k| 36195 | 5610k| 33M| 38 | 5 | 115 | 100 | 6 | 115 | 15 | 20 | 112k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
610.21/610.49 c 584s| 1500k| 36367 | 5647k| 33M| 38 | - | 115 | 90 | 6 | 115 | 15 | 20 | 112k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
614.21/614.44 c 588s| 1510k| 36332 | 5683k| 34M| 38 | - | 115 | 80 | 5 | 115 | 15 | 20 | 113k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
618.10/618.34 c 592s| 1520k| 36449 | 5719k| 34M| 38 | - | 115 | 104 | 6 | 0 | 0 | 20 | 113k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
622.00/622.27 c 595s| 1530k| 36407 | 5754k| 34M| 38 | 5 | 115 | 102 | 6 | 115 | 15 | 20 | 114k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
626.01/626.21 c 599s| 1540k| 36311 | 5791k| 34M| 38 | 5 | 115 | 88 | 9 | 115 | 15 | 20 | 115k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
629.90/630.14 c 603s| 1550k| 36351 | 5827k| 34M| 38 | 5 | 115 | 107 | 5 | 115 | 15 | 20 | 115k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
633.80/634.08 c 607s| 1560k| 36339 | 5865k| 34M| 38 | 5 | 115 | 109 | 5 | 115 | 15 | 20 | 116k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
637.71/637.98 c 610s| 1570k| 36292 | 5900k| 34M| 38 | - | 115 | 93 | 5 | 115 | 15 | 20 | 117k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
641.60/641.89 c 614s| 1580k| 36305 | 5936k| 34M| 38 | 5 | 115 | 109 | 5 | 115 | 15 | 20 | 117k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
645.60/645.80 c 618s| 1590k| 36075 | 5971k| 34M| 38 | - | 115 | 134 | 5 | 115 | 15 | 20 | 118k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
649.50/649.75 c 622s| 1600k| 35740 | 6008k| 34M| 38 | - | 115 | 86 | 5 | 115 | 15 | 20 | 118k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
653.39/653.66 c 625s| 1610k| 35404 | 6045k| 34M| 38 | - | 115 | 92 | 5 | 115 | 15 | 20 | 119k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
657.30/657.54 c 629s| 1620k| 35199 | 6081k| 34M| 38 | 5 | 115 | 112 | 5 | 115 | 15 | 20 | 120k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
661.09/661.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
661.09/661.39 c 633s| 1630k| 34872 | 6116k| 34M| 38 | 5 | 115 | 126 | 6 | 115 | 15 | 20 | 120k| 10k| 9.094947e-13 | 4.000000e+00 | Inf
664.99/665.25 c 636s| 1640k| 34572 | 6150k| 34M| 38 | 5 | 115 | 181 | 39 | 115 | 15 | 20 | 121k| 11k| 9.094947e-13 | 4.000000e+00 | Inf
668.99/669.20 c 640s| 1650k| 34185 | 6187k| 34M| 38 | - | 115 | 140 | 5 | 115 | 15 | 20 | 122k| 11k| 9.094947e-13 | 4.000000e+00 | Inf
672.79/673.05 c 644s| 1660k| 33864 | 6222k| 34M| 38 | 5 | 115 | 137 | 7 | 115 | 15 | 20 | 122k| 11k| 9.094947e-13 | 4.000000e+00 | Inf
676.69/676.95 c 648s| 1670k| 33895 | 6259k| 34M| 38 | - | 115 | 125 | 5 | 115 | 15 | 20 | 123k| 11k| 9.094947e-13 | 4.000000e+00 | Inf
679.59/679.86 o 3
679.59/679.86 c * 650s| 1677k| 32284 | 6285k| 31M| 38 | - | 115 | 139 | 0 | 115 | 15 | 20 | 124k| 11k| 9.094947e-13 | 3.000000e+00 | Inf
680.59/680.83 c 651s| 1680k| 32122 | 6295k| 31M| 38 | 5 | 115 | 127 | 5 | 115 | 15 | 20 | 124k| 11k| 9.094947e-13 | 3.000000e+00 | Inf
684.59/684.83 c 655s| 1690k| 32655 | 6332k| 31M| 38 | 5 | 115 | 149 | 7 | 115 | 15 | 20 | 124k| 11k| 9.094947e-13 | 3.000000e+00 | Inf
688.48/688.70 c 659s| 1700k| 32444 | 6368k| 31M| 38 | 5 | 115 | 164 | 5 | 115 | 15 | 20 | 125k| 11k| 9.094947e-13 | 3.000000e+00 | Inf
692.38/692.62 c 663s| 1710k| 32139 | 6405k| 31M| 38 | - | 115 | 133 | 5 | 115 | 15 | 20 | 125k| 11k| 9.094947e-13 | 3.000000e+00 | Inf
696.18/696.46 c 666s| 1720k| 32090 | 6442k| 31M| 38 | 5 | 115 | 151 | 5 | 115 | 15 | 20 | 126k| 11k| 9.094947e-13 | 3.000000e+00 | Inf
700.08/700.33 c 670s| 1730k| 32357 | 6479k| 31M| 38 | 5 | 115 | 154 | 12 | 115 | 15 | 20 | 126k| 11k| 9.094947e-13 | 3.000000e+00 | Inf
703.88/704.12 c 674s| 1740k| 32066 | 6514k| 31M| 38 | 5 | 115 | 164 | 7 | 115 | 15 | 20 | 127k| 11k| 9.094947e-13 | 3.000000e+00 | Inf
707.78/708.03 c 677s| 1750k| 32147 | 6550k| 31M| 38 | - | 115 | 172 | 9 | 0 | 0 | 20 | 127k| 11k| 9.094947e-13 | 3.000000e+00 | Inf
711.58/711.89 c 681s| 1760k| 32355 | 6585k| 31M| 38 | 5 | 115 | 208 | 5 | 115 | 15 | 20 | 128k| 11k| 9.094947e-13 | 3.000000e+00 | Inf
715.38/715.69 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
715.38/715.69 c 685s| 1770k| 32061 | 6621k| 31M| 38 | - | 115 | 167 | 5 | 115 | 15 | 20 | 129k| 11k| 9.094947e-13 | 3.000000e+00 | Inf
719.28/719.57 c 688s| 1780k| 31742 | 6658k| 31M| 38 | 5 | 115 | 136 | 6 | 115 | 15 | 20 | 129k| 11k| 9.094947e-13 | 3.000000e+00 | Inf
723.27/723.59 c 692s| 1790k| 32726 | 6695k| 31M| 38 | - | 115 | 138 | 11 | 115 | 15 | 20 | 130k| 11k| 9.094947e-13 | 3.000000e+00 | Inf
727.17/727.48 c 696s| 1800k| 33108 | 6731k| 32M| 38 | 5 | 115 | 136 | 5 | 115 | 15 | 20 | 130k| 11k| 9.094947e-13 | 3.000000e+00 | Inf
731.08/731.36 c 700s| 1810k| 33213 | 6767k| 32M| 38 | - | 115 | 145 | 13 | 115 | 15 | 20 | 131k| 11k| 9.094947e-13 | 3.000000e+00 | Inf
734.87/735.13 c 703s| 1820k| 32909 | 6802k| 32M| 38 | - | 115 | 131 | 6 | 115 | 15 | 20 | 131k| 11k| 9.094947e-13 | 3.000000e+00 | Inf
738.67/738.90 c 707s| 1830k| 32367 | 6837k| 32M| 38 | 5 | 115 | 145 | 8 | 115 | 15 | 20 | 132k| 11k| 9.094947e-13 | 3.000000e+00 | Inf
742.47/742.77 c 711s| 1840k| 31787 | 6873k| 31M| 38 | - | 115 | 123 | 6 | 115 | 15 | 20 | 132k| 11k| 9.094947e-13 | 3.000000e+00 | Inf
746.37/746.65 c 714s| 1850k| 31348 | 6909k| 31M| 38 | - | 115 | 136 | 10 | 115 | 15 | 20 | 133k| 12k| 9.094947e-13 | 3.000000e+00 | Inf
750.26/750.57 c 718s| 1860k| 30729 | 6945k| 30M| 38 | 5 | 115 | 125 | 5 | 115 | 15 | 20 | 133k| 12k| 9.094947e-13 | 3.000000e+00 | Inf
754.17/754.43 c 722s| 1870k| 30408 | 6981k| 30M| 38 | - | 115 | 163 | 5 | 115 | 15 | 20 | 134k| 12k| 9.094947e-13 | 3.000000e+00 | Inf
758.07/758.35 c 726s| 1880k| 30027 | 7019k| 30M| 38 | 5 | 115 | 155 | 8 | 115 | 15 | 20 | 134k| 12k| 9.094947e-13 | 3.000000e+00 | Inf
761.97/762.22 c 729s| 1890k| 29699 | 7055k| 30M| 38 | 5 | 115 | 141 | 5 | 115 | 15 | 20 | 135k| 12k| 9.094947e-13 | 3.000000e+00 | Inf
765.86/766.17 c 733s| 1900k| 29527 | 7092k| 30M| 38 | 5 | 115 | 153 | 5 | 115 | 15 | 20 | 135k| 12k| 9.094947e-13 | 3.000000e+00 | Inf
769.77/770.07 c 737s| 1910k| 29191 | 7128k| 29M| 38 | 5 | 115 | 179 | 6 | 115 | 15 | 20 | 136k| 12k| 9.094947e-13 | 3.000000e+00 | Inf
773.66/773.94 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
773.66/773.94 c 741s| 1920k| 28716 | 7164k| 29M| 38 | - | 115 | 146 | 6 | 115 | 15 | 20 | 136k| 12k| 9.094947e-13 | 3.000000e+00 | Inf
777.56/777.89 c 744s| 1930k| 28338 | 7202k| 29M| 38 | - | 115 | 127 | 5 | 115 | 15 | 20 | 137k| 12k| 9.094947e-13 | 3.000000e+00 | Inf
781.56/781.80 c 748s| 1940k| 28229 | 7241k| 28M| 38 | - | 115 | 140 | 5 | 0 | 0 | 20 | 137k| 12k| 9.094947e-13 | 3.000000e+00 | Inf
785.46/785.72 c 752s| 1950k| 27800 | 7277k| 28M| 38 | - | 115 | 145 | 5 | 115 | 15 | 20 | 138k| 12k| 9.094947e-13 | 3.000000e+00 | Inf
789.35/789.63 c 756s| 1960k| 27446 | 7314k| 28M| 38 | 5 | 115 | 202 | 6 | 115 | 15 | 20 | 139k| 12k| 9.094947e-13 | 3.000000e+00 | Inf
793.15/793.49 c 759s| 1970k| 27488 | 7351k| 28M| 38 | - | 115 | 192 | 5 | 115 | 15 | 20 | 139k| 12k| 9.094947e-13 | 3.000000e+00 | Inf
797.16/797.43 c 763s| 1980k| 27619 | 7389k| 28M| 38 | - | 115 | 148 | 5 | 115 | 15 | 20 | 139k| 12k| 9.094947e-13 | 3.000000e+00 | Inf
801.25/801.54 c 767s| 1990k| 28769 | 7428k| 29M| 38 | 5 | 115 | 166 | 8 | 115 | 15 | 20 | 140k| 12k| 9.094947e-13 | 3.000000e+00 | Inf
805.25/805.57 c 771s| 2000k| 29503 | 7467k| 29M| 38 | - | 115 | 142 | 7 | 0 | 0 | 20 | 140k| 12k| 9.094947e-13 | 3.000000e+00 | Inf
809.26/809.53 c 775s| 2010k| 29803 | 7504k| 29M| 38 | 5 | 115 | 141 | 5 | 115 | 15 | 20 | 141k| 12k| 9.094947e-13 | 3.000000e+00 | Inf
813.15/813.46 c 778s| 2020k| 30191 | 7541k| 30M| 38 | - | 115 | 148 | 5 | 0 | 0 | 20 | 141k| 12k| 9.094947e-13 | 3.000000e+00 | Inf
817.05/817.35 c 782s| 2030k| 30111 | 7577k| 30M| 38 | 5 | 115 | 136 | 7 | 115 | 15 | 20 | 142k| 12k| 9.094947e-13 | 3.000000e+00 | Inf
820.84/821.17 c 786s| 2040k| 30447 | 7612k| 30M| 38 | - | 115 | 171 | 5 | 115 | 15 | 20 | 142k| 12k| 9.094947e-13 | 3.000000e+00 | Inf
824.75/825.07 c 789s| 2050k| 30562 | 7649k| 30M| 38 | 5 | 115 | 129 | 5 | 115 | 15 | 20 | 143k| 12k| 9.094947e-13 | 3.000000e+00 | Inf
828.64/828.91 c 793s| 2060k| 30221 | 7683k| 30M| 38 | - | 115 | 141 | 5 | 115 | 15 | 20 | 143k| 12k| 9.094947e-13 | 3.000000e+00 | Inf
832.45/832.74 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
832.45/832.74 c 797s| 2070k| 30378 | 7718k| 30M| 38 | - | 115 | 143 | 5 | 115 | 15 | 20 | 144k| 13k| 9.094947e-13 | 3.000000e+00 | Inf
836.24/836.50 c 800s| 2080k| 30228 | 7752k| 30M| 38 | 5 | 115 | 178 | 18 | 115 | 15 | 20 | 144k| 13k| 9.094947e-13 | 3.000000e+00 | Inf
840.04/840.31 c 804s| 2090k| 29824 | 7787k| 30M| 38 | 5 | 115 | 176 | 6 | 115 | 15 | 20 | 145k| 13k| 9.094947e-13 | 3.000000e+00 | Inf
843.84/844.17 c 808s| 2100k| 29529 | 7821k| 30M| 38 | - | 115 | 175 | 49 | 0 | 0 | 20 | 145k| 13k| 9.094947e-13 | 3.000000e+00 | Inf
847.74/848.04 c 811s| 2110k| 29168 | 7857k| 30M| 38 | - | 115 | 173 | 5 | 115 | 15 | 20 | 146k| 13k| 9.094947e-13 | 3.000000e+00 | Inf
851.54/851.86 c 815s| 2120k| 28941 | 7891k| 30M| 38 | - | 115 | 163 | 5 | 115 | 15 | 20 | 146k| 13k| 9.094947e-13 | 3.000000e+00 | Inf
855.33/855.63 c 819s| 2130k| 28472 | 7926k| 29M| 38 | 5 | 115 | 171 | 12 | 115 | 15 | 20 | 147k| 13k| 9.094947e-13 | 3.000000e+00 | Inf
859.13/859.46 c 822s| 2140k| 27825 | 7959k| 29M| 38 | 5 | 115 | 175 | 8 | 115 | 15 | 20 | 148k| 13k| 9.094947e-13 | 3.000000e+00 | Inf
862.94/863.24 c 826s| 2150k| 27239 | 7993k| 28M| 38 | - | 115 | 162 | 7 | 0 | 0 | 20 | 148k| 13k| 9.094947e-13 | 3.000000e+00 | Inf
866.83/867.19 c 830s| 2160k| 26958 | 8029k| 28M| 38 | - | 115 | 182 | 5 | 115 | 15 | 20 | 149k| 13k| 9.094947e-13 | 3.000000e+00 | Inf
870.73/871.01 c 833s| 2170k| 26706 | 8064k| 27M| 38 | - | 115 | 182 | 5 | 115 | 15 | 20 | 149k| 13k| 9.094947e-13 | 3.000000e+00 | Inf
874.53/874.88 c 837s| 2180k| 26713 | 8101k| 27M| 38 | - | 115 | 198 | 5 | 115 | 15 | 20 | 149k| 13k| 9.094947e-13 | 3.000000e+00 | Inf
878.43/878.75 c 841s| 2190k| 26241 | 8137k| 27M| 38 | - | 115 | 205 | 5 | 115 | 15 | 20 | 150k| 13k| 9.094947e-13 | 3.000000e+00 | Inf
882.42/882.76 c 845s| 2200k| 26515 | 8175k| 27M| 38 | 5 | 115 | 196 | 5 | 115 | 15 | 20 | 151k| 13k| 9.094947e-13 | 3.000000e+00 | Inf
886.53/886.84 c 848s| 2210k| 27457 | 8212k| 28M| 38 | 5 | 115 | 220 | 6 | 115 | 15 | 20 | 151k| 13k| 9.094947e-13 | 3.000000e+00 | Inf
890.42/890.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
890.42/890.77 c 852s| 2220k| 28072 | 8248k| 28M| 38 | - | 115 | 225 | 5 | 115 | 15 | 20 | 152k| 13k| 9.094947e-13 | 3.000000e+00 | Inf
894.32/894.66 c 856s| 2230k| 28182 | 8283k| 28M| 38 | 5 | 115 | 260 | 5 | 115 | 15 | 20 | 153k| 13k| 9.094947e-13 | 3.000000e+00 | Inf
898.23/898.57 c 860s| 2240k| 28516 | 8319k| 29M| 38 | 5 | 115 | 266 | 5 | 115 | 15 | 20 | 153k| 13k| 9.094947e-13 | 3.000000e+00 | Inf
902.22/902.54 c 863s| 2250k| 28992 | 8356k| 29M| 38 | - | 115 | 267 | 6 | 115 | 15 | 20 | 154k| 13k| 9.094947e-13 | 3.000000e+00 | Inf
906.12/906.44 c 867s| 2260k| 29193 | 8393k| 29M| 38 | - | 115 | 270 | 5 | 115 | 15 | 20 | 154k| 13k| 9.094947e-13 | 3.000000e+00 | Inf
909.92/910.28 c 871s| 2270k| 29192 | 8427k| 29M| 38 | 5 | 115 | 266 | 6 | 115 | 15 | 20 | 155k| 14k| 9.094947e-13 | 3.000000e+00 | Inf
913.82/914.15 c 875s| 2280k| 29240 | 8463k| 30M| 38 | 5 | 115 | 254 | 7 | 115 | 15 | 20 | 155k| 14k| 9.094947e-13 | 3.000000e+00 | Inf
917.61/917.98 c 878s| 2290k| 29121 | 8499k| 30M| 38 | - | 115 | 259 | 4 | 0 | 0 | 20 | 156k| 14k| 9.094947e-13 | 3.000000e+00 | Inf
921.52/921.85 c 882s| 2300k| 29171 | 8535k| 30M| 38 | 5 | 115 | 261 | 6 | 115 | 15 | 20 | 157k| 14k| 9.094947e-13 | 3.000000e+00 | Inf
925.41/925.74 c 886s| 2310k| 28971 | 8570k| 30M| 38 | 5 | 115 | 269 | 7 | 115 | 15 | 20 | 157k| 14k| 9.094947e-13 | 3.000000e+00 | Inf
929.31/929.60 c 889s| 2320k| 28787 | 8605k| 30M| 38 | - | 115 | 279 | 5 | 115 | 15 | 20 | 158k| 14k| 9.094947e-13 | 3.000000e+00 | Inf
933.11/933.46 c 893s| 2330k| 28573 | 8641k| 30M| 38 | - | 115 | 261 | 5 | 0 | 0 | 20 | 158k| 14k| 9.094947e-13 | 3.000000e+00 | Inf
937.01/937.30 c 897s| 2340k| 27952 | 8676k| 29M| 38 | - | 115 | 260 | 5 | 115 | 15 | 20 | 159k| 14k| 9.094947e-13 | 3.000000e+00 | Inf
940.91/941.21 c 900s| 2350k| 27361 | 8714k| 29M| 38 | - | 115 | 263 | 5 | 115 | 15 | 20 | 160k| 14k| 9.094947e-13 | 3.000000e+00 | Inf
944.81/945.14 c 904s| 2360k| 27060 | 8751k| 28M| 38 | - | 115 | 304 | 5 | 115 | 15 | 20 | 160k| 14k| 9.094947e-13 | 3.000000e+00 | Inf
948.80/949.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
948.80/949.12 c 908s| 2370k| 27527 | 8788k| 29M| 38 | 5 | 115 | 319 | 7 | 115 | 15 | 20 | 161k| 14k| 9.094947e-13 | 3.000000e+00 | Inf
952.61/952.99 c 912s| 2380k| 27632 | 8823k| 29M| 38 | - | 115 | 337 | 5 | 115 | 15 | 20 | 161k| 14k| 9.094947e-13 | 3.000000e+00 | Inf
956.61/956.91 c 915s| 2390k| 26831 | 8859k| 28M| 38 | 5 | 115 | 284 | 7 | 115 | 15 | 20 | 162k| 14k| 9.094947e-13 | 3.000000e+00 | Inf
960.50/960.88 c 919s| 2400k| 26425 | 8897k| 28M| 38 | 5 | 115 | 241 | 5 | 115 | 15 | 20 | 162k| 14k| 9.094947e-13 | 3.000000e+00 | Inf
964.50/964.81 c 923s| 2410k| 26380 | 8933k| 28M| 38 | 5 | 115 | 237 | 5 | 115 | 15 | 20 | 163k| 14k| 9.094947e-13 | 3.000000e+00 | Inf
968.30/968.63 c 927s| 2420k| 26206 | 8968k| 28M| 38 | - | 115 | 241 | 4 | 0 | 0 | 20 | 164k| 14k| 9.094947e-13 | 3.000000e+00 | Inf
972.11/972.43 c 930s| 2430k| 26028 | 9003k| 27M| 38 | 5 | 115 | 147 | 5 | 115 | 15 | 20 | 164k| 14k| 9.094947e-13 | 3.000000e+00 | Inf
976.00/976.31 c 934s| 2440k| 26382 | 9039k| 28M| 38 | - | 115 | 117 | 5 | 115 | 15 | 20 | 165k| 14k| 9.094947e-13 | 3.000000e+00 | Inf
979.90/980.23 c 938s| 2450k| 26740 | 9076k| 28M| 38 | - | 115 | 84 | 5 | 115 | 15 | 20 | 165k| 14k| 9.094947e-13 | 3.000000e+00 | Inf
983.90/984.27 c 942s| 2460k| 27073 | 9116k| 28M| 38 | 5 | 115 | 67 | 6 | 115 | 15 | 20 | 166k| 14k| 9.094947e-13 | 3.000000e+00 | Inf
987.80/988.13 c 945s| 2470k| 27097 | 9151k| 28M| 38 | - | 115 | 70 | 7 | 0 | 0 | 20 | 166k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
991.59/991.97 c 949s| 2480k| 26900 | 9187k| 28M| 38 | 5 | 115 | 54 | 14 | 115 | 15 | 20 | 167k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
995.49/995.81 c 953s| 2490k| 27175 | 9223k| 28M| 38 | 5 | 115 | 71 | 9 | 115 | 15 | 20 | 167k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
999.29/999.65 c 956s| 2500k| 27476 | 9259k| 29M| 38 | 5 | 115 | 67 | 5 | 115 | 15 | 20 | 168k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
1003.09/1003.45 c 960s| 2510k| 27275 | 9294k| 29M| 38 | 5 | 115 | 88 | 7 | 115 | 15 | 20 | 168k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
1006.89/1007.27 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1006.89/1007.27 c 964s| 2520k| 26855 | 9329k| 29M| 38 | 5 | 115 | 75 | 5 | 115 | 15 | 20 | 169k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
1010.78/1011.13 c 967s| 2530k| 26362 | 9365k| 28M| 38 | - | 115 | 58 | 4 | 115 | 15 | 20 | 169k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
1014.49/1014.88 c 971s| 2540k| 26170 | 9400k| 28M| 38 | 5 | 115 | 64 | 5 | 115 | 15 | 20 | 170k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
1018.39/1018.75 c 975s| 2550k| 25712 | 9437k| 27M| 38 | 5 | 115 | 61 | 6 | 115 | 15 | 20 | 170k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
1022.28/1022.66 c 978s| 2560k| 25690 | 9475k| 27M| 38 | 5 | 115 | 73 | 5 | 115 | 15 | 20 | 171k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
1026.38/1026.80 c 982s| 2570k| 26994 | 9514k| 28M| 38 | 5 | 115 | 58 | 7 | 115 | 15 | 20 | 171k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
1030.48/1030.84 c 986s| 2580k| 28141 | 9552k| 29M| 38 | 5 | 115 | 67 | 5 | 115 | 15 | 20 | 172k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
1034.68/1035.09 c 990s| 2590k| 29693 | 9592k| 30M| 38 | - | 115 | 75 | 6 | 0 | 0 | 20 | 172k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
1038.78/1039.12 c 994s| 2600k| 30622 | 9631k| 30M| 38 | 5 | 115 | 92 | 10 | 115 | 15 | 20 | 173k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
1042.67/1043.08 c 998s| 2610k| 31498 | 9668k| 31M| 38 | 5 | 115 | 85 | 9 | 115 | 15 | 20 | 173k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
1046.68/1047.08 c 1002s| 2620k| 32353 | 9708k| 31M| 38 | 5 | 115 | 104 | 5 | 115 | 15 | 20 | 174k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
1050.68/1051.05 c 1006s| 2630k| 33132 | 9746k| 32M| 38 | - | 115 | 94 | 5 | 115 | 15 | 20 | 174k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
1054.67/1055.05 c 1009s| 2640k| 33502 | 9784k| 32M| 38 | 5 | 115 | 79 | 6 | 115 | 15 | 20 | 175k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
1058.57/1058.94 c 1013s| 2650k| 33978 | 9822k| 33M| 38 | - | 115 | 68 | 5 | 115 | 15 | 20 | 175k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
1062.47/1062.82 c 1017s| 2660k| 33984 | 9860k| 33M| 38 | - | 115 | 89 | 5 | 115 | 15 | 20 | 176k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
1066.48/1066.90 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1066.48/1066.90 c 1021s| 2670k| 35119 | 9898k| 34M| 38 | - | 115 | 93 | 6 | 115 | 15 | 20 | 176k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
1070.47/1070.83 c 1024s| 2680k| 35773 | 9934k| 34M| 38 | 5 | 115 | 107 | 8 | 115 | 15 | 20 | 177k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
1074.37/1074.78 c 1028s| 2690k| 36367 | 9971k| 35M| 38 | 5 | 115 | 99 | 6 | 115 | 15 | 20 | 177k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
1078.17/1078.58 c 1032s| 2700k| 36387 | 10006k| 35M| 38 | - | 115 | 89 | 5 | 115 | 15 | 20 | 178k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
1082.07/1082.44 c 1036s| 2710k| 36763 | 10043k| 35M| 38 | - | 115 | 94 | 5 | 115 | 15 | 20 | 178k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
1085.97/1086.30 c 1039s| 2720k| 36843 | 10079k| 35M| 38 | 5 | 115 | 88 | 5 | 115 | 15 | 20 | 179k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
1089.77/1090.16 c 1043s| 2730k| 36881 | 10115k| 36M| 38 | - | 115 | 96 | 16 | 115 | 15 | 20 | 179k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
1093.67/1094.03 c 1047s| 2740k| 37025 | 10153k| 36M| 38 | 5 | 115 | 104 | 5 | 115 | 15 | 20 | 180k| 15k| 9.094947e-13 | 3.000000e+00 | Inf
1097.47/1097.84 c 1050s| 2750k| 36742 | 10188k| 36M| 38 | 5 | 115 | 103 | 5 | 115 | 15 | 20 | 180k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1102.56/1102.96 c 1055s| 2760k| 37333 | 10225k| 36M| 38 | 5 | 115 | 103 | 5 | 115 | 15 | 20 | 181k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1106.56/1106.96 c 1059s| 2770k| 38292 | 10263k| 37M| 38 | - | 115 | 99 | 5 | 115 | 15 | 20 | 181k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1110.46/1110.89 c 1063s| 2780k| 39002 | 10299k| 37M| 38 | - | 115 | 96 | 5 | 115 | 15 | 20 | 182k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1114.35/1114.74 c 1066s| 2790k| 39431 | 10336k| 38M| 38 | 5 | 115 | 104 | 6 | 115 | 15 | 20 | 182k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1118.26/1118.69 c 1070s| 2800k| 40529 | 10372k| 39M| 38 | - | 115 | 112 | 9 | 115 | 15 | 20 | 183k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1122.25/1122.65 c 1074s| 2810k| 41162 | 10410k| 39M| 38 | - | 115 | 118 | 10 | 0 | 0 | 20 | 183k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1126.26/1126.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1126.26/1126.60 c 1078s| 2820k| 41829 | 10446k| 40M| 38 | - | 115 | 122 | 5 | 115 | 15 | 20 | 184k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1130.05/1130.44 c 1081s| 2830k| 41991 | 10482k| 40M| 38 | - | 115 | 136 | 5 | 115 | 15 | 20 | 184k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1133.85/1134.29 c 1085s| 2840k| 42149 | 10519k| 40M| 38 | 5 | 115 | 132 | 6 | 115 | 15 | 20 | 184k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1137.75/1138.16 c 1089s| 2850k| 42798 | 10558k| 41M| 38 | 5 | 115 | 137 | 5 | 115 | 15 | 20 | 185k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1141.55/1141.93 c 1092s| 2860k| 42898 | 10595k| 41M| 38 | - | 115 | 119 | 5 | 115 | 15 | 20 | 185k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1145.35/1145.76 c 1096s| 2870k| 42731 | 10632k| 41M| 38 | 5 | 115 | 129 | 5 | 115 | 15 | 20 | 185k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1149.15/1149.60 c 1100s| 2880k| 42910 | 10669k| 41M| 38 | 5 | 115 | 141 | 5 | 115 | 15 | 20 | 186k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1153.15/1153.54 c 1103s| 2890k| 43077 | 10708k| 41M| 38 | 4 | 115 | 137 | 5 | 115 | 15 | 20 | 186k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1157.05/1157.42 c 1107s| 2900k| 43304 | 10748k| 41M| 38 | 5 | 115 | 156 | 5 | 115 | 15 | 20 | 187k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1160.84/1161.26 c 1111s| 2910k| 43060 | 10786k| 41M| 38 | - | 115 | 126 | 5 | 115 | 15 | 20 | 187k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1164.75/1165.16 c 1115s| 2920k| 42991 | 10824k| 42M| 38 | 5 | 115 | 139 | 5 | 115 | 15 | 20 | 188k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1168.55/1168.97 c 1118s| 2930k| 43036 | 10859k| 42M| 38 | - | 115 | 136 | 5 | 115 | 15 | 20 | 188k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1172.44/1172.85 c 1122s| 2940k| 43239 | 10897k| 42M| 38 | - | 115 | 163 | 7 | 115 | 15 | 20 | 189k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1176.24/1176.66 c 1126s| 2950k| 43381 | 10933k| 42M| 38 | 5 | 115 | 167 | 6 | 115 | 15 | 20 | 189k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1180.04/1180.49 c 1129s| 2960k| 43136 | 10969k| 42M| 38 | - | 115 | 127 | 6 | 115 | 15 | 20 | 190k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1183.83/1184.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1183.83/1184.28 c 1133s| 2970k| 43400 | 11004k| 42M| 38 | 5 | 115 | 174 | 5 | 115 | 15 | 20 | 190k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1187.73/1188.11 c 1137s| 2980k| 43433 | 11039k| 43M| 38 | 5 | 115 | 142 | 7 | 115 | 15 | 20 | 191k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1191.53/1191.97 c 1140s| 2990k| 43715 | 11074k| 43M| 38 | - | 115 | 133 | 12 | 115 | 15 | 20 | 191k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1195.34/1195.72 c 1144s| 3000k| 43655 | 11109k| 43M| 38 | 5 | 115 | 138 | 6 | 115 | 15 | 20 | 192k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1199.13/1199.53 c 1147s| 3010k| 43684 | 11144k| 43M| 38 | 5 | 115 | 133 | 6 | 115 | 15 | 20 | 192k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1202.93/1203.34 c 1151s| 3020k| 43701 | 11179k| 43M| 38 | - | 115 | 150 | 7 | 0 | 0 | 20 | 193k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1206.73/1207.18 c 1155s| 3030k| 43696 | 11214k| 43M| 38 | 5 | 115 | 152 | 5 | 115 | 15 | 20 | 193k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1210.73/1211.12 c 1159s| 3040k| 43930 | 11251k| 44M| 38 | - | 115 | 196 | 11 | 115 | 15 | 20 | 194k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1214.53/1214.99 c 1162s| 3050k| 44018 | 11289k| 44M| 38 | 5 | 115 | 198 | 7 | 115 | 15 | 20 | 194k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1218.43/1218.83 c 1166s| 3060k| 44119 | 11325k| 44M| 38 | 5 | 115 | 169 | 5 | 115 | 15 | 20 | 195k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1222.22/1222.65 c 1170s| 3070k| 43985 | 11361k| 44M| 38 | 5 | 115 | 135 | 6 | 115 | 15 | 20 | 195k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1226.03/1226.42 c 1173s| 3080k| 43763 | 11396k| 44M| 38 | 5 | 115 | 132 | 7 | 115 | 15 | 20 | 196k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1229.82/1230.27 c 1177s| 3090k| 43958 | 11431k| 44M| 38 | - | 115 | 153 | 9 | 115 | 15 | 20 | 196k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1233.73/1234.14 c 1181s| 3100k| 44245 | 11467k| 44M| 38 | - | 115 | 153 | 9 | 115 | 15 | 20 | 197k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1237.52/1237.96 c 1184s| 3110k| 44287 | 11503k| 45M| 38 | 5 | 115 | 146 | 5 | 115 | 15 | 20 | 197k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1241.43/1241.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1241.43/1241.82 c 1188s| 3120k| 44235 | 11540k| 45M| 38 | 5 | 115 | 149 | 5 | 115 | 15 | 20 | 198k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1245.22/1245.65 c 1192s| 3130k| 44000 | 11575k| 45M| 38 | - | 115 | 151 | 5 | 115 | 15 | 20 | 199k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1249.12/1249.57 c 1195s| 3140k| 43985 | 11612k| 45M| 38 | 5 | 115 | 146 | 5 | 115 | 15 | 20 | 199k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1252.92/1253.38 c 1199s| 3150k| 43668 | 11647k| 45M| 38 | - | 115 | 133 | 5 | 115 | 15 | 20 | 200k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1256.72/1257.17 c 1203s| 3160k| 44022 | 11682k| 45M| 38 | 5 | 115 | 165 | 5 | 115 | 15 | 20 | 200k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1260.51/1260.94 c 1206s| 3170k| 43833 | 11716k| 45M| 38 | - | 115 | 159 | 9 | 115 | 15 | 20 | 201k| 16k| 9.094947e-13 | 3.000000e+00 | Inf
1264.31/1264.79 c 1210s| 3180k| 43640 | 11751k| 45M| 38 | 5 | 115 | 136 | 23 | 115 | 15 | 20 | 201k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1268.31/1268.74 c 1214s| 3190k| 44392 | 11786k| 45M| 38 | 5 | 115 | 149 | 5 | 115 | 15 | 20 | 202k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1272.11/1272.55 c 1217s| 3200k| 44439 | 11821k| 46M| 38 | - | 115 | 141 | 6 | 0 | 0 | 20 | 202k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1275.91/1276.37 c 1221s| 3210k| 44202 | 11856k| 46M| 38 | - | 115 | 143 | 6 | 115 | 15 | 20 | 202k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1279.71/1280.16 c 1224s| 3220k| 43797 | 11890k| 45M| 38 | 5 | 115 | 145 | 17 | 115 | 15 | 20 | 203k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1283.50/1283.99 c 1228s| 3230k| 43852 | 11925k| 46M| 38 | - | 115 | 156 | 5 | 115 | 15 | 20 | 203k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1287.41/1287.87 c 1232s| 3240k| 44173 | 11960k| 46M| 38 | - | 115 | 164 | 7 | 115 | 15 | 20 | 204k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1291.20/1291.68 c 1236s| 3250k| 44322 | 11995k| 46M| 38 | - | 115 | 160 | 5 | 115 | 15 | 20 | 204k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1295.00/1295.48 c 1239s| 3260k| 44018 | 12030k| 46M| 38 | - | 115 | 148 | 6 | 115 | 15 | 20 | 205k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1298.80/1299.29 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1298.80/1299.29 c 1243s| 3270k| 43740 | 12065k| 46M| 38 | - | 115 | 153 | 5 | 115 | 15 | 20 | 206k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1302.70/1303.12 c 1246s| 3280k| 43485 | 12100k| 46M| 38 | 5 | 115 | 146 | 6 | 115 | 15 | 20 | 206k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1306.50/1306.95 c 1250s| 3290k| 43181 | 12135k| 46M| 38 | 5 | 115 | 139 | 5 | 115 | 15 | 20 | 206k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1310.40/1310.80 c 1254s| 3300k| 42807 | 12171k| 46M| 38 | - | 115 | 118 | 5 | 115 | 15 | 20 | 207k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1314.19/1314.61 c 1257s| 3310k| 42748 | 12207k| 46M| 38 | 5 | 115 | 134 | 6 | 115 | 15 | 20 | 207k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1317.99/1318.41 c 1261s| 3320k| 42670 | 12243k| 46M| 38 | 5 | 115 | 142 | 5 | 115 | 15 | 20 | 208k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1321.69/1322.16 c 1265s| 3330k| 42524 | 12278k| 46M| 38 | - | 115 | 134 | 6 | 115 | 15 | 20 | 208k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1325.49/1325.99 c 1268s| 3340k| 42355 | 12313k| 46M| 38 | - | 115 | 159 | 5 | 115 | 15 | 20 | 209k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1329.49/1329.93 c 1272s| 3350k| 42922 | 12350k| 46M| 38 | - | 115 | 153 | 6 | 115 | 15 | 20 | 209k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1333.29/1333.74 c 1276s| 3360k| 43106 | 12385k| 46M| 38 | 5 | 115 | 156 | 8 | 115 | 15 | 20 | 210k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1336.99/1337.50 c 1279s| 3370k| 43245 | 12421k| 46M| 38 | 5 | 115 | 146 | 6 | 115 | 15 | 20 | 210k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1340.79/1341.24 c 1283s| 3380k| 42728 | 12456k| 46M| 38 | - | 115 | 127 | 5 | 115 | 15 | 20 | 210k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1344.59/1345.02 c 1286s| 3390k| 42336 | 12491k| 46M| 38 | 5 | 115 | 133 | 6 | 115 | 15 | 20 | 211k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1348.39/1348.83 c 1290s| 3400k| 42019 | 12526k| 46M| 38 | - | 115 | 113 | 10 | 0 | 0 | 20 | 211k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1352.19/1352.62 c 1294s| 3410k| 41626 | 12561k| 46M| 38 | 5 | 115 | 116 | 5 | 115 | 15 | 20 | 212k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1355.98/1356.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1355.98/1356.41 c 1297s| 3420k| 41262 | 12597k| 45M| 38 | 5 | 115 | 136 | 6 | 115 | 15 | 20 | 212k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1359.78/1360.21 c 1301s| 3430k| 41163 | 12633k| 45M| 38 | - | 115 | 130 | 5 | 115 | 15 | 20 | 213k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1363.68/1364.13 c 1305s| 3440k| 41177 | 12670k| 46M| 38 | 5 | 115 | 138 | 6 | 115 | 15 | 20 | 213k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1367.48/1367.99 c 1308s| 3450k| 41142 | 12707k| 46M| 38 | - | 115 | 132 | 5 | 115 | 15 | 20 | 214k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1371.28/1371.78 c 1312s| 3460k| 40817 | 12742k| 45M| 38 | - | 115 | 120 | 6 | 115 | 15 | 20 | 214k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1375.08/1375.57 c 1316s| 3470k| 40613 | 12777k| 45M| 38 | 5 | 115 | 135 | 5 | 115 | 15 | 20 | 214k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1378.88/1379.34 c 1319s| 3480k| 40106 | 12812k| 45M| 38 | - | 115 | 112 | 5 | 115 | 15 | 20 | 215k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1382.67/1383.12 c 1323s| 3490k| 39700 | 12847k| 45M| 38 | - | 115 | 135 | 7 | 0 | 0 | 20 | 215k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1386.47/1386.94 c 1327s| 3500k| 39297 | 12881k| 45M| 38 | - | 115 | 142 | 6 | 115 | 15 | 20 | 216k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1390.27/1390.77 c 1330s| 3510k| 39192 | 12916k| 44M| 38 | 5 | 115 | 155 | 6 | 115 | 15 | 20 | 216k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1394.07/1394.56 c 1334s| 3520k| 38645 | 12952k| 44M| 38 | - | 115 | 138 | 5 | 115 | 15 | 20 | 217k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1397.87/1398.34 c 1337s| 3530k| 38242 | 12986k| 44M| 38 | - | 115 | 180 | 5 | 115 | 15 | 20 | 217k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1401.67/1402.14 c 1341s| 3540k| 38004 | 13021k| 44M| 38 | 5 | 115 | 174 | 5 | 115 | 15 | 20 | 218k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1405.47/1405.96 c 1345s| 3550k| 37740 | 13057k| 44M| 38 | - | 115 | 153 | 6 | 115 | 15 | 20 | 218k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1409.26/1409.77 c 1348s| 3560k| 37385 | 13092k| 43M| 38 | - | 115 | 150 | 5 | 0 | 0 | 20 | 219k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1413.17/1413.61 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1413.17/1413.61 c 1352s| 3570k| 37079 | 13128k| 43M| 38 | 5 | 115 | 161 | 6 | 115 | 15 | 20 | 219k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1416.96/1417.41 c 1356s| 3580k| 36750 | 13164k| 43M| 38 | - | 115 | 164 | 5 | 115 | 15 | 20 | 219k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1420.66/1421.19 c 1359s| 3590k| 36243 | 13198k| 42M| 38 | - | 115 | 165 | 5 | 115 | 15 | 20 | 220k| 17k| 9.094947e-13 | 3.000000e+00 | Inf
1424.56/1425.01 c 1363s| 3600k| 36080 | 13233k| 42M| 38 | - | 115 | 163 | 5 | 115 | 15 | 20 | 220k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1428.66/1429.17 c 1367s| 3610k| 37171 | 13273k| 43M| 38 | 5 | 115 | 174 | 5 | 115 | 15 | 20 | 221k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1432.66/1433.11 c 1371s| 3620k| 37722 | 13310k| 43M| 38 | 5 | 115 | 175 | 6 | 115 | 15 | 20 | 221k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1436.56/1437.04 c 1374s| 3630k| 38093 | 13347k| 44M| 38 | 5 | 115 | 171 | 5 | 115 | 15 | 20 | 222k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1440.46/1440.90 c 1378s| 3640k| 38258 | 13382k| 44M| 38 | 5 | 115 | 164 | 6 | 115 | 15 | 20 | 222k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1444.26/1444.72 c 1382s| 3650k| 38164 | 13416k| 44M| 38 | 5 | 115 | 162 | 5 | 115 | 15 | 20 | 223k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1448.05/1448.60 c 1386s| 3660k| 38038 | 13452k| 44M| 38 | - | 115 | 174 | 8 | 0 | 0 | 20 | 223k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1451.95/1452.42 c 1389s| 3670k| 37809 | 13488k| 44M| 38 | - | 115 | 204 | 5 | 115 | 15 | 20 | 224k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1455.75/1456.21 c 1393s| 3680k| 37778 | 13523k| 44M| 38 | 5 | 115 | 199 | 6 | 115 | 15 | 20 | 224k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1459.55/1460.00 c 1396s| 3690k| 37411 | 13558k| 44M| 38 | - | 115 | 187 | 7 | 115 | 15 | 20 | 225k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1463.35/1463.84 c 1400s| 3700k| 37036 | 13594k| 44M| 38 | 5 | 115 | 166 | 5 | 115 | 15 | 20 | 225k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1467.25/1467.76 c 1404s| 3710k| 36892 | 13631k| 44M| 38 | 5 | 115 | 180 | 6 | 115 | 15 | 20 | 226k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1471.14/1471.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1471.14/1471.64 c 1408s| 3720k| 36993 | 13666k| 44M| 38 | 5 | 115 | 209 | 5 | 115 | 15 | 20 | 226k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1474.84/1475.33 c 1411s| 3730k| 36797 | 13700k| 44M| 38 | - | 115 | 188 | 5 | 115 | 15 | 20 | 227k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1478.65/1479.17 c 1415s| 3740k| 36193 | 13735k| 43M| 38 | 5 | 115 | 141 | 7 | 115 | 15 | 20 | 228k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1482.44/1482.96 c 1418s| 3750k| 35919 | 13771k| 43M| 38 | - | 115 | 158 | 5 | 0 | 0 | 20 | 228k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1486.34/1486.84 c 1422s| 3760k| 36190 | 13806k| 43M| 38 | - | 115 | 157 | 6 | 115 | 15 | 20 | 229k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1490.13/1490.66 c 1426s| 3770k| 36610 | 13842k| 43M| 38 | 5 | 115 | 178 | 6 | 115 | 15 | 20 | 229k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1493.94/1494.41 c 1429s| 3780k| 36644 | 13876k| 44M| 38 | 5 | 115 | 160 | 5 | 115 | 15 | 20 | 230k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1497.64/1498.11 c 1433s| 3790k| 36512 | 13910k| 44M| 38 | 5 | 115 | 151 | 5 | 115 | 15 | 20 | 231k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1501.24/1501.77 c 1436s| 3800k| 36143 | 13944k| 43M| 38 | - | 115 | 153 | 6 | 0 | 0 | 20 | 231k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1505.03/1505.55 c 1440s| 3810k| 35388 | 13978k| 43M| 38 | 5 | 115 | 139 | 5 | 115 | 15 | 20 | 232k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1508.83/1509.36 c 1444s| 3820k| 34447 | 14011k| 42M| 38 | - | 115 | 135 | 5 | 115 | 15 | 20 | 232k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1512.73/1513.23 c 1447s| 3830k| 33467 | 14046k| 41M| 38 | - | 115 | 140 | 5 | 115 | 15 | 20 | 233k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1516.63/1517.15 c 1451s| 3840k| 33379 | 14084k| 41M| 38 | - | 115 | 150 | 5 | 115 | 15 | 20 | 233k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1520.43/1520.92 c 1455s| 3850k| 32990 | 14120k| 40M| 38 | - | 115 | 142 | 5 | 115 | 15 | 20 | 234k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1524.32/1524.80 c 1458s| 3860k| 31525 | 14154k| 39M| 38 | 5 | 115 | 146 | 6 | 115 | 15 | 20 | 234k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1528.22/1528.74 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1528.22/1528.74 c 1462s| 3870k| 30388 | 14189k| 37M| 38 | - | 115 | 135 | 5 | 115 | 15 | 20 | 235k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1532.03/1532.60 c 1466s| 3880k| 30583 | 14225k| 37M| 38 | - | 115 | 151 | 5 | 0 | 0 | 20 | 235k| 18k| 9.094947e-13 | 3.000000e+00 | Inf
1535.82/1536.30 c 1469s| 3890k| 30409 | 14260k| 37M| 38 | - | 115 | 179 | 6 | 0 | 0 | 20 | 236k| 19k| 9.094947e-13 | 3.000000e+00 | Inf
1539.62/1540.10 c 1473s| 3900k| 29842 | 14295k| 37M| 38 | - | 115 | 120 | 5 | 115 | 15 | 20 | 237k| 19k| 9.094947e-13 | 3.000000e+00 | Inf
1543.42/1543.99 c 1477s| 3910k| 29592 | 14331k| 36M| 38 | 5 | 115 | 105 | 5 | 115 | 15 | 20 | 237k| 19k| 9.094947e-13 | 3.000000e+00 | Inf
1547.32/1547.83 c 1480s| 3920k| 29886 | 14368k| 36M| 38 | - | 115 | 94 | 5 | 115 | 15 | 20 | 238k| 19k| 9.094947e-13 | 3.000000e+00 | Inf
1551.12/1551.69 c 1484s| 3930k| 29850 | 14405k| 37M| 38 | 5 | 115 | 110 | 5 | 115 | 15 | 20 | 238k| 19k| 9.094947e-13 | 3.000000e+00 | Inf
1555.01/1555.55 c 1488s| 3940k| 29992 | 14443k| 37M| 38 | 5 | 115 | 93 | 5 | 115 | 15 | 20 | 239k| 19k| 9.094947e-13 | 3.000000e+00 | Inf
1558.82/1559.36 c 1491s| 3950k| 29641 | 14479k| 37M| 38 | - | 115 | 87 | 5 | 0 | 0 | 20 | 239k| 19k| 9.094947e-13 | 3.000000e+00 | Inf
1562.61/1563.19 c 1495s| 3960k| 29536 | 14516k| 37M| 38 | - | 115 | 104 | 6 | 115 | 15 | 20 | 240k| 19k| 9.094947e-13 | 3.000000e+00 | Inf
1566.51/1567.05 c 1499s| 3970k| 29379 | 14554k| 36M| 38 | - | 115 | 103 | 6 | 115 | 15 | 20 | 240k| 19k| 9.094947e-13 | 3.000000e+00 | Inf
1570.31/1570.87 c 1502s| 3980k| 29130 | 14590k| 36M| 38 | 5 | 115 | 84 | 8 | 115 | 15 | 20 | 241k| 19k| 9.094947e-13 | 3.000000e+00 | Inf
1574.41/1574.98 c 1506s| 3990k| 30158 | 14628k| 37M| 38 | 5 | 115 | 116 | 5 | 115 | 15 | 20 | 241k| 19k| 9.094947e-13 | 3.000000e+00 | Inf
1578.41/1578.91 c 1510s| 4000k| 31246 | 14665k| 37M| 38 | - | 115 | 95 | 5 | 115 | 15 | 20 | 242k| 19k| 9.094947e-13 | 3.000000e+00 | Inf
1582.32/1582.83 c 1514s| 4010k| 32208 | 14702k| 38M| 38 | - | 115 | 104 | 9 | 115 | 15 | 20 | 242k| 19k| 9.094947e-13 | 3.000000e+00 | Inf
1586.21/1586.70 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1586.21/1586.70 c 1517s| 4020k| 32778 | 14739k| 38M| 38 | 5 | 115 | 115 | 7 | 115 | 15 | 20 | 243k| 19k| 9.094947e-13 | 3.000000e+00 | Inf
1590.01/1590.57 c 1521s| 4030k| 33120 | 14774k| 39M| 38 | - | 115 | 104 | 7 | 115 | 15 | 20 | 244k| 19k| 9.094947e-13 | 3.000000e+00 | Inf
1593.91/1594.47 c 1525s| 4040k| 33613 | 14809k| 39M| 38 | - | 115 | 134 | 12 | 115 | 15 | 20 | 244k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1597.71/1598.27 c 1528s| 4050k| 33734 | 14844k| 40M| 38 | - | 115 | 129 | 5 | 115 | 15 | 20 | 245k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1601.60/1602.11 c 1532s| 4060k| 34018 | 14879k| 40M| 38 | - | 115 | 139 | 5 | 0 | 0 | 20 | 246k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1605.50/1606.04 c 1536s| 4070k| 34859 | 14915k| 40M| 38 | 5 | 115 | 121 | 5 | 115 | 15 | 20 | 247k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1609.39/1609.91 c 1540s| 4080k| 35499 | 14951k| 41M| 38 | - | 115 | 132 | 5 | 115 | 15 | 20 | 247k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1613.30/1613.84 c 1543s| 4090k| 36244 | 14986k| 41M| 38 | - | 115 | 156 | 6 | 115 | 15 | 20 | 248k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1617.09/1617.63 c 1547s| 4100k| 36219 | 15021k| 42M| 38 | - | 115 | 174 | 5 | 115 | 15 | 20 | 249k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1620.79/1621.39 c 1550s| 4110k| 36451 | 15056k| 42M| 38 | - | 115 | 188 | 5 | 115 | 15 | 20 | 249k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1624.69/1625.20 c 1554s| 4120k| 36338 | 15091k| 42M| 38 | - | 115 | 176 | 8 | 115 | 15 | 20 | 250k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1628.60/1629.13 c 1558s| 4130k| 36500 | 15126k| 42M| 38 | 5 | 115 | 233 | 8 | 115 | 15 | 20 | 251k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1632.49/1633.04 c 1562s| 4140k| 36466 | 15163k| 42M| 38 | 5 | 115 | 212 | 5 | 115 | 15 | 20 | 252k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1636.30/1636.83 c 1565s| 4150k| 36224 | 15198k| 42M| 38 | - | 115 | 171 | 5 | 0 | 0 | 20 | 252k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1640.19/1640.70 c 1569s| 4160k| 36570 | 15235k| 43M| 38 | - | 115 | 180 | 5 | 115 | 15 | 20 | 253k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1644.09/1644.61 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1644.09/1644.61 c 1573s| 4170k| 37066 | 15271k| 43M| 38 | 5 | 115 | 228 | 11 | 115 | 15 | 20 | 253k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1647.98/1648.53 c 1576s| 4180k| 37198 | 15308k| 43M| 38 | 5 | 115 | 253 | 6 | 115 | 15 | 20 | 254k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1651.78/1652.39 c 1580s| 4190k| 37659 | 15344k| 44M| 38 | 5 | 115 | 290 | 5 | 115 | 15 | 20 | 255k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1655.69/1656.28 c 1584s| 4200k| 37857 | 15380k| 44M| 38 | 5 | 115 | 324 | 8 | 115 | 15 | 20 | 256k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1659.69/1660.20 c 1588s| 4210k| 37877 | 15417k| 44M| 38 | 5 | 115 | 225 | 5 | 115 | 15 | 20 | 256k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1663.58/1664.20 c 1591s| 4220k| 37967 | 15457k| 44M| 38 | 5 | 115 | 198 | 5 | 115 | 15 | 20 | 257k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1667.58/1668.16 c 1595s| 4230k| 37631 | 15494k| 44M| 38 | 5 | 115 | 181 | 8 | 115 | 15 | 20 | 257k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1671.58/1672.12 c 1599s| 4240k| 37785 | 15531k| 44M| 38 | 5 | 115 | 229 | 5 | 115 | 15 | 20 | 258k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1675.47/1676.04 c 1603s| 4250k| 37240 | 15568k| 44M| 38 | - | 115 | 200 | 6 | 115 | 15 | 20 | 259k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1679.47/1680.01 c 1606s| 4260k| 37520 | 15606k| 44M| 38 | 5 | 115 | 197 | 7 | 115 | 15 | 20 | 260k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1683.38/1683.96 c 1610s| 4270k| 37710 | 15645k| 45M| 38 | - | 115 | 195 | 5 | 115 | 15 | 20 | 260k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1687.28/1687.89 c 1614s| 4280k| 37732 | 15681k| 45M| 38 | - | 115 | 194 | 7 | 115 | 15 | 20 | 261k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1691.28/1691.84 c 1618s| 4290k| 38496 | 15718k| 45M| 38 | - | 115 | 205 | 5 | 115 | 15 | 20 | 261k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1695.18/1695.71 c 1621s| 4300k| 38735 | 15753k| 46M| 38 | 5 | 115 | 184 | 5 | 115 | 15 | 20 | 262k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1698.97/1699.55 c 1625s| 4310k| 38509 | 15789k| 46M| 38 | - | 115 | 204 | 5 | 0 | 0 | 20 | 263k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1702.87/1703.45 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1702.87/1703.45 c 1629s| 4320k| 38193 | 15824k| 46M| 38 | 5 | 115 | 228 | 5 | 115 | 15 | 20 | 264k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1706.77/1707.32 c 1632s| 4330k| 38099 | 15859k| 46M| 38 | - | 115 | 226 | 5 | 115 | 15 | 20 | 264k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1710.67/1711.23 c 1636s| 4340k| 37895 | 15895k| 46M| 38 | 5 | 115 | 210 | 6 | 115 | 15 | 20 | 265k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1714.47/1715.08 c 1640s| 4350k| 37689 | 15930k| 46M| 38 | - | 115 | 229 | 6 | 115 | 15 | 20 | 266k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1718.37/1718.91 c 1643s| 4360k| 37605 | 15966k| 46M| 38 | - | 115 | 257 | 5 | 115 | 15 | 20 | 266k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1722.27/1722.82 c 1647s| 4370k| 37458 | 16002k| 45M| 38 | - | 115 | 244 | 5 | 115 | 15 | 20 | 267k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1726.16/1726.77 c 1651s| 4380k| 37432 | 16037k| 46M| 38 | 5 | 115 | 247 | 5 | 115 | 15 | 20 | 268k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1730.06/1730.69 c 1655s| 4390k| 37402 | 16073k| 46M| 38 | - | 115 | 255 | 7 | 115 | 15 | 20 | 268k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1734.07/1734.63 c 1659s| 4400k| 37122 | 16109k| 46M| 38 | 5 | 115 | 233 | 6 | 115 | 15 | 20 | 269k| 20k| 9.094947e-13 | 3.000000e+00 | Inf
1737.96/1738.57 c 1662s| 4410k| 37390 | 16145k| 46M| 38 | 5 | 115 | 210 | 5 | 115 | 15 | 20 | 269k| 21k| 9.094947e-13 | 3.000000e+00 | Inf
1741.76/1742.40 c 1666s| 4420k| 37306 | 16180k| 46M| 38 | 5 | 115 | 226 | 5 | 115 | 15 | 20 | 270k| 21k| 9.094947e-13 | 3.000000e+00 | Inf
1745.66/1746.27 c 1670s| 4430k| 37480 | 16217k| 46M| 38 | 5 | 115 | 238 | 5 | 115 | 15 | 20 | 271k| 21k| 9.094947e-13 | 3.000000e+00 | Inf
1749.56/1750.16 c 1673s| 4440k| 37488 | 16253k| 46M| 38 | - | 115 | 242 | 8 | 115 | 15 | 20 | 271k| 21k| 9.094947e-13 | 3.000000e+00 | Inf
1753.46/1754.01 c 1677s| 4450k| 37144 | 16287k| 46M| 38 | - | 115 | 257 | 6 | 115 | 15 | 20 | 272k| 21k| 9.094947e-13 | 3.000000e+00 | Inf
1757.25/1757.90 c 1681s| 4460k| 37039 | 16325k| 46M| 38 | - | 115 | 241 | 6 | 115 | 15 | 20 | 272k| 21k| 9.094947e-13 | 3.000000e+00 | Inf
1761.26/1761.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1761.26/1761.81 c 1684s| 4470k| 37129 | 16362k| 46M| 38 | - | 115 | 243 | 5 | 115 | 15 | 20 | 273k| 21k| 9.094947e-13 | 3.000000e+00 | Inf
1765.25/1765.89 c 1688s| 4480k| 38071 | 16400k| 47M| 38 | - | 115 | 253 | 5 | 115 | 15 | 20 | 274k| 21k| 9.094947e-13 | 3.000000e+00 | Inf
1769.26/1769.80 c 1692s| 4490k| 38467 | 16435k| 47M| 38 | 5 | 115 | 264 | 5 | 115 | 15 | 20 | 274k| 21k| 9.094947e-13 | 3.000000e+00 | Inf
1773.05/1773.70 c 1696s| 4500k| 38355 | 16471k| 47M| 38 | 4 | 115 | 265 | 5 | 115 | 15 | 20 | 275k| 21k| 9.094947e-13 | 3.000000e+00 | Inf
1776.95/1777.58 c 1699s| 4510k| 38134 | 16508k| 47M| 38 | - | 115 | 248 | 6 | 115 | 15 | 20 | 276k| 21k| 9.094947e-13 | 3.000000e+00 | Inf
1780.85/1781.45 c 1703s| 4520k| 38036 | 16543k| 47M| 38 | 5 | 115 | 245 | 5 | 115 | 15 | 20 | 276k| 21k| 9.094947e-13 | 3.000000e+00 | Inf
1784.75/1785.36 c 1707s| 4530k| 38595 | 16579k| 48M| 38 | - | 115 | 255 | 6 | 115 | 15 | 20 | 277k| 21k| 9.094947e-13 | 3.000000e+00 | Inf
1788.65/1789.20 c 1710s| 4540k| 38697 | 16614k| 48M| 38 | - | 115 | 264 | 7 | 115 | 15 | 20 | 278k| 21k| 9.094947e-13 | 3.000000e+00 | Inf
1792.45/1793.05 c 1714s| 4550k| 37967 | 16649k| 47M| 38 | 5 | 115 | 307 | 14 | 115 | 15 | 20 | 279k| 21k| 9.094947e-13 | 3.000000e+00 | Inf
1796.34/1796.98 c 1718s| 4560k| 37917 | 16686k| 47M| 38 | - | 115 | 296 | 5 | 115 | 15 | 20 | 279k| 21k| 9.094947e-13 | 3.000000e+00 | Inf
1800.05/1800.60 c
1800.05/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.60 c Solving Time (sec) : 1721.39
1800.05/1800.60 c Solving Nodes : 4569207
1800.05/1800.60 c Primal Bound : +2.99999999999818e+00 (43 solutions)
1800.05/1800.60 c Dual Bound : +9.09494701772928e-13
1800.05/1800.60 c Gap : infinite
1800.05/1800.60 c NODE 4569207
1800.05/1800.60 c DUAL BOUND 9.09495e-13
1800.05/1800.60 c PRIMAL BOUND 3
1800.05/1800.60 c GAP 1e+20
1800.05/1800.60 s SATISFIABLE
1800.05/1800.60 v -x120 x119 -x118 x117 -x116 -x115 x114 -x113 x112 x111 -x110 x109 -x108 -x107 x106 -x105 -x104 x103 x102 -x101 x100 x99 x98 -x97
1800.05/1800.60 v -x96 -x95 x94 -x93 -x92 x91 x90 x89 -x88 -x87 x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
1800.05/1800.60 v -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46
1800.05/1800.60 v -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21
1800.05/1800.60 v -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.05/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.60 c Solving Time : 1721.39
1800.05/1800.60 c Original Problem :
1800.05/1800.61 c Problem name : HOME/instance-1869489-1245174443.opb
1800.05/1800.61 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 10 initial, 10 maximal
1800.05/1800.61 c Presolved Problem :
1800.05/1800.61 c Problem name : t_HOME/instance-1869489-1245174443.opb
1800.05/1800.61 c Variables : 115 (115 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 5 initial, 340 maximal
1800.05/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.61 c linear : 0.00 0 5 0 0 0 5 0 0
1800.05/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c root node : - 60 - - 60 - - - -
1800.05/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c integral : 0 0 0 2334214 0 868 11553 0 0 4643620
1800.05/1800.61 c linear : 5 6 5824843 7 0 678803 4346122 12 0 0
1800.05/1800.61 c logicor : 0+ 0 2074072 0 0 4021 80969 0 0 0
1800.05/1800.61 c countsols : 0 0 0 21 0 0 0 0 0 0
1800.05/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.61 c integral : 27.43 0.00 0.00 27.43 0.00
1800.05/1800.61 c linear : 266.30 0.00 266.30 0.00 0.00
1800.05/1800.61 c logicor : 10.43 0.00 10.43 0.00 0.00
1800.05/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.61 c rootredcost : 2.26 41 0 60
1800.05/1800.61 c pseudoobj : 38.69 5843493 18815 155875
1800.05/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.61 c propagation : 35.26 701639 279751 349461 34.2 0 0.0 -
1800.05/1800.61 c infeasible LP : 9.27 1663380 3 3 22.7 0 0.0 0
1800.05/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c pseudo solution : 0.00 1 1 1 22.0 0 0.0 -
1800.05/1800.61 c applied globally : - - - 42731 28.8 - - -
1800.05/1800.61 c applied locally : - - - 237744 35.3 - - -
1800.05/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.61 c cut pool : 0.00 5 - - 5 - (maximal pool size: 54)
1800.05/1800.61 c redcost : 26.76 2654955 0 4902203 0 0
1800.05/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.61 c intobj : 0.00 0 0 0 0 0
1800.05/1800.61 c gomory : 0.01 6 0 0 0 0
1800.05/1800.61 c strongcg : 0.00 6 0 0 17 0
1800.05/1800.61 c cmir : 0.03 6 0 0 14 0
1800.05/1800.61 c flowcover : 0.03 6 0 0 15 0
1800.05/1800.61 c clique : 0.00 1 0 0 0 0
1800.05/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.61 c mcf : 0.00 1 0 0 0 0
1800.05/1800.61 c Pricers : Time Calls Vars
1800.05/1800.61 c problem variables: 0.00 0 0
1800.05/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c relpscost : 25.04 2334193 868 11553 0 0 4643620
1800.05/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c random : 0.00 0 0 0 0 0 0
1800.05/1800.61 c Primal Heuristics : Time Calls Found
1800.05/1800.61 c LP solutions : 0.02 - 21
1800.05/1800.61 c pseudo solutions : 0.00 - 0
1800.05/1800.61 c intshifting : 0.15 0 0
1800.05/1800.61 c oneopt : 2.09 40 0
1800.05/1800.61 c crossover : 2.55 3 0
1800.05/1800.61 c linesearchdiving : 9.14 6245 2
1800.05/1800.61 c pscostdiving : 9.62 6245 4
1800.05/1800.61 c guideddiving : 9.09 6245 2
1800.05/1800.61 c fracdiving : 8.81 6245 4
1800.05/1800.61 c rootsoldiving : 8.54 3123 1
1800.05/1800.61 c coefdiving : 9.82 6246 3
1800.05/1800.61 c simplerounding : 1.53 0 0
1800.05/1800.61 c rounding : 2.03 22737 0
1800.05/1800.61 c shifting : 6.11 7956 0
1800.05/1800.61 c fixandinfer : 0.00 0 0
1800.05/1800.61 c feaspump : 0.12 1 0
1800.05/1800.61 c veclendiving : 9.48 6245 4
1800.05/1800.61 c intdiving : 0.00 0 0
1800.05/1800.61 c actconsdiving : 0.00 0 0
1800.05/1800.61 c objpscostdiving : 7.95 3124 2
1800.05/1800.61 c octane : 0.00 0 0
1800.05/1800.61 c rens : 0.02 1 0
1800.05/1800.61 c rins : 0.00 0 0
1800.05/1800.61 c localbranching : 0.00 0 0
1800.05/1800.61 c mutation : 0.00 0 0
1800.05/1800.61 c dins : 0.00 0 0
1800.05/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.61 c dual LP : 979.98 4211966 16118479 3.83 16447.76
1800.05/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.61 c diving/probing LP: 46.89 218103 600972 2.76 12816.63
1800.05/1800.61 c strong branching : 4.31 21569 80361 3.73 18645.24
1800.05/1800.61 c (at root node) : - 13 441 33.92 -
1800.05/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.61 c B&B Tree :
1800.05/1800.61 c number of runs : 1
1800.05/1800.61 c nodes : 4569207
1800.05/1800.61 c nodes (total) : 4569207
1800.05/1800.61 c nodes left : 37250
1800.05/1800.61 c max depth : 38
1800.05/1800.61 c max depth (total): 38
1800.05/1800.61 c backtracks : 1264101 (27.7%)
1800.05/1800.61 c delayed cutoffs : 33356
1800.05/1800.61 c repropagations : 101708 (205152 domain reductions, 32309 cutoffs)
1800.05/1800.61 c avg switch length: 5.09
1800.05/1800.61 c switching time : 98.33
1800.05/1800.61 c Solution :
1800.05/1800.61 c Solutions found : 43 (41 improvements)
1800.05/1800.61 c Primal Bound : +2.99999999999818e+00 (in run 1, after 1677508 nodes, 650.47 seconds, depth 30, found by <relaxation>)
1800.05/1800.61 c Dual Bound : +9.09494701772928e-13
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 c Root Dual Bound : +9.09494701772928e-13
1800.34/1800.90 c Time complete: 1800.35.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869489-1245174443/watcher-1869489-1245174443 -o /tmp/evaluation-result-1869489-1245174443/solver-1869489-1245174443 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869489-1245174443.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 4858
/proc/meminfo: memFree=1844144/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=5812 CPUtime=0
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 518 0 0 0 0 0 0 0 18 0 1 0 185041331 5951488 502 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/4858/statm: 1453 503 332 1256 0 192 0
[startup+0.0438809 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4858
/proc/meminfo: memFree=1844144/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=14644 CPUtime=0.03
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 2928 0 0 0 3 0 0 0 18 0 1 0 185041331 14995456 2558 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 3661 2558 667 1256 0 2400 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14644
[startup+0.101889 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4858
/proc/meminfo: memFree=1844144/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=15128 CPUtime=0.09
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 2978 0 0 0 9 0 0 0 18 0 1 0 185041331 15491072 2608 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 3782 2608 668 1256 0 2521 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15128
[startup+0.301917 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4858
/proc/meminfo: memFree=1844144/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=16080 CPUtime=0.29
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 4881 0 0 0 27 2 0 0 19 0 1 0 185041331 16465920 2726 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 4020 2726 693 1256 0 2759 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16080
[startup+0.701975 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4858
/proc/meminfo: memFree=1844144/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=16436 CPUtime=0.69
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 4940 0 0 0 66 3 0 0 23 0 1 0 185041331 16830464 2785 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 4109 2785 699 1256 0 2848 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16436
[startup+1.50109 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4859
/proc/meminfo: memFree=1835432/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=18444 CPUtime=1.49
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 6317 0 0 0 144 5 0 0 25 0 1 0 185041331 18886656 3512 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 4611 3512 700 1256 0 3350 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18444
[startup+3.10132 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4859
/proc/meminfo: memFree=1834664/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=19200 CPUtime=3.09
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 8067 0 0 0 298 11 0 0 25 0 1 0 185041331 19660800 3651 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 4800 3651 700 1256 0 3539 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19200
[startup+6.30177 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4859
/proc/meminfo: memFree=1830248/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=20600 CPUtime=6.29
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 8548 0 0 0 605 24 0 0 25 0 1 0 185041331 21094400 4132 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 5150 4132 700 1256 0 3889 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20600
[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4859
/proc/meminfo: memFree=1829032/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=21536 CPUtime=12.69
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 8826 0 0 0 1220 49 0 0 25 0 1 0 185041331 22052864 4410 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 5384 4410 700 1256 0 4123 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21536
[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4859
/proc/meminfo: memFree=1828904/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=22968 CPUtime=25.48
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 8848 0 0 0 2448 100 0 0 25 0 1 0 185041331 23519232 4432 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 5742 4432 700 1256 0 4481 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22968
[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4859
/proc/meminfo: memFree=1826728/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=23908 CPUtime=51.08
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 9419 0 0 0 4899 209 0 0 25 0 1 0 185041331 24481792 5003 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 5977 5003 700 1256 0 4716 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 23908
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4859
/proc/meminfo: memFree=1822440/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=27960 CPUtime=102.26
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 10478 0 0 0 9803 423 0 0 25 0 1 0 185041331 28631040 6062 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 6990 6062 700 1256 0 5729 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 27960
[startup+162.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 4859
/proc/meminfo: memFree=1820712/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=31768 CPUtime=162.25
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 11596 0 0 0 15548 677 0 0 25 0 1 0 185041331 32530432 6502 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 7942 6502 700 1256 0 6681 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 31768
[startup+222.303 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 4859
/proc/meminfo: memFree=1817960/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=32864 CPUtime=222.22
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 13050 0 0 0 21291 931 0 0 25 0 1 0 185041331 33652736 7136 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 8216 7136 700 1256 0 6955 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 32864
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4861
/proc/meminfo: memFree=1816616/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=35024 CPUtime=282.21
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 13377 0 0 0 27031 1190 0 0 25 0 1 0 185041331 35864576 7463 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 8756 7463 700 1256 0 7495 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 35024
[startup+342.302 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 4861
/proc/meminfo: memFree=1812968/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=38280 CPUtime=342.18
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 14300 0 0 0 32766 1452 0 0 25 0 1 0 185041331 39198720 8386 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 9570 8386 700 1256 0 8309 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 38280
[startup+402.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 4861
/proc/meminfo: memFree=1810728/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=40168 CPUtime=402.17
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 14854 0 0 0 38504 1713 0 0 25 0 1 0 185041331 41132032 8940 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 10042 8940 700 1256 0 8781 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 40168
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4861
/proc/meminfo: memFree=1805736/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=44808 CPUtime=462.15
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 16077 0 0 0 44243 1972 0 0 25 0 1 0 185041331 45883392 10163 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 11202 10163 700 1256 0 9941 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 44808
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4861
/proc/meminfo: memFree=1805160/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=44808 CPUtime=522.13
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 16217 0 0 0 49987 2226 0 0 25 0 1 0 185041331 45883392 10303 1992294400 4194304 9342243 548682068736 18446744073709551615 8221554 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 11202 10303 700 1256 0 9941 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 44808
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4861
/proc/meminfo: memFree=1802216/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=49004 CPUtime=582.12
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 16915 0 0 0 55720 2492 0 0 25 0 1 0 185041331 50180096 11001 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 12251 11001 700 1256 0 10990 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 49004
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4861
/proc/meminfo: memFree=1796648/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=53916 CPUtime=642.1
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 18290 0 0 0 61452 2758 0 0 25 0 1 0 185041331 55209984 12376 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 13479 12376 700 1256 0 12218 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 53916
[startup+702.302 s]
################
# More data... #
################
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4867
/proc/meminfo: memFree=1794472/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=55208 CPUtime=942.01
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 18719 0 0 0 90149 4052 0 0 25 0 1 0 185041331 56532992 12805 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 13802 12805 700 1256 0 12541 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 55208
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4867
/proc/meminfo: memFree=1794472/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=55208 CPUtime=1001.99
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 18719 0 0 0 95886 4313 0 0 25 0 1 0 185041331 56532992 12805 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 13802 12805 700 1256 0 12541 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 55208
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4867
/proc/meminfo: memFree=1794216/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=55368 CPUtime=1061.97
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 18772 0 0 0 101623 4574 0 0 25 0 1 0 185041331 56696832 12858 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 13842 12858 700 1256 0 12581 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 55368
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4867
/proc/meminfo: memFree=1790376/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=59124 CPUtime=1121.95
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 20504 0 0 0 107365 4830 0 0 25 0 1 0 185041331 60542976 13813 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 14781 13813 700 1256 0 13520 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 59124
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4867
/proc/meminfo: memFree=1787688/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=62192 CPUtime=1181.94
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 21167 0 0 0 113096 5098 0 0 25 0 1 0 185041331 63684608 14476 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 15548 14476 700 1256 0 14287 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 62192
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4867
/proc/meminfo: memFree=1785576/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=64516 CPUtime=1241.92
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 21654 0 0 0 118832 5360 0 0 25 0 1 0 185041331 66064384 14963 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 16129 14963 700 1256 0 14868 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 64516
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4867
/proc/meminfo: memFree=1784488/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=65732 CPUtime=1301.9
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 21907 0 0 0 124571 5619 0 0 25 0 1 0 185041331 67309568 15216 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 16433 15216 700 1256 0 15172 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 65732
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4867
/proc/meminfo: memFree=1784296/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=66364 CPUtime=1361.88
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 21938 0 0 0 130299 5889 0 0 25 0 1 0 185041331 67956736 15247 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 16591 15247 700 1256 0 15330 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 66364
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4867
/proc/meminfo: memFree=1783848/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=66764 CPUtime=1421.87
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 22038 0 0 0 136035 6152 0 0 25 0 1 0 185041331 68366336 15347 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 16691 15347 700 1256 0 15430 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 66764
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4867
/proc/meminfo: memFree=1781672/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=67228 CPUtime=1481.84
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 22583 0 0 0 141776 6408 0 0 25 0 1 0 185041331 68841472 15892 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 16807 15892 700 1256 0 15546 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 67228
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4867
/proc/meminfo: memFree=1781544/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=67228 CPUtime=1541.82
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 22584 0 0 0 147499 6683 0 0 25 0 1 0 185041331 68841472 15893 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 16807 15893 700 1256 0 15546 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 67228
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4867
/proc/meminfo: memFree=1782888/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=67216 CPUtime=1601.8
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 22945 0 0 0 153231 6949 0 0 25 0 1 0 185041331 68829184 15536 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 16804 15536 700 1256 0 15543 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 67216
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4867
/proc/meminfo: memFree=1779944/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=68840 CPUtime=1661.78
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 23656 0 0 0 158953 7225 0 0 25 0 1 0 185041331 70492160 16247 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 17210 16247 700 1256 0 15949 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 68840
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4867
/proc/meminfo: memFree=1779880/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=68840 CPUtime=1721.76
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 23656 0 0 0 164672 7504 0 0 25 0 1 0 185041331 70492160 16247 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 17210 16247 700 1256 0 15949 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 68840
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4867
/proc/meminfo: memFree=1779816/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=69000 CPUtime=1781.74
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 23665 0 0 0 170393 7781 0 0 25 0 1 0 185041331 70656000 16256 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 17250 16256 700 1256 0 15989 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 69000
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4867
/proc/meminfo: memFree=1779752/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=69612 CPUtime=1800.05
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 23677 0 0 0 172139 7866 0 0 25 0 1 0 185041331 71282688 16268 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4858/statm: 17403 16268 700 1256 0 16142 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 69612
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4867
/proc/meminfo: memFree=1779752/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=69612 CPUtime=1800.24
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 23678 0 0 0 172158 7866 0 0 24 0 1 0 185041331 71282688 16269 1992294400 4194304 9342243 548682068736 18446744073709551615 5855033 0 0 4096 0 0 0 0 17 0 0 0
/proc/4858/statm: 17403 16269 701 1256 0 16142 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 69612
[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4867
/proc/meminfo: memFree=1779752/2055920 swapFree=4182572/4192956
[pid=4858] ppid=4856 vsize=62552 CPUtime=1800.34
/proc/4858/stat : 4858 (pbscip.linux.x8) R 4856 4858 4758 0 -1 4194304 23678 0 0 0 172168 7866 0 0 25 0 1 0 185041331 64053248 10698 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 0 0 0
/proc/4858/statm: 15638 10698 701 1256 0 14377 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 62552
Child status: 0
Real time (s): 1800.91
CPU time (s): 1800.36
CPU user time (s): 1721.69
CPU system time (s): 78.673
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 69612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1721.69
system time used= 78.673
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23681
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= 5
involuntary context switches= 2457
runsolver used 1.47778 second user time and 3.53346 second system time
The end