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-1869519-1245176196.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 | 18 | 399k| 0 | 5 | 115 | 5 | 5 | 115 | 5 | 0 | 0 | 0 | 9.094947e-13 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 62 | 469k| 0 | 9 | 115 | 5 | 5 | 115 | 11 | 6 | 0 | 0 | 9.094947e-13 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 69 | 509k| 0 | 10 | 115 | 5 | 5 | 115 | 15 | 10 | 0 | 0 | 9.094947e-13 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 77 | 555k| 0 | 11 | 115 | 5 | 5 | 115 | 18 | 13 | 0 | 0 | 9.094947e-13 | -- | Inf
0.04/0.07 c 0.1s| 1 | 0 | 85 | 603k| 0 | 14 | 115 | 5 | 5 | 115 | 21 | 16 | 0 | 0 | 9.094947e-13 | -- | Inf
0.04/0.08 c 0.1s| 1 | 0 | 98 | 627k| 0 | 14 | 115 | 5 | 5 | 115 | 24 | 19 | 0 | 0 | 9.094947e-13 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 102 | 646k| 0 | 16 | 115 | 5 | 5 | 115 | 26 | 21 | 0 | 0 | 9.094947e-13 | -- | Inf
0.09/0.18 c 0.2s| 1 | 2 | 102 | 647k| 0 | 16 | 115 | 5 | 5 | 115 | 26 | 21 | 0 | 16 | 9.094947e-13 | -- | Inf
0.29/0.39 o 484
0.29/0.39 c c 0.4s| 165 | 157 | 941 | 744k| 34 | - | 115 | 5 | 3 | 115 | 17 | 21 | 4 | 381 | 9.094947e-13 | 4.840000e+02 | Inf
0.39/0.42 o 349
0.39/0.42 c p 0.4s| 199 | 179 | 1083 | 761k| 34 | - | 115 | 5 | 4 | 115 | 17 | 21 | 4 | 398 | 9.094947e-13 | 3.490000e+02 | Inf
0.39/0.43 o 97
0.39/0.43 c f 0.4s| 218 | 173 | 1153 | 757k| 34 | - | 115 | 5 | 5 | 115 | 17 | 21 | 4 | 404 | 9.094947e-13 | 9.700000e+01 | Inf
0.39/0.45 o 96
0.39/0.45 c * 0.4s| 250 | 203 | 1270 | 764k| 34 | - | 115 | 5 | 0 | 115 | 17 | 21 | 4 | 440 | 9.094947e-13 | 9.600000e+01 | Inf
0.39/0.46 o 94
0.39/0.46 c * 0.4s| 251 | 202 | 1270 | 765k| 34 | - | 115 | 5 | 0 | 115 | 17 | 21 | 4 | 442 | 9.094947e-13 | 9.400000e+01 | Inf
0.49/0.50 o 92
0.49/0.50 c * 0.5s| 319 | 262 | 1515 | 794k| 34 | - | 115 | 5 | 0 | 115 | 17 | 21 | 4 | 465 | 9.094947e-13 | 9.200000e+01 | Inf
0.49/0.55 o 89
0.49/0.55 c p 0.5s| 377 | 318 | 1738 | 823k| 34 | - | 115 | 5 | 3 | 115 | 17 | 21 | 4 | 518 | 9.094947e-13 | 8.900000e+01 | Inf
0.49/0.59 o 88
0.49/0.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.59 c * 0.6s| 443 | 374 | 1951 | 848k| 34 | - | 115 | 5 | 0 | 115 | 17 | 21 | 4 | 546 | 9.094947e-13 | 8.800000e+01 | Inf
0.49/0.59 o 86
0.49/0.59 c * 0.6s| 445 | 373 | 1953 | 850k| 34 | - | 115 | 5 | 0 | 115 | 17 | 21 | 4 | 548 | 9.094947e-13 | 8.600000e+01 | Inf
0.49/0.59 o 84
0.49/0.59 c * 0.6s| 446 | 363 | 1954 | 847k| 34 | - | 115 | 5 | 0 | 115 | 17 | 21 | 4 | 548 | 9.094947e-13 | 8.400000e+01 | Inf
0.59/0.61 o 82
0.59/0.61 c * 0.6s| 473 | 382 | 2028 | 859k| 34 | - | 115 | 5 | 0 | 115 | 17 | 21 | 4 | 571 | 9.094947e-13 | 8.200000e+01 | Inf
0.59/0.61 o 78
0.59/0.61 c * 0.6s| 475 | 374 | 2029 | 859k| 35 | - | 115 | 5 | 0 | 115 | 17 | 21 | 4 | 571 | 9.094947e-13 | 7.800000e+01 | Inf
0.59/0.66 o 77
0.59/0.66 c * 0.6s| 569 | 438 | 2294 | 897k| 35 | - | 115 | 5 | 0 | 115 | 17 | 21 | 9 | 602 | 9.094947e-13 | 7.700000e+01 | Inf
0.59/0.68 o 76
0.59/0.68 c * 0.6s| 591 | 455 | 2403 | 907k| 35 | - | 115 | 5 | 0 | 115 | 17 | 21 | 10 | 605 | 9.094947e-13 | 7.600000e+01 | Inf
0.59/0.68 o 74
0.59/0.68 c * 0.6s| 592 | 450 | 2403 | 904k| 35 | - | 115 | 5 | 0 | 115 | 17 | 21 | 10 | 605 | 9.094947e-13 | 7.400000e+01 | Inf
0.69/0.70 o 73
0.69/0.70 c p 0.7s| 626 | 464 | 2505 | 916k| 35 | - | 115 | 5 | 0 | 115 | 17 | 21 | 11 | 622 | 9.094947e-13 | 7.300000e+01 | Inf
0.69/0.71 o 72
0.69/0.71 c * 0.7s| 637 | 472 | 2536 | 922k| 35 | - | 115 | 5 | 0 | 115 | 17 | 21 | 11 | 629 | 9.094947e-13 | 7.200000e+01 | Inf
0.69/0.71 o 70
0.69/0.71 c * 0.7s| 638 | 467 | 2536 | 920k| 35 | - | 115 | 5 | 0 | 115 | 17 | 21 | 11 | 629 | 9.094947e-13 | 7.000000e+01 | Inf
0.69/0.72 o 68
0.69/0.72 c * 0.7s| 652 | 472 | 2576 | 924k| 35 | - | 115 | 5 | 0 | 115 | 17 | 21 | 11 | 631 | 9.094947e-13 | 6.800000e+01 | Inf
0.89/0.93 o 67
0.89/0.93 c c 0.9s| 887 | 681 | 3470 |1028k| 38 | - | 115 | 5 | 0 | 115 | 17 | 21 | 18 | 654 | 9.094947e-13 | 6.700000e+01 | Inf
1.09/1.12 o 66
1.09/1.12 c l 1.1s| 1158 | 942 | 4668 |1146k| 38 | - | 115 | 5 | 0 | 115 | 17 | 21 | 33 | 673 | 9.094947e-13 | 6.600000e+01 | Inf
1.09/1.17 o 63
1.09/1.17 c p 1.1s| 1215 | 986 | 4981 |1175k| 38 | - | 115 | 5 | 1 | 115 | 17 | 21 | 36 | 678 | 9.094947e-13 | 6.300000e+01 | Inf
1.29/1.34 o 60
1.29/1.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.29/1.34 c g 1.3s| 1424 | 1183 | 6209 |1265k| 38 | - | 115 | 5 | 1 | 115 | 17 | 21 | 63 | 698 | 9.094947e-13 | 6.000000e+01 | Inf
1.89/1.99 o 59
1.89/1.99 c g 1.9s| 2287 | 1988 | 10990 |1629k| 38 | - | 115 | 5 | 0 | 115 | 17 | 21 | 138 | 710 | 9.094947e-13 | 5.900000e+01 | Inf
1.99/2.02 o 57
1.99/2.02 c p 1.9s| 2332 | 2020 | 11169 |1643k| 38 | - | 115 | 5 | 0 | 115 | 17 | 21 | 141 | 715 | 9.094947e-13 | 5.700000e+01 | Inf
2.29/2.30 o 54
2.29/2.30 c p 2.2s| 2704 | 2353 | 13148 |1787k| 38 | - | 115 | 5 | 2 | 115 | 17 | 21 | 180 | 723 | 9.094947e-13 | 5.400000e+01 | Inf
2.29/2.32 o 46
2.29/2.32 c f 2.2s| 2728 | 2327 | 13236 |1770k| 38 | - | 115 | 5 | 2 | 115 | 17 | 21 | 180 | 723 | 9.094947e-13 | 4.600000e+01 | Inf
3.09/3.11 o 45
3.09/3.11 c l 3.0s| 3601 | 3092 | 18841 |2119k| 38 | - | 115 | 9 | 0 | 115 | 17 | 21 | 283 | 733 | 9.094947e-13 | 4.500000e+01 | Inf
3.29/3.33 o 43
3.29/3.33 c f 3.2s| 3816 | 3278 | 20312 |2210k| 38 | - | 115 | 11 | 0 | 115 | 17 | 21 | 314 | 736 | 9.094947e-13 | 4.300000e+01 | Inf
3.89/3.91 o 41
3.89/3.91 c * 3.7s| 4440 | 3768 | 24506 |2461k| 38 | - | 115 | 11 | 0 | 115 | 17 | 21 | 395 | 746 | 9.094947e-13 | 4.100000e+01 | Inf
4.19/4.28 o 28
4.19/4.28 c p 4.1s| 4828 | 3705 | 27049 |2377k| 38 | - | 115 | 11 | 4 | 115 | 17 | 21 | 450 | 761 | 9.094947e-13 | 2.800000e+01 | Inf
5.08/5.20 o 27
5.08/5.20 c * 5.0s| 5709 | 4319 | 33216 |2676k| 38 | - | 115 | 13 | 0 | 115 | 17 | 21 | 600 | 780 | 9.094947e-13 | 2.700000e+01 | Inf
5.89/5.95 o 26
5.89/5.95 c * 5.7s| 6549 | 4855 | 38491 |2954k| 38 | - | 115 | 15 | 0 | 115 | 17 | 21 | 738 | 789 | 9.094947e-13 | 2.600000e+01 | Inf
5.89/5.96 o 24
5.89/5.96 c * 5.7s| 6560 | 4787 | 38523 |2905k| 38 | - | 115 | 15 | 0 | 115 | 17 | 21 | 738 | 798 | 9.094947e-13 | 2.400000e+01 | Inf
6.79/6.87 o 21
6.79/6.87 c p 6.6s| 7621 | 5464 | 44889 |3246k| 38 | - | 115 | 16 | 2 | 115 | 17 | 21 | 927 | 818 | 9.094947e-13 | 2.100000e+01 | Inf
8.69/8.71 c 8.4s| 10000 | 7093 | 57771 |4107k| 38 | 5 | 115 | 21 | 13 | 115 | 17 | 21 |1276 | 890 | 9.094947e-13 | 2.100000e+01 | Inf
9.19/9.28 o 20
9.19/9.28 c * 8.9s| 10880 | 7514 | 61863 |4312k| 38 | - | 115 | 20 | 0 | 115 | 17 | 21 |1364 | 921 | 9.094947e-13 | 2.000000e+01 | Inf
11.58/11.64 o 17
11.58/11.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.58/11.64 c *11.2s| 14568 | 9148 | 78586 |5215k| 38 | - | 115 | 21 | 1 | 115 | 17 | 21 |1726 |1061 | 9.094947e-13 | 1.700000e+01 | Inf
14.29/14.32 o 14
14.29/14.32 c *13.8s| 19458 | 10303 | 99936 |5874k| 38 | - | 115 | 24 | 1 | 115 | 17 | 21 |2111 |1215 | 9.094947e-13 | 1.400000e+01 | Inf
14.59/14.60 c 14.0s| 20000 | 10496 |102296 |5996k| 38 | 5 | 115 | 24 | 7 | 115 | 17 | 21 |2191 |1241 | 9.094947e-13 | 1.400000e+01 | Inf
20.48/20.51 c 19.7s| 30000 | 13595 |145421 |7884k| 38 | 5 | 115 | 31 | 5 | 115 | 17 | 21 |2992 |1522 | 9.094947e-13 | 1.400000e+01 | Inf
22.38/22.42 o 13
22.38/22.42 c *21.5s| 33718 | 14758 |161949 |8577k| 38 | - | 115 | 42 | 0 | 115 | 17 | 21 |3385 |1622 | 9.094947e-13 | 1.300000e+01 | Inf
22.38/22.42 o 11
22.38/22.42 c *21.5s| 33719 | 14367 |161949 |8194k| 38 | - | 115 | 42 | 0 | 115 | 17 | 21 |3385 |1623 | 9.094947e-13 | 1.100000e+01 | Inf
23.09/23.16 o 10
23.09/23.16 c *22.2s| 35350 | 14424 |168389 |8169k| 38 | - | 115 | 38 | 5 | 115 | 17 | 21 |3524 |1659 | 9.094947e-13 | 1.000000e+01 | Inf
25.19/25.23 c 24.2s| 40000 | 15180 |187083 |8742k| 38 | 5 | 115 | 40 | 5 | 115 | 17 | 21 |3864 |1762 | 9.094947e-13 | 1.000000e+01 | Inf
29.49/29.58 c 28.4s| 50000 | 16234 |226984 |9572k| 38 | - | 115 | 26 | 5 | 0 | 0 | 21 |4367 |1976 | 9.094947e-13 | 1.000000e+01 | Inf
33.39/33.40 o 8
33.39/33.40 c *32.0s| 58685 | 15962 |262226 |9354k| 38 | - | 115 | 30 | 0 | 115 | 17 | 21 |4975 |2190 | 9.094947e-13 | 8.000000e+00 | Inf
33.89/33.97 c 32.6s| 60000 | 15911 |267773 |9341k| 38 | - | 115 | 32 | 6 | 0 | 0 | 21 |5060 |2235 | 9.094947e-13 | 8.000000e+00 | Inf
38.08/38.15 c 36.6s| 70000 | 15883 |309064 |9469k| 38 | 5 | 115 | 57 | 5 | 115 | 17 | 21 |5709 |2433 | 9.094947e-13 | 8.000000e+00 | Inf
42.18/42.27 c 40.6s| 80000 | 15913 |348421 |9658k| 38 | 5 | 115 | 75 | 5 | 115 | 17 | 21 |6397 |2607 | 9.094947e-13 | 8.000000e+00 | Inf
43.48/43.58 o 7
43.48/43.58 c g41.8s| 83201 | 15655 |360527 |9418k| 38 | - | 115 | 88 | 1 | 115 | 17 | 21 |6662 |2665 | 9.094947e-13 | 7.000000e+00 | Inf
46.28/46.36 c 44.5s| 90000 | 15637 |388198 |9453k| 38 | - | 115 | 91 | 7 | 115 | 17 | 21 |7003 |2754 | 9.094947e-13 | 7.000000e+00 | Inf
49.57/49.68 o 6
49.57/49.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.57/49.68 c *47.7s| 98124 | 15160 |419432 |9025k| 38 | - | 115 | 88 | 1 | 115 | 17 | 21 |7452 |2876 | 9.094947e-13 | 6.000000e+00 | Inf
49.57/49.69 o 4
49.57/49.69 c *47.7s| 98125 | 14103 |419432 |7837k| 38 | - | 115 | 88 | 1 | 115 | 17 | 21 |7452 |2876 | 9.094947e-13 | 4.000000e+00 | Inf
50.38/50.43 c 48.4s|100000 | 14145 |427015 |7846k| 38 | - | 115 | 83 | 5 | 115 | 17 | 21 |7550 |2893 | 9.094947e-13 | 4.000000e+00 | Inf
54.28/54.34 c 52.2s|110000 | 14003 |468488 |7778k| 38 | 5 | 115 | 95 | 8 | 115 | 17 | 21 |7938 |3016 | 9.094947e-13 | 4.000000e+00 | Inf
58.18/58.23 c 55.9s|120000 | 14330 |508831 |8046k| 38 | - | 115 | 91 | 5 | 115 | 17 | 21 |8290 |3149 | 9.094947e-13 | 4.000000e+00 | Inf
61.97/62.05 c 59.6s|130000 | 14154 |548067 |7950k| 38 | 5 | 115 | 96 | 5 | 115 | 17 | 21 |8725 |3277 | 9.094947e-13 | 4.000000e+00 | Inf
65.77/65.89 c 63.3s|140000 | 13886 |588792 |7733k| 38 | 5 | 115 | 80 | 10 | 115 | 17 | 21 |9120 |3385 | 9.094947e-13 | 4.000000e+00 | Inf
69.67/69.77 c 67.0s|150000 | 13742 |629048 |7663k| 38 | 5 | 115 | 73 | 5 | 115 | 17 | 21 |9483 |3520 | 9.094947e-13 | 4.000000e+00 | Inf
73.58/73.66 c 70.7s|160000 | 13587 |670590 |7596k| 38 | 5 | 115 | 84 | 39 | 115 | 17 | 21 |9887 |3624 | 9.094947e-13 | 4.000000e+00 | Inf
77.46/77.51 c 74.4s|170000 | 13525 |710769 |7567k| 38 | 5 | 115 | 76 | 5 | 115 | 17 | 21 | 10k|3753 | 9.094947e-13 | 4.000000e+00 | Inf
81.27/81.35 c 78.1s|180000 | 13721 |750618 |7719k| 38 | - | 115 | 86 | 5 | 115 | 17 | 21 | 10k|3856 | 9.094947e-13 | 4.000000e+00 | Inf
85.07/85.15 c 81.7s|190000 | 13300 |790349 |7454k| 38 | 5 | 115 | 62 | 5 | 115 | 17 | 21 | 11k|3965 | 9.094947e-13 | 4.000000e+00 | Inf
89.07/89.12 c 85.6s|200000 | 13635 |832703 |7645k| 38 | 5 | 115 | 41 | 5 | 115 | 17 | 21 | 11k|4058 | 9.094947e-13 | 4.000000e+00 | Inf
92.96/93.06 c 89.3s|210000 | 13854 |874109 |7888k| 38 | 5 | 115 | 47 | 5 | 115 | 17 | 21 | 11k|4151 | 9.094947e-13 | 4.000000e+00 | Inf
96.77/96.88 c 93.0s|220000 | 13740 |913913 |7868k| 38 | 5 | 115 | 54 | 5 | 115 | 17 | 21 | 12k|4232 | 9.094947e-13 | 4.000000e+00 | Inf
100.56/100.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.56/100.68 c 96.6s|230000 | 13391 |954147 |7663k| 38 | 5 | 115 | 54 | 5 | 115 | 17 | 21 | 12k|4311 | 9.094947e-13 | 4.000000e+00 | Inf
104.46/104.50 c 100s|240000 | 13348 |994253 |7641k| 38 | - | 115 | 51 | 5 | 115 | 17 | 21 | 12k|4393 | 9.094947e-13 | 4.000000e+00 | Inf
108.26/108.33 c 104s|250000 | 13274 | 1033k|7578k| 38 | 5 | 115 | 67 | 7 | 115 | 17 | 21 | 13k|4504 | 9.094947e-13 | 4.000000e+00 | Inf
112.06/112.20 c 108s|260000 | 13141 | 1076k|7367k| 38 | - | 115 | 39 | 6 | 115 | 17 | 21 | 13k|4595 | 9.094947e-13 | 4.000000e+00 | Inf
115.96/116.05 c 111s|270000 | 13074 | 1118k|7339k| 38 | - | 115 | 46 | 6 | 115 | 17 | 21 | 14k|4679 | 9.094947e-13 | 4.000000e+00 | Inf
119.76/119.88 c 115s|280000 | 12835 | 1159k|7207k| 38 | - | 115 | 45 | 7 | 115 | 17 | 21 | 14k|4777 | 9.094947e-13 | 4.000000e+00 | Inf
123.65/123.72 c 119s|290000 | 12865 | 1199k|7302k| 38 | - | 115 | 41 | 5 | 115 | 17 | 21 | 14k|4863 | 9.094947e-13 | 4.000000e+00 | Inf
127.46/127.60 c 122s|300000 | 12660 | 1241k|7118k| 38 | 5 | 115 | 24 | 5 | 115 | 17 | 21 | 15k|4979 | 9.094947e-13 | 4.000000e+00 | Inf
131.45/131.54 c 126s|310000 | 12782 | 1283k|7262k| 38 | 5 | 115 | 39 | 5 | 115 | 17 | 21 | 15k|5039 | 9.094947e-13 | 4.000000e+00 | Inf
135.35/135.49 c 130s|320000 | 12864 | 1325k|7303k| 38 | - | 115 | 47 | 6 | 115 | 17 | 21 | 16k|5108 | 9.094947e-13 | 4.000000e+00 | Inf
139.25/139.31 c 134s|330000 | 13259 | 1363k|7632k| 38 | - | 115 | 24 | 5 | 115 | 17 | 21 | 16k|5262 | 9.094947e-13 | 4.000000e+00 | Inf
142.95/143.01 c 137s|340000 | 13111 | 1400k|7615k| 38 | 5 | 115 | 17 | 5 | 115 | 17 | 21 | 16k|5299 | 9.094947e-13 | 4.000000e+00 | Inf
146.64/146.74 c 141s|350000 | 13117 | 1439k|7676k| 38 | 5 | 115 | 22 | 5 | 115 | 17 | 21 | 17k|5367 | 9.094947e-13 | 4.000000e+00 | Inf
150.35/150.48 c 144s|360000 | 12760 | 1477k|7393k| 38 | 5 | 115 | 21 | 5 | 115 | 17 | 21 | 17k|5446 | 9.094947e-13 | 4.000000e+00 | Inf
154.15/154.26 c 148s|370000 | 12643 | 1515k|7279k| 38 | 4 | 115 | 35 | 5 | 115 | 17 | 21 | 17k|5511 | 9.094947e-13 | 4.000000e+00 | Inf
157.94/158.07 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
157.94/158.07 c 152s|380000 | 12732 | 1555k|7311k| 38 | 5 | 115 | 26 | 7 | 115 | 17 | 21 | 18k|5586 | 9.094947e-13 | 4.000000e+00 | Inf
161.84/161.94 c 155s|390000 | 13257 | 1594k|7580k| 38 | 5 | 115 | 23 | 5 | 115 | 17 | 21 | 18k|5644 | 9.094947e-13 | 4.000000e+00 | Inf
165.54/165.66 c 159s|400000 | 13288 | 1631k|7738k| 38 | 5 | 115 | 25 | 5 | 115 | 17 | 21 | 19k|5702 | 9.094947e-13 | 4.000000e+00 | Inf
169.25/169.37 c 162s|410000 | 12901 | 1669k|7530k| 38 | - | 115 | 26 | 5 | 115 | 17 | 21 | 19k|5763 | 9.094947e-13 | 4.000000e+00 | Inf
173.14/173.22 c 166s|420000 | 12400 | 1708k|7002k| 38 | 5 | 115 | 20 | 5 | 115 | 17 | 21 | 19k|6022 | 9.094947e-13 | 4.000000e+00 | Inf
176.94/177.02 c 170s|430000 | 12491 | 1747k|7136k| 38 | - | 115 | 34 | 5 | 115 | 17 | 21 | 20k|6055 | 9.094947e-13 | 4.000000e+00 | Inf
180.64/180.79 c 173s|440000 | 12565 | 1786k|7233k| 38 | 5 | 115 | 33 | 6 | 115 | 17 | 21 | 20k|6085 | 9.094947e-13 | 4.000000e+00 | Inf
184.64/184.71 c 177s|450000 | 13532 | 1825k|7844k| 38 | - | 115 | 43 | 5 | 115 | 17 | 21 | 21k|6108 | 9.094947e-13 | 4.000000e+00 | Inf
188.33/188.48 c 181s|460000 | 13558 | 1863k|7984k| 38 | - | 115 | 43 | 5 | 115 | 17 | 21 | 21k|6184 | 9.094947e-13 | 4.000000e+00 | Inf
192.14/192.20 c 184s|470000 | 13466 | 1901k|8013k| 38 | - | 115 | 44 | 5 | 115 | 17 | 21 | 22k|6240 | 9.094947e-13 | 4.000000e+00 | Inf
195.84/195.90 c 188s|480000 | 13404 | 1937k|8015k| 38 | 5 | 115 | 54 | 5 | 115 | 17 | 21 | 22k|6285 | 9.094947e-13 | 4.000000e+00 | Inf
199.43/199.54 c 191s|490000 | 13387 | 1972k|8066k| 38 | 5 | 115 | 74 | 5 | 115 | 17 | 21 | 23k|6330 | 9.094947e-13 | 4.000000e+00 | Inf
203.13/203.27 c 195s|500000 | 13125 | 2010k|7875k| 38 | - | 115 | 67 | 6 | 115 | 17 | 21 | 23k|6394 | 9.094947e-13 | 4.000000e+00 | Inf
208.62/208.80 c 200s|510000 | 13786 | 2048k|8362k| 38 | - | 115 | 64 | 5 | 115 | 17 | 21 | 24k|6603 | 9.094947e-13 | 4.000000e+00 | Inf
212.43/212.59 c 204s|520000 | 13679 | 2087k|8378k| 38 | - | 115 | 47 | 5 | 115 | 17 | 21 | 24k|6619 | 9.094947e-13 | 4.000000e+00 | Inf
216.42/216.55 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
216.42/216.55 c 208s|530000 | 14351 | 2129k|8841k| 38 | 5 | 115 | 44 | 5 | 115 | 17 | 21 | 25k|6627 | 9.094947e-13 | 4.000000e+00 | Inf
220.52/220.63 c 212s|540000 | 15489 | 2171k|9559k| 38 | - | 115 | 55 | 5 | 115 | 17 | 21 | 25k|6646 | 9.094947e-13 | 4.000000e+00 | Inf
224.53/224.63 c 215s|550000 | 16284 | 2212k| 10M| 38 | 5 | 115 | 50 | 5 | 115 | 17 | 21 | 26k|6684 | 9.094947e-13 | 4.000000e+00 | Inf
228.53/228.68 c 219s|560000 | 17044 | 2255k| 10M| 38 | 5 | 115 | 49 | 6 | 115 | 17 | 21 | 26k|6737 | 9.094947e-13 | 4.000000e+00 | Inf
232.42/232.57 c 223s|570000 | 17122 | 2295k| 10M| 38 | 5 | 115 | 48 | 5 | 115 | 17 | 21 | 26k|6780 | 9.094947e-13 | 4.000000e+00 | Inf
236.32/236.44 c 227s|580000 | 17218 | 2335k| 11M| 38 | - | 115 | 37 | 19 | 0 | 0 | 21 | 27k|6827 | 9.094947e-13 | 4.000000e+00 | Inf
240.12/240.23 c 230s|590000 | 17366 | 2375k| 11M| 38 | 5 | 115 | 44 | 5 | 115 | 17 | 21 | 27k|6881 | 9.094947e-13 | 4.000000e+00 | Inf
243.92/244.00 c 234s|600000 | 17209 | 2415k| 11M| 38 | 5 | 115 | 56 | 6 | 115 | 17 | 21 | 28k|6940 | 9.094947e-13 | 4.000000e+00 | Inf
247.72/247.82 c 238s|610000 | 17250 | 2453k| 11M| 38 | - | 115 | 67 | 7 | 115 | 17 | 21 | 28k|6992 | 9.094947e-13 | 4.000000e+00 | Inf
251.51/251.65 c 241s|620000 | 17065 | 2493k| 11M| 38 | - | 115 | 73 | 5 | 115 | 17 | 21 | 28k|7040 | 9.094947e-13 | 4.000000e+00 | Inf
255.42/255.53 c 245s|630000 | 16982 | 2533k| 11M| 38 | 5 | 115 | 77 | 5 | 115 | 17 | 21 | 29k|7097 | 9.094947e-13 | 4.000000e+00 | Inf
259.21/259.30 c 249s|640000 | 17049 | 2571k| 11M| 38 | 5 | 115 | 80 | 7 | 115 | 17 | 21 | 29k|7150 | 9.094947e-13 | 4.000000e+00 | Inf
262.92/263.06 c 252s|650000 | 16781 | 2609k| 11M| 38 | 4 | 115 | 76 | 5 | 115 | 17 | 21 | 30k|7203 | 9.094947e-13 | 4.000000e+00 | Inf
266.81/266.97 c 256s|660000 | 17019 | 2650k| 11M| 38 | 5 | 115 | 59 | 5 | 115 | 17 | 21 | 30k|7264 | 9.094947e-13 | 4.000000e+00 | Inf
270.61/270.78 c 260s|670000 | 16884 | 2689k| 11M| 38 | 5 | 115 | 59 | 5 | 115 | 17 | 21 | 31k|7308 | 9.094947e-13 | 4.000000e+00 | Inf
274.51/274.62 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
274.51/274.62 c 263s|680000 | 16678 | 2729k| 11M| 38 | - | 115 | 68 | 6 | 115 | 17 | 21 | 31k|7355 | 9.094947e-13 | 4.000000e+00 | Inf
278.41/278.53 c 267s|690000 | 17263 | 2770k| 11M| 38 | 5 | 115 | 62 | 5 | 115 | 17 | 21 | 31k|7404 | 9.094947e-13 | 4.000000e+00 | Inf
282.10/282.21 c 270s|700000 | 17002 | 2807k| 11M| 38 | 5 | 115 | 62 | 5 | 115 | 17 | 21 | 32k|7439 | 9.094947e-13 | 4.000000e+00 | Inf
285.81/285.94 c 274s|710000 | 16937 | 2846k| 11M| 38 | - | 115 | 54 | 5 | 115 | 17 | 21 | 32k|7493 | 9.094947e-13 | 4.000000e+00 | Inf
289.51/289.69 c 278s|720000 | 16749 | 2884k| 11M| 38 | 5 | 115 | 52 | 5 | 115 | 17 | 21 | 32k|7543 | 9.094947e-13 | 4.000000e+00 | Inf
290.41/290.54 o 3
290.41/290.54 c * 278s|722276 | 16024 | 2893k| 10M| 38 | - | 115 | 47 | 0 | 115 | 17 | 21 | 32k|7553 | 9.094947e-13 | 3.000000e+00 | Inf
293.30/293.47 c 281s|730000 | 16160 | 2923k| 10M| 38 | - | 115 | 62 | 6 | 115 | 17 | 21 | 32k|7642 | 9.094947e-13 | 3.000000e+00 | Inf
297.11/297.20 c 285s|740000 | 15996 | 2961k| 10M| 38 | 5 | 115 | 59 | 5 | 115 | 17 | 21 | 33k|7753 | 9.094947e-13 | 3.000000e+00 | Inf
300.80/300.98 c 288s|750000 | 15805 | 3001k| 10M| 38 | 5 | 115 | 63 | 5 | 115 | 17 | 21 | 33k|7842 | 9.094947e-13 | 3.000000e+00 | Inf
304.61/304.77 c 292s|760000 | 15714 | 3041k| 10M| 38 | 5 | 115 | 66 | 5 | 115 | 17 | 21 | 33k|7916 | 9.094947e-13 | 3.000000e+00 | Inf
308.40/308.50 c 296s|770000 | 15502 | 3080k| 10M| 38 | - | 115 | 67 | 5 | 115 | 17 | 21 | 34k|7999 | 9.094947e-13 | 3.000000e+00 | Inf
312.20/312.32 c 299s|780000 | 15298 | 3120k| 10M| 38 | 5 | 115 | 71 | 5 | 115 | 17 | 21 | 34k|8087 | 9.094947e-13 | 3.000000e+00 | Inf
316.00/316.18 c 303s|790000 | 15298 | 3162k| 10M| 38 | - | 115 | 64 | 5 | 115 | 17 | 21 | 34k|8163 | 9.094947e-13 | 3.000000e+00 | Inf
319.69/319.88 c 306s|800000 | 15296 | 3200k| 10M| 38 | - | 115 | 66 | 5 | 115 | 17 | 21 | 35k|8237 | 9.094947e-13 | 3.000000e+00 | Inf
323.39/323.54 c 310s|810000 | 15121 | 3238k| 10M| 38 | - | 115 | 72 | 5 | 115 | 17 | 21 | 35k|8312 | 9.094947e-13 | 3.000000e+00 | Inf
327.19/327.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
327.19/327.34 c 314s|820000 | 15121 | 3277k| 10M| 38 | 5 | 115 | 69 | 7 | 115 | 17 | 21 | 35k|8412 | 9.094947e-13 | 3.000000e+00 | Inf
330.90/331.10 c 317s|830000 | 14989 | 3316k| 10M| 38 | - | 115 | 63 | 5 | 115 | 17 | 21 | 36k|8503 | 9.094947e-13 | 3.000000e+00 | Inf
334.69/334.88 c 321s|840000 | 15158 | 3355k| 10M| 38 | - | 115 | 60 | 5 | 115 | 17 | 21 | 36k|8593 | 9.094947e-13 | 3.000000e+00 | Inf
338.49/338.67 c 324s|850000 | 14772 | 3395k|9951k| 38 | 5 | 115 | 70 | 5 | 115 | 17 | 21 | 36k|8676 | 9.094947e-13 | 3.000000e+00 | Inf
342.29/342.46 c 328s|860000 | 14646 | 3435k|9819k| 38 | - | 115 | 63 | 5 | 115 | 17 | 21 | 36k|8777 | 9.094947e-13 | 3.000000e+00 | Inf
345.99/346.18 c 332s|870000 | 14300 | 3474k|9473k| 38 | 5 | 115 | 80 | 5 | 115 | 17 | 21 | 37k|8860 | 9.094947e-13 | 3.000000e+00 | Inf
347.49/347.67 o 1
347.49/347.67 c C 333s|870622 | 13453 | 3476k|8198k| 38 | 5 | 115 | 83 | 34 | 115 | 17 | 21 | 37k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
350.79/350.92 c 336s|880000 | 13989 | 3511k|8580k| 38 | - | 115 | 81 | 5 | 115 | 17 | 21 | 37k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
355.38/355.50 c 341s|890000 | 14588 | 3550k|9002k| 38 | - | 115 | 79 | 5 | 115 | 17 | 21 | 37k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
358.59/358.79 c 344s|900000 | 14245 | 3587k|8907k| 38 | - | 115 | 66 | 6 | 115 | 17 | 21 | 37k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
361.99/362.13 c 347s|910000 | 14831 | 3622k|9235k| 38 | - | 115 | 70 | 5 | 115 | 17 | 21 | 37k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
365.29/365.41 c 350s|920000 | 14909 | 3658k|9400k| 38 | 5 | 115 | 72 | 6 | 115 | 17 | 21 | 37k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
368.58/368.75 c 353s|930000 | 14884 | 3694k|9443k| 38 | 5 | 115 | 78 | 6 | 115 | 17 | 21 | 38k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
371.78/371.97 c 356s|940000 | 14629 | 3728k|9331k| 38 | - | 115 | 68 | 5 | 0 | 0 | 21 | 38k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
375.08/375.21 c 359s|950000 | 14341 | 3761k|9130k| 38 | - | 115 | 72 | 5 | 115 | 17 | 21 | 38k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
378.28/378.44 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
378.28/378.44 c 362s|960000 | 14257 | 3795k|9083k| 38 | - | 115 | 71 | 5 | 115 | 17 | 21 | 38k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
381.58/381.73 c 366s|970000 | 14047 | 3830k|8924k| 38 | 5 | 115 | 77 | 7 | 115 | 17 | 21 | 38k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
384.78/384.97 c 369s|980000 | 13871 | 3864k|8720k| 38 | - | 115 | 73 | 5 | 115 | 17 | 21 | 38k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
388.08/388.27 c 372s|990000 | 13460 | 3901k|8216k| 38 | 5 | 115 | 70 | 7 | 115 | 17 | 21 | 38k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
391.38/391.58 c 375s| 1000k| 13569 | 3936k|8313k| 38 | 5 | 115 | 67 | 5 | 115 | 17 | 21 | 38k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
394.68/394.90 c 378s| 1010k| 13592 | 3971k|8362k| 38 | 5 | 115 | 71 | 6 | 115 | 17 | 21 | 39k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
397.98/398.17 c 381s| 1020k| 13682 | 4005k|8391k| 38 | 5 | 115 | 72 | 5 | 115 | 17 | 21 | 39k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
401.28/401.44 c 384s| 1030k| 13415 | 4041k|8175k| 38 | 5 | 115 | 62 | 5 | 115 | 17 | 21 | 39k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
404.58/404.74 c 388s| 1040k| 13132 | 4078k|7894k| 38 | 5 | 115 | 65 | 7 | 115 | 17 | 21 | 39k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
407.87/408.08 c 391s| 1050k| 13507 | 4112k|8188k| 38 | - | 115 | 62 | 6 | 115 | 17 | 21 | 39k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
411.17/411.35 c 394s| 1060k| 13477 | 4147k|8226k| 38 | - | 115 | 68 | 6 | 0 | 0 | 21 | 39k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
414.47/414.60 c 397s| 1070k| 13350 | 4181k|8117k| 38 | 5 | 115 | 67 | 5 | 115 | 17 | 21 | 39k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
417.67/417.87 c 400s| 1080k| 13259 | 4215k|8026k| 38 | 5 | 115 | 65 | 5 | 115 | 17 | 21 | 39k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
420.96/421.13 c 403s| 1090k| 13206 | 4250k|7961k| 38 | 5 | 115 | 62 | 5 | 115 | 17 | 21 | 39k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
424.17/424.37 c 406s| 1100k| 13322 | 4284k|8001k| 38 | 5 | 115 | 79 | 5 | 115 | 17 | 21 | 40k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
427.47/427.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
427.47/427.63 c 409s| 1110k| 13040 | 4318k|7844k| 38 | - | 115 | 85 | 5 | 115 | 17 | 21 | 40k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
430.76/430.97 c 413s| 1120k| 13286 | 4353k|7962k| 38 | - | 115 | 95 | 5 | 115 | 17 | 21 | 40k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
434.07/434.20 c 416s| 1130k| 13403 | 4386k|8109k| 38 | - | 115 | 90 | 6 | 0 | 0 | 21 | 40k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
437.26/437.43 c 419s| 1140k| 13209 | 4420k|7986k| 38 | 5 | 115 | 92 | 5 | 115 | 17 | 21 | 40k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
440.46/440.67 c 422s| 1150k| 12954 | 4455k|7713k| 38 | 5 | 115 | 83 | 7 | 115 | 17 | 21 | 40k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
443.76/443.91 c 425s| 1160k| 12949 | 4490k|7728k| 38 | 5 | 115 | 97 | 7 | 115 | 17 | 21 | 40k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
446.96/447.16 c 428s| 1170k| 13099 | 4523k|7782k| 38 | - | 115 | 97 | 5 | 115 | 17 | 21 | 40k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
450.15/450.40 c 431s| 1180k| 12881 | 4557k|7665k| 38 | - | 115 | 97 | 5 | 115 | 17 | 21 | 40k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
453.55/453.70 c 434s| 1190k| 12988 | 4592k|7698k| 38 | - | 115 | 92 | 5 | 115 | 17 | 21 | 40k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
456.76/456.94 c 437s| 1200k| 13284 | 4625k|7963k| 38 | - | 115 | 98 | 5 | 115 | 17 | 21 | 41k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
459.95/460.17 c 440s| 1210k| 13156 | 4660k|7940k| 38 | - | 115 | 97 | 5 | 115 | 17 | 21 | 41k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
463.15/463.38 c 444s| 1220k| 12914 | 4695k|7744k| 38 | - | 115 | 94 | 5 | 115 | 17 | 21 | 41k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
466.46/466.62 c 447s| 1230k| 12801 | 4729k|7630k| 38 | 5 | 115 | 93 | 5 | 115 | 17 | 21 | 41k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
469.75/469.93 c 450s| 1240k| 13137 | 4762k|7701k| 38 | 5 | 115 | 77 | 5 | 115 | 17 | 21 | 41k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
472.95/473.18 c 453s| 1250k| 13411 | 4795k|7970k| 38 | - | 115 | 75 | 5 | 115 | 17 | 21 | 41k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
476.15/476.37 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
476.15/476.37 c 456s| 1260k| 13000 | 4828k|7768k| 38 | - | 115 | 73 | 5 | 115 | 17 | 21 | 41k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
479.35/479.59 c 459s| 1270k| 12815 | 4862k|7608k| 38 | 5 | 115 | 78 | 5 | 115 | 17 | 21 | 41k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
482.55/482.78 c 462s| 1280k| 12764 | 4896k|7520k| 38 | - | 115 | 73 | 5 | 115 | 17 | 21 | 42k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
485.75/485.98 c 465s| 1290k| 12753 | 4930k|7548k| 38 | 5 | 115 | 84 | 5 | 115 | 17 | 21 | 42k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
489.05/489.29 c 468s| 1300k| 12810 | 4965k|7558k| 38 | - | 115 | 77 | 5 | 115 | 17 | 21 | 42k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
492.34/492.60 c 471s| 1310k| 12875 | 5000k|7663k| 38 | - | 115 | 75 | 5 | 115 | 17 | 21 | 42k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
495.64/495.86 c 474s| 1320k| 12699 | 5035k|7534k| 38 | - | 115 | 75 | 5 | 115 | 17 | 21 | 42k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
498.94/499.11 c 478s| 1330k| 12777 | 5070k|7572k| 38 | 5 | 115 | 76 | 5 | 115 | 17 | 21 | 42k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
502.14/502.38 c 481s| 1340k| 12677 | 5105k|7481k| 38 | - | 115 | 77 | 5 | 115 | 17 | 21 | 42k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
505.34/505.59 c 484s| 1350k| 12675 | 5138k|7526k| 38 | 5 | 115 | 78 | 5 | 115 | 17 | 21 | 42k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
508.64/508.84 c 487s| 1360k| 12753 | 5172k|7545k| 38 | - | 115 | 85 | 6 | 115 | 17 | 21 | 42k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
511.84/512.06 c 490s| 1370k| 12611 | 5205k|7388k| 38 | 5 | 115 | 87 | 5 | 115 | 17 | 21 | 43k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
515.04/515.29 c 493s| 1380k| 12507 | 5238k|7291k| 38 | - | 115 | 91 | 5 | 115 | 17 | 21 | 43k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
518.24/518.49 c 496s| 1390k| 12408 | 5271k|7241k| 38 | - | 115 | 94 | 5 | 115 | 17 | 21 | 43k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
521.64/521.84 c 499s| 1400k| 13177 | 5307k|7739k| 38 | 5 | 115 | 116 | 5 | 115 | 17 | 21 | 43k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
524.84/525.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
524.84/525.02 c 502s| 1410k| 13308 | 5338k|7928k| 38 | 5 | 115 | 129 | 6 | 115 | 17 | 21 | 43k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
528.03/528.21 c 505s| 1420k| 13051 | 5370k|7835k| 38 | 5 | 115 | 106 | 5 | 115 | 17 | 21 | 43k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
531.23/531.42 c 508s| 1430k| 12625 | 5402k|7508k| 38 | 5 | 115 | 113 | 5 | 115 | 17 | 21 | 43k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
534.44/534.67 c 512s| 1440k| 12597 | 5435k|7344k| 38 | 5 | 115 | 101 | 5 | 115 | 17 | 21 | 44k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
537.53/537.79 c 514s| 1450k| 12373 | 5466k|7221k| 38 | - | 115 | 107 | 5 | 115 | 17 | 21 | 44k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
540.74/540.97 c 518s| 1460k| 12361 | 5498k|7196k| 38 | 5 | 115 | 121 | 5 | 115 | 17 | 21 | 44k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
544.03/544.26 c 521s| 1470k| 12343 | 5534k|7203k| 38 | 5 | 115 | 118 | 7 | 115 | 17 | 21 | 44k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
547.33/547.56 c 524s| 1480k| 12330 | 5570k|7150k| 38 | - | 115 | 124 | 5 | 115 | 17 | 21 | 44k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
550.62/550.89 c 527s| 1490k| 12636 | 5604k|7403k| 38 | - | 115 | 102 | 5 | 115 | 17 | 21 | 44k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
553.93/554.14 c 530s| 1500k| 12341 | 5638k|7191k| 38 | 5 | 115 | 91 | 5 | 115 | 17 | 21 | 44k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
557.23/557.41 c 533s| 1510k| 12310 | 5672k|7157k| 38 | 5 | 115 | 99 | 8 | 115 | 17 | 21 | 44k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
560.53/560.75 c 536s| 1520k| 12399 | 5708k|7169k| 38 | 5 | 115 | 112 | 6 | 115 | 17 | 21 | 45k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
563.82/564.02 c 540s| 1530k| 12229 | 5743k|7057k| 38 | 5 | 115 | 111 | 5 | 115 | 17 | 21 | 45k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
567.02/567.24 c 543s| 1540k| 12070 | 5776k|6942k| 38 | - | 115 | 102 | 9 | 115 | 17 | 21 | 45k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
570.42/570.63 c 546s| 1550k| 12840 | 5811k|7419k| 38 | - | 115 | 107 | 5 | 0 | 0 | 21 | 45k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
573.62/573.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.62/573.84 c 549s| 1560k| 13047 | 5843k|7654k| 38 | 5 | 115 | 99 | 6 | 115 | 17 | 21 | 45k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
576.82/577.09 c 552s| 1570k| 12935 | 5877k|7673k| 38 | - | 115 | 110 | 5 | 115 | 17 | 21 | 45k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
580.12/580.35 c 555s| 1580k| 12834 | 5912k|7652k| 38 | 5 | 115 | 110 | 5 | 115 | 17 | 21 | 45k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
583.42/583.60 c 558s| 1590k| 12848 | 5946k|7707k| 38 | 5 | 115 | 117 | 5 | 115 | 17 | 21 | 46k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
586.62/586.80 c 561s| 1600k| 12643 | 5978k|7559k| 38 | - | 115 | 105 | 5 | 115 | 17 | 21 | 46k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
589.82/590.05 c 564s| 1610k| 12371 | 6011k|7325k| 38 | 5 | 115 | 105 | 6 | 115 | 17 | 21 | 46k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
593.12/593.33 c 568s| 1620k| 12313 | 6045k|7164k| 38 | - | 115 | 99 | 5 | 115 | 17 | 21 | 46k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
596.41/596.65 c 571s| 1630k| 12518 | 6079k|7341k| 38 | - | 115 | 110 | 5 | 115 | 17 | 21 | 46k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
599.71/599.93 c 574s| 1640k| 12514 | 6115k|7390k| 38 | - | 115 | 101 | 11 | 115 | 17 | 21 | 46k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
602.92/603.11 c 577s| 1650k| 12025 | 6148k|6915k| 38 | - | 115 | 98 | 5 | 115 | 17 | 21 | 46k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
606.22/606.41 c 580s| 1660k| 12112 | 6182k|7006k| 38 | 5 | 115 | 104 | 5 | 115 | 17 | 21 | 46k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
609.51/609.71 c 583s| 1670k| 12293 | 6215k|7063k| 38 | - | 115 | 97 | 10 | 115 | 17 | 21 | 47k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
612.71/612.99 c 586s| 1680k| 12449 | 6249k|7243k| 38 | - | 115 | 98 | 5 | 115 | 17 | 21 | 47k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
616.01/616.24 c 589s| 1690k| 12486 | 6282k|7322k| 38 | - | 115 | 102 | 5 | 115 | 17 | 21 | 47k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
619.20/619.43 c 592s| 1700k| 12081 | 6315k|7015k| 38 | 5 | 115 | 89 | 7 | 115 | 17 | 21 | 47k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
622.61/622.80 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
622.61/622.80 c 596s| 1710k| 12483 | 6350k|7171k| 38 | - | 115 | 116 | 5 | 115 | 17 | 21 | 47k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
625.80/626.01 c 599s| 1720k| 12222 | 6382k|7114k| 38 | - | 115 | 130 | 5 | 115 | 17 | 21 | 47k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
629.11/629.30 c 602s| 1730k| 12287 | 6416k|7175k| 38 | 5 | 115 | 132 | 6 | 115 | 17 | 21 | 47k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
632.31/632.56 c 605s| 1740k| 12258 | 6448k|7222k| 38 | - | 115 | 129 | 5 | 115 | 17 | 21 | 48k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
635.51/635.80 c 608s| 1750k| 12017 | 6481k|6888k| 38 | - | 115 | 106 | 5 | 115 | 17 | 21 | 48k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
639.00/639.20 c 611s| 1760k| 12475 | 6517k|7143k| 38 | 5 | 115 | 96 | 6 | 115 | 17 | 21 | 48k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
642.30/642.53 c 614s| 1770k| 12588 | 6553k|7337k| 38 | 5 | 115 | 87 | 5 | 115 | 17 | 21 | 48k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
645.50/645.78 c 618s| 1780k| 12647 | 6586k|7438k| 38 | 5 | 115 | 94 | 5 | 115 | 17 | 21 | 48k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
648.80/649.03 c 621s| 1790k| 12365 | 6620k|7287k| 38 | 5 | 115 | 95 | 5 | 115 | 17 | 21 | 48k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
652.10/652.32 c 624s| 1800k| 12568 | 6653k|7481k| 38 | 5 | 115 | 86 | 7 | 115 | 17 | 21 | 48k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
655.30/655.52 c 627s| 1810k| 12517 | 6685k|7481k| 38 | - | 115 | 81 | 10 | 115 | 17 | 21 | 49k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
658.49/658.77 c 630s| 1820k| 12529 | 6718k|7481k| 38 | - | 115 | 72 | 5 | 115 | 17 | 21 | 49k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
661.70/661.97 c 633s| 1830k| 12434 | 6751k|7400k| 38 | 5 | 115 | 88 | 7 | 115 | 17 | 21 | 49k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
665.10/665.37 c 636s| 1840k| 12630 | 6789k|7518k| 38 | 5 | 115 | 89 | 5 | 115 | 17 | 21 | 49k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
668.50/668.71 c 639s| 1850k| 12329 | 6825k|7317k| 38 | 5 | 115 | 86 | 5 | 115 | 17 | 21 | 49k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
671.70/671.95 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
671.70/671.95 c 643s| 1860k| 12197 | 6858k|7185k| 38 | - | 115 | 92 | 5 | 115 | 17 | 21 | 49k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
674.99/675.22 c 646s| 1870k| 12418 | 6890k|7233k| 38 | - | 115 | 91 | 6 | 115 | 17 | 21 | 49k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
678.19/678.46 c 649s| 1880k| 12731 | 6921k|7536k| 38 | - | 115 | 93 | 5 | 0 | 0 | 21 | 49k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
681.28/681.59 c 652s| 1890k| 12487 | 6951k|7446k| 38 | 5 | 115 | 102 | 9 | 115 | 17 | 21 | 50k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
684.49/684.75 c 655s| 1900k| 12248 | 6983k|7263k| 38 | 5 | 115 | 97 | 5 | 115 | 17 | 21 | 50k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
687.68/687.91 c 658s| 1910k| 12202 | 7014k|7237k| 38 | - | 115 | 100 | 5 | 115 | 17 | 21 | 50k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
690.89/691.18 c 661s| 1920k| 12351 | 7047k|7236k| 38 | 5 | 115 | 84 | 5 | 115 | 17 | 21 | 50k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
694.19/694.40 c 664s| 1930k| 12108 | 7079k|7029k| 38 | 5 | 115 | 86 | 5 | 115 | 17 | 21 | 50k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
697.39/697.67 c 667s| 1940k| 12234 | 7112k|7136k| 38 | - | 115 | 81 | 13 | 0 | 0 | 21 | 50k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
700.59/700.89 c 670s| 1950k| 12303 | 7144k|7239k| 38 | - | 115 | 86 | 5 | 115 | 17 | 21 | 50k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
703.78/704.06 c 673s| 1960k| 11986 | 7176k|6950k| 38 | 5 | 115 | 84 | 5 | 115 | 17 | 21 | 51k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
706.98/707.25 c 676s| 1970k| 12150 | 7208k|7047k| 38 | 5 | 115 | 86 | 5 | 115 | 17 | 21 | 51k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
710.18/710.47 c 679s| 1980k| 12158 | 7240k|7085k| 38 | - | 115 | 82 | 5 | 115 | 17 | 21 | 51k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
713.48/713.77 c 682s| 1990k| 12414 | 7273k|7244k| 38 | 5 | 115 | 79 | 7 | 115 | 17 | 21 | 51k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
716.78/717.01 c 686s| 2000k| 12567 | 7307k|7406k| 38 | 5 | 115 | 82 | 5 | 115 | 17 | 21 | 51k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
719.98/720.24 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
719.98/720.24 c 689s| 2010k| 12834 | 7339k|7575k| 38 | - | 115 | 69 | 7 | 115 | 17 | 21 | 51k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
724.28/724.59 c 693s| 2020k| 13099 | 7371k|7816k| 38 | - | 115 | 64 | 5 | 115 | 17 | 21 | 51k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
727.68/727.94 c 696s| 2030k| 13611 | 7405k|8199k| 38 | - | 115 | 68 | 5 | 0 | 0 | 21 | 51k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
730.97/731.24 c 699s| 2040k| 13312 | 7440k|8104k| 38 | - | 115 | 79 | 5 | 115 | 17 | 21 | 52k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
734.27/734.56 c 702s| 2050k| 13081 | 7475k|7982k| 38 | 5 | 115 | 67 | 5 | 115 | 17 | 21 | 52k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
737.57/737.84 c 705s| 2060k| 13094 | 7508k|8022k| 38 | 5 | 115 | 66 | 5 | 115 | 17 | 21 | 52k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
740.87/741.13 c 709s| 2070k| 13349 | 7541k|8249k| 38 | - | 115 | 78 | 6 | 115 | 17 | 21 | 52k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
744.07/744.33 c 712s| 2080k| 13026 | 7574k|8024k| 38 | - | 115 | 86 | 5 | 115 | 17 | 21 | 52k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
747.27/747.56 c 715s| 2090k| 12961 | 7606k|7932k| 38 | 5 | 115 | 67 | 6 | 115 | 17 | 21 | 52k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
750.47/750.79 c 718s| 2100k| 12777 | 7639k|7816k| 38 | - | 115 | 66 | 5 | 115 | 17 | 21 | 52k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
753.77/754.01 c 721s| 2110k| 12201 | 7672k|7192k| 38 | - | 115 | 57 | 5 | 115 | 17 | 21 | 52k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
756.97/757.28 c 724s| 2120k| 12109 | 7706k|7033k| 38 | - | 115 | 64 | 5 | 115 | 17 | 21 | 53k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
760.37/760.61 c 727s| 2130k| 12864 | 7739k|7545k| 38 | 5 | 115 | 64 | 5 | 115 | 17 | 21 | 53k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
763.47/763.76 c 730s| 2140k| 12536 | 7771k|7441k| 38 | 5 | 115 | 64 | 5 | 115 | 17 | 21 | 53k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
766.67/766.94 c 733s| 2150k| 12237 | 7803k|7193k| 38 | - | 115 | 64 | 5 | 115 | 17 | 21 | 53k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
769.97/770.26 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
769.97/770.26 c 736s| 2160k| 12237 | 7837k|7183k| 38 | 5 | 115 | 61 | 6 | 115 | 17 | 21 | 53k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
773.27/773.56 c 739s| 2170k| 12373 | 7872k|7239k| 38 | 5 | 115 | 62 | 5 | 115 | 17 | 21 | 53k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
776.56/776.83 c 743s| 2180k| 12123 | 7905k|7087k| 38 | - | 115 | 79 | 5 | 115 | 17 | 21 | 53k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
779.76/780.06 c 746s| 2190k| 12185 | 7939k|7125k| 38 | - | 115 | 76 | 5 | 115 | 17 | 21 | 54k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
782.96/783.23 c 749s| 2200k| 12011 | 7970k|6957k| 38 | 5 | 115 | 80 | 5 | 115 | 17 | 21 | 54k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
786.26/786.50 c 752s| 2210k| 12173 | 8003k|7100k| 38 | 5 | 115 | 94 | 5 | 115 | 17 | 21 | 54k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
789.66/789.92 c 755s| 2220k| 13149 | 8038k|7661k| 38 | 5 | 115 | 100 | 5 | 115 | 17 | 21 | 54k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
792.86/793.17 c 758s| 2230k| 13194 | 8071k|7808k| 38 | 5 | 115 | 101 | 5 | 115 | 17 | 21 | 54k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
796.06/796.33 c 761s| 2240k| 12873 | 8102k|7705k| 38 | - | 115 | 93 | 6 | 0 | 0 | 21 | 54k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
799.26/799.51 c 764s| 2250k| 12512 | 8134k|7479k| 38 | - | 115 | 97 | 5 | 115 | 17 | 21 | 54k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
802.35/802.66 c 767s| 2260k| 12070 | 8167k|7108k| 38 | 5 | 115 | 103 | 5 | 115 | 17 | 21 | 54k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
805.75/806.00 c 770s| 2270k| 12663 | 8201k|7337k| 38 | 5 | 115 | 100 | 6 | 115 | 17 | 21 | 54k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
808.95/809.25 c 774s| 2280k| 12856 | 8233k|7555k| 38 | - | 115 | 103 | 5 | 115 | 17 | 21 | 55k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
812.25/812.59 c 777s| 2290k| 13461 | 8266k|7986k| 38 | - | 115 | 105 | 5 | 115 | 17 | 21 | 55k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
815.55/815.81 c 780s| 2300k| 13633 | 8297k|8191k| 38 | 5 | 115 | 99 | 5 | 115 | 17 | 21 | 55k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
818.75/819.00 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
818.75/819.00 c 783s| 2310k| 13730 | 8328k|8328k| 38 | - | 115 | 102 | 5 | 0 | 0 | 21 | 55k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
821.85/822.18 c 786s| 2320k| 13689 | 8359k|8394k| 38 | 5 | 115 | 113 | 5 | 115 | 17 | 21 | 55k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
825.05/825.36 c 789s| 2330k| 13518 | 8390k|8342k| 38 | 5 | 115 | 107 | 5 | 115 | 17 | 21 | 55k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
828.25/828.53 c 792s| 2340k| 13312 | 8421k|8228k| 38 | - | 115 | 101 | 5 | 115 | 17 | 21 | 55k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
831.44/831.71 c 795s| 2350k| 12869 | 8452k|7892k| 38 | 5 | 115 | 94 | 5 | 115 | 17 | 21 | 55k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
834.65/834.92 c 798s| 2360k| 12621 | 8483k|7690k| 38 | - | 115 | 98 | 5 | 115 | 17 | 21 | 56k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
837.85/838.11 c 801s| 2370k| 12096 | 8515k|7145k| 38 | 5 | 115 | 97 | 5 | 115 | 17 | 21 | 56k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
841.04/841.34 c 804s| 2380k| 12049 | 8547k|7049k| 38 | - | 115 | 104 | 8 | 115 | 17 | 21 | 56k|8871 | 9.094947e-13 | 1.000000e+00 | Inf
844.24/844.58 c 807s| 2390k| 12014 | 8580k|6887k| 38 | - | 115 | 104 | 6 | 115 | 17 | 21 | 56k|8872 | 9.094947e-13 | 1.000000e+00 | Inf
847.54/847.81 c 810s| 2400k| 12219 | 8610k|7116k| 38 | 5 | 115 | 105 | 5 | 115 | 17 | 21 | 56k|8872 | 9.094947e-13 | 1.000000e+00 | Inf
850.84/851.15 c 813s| 2410k| 12049 | 8645k|6994k| 38 | - | 115 | 104 | 5 | 115 | 17 | 21 | 56k|8876 | 9.094947e-13 | 1.000000e+00 | Inf
854.14/854.49 c 817s| 2420k| 11812 | 8682k|6762k| 38 | - | 115 | 98 | 5 | 115 | 17 | 21 | 56k|8898 | 9.094947e-13 | 1.000000e+00 | Inf
857.44/857.78 c 820s| 2430k| 11677 | 8716k|6630k| 38 | 5 | 115 | 80 | 5 | 115 | 17 | 21 | 56k|9015 | 9.094947e-13 | 1.000000e+00 | Inf
860.73/861.03 c 823s| 2440k| 12153 | 8749k|6938k| 38 | - | 115 | 87 | 5 | 115 | 17 | 21 | 57k|9015 | 9.094947e-13 | 1.000000e+00 | Inf
863.94/864.21 c 826s| 2450k| 12137 | 8781k|7040k| 38 | - | 115 | 99 | 5 | 115 | 17 | 21 | 57k|9015 | 9.094947e-13 | 1.000000e+00 | Inf
867.14/867.40 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
867.14/867.40 c 829s| 2460k| 11662 | 8814k|6630k| 38 | - | 115 | 83 | 5 | 115 | 17 | 21 | 57k|9016 | 9.094947e-13 | 1.000000e+00 | Inf
870.33/870.69 c 832s| 2470k| 11749 | 8849k|6688k| 38 | 5 | 115 | 78 | 7 | 115 | 17 | 21 | 57k|9016 | 9.094947e-13 | 1.000000e+00 | Inf
873.84/874.10 c 835s| 2480k| 11766 | 8887k|6729k| 38 | - | 115 | 69 | 7 | 115 | 17 | 21 | 57k|9021 | 9.094947e-13 | 1.000000e+00 | Inf
877.13/877.48 c 839s| 2490k| 11621 | 8925k|6593k| 38 | - | 115 | 63 | 5 | 0 | 0 | 21 | 57k|9022 | 9.094947e-13 | 1.000000e+00 | Inf
880.43/880.76 c 842s| 2500k| 11750 | 8958k|6656k| 38 | 5 | 115 | 52 | 5 | 115 | 17 | 21 | 57k|9097 | 9.094947e-13 | 1.000000e+00 | Inf
883.63/883.97 c 845s| 2510k| 11647 | 8991k|6600k| 38 | 5 | 115 | 57 | 7 | 115 | 17 | 21 | 58k|9143 | 9.094947e-13 | 1.000000e+00 | Inf
886.93/887.29 c 848s| 2520k| 11854 | 9024k|6719k| 38 | - | 115 | 43 | 5 | 115 | 17 | 21 | 58k|9255 | 9.094947e-13 | 1.000000e+00 | Inf
890.23/890.50 c 851s| 2530k| 11690 | 9056k|6658k| 38 | - | 115 | 37 | 5 | 115 | 17 | 21 | 58k|9255 | 9.094947e-13 | 1.000000e+00 | Inf
893.43/893.79 c 854s| 2540k| 11873 | 9089k|6803k| 38 | 5 | 115 | 41 | 5 | 115 | 17 | 21 | 58k|9255 | 9.094947e-13 | 1.000000e+00 | Inf
896.72/897.02 c 857s| 2550k| 11644 | 9121k|6637k| 38 | - | 115 | 35 | 5 | 0 | 0 | 21 | 58k|9255 | 9.094947e-13 | 1.000000e+00 | Inf
899.93/900.22 c 860s| 2560k| 11779 | 9153k|6757k| 38 | - | 115 | 38 | 5 | 115 | 17 | 21 | 58k|9255 | 9.094947e-13 | 1.000000e+00 | Inf
903.12/903.49 c 863s| 2570k| 11693 | 9187k|6667k| 38 | - | 115 | 47 | 5 | 115 | 17 | 21 | 58k|9255 | 9.094947e-13 | 1.000000e+00 | Inf
906.52/906.80 c 867s| 2580k| 11789 | 9223k|6750k| 38 | 5 | 115 | 51 | 6 | 115 | 17 | 21 | 59k|9255 | 9.094947e-13 | 1.000000e+00 | Inf
909.73/910.08 c 870s| 2590k| 11821 | 9257k|6786k| 38 | - | 115 | 70 | 5 | 115 | 17 | 21 | 59k|9255 | 9.094947e-13 | 1.000000e+00 | Inf
913.13/913.45 c 873s| 2600k| 11668 | 9295k|6671k| 38 | 5 | 115 | 50 | 5 | 115 | 17 | 21 | 59k|9259 | 9.094947e-13 | 1.000000e+00 | Inf
916.52/916.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
916.52/916.81 c 876s| 2610k| 11592 | 9331k|6590k| 38 | 5 | 115 | 54 | 7 | 115 | 17 | 21 | 59k|9263 | 9.094947e-13 | 1.000000e+00 | Inf
919.82/920.13 c 879s| 2620k| 11761 | 9366k|6754k| 38 | 5 | 115 | 46 | 5 | 115 | 17 | 21 | 59k|9263 | 9.094947e-13 | 1.000000e+00 | Inf
923.02/923.30 c 882s| 2630k| 11462 | 9398k|6492k| 38 | 5 | 115 | 44 | 5 | 115 | 17 | 21 | 59k|9265 | 9.094947e-13 | 1.000000e+00 | Inf
926.32/926.66 c 886s| 2640k| 11948 | 9433k|6812k| 38 | 5 | 115 | 41 | 8 | 115 | 17 | 21 | 59k|9267 | 9.094947e-13 | 1.000000e+00 | Inf
929.62/929.92 c 889s| 2650k| 11900 | 9465k|6869k| 38 | - | 115 | 40 | 5 | 115 | 17 | 21 | 60k|9267 | 9.094947e-13 | 1.000000e+00 | Inf
932.91/933.20 c 892s| 2660k| 11937 | 9498k|6934k| 38 | 5 | 115 | 44 | 5 | 115 | 17 | 21 | 60k|9267 | 9.094947e-13 | 1.000000e+00 | Inf
936.21/936.51 c 895s| 2670k| 12338 | 9532k|7154k| 38 | - | 115 | 48 | 10 | 0 | 0 | 21 | 60k|9267 | 9.094947e-13 | 1.000000e+00 | Inf
939.52/939.81 c 898s| 2680k| 12498 | 9567k|7368k| 38 | 5 | 115 | 33 | 5 | 115 | 17 | 21 | 60k|9269 | 9.094947e-13 | 1.000000e+00 | Inf
942.71/943.06 c 901s| 2690k| 12414 | 9600k|7394k| 38 | - | 115 | 47 | 8 | 115 | 17 | 21 | 60k|9269 | 9.094947e-13 | 1.000000e+00 | Inf
946.02/946.39 c 904s| 2700k| 12616 | 9637k|7566k| 38 | - | 115 | 46 | 6 | 115 | 17 | 21 | 60k|9269 | 9.094947e-13 | 1.000000e+00 | Inf
949.31/949.68 c 908s| 2710k| 12561 | 9671k|7584k| 38 | 5 | 115 | 47 | 8 | 115 | 17 | 21 | 61k|9269 | 9.094947e-13 | 1.000000e+00 | Inf
952.51/952.88 c 911s| 2720k| 12393 | 9703k|7470k| 38 | - | 115 | 39 | 6 | 115 | 17 | 21 | 61k|9269 | 9.094947e-13 | 1.000000e+00 | Inf
955.71/956.09 c 914s| 2730k| 12234 | 9735k|7359k| 38 | - | 115 | 37 | 5 | 115 | 17 | 21 | 61k|9269 | 9.094947e-13 | 1.000000e+00 | Inf
959.01/959.37 c 917s| 2740k| 12189 | 9770k|7333k| 38 | 5 | 115 | 35 | 5 | 115 | 17 | 21 | 61k|9288 | 9.094947e-13 | 1.000000e+00 | Inf
962.21/962.57 c 920s| 2750k| 11887 | 9804k|7008k| 38 | - | 115 | 25 | 5 | 115 | 17 | 21 | 61k|9288 | 9.094947e-13 | 1.000000e+00 | Inf
965.41/965.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
965.41/965.77 c 923s| 2760k| 11979 | 9837k|7023k| 38 | - | 115 | 35 | 5 | 115 | 17 | 21 | 61k|9288 | 9.094947e-13 | 1.000000e+00 | Inf
968.61/968.98 c 926s| 2770k| 11631 | 9870k|6739k| 38 | 5 | 115 | 28 | 6 | 115 | 17 | 21 | 61k|9288 | 9.094947e-13 | 1.000000e+00 | Inf
971.90/972.20 c 929s| 2780k| 11575 | 9903k|6665k| 38 | 5 | 115 | 25 | 6 | 115 | 17 | 21 | 61k|9288 | 9.094947e-13 | 1.000000e+00 | Inf
975.10/975.46 c 932s| 2790k| 11500 | 9937k|6605k| 38 | - | 115 | 18 | 5 | 115 | 17 | 21 | 61k|9288 | 9.094947e-13 | 1.000000e+00 | Inf
978.40/978.70 c 935s| 2800k| 11623 | 9970k|6644k| 38 | - | 115 | 27 | 6 | 115 | 17 | 21 | 62k|9288 | 9.094947e-13 | 1.000000e+00 | Inf
982.70/983.00 c 939s| 2810k| 11853 | 10002k|6837k| 38 | 5 | 115 | 40 | 5 | 115 | 17 | 21 | 62k|9288 | 9.094947e-13 | 1.000000e+00 | Inf
986.00/986.30 c 942s| 2820k| 12390 | 10036k|7222k| 38 | 5 | 115 | 52 | 10 | 115 | 17 | 21 | 62k|9288 | 9.094947e-13 | 1.000000e+00 | Inf
989.19/989.59 c 946s| 2830k| 12608 | 10068k|7436k| 38 | - | 115 | 43 | 6 | 115 | 17 | 21 | 62k|9289 | 9.094947e-13 | 1.000000e+00 | Inf
992.50/992.83 c 949s| 2840k| 12502 | 10100k|7439k| 38 | 5 | 115 | 50 | 5 | 115 | 17 | 21 | 62k|9289 | 9.094947e-13 | 1.000000e+00 | Inf
995.80/996.13 c 952s| 2850k| 12458 | 10134k|7452k| 38 | 5 | 115 | 45 | 5 | 115 | 17 | 21 | 62k|9289 | 9.094947e-13 | 1.000000e+00 | Inf
998.99/999.37 c 955s| 2860k| 12614 | 10166k|7594k| 38 | - | 115 | 57 | 5 | 115 | 17 | 21 | 62k|9289 | 9.094947e-13 | 1.000000e+00 | Inf
1002.19/1002.54 c 958s| 2870k| 12429 | 10197k|7497k| 38 | - | 115 | 50 | 6 | 115 | 17 | 21 | 63k|9289 | 9.094947e-13 | 1.000000e+00 | Inf
1005.39/1005.77 c 961s| 2880k| 12544 | 10229k|7603k| 38 | 5 | 115 | 54 | 5 | 115 | 17 | 21 | 63k|9289 | 9.094947e-13 | 1.000000e+00 | Inf
1008.59/1008.97 c 964s| 2890k| 12351 | 10261k|7492k| 38 | 5 | 115 | 64 | 6 | 115 | 17 | 21 | 63k|9289 | 9.094947e-13 | 1.000000e+00 | Inf
1011.89/1012.25 c 967s| 2900k| 12295 | 10294k|7422k| 38 | - | 115 | 42 | 5 | 115 | 17 | 21 | 63k|9298 | 9.094947e-13 | 1.000000e+00 | Inf
1015.19/1015.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1015.19/1015.52 c 970s| 2910k| 12416 | 10326k|7578k| 38 | 5 | 115 | 45 | 7 | 115 | 17 | 21 | 63k|9308 | 9.094947e-13 | 1.000000e+00 | Inf
1018.49/1018.82 c 973s| 2920k| 12352 | 10361k|7532k| 38 | - | 115 | 49 | 5 | 115 | 17 | 21 | 64k|9326 | 9.094947e-13 | 1.000000e+00 | Inf
1021.69/1022.04 c 976s| 2930k| 12325 | 10394k|7476k| 38 | 5 | 115 | 71 | 11 | 115 | 17 | 21 | 64k|9326 | 9.094947e-13 | 1.000000e+00 | Inf
1024.99/1025.31 c 980s| 2940k| 12393 | 10427k|7538k| 38 | 5 | 115 | 82 | 5 | 115 | 17 | 21 | 64k|9326 | 9.094947e-13 | 1.000000e+00 | Inf
1028.19/1028.56 c 983s| 2950k| 12054 | 10460k|7306k| 38 | - | 115 | 87 | 7 | 0 | 0 | 21 | 64k|9326 | 9.094947e-13 | 1.000000e+00 | Inf
1031.49/1031.81 c 986s| 2960k| 12262 | 10493k|7466k| 38 | - | 115 | 91 | 5 | 115 | 17 | 21 | 64k|9326 | 9.094947e-13 | 1.000000e+00 | Inf
1034.69/1035.06 c 989s| 2970k| 11910 | 10526k|7105k| 38 | - | 115 | 63 | 5 | 115 | 17 | 21 | 64k|9327 | 9.094947e-13 | 1.000000e+00 | Inf
1037.98/1038.35 c 992s| 2980k| 12136 | 10561k|7278k| 38 | - | 115 | 61 | 5 | 115 | 17 | 21 | 65k|9331 | 9.094947e-13 | 1.000000e+00 | Inf
1041.29/1041.61 c 995s| 2990k| 12429 | 10594k|7418k| 38 | - | 115 | 67 | 10 | 115 | 17 | 21 | 65k|9331 | 9.094947e-13 | 1.000000e+00 | Inf
1044.38/1044.72 c 998s| 3000k| 12192 | 10624k|7367k| 38 | 5 | 115 | 64 | 5 | 115 | 17 | 21 | 65k|9331 | 9.094947e-13 | 1.000000e+00 | Inf
1047.58/1047.91 c 1001s| 3010k| 11900 | 10656k|7123k| 38 | - | 115 | 78 | 5 | 115 | 17 | 21 | 65k|9331 | 9.094947e-13 | 1.000000e+00 | Inf
1050.78/1051.19 c 1004s| 3020k| 11871 | 10690k|7072k| 38 | - | 115 | 81 | 5 | 115 | 17 | 21 | 65k|9331 | 9.094947e-13 | 1.000000e+00 | Inf
1054.08/1054.43 c 1007s| 3030k| 11938 | 10723k|7153k| 38 | 5 | 115 | 119 | 12 | 115 | 17 | 21 | 66k|9331 | 9.094947e-13 | 1.000000e+00 | Inf
1057.28/1057.66 c 1011s| 3040k| 11877 | 10756k|7085k| 38 | 5 | 115 | 90 | 7 | 115 | 17 | 21 | 66k|9331 | 9.094947e-13 | 1.000000e+00 | Inf
1060.48/1060.88 c 1014s| 3050k| 11892 | 10788k|7072k| 38 | - | 115 | 103 | 6 | 0 | 0 | 21 | 66k|9331 | 9.094947e-13 | 1.000000e+00 | Inf
1063.68/1064.06 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1063.68/1064.06 c 1017s| 3060k| 11763 | 10820k|6964k| 38 | 5 | 115 | 90 | 5 | 115 | 17 | 21 | 66k|9331 | 9.094947e-13 | 1.000000e+00 | Inf
1066.98/1067.36 c 1020s| 3070k| 12252 | 10852k|7300k| 38 | 5 | 115 | 110 | 14 | 115 | 17 | 21 | 66k|9331 | 9.094947e-13 | 1.000000e+00 | Inf
1070.17/1070.58 c 1023s| 3080k| 11870 | 10884k|7065k| 38 | 5 | 115 | 82 | 5 | 115 | 17 | 21 | 67k|9331 | 9.094947e-13 | 1.000000e+00 | Inf
1073.47/1073.86 c 1026s| 3090k| 11997 | 10917k|7115k| 38 | - | 115 | 47 | 5 | 0 | 0 | 21 | 67k|9335 | 9.094947e-13 | 1.000000e+00 | Inf
1076.68/1077.04 c 1029s| 3100k| 11835 | 10949k|7011k| 38 | 5 | 115 | 68 | 5 | 115 | 17 | 21 | 67k|9335 | 9.094947e-13 | 1.000000e+00 | Inf
1079.88/1080.20 c 1032s| 3110k| 11954 | 10980k|7150k| 38 | 5 | 115 | 89 | 5 | 115 | 17 | 21 | 67k|9335 | 9.094947e-13 | 1.000000e+00 | Inf
1083.07/1083.45 c 1035s| 3120k| 12054 | 11012k|7194k| 38 | 5 | 115 | 71 | 7 | 115 | 17 | 21 | 67k|9335 | 9.094947e-13 | 1.000000e+00 | Inf
1086.27/1086.68 c 1038s| 3130k| 11943 | 11046k|7128k| 38 | - | 115 | 64 | 6 | 0 | 0 | 21 | 67k|9338 | 9.094947e-13 | 1.000000e+00 | Inf
1089.57/1089.98 c 1041s| 3140k| 12068 | 11080k|7228k| 38 | - | 115 | 76 | 14 | 0 | 0 | 21 | 68k|9341 | 9.094947e-13 | 1.000000e+00 | Inf
1092.87/1093.21 c 1044s| 3150k| 11959 | 11111k|7131k| 38 | - | 115 | 75 | 5 | 115 | 17 | 21 | 68k|9354 | 9.094947e-13 | 1.000000e+00 | Inf
1096.07/1096.48 c 1048s| 3160k| 12030 | 11144k|7149k| 38 | - | 115 | 59 | 5 | 115 | 17 | 21 | 68k|9357 | 9.094947e-13 | 1.000000e+00 | Inf
1099.37/1099.71 c 1051s| 3170k| 12410 | 11176k|7473k| 38 | - | 115 | 60 | 5 | 115 | 17 | 21 | 68k|9358 | 9.094947e-13 | 1.000000e+00 | Inf
1102.57/1102.93 c 1054s| 3180k| 12043 | 11209k|7199k| 38 | 5 | 115 | 63 | 6 | 115 | 17 | 21 | 68k|9358 | 9.094947e-13 | 1.000000e+00 | Inf
1105.76/1106.17 c 1057s| 3190k| 11952 | 11241k|7117k| 38 | 5 | 115 | 77 | 6 | 115 | 17 | 21 | 69k|9358 | 9.094947e-13 | 1.000000e+00 | Inf
1108.96/1109.39 c 1060s| 3200k| 12157 | 11271k|7238k| 38 | - | 115 | 85 | 5 | 115 | 17 | 21 | 69k|9359 | 9.094947e-13 | 1.000000e+00 | Inf
1112.16/1112.57 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1112.16/1112.57 c 1063s| 3210k| 12301 | 11301k|7399k| 38 | 5 | 115 | 89 | 5 | 115 | 17 | 21 | 69k|9359 | 9.094947e-13 | 1.000000e+00 | Inf
1115.36/1115.75 c 1066s| 3220k| 12260 | 11332k|7394k| 38 | - | 115 | 75 | 5 | 115 | 17 | 21 | 69k|9368 | 9.094947e-13 | 1.000000e+00 | Inf
1118.47/1118.86 c 1069s| 3230k| 12093 | 11362k|7243k| 38 | - | 115 | 74 | 5 | 115 | 17 | 21 | 69k|9373 | 9.094947e-13 | 1.000000e+00 | Inf
1121.76/1122.16 c 1072s| 3240k| 12373 | 11396k|7379k| 38 | - | 115 | 77 | 5 | 115 | 17 | 21 | 70k|9381 | 9.094947e-13 | 1.000000e+00 | Inf
1125.06/1125.41 c 1075s| 3250k| 12668 | 11431k|7657k| 38 | - | 115 | 77 | 5 | 0 | 0 | 21 | 70k|9381 | 9.094947e-13 | 1.000000e+00 | Inf
1128.26/1128.61 c 1078s| 3260k| 12504 | 11464k|7606k| 38 | - | 115 | 86 | 5 | 115 | 17 | 21 | 70k|9381 | 9.094947e-13 | 1.000000e+00 | Inf
1131.46/1131.86 c 1081s| 3270k| 12767 | 11496k|7780k| 38 | - | 115 | 86 | 5 | 115 | 17 | 21 | 70k|9381 | 9.094947e-13 | 1.000000e+00 | Inf
1134.76/1135.13 c 1084s| 3280k| 12445 | 11530k|7578k| 38 | - | 115 | 73 | 5 | 115 | 17 | 21 | 70k|9381 | 9.094947e-13 | 1.000000e+00 | Inf
1137.96/1138.34 c 1088s| 3290k| 12503 | 11560k|7671k| 38 | 5 | 115 | 78 | 6 | 115 | 17 | 21 | 71k|9381 | 9.094947e-13 | 1.000000e+00 | Inf
1141.15/1141.52 c 1091s| 3300k| 12629 | 11591k|7658k| 38 | - | 115 | 90 | 5 | 115 | 17 | 21 | 71k|9383 | 9.094947e-13 | 1.000000e+00 | Inf
1144.45/1144.83 c 1094s| 3310k| 13373 | 11625k|8152k| 38 | 5 | 115 | 117 | 5 | 115 | 17 | 21 | 71k|9383 | 9.094947e-13 | 1.000000e+00 | Inf
1147.66/1148.05 c 1097s| 3320k| 13253 | 11657k|8181k| 38 | - | 115 | 131 | 5 | 115 | 17 | 21 | 71k|9383 | 9.094947e-13 | 1.000000e+00 | Inf
1150.95/1151.35 c 1100s| 3330k| 13616 | 11689k|8477k| 38 | 5 | 115 | 161 | 10 | 115 | 17 | 21 | 72k|9383 | 9.094947e-13 | 1.000000e+00 | Inf
1154.15/1154.55 c 1103s| 3340k| 12929 | 11722k|8051k| 38 | - | 115 | 131 | 4 | 0 | 0 | 21 | 72k|9383 | 9.094947e-13 | 1.000000e+00 | Inf
1157.45/1157.82 c 1106s| 3350k| 13279 | 11754k|8279k| 38 | 5 | 115 | 135 | 5 | 115 | 17 | 21 | 72k|9383 | 9.094947e-13 | 1.000000e+00 | Inf
1160.55/1160.99 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1160.55/1160.99 c 1109s| 3360k| 12915 | 11784k|8036k| 38 | 5 | 115 | 139 | 13 | 115 | 17 | 21 | 72k|9383 | 9.094947e-13 | 1.000000e+00 | Inf
1163.75/1164.17 c 1112s| 3370k| 12877 | 11814k|7990k| 38 | - | 115 | 133 | 5 | 115 | 17 | 21 | 72k|9390 | 9.094947e-13 | 1.000000e+00 | Inf
1166.94/1167.35 c 1115s| 3380k| 12811 | 11845k|7948k| 38 | 5 | 115 | 113 | 9 | 115 | 17 | 21 | 73k|9390 | 9.094947e-13 | 1.000000e+00 | Inf
1170.25/1170.64 c 1118s| 3390k| 12906 | 11877k|7989k| 38 | 5 | 115 | 109 | 8 | 115 | 17 | 21 | 73k|9394 | 9.094947e-13 | 1.000000e+00 | Inf
1173.44/1173.85 c 1121s| 3400k| 12894 | 11908k|8035k| 38 | - | 115 | 108 | 5 | 115 | 17 | 21 | 73k|9394 | 9.094947e-13 | 1.000000e+00 | Inf
1176.74/1177.10 c 1124s| 3410k| 13129 | 11939k|8185k| 38 | 5 | 115 | 114 | 5 | 115 | 17 | 21 | 73k|9394 | 9.094947e-13 | 1.000000e+00 | Inf
1179.84/1180.30 c 1128s| 3420k| 12791 | 11971k|7963k| 38 | 5 | 115 | 117 | 9 | 115 | 17 | 21 | 73k|9394 | 9.094947e-13 | 1.000000e+00 | Inf
1183.15/1183.53 c 1131s| 3430k| 12781 | 12003k|7944k| 38 | - | 115 | 137 | 16 | 0 | 0 | 21 | 74k|9403 | 9.094947e-13 | 1.000000e+00 | Inf
1186.34/1186.74 c 1134s| 3440k| 12802 | 12035k|7977k| 38 | 5 | 115 | 161 | 6 | 115 | 17 | 21 | 74k|9403 | 9.094947e-13 | 1.000000e+00 | Inf
1189.44/1189.87 c 1137s| 3450k| 12784 | 12065k|7949k| 38 | - | 115 | 161 | 8 | 115 | 17 | 21 | 74k|9403 | 9.094947e-13 | 1.000000e+00 | Inf
1192.74/1193.15 c 1140s| 3460k| 13173 | 12097k|8234k| 38 | 5 | 115 | 164 | 8 | 115 | 17 | 21 | 74k|9403 | 9.094947e-13 | 1.000000e+00 | Inf
1196.03/1196.45 c 1143s| 3470k| 13074 | 12131k|8236k| 38 | 5 | 115 | 165 | 5 | 115 | 17 | 21 | 75k|9403 | 9.094947e-13 | 1.000000e+00 | Inf
1199.33/1199.70 c 1146s| 3480k| 13065 | 12164k|8215k| 38 | - | 115 | 134 | 5 | 115 | 17 | 21 | 75k|9403 | 9.094947e-13 | 1.000000e+00 | Inf
1202.53/1202.96 c 1149s| 3490k| 12659 | 12194k|7798k| 38 | 5 | 115 | 71 | 6 | 115 | 17 | 21 | 75k|9593 | 9.094947e-13 | 1.000000e+00 | Inf
1205.63/1206.10 c 1152s| 3500k| 12594 | 12225k|7737k| 38 | 5 | 115 | 75 | 7 | 115 | 17 | 21 | 75k|9600 | 9.094947e-13 | 1.000000e+00 | Inf
1208.94/1209.30 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1208.94/1209.30 c 1155s| 3510k| 12358 | 12257k|7578k| 38 | 5 | 115 | 72 | 5 | 115 | 17 | 21 | 75k|9600 | 9.094947e-13 | 1.000000e+00 | Inf
1212.13/1212.54 c 1158s| 3520k| 12244 | 12290k|7478k| 38 | - | 115 | 69 | 5 | 115 | 17 | 21 | 76k|9600 | 9.094947e-13 | 1.000000e+00 | Inf
1215.43/1215.80 c 1161s| 3530k| 12208 | 12322k|7449k| 38 | 5 | 115 | 113 | 8 | 115 | 17 | 21 | 76k|9600 | 9.094947e-13 | 1.000000e+00 | Inf
1218.63/1219.02 c 1164s| 3540k| 11995 | 12354k|7273k| 38 | 5 | 115 | 100 | 6 | 115 | 17 | 21 | 76k|9600 | 9.094947e-13 | 1.000000e+00 | Inf
1221.83/1222.24 c 1168s| 3550k| 12251 | 12385k|7457k| 38 | 5 | 115 | 101 | 5 | 115 | 17 | 21 | 76k|9600 | 9.094947e-13 | 1.000000e+00 | Inf
1225.03/1225.40 c 1171s| 3560k| 12250 | 12416k|7518k| 38 | - | 115 | 107 | 5 | 115 | 17 | 21 | 76k|9600 | 9.094947e-13 | 1.000000e+00 | Inf
1228.23/1228.62 c 1174s| 3570k| 12292 | 12446k|7492k| 38 | - | 115 | 101 | 5 | 115 | 17 | 21 | 77k|9600 | 9.094947e-13 | 1.000000e+00 | Inf
1231.32/1231.74 c 1177s| 3580k| 12060 | 12476k|7377k| 38 | - | 115 | 90 | 5 | 115 | 17 | 21 | 77k|9600 | 9.094947e-13 | 1.000000e+00 | Inf
1234.53/1234.99 c 1180s| 3590k| 11693 | 12509k|6957k| 38 | 5 | 115 | 73 | 5 | 115 | 17 | 21 | 77k|9604 | 9.094947e-13 | 1.000000e+00 | Inf
1237.83/1238.26 c 1183s| 3600k| 11751 | 12542k|6998k| 38 | 5 | 115 | 82 | 5 | 115 | 17 | 21 | 77k|9604 | 9.094947e-13 | 1.000000e+00 | Inf
1241.02/1241.41 c 1186s| 3610k| 11911 | 12573k|7137k| 38 | - | 115 | 85 | 5 | 115 | 17 | 21 | 77k|9604 | 9.094947e-13 | 1.000000e+00 | Inf
1244.13/1244.56 c 1189s| 3620k| 11648 | 12603k|6938k| 38 | 5 | 115 | 98 | 5 | 115 | 17 | 21 | 77k|9604 | 9.094947e-13 | 1.000000e+00 | Inf
1247.43/1247.81 c 1192s| 3630k| 11392 | 12636k|6669k| 38 | - | 115 | 91 | 5 | 0 | 0 | 21 | 78k|9604 | 9.094947e-13 | 1.000000e+00 | Inf
1250.62/1251.07 c 1195s| 3640k| 11362 | 12669k|6625k| 38 | - | 115 | 93 | 5 | 115 | 17 | 21 | 78k|9604 | 9.094947e-13 | 1.000000e+00 | Inf
1253.82/1254.26 c 1198s| 3650k| 11392 | 12701k|6660k| 38 | - | 115 | 88 | 6 | 115 | 17 | 21 | 78k|9604 | 9.094947e-13 | 1.000000e+00 | Inf
1257.02/1257.45 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1257.02/1257.45 c 1201s| 3660k| 11333 | 12733k|6569k| 38 | - | 115 | 76 | 5 | 115 | 17 | 21 | 78k|9617 | 9.094947e-13 | 1.000000e+00 | Inf
1260.32/1260.71 c 1204s| 3670k| 11706 | 12766k|6822k| 38 | 5 | 115 | 81 | 5 | 115 | 17 | 21 | 78k|9646 | 9.094947e-13 | 1.000000e+00 | Inf
1263.43/1263.90 c 1207s| 3680k| 11354 | 12799k|6613k| 38 | 5 | 115 | 77 | 5 | 115 | 17 | 21 | 78k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1268.12/1268.58 c 1212s| 3690k| 12629 | 12833k|7126k| 38 | 5 | 115 | 95 | 6 | 115 | 17 | 21 | 79k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1271.72/1272.12 c 1215s| 3700k| 14315 | 12868k|8043k| 38 | - | 115 | 98 | 5 | 115 | 17 | 21 | 79k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1275.11/1275.52 c 1218s| 3710k| 15411 | 12901k|8722k| 38 | 5 | 115 | 101 | 5 | 115 | 17 | 21 | 79k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1278.62/1279.03 c 1222s| 3720k| 16895 | 12934k|9519k| 38 | - | 115 | 92 | 5 | 115 | 17 | 21 | 79k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1281.92/1282.32 c 1225s| 3730k| 17687 | 12966k| 10M| 38 | 5 | 115 | 88 | 5 | 115 | 17 | 21 | 80k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1285.21/1285.63 c 1228s| 3740k| 18305 | 12998k| 10M| 38 | - | 115 | 93 | 5 | 115 | 17 | 21 | 80k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1288.51/1288.99 c 1231s| 3750k| 18776 | 13032k| 10M| 38 | 5 | 115 | 91 | 6 | 115 | 17 | 21 | 80k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1291.81/1292.26 c 1234s| 3760k| 19132 | 13064k| 11M| 38 | 5 | 115 | 98 | 8 | 115 | 17 | 21 | 80k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1295.10/1295.53 c 1237s| 3770k| 19377 | 13094k| 11M| 38 | - | 115 | 101 | 5 | 115 | 17 | 21 | 81k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1298.41/1298.82 c 1241s| 3780k| 19653 | 13127k| 11M| 38 | - | 115 | 101 | 5 | 115 | 17 | 21 | 81k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1301.61/1302.05 c 1244s| 3790k| 19590 | 13159k| 11M| 38 | - | 115 | 118 | 5 | 115 | 17 | 21 | 81k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1304.81/1305.28 c 1247s| 3800k| 19796 | 13189k| 12M| 38 | 5 | 115 | 119 | 7 | 115 | 17 | 21 | 81k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1308.10/1308.50 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1308.10/1308.50 c 1250s| 3810k| 19404 | 13221k| 12M| 38 | 5 | 115 | 115 | 6 | 115 | 17 | 21 | 81k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1311.41/1311.80 c 1253s| 3820k| 19237 | 13253k| 12M| 38 | - | 115 | 129 | 5 | 115 | 17 | 21 | 82k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1314.60/1315.06 c 1256s| 3830k| 19268 | 13285k| 12M| 38 | - | 115 | 124 | 5 | 115 | 17 | 21 | 82k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1317.80/1318.25 c 1259s| 3840k| 19076 | 13315k| 12M| 38 | 5 | 115 | 137 | 5 | 115 | 17 | 21 | 82k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1320.90/1321.38 c 1262s| 3850k| 18729 | 13343k| 12M| 38 | 5 | 115 | 142 | 5 | 115 | 17 | 21 | 82k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1324.10/1324.52 c 1265s| 3860k| 18362 | 13373k| 12M| 38 | - | 115 | 136 | 6 | 115 | 17 | 21 | 83k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1327.40/1327.80 c 1268s| 3870k| 18357 | 13405k| 12M| 38 | 5 | 115 | 168 | 5 | 115 | 17 | 21 | 83k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1330.70/1331.13 c 1271s| 3880k| 18430 | 13437k| 12M| 38 | 5 | 115 | 165 | 5 | 115 | 17 | 21 | 83k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1334.00/1334.49 c 1274s| 3890k| 18338 | 13471k| 12M| 38 | - | 115 | 185 | 5 | 115 | 17 | 21 | 83k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1337.29/1337.72 c 1278s| 3900k| 17957 | 13502k| 12M| 38 | - | 115 | 160 | 6 | 0 | 0 | 21 | 84k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1340.50/1340.91 c 1281s| 3910k| 17578 | 13532k| 11M| 38 | 5 | 115 | 152 | 5 | 115 | 17 | 21 | 84k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1343.59/1344.08 c 1284s| 3920k| 17283 | 13563k| 11M| 38 | 5 | 115 | 161 | 5 | 115 | 17 | 21 | 84k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1346.79/1347.23 c 1287s| 3930k| 17113 | 13593k| 11M| 38 | 5 | 115 | 164 | 5 | 115 | 17 | 21 | 84k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1349.99/1350.45 c 1290s| 3940k| 17282 | 13622k| 11M| 38 | 5 | 115 | 163 | 5 | 115 | 17 | 21 | 84k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1353.09/1353.56 c 1293s| 3950k| 17244 | 13650k| 11M| 38 | - | 115 | 161 | 4 | 0 | 0 | 21 | 85k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1356.30/1356.75 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1356.30/1356.75 c 1296s| 3960k| 17332 | 13680k| 11M| 38 | 5 | 115 | 158 | 5 | 115 | 17 | 21 | 85k|9647 | 9.094947e-13 | 1.000000e+00 | Inf
1359.39/1359.89 c 1299s| 3970k| 17179 | 13710k| 11M| 38 | - | 115 | 163 | 7 | 115 | 17 | 21 | 85k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1362.59/1363.03 c 1302s| 3980k| 17173 | 13740k| 11M| 38 | 5 | 115 | 161 | 5 | 115 | 17 | 21 | 85k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1365.89/1366.40 c 1305s| 3990k| 17453 | 13773k| 11M| 38 | 5 | 115 | 176 | 7 | 115 | 17 | 21 | 85k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1369.49/1369.94 c 1308s| 4000k| 18421 | 13810k| 12M| 38 | - | 115 | 175 | 4 | 0 | 0 | 21 | 86k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1372.78/1373.29 c 1311s| 4010k| 18890 | 13842k| 12M| 38 | 5 | 115 | 166 | 5 | 115 | 17 | 21 | 86k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1376.08/1376.56 c 1315s| 4020k| 19096 | 13873k| 13M| 38 | - | 115 | 164 | 6 | 115 | 17 | 21 | 86k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1379.28/1379.78 c 1318s| 4030k| 19302 | 13905k| 13M| 38 | - | 115 | 177 | 5 | 115 | 17 | 21 | 86k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1382.68/1383.17 c 1321s| 4040k| 19912 | 13938k| 13M| 38 | 5 | 115 | 184 | 7 | 115 | 17 | 21 | 86k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1385.88/1386.34 c 1324s| 4050k| 19949 | 13968k| 13M| 38 | 5 | 115 | 169 | 6 | 115 | 17 | 21 | 87k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1389.08/1389.56 c 1327s| 4060k| 19713 | 13998k| 13M| 38 | - | 115 | 161 | 5 | 115 | 17 | 21 | 87k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1392.28/1392.76 c 1330s| 4070k| 19331 | 14028k| 13M| 38 | 5 | 115 | 160 | 5 | 115 | 17 | 21 | 87k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1395.49/1395.98 c 1333s| 4080k| 19086 | 14058k| 13M| 38 | - | 115 | 164 | 5 | 115 | 17 | 21 | 87k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1398.68/1399.14 c 1336s| 4090k| 19173 | 14088k| 13M| 38 | - | 115 | 156 | 5 | 115 | 17 | 21 | 87k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1401.78/1402.29 c 1339s| 4100k| 19002 | 14119k| 13M| 38 | - | 115 | 168 | 8 | 115 | 17 | 21 | 87k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1405.17/1405.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1405.17/1405.68 c 1342s| 4110k| 19125 | 14155k| 13M| 38 | - | 115 | 173 | 6 | 115 | 17 | 21 | 88k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1408.48/1408.98 c 1345s| 4120k| 18977 | 14188k| 13M| 38 | 5 | 115 | 184 | 8 | 115 | 17 | 21 | 88k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1411.88/1412.34 c 1349s| 4130k| 19081 | 14222k| 13M| 38 | 5 | 115 | 194 | 5 | 115 | 17 | 21 | 88k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1415.07/1415.58 c 1352s| 4140k| 18739 | 14254k| 13M| 38 | - | 115 | 169 | 5 | 115 | 17 | 21 | 88k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1418.27/1418.78 c 1355s| 4150k| 18548 | 14285k| 13M| 38 | 5 | 115 | 184 | 5 | 115 | 17 | 21 | 88k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1421.47/1421.96 c 1358s| 4160k| 18260 | 14316k| 12M| 38 | 5 | 115 | 171 | 5 | 115 | 17 | 21 | 88k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1424.67/1425.15 c 1361s| 4170k| 18052 | 14347k| 12M| 38 | 5 | 115 | 160 | 6 | 115 | 17 | 21 | 89k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1427.87/1428.38 c 1364s| 4180k| 17827 | 14378k| 12M| 38 | - | 115 | 114 | 5 | 115 | 17 | 21 | 89k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1431.17/1431.60 c 1367s| 4190k| 17612 | 14410k| 12M| 38 | 5 | 115 | 101 | 5 | 115 | 17 | 21 | 89k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1434.37/1434.80 c 1370s| 4200k| 17366 | 14441k| 12M| 38 | 5 | 115 | 101 | 6 | 115 | 17 | 21 | 89k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1437.57/1438.00 c 1373s| 4210k| 17382 | 14471k| 12M| 38 | 5 | 115 | 101 | 5 | 115 | 17 | 21 | 89k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1440.67/1441.12 c 1376s| 4220k| 17134 | 14500k| 12M| 38 | 5 | 115 | 121 | 5 | 115 | 17 | 21 | 89k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1443.87/1444.35 c 1379s| 4230k| 16950 | 14532k| 12M| 38 | 5 | 115 | 116 | 5 | 115 | 17 | 21 | 90k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1447.06/1447.53 c 1382s| 4240k| 16694 | 14562k| 11M| 38 | 5 | 115 | 110 | 5 | 115 | 17 | 21 | 90k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1450.27/1450.74 c 1385s| 4250k| 16437 | 14593k| 11M| 38 | 5 | 115 | 95 | 6 | 115 | 17 | 21 | 90k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1453.46/1453.97 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1453.46/1453.97 c 1388s| 4260k| 16838 | 14622k| 11M| 38 | 5 | 115 | 111 | 6 | 115 | 17 | 21 | 90k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1456.66/1457.15 c 1391s| 4270k| 16837 | 14652k| 11M| 38 | - | 115 | 109 | 6 | 115 | 17 | 21 | 90k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1459.76/1460.27 c 1394s| 4280k| 16250 | 14681k| 11M| 38 | 5 | 115 | 110 | 5 | 115 | 17 | 21 | 91k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1463.05/1463.54 c 1397s| 4290k| 16600 | 14713k| 11M| 38 | 5 | 115 | 113 | 5 | 115 | 17 | 21 | 91k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1466.36/1466.85 c 1400s| 4300k| 17229 | 14745k| 12M| 38 | - | 115 | 114 | 5 | 115 | 17 | 21 | 91k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1469.66/1470.14 c 1404s| 4310k| 17162 | 14779k| 12M| 38 | 5 | 115 | 108 | 5 | 115 | 17 | 21 | 91k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1473.15/1473.63 c 1407s| 4320k| 17941 | 14816k| 12M| 38 | - | 115 | 115 | 7 | 115 | 17 | 21 | 92k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1476.45/1476.92 c 1410s| 4330k| 18499 | 14847k| 13M| 38 | 5 | 115 | 114 | 5 | 115 | 17 | 21 | 92k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1479.65/1480.11 c 1413s| 4340k| 18505 | 14877k| 13M| 38 | 5 | 115 | 116 | 7 | 115 | 17 | 21 | 92k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1482.86/1483.32 c 1416s| 4350k| 18553 | 14907k| 13M| 38 | 5 | 115 | 127 | 6 | 115 | 17 | 21 | 92k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1485.95/1486.48 c 1419s| 4360k| 18616 | 14937k| 13M| 38 | - | 115 | 110 | 4 | 0 | 0 | 21 | 92k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1489.15/1489.64 c 1422s| 4370k| 18390 | 14967k| 13M| 38 | - | 115 | 114 | 5 | 115 | 17 | 21 | 93k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1492.35/1492.84 c 1425s| 4380k| 18707 | 14997k| 13M| 38 | - | 115 | 126 | 21 | 0 | 0 | 21 | 93k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1495.55/1496.05 c 1428s| 4390k| 18724 | 15027k| 13M| 38 | 5 | 115 | 131 | 6 | 115 | 17 | 21 | 93k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1498.65/1499.19 c 1431s| 4400k| 18512 | 15056k| 13M| 38 | - | 115 | 107 | 5 | 115 | 17 | 21 | 93k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1501.84/1502.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1501.84/1502.31 c 1434s| 4410k| 18304 | 15086k| 13M| 38 | - | 115 | 120 | 5 | 0 | 0 | 21 | 93k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1504.95/1505.43 c 1437s| 4420k| 18383 | 15115k| 13M| 38 | - | 115 | 121 | 5 | 115 | 17 | 21 | 94k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1508.05/1508.59 c 1440s| 4430k| 18365 | 15143k| 13M| 38 | 5 | 115 | 131 | 6 | 115 | 17 | 21 | 94k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1511.44/1511.92 c 1443s| 4440k| 19065 | 15175k| 13M| 38 | - | 115 | 126 | 5 | 115 | 17 | 21 | 94k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1514.74/1515.25 c 1447s| 4450k| 19614 | 15208k| 14M| 38 | - | 115 | 123 | 5 | 115 | 17 | 21 | 94k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1518.15/1518.67 c 1450s| 4460k| 20493 | 15241k| 14M| 38 | 5 | 115 | 112 | 6 | 115 | 17 | 21 | 95k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1521.54/1522.06 c 1453s| 4470k| 21549 | 15275k| 15M| 38 | 5 | 115 | 115 | 5 | 115 | 17 | 21 | 95k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1524.84/1525.33 c 1456s| 4480k| 21651 | 15307k| 15M| 38 | 5 | 115 | 105 | 5 | 115 | 17 | 21 | 95k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1528.04/1528.54 c 1459s| 4490k| 21171 | 15339k| 15M| 38 | - | 115 | 105 | 11 | 0 | 0 | 21 | 95k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1531.24/1531.79 c 1462s| 4500k| 21053 | 15372k| 15M| 38 | - | 115 | 103 | 6 | 115 | 17 | 21 | 95k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1534.64/1535.11 c 1466s| 4510k| 20883 | 15406k| 15M| 38 | 5 | 115 | 106 | 5 | 115 | 17 | 21 | 96k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1537.83/1538.30 c 1469s| 4520k| 20537 | 15437k| 15M| 38 | - | 115 | 97 | 5 | 115 | 17 | 21 | 96k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1540.94/1541.49 c 1472s| 4530k| 20377 | 15469k| 15M| 38 | 5 | 115 | 102 | 5 | 115 | 17 | 21 | 96k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1544.24/1544.71 c 1475s| 4540k| 19980 | 15502k| 15M| 38 | 5 | 115 | 107 | 5 | 115 | 17 | 21 | 96k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1547.43/1547.95 c 1478s| 4550k| 19664 | 15535k| 14M| 38 | - | 115 | 106 | 5 | 115 | 17 | 21 | 96k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1550.63/1551.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1550.63/1551.16 c 1481s| 4560k| 19227 | 15567k| 14M| 38 | - | 115 | 114 | 5 | 115 | 17 | 21 | 96k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1553.84/1554.37 c 1484s| 4570k| 18711 | 15600k| 14M| 38 | - | 115 | 96 | 5 | 0 | 0 | 21 | 96k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1557.13/1557.60 c 1487s| 4580k| 18198 | 15632k| 13M| 38 | - | 115 | 120 | 5 | 0 | 0 | 21 | 97k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1560.23/1560.77 c 1490s| 4590k| 17843 | 15664k| 13M| 38 | 5 | 115 | 103 | 5 | 115 | 17 | 21 | 97k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1563.43/1563.94 c 1493s| 4600k| 17376 | 15695k| 12M| 38 | - | 115 | 108 | 5 | 115 | 17 | 21 | 97k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1566.73/1567.26 c 1496s| 4610k| 17712 | 15729k| 13M| 38 | - | 115 | 111 | 5 | 115 | 17 | 21 | 97k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1570.12/1570.60 c 1499s| 4620k| 17569 | 15763k| 13M| 38 | 5 | 115 | 104 | 6 | 115 | 17 | 21 | 97k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1573.43/1573.91 c 1502s| 4630k| 17735 | 15797k| 13M| 38 | 5 | 115 | 115 | 5 | 115 | 17 | 21 | 97k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1576.73/1577.29 c 1506s| 4640k| 18408 | 15831k| 13M| 38 | - | 115 | 112 | 6 | 115 | 17 | 21 | 98k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1579.92/1580.46 c 1509s| 4650k| 18478 | 15861k| 13M| 38 | - | 115 | 112 | 5 | 115 | 17 | 21 | 98k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1583.13/1583.63 c 1512s| 4660k| 18529 | 15891k| 13M| 38 | - | 115 | 125 | 5 | 115 | 17 | 21 | 98k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1586.33/1586.87 c 1515s| 4670k| 18246 | 15924k| 13M| 38 | - | 115 | 115 | 5 | 115 | 17 | 21 | 98k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1589.62/1590.17 c 1518s| 4680k| 17850 | 15959k| 13M| 38 | - | 115 | 104 | 5 | 115 | 17 | 21 | 98k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1592.82/1593.38 c 1521s| 4690k| 17519 | 15991k| 13M| 38 | 5 | 115 | 113 | 5 | 115 | 17 | 21 | 99k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1596.12/1596.60 c 1524s| 4700k| 17109 | 16023k| 12M| 38 | - | 115 | 126 | 7 | 115 | 17 | 21 | 99k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1599.32/1599.87 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1599.32/1599.87 c 1527s| 4710k| 17039 | 16057k| 12M| 38 | 5 | 115 | 123 | 5 | 115 | 17 | 21 | 99k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1602.51/1603.10 c 1530s| 4720k| 16815 | 16088k| 12M| 38 | - | 115 | 117 | 5 | 115 | 17 | 21 | 99k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1605.71/1606.27 c 1533s| 4730k| 16499 | 16120k| 12M| 38 | 5 | 115 | 113 | 16 | 115 | 17 | 21 | 99k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1608.91/1609.44 c 1536s| 4740k| 16295 | 16149k| 11M| 38 | 5 | 115 | 138 | 5 | 115 | 17 | 21 | 100k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1612.12/1612.66 c 1539s| 4750k| 16214 | 16180k| 11M| 38 | - | 115 | 110 | 5 | 115 | 17 | 21 | 100k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1615.22/1615.80 c 1542s| 4760k| 16106 | 16209k| 11M| 38 | - | 115 | 116 | 5 | 115 | 17 | 21 | 100k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1618.51/1619.03 c 1546s| 4770k| 16593 | 16240k| 11M| 38 | - | 115 | 114 | 7 | 115 | 17 | 21 | 100k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1621.71/1622.24 c 1549s| 4780k| 16180 | 16273k| 11M| 38 | - | 115 | 123 | 5 | 115 | 17 | 21 | 100k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1624.91/1625.40 c 1552s| 4790k| 15631 | 16303k| 11M| 38 | 5 | 115 | 109 | 6 | 115 | 17 | 21 | 101k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1628.11/1628.63 c 1555s| 4800k| 15532 | 16335k| 10M| 38 | 5 | 115 | 110 | 12 | 115 | 17 | 21 | 101k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1631.51/1632.04 c 1558s| 4810k| 15985 | 16368k| 11M| 38 | 5 | 115 | 93 | 5 | 115 | 17 | 21 | 101k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1634.91/1635.41 c 1561s| 4820k| 15816 | 16404k| 11M| 38 | 5 | 115 | 95 | 5 | 115 | 17 | 21 | 101k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1638.21/1638.70 c 1564s| 4830k| 16042 | 16439k| 11M| 38 | - | 115 | 106 | 5 | 0 | 0 | 21 | 101k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1641.50/1642.01 c 1567s| 4840k| 16038 | 16475k| 11M| 38 | 5 | 115 | 96 | 5 | 115 | 17 | 21 | 101k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1644.70/1645.27 c 1571s| 4850k| 15480 | 16510k| 10M| 38 | 5 | 115 | 93 | 6 | 115 | 17 | 21 | 101k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1648.01/1648.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1648.01/1648.53 c 1574s| 4860k| 15506 | 16542k| 10M| 38 | - | 115 | 93 | 5 | 115 | 17 | 21 | 101k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1651.31/1651.81 c 1577s| 4870k| 15524 | 16577k| 10M| 38 | - | 115 | 100 | 5 | 115 | 17 | 21 | 102k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1654.50/1655.09 c 1580s| 4880k| 15556 | 16610k| 10M| 38 | - | 115 | 100 | 5 | 115 | 17 | 21 | 102k|9653 | 9.094947e-13 | 1.000000e+00 | Inf
1657.80/1658.36 c 1583s| 4890k| 15306 | 16644k| 10M| 38 | - | 115 | 108 | 5 | 115 | 17 | 21 | 102k|9673 | 9.094947e-13 | 1.000000e+00 | Inf
1661.00/1661.59 c 1586s| 4900k| 15053 | 16677k| 10M| 38 | - | 115 | 119 | 7 | 115 | 17 | 21 | 102k|9687 | 9.094947e-13 | 1.000000e+00 | Inf
1664.30/1664.84 c 1589s| 4910k| 15742 | 16708k| 10M| 38 | - | 115 | 135 | 8 | 115 | 17 | 21 | 102k|9687 | 9.094947e-13 | 1.000000e+00 | Inf
1667.40/1667.99 c 1592s| 4920k| 15468 | 16737k| 10M| 38 | 5 | 115 | 130 | 8 | 115 | 17 | 21 | 103k|9687 | 9.094947e-13 | 1.000000e+00 | Inf
1670.60/1671.17 c 1595s| 4930k| 15044 | 16767k| 10M| 38 | - | 115 | 155 | 5 | 115 | 17 | 21 | 103k|9687 | 9.094947e-13 | 1.000000e+00 | Inf
1673.90/1674.40 c 1598s| 4940k| 14718 | 16798k| 10M| 38 | - | 115 | 136 | 5 | 115 | 17 | 21 | 103k|9687 | 9.094947e-13 | 1.000000e+00 | Inf
1677.00/1677.59 c 1601s| 4950k| 14278 | 16829k|9776k| 38 | 5 | 115 | 106 | 5 | 115 | 17 | 21 | 103k|9719 | 9.094947e-13 | 1.000000e+00 | Inf
1680.20/1680.79 c 1604s| 4960k| 13910 | 16859k|9431k| 38 | - | 115 | 119 | 7 | 0 | 0 | 21 | 104k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1683.60/1684.17 c 1608s| 4970k| 14840 | 16892k|9925k| 38 | - | 115 | 109 | 5 | 115 | 17 | 21 | 104k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1686.99/1687.52 c 1611s| 4980k| 15796 | 16925k| 10M| 38 | 5 | 115 | 100 | 8 | 115 | 17 | 21 | 104k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1690.29/1690.83 c 1614s| 4990k| 16500 | 16956k| 11M| 38 | 5 | 115 | 108 | 5 | 115 | 17 | 21 | 104k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1693.59/1694.10 c 1617s| 5000k| 16585 | 16991k| 11M| 38 | 5 | 115 | 101 | 6 | 115 | 17 | 21 | 104k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1696.79/1697.38 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1696.79/1697.38 c 1620s| 5010k| 16628 | 17026k| 11M| 38 | - | 115 | 100 | 5 | 0 | 0 | 21 | 104k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1700.09/1700.64 c 1623s| 5020k| 16415 | 17059k| 11M| 38 | - | 115 | 116 | 5 | 115 | 17 | 21 | 104k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1703.29/1703.89 c 1626s| 5030k| 16057 | 17094k| 11M| 38 | - | 115 | 101 | 7 | 115 | 17 | 21 | 105k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1706.59/1707.15 c 1630s| 5040k| 15764 | 17128k| 11M| 38 | 5 | 115 | 111 | 6 | 115 | 17 | 21 | 105k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1709.89/1710.44 c 1633s| 5050k| 15308 | 17163k| 10M| 38 | - | 115 | 105 | 5 | 115 | 17 | 21 | 105k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1713.19/1713.79 c 1636s| 5060k| 15347 | 17197k| 10M| 38 | - | 115 | 123 | 5 | 115 | 17 | 21 | 105k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1716.49/1717.07 c 1639s| 5070k| 14976 | 17231k| 10M| 38 | - | 115 | 102 | 5 | 115 | 17 | 21 | 105k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1719.69/1720.29 c 1642s| 5080k| 14851 | 17264k| 10M| 38 | 5 | 115 | 95 | 5 | 115 | 17 | 21 | 105k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1722.98/1723.53 c 1645s| 5090k| 14841 | 17297k| 10M| 38 | - | 115 | 113 | 5 | 115 | 17 | 21 | 106k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1726.18/1726.72 c 1648s| 5100k| 14593 | 17329k| 10M| 38 | - | 115 | 100 | 5 | 115 | 17 | 21 | 106k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1729.48/1730.03 c 1651s| 5110k| 14563 | 17364k| 10M| 38 | 5 | 115 | 99 | 6 | 115 | 17 | 21 | 106k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1732.67/1733.28 c 1655s| 5120k| 14405 | 17398k| 10M| 38 | - | 115 | 106 | 5 | 115 | 17 | 21 | 106k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1735.87/1736.49 c 1658s| 5130k| 13912 | 17430k|9424k| 38 | - | 115 | 95 | 5 | 115 | 17 | 21 | 106k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1739.18/1739.73 c 1661s| 5140k| 14145 | 17463k|9639k| 38 | 5 | 115 | 105 | 5 | 115 | 17 | 21 | 106k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1742.38/1742.96 c 1664s| 5150k| 13912 | 17496k|9420k| 38 | 5 | 115 | 98 | 5 | 115 | 17 | 21 | 106k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1745.67/1746.27 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1745.67/1746.27 c 1667s| 5160k| 14125 | 17531k|9533k| 38 | - | 115 | 96 | 5 | 115 | 17 | 21 | 106k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1748.97/1749.58 c 1670s| 5170k| 15057 | 17562k| 10M| 38 | 5 | 115 | 109 | 8 | 115 | 17 | 21 | 107k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1752.27/1752.83 c 1673s| 5180k| 15273 | 17593k| 10M| 38 | 5 | 115 | 98 | 5 | 115 | 17 | 21 | 107k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1755.47/1756.06 c 1676s| 5190k| 15361 | 17625k| 10M| 38 | - | 115 | 98 | 5 | 115 | 17 | 21 | 107k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1758.67/1759.23 c 1679s| 5200k| 15315 | 17655k| 10M| 38 | 5 | 115 | 100 | 5 | 115 | 17 | 21 | 107k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1761.87/1762.41 c 1682s| 5210k| 15347 | 17686k| 10M| 38 | 5 | 115 | 99 | 5 | 115 | 17 | 21 | 107k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1764.97/1765.59 c 1685s| 5220k| 15164 | 17717k| 10M| 38 | 5 | 115 | 91 | 7 | 115 | 17 | 21 | 107k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1768.17/1768.78 c 1688s| 5230k| 14936 | 17749k| 10M| 38 | - | 115 | 94 | 5 | 115 | 17 | 21 | 108k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1771.46/1772.01 c 1692s| 5240k| 14366 | 17780k|9994k| 38 | - | 115 | 96 | 5 | 115 | 17 | 21 | 108k|9782 | 9.094947e-13 | 1.000000e+00 | Inf
1774.67/1775.23 c 1695s| 5250k| 13749 | 17812k|9279k| 38 | 5 | 115 | 90 | 5 | 115 | 17 | 21 | 108k|9783 | 9.094947e-13 | 1.000000e+00 | Inf
1777.76/1778.39 c 1698s| 5260k| 13552 | 17842k|9086k| 38 | - | 115 | 93 | 6 | 115 | 17 | 21 | 108k|9784 | 9.094947e-13 | 1.000000e+00 | Inf
1780.96/1781.57 c 1701s| 5270k| 13422 | 17873k|8956k| 38 | - | 115 | 91 | 5 | 115 | 17 | 21 | 108k|9792 | 9.094947e-13 | 1.000000e+00 | Inf
1784.16/1784.77 c 1704s| 5280k| 13334 | 17903k|8875k| 38 | - | 115 | 122 | 5 | 115 | 17 | 21 | 108k|9792 | 9.094947e-13 | 1.000000e+00 | Inf
1787.46/1788.01 c 1707s| 5290k| 14172 | 17933k|9328k| 38 | - | 115 | 117 | 5 | 0 | 0 | 21 | 109k|9792 | 9.094947e-13 | 1.000000e+00 | Inf
1790.76/1791.31 c 1710s| 5300k| 15150 | 17964k|9921k| 38 | - | 115 | 123 | 5 | 115 | 17 | 21 | 109k|9792 | 9.094947e-13 | 1.000000e+00 | Inf
1793.96/1794.54 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1793.96/1794.54 c 1713s| 5310k| 15485 | 17994k| 10M| 38 | - | 115 | 116 | 5 | 115 | 17 | 21 | 109k|9792 | 9.094947e-13 | 1.000000e+00 | Inf
1797.26/1797.83 c 1716s| 5320k| 15745 | 18026k| 10M| 38 | - | 115 | 123 | 6 | 115 | 17 | 21 | 109k|9792 | 9.094947e-13 | 1.000000e+00 | Inf
1800.07/1800.61 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1718.88
1800.07/1800.61 c Solving Nodes : 5328549
1800.07/1800.61 c Primal Bound : +1.00000000000000e+00 (50 solutions)
1800.07/1800.61 c Dual Bound : +9.09494701772928e-13
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 c NODE 5328549
1800.07/1800.61 c DUAL BOUND 9.09495e-13
1800.07/1800.61 c PRIMAL BOUND 1
1800.07/1800.61 c GAP 1e+20
1800.07/1800.61 s SATISFIABLE
1800.07/1800.61 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.07/1800.61 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 -x70
1800.07/1800.61 v -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45
1800.07/1800.61 v -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20
1800.07/1800.61 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time : 1718.88
1800.07/1800.61 c Original Problem :
1800.07/1800.61 c Problem name : HOME/instance-1869519-1245176196.opb
1800.07/1800.61 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 10 initial, 10 maximal
1800.07/1800.61 c Presolved Problem :
1800.07/1800.61 c Problem name : t_HOME/instance-1869519-1245176196.opb
1800.07/1800.61 c Variables : 115 (115 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 5 initial, 205 maximal
1800.07/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.61 c linear : 0.00 0 5 0 0 0 5 0 0
1800.07/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c root node : - 75 - - 75 - - - -
1800.07/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c integral : 0 0 0 2685280 0 358 3427 0 0 5362996
1800.07/1800.61 c linear : 5 6 6306299 2 0 515370 3947077 7 0 0
1800.07/1800.61 c logicor : 0+ 0 2097642 0 0 2881 34666 0 0 0
1800.07/1800.61 c countsols : 0 0 0 28 0 0 0 0 0 0
1800.07/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.61 c integral : 26.13 0.00 0.00 26.13 0.00
1800.07/1800.61 c linear : 261.01 0.01 261.00 0.00 0.00
1800.07/1800.61 c logicor : 5.02 0.00 5.02 0.00 0.00
1800.07/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.61 c rootredcost : 2.58 47 0 75
1800.07/1800.61 c pseudoobj : 35.62 6328057 21912 113876
1800.07/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.61 c propagation : 26.24 540163 109891 144486 33.2 0 0.0 -
1800.07/1800.61 c infeasible LP : 11.08 2228646 5 7 24.3 0 0.0 0
1800.07/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c pseudo solution : 0.00 1 1 1 19.0 0 0.0 -
1800.07/1800.61 c applied globally : - - - 20005 29.0 - - -
1800.07/1800.61 c applied locally : - - - 90021 34.1 - - -
1800.07/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.61 c cut pool : 0.00 5 - - 9 - (maximal pool size: 81)
1800.07/1800.61 c redcost : 14.55 2767829 0 1202993 0 0
1800.07/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.07/1800.61 c intobj : 0.00 0 0 0 0 0
1800.07/1800.61 c gomory : 0.00 6 0 0 0 0
1800.07/1800.61 c strongcg : 0.01 6 0 0 40 0
1800.07/1800.61 c cmir : 0.03 6 0 0 18 0
1800.07/1800.61 c flowcover : 0.02 6 0 0 29 0
1800.07/1800.61 c clique : 0.00 1 0 0 0 0
1800.07/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.61 c mcf : 0.00 1 0 0 0 0
1800.07/1800.61 c Pricers : Time Calls Vars
1800.07/1800.61 c problem variables: 0.00 0 0
1800.07/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c relpscost : 23.68 2685252 358 3427 0 0 5362996
1800.07/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c random : 0.00 0 0 0 0 0 0
1800.07/1800.61 c Primal Heuristics : Time Calls Found
1800.07/1800.61 c LP solutions : 0.03 - 28
1800.07/1800.61 c pseudo solutions : 0.00 - 0
1800.07/1800.61 c oneopt : 1.95 47 0
1800.07/1800.61 c veclendiving : 10.11 7799 0
1800.07/1800.61 c linesearchdiving : 10.19 7799 2
1800.07/1800.61 c objpscostdiving : 7.70 3900 2
1800.07/1800.61 c rootsoldiving : 9.64 3900 1
1800.07/1800.61 c guideddiving : 10.24 7800 3
1800.07/1800.61 c coefdiving : 10.87 7800 2
1800.07/1800.61 c pscostdiving : 11.33 7800 8
1800.07/1800.61 c fracdiving : 10.36 7800 3
1800.07/1800.61 c simplerounding : 1.57 0 0
1800.07/1800.61 c rounding : 2.25 23518 0
1800.07/1800.61 c shifting : 6.22 8466 0
1800.07/1800.61 c intshifting : 0.24 0 0
1800.07/1800.61 c fixandinfer : 0.00 0 0
1800.07/1800.61 c feaspump : 0.10 1 0
1800.07/1800.61 c intdiving : 0.00 0 0
1800.07/1800.61 c actconsdiving : 0.00 0 0
1800.07/1800.61 c octane : 0.00 0 0
1800.07/1800.61 c rens : 0.04 1 0
1800.07/1800.61 c rins : 0.00 0 0
1800.07/1800.61 c localbranching : 0.00 0 0
1800.07/1800.61 c mutation : 0.00 0 0
1800.07/1800.61 c crossover : 8.13 10 1
1800.07/1800.61 c dins : 0.00 0 0
1800.07/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.61 c dual LP : 1008.29 4901831 17409756 3.55 17266.62
1800.07/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.61 c diving/probing LP: 52.90 270312 644658 2.38 12186.35
1800.07/1800.61 c strong branching : 1.97 9792 41350 4.22 20989.85
1800.07/1800.61 c (at root node) : - 16 857 53.56 -
1800.07/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.61 c B&B Tree :
1800.07/1800.61 c number of runs : 1
1800.07/1800.61 c nodes : 5328549
1800.07/1800.61 c nodes (total) : 5328549
1800.07/1800.61 c nodes left : 15730
1800.07/1800.61 c max depth : 38
1800.07/1800.61 c max depth (total): 38
1800.07/1800.61 c backtracks : 1523099 (28.6%)
1800.07/1800.61 c delayed cutoffs : 11589
1800.07/1800.61 c repropagations : 44830 (74116 domain reductions, 10233 cutoffs)
1800.07/1800.61 c avg switch length: 4.80
1800.07/1800.61 c switching time : 83.41
1800.07/1800.61 c Solution :
1800.07/1800.61 c Solutions found : 50 (47 improvements)
1800.07/1800.61 c Primal Bound : +1.00000000000000e+00 (in run 1, after 870622 nodes, 333.12 seconds, depth 10, found by <crossover>)
1800.07/1800.61 c Dual Bound : +9.09494701772928e-13
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 c Root Dual Bound : +9.09494701772928e-13
1800.07/1800.69 c Time complete: 1800.14.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869519-1245176196/watcher-1869519-1245176196 -o /tmp/evaluation-result-1869519-1245176196/solver-1869519-1245176196 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869519-1245176196.opb
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 1.00 1.02 3/64 31200
/proc/meminfo: memFree=1849712/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=7616 CPUtime=0
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 584 0 0 0 0 0 0 0 20 0 1 0 185217526 7798784 568 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/31200/statm: 1904 578 353 1256 0 643 0
[startup+0.0608069 s]
/proc/loadavg: 0.99 1.00 1.02 3/64 31200
/proc/meminfo: memFree=1849712/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=14940 CPUtime=0.04
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 2950 0 0 0 4 0 0 0 20 0 1 0 185217526 15298560 2580 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 3735 2580 667 1256 0 2474 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14940
[startup+0.101811 s]
/proc/loadavg: 0.99 1.00 1.02 3/64 31200
/proc/meminfo: memFree=1849712/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=15096 CPUtime=0.09
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 2977 0 0 0 9 0 0 0 20 0 1 0 185217526 15458304 2607 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 3774 2607 667 1256 0 2513 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15096
[startup+0.301835 s]
/proc/loadavg: 0.99 1.00 1.02 3/64 31200
/proc/meminfo: memFree=1849712/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=16196 CPUtime=0.29
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 4712 0 0 0 27 2 0 0 22 0 1 0 185217526 16584704 2723 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 4049 2723 699 1256 0 2788 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16196
[startup+0.701882 s]
/proc/loadavg: 0.99 1.00 1.02 3/64 31200
/proc/meminfo: memFree=1849712/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=16356 CPUtime=0.69
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 4758 0 0 0 65 4 0 0 25 0 1 0 185217526 16748544 2769 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 4089 2769 699 1256 0 2828 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16356
[startup+1.50198 s]
/proc/loadavg: 0.99 1.00 1.02 2/65 31201
/proc/meminfo: memFree=1841256/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=18412 CPUtime=1.49
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 7699 0 0 0 142 7 0 0 25 0 1 0 185217526 18853888 3450 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 4603 3450 699 1256 0 3342 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18412
[startup+3.10116 s]
/proc/loadavg: 0.99 1.00 1.02 2/65 31201
/proc/meminfo: memFree=1840296/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=19312 CPUtime=3.09
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 9239 0 0 0 296 13 0 0 25 0 1 0 185217526 19775488 3684 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 4828 3684 699 1256 0 3567 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19312
[startup+6.30154 s]
/proc/loadavg: 0.99 1.00 1.02 2/65 31201
/proc/meminfo: memFree=1835496/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=20916 CPUtime=6.29
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 9732 0 0 0 604 25 0 0 25 0 1 0 185217526 21417984 4177 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 5229 4177 699 1256 0 3968 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20916
[startup+12.7013 s]
/proc/loadavg: 0.99 1.00 1.02 2/65 31201
/proc/meminfo: memFree=1832168/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=24308 CPUtime=12.69
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 13979 0 0 0 1222 47 0 0 25 0 1 0 185217526 24891392 5127 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 6077 5127 699 1256 0 4816 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24308
[startup+25.5018 s]
/proc/loadavg: 0.99 1.00 1.02 2/65 31201
/proc/meminfo: memFree=1828584/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=27156 CPUtime=25.49
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 16223 0 0 0 2447 102 0 0 25 0 1 0 185217526 27807744 5894 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 6789 5894 700 1256 0 5528 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27156
[startup+51.1018 s]
/proc/loadavg: 0.99 1.00 1.02 2/65 31201
/proc/meminfo: memFree=1828584/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=28188 CPUtime=51.07
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 16250 0 0 0 4906 201 0 0 25 0 1 0 185217526 28864512 5921 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 7047 5921 700 1256 0 5786 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 28188
[startup+102.306 s]
/proc/loadavg: 0.99 1.00 1.01 2/65 31201
/proc/meminfo: memFree=1828456/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=28188 CPUtime=102.27
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 16250 0 0 0 9820 407 0 0 25 0 1 0 185217526 28864512 5921 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 7047 5921 700 1256 0 5786 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 28188
[startup+162.302 s]
/proc/loadavg: 0.99 1.00 1.01 2/65 31201
/proc/meminfo: memFree=1828456/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=28188 CPUtime=162.24
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 16250 0 0 0 15568 656 0 0 25 0 1 0 185217526 28864512 5921 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 7047 5921 700 1256 0 5786 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 28188
[startup+222.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 31201
/proc/meminfo: memFree=1825704/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=29828 CPUtime=222.22
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 18076 0 0 0 21313 909 0 0 25 0 1 0 185217526 30543872 6572 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 7457 6572 700 1256 0 6196 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 29828
[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 31201
/proc/meminfo: memFree=1824744/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=31088 CPUtime=282.21
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 18298 0 0 0 27058 1163 0 0 25 0 1 0 185217526 31834112 6794 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 7772 6794 700 1256 0 6511 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 31088
[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 31201
/proc/meminfo: memFree=1824680/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=31088 CPUtime=342.19
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 18299 0 0 0 32797 1422 0 0 25 0 1 0 185217526 31834112 6795 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 7772 6795 700 1256 0 6511 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 31088
[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 31201
/proc/meminfo: memFree=1823080/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=32084 CPUtime=402.18
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 21304 0 0 0 38525 1693 0 0 25 0 1 0 185217526 32854016 7141 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 8021 7141 700 1256 0 6760 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 32084
[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 31201
/proc/meminfo: memFree=1823016/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=32084 CPUtime=462.15
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 21304 0 0 0 44246 1969 0 0 25 0 1 0 185217526 32854016 7141 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 8021 7141 700 1256 0 6760 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 32084
[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 31201
/proc/meminfo: memFree=1822952/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=32084 CPUtime=522.13
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 21304 0 0 0 49971 2242 0 0 25 0 1 0 185217526 32854016 7141 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 8021 7141 700 1256 0 6760 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 32084
[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 31201
/proc/meminfo: memFree=1822952/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=32084 CPUtime=582.12
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 21304 0 0 0 55698 2514 0 0 25 0 1 0 185217526 32854016 7141 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 8021 7141 700 1256 0 6760 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 32084
[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 31201
/proc/meminfo: memFree=1822824/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=32348 CPUtime=642.1
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 21338 0 0 0 61421 2789 0 0 25 0 1 0 185217526 33124352 7175 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 8087 7175 700 1256 0 6826 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 32348
[startup+702.302 s]
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 31201
/proc/meminfo: memFree=1822568/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=32348 CPUtime=822.05
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 22898 0 0 0 78595 3610 0 0 25 0 1 0 185217526 33124352 7169 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 8087 7169 700 1256 0 6826 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 32348
[startup+882.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 31201
/proc/meminfo: memFree=1822504/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=32348 CPUtime=882.03
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 22898 0 0 0 84327 3876 0 0 25 0 1 0 185217526 33124352 7169 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 8087 7169 700 1256 0 6826 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 32348
[startup+942.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 31201
/proc/meminfo: memFree=1822376/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=32348 CPUtime=942.01
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 22898 0 0 0 90053 4148 0 0 25 0 1 0 185217526 33124352 7169 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 8087 7169 700 1256 0 6826 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 32348
[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 31201
/proc/meminfo: memFree=1822312/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=32348 CPUtime=1001.99
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 24474 0 0 0 95771 4428 0 0 25 0 1 0 185217526 33124352 7169 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 8087 7169 700 1256 0 6826 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 32348
[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 31201
/proc/meminfo: memFree=1822248/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=32348 CPUtime=1061.98
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 24474 0 0 0 101493 4705 0 0 25 0 1 0 185217526 33124352 7169 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 8087 7169 700 1256 0 6826 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 32348
[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 31201
/proc/meminfo: memFree=1822184/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=32348 CPUtime=1121.96
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 24474 0 0 0 107218 4978 0 0 25 0 1 0 185217526 33124352 7169 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 8087 7169 700 1256 0 6826 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 32348
[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 31201
/proc/meminfo: memFree=1822056/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=32348 CPUtime=1181.94
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 24474 0 0 0 112946 5248 0 0 25 0 1 0 185217526 33124352 7169 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 8087 7169 700 1256 0 6826 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 32348
[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 31201
/proc/meminfo: memFree=1821864/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=32348 CPUtime=1241.92
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 24474 0 0 0 118673 5519 0 0 25 0 1 0 185217526 33124352 7169 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 8087 7169 700 1256 0 6826 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 32348
[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 31201
/proc/meminfo: memFree=1823464/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=31192 CPUtime=1301.91
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 25639 0 0 0 124381 5810 0 0 25 0 1 0 185217526 31940608 6743 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 7798 6743 700 1256 0 6537 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 31192
[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 31201
/proc/meminfo: memFree=1820968/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=33400 CPUtime=1361.88
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 26232 0 0 0 130100 6088 0 0 25 0 1 0 185217526 34201600 7336 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 8350 7336 700 1256 0 7089 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 33400
[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 31201
/proc/meminfo: memFree=1820968/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=33556 CPUtime=1421.88
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 26235 0 0 0 135809 6379 0 0 25 0 1 0 185217526 34361344 7339 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 8389 7339 700 1256 0 7128 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 33556
[startup+1482.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 31201
/proc/meminfo: memFree=1818792/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=35444 CPUtime=1481.85
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 26745 0 0 0 141519 6666 0 0 25 0 1 0 185217526 36294656 7849 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 8861 7849 700 1256 0 7600 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 35444
[startup+1542.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 31201
/proc/meminfo: memFree=1818472/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=35632 CPUtime=1541.83
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 26828 0 0 0 147233 6950 0 0 25 0 1 0 185217526 36487168 7932 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 8908 7932 700 1256 0 7647 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 35632
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31201
/proc/meminfo: memFree=1818408/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=35632 CPUtime=1601.82
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 26828 0 0 0 152958 7224 0 0 25 0 1 0 185217526 36487168 7932 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 8908 7932 700 1256 0 7647 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 35632
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31201
/proc/meminfo: memFree=1818280/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=36424 CPUtime=1661.8
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 26835 0 0 0 158682 7498 0 0 25 0 1 0 185217526 37298176 7939 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 9106 7939 700 1256 0 7845 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 36424
[startup+1722.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 31201
/proc/meminfo: memFree=1818152/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=36580 CPUtime=1721.78
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 26836 0 0 0 164407 7771 0 0 25 0 1 0 185217526 37457920 7940 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 9145 7940 700 1256 0 7884 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 36580
[startup+1782.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 31201
/proc/meminfo: memFree=1817960/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=36580 CPUtime=1781.76
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 26836 0 0 0 170139 8037 0 0 25 0 1 0 185217526 37457920 7940 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 9145 7940 700 1256 0 7884 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 36580
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 31201
/proc/meminfo: memFree=1817960/2055920 swapFree=4182380/4192956
[pid=31200] ppid=31198 vsize=36580 CPUtime=1800.07
/proc/31200/stat : 31200 (pbscip.linux.x8) R 31198 31200 31119 0 -1 4194304 26836 0 0 0 171888 8119 0 0 25 0 1 0 185217526 37457920 7940 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31200/statm: 9145 7940 700 1256 0 7884 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 36580
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.69
CPU time (s): 1800.15
CPU user time (s): 1718.96
CPU system time (s): 81.1957
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 38996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1718.96
system time used= 81.1957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26840
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= 3
involuntary context switches= 1722
runsolver used 1.2818 second user time and 3.85941 second system time
The end