0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3734932-1338702328.opb>
0.00/0.00 c original problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 16 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.01 c (round 1) 0 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (0.0s) probing: 101/198 (51.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (2 rounds):
0.00/0.01 c 0 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.01 c 8 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 1.2.1.3
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1790
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 51 | - | 634k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.07 o 1044
0.00/0.07 c y 0.1s| 1 | 0 | 101 | - | 707k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.00/0.07 c 0.1s| 1 | 0 | 116 | - | 843k| 0 | 15 | 198 | 71 | 198 | 16 | 8 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.07/0.08 c 0.1s| 1 | 0 | 125 | - | 929k| 0 | 18 | 198 | 71 | 198 | 20 | 12 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.07/0.09 c 0.1s| 1 | 0 | 137 | - | 966k| 0 | 19 | 198 | 71 | 198 | 23 | 15 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 149 | - | 981k| 0 | 19 | 198 | 71 | 198 | 26 | 18 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 157 | - | 999k| 0 | 20 | 198 | 71 | 198 | 28 | 20 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 161 | - |1000k| 0 | 22 | 198 | 71 | 198 | 29 | 21 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.09/0.16 c 0.2s| 1 | 2 | 161 | - |1000k| 0 | 22 | 198 | 71 | 198 | 29 | 21 | 0 | 14 | 0.000000e+00 | 1.044000e+03 | Inf
0.28/0.38 o 574
0.28/0.38 c g 0.4s| 181 | 182 | 2105 | 10.8 |1183k| 53 | - | 198 | 71 | 198 | 22 | 21 | 7 | 498 | 0.000000e+00 | 5.740000e+02 | Inf
0.49/0.58 o 415
0.49/0.58 c c 0.6s| 623 | 623 | 5071 | 7.9 |1377k| 53 | - | 198 | 71 | 198 | 22 | 21 | 18 | 570 | 0.000000e+00 | 4.150000e+02 | Inf
0.59/0.60 o 414
0.59/0.60 c * 0.6s| 654 | 646 | 5215 | 7.7 |1373k| 54 | - | 198 | 71 | 198 | 22 | 21 | 18 | 588 | 0.000000e+00 | 4.140000e+02 | Inf
0.59/0.60 o 412
0.59/0.60 c * 0.6s| 656 | 646 | 5215 | 7.7 |1376k| 55 | - | 198 | 71 | 198 | 22 | 21 | 18 | 592 | 0.000000e+00 | 4.120000e+02 | Inf
0.59/0.60 o 410
0.59/0.60 c * 0.6s| 657 | 645 | 5215 | 7.7 |1378k| 55 | - | 198 | 71 | 198 | 22 | 21 | 18 | 592 | 0.000000e+00 | 4.100000e+02 | Inf
0.59/0.61 o 289
0.59/0.61 c f 0.6s| 686 | 670 | 5423 | 7.7 |1419k| 55 | - | 198 | 71 | 198 | 22 | 21 | 18 | 592 | 0.000000e+00 | 2.890000e+02 | Inf
1.00/1.02 o 135
1.00/1.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.00/1.02 c c 1.0s| 1033 | 956 | 7355 | 7.0 |1540k| 57 | - | 198 | 71 | 198 | 22 | 21 | 26 | 656 | 0.000000e+00 | 1.350000e+02 | Inf
4.39/4.46 o 134
4.39/4.46 c * 4.5s| 7670 | 7512 | 56342 | 7.3 |4823k| 57 | - | 198 | 12 | 198 | 22 | 21 | 251 | 891 | 0.000000e+00 | 1.340000e+02 | Inf
5.50/5.55 c 5.5s| 10000 | 9828 | 72497 | 7.2 |5910k| 57 | 8 | 198 | 12 | 198 | 22 | 21 | 320 |1027 | 0.000000e+00 | 1.340000e+02 | Inf
6.28/6.35 o 77
6.28/6.35 c g 6.3s| 12050 | 11612 | 84422 | 7.0 |6650k| 57 | - | 198 | 12 | 198 | 22 | 21 | 357 |1136 | 0.000000e+00 | 7.700000e+01 | Inf
9.29/9.34 o 76
9.29/9.34 c * 9.3s| 19453 | 18494 |125932 | 6.5 |9985k| 57 | - | 198 | 9 | 198 | 22 | 21 | 505 |1538 | 0.000000e+00 | 7.600000e+01 | Inf
9.29/9.34 o 74
9.29/9.34 c * 9.3s| 19455 | 18476 |125932 | 6.5 |9957k| 57 | - | 198 | 9 | 198 | 22 | 21 | 505 |1542 | 0.000000e+00 | 7.400000e+01 | Inf
9.49/9.53 c 9.5s| 20000 | 18985 |128607 | 6.4 | 10M| 57 | 8 | 198 | 9 | 198 | 22 | 21 | 511 |1561 | 0.000000e+00 | 7.400000e+01 | Inf
11.69/11.73 o 73
11.69/11.73 c *11.7s| 25750 | 24041 |160347 | 6.2 | 12M| 57 | - | 198 | 9 | 198 | 22 | 21 | 632 |1916 | 0.000000e+00 | 7.300000e+01 | Inf
13.69/13.79 o 72
13.69/13.79 c *13.8s| 29961 | 27654 |184523 | 6.2 | 15M| 57 | - | 198 | 9 | 198 | 22 | 21 | 747 |2186 | 0.000000e+00 | 7.200000e+01 | Inf
13.69/13.79 o 70
13.69/13.79 c *13.8s| 29962 | 27578 |184523 | 6.2 | 14M| 57 | - | 198 | 9 | 198 | 22 | 21 | 747 |2186 | 0.000000e+00 | 7.000000e+01 | Inf
13.79/13.81 c 13.8s| 30000 | 27610 |184882 | 6.2 | 14M| 57 | 8 | 198 | 9 | 198 | 22 | 21 | 753 |2188 | 0.000000e+00 | 7.000000e+01 | Inf
17.78/17.83 c 17.8s| 40000 | 35560 |243685 | 6.1 | 19M| 59 | 8 | 198 | 9 | 198 | 22 | 21 |1078 |2702 | 0.000000e+00 | 7.000000e+01 | Inf
21.69/21.79 c 21.8s| 50000 | 43639 |302061 | 6.0 | 24M| 59 | 8 | 198 | 9 | 198 | 22 | 21 |1383 |3131 | 0.000000e+00 | 7.000000e+01 | Inf
24.99/25.04 o 69
24.99/25.04 c *25.0s| 58239 | 50285 |350184 | 6.0 | 29M| 59 | - | 198 | 10 | 198 | 22 | 21 |1641 |3446 | 0.000000e+00 | 6.900000e+01 | Inf
24.99/25.04 o 67
24.99/25.04 c *25.0s| 58241 | 50141 |350184 | 6.0 | 28M| 59 | - | 198 | 10 | 198 | 22 | 21 |1641 |3449 | 0.000000e+00 | 6.700000e+01 | Inf
24.99/25.04 o 65
24.99/25.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.99/25.04 c *25.0s| 58242 | 49977 |350184 | 6.0 | 28M| 59 | - | 198 | 10 | 198 | 22 | 21 |1641 |3449 | 0.000000e+00 | 6.500000e+01 | Inf
26.29/26.39 c 26.4s| 60000 | 51317 |360583 | 6.0 | 29M| 59 | 8 | 198 | 11 | 198 | 22 | 21 |1689 |3513 | 0.000000e+00 | 6.500000e+01 | Inf
29.08/29.17 o 63
29.08/29.17 c *29.2s| 66896 | 55334 |402394 | 6.0 | 31M| 59 | - | 198 | 10 | 198 | 22 | 21 |1951 |3771 | 0.000000e+00 | 6.300000e+01 | Inf
30.48/30.56 c 30.6s| 70000 | 57989 |421224 | 6.0 | 33M| 59 | 8 | 198 | 9 | 198 | 22 | 21 |2028 |3865 | 0.000000e+00 | 6.300000e+01 | Inf
30.79/30.83 o 61
30.79/30.83 c *30.8s| 70689 | 58255 |425842 | 6.0 | 33M| 59 | - | 198 | 9 | 198 | 22 | 21 |2051 |3909 | 0.000000e+00 | 6.100000e+01 | Inf
34.28/34.33 c 34.3s| 80000 | 65728 |481971 | 6.0 | 37M| 59 | 8 | 198 | 8 | 198 | 22 | 21 |2364 |4221 | 0.000000e+00 | 6.100000e+01 | Inf
38.07/38.17 c 38.2s| 90000 | 73463 |544602 | 6.0 | 42M| 59 | 8 | 198 | 9 | 198 | 22 | 21 |2767 |4506 | 0.000000e+00 | 6.100000e+01 | Inf
42.77/42.88 c 42.9s|100000 | 81218 |608352 | 6.1 | 47M| 59 | 8 | 198 | 13 | 198 | 22 | 21 |3145 |4812 | 0.000000e+00 | 6.100000e+01 | Inf
46.57/46.69 c 46.7s|110000 | 88967 |671025 | 6.1 | 52M| 60 | - | 198 | 12 | 198 | 22 | 21 |3503 |5061 | 0.000000e+00 | 6.100000e+01 | Inf
50.47/50.51 c 50.5s|120000 | 96126 |734456 | 6.1 | 57M| 60 | 8 | 198 | 11 | 198 | 22 | 21 |3975 |5351 | 0.000000e+00 | 6.100000e+01 | Inf
51.97/52.06 o 60
51.97/52.06 c *52.1s|124141 | 98957 |759782 | 6.1 | 58M| 60 | - | 198 | 10 | 198 | 22 | 21 |4129 |5447 | 0.000000e+00 | 6.000000e+01 | Inf
54.26/54.30 c 54.3s|130000 |103172 |796184 | 6.1 | 61M| 60 | 8 | 198 | 11 | 198 | 22 | 21 |4407 |5601 | 0.000000e+00 | 6.000000e+01 | Inf
55.97/56.08 o 59
55.97/56.08 c *56.1s|134640 |106119 |825441 | 6.1 | 63M| 60 | - | 198 | 12 | 198 | 22 | 21 |4614 |5690 | 0.000000e+00 | 5.900000e+01 | Inf
58.06/58.12 c 58.1s|140000 |109973 |858916 | 6.1 | 65M| 60 | - | 198 | 9 | 198 | 22 | 21 |4827 |5821 | 0.000000e+00 | 5.900000e+01 | Inf
61.86/61.98 c 62.0s|150000 |116702 |921734 | 6.1 | 69M| 60 | 8 | 198 | 10 | 198 | 22 | 21 |5288 |6042 | 0.000000e+00 | 5.900000e+01 | Inf
65.66/65.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.66/65.75 c 65.8s|160000 |123770 |982642 | 6.1 | 74M| 60 | 8 | 198 | 11 | 198 | 22 | 21 |5727 |6233 | 0.000000e+00 | 5.900000e+01 | Inf
69.46/69.57 c 69.6s|170000 |130909 | 1044k| 6.1 | 78M| 60 | - | 198 | 11 | 198 | 22 | 21 |6153 |6425 | 0.000000e+00 | 5.900000e+01 | Inf
73.35/73.41 c 73.4s|180000 |137802 | 1107k| 6.2 | 83M| 61 | 8 | 198 | 11 | 198 | 22 | 21 |6622 |6601 | 0.000000e+00 | 5.900000e+01 | Inf
75.55/75.67 o 58
75.55/75.67 c *75.7s|185812 |141166 | 1143k| 6.2 | 84M| 61 | - | 198 | 11 | 198 | 22 | 21 |6962 |6711 | 0.000000e+00 | 5.800000e+01 | Inf
77.76/77.84 o 56
77.76/77.84 c *77.8s|189317 |142432 | 1166k| 6.2 | 84M| 61 | - | 198 | 12 | 198 | 22 | 21 |7156 |6793 | 0.000000e+00 | 5.600000e+01 | Inf
78.95/79.04 c 79.0s|190000 |142913 | 1170k| 6.2 | 85M| 61 | - | 198 | 12 | 198 | 22 | 21 |7184 |6806 | 0.000000e+00 | 5.600000e+01 | Inf
80.35/80.44 o 55
80.35/80.44 c *80.4s|193696 |144876 | 1193k| 6.2 | 85M| 61 | - | 198 | 13 | 198 | 22 | 21 |7369 |6867 | 0.000000e+00 | 5.500000e+01 | Inf
82.75/82.87 c 82.9s|200000 |149023 | 1232k| 6.2 | 88M| 61 | 8 | 198 | 10 | 198 | 22 | 21 |7666 |6957 | 0.000000e+00 | 5.500000e+01 | Inf
84.15/84.23 o 53
84.15/84.23 c *84.2s|203540 |149914 | 1253k| 6.2 | 88M| 61 | - | 198 | 10 | 198 | 22 | 21 |7839 |7017 | 0.000000e+00 | 5.300000e+01 | Inf
86.65/86.74 c 86.7s|210000 |153997 | 1294k| 6.2 | 90M| 61 | 8 | 198 | 10 | 198 | 22 | 21 |8146 |7133 | 0.000000e+00 | 5.300000e+01 | Inf
90.45/90.58 c 90.6s|220000 |160221 | 1355k| 6.2 | 94M| 61 | 8 | 198 | 10 | 198 | 22 | 21 |8642 |7304 | 0.000000e+00 | 5.300000e+01 | Inf
94.45/94.54 c 94.5s|230000 |166342 | 1422k| 6.2 | 99M| 61 | 8 | 198 | 16 | 198 | 22 | 21 |9125 |7460 | 0.000000e+00 | 5.300000e+01 | Inf
94.65/94.71 o 52
94.65/94.71 c *94.7s|230449 |165880 | 1424k| 6.2 | 98M| 61 | - | 198 | 16 | 198 | 22 | 21 |9144 |7467 | 0.000000e+00 | 5.200000e+01 | Inf
98.34/98.48 c 98.5s|240000 |171983 | 1485k| 6.2 | 102M| 61 | 8 | 198 | 12 | 198 | 22 | 21 |9580 |7616 | 0.000000e+00 | 5.200000e+01 | Inf
102.34/102.40 c 102s|250000 |177821 | 1548k| 6.2 | 106M| 61 | 8 | 198 | 10 | 198 | 22 | 21 | 10k|7776 | 0.000000e+00 | 5.200000e+01 | Inf
106.14/106.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.14/106.22 c 106s|260000 |183952 | 1609k| 6.2 | 110M| 61 | 8 | 198 | 10 | 198 | 22 | 21 | 10k|7937 | 0.000000e+00 | 5.200000e+01 | Inf
108.43/108.59 o 50
108.43/108.59 c * 109s|266120 |185750 | 1647k| 6.2 | 110M| 61 | - | 198 | 9 | 198 | 22 | 21 | 10k|8023 | 0.000000e+00 | 5.000000e+01 | Inf
109.43/109.54 o 49
109.43/109.54 c * 110s|268511 |186174 | 1662k| 6.2 | 110M| 61 | - | 198 | 8 | 198 | 22 | 21 | 10k|8063 | 0.000000e+00 | 4.900000e+01 | Inf
109.43/109.55 o 47
109.43/109.55 c * 110s|268512 |182381 | 1662k| 6.2 | 106M| 61 | - | 198 | 8 | 198 | 22 | 21 | 10k|8063 | 0.000000e+00 | 4.700000e+01 | Inf
110.04/110.14 c 110s|270000 |183253 | 1672k| 6.2 | 107M| 61 | - | 198 | 9 | 198 | 22 | 21 | 11k|8076 | 0.000000e+00 | 4.700000e+01 | Inf
113.94/114.04 c 114s|280000 |188919 | 1734k| 6.2 | 111M| 61 | - | 198 | 9 | 0 | 0 | 21 | 11k|8247 | 0.000000e+00 | 4.700000e+01 | Inf
114.44/114.53 o 45
114.44/114.53 c * 115s|281234 |187499 | 1742k| 6.2 | 109M| 61 | - | 198 | 9 | 198 | 22 | 21 | 11k|8264 | 0.000000e+00 | 4.500000e+01 | Inf
114.44/114.54 o 43
114.44/114.54 c c 115s|281236 |185233 | 1742k| 6.2 | 106M| 61 | - | 198 | 9 | 198 | 22 | 21 | 11k|8268 | 0.000000e+00 | 4.300000e+01 | Inf
114.44/114.54 o 41
114.44/114.54 c v 115s|281236 |182562 | 1742k| 6.2 | 104M| 61 | - | 198 | 9 | 198 | 22 | 21 | 11k|8268 | 0.000000e+00 | 4.100000e+01 | Inf
118.84/118.94 c 119s|290000 |187451 | 1798k| 6.2 | 107M| 61 | 8 | 198 | 8 | 198 | 22 | 21 | 11k|8406 | 0.000000e+00 | 4.100000e+01 | Inf
121.54/121.67 o 39
121.54/121.67 c * 122s|297294 |188421 | 1841k| 6.2 | 107M| 61 | - | 198 | 10 | 198 | 22 | 21 | 12k|8550 | 0.000000e+00 | 3.900000e+01 | Inf
122.53/122.67 c 123s|300000 |189706 | 1857k| 6.2 | 108M| 61 | 8 | 198 | 9 | 198 | 22 | 21 | 12k|8595 | 0.000000e+00 | 3.900000e+01 | Inf
126.34/126.49 c 126s|310000 |195056 | 1917k| 6.2 | 112M| 61 | - | 198 | 8 | 198 | 22 | 21 | 12k|8762 | 0.000000e+00 | 3.900000e+01 | Inf
130.13/130.26 c 130s|320000 |200317 | 1977k| 6.2 | 115M| 61 | - | 198 | 9 | 198 | 22 | 21 | 13k|8931 | 0.000000e+00 | 3.900000e+01 | Inf
133.93/134.04 c 134s|330000 |205576 | 2035k| 6.2 | 119M| 61 | - | 198 | 9 | 198 | 22 | 21 | 13k|9090 | 0.000000e+00 | 3.900000e+01 | Inf
137.63/137.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.63/137.77 c 138s|340000 |210901 | 2094k| 6.2 | 123M| 61 | - | 198 | 9 | 198 | 22 | 21 | 14k|9241 | 0.000000e+00 | 3.900000e+01 | Inf
141.33/141.45 c 141s|350000 |215906 | 2152k| 6.1 | 127M| 61 | 8 | 198 | 10 | 198 | 22 | 21 | 14k|9386 | 0.000000e+00 | 3.900000e+01 | Inf
145.14/145.25 c 145s|360000 |221316 | 2212k| 6.1 | 130M| 61 | - | 198 | 8 | 198 | 22 | 21 | 14k|9531 | 0.000000e+00 | 3.900000e+01 | Inf
148.93/149.06 c 149s|370000 |226778 | 2271k| 6.1 | 134M| 61 | 8 | 198 | 8 | 198 | 22 | 21 | 15k|9663 | 0.000000e+00 | 3.900000e+01 | Inf
152.73/152.84 c 153s|380000 |232164 | 2330k| 6.1 | 138M| 61 | 8 | 198 | 8 | 198 | 22 | 21 | 15k|9810 | 0.000000e+00 | 3.900000e+01 | Inf
156.53/156.65 c 157s|390000 |237758 | 2390k| 6.1 | 142M| 61 | - | 198 | 8 | 0 | 0 | 21 | 16k|9952 | 0.000000e+00 | 3.900000e+01 | Inf
160.13/160.28 c 160s|400000 |242539 | 2447k| 6.1 | 145M| 61 | 8 | 198 | 8 | 198 | 22 | 21 | 16k| 10k| 0.000000e+00 | 3.900000e+01 | Inf
164.03/164.19 c 164s|410000 |248329 | 2508k| 6.1 | 149M| 61 | - | 198 | 8 | 0 | 0 | 21 | 17k| 10k| 0.000000e+00 | 3.900000e+01 | Inf
166.63/166.75 o 37
166.63/166.75 c * 167s|416919 |248604 | 2548k| 6.1 | 148M| 61 | - | 198 | 8 | 198 | 22 | 21 | 17k| 10k| 0.000000e+00 | 3.700000e+01 | Inf
167.73/167.83 c 168s|420000 |249931 | 2565k| 6.1 | 149M| 61 | - | 198 | 8 | 198 | 22 | 21 | 17k| 10k| 0.000000e+00 | 3.700000e+01 | Inf
172.13/172.22 c 172s|430000 |255046 | 2622k| 6.1 | 153M| 61 | 8 | 198 | 8 | 198 | 22 | 21 | 17k| 10k| 0.000000e+00 | 3.700000e+01 | Inf
175.73/175.81 c 176s|440000 |259756 | 2678k| 6.1 | 156M| 61 | 8 | 198 | 8 | 198 | 22 | 21 | 18k| 10k| 0.000000e+00 | 3.700000e+01 | Inf
179.33/179.40 c 179s|450000 |264539 | 2735k| 6.1 | 160M| 61 | 8 | 198 | 9 | 198 | 22 | 21 | 18k| 10k| 0.000000e+00 | 3.700000e+01 | Inf
183.03/183.14 c 183s|460000 |269818 | 2792k| 6.1 | 164M| 61 | 8 | 198 | 8 | 198 | 22 | 21 | 19k| 10k| 0.000000e+00 | 3.700000e+01 | Inf
186.52/186.69 c 187s|470000 |274830 | 2848k| 6.1 | 167M| 61 | - | 198 | 8 | 198 | 22 | 21 | 19k| 11k| 0.000000e+00 | 3.700000e+01 | Inf
190.02/190.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
190.02/190.20 c 190s|480000 |279565 | 2903k| 6.0 | 171M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 20k| 11k| 0.000000e+00 | 3.700000e+01 | Inf
193.72/193.86 c 194s|490000 |284667 | 2960k| 6.0 | 175M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 20k| 11k| 0.000000e+00 | 3.700000e+01 | Inf
197.43/197.51 c 198s|500000 |290004 | 3016k| 6.0 | 178M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 20k| 11k| 0.000000e+00 | 3.700000e+01 | Inf
200.22/200.35 o 36
200.22/200.35 c * 200s|507860 |292444 | 3060k| 6.0 | 179M| 62 | - | 198 | 8 | 198 | 22 | 21 | 21k| 11k| 0.000000e+00 | 3.600000e+01 | Inf
200.22/200.36 o 34
200.22/200.36 c * 200s|507865 |288615 | 3060k| 6.0 | 175M| 62 | - | 198 | 8 | 198 | 22 | 21 | 21k| 11k| 0.000000e+00 | 3.400000e+01 | Inf
200.22/200.37 o 32
200.22/200.37 c * 200s|507866 |275746 | 3060k| 6.0 | 165M| 62 | - | 198 | 8 | 198 | 22 | 21 | 21k| 11k| 0.000000e+00 | 3.200000e+01 | Inf
200.92/201.09 c 201s|510000 |276728 | 3072k| 6.0 | 165M| 62 | - | 198 | 11 | 198 | 22 | 21 | 21k| 11k| 0.000000e+00 | 3.200000e+01 | Inf
201.52/201.63 o 30
201.52/201.63 c * 202s|511566 |273415 | 3081k| 6.0 | 161M| 62 | - | 198 | 10 | 198 | 22 | 21 | 21k| 11k| 0.000000e+00 | 3.000000e+01 | Inf
201.52/201.64 o 28
201.52/201.64 c * 202s|511567 |268939 | 3081k| 6.0 | 157M| 62 | - | 198 | 10 | 198 | 22 | 21 | 21k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
204.32/204.46 c 204s|520000 |272740 | 3128k| 6.0 | 159M| 62 | 8 | 198 | 11 | 198 | 22 | 21 | 21k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
207.63/207.80 c 208s|530000 |277268 | 3185k| 6.0 | 162M| 62 | 8 | 198 | 11 | 198 | 22 | 21 | 22k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
211.02/211.19 c 211s|540000 |282000 | 3241k| 6.0 | 166M| 62 | 8 | 198 | 9 | 198 | 22 | 21 | 22k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
214.32/214.48 c 214s|550000 |286362 | 3297k| 6.0 | 169M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 22k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
217.82/217.98 c 218s|560000 |291139 | 3356k| 6.0 | 172M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 23k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
221.22/221.31 c 221s|570000 |295775 | 3413k| 6.0 | 175M| 62 | 8 | 198 | 9 | 198 | 22 | 21 | 23k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
224.41/224.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
224.41/224.58 c 225s|580000 |299881 | 3468k| 6.0 | 178M| 62 | 8 | 198 | 9 | 198 | 22 | 21 | 24k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
227.81/227.95 c 228s|590000 |304818 | 3525k| 6.0 | 181M| 62 | 8 | 198 | 9 | 198 | 22 | 21 | 24k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
231.01/231.15 c 231s|600000 |308815 | 3579k| 6.0 | 184M| 62 | - | 198 | 8 | 0 | 0 | 21 | 24k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
234.21/234.31 c 234s|610000 |312769 | 3634k| 6.0 | 186M| 62 | 8 | 198 | 10 | 198 | 22 | 21 | 25k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
237.41/237.58 c 238s|620000 |316875 | 3689k| 6.0 | 189M| 62 | 8 | 198 | 10 | 198 | 22 | 21 | 25k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
240.71/240.81 c 241s|630000 |320939 | 3743k| 5.9 | 192M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 26k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
244.01/244.11 c 244s|640000 |325270 | 3798k| 5.9 | 195M| 62 | 8 | 198 | 11 | 198 | 22 | 21 | 26k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
247.11/247.25 c 247s|650000 |329081 | 3851k| 5.9 | 198M| 62 | - | 198 | 8 | 198 | 22 | 21 | 26k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
250.30/250.42 c 250s|660000 |333041 | 3905k| 5.9 | 201M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 27k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
253.50/253.66 c 254s|670000 |336931 | 3960k| 5.9 | 204M| 62 | 8 | 198 | 9 | 198 | 22 | 21 | 27k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
256.70/256.86 c 257s|680000 |340871 | 4013k| 5.9 | 206M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 28k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
259.90/260.02 c 260s|690000 |344608 | 4068k| 5.9 | 209M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 28k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
263.20/263.30 c 263s|700000 |349071 | 4123k| 5.9 | 212M| 62 | - | 198 | 8 | 198 | 22 | 21 | 29k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
266.29/266.48 c 266s|710000 |353006 | 4177k| 5.9 | 215M| 62 | - | 198 | 10 | 198 | 22 | 21 | 29k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
269.60/269.71 c 270s|720000 |356874 | 4232k| 5.9 | 217M| 62 | - | 198 | 8 | 0 | 0 | 21 | 29k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
272.89/273.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
272.89/273.09 c 273s|730000 |361461 | 4288k| 5.9 | 221M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 30k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
276.10/276.20 c 276s|740000 |364976 | 4340k| 5.9 | 223M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 30k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
279.09/279.29 c 279s|750000 |368406 | 4393k| 5.9 | 226M| 63 | - | 198 | 9 | 0 | 0 | 21 | 30k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
282.29/282.45 c 282s|760000 |372004 | 4447k| 5.9 | 228M| 63 | - | 198 | 10 | 198 | 22 | 21 | 31k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
285.39/285.56 c 286s|770000 |375517 | 4500k| 5.8 | 231M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 31k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
289.10/289.21 c 289s|780000 |380541 | 4559k| 5.8 | 234M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 32k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
292.79/292.91 c 293s|790000 |386311 | 4619k| 5.8 | 237M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 32k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
296.19/296.32 c 296s|800000 |391178 | 4676k| 5.8 | 240M| 63 | - | 198 | 9 | 198 | 22 | 21 | 33k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
299.49/299.66 c 300s|810000 |395614 | 4732k| 5.8 | 243M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 33k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
302.79/302.96 c 303s|820000 |400077 | 4787k| 5.8 | 246M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 33k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
305.99/306.14 c 306s|830000 |403992 | 4840k| 5.8 | 249M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 34k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
309.18/309.32 c 309s|840000 |408201 | 4894k| 5.8 | 252M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 34k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
312.29/312.48 c 312s|850000 |412374 | 4947k| 5.8 | 255M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 35k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
315.49/315.62 c 316s|860000 |416104 | 4999k| 5.8 | 257M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 35k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
318.58/318.79 c 319s|870000 |419847 | 5053k| 5.8 | 260M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 36k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
321.79/321.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
321.79/321.92 c 322s|880000 |423668 | 5105k| 5.8 | 263M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 36k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
324.99/325.13 c 325s|890000 |427698 | 5159k| 5.8 | 265M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 36k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
328.09/328.22 c 328s|900000 |431457 | 5212k| 5.8 | 268M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 37k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
331.18/331.33 c 331s|910000 |434890 | 5264k| 5.8 | 270M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 37k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
334.29/334.45 c 334s|920000 |438497 | 5317k| 5.8 | 273M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 38k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
337.59/337.72 c 338s|930000 |442441 | 5372k| 5.8 | 276M| 63 | - | 198 | 8 | 198 | 22 | 21 | 38k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
341.19/341.36 c 341s|940000 |448117 | 5432k| 5.8 | 279M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 38k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
344.39/344.59 c 345s|950000 |452442 | 5487k| 5.8 | 282M| 63 | - | 198 | 8 | 198 | 22 | 21 | 39k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
347.58/347.77 c 348s|960000 |456443 | 5541k| 5.8 | 284M| 63 | - | 198 | 8 | 198 | 22 | 21 | 39k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
350.79/350.93 c 351s|970000 |460095 | 5594k| 5.8 | 287M| 63 | - | 198 | 8 | 198 | 22 | 21 | 40k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
353.88/354.10 c 354s|980000 |463797 | 5648k| 5.8 | 290M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 40k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
356.98/357.17 c 357s|990000 |466988 | 5701k| 5.8 | 292M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 40k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
360.38/360.58 c 361s| 1000k|471331 | 5758k| 5.8 | 295M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 41k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
363.68/363.87 c 364s| 1010k|475291 | 5815k| 5.8 | 298M| 63 | - | 198 | 15 | 0 | 0 | 21 | 41k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
367.28/367.49 c 367s| 1020k|480428 | 5874k| 5.8 | 301M| 63 | - | 198 | 11 | 0 | 0 | 21 | 42k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
370.78/370.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
370.78/370.97 c 371s| 1030k|485453 | 5932k| 5.8 | 304M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 42k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
374.18/374.34 c 374s| 1040k|489942 | 5988k| 5.8 | 307M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 42k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
377.38/377.50 c 377s| 1050k|493731 | 6042k| 5.8 | 310M| 63 | - | 198 | 10 | 0 | 0 | 21 | 43k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
380.67/380.83 c 381s| 1060k|498069 | 6099k| 5.8 | 313M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 43k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
383.98/384.12 c 384s| 1070k|502137 | 6154k| 5.8 | 315M| 63 | - | 198 | 9 | 198 | 22 | 21 | 43k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
387.38/387.52 c 388s| 1080k|506964 | 6211k| 5.8 | 318M| 63 | - | 198 | 8 | 198 | 22 | 21 | 44k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
390.68/390.83 c 391s| 1090k|511290 | 6267k| 5.7 | 321M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 44k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
393.87/394.03 c 394s| 1100k|515192 | 6321k| 5.7 | 324M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 45k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
396.98/397.18 c 397s| 1110k|518787 | 6375k| 5.7 | 327M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 45k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
400.18/400.33 c 400s| 1120k|522307 | 6429k| 5.7 | 329M| 63 | - | 198 | 9 | 198 | 22 | 21 | 45k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
403.27/403.49 c 403s| 1130k|525714 | 6483k| 5.7 | 332M| 63 | - | 198 | 9 | 198 | 22 | 21 | 46k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
406.47/406.66 c 407s| 1140k|529356 | 6538k| 5.7 | 334M| 63 | - | 198 | 10 | 198 | 22 | 21 | 46k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
409.57/409.74 c 410s| 1150k|532505 | 6592k| 5.7 | 337M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 46k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
412.67/412.85 c 413s| 1160k|535569 | 6645k| 5.7 | 340M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 47k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
415.87/416.00 c 416s| 1170k|538901 | 6699k| 5.7 | 342M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 47k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
418.97/419.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
418.97/419.13 c 419s| 1180k|542430 | 6751k| 5.7 | 345M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 47k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
422.07/422.26 c 422s| 1190k|545889 | 6804k| 5.7 | 347M| 63 | - | 198 | 8 | 198 | 22 | 21 | 48k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
425.27/425.41 c 425s| 1200k|549296 | 6859k| 5.7 | 350M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 48k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
428.37/428.54 c 429s| 1210k|552598 | 6912k| 5.7 | 353M| 63 | - | 198 | 8 | 0 | 0 | 21 | 49k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
431.47/431.63 c 432s| 1220k|555981 | 6964k| 5.7 | 355M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 49k| 18k| 0.000000e+00 | 2.800000e+01 | Inf
434.67/434.84 c 435s| 1230k|560072 | 7018k| 5.7 | 358M| 63 | - | 198 | 9 | 198 | 22 | 21 | 49k| 18k| 0.000000e+00 | 2.800000e+01 | Inf
437.77/437.97 c 438s| 1240k|563453 | 7071k| 5.7 | 360M| 63 | - | 198 | 9 | 198 | 22 | 21 | 50k| 18k| 0.000000e+00 | 2.800000e+01 | Inf
440.67/440.81 o 26
440.67/440.81 c * 441s| 1249k|560097 | 7120k| 5.7 | 353M| 63 | - | 198 | 10 | 198 | 22 | 21 | 50k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
440.97/441.10 c 441s| 1250k|560461 | 7124k| 5.7 | 353M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 50k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
444.06/444.26 c 444s| 1260k|563936 | 7177k| 5.7 | 356M| 63 | - | 198 | 12 | 198 | 22 | 21 | 51k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
448.16/448.32 c 448s| 1270k|567038 | 7228k| 5.7 | 358M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 51k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
451.16/451.32 c 451s| 1280k|569930 | 7281k| 5.7 | 361M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 51k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
454.17/454.35 c 454s| 1290k|573467 | 7333k| 5.7 | 363M| 63 | - | 198 | 10 | 198 | 22 | 21 | 52k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
457.07/457.26 c 457s| 1300k|576135 | 7384k| 5.7 | 366M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 52k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
460.06/460.24 c 460s| 1310k|579317 | 7435k| 5.7 | 368M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 52k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
462.97/463.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
462.97/463.18 c 463s| 1320k|582007 | 7485k| 5.7 | 371M| 63 | - | 198 | 9 | 0 | 0 | 21 | 53k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
466.06/466.25 c 466s| 1330k|585548 | 7538k| 5.7 | 373M| 63 | - | 198 | 9 | 198 | 22 | 21 | 53k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
469.06/469.25 c 469s| 1340k|588920 | 7590k| 5.7 | 376M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 54k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
472.06/472.20 c 472s| 1350k|591875 | 7641k| 5.7 | 378M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 54k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
474.86/475.08 c 475s| 1360k|594371 | 7691k| 5.7 | 380M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 54k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
477.85/478.02 c 478s| 1370k|597462 | 7742k| 5.7 | 383M| 63 | - | 198 | 10 | 198 | 22 | 21 | 55k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
480.85/481.06 c 481s| 1380k|600498 | 7794k| 5.6 | 385M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 55k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
483.95/484.12 c 484s| 1390k|603666 | 7847k| 5.6 | 388M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 55k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
486.85/487.08 c 487s| 1400k|606245 | 7900k| 5.6 | 390M| 63 | - | 198 | 9 | 198 | 22 | 21 | 56k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
489.85/490.04 c 490s| 1410k|609152 | 7951k| 5.6 | 392M| 63 | - | 198 | 9 | 198 | 22 | 21 | 56k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
492.75/492.94 c 493s| 1420k|611890 | 8001k| 5.6 | 395M| 63 | 8 | 198 | 13 | 198 | 22 | 21 | 57k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
495.65/495.87 c 496s| 1430k|614842 | 8052k| 5.6 | 397M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 57k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
498.55/498.77 c 499s| 1440k|617804 | 8104k| 5.6 | 399M| 63 | - | 198 | 8 | 0 | 0 | 21 | 57k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
501.45/501.63 c 502s| 1450k|620455 | 8154k| 5.6 | 402M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 58k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
504.04/504.27 o 24
504.04/504.27 c * 504s| 1458k|614546 | 8199k| 5.6 | 392M| 63 | - | 198 | 9 | 198 | 22 | 21 | 58k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
504.04/504.29 o 22
504.04/504.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
504.04/504.29 c * 504s| 1458k|604372 | 8199k| 5.6 | 379M| 63 | - | 198 | 9 | 198 | 22 | 21 | 58k| 19k| 0.000000e+00 | 2.200000e+01 | Inf
504.45/504.65 c 505s| 1460k|604772 | 8205k| 5.6 | 380M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 58k| 19k| 0.000000e+00 | 2.200000e+01 | Inf
507.35/507.51 c 508s| 1470k|607107 | 8253k| 5.6 | 382M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 59k| 19k| 0.000000e+00 | 2.200000e+01 | Inf
510.25/510.47 c 510s| 1480k|610084 | 8302k| 5.6 | 384M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 59k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
513.24/513.41 c 513s| 1490k|612807 | 8349k| 5.6 | 386M| 63 | - | 198 | 9 | 0 | 0 | 21 | 59k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
516.05/516.25 c 516s| 1500k|615181 | 8397k| 5.6 | 388M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 60k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
518.95/519.13 c 519s| 1510k|617436 | 8446k| 5.6 | 390M| 63 | - | 198 | 11 | 198 | 22 | 21 | 60k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
521.84/522.04 c 522s| 1520k|620230 | 8495k| 5.6 | 392M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 60k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
524.74/524.91 c 525s| 1530k|622881 | 8543k| 5.6 | 394M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 61k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
527.64/527.81 c 528s| 1540k|625799 | 8591k| 5.6 | 396M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 61k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
530.44/530.64 c 531s| 1550k|628347 | 8639k| 5.6 | 399M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 62k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
533.44/533.60 c 534s| 1560k|631126 | 8689k| 5.6 | 401M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 62k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
536.25/536.45 c 536s| 1570k|633744 | 8736k| 5.6 | 403M| 63 | - | 198 | 8 | 198 | 22 | 21 | 62k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
539.04/539.25 c 539s| 1580k|635885 | 8783k| 5.6 | 405M| 63 | - | 198 | 8 | 198 | 22 | 21 | 63k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
541.84/542.09 c 542s| 1590k|638399 | 8831k| 5.6 | 407M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 63k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
544.74/544.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
544.74/544.92 c 545s| 1600k|640657 | 8879k| 5.5 | 409M| 63 | - | 198 | 8 | 198 | 22 | 21 | 63k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
547.55/547.76 c 548s| 1610k|642894 | 8927k| 5.5 | 411M| 63 | - | 198 | 8 | 198 | 22 | 21 | 64k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
550.33/550.59 c 551s| 1620k|645166 | 8974k| 5.5 | 413M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 64k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
553.23/553.42 c 553s| 1630k|647517 | 9022k| 5.5 | 415M| 63 | - | 198 | 8 | 0 | 0 | 21 | 65k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
556.03/556.26 c 556s| 1640k|649927 | 9069k| 5.5 | 417M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 65k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
558.83/559.08 c 559s| 1650k|652304 | 9116k| 5.5 | 419M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 65k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
561.73/561.95 c 562s| 1660k|654666 | 9165k| 5.5 | 422M| 63 | - | 198 | 9 | 198 | 22 | 21 | 66k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
564.53/564.76 c 565s| 1670k|656683 | 9213k| 5.5 | 423M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 66k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
567.34/567.56 c 568s| 1680k|658931 | 9261k| 5.5 | 425M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 67k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
570.12/570.39 c 570s| 1690k|661057 | 9308k| 5.5 | 427M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 67k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
573.02/573.21 c 573s| 1700k|663287 | 9355k| 5.5 | 429M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 67k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
575.82/576.04 c 576s| 1710k|665510 | 9402k| 5.5 | 431M| 63 | - | 198 | 8 | 198 | 22 | 21 | 68k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
578.63/578.88 c 579s| 1720k|667671 | 9451k| 5.5 | 433M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 68k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
581.52/581.70 c 582s| 1730k|669865 | 9498k| 5.5 | 435M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 69k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
584.23/584.48 c 584s| 1740k|671926 | 9545k| 5.5 | 437M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 69k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
587.13/587.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
587.13/587.34 c 587s| 1750k|674567 | 9593k| 5.5 | 439M| 63 | - | 198 | 9 | 198 | 22 | 21 | 69k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
589.92/590.18 c 590s| 1760k|676699 | 9641k| 5.5 | 441M| 63 | - | 198 | 8 | 198 | 22 | 21 | 70k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
592.92/593.11 c 593s| 1770k|679599 | 9691k| 5.5 | 444M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 70k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
595.82/596.09 c 596s| 1780k|682798 | 9741k| 5.5 | 446M| 63 | - | 198 | 8 | 0 | 0 | 21 | 70k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
598.72/598.93 c 599s| 1790k|685734 | 9789k| 5.5 | 448M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 71k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
601.52/601.75 c 602s| 1800k|687812 | 9836k| 5.5 | 450M| 63 | - | 198 | 8 | 198 | 22 | 21 | 71k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
604.32/604.58 c 605s| 1810k|690120 | 9883k| 5.5 | 452M| 63 | - | 198 | 8 | 198 | 22 | 21 | 72k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
607.12/607.36 c 607s| 1820k|692053 | 9931k| 5.5 | 454M| 63 | - | 198 | 8 | 198 | 22 | 21 | 72k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
610.02/610.22 c 610s| 1830k|694254 | 9980k| 5.5 | 456M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 72k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
612.82/613.01 c 613s| 1840k|696412 | 10026k| 5.4 | 458M| 63 | - | 198 | 8 | 198 | 22 | 21 | 73k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
615.61/615.89 c 616s| 1850k|698896 | 10077k| 5.4 | 460M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 73k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
618.52/618.76 c 619s| 1860k|701423 | 10126k| 5.4 | 462M| 63 | - | 198 | 8 | 198 | 22 | 21 | 73k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
621.42/621.66 c 622s| 1870k|704092 | 10174k| 5.4 | 464M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 74k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
624.22/624.45 c 624s| 1880k|706211 | 10221k| 5.4 | 466M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 74k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
627.22/627.44 c 627s| 1890k|709578 | 10271k| 5.4 | 469M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 74k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
630.02/630.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
630.02/630.28 c 630s| 1900k|712344 | 10318k| 5.4 | 471M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 75k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
632.81/633.08 c 633s| 1910k|714565 | 10367k| 5.4 | 473M| 63 | - | 198 | 8 | 198 | 22 | 21 | 75k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
635.92/636.10 c 636s| 1920k|717768 | 10417k| 5.4 | 475M| 63 | - | 198 | 8 | 198 | 22 | 21 | 76k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
638.71/638.91 c 639s| 1930k|720130 | 10464k| 5.4 | 477M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 76k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
641.62/641.86 c 642s| 1940k|722951 | 10512k| 5.4 | 479M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 76k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
644.71/644.95 c 645s| 1950k|726961 | 10563k| 5.4 | 482M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 76k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
647.62/647.83 c 648s| 1960k|730068 | 10612k| 5.4 | 484M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 77k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
650.41/650.65 c 651s| 1970k|732341 | 10659k| 5.4 | 486M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 77k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
653.21/653.49 c 653s| 1980k|734611 | 10706k| 5.4 | 488M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 78k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
656.21/656.43 c 656s| 1990k|737742 | 10756k| 5.4 | 491M| 63 | - | 198 | 8 | 198 | 22 | 21 | 78k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
659.11/659.33 c 659s| 2000k|740414 | 10804k| 5.4 | 493M| 63 | - | 198 | 8 | 198 | 22 | 21 | 78k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
662.11/662.35 c 662s| 2010k|743561 | 10855k| 5.4 | 495M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 78k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
665.01/665.29 c 665s| 2020k|746734 | 10904k| 5.4 | 498M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 79k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
668.01/668.23 c 668s| 2030k|749673 | 10953k| 5.4 | 500M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 79k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
671.21/671.40 c 671s| 2040k|753568 | 11006k| 5.4 | 502M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 79k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
674.01/674.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
674.01/674.28 c 674s| 2050k|756328 | 11054k| 5.4 | 505M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 80k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
677.01/677.21 c 677s| 2060k|759111 | 11102k| 5.4 | 507M| 63 | - | 198 | 8 | 198 | 22 | 21 | 80k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
680.11/680.30 c 680s| 2070k|762570 | 11153k| 5.4 | 509M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 80k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
683.01/683.21 c 683s| 2080k|765338 | 11202k| 5.4 | 511M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 81k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
685.80/686.05 c 686s| 2090k|768147 | 11249k| 5.4 | 514M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 81k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
688.81/689.08 c 689s| 2100k|771505 | 11299k| 5.4 | 516M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 82k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
692.00/692.26 c 692s| 2110k|775324 | 11351k| 5.4 | 519M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 82k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
695.11/695.31 c 695s| 2120k|778900 | 11402k| 5.4 | 521M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 82k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
698.11/698.38 c 698s| 2130k|782306 | 11453k| 5.4 | 524M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 82k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
699.00/699.29 o 21
699.00/699.29 c * 699s| 2133k|776700 | 11469k| 5.4 | 516M| 63 | - | 198 | 10 | 198 | 22 | 21 | 83k| 24k| 0.000000e+00 | 2.100000e+01 | Inf
701.11/701.31 c 701s| 2140k|778301 | 11502k| 5.4 | 517M| 63 | - | 198 | 9 | 198 | 22 | 21 | 83k| 24k| 0.000000e+00 | 2.100000e+01 | Inf
704.00/704.21 c 704s| 2150k|780705 | 11552k| 5.4 | 519M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 83k| 24k| 0.000000e+00 | 2.100000e+01 | Inf
706.81/707.07 c 707s| 2160k|782927 | 11600k| 5.4 | 521M| 63 | - | 198 | 8 | 0 | 0 | 21 | 84k| 24k| 0.000000e+00 | 2.100000e+01 | Inf
709.71/709.98 c 710s| 2170k|785516 | 11651k| 5.4 | 523M| 63 | - | 198 | 10 | 0 | 0 | 21 | 84k| 24k| 0.000000e+00 | 2.100000e+01 | Inf
712.51/712.75 o 19
712.51/712.75 c * 713s| 2179k|773055 | 11697k| 5.4 | 507M| 63 | - | 198 | 10 | 198 | 22 | 21 | 84k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
712.51/712.78 o 17
712.51/712.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
712.51/712.78 c * 713s| 2179k|755147 | 11697k| 5.4 | 486M| 63 | - | 198 | 10 | 198 | 22 | 21 | 84k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
712.70/712.93 c 713s| 2180k|755206 | 11699k| 5.4 | 486M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 84k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
715.50/715.71 c 716s| 2190k|757302 | 11745k| 5.4 | 487M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 84k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
718.30/718.52 c 719s| 2200k|760036 | 11792k| 5.4 | 489M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 85k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
721.01/721.28 c 721s| 2210k|762364 | 11838k| 5.4 | 491M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 85k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
723.80/724.06 c 724s| 2220k|764500 | 11883k| 5.4 | 493M| 63 | - | 198 | 8 | 198 | 22 | 21 | 85k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
726.60/726.87 c 727s| 2230k|766576 | 11930k| 5.3 | 495M| 63 | - | 198 | 8 | 198 | 22 | 21 | 86k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
729.50/729.73 c 730s| 2240k|769319 | 11976k| 5.3 | 496M| 63 | - | 198 | 8 | 198 | 22 | 21 | 86k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
732.31/732.50 c 733s| 2250k|771685 | 12021k| 5.3 | 498M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 86k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
735.00/735.24 c 735s| 2260k|773486 | 12066k| 5.3 | 500M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 87k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
737.80/738.02 c 738s| 2270k|775558 | 12111k| 5.3 | 502M| 63 | - | 198 | 8 | 0 | 0 | 21 | 87k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
740.49/740.73 c 741s| 2280k|777423 | 12155k| 5.3 | 503M| 63 | - | 198 | 10 | 198 | 22 | 21 | 87k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
743.20/743.45 c 743s| 2290k|779280 | 12200k| 5.3 | 505M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 88k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
745.90/746.19 c 746s| 2300k|781143 | 12245k| 5.3 | 506M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 88k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
748.81/749.01 c 749s| 2310k|783441 | 12291k| 5.3 | 508M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 88k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
751.49/751.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
751.49/751.79 c 752s| 2320k|785863 | 12337k| 5.3 | 510M| 63 | - | 198 | 8 | 198 | 22 | 21 | 89k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
754.30/754.59 c 755s| 2330k|788195 | 12384k| 5.3 | 512M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 89k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
757.20/757.41 c 757s| 2340k|790622 | 12429k| 5.3 | 514M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 89k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
759.99/760.23 c 760s| 2350k|793227 | 12475k| 5.3 | 515M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 90k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
762.79/763.02 c 763s| 2360k|795693 | 12520k| 5.3 | 517M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 90k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
765.60/765.81 c 766s| 2370k|798302 | 12566k| 5.3 | 519M| 63 | - | 198 | 8 | 198 | 22 | 21 | 90k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
768.30/768.59 c 769s| 2380k|800845 | 12610k| 5.3 | 521M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 91k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
771.09/771.39 c 771s| 2390k|803280 | 12656k| 5.3 | 523M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 91k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
773.89/774.11 c 774s| 2400k|805388 | 12701k| 5.3 | 525M| 63 | - | 198 | 8 | 0 | 0 | 21 | 91k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
776.60/776.87 c 777s| 2410k|807637 | 12747k| 5.3 | 527M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 92k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
779.40/779.63 c 780s| 2420k|809746 | 12792k| 5.3 | 528M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 92k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
782.09/782.35 c 782s| 2430k|811688 | 12837k| 5.3 | 530M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 92k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
784.79/785.04 c 785s| 2440k|813540 | 12881k| 5.3 | 532M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 93k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
787.49/787.79 c 788s| 2450k|815768 | 12925k| 5.3 | 533M| 63 | - | 198 | 8 | 198 | 22 | 21 | 93k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
790.30/790.54 c 791s| 2460k|818098 | 12969k| 5.3 | 535M| 63 | - | 198 | 9 | 0 | 0 | 21 | 93k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
792.99/793.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
792.99/793.26 c 793s| 2470k|819930 | 13015k| 5.3 | 537M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 94k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
795.79/796.08 c 796s| 2480k|822161 | 13060k| 5.3 | 538M| 63 | - | 198 | 9 | 198 | 22 | 21 | 94k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
798.59/798.80 c 799s| 2490k|824386 | 13105k| 5.3 | 540M| 63 | - | 198 | 8 | 198 | 22 | 21 | 94k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
801.29/801.52 c 802s| 2500k|826096 | 13149k| 5.3 | 542M| 63 | - | 198 | 9 | 198 | 22 | 21 | 95k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
803.99/804.25 c 804s| 2510k|827855 | 13193k| 5.3 | 543M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 95k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
806.78/807.05 c 807s| 2520k|830140 | 13239k| 5.3 | 545M| 63 | - | 198 | 11 | 198 | 22 | 21 | 95k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
809.69/809.99 c 810s| 2530k|833240 | 13287k| 5.3 | 547M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 96k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
812.49/812.79 c 813s| 2540k|836013 | 13333k| 5.2 | 549M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 96k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
815.39/815.61 c 816s| 2550k|838587 | 13379k| 5.2 | 551M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 96k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
818.20/818.46 c 818s| 2560k|841191 | 13426k| 5.2 | 553M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 97k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
821.09/821.35 c 821s| 2570k|843931 | 13474k| 5.2 | 555M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 97k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
823.99/824.20 c 824s| 2580k|846534 | 13521k| 5.2 | 557M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 97k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
826.89/827.18 c 827s| 2590k|850074 | 13568k| 5.2 | 559M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 98k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
829.69/829.99 c 830s| 2600k|852732 | 13614k| 5.2 | 561M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 98k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
832.49/832.76 c 833s| 2610k|855494 | 13660k| 5.2 | 563M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 98k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
835.18/835.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
835.18/835.47 c 835s| 2620k|857592 | 13705k| 5.2 | 565M| 63 | - | 198 | 9 | 198 | 22 | 21 | 99k| 27k| 0.000000e+00 | 1.700000e+01 | Inf
838.09/838.33 c 838s| 2630k|860252 | 13751k| 5.2 | 567M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 99k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
840.98/841.21 c 841s| 2640k|863155 | 13799k| 5.2 | 569M| 63 | - | 198 | 8 | 198 | 22 | 21 | 99k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
843.79/844.09 c 844s| 2650k|865773 | 13846k| 5.2 | 571M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 100k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
846.59/846.87 c 847s| 2660k|867796 | 13891k| 5.2 | 573M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 100k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
849.39/849.61 c 850s| 2670k|869936 | 13935k| 5.2 | 575M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 101k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
852.19/852.42 c 852s| 2680k|872588 | 13981k| 5.2 | 577M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 101k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
854.88/855.12 c 855s| 2690k|874730 | 14026k| 5.2 | 579M| 63 | - | 198 | 10 | 198 | 22 | 21 | 101k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
857.58/857.88 c 858s| 2700k|876947 | 14071k| 5.2 | 581M| 63 | - | 198 | 8 | 198 | 22 | 21 | 102k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
860.38/860.65 c 861s| 2710k|879037 | 14115k| 5.2 | 582M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 102k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
863.19/863.43 c 863s| 2720k|881435 | 14160k| 5.2 | 584M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 102k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
865.88/866.19 c 866s| 2730k|883647 | 14205k| 5.2 | 586M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 103k| 28k| 0.000000e+00 | 1.700000e+01 | Inf
867.88/868.10 o 15
867.88/868.10 c * 868s| 2736k|856923 | 14235k| 5.2 | 556M| 63 | - | 198 | 8 | 198 | 22 | 21 | 103k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
868.68/868.96 c 869s| 2740k|857513 | 14250k| 5.2 | 556M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 103k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
871.38/871.61 c 872s| 2750k|859491 | 14296k| 5.2 | 558M| 63 | - | 198 | 11 | 198 | 22 | 21 | 103k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
874.08/874.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
874.08/874.30 c 874s| 2760k|861538 | 14342k| 5.2 | 559M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 104k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
876.68/876.95 c 877s| 2770k|863514 | 14388k| 5.2 | 561M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 104k| 28k| 0.000000e+00 | 1.500000e+01 | Inf
879.38/879.62 c 880s| 2780k|865198 | 14435k| 5.2 | 562M| 63 | - | 198 | 9 | 198 | 22 | 21 | 104k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
881.98/882.29 c 882s| 2790k|866785 | 14483k| 5.2 | 563M| 63 | 8 | 198 | 17 | 198 | 22 | 21 | 105k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
884.67/884.95 c 885s| 2800k|868464 | 14530k| 5.2 | 565M| 63 | - | 198 | 10 | 198 | 22 | 21 | 105k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
887.38/887.63 c 888s| 2810k|870594 | 14576k| 5.2 | 566M| 63 | - | 198 | 12 | 198 | 22 | 21 | 105k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
890.08/890.31 c 890s| 2820k|872511 | 14622k| 5.2 | 568M| 63 | - | 198 | 10 | 198 | 22 | 21 | 106k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
892.67/892.98 c 893s| 2830k|873910 | 14668k| 5.2 | 569M| 63 | - | 198 | 13 | 198 | 22 | 21 | 106k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
895.37/895.65 c 896s| 2840k|875329 | 14715k| 5.2 | 570M| 63 | 8 | 198 | 13 | 198 | 22 | 21 | 107k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
898.08/898.31 c 898s| 2850k|877036 | 14761k| 5.2 | 571M| 63 | - | 198 | 11 | 198 | 22 | 21 | 107k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
900.68/900.94 c 901s| 2860k|878574 | 14807k| 5.2 | 572M| 63 | - | 198 | 8 | 198 | 22 | 21 | 107k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
903.27/903.58 c 904s| 2870k|879955 | 14852k| 5.2 | 574M| 63 | - | 198 | 9 | 0 | 0 | 21 | 108k| 29k| 0.000000e+00 | 1.500000e+01 | Inf
905.97/906.27 c 906s| 2880k|882100 | 14899k| 5.2 | 575M| 63 | - | 198 | 11 | 0 | 0 | 21 | 108k| 30k| 0.000000e+00 | 1.500000e+01 | Inf
908.67/908.94 c 909s| 2890k|883726 | 14945k| 5.2 | 576M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 108k| 30k| 0.000000e+00 | 1.500000e+01 | Inf
911.27/911.59 c 912s| 2900k|885316 | 14991k| 5.2 | 578M| 63 | - | 198 | 8 | 198 | 22 | 21 | 109k| 30k| 0.000000e+00 | 1.500000e+01 | Inf
913.97/914.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
913.97/914.22 c 914s| 2910k|886796 | 15036k| 5.2 | 579M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 109k| 30k| 0.000000e+00 | 1.500000e+01 | Inf
916.57/916.89 c 917s| 2920k|888569 | 15083k| 5.2 | 580M| 63 | - | 198 | 11 | 198 | 22 | 21 | 109k| 30k| 0.000000e+00 | 1.500000e+01 | Inf
919.28/919.56 c 920s| 2930k|889781 | 15130k| 5.2 | 581M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 110k| 30k| 0.000000e+00 | 1.500000e+01 | Inf
921.96/922.24 c 922s| 2940k|891479 | 15177k| 5.2 | 583M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 110k| 30k| 0.000000e+00 | 1.500000e+01 | Inf
924.57/924.87 c 925s| 2950k|893249 | 15222k| 5.2 | 584M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 110k| 30k| 0.000000e+00 | 1.500000e+01 | Inf
927.27/927.54 c 928s| 2960k|894735 | 15269k| 5.2 | 585M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 111k| 30k| 0.000000e+00 | 1.500000e+01 | Inf
929.96/930.20 c 930s| 2970k|896164 | 15315k| 5.2 | 586M| 63 | - | 198 | 10 | 198 | 22 | 21 | 111k| 30k| 0.000000e+00 | 1.500000e+01 | Inf
932.57/932.81 c 933s| 2980k|897775 | 15361k| 5.2 | 587M| 63 | 8 | 198 | 13 | 198 | 22 | 21 | 111k| 30k| 0.000000e+00 | 1.500000e+01 | Inf
935.17/935.46 c 935s| 2990k|899439 | 15406k| 5.2 | 589M| 63 | 8 | 198 | 15 | 198 | 22 | 21 | 112k| 30k| 0.000000e+00 | 1.500000e+01 | Inf
937.87/938.12 c 938s| 3000k|901281 | 15453k| 5.2 | 590M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 112k| 30k| 0.000000e+00 | 1.500000e+01 | Inf
940.47/940.72 c 941s| 3010k|902685 | 15498k| 5.1 | 591M| 63 | - | 198 | 10 | 198 | 22 | 21 | 113k| 31k| 0.000000e+00 | 1.500000e+01 | Inf
943.06/943.39 c 943s| 3020k|903925 | 15545k| 5.1 | 592M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 113k| 31k| 0.000000e+00 | 1.500000e+01 | Inf
945.77/946.09 c 946s| 3030k|905599 | 15591k| 5.1 | 593M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 113k| 31k| 0.000000e+00 | 1.500000e+01 | Inf
948.46/948.78 c 949s| 3040k|907875 | 15636k| 5.1 | 595M| 63 | - | 198 | 8 | 198 | 22 | 21 | 114k| 31k| 0.000000e+00 | 1.500000e+01 | Inf
951.17/951.41 c 951s| 3050k|909779 | 15681k| 5.1 | 596M| 63 | - | 198 | 9 | 0 | 0 | 21 | 114k| 31k| 0.000000e+00 | 1.500000e+01 | Inf
953.96/954.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
953.96/954.22 c 954s| 3060k|912462 | 15731k| 5.1 | 598M| 63 | - | 198 | 8 | 198 | 22 | 21 | 114k| 31k| 0.000000e+00 | 1.500000e+01 | Inf
956.67/956.90 c 957s| 3070k|914552 | 15779k| 5.1 | 600M| 63 | - | 198 | 11 | 198 | 22 | 21 | 115k| 31k| 0.000000e+00 | 1.500000e+01 | Inf
959.36/959.63 c 960s| 3080k|916598 | 15827k| 5.1 | 601M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 115k| 31k| 0.000000e+00 | 1.500000e+01 | Inf
961.97/962.29 c 962s| 3090k|918194 | 15875k| 5.1 | 602M| 63 | - | 198 | 9 | 198 | 22 | 21 | 115k| 31k| 0.000000e+00 | 1.500000e+01 | Inf
964.66/964.97 c 965s| 3100k|920583 | 15921k| 5.1 | 604M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 115k| 31k| 0.000000e+00 | 1.500000e+01 | Inf
967.36/967.61 c 968s| 3110k|922620 | 15967k| 5.1 | 605M| 63 | - | 198 | 11 | 198 | 22 | 21 | 116k| 31k| 0.000000e+00 | 1.500000e+01 | Inf
969.96/970.28 c 970s| 3120k|924649 | 16013k| 5.1 | 607M| 63 | - | 198 | 10 | 198 | 22 | 21 | 116k| 31k| 0.000000e+00 | 1.500000e+01 | Inf
972.66/972.94 c 973s| 3130k|926182 | 16059k| 5.1 | 608M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 116k| 31k| 0.000000e+00 | 1.500000e+01 | Inf
975.47/975.73 c 976s| 3140k|928686 | 16107k| 5.1 | 610M| 63 | - | 198 | 13 | 198 | 22 | 21 | 117k| 31k| 0.000000e+00 | 1.500000e+01 | Inf
978.26/978.53 c 979s| 3150k|930921 | 16157k| 5.1 | 611M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 117k| 31k| 0.000000e+00 | 1.500000e+01 | Inf
980.96/981.23 c 981s| 3160k|933086 | 16205k| 5.1 | 613M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 117k| 31k| 0.000000e+00 | 1.500000e+01 | Inf
984.06/984.30 c 984s| 3170k|936258 | 16258k| 5.1 | 615M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 118k| 31k| 0.000000e+00 | 1.500000e+01 | Inf
987.05/987.31 c 987s| 3180k|939924 | 16310k| 5.1 | 617M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 118k| 31k| 0.000000e+00 | 1.500000e+01 | Inf
989.95/990.23 c 990s| 3190k|943410 | 16360k| 5.1 | 619M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 118k| 32k| 0.000000e+00 | 1.500000e+01 | Inf
992.86/993.17 c 993s| 3200k|946791 | 16410k| 5.1 | 621M| 63 | - | 198 | 10 | 198 | 22 | 21 | 119k| 32k| 0.000000e+00 | 1.500000e+01 | Inf
995.66/995.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
995.66/995.99 c 996s| 3210k|949627 | 16458k| 5.1 | 622M| 63 | - | 198 | 11 | 0 | 0 | 21 | 119k| 32k| 0.000000e+00 | 1.500000e+01 | Inf
998.47/998.72 c 999s| 3220k|952016 | 16505k| 5.1 | 624M| 63 | - | 198 | 10 | 198 | 22 | 21 | 119k| 32k| 0.000000e+00 | 1.500000e+01 | Inf
1001.36/1001.67 c 1002s| 3230k|955647 | 16555k| 5.1 | 626M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 120k| 32k| 0.000000e+00 | 1.500000e+01 | Inf
1004.06/1004.38 c 1004s| 3240k|958240 | 16601k| 5.1 | 628M| 63 | 8 | 198 | 13 | 198 | 22 | 21 | 120k| 32k| 0.000000e+00 | 1.500000e+01 | Inf
1006.75/1007.09 c 1007s| 3250k|960586 | 16649k| 5.1 | 629M| 63 | - | 198 | 10 | 198 | 22 | 21 | 120k| 32k| 0.000000e+00 | 1.500000e+01 | Inf
1009.56/1009.82 c 1010s| 3260k|963099 | 16696k| 5.1 | 631M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 121k| 32k| 0.000000e+00 | 1.500000e+01 | Inf
1012.35/1012.61 c 1013s| 3270k|965849 | 16744k| 5.1 | 633M| 63 | - | 198 | 12 | 198 | 22 | 21 | 121k| 32k| 0.000000e+00 | 1.500000e+01 | Inf
1015.26/1015.50 c 1015s| 3280k|969192 | 16793k| 5.1 | 635M| 63 | 8 | 198 | 12 | 198 | 22 | 21 | 121k| 32k| 0.000000e+00 | 1.500000e+01 | Inf
1018.15/1018.44 c 1018s| 3290k|972631 | 16841k| 5.1 | 636M| 63 | - | 198 | 9 | 198 | 22 | 21 | 122k| 32k| 0.000000e+00 | 1.500000e+01 | Inf
1021.25/1021.52 c 1022s| 3300k|976737 | 16892k| 5.1 | 639M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 122k| 32k| 0.000000e+00 | 1.500000e+01 | Inf
1024.05/1024.36 c 1024s| 3310k|979922 | 16939k| 5.1 | 640M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 122k| 32k| 0.000000e+00 | 1.500000e+01 | Inf
1026.85/1027.16 c 1027s| 3320k|982811 | 16987k| 5.1 | 642M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 123k| 32k| 0.000000e+00 | 1.500000e+01 | Inf
1029.75/1030.02 c 1030s| 3330k|986180 | 17035k| 5.1 | 644M| 63 | - | 198 | 11 | 198 | 22 | 21 | 123k| 32k| 0.000000e+00 | 1.500000e+01 | Inf
1032.56/1032.86 c 1033s| 3340k|989201 | 17083k| 5.1 | 646M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 123k| 32k| 0.000000e+00 | 1.500000e+01 | Inf
1035.45/1035.77 c 1036s| 3350k|992720 | 17132k| 5.1 | 648M| 63 | - | 198 | 8 | 198 | 22 | 21 | 123k| 32k| 0.000000e+00 | 1.500000e+01 | Inf
1038.35/1038.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1038.35/1038.64 c 1039s| 3360k|996434 | 17180k| 5.1 | 650M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 124k| 32k| 0.000000e+00 | 1.500000e+01 | Inf
1041.15/1041.49 c 1041s| 3370k|999694 | 17229k| 5.1 | 652M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 124k| 32k| 0.000000e+00 | 1.500000e+01 | Inf
1043.95/1044.28 c 1044s| 3380k| 1002k| 17277k| 5.1 | 653M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 124k| 32k| 0.000000e+00 | 1.500000e+01 | Inf
1046.75/1047.09 c 1047s| 3390k| 1005k| 17324k| 5.1 | 655M| 63 | - | 198 | 9 | 198 | 22 | 21 | 125k| 33k| 0.000000e+00 | 1.500000e+01 | Inf
1049.64/1049.92 c 1050s| 3400k| 1008k| 17373k| 5.1 | 657M| 63 | - | 198 | 9 | 198 | 22 | 21 | 125k| 33k| 0.000000e+00 | 1.500000e+01 | Inf
1052.35/1052.65 c 1053s| 3410k| 1011k| 17420k| 5.1 | 659M| 63 | - | 198 | 9 | 198 | 22 | 21 | 125k| 33k| 0.000000e+00 | 1.500000e+01 | Inf
1055.15/1055.42 c 1055s| 3420k| 1013k| 17467k| 5.1 | 660M| 63 | - | 198 | 10 | 198 | 22 | 21 | 126k| 33k| 0.000000e+00 | 1.500000e+01 | Inf
1057.85/1058.18 c 1058s| 3430k| 1016k| 17515k| 5.1 | 662M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 126k| 33k| 0.000000e+00 | 1.500000e+01 | Inf
1060.64/1060.93 c 1061s| 3440k| 1018k| 17561k| 5.1 | 664M| 63 | - | 198 | 10 | 198 | 22 | 21 | 126k| 33k| 0.000000e+00 | 1.500000e+01 | Inf
1063.65/1063.91 c 1064s| 3450k| 1022k| 17610k| 5.1 | 666M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 127k| 33k| 0.000000e+00 | 1.500000e+01 | Inf
1066.34/1066.66 c 1067s| 3460k| 1025k| 17656k| 5.1 | 667M| 63 | - | 198 | 8 | 198 | 22 | 21 | 127k| 33k| 0.000000e+00 | 1.500000e+01 | Inf
1069.35/1069.61 c 1070s| 3470k| 1028k| 17705k| 5.1 | 669M| 63 | - | 198 | 13 | 0 | 0 | 21 | 127k| 33k| 0.000000e+00 | 1.500000e+01 | Inf
1072.34/1072.61 c 1073s| 3480k| 1032k| 17752k| 5.1 | 671M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 128k| 33k| 0.000000e+00 | 1.500000e+01 | Inf
1075.14/1075.42 c 1075s| 3490k| 1035k| 17800k| 5.1 | 673M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 128k| 33k| 0.000000e+00 | 1.500000e+01 | Inf
1077.84/1078.16 c 1078s| 3500k| 1038k| 17845k| 5.1 | 675M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 128k| 33k| 0.000000e+00 | 1.500000e+01 | Inf
1080.64/1080.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1080.64/1080.97 c 1081s| 3510k| 1041k| 17891k| 5.1 | 676M| 63 | - | 198 | 12 | 198 | 22 | 21 | 129k| 33k| 0.000000e+00 | 1.500000e+01 | Inf
1083.74/1084.00 c 1084s| 3520k| 1045k| 17941k| 5.1 | 679M| 63 | 8 | 198 | 13 | 198 | 22 | 21 | 129k| 33k| 0.000000e+00 | 1.500000e+01 | Inf
1086.54/1086.81 c 1087s| 3530k| 1047k| 17989k| 5.1 | 680M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 129k| 33k| 0.000000e+00 | 1.500000e+01 | Inf
1089.25/1089.57 c 1090s| 3540k| 1050k| 18037k| 5.1 | 682M| 63 | - | 198 | 15 | 198 | 22 | 21 | 130k| 33k| 0.000000e+00 | 1.500000e+01 | Inf
1091.94/1092.28 c 1092s| 3550k| 1052k| 18083k| 5.1 | 684M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 130k| 33k| 0.000000e+00 | 1.500000e+01 | Inf
1094.64/1094.96 c 1095s| 3560k| 1055k| 18129k| 5.1 | 685M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 130k| 33k| 0.000000e+00 | 1.500000e+01 | Inf
1097.34/1097.65 c 1098s| 3570k| 1057k| 18175k| 5.1 | 687M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 131k| 33k| 0.000000e+00 | 1.500000e+01 | Inf
1100.04/1100.36 c 1100s| 3580k| 1059k| 18221k| 5.1 | 688M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 131k| 33k| 0.000000e+00 | 1.500000e+01 | Inf
1102.74/1103.04 c 1103s| 3590k| 1062k| 18267k| 5.1 | 690M| 63 | - | 198 | 9 | 198 | 22 | 21 | 131k| 33k| 0.000000e+00 | 1.500000e+01 | Inf
1105.44/1105.70 c 1106s| 3600k| 1064k| 18312k| 5.1 | 691M| 63 | - | 198 | 13 | 198 | 22 | 21 | 132k| 33k| 0.000000e+00 | 1.500000e+01 | Inf
1108.14/1108.49 c 1108s| 3610k| 1066k| 18360k| 5.1 | 693M| 63 | 8 | 198 | 12 | 198 | 22 | 21 | 132k| 33k| 0.000000e+00 | 1.500000e+01 | Inf
1110.83/1111.16 c 1111s| 3620k| 1068k| 18405k| 5.1 | 694M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 133k| 34k| 0.000000e+00 | 1.500000e+01 | Inf
1113.54/1113.88 c 1114s| 3630k| 1071k| 18450k| 5.1 | 696M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 133k| 34k| 0.000000e+00 | 1.500000e+01 | Inf
1116.24/1116.50 c 1117s| 3640k| 1073k| 18495k| 5.1 | 697M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 133k| 34k| 0.000000e+00 | 1.500000e+01 | Inf
1118.84/1119.18 c 1119s| 3650k| 1075k| 18540k| 5.1 | 698M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 134k| 34k| 0.000000e+00 | 1.500000e+01 | Inf
1121.54/1121.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1121.54/1121.81 c 1122s| 3660k| 1077k| 18586k| 5.1 | 700M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 134k| 34k| 0.000000e+00 | 1.500000e+01 | Inf
1124.24/1124.52 c 1125s| 3670k| 1080k| 18631k| 5.1 | 701M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 134k| 34k| 0.000000e+00 | 1.500000e+01 | Inf
1126.84/1127.18 c 1127s| 3680k| 1082k| 18675k| 5.1 | 703M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 135k| 34k| 0.000000e+00 | 1.500000e+01 | Inf
1129.64/1129.91 c 1130s| 3690k| 1084k| 18721k| 5.1 | 704M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 135k| 34k| 0.000000e+00 | 1.500000e+01 | Inf
1132.43/1132.72 c 1133s| 3700k| 1087k| 18769k| 5.1 | 706M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 135k| 34k| 0.000000e+00 | 1.500000e+01 | Inf
1135.13/1135.43 c 1135s| 3710k| 1089k| 18815k| 5.1 | 707M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 136k| 34k| 0.000000e+00 | 1.500000e+01 | Inf
1137.74/1138.07 c 1138s| 3720k| 1091k| 18860k| 5.1 | 709M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 136k| 34k| 0.000000e+00 | 1.500000e+01 | Inf
1140.44/1140.75 c 1141s| 3730k| 1093k| 18905k| 5.1 | 710M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 136k| 34k| 0.000000e+00 | 1.500000e+01 | Inf
1143.13/1143.41 c 1143s| 3740k| 1095k| 18951k| 5.1 | 712M| 63 | - | 198 | 11 | 198 | 22 | 21 | 137k| 34k| 0.000000e+00 | 1.500000e+01 | Inf
1145.73/1146.08 c 1146s| 3750k| 1098k| 18996k| 5.1 | 713M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 137k| 34k| 0.000000e+00 | 1.500000e+01 | Inf
1148.33/1148.69 c 1149s| 3760k| 1100k| 19040k| 5.1 | 714M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 137k| 34k| 0.000000e+00 | 1.500000e+01 | Inf
1151.03/1151.32 c 1151s| 3770k| 1102k| 19084k| 5.1 | 716M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 138k| 34k| 0.000000e+00 | 1.500000e+01 | Inf
1153.64/1153.97 c 1154s| 3780k| 1104k| 19130k| 5.1 | 717M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 138k| 34k| 0.000000e+00 | 1.500000e+01 | Inf
1156.33/1156.65 c 1157s| 3790k| 1106k| 19175k| 5.1 | 718M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 138k| 34k| 0.000000e+00 | 1.500000e+01 | Inf
1158.93/1159.25 c 1159s| 3800k| 1108k| 19220k| 5.1 | 720M| 63 | - | 198 | 10 | 198 | 22 | 21 | 139k| 34k| 0.000000e+00 | 1.500000e+01 | Inf
1161.74/1162.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1161.74/1162.00 c 1162s| 3810k| 1111k| 19266k| 5.1 | 721M| 63 | 8 | 198 | 12 | 198 | 22 | 21 | 139k| 34k| 0.000000e+00 | 1.500000e+01 | Inf
1164.43/1164.73 c 1165s| 3820k| 1114k| 19311k| 5.1 | 723M| 63 | 8 | 198 | 13 | 198 | 22 | 21 | 139k| 34k| 0.000000e+00 | 1.500000e+01 | Inf
1167.13/1167.42 c 1167s| 3830k| 1116k| 19355k| 5.1 | 725M| 63 | - | 198 | 11 | 198 | 22 | 21 | 140k| 34k| 0.000000e+00 | 1.500000e+01 | Inf
1169.83/1170.12 c 1170s| 3840k| 1118k| 19399k| 5.1 | 726M| 63 | - | 198 | 12 | 198 | 22 | 21 | 140k| 34k| 0.000000e+00 | 1.500000e+01 | Inf
1172.43/1172.78 c 1173s| 3850k| 1121k| 19443k| 5.1 | 728M| 63 | 8 | 198 | 12 | 198 | 22 | 21 | 140k| 35k| 0.000000e+00 | 1.500000e+01 | Inf
1175.02/1175.39 c 1175s| 3860k| 1122k| 19485k| 5.0 | 729M| 63 | - | 198 | 12 | 198 | 22 | 21 | 141k| 35k| 0.000000e+00 | 1.500000e+01 | Inf
1177.84/1178.14 c 1178s| 3870k| 1125k| 19532k| 5.0 | 730M| 63 | - | 198 | 11 | 198 | 22 | 21 | 141k| 35k| 0.000000e+00 | 1.500000e+01 | Inf
1180.53/1180.82 c 1181s| 3880k| 1127k| 19578k| 5.0 | 732M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 141k| 35k| 0.000000e+00 | 1.500000e+01 | Inf
1183.13/1183.48 c 1183s| 3890k| 1128k| 19622k| 5.0 | 733M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 142k| 35k| 0.000000e+00 | 1.500000e+01 | Inf
1185.83/1186.15 c 1186s| 3900k| 1130k| 19667k| 5.0 | 734M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 142k| 35k| 0.000000e+00 | 1.500000e+01 | Inf
1188.42/1188.76 c 1189s| 3910k| 1132k| 19712k| 5.0 | 736M| 63 | - | 198 | 13 | 198 | 22 | 21 | 142k| 35k| 0.000000e+00 | 1.500000e+01 | Inf
1191.22/1191.56 c 1192s| 3920k| 1135k| 19758k| 5.0 | 737M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 143k| 35k| 0.000000e+00 | 1.500000e+01 | Inf
1193.93/1194.22 c 1194s| 3930k| 1137k| 19803k| 5.0 | 739M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 143k| 35k| 0.000000e+00 | 1.500000e+01 | Inf
1196.63/1196.95 c 1197s| 3940k| 1140k| 19849k| 5.0 | 741M| 63 | 8 | 198 | 14 | 198 | 22 | 21 | 143k| 35k| 0.000000e+00 | 1.500000e+01 | Inf
1199.33/1199.60 c 1200s| 3950k| 1142k| 19894k| 5.0 | 742M| 63 | - | 198 | 9 | 0 | 0 | 21 | 144k| 35k| 0.000000e+00 | 1.500000e+01 | Inf
1201.93/1202.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1201.93/1202.23 c 1202s| 3960k| 1145k| 19939k| 5.0 | 744M| 63 | - | 198 | 9 | 198 | 22 | 21 | 144k| 35k| 0.000000e+00 | 1.500000e+01 | Inf
1204.52/1204.83 c 1205s| 3970k| 1146k| 19983k| 5.0 | 745M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 144k| 35k| 0.000000e+00 | 1.500000e+01 | Inf
1207.12/1207.42 c 1207s| 3980k| 1148k| 20027k| 5.0 | 746M| 63 | - | 198 | 9 | 198 | 22 | 21 | 145k| 35k| 0.000000e+00 | 1.500000e+01 | Inf
1209.73/1210.05 c 1210s| 3990k| 1150k| 20071k| 5.0 | 747M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 145k| 35k| 0.000000e+00 | 1.500000e+01 | Inf
1212.32/1212.66 c 1213s| 4000k| 1151k| 20115k| 5.0 | 748M| 63 | - | 198 | 10 | 198 | 22 | 21 | 145k| 35k| 0.000000e+00 | 1.500000e+01 | Inf
1214.92/1215.23 c 1215s| 4010k| 1153k| 20159k| 5.0 | 749M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 145k| 35k| 0.000000e+00 | 1.500000e+01 | Inf
1217.53/1217.83 c 1218s| 4020k| 1154k| 20202k| 5.0 | 751M| 63 | - | 198 | 13 | 198 | 22 | 21 | 146k| 35k| 0.000000e+00 | 1.500000e+01 | Inf
1220.12/1220.44 c 1220s| 4030k| 1156k| 20248k| 5.0 | 752M| 63 | - | 198 | 11 | 198 | 22 | 21 | 146k| 35k| 0.000000e+00 | 1.500000e+01 | Inf
1222.83/1223.13 c 1223s| 4040k| 1158k| 20293k| 5.0 | 753M| 63 | 8 | 198 | 12 | 198 | 22 | 21 | 147k| 35k| 0.000000e+00 | 1.500000e+01 | Inf
1225.42/1225.76 c 1226s| 4050k| 1160k| 20338k| 5.0 | 754M| 63 | 8 | 198 | 12 | 198 | 22 | 21 | 147k| 35k| 0.000000e+00 | 1.500000e+01 | Inf
1228.02/1228.37 c 1228s| 4060k| 1161k| 20382k| 5.0 | 756M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 147k| 35k| 0.000000e+00 | 1.500000e+01 | Inf
1230.72/1231.04 c 1231s| 4070k| 1163k| 20427k| 5.0 | 757M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 148k| 35k| 0.000000e+00 | 1.500000e+01 | Inf
1233.32/1233.67 c 1234s| 4080k| 1165k| 20471k| 5.0 | 758M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 148k| 35k| 0.000000e+00 | 1.500000e+01 | Inf
1235.92/1236.22 c 1236s| 4090k| 1167k| 20514k| 5.0 | 759M| 63 | - | 198 | 11 | 198 | 22 | 21 | 148k| 35k| 0.000000e+00 | 1.500000e+01 | Inf
1238.52/1238.85 c 1239s| 4100k| 1169k| 20557k| 5.0 | 760M| 63 | - | 198 | 10 | 198 | 22 | 21 | 149k| 35k| 0.000000e+00 | 1.500000e+01 | Inf
1241.12/1241.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1241.12/1241.48 c 1241s| 4110k| 1170k| 20602k| 5.0 | 762M| 63 | - | 198 | 8 | 198 | 22 | 21 | 149k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1243.82/1244.15 c 1244s| 4120k| 1172k| 20645k| 5.0 | 763M| 63 | - | 198 | 8 | 198 | 22 | 21 | 149k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1246.52/1246.83 c 1247s| 4130k| 1174k| 20690k| 5.0 | 764M| 63 | - | 198 | 12 | 198 | 22 | 21 | 150k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1249.12/1249.47 c 1249s| 4140k| 1176k| 20734k| 5.0 | 765M| 63 | - | 198 | 9 | 198 | 22 | 21 | 150k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1251.82/1252.10 c 1252s| 4150k| 1177k| 20778k| 5.0 | 767M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 150k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1254.51/1254.80 c 1255s| 4160k| 1180k| 20824k| 5.0 | 768M| 63 | - | 198 | 9 | 198 | 22 | 21 | 151k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1257.12/1257.44 c 1257s| 4170k| 1182k| 20867k| 5.0 | 769M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 151k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1259.82/1260.10 c 1260s| 4180k| 1183k| 20910k| 5.0 | 770M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 151k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1262.42/1262.74 c 1263s| 4190k| 1185k| 20954k| 5.0 | 772M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 152k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1265.11/1265.43 c 1265s| 4200k| 1186k| 21000k| 5.0 | 773M| 63 | - | 198 | 10 | 198 | 22 | 21 | 152k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1267.72/1268.06 c 1268s| 4210k| 1188k| 21045k| 5.0 | 774M| 63 | - | 198 | 10 | 198 | 22 | 21 | 153k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1270.32/1270.66 c 1271s| 4220k| 1190k| 21089k| 5.0 | 775M| 63 | - | 198 | 8 | 198 | 22 | 21 | 153k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1272.92/1273.28 c 1273s| 4230k| 1191k| 21133k| 5.0 | 777M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 153k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1275.62/1275.91 c 1276s| 4240k| 1193k| 21177k| 5.0 | 778M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 154k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1278.21/1278.51 c 1279s| 4250k| 1195k| 21220k| 5.0 | 779M| 63 | - | 198 | 11 | 198 | 22 | 21 | 154k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1280.91/1281.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1280.91/1281.23 c 1281s| 4260k| 1196k| 21266k| 5.0 | 780M| 63 | - | 198 | 9 | 198 | 22 | 21 | 154k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1283.61/1283.91 c 1284s| 4270k| 1199k| 21311k| 5.0 | 782M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 155k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1286.22/1286.56 c 1287s| 4280k| 1200k| 21356k| 5.0 | 783M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 155k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1288.82/1289.20 c 1289s| 4290k| 1202k| 21401k| 5.0 | 784M| 63 | - | 198 | 8 | 198 | 22 | 21 | 155k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1291.51/1291.81 c 1292s| 4300k| 1204k| 21444k| 5.0 | 786M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 156k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1294.11/1294.48 c 1294s| 4310k| 1205k| 21489k| 5.0 | 787M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 156k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1296.81/1297.14 c 1297s| 4320k| 1207k| 21533k| 5.0 | 788M| 63 | - | 198 | 8 | 198 | 22 | 21 | 156k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1299.41/1299.73 c 1300s| 4330k| 1208k| 21577k| 5.0 | 789M| 63 | 8 | 198 | 12 | 198 | 22 | 21 | 157k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1302.01/1302.33 c 1302s| 4340k| 1210k| 21621k| 5.0 | 790M| 63 | - | 198 | 9 | 198 | 22 | 21 | 157k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1304.70/1305.01 c 1305s| 4350k| 1211k| 21667k| 5.0 | 791M| 63 | - | 198 | 9 | 198 | 22 | 21 | 157k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1307.31/1307.65 c 1308s| 4360k| 1212k| 21712k| 5.0 | 792M| 63 | - | 198 | 9 | 0 | 0 | 21 | 158k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1310.01/1310.30 c 1310s| 4370k| 1214k| 21757k| 5.0 | 793M| 63 | - | 198 | 9 | 198 | 22 | 21 | 158k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1312.61/1312.90 c 1313s| 4380k| 1215k| 21800k| 5.0 | 795M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 158k| 36k| 0.000000e+00 | 1.500000e+01 | Inf
1315.21/1315.56 c 1316s| 4390k| 1216k| 21845k| 5.0 | 796M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 159k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1317.81/1318.16 c 1318s| 4400k| 1218k| 21889k| 5.0 | 797M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 159k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1320.40/1320.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1320.40/1320.76 c 1321s| 4410k| 1220k| 21933k| 5.0 | 798M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 159k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1323.11/1323.45 c 1323s| 4420k| 1221k| 21980k| 5.0 | 799M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 160k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1325.70/1326.08 c 1326s| 4430k| 1223k| 22026k| 5.0 | 800M| 63 | - | 198 | 11 | 198 | 22 | 21 | 160k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1328.30/1328.70 c 1329s| 4440k| 1224k| 22070k| 5.0 | 801M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 161k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1331.01/1331.31 c 1331s| 4450k| 1225k| 22114k| 5.0 | 802M| 63 | - | 198 | 8 | 0 | 0 | 21 | 161k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1333.61/1333.93 c 1334s| 4460k| 1227k| 22158k| 5.0 | 803M| 63 | - | 198 | 12 | 198 | 22 | 21 | 161k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1336.30/1336.62 c 1337s| 4470k| 1229k| 22202k| 5.0 | 805M| 63 | - | 198 | 12 | 0 | 0 | 21 | 162k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1338.90/1339.21 c 1339s| 4480k| 1230k| 22246k| 5.0 | 806M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 162k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1341.50/1341.80 c 1342s| 4490k| 1232k| 22289k| 5.0 | 807M| 63 | - | 198 | 10 | 198 | 22 | 21 | 162k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1344.20/1344.50 c 1344s| 4500k| 1233k| 22333k| 5.0 | 808M| 63 | - | 198 | 10 | 198 | 22 | 21 | 163k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1346.80/1347.18 c 1347s| 4510k| 1235k| 22378k| 5.0 | 809M| 63 | - | 198 | 9 | 198 | 22 | 21 | 163k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1349.50/1349.81 c 1350s| 4520k| 1237k| 22422k| 5.0 | 810M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 163k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1352.10/1352.45 c 1352s| 4530k| 1239k| 22464k| 5.0 | 812M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 164k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1354.70/1355.08 c 1355s| 4540k| 1241k| 22507k| 5.0 | 813M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 164k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1357.30/1357.66 c 1358s| 4550k| 1242k| 22550k| 5.0 | 814M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 164k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1360.00/1360.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1360.00/1360.30 c 1360s| 4560k| 1244k| 22593k| 5.0 | 815M| 63 | 8 | 198 | 12 | 198 | 22 | 21 | 165k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1362.60/1362.97 c 1363s| 4570k| 1246k| 22637k| 5.0 | 817M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 165k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1365.40/1365.75 c 1366s| 4580k| 1249k| 22684k| 5.0 | 818M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 165k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1368.20/1368.54 c 1369s| 4590k| 1252k| 22732k| 5.0 | 820M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 166k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1370.80/1371.19 c 1371s| 4600k| 1254k| 22777k| 5.0 | 822M| 63 | - | 198 | 11 | 198 | 22 | 21 | 166k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1373.40/1373.78 c 1374s| 4610k| 1256k| 22821k| 5.0 | 823M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 166k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1376.10/1376.44 c 1376s| 4620k| 1257k| 22866k| 4.9 | 824M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 167k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1378.70/1379.08 c 1379s| 4630k| 1259k| 22911k| 4.9 | 825M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 167k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1381.50/1381.81 c 1382s| 4640k| 1262k| 22956k| 4.9 | 827M| 63 | 8 | 198 | 14 | 198 | 22 | 21 | 167k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1384.10/1384.47 c 1384s| 4650k| 1263k| 23000k| 4.9 | 828M| 63 | 8 | 198 | 14 | 198 | 22 | 21 | 168k| 37k| 0.000000e+00 | 1.500000e+01 | Inf
1386.71/1387.08 c 1387s| 4660k| 1265k| 23043k| 4.9 | 829M| 63 | 8 | 198 | 12 | 198 | 22 | 21 | 168k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1389.40/1389.74 c 1390s| 4670k| 1267k| 23087k| 4.9 | 831M| 63 | - | 198 | 11 | 198 | 22 | 21 | 168k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1392.10/1392.40 c 1392s| 4680k| 1269k| 23130k| 4.9 | 832M| 63 | - | 198 | 13 | 198 | 22 | 21 | 169k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1394.59/1394.99 c 1395s| 4690k| 1271k| 23173k| 4.9 | 833M| 63 | - | 198 | 14 | 198 | 22 | 21 | 169k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1397.19/1397.59 c 1398s| 4700k| 1272k| 23217k| 4.9 | 835M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 169k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1399.90/1400.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1399.90/1400.23 c 1400s| 4710k| 1274k| 23261k| 4.9 | 836M| 63 | 8 | 198 | 14 | 198 | 22 | 21 | 170k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1402.49/1402.85 c 1403s| 4720k| 1275k| 23305k| 4.9 | 837M| 63 | - | 198 | 14 | 0 | 0 | 21 | 170k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1405.09/1405.45 c 1405s| 4730k| 1277k| 23349k| 4.9 | 838M| 63 | 8 | 198 | 13 | 198 | 22 | 21 | 170k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1407.79/1408.18 c 1408s| 4740k| 1279k| 23395k| 4.9 | 840M| 63 | 8 | 198 | 13 | 198 | 22 | 21 | 171k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1410.49/1410.86 c 1411s| 4750k| 1281k| 23440k| 4.9 | 841M| 63 | 8 | 198 | 14 | 198 | 22 | 21 | 171k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1413.20/1413.55 c 1414s| 4760k| 1284k| 23485k| 4.9 | 843M| 63 | 8 | 198 | 13 | 198 | 22 | 21 | 171k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1415.79/1416.14 c 1416s| 4770k| 1285k| 23528k| 4.9 | 844M| 63 | 8 | 198 | 14 | 198 | 22 | 21 | 172k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1418.39/1418.78 c 1419s| 4780k| 1287k| 23572k| 4.9 | 845M| 63 | 8 | 198 | 13 | 198 | 22 | 21 | 172k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1421.09/1421.42 c 1421s| 4790k| 1288k| 23616k| 4.9 | 846M| 63 | - | 198 | 13 | 198 | 22 | 21 | 173k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1423.69/1424.04 c 1424s| 4800k| 1290k| 23660k| 4.9 | 847M| 63 | 8 | 198 | 15 | 198 | 22 | 21 | 173k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1426.30/1426.67 c 1427s| 4810k| 1291k| 23703k| 4.9 | 848M| 63 | - | 198 | 11 | 198 | 22 | 21 | 173k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1428.99/1429.32 c 1429s| 4820k| 1293k| 23748k| 4.9 | 850M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 174k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1431.59/1431.94 c 1432s| 4830k| 1294k| 23791k| 4.9 | 851M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 174k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1434.19/1434.52 c 1435s| 4840k| 1295k| 23834k| 4.9 | 852M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 174k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1436.79/1437.14 c 1437s| 4850k| 1297k| 23878k| 4.9 | 853M| 63 | 8 | 198 | 12 | 198 | 22 | 21 | 175k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1439.39/1439.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1439.39/1439.77 c 1440s| 4860k| 1298k| 23922k| 4.9 | 854M| 63 | - | 198 | 11 | 0 | 0 | 21 | 175k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1441.99/1442.38 c 1442s| 4870k| 1300k| 23966k| 4.9 | 855M| 63 | 8 | 198 | 12 | 198 | 22 | 21 | 175k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1444.58/1444.98 c 1445s| 4880k| 1302k| 24009k| 4.9 | 856M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 176k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1447.30/1447.62 c 1448s| 4890k| 1303k| 24053k| 4.9 | 857M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 176k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1449.88/1450.24 c 1450s| 4900k| 1305k| 24097k| 4.9 | 858M| 63 | - | 198 | 8 | 0 | 0 | 21 | 176k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1452.48/1452.89 c 1453s| 4910k| 1306k| 24143k| 4.9 | 860M| 63 | - | 198 | 8 | 198 | 22 | 21 | 177k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1455.28/1455.61 c 1456s| 4920k| 1308k| 24188k| 4.9 | 861M| 63 | - | 198 | 8 | 0 | 0 | 21 | 177k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1457.88/1458.27 c 1458s| 4930k| 1310k| 24233k| 4.9 | 862M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 177k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1460.58/1460.93 c 1461s| 4940k| 1312k| 24278k| 4.9 | 863M| 63 | - | 198 | 8 | 198 | 22 | 21 | 178k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1463.18/1463.52 c 1464s| 4950k| 1313k| 24322k| 4.9 | 864M| 63 | - | 198 | 10 | 198 | 22 | 21 | 178k| 38k| 0.000000e+00 | 1.500000e+01 | Inf
1465.78/1466.11 c 1466s| 4960k| 1314k| 24365k| 4.9 | 865M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 178k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1468.38/1468.72 c 1469s| 4970k| 1316k| 24409k| 4.9 | 867M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 179k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1470.98/1471.32 c 1471s| 4980k| 1317k| 24453k| 4.9 | 868M| 63 | - | 198 | 8 | 0 | 0 | 21 | 179k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1473.59/1473.91 c 1474s| 4990k| 1318k| 24497k| 4.9 | 869M| 63 | - | 198 | 10 | 198 | 22 | 21 | 179k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1476.18/1476.56 c 1477s| 5000k| 1320k| 24540k| 4.9 | 870M| 63 | - | 198 | 9 | 198 | 22 | 21 | 180k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1478.78/1479.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1478.78/1479.19 c 1479s| 5010k| 1321k| 24585k| 4.9 | 871M| 63 | - | 198 | 8 | 198 | 22 | 21 | 180k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1481.48/1481.82 c 1482s| 5020k| 1322k| 24628k| 4.9 | 871M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 181k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1484.08/1484.43 c 1484s| 5030k| 1323k| 24673k| 4.9 | 872M| 63 | 8 | 198 | 13 | 198 | 22 | 21 | 181k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1486.68/1487.01 c 1487s| 5040k| 1324k| 24716k| 4.9 | 873M| 63 | 8 | 198 | 14 | 198 | 22 | 21 | 181k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1489.28/1489.68 c 1490s| 5050k| 1326k| 24761k| 4.9 | 875M| 63 | - | 198 | 12 | 0 | 0 | 21 | 182k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1491.98/1492.34 c 1492s| 5060k| 1328k| 24806k| 4.9 | 876M| 63 | 8 | 198 | 12 | 198 | 22 | 21 | 182k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1494.58/1494.93 c 1495s| 5070k| 1329k| 24849k| 4.9 | 877M| 63 | 8 | 198 | 12 | 198 | 22 | 21 | 182k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1497.17/1497.55 c 1498s| 5080k| 1330k| 24892k| 4.9 | 878M| 63 | - | 198 | 9 | 198 | 22 | 21 | 183k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1499.78/1500.18 c 1500s| 5090k| 1332k| 24935k| 4.9 | 879M| 63 | - | 198 | 9 | 198 | 22 | 21 | 183k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1502.38/1502.77 c 1503s| 5100k| 1333k| 24978k| 4.9 | 880M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 184k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1504.98/1505.34 c 1505s| 5110k| 1335k| 25020k| 4.9 | 881M| 63 | - | 198 | 10 | 0 | 0 | 21 | 184k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1507.58/1507.94 c 1508s| 5120k| 1336k| 25065k| 4.9 | 882M| 63 | 8 | 198 | 12 | 198 | 22 | 21 | 184k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1510.18/1510.58 c 1511s| 5130k| 1337k| 25108k| 4.9 | 883M| 63 | - | 198 | 11 | 0 | 0 | 21 | 185k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1512.87/1513.24 c 1513s| 5140k| 1339k| 25155k| 4.9 | 885M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 185k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1515.48/1515.83 c 1516s| 5150k| 1340k| 25199k| 4.9 | 885M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 185k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1518.07/1518.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1518.07/1518.42 c 1518s| 5160k| 1341k| 25244k| 4.9 | 886M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 185k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1520.67/1521.03 c 1521s| 5170k| 1342k| 25289k| 4.9 | 887M| 63 | - | 198 | 12 | 198 | 22 | 21 | 186k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1523.27/1523.62 c 1524s| 5180k| 1343k| 25333k| 4.9 | 888M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 186k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1525.87/1526.22 c 1526s| 5190k| 1343k| 25376k| 4.9 | 889M| 63 | - | 198 | 9 | 198 | 22 | 21 | 186k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1528.47/1528.84 c 1529s| 5200k| 1344k| 25419k| 4.9 | 890M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 187k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1531.07/1531.49 c 1531s| 5210k| 1345k| 25465k| 4.9 | 891M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 187k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1533.77/1534.12 c 1534s| 5220k| 1346k| 25509k| 4.9 | 891M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 188k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1536.37/1536.71 c 1537s| 5230k| 1347k| 25552k| 4.9 | 892M| 63 | - | 198 | 10 | 198 | 22 | 21 | 188k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1538.97/1539.35 c 1539s| 5240k| 1348k| 25597k| 4.9 | 893M| 63 | - | 198 | 10 | 198 | 22 | 21 | 188k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1541.67/1542.04 c 1542s| 5250k| 1350k| 25643k| 4.9 | 895M| 63 | - | 198 | 10 | 0 | 0 | 21 | 189k| 39k| 0.000000e+00 | 1.500000e+01 | Inf
1544.27/1544.70 c 1545s| 5260k| 1351k| 25688k| 4.9 | 896M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 189k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1546.97/1547.38 c 1547s| 5270k| 1353k| 25735k| 4.9 | 897M| 63 | - | 198 | 10 | 0 | 0 | 21 | 189k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1549.67/1550.06 c 1550s| 5280k| 1355k| 25780k| 4.9 | 898M| 63 | - | 198 | 10 | 198 | 22 | 21 | 190k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1552.36/1552.74 c 1553s| 5290k| 1356k| 25826k| 4.9 | 900M| 63 | - | 198 | 11 | 198 | 22 | 21 | 190k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1554.97/1555.38 c 1555s| 5300k| 1357k| 25871k| 4.9 | 901M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 191k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1557.67/1558.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1557.67/1558.02 c 1558s| 5310k| 1358k| 25917k| 4.9 | 902M| 63 | - | 198 | 11 | 198 | 22 | 21 | 191k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1560.26/1560.66 c 1561s| 5320k| 1359k| 25960k| 4.9 | 903M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 192k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1562.96/1563.31 c 1563s| 5330k| 1360k| 26005k| 4.9 | 904M| 63 | - | 198 | 10 | 0 | 0 | 21 | 192k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1565.57/1565.95 c 1566s| 5340k| 1361k| 26051k| 4.9 | 905M| 63 | - | 198 | 10 | 198 | 22 | 21 | 192k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1568.17/1568.56 c 1569s| 5350k| 1362k| 26094k| 4.9 | 905M| 63 | 8 | 198 | 12 | 198 | 22 | 21 | 193k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1570.76/1571.17 c 1571s| 5360k| 1363k| 26138k| 4.9 | 906M| 63 | - | 198 | 12 | 198 | 22 | 21 | 193k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1573.36/1573.76 c 1574s| 5370k| 1363k| 26181k| 4.9 | 907M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 194k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1575.96/1576.38 c 1576s| 5380k| 1365k| 26224k| 4.9 | 908M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 194k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1578.65/1579.02 c 1579s| 5390k| 1365k| 26268k| 4.9 | 909M| 63 | - | 198 | 11 | 198 | 22 | 21 | 194k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1581.26/1581.61 c 1582s| 5400k| 1366k| 26313k| 4.9 | 910M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 195k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1583.86/1584.25 c 1584s| 5410k| 1368k| 26357k| 4.9 | 911M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 195k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1586.46/1586.85 c 1587s| 5420k| 1369k| 26400k| 4.9 | 912M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 196k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1589.06/1589.45 c 1589s| 5430k| 1370k| 26444k| 4.9 | 913M| 63 | - | 198 | 9 | 0 | 0 | 21 | 196k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1591.66/1592.07 c 1592s| 5440k| 1371k| 26489k| 4.9 | 914M| 63 | 8 | 198 | 13 | 198 | 22 | 21 | 196k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1594.26/1594.69 c 1595s| 5450k| 1373k| 26534k| 4.9 | 915M| 63 | - | 198 | 9 | 198 | 22 | 21 | 196k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1596.86/1597.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1596.86/1597.29 c 1597s| 5460k| 1373k| 26578k| 4.9 | 916M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 197k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1599.55/1599.90 c 1600s| 5470k| 1374k| 26621k| 4.9 | 917M| 63 | - | 198 | 9 | 198 | 22 | 21 | 197k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1602.05/1602.50 c 1602s| 5480k| 1375k| 26666k| 4.9 | 917M| 63 | - | 198 | 8 | 198 | 22 | 21 | 197k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1604.75/1605.12 c 1605s| 5490k| 1376k| 26710k| 4.9 | 918M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 198k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1607.34/1607.74 c 1608s| 5500k| 1377k| 26755k| 4.9 | 919M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 198k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1609.95/1610.37 c 1610s| 5510k| 1379k| 26800k| 4.9 | 921M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 198k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1612.54/1612.93 c 1613s| 5520k| 1381k| 26843k| 4.9 | 922M| 63 | - | 198 | 10 | 198 | 22 | 21 | 199k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1615.14/1615.52 c 1616s| 5530k| 1382k| 26887k| 4.9 | 923M| 63 | 8 | 198 | 12 | 198 | 22 | 21 | 199k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1617.65/1618.08 c 1618s| 5540k| 1383k| 26930k| 4.9 | 923M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 200k| 40k| 0.000000e+00 | 1.500000e+01 | Inf
1620.24/1620.66 c 1621s| 5550k| 1384k| 26974k| 4.9 | 924M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 200k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1622.84/1623.21 c 1623s| 5560k| 1385k| 27018k| 4.9 | 925M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 200k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1625.45/1625.81 c 1626s| 5570k| 1386k| 27062k| 4.9 | 926M| 63 | - | 198 | 10 | 198 | 22 | 21 | 201k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1628.04/1628.49 c 1628s| 5580k| 1388k| 27107k| 4.9 | 927M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 201k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1630.74/1631.16 c 1631s| 5590k| 1390k| 27152k| 4.9 | 929M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 201k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1633.44/1633.84 c 1634s| 5600k| 1392k| 27197k| 4.9 | 930M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 202k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1636.13/1636.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1636.13/1636.54 c 1637s| 5610k| 1394k| 27242k| 4.9 | 932M| 63 | - | 198 | 11 | 0 | 0 | 21 | 202k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1638.84/1639.23 c 1639s| 5620k| 1396k| 27287k| 4.9 | 933M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 203k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1641.43/1641.87 c 1642s| 5630k| 1398k| 27331k| 4.9 | 934M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 203k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1644.15/1644.51 c 1645s| 5640k| 1400k| 27376k| 4.9 | 936M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 203k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1646.74/1647.16 c 1647s| 5650k| 1402k| 27421k| 4.9 | 937M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 204k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1649.34/1649.79 c 1650s| 5660k| 1403k| 27464k| 4.9 | 938M| 63 | - | 198 | 9 | 0 | 0 | 21 | 204k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1651.94/1652.39 c 1652s| 5670k| 1405k| 27509k| 4.9 | 939M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 204k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1654.64/1655.01 c 1655s| 5680k| 1407k| 27552k| 4.9 | 941M| 63 | - | 198 | 9 | 198 | 22 | 21 | 205k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1657.24/1657.64 c 1658s| 5690k| 1408k| 27596k| 4.8 | 942M| 63 | - | 198 | 9 | 0 | 0 | 21 | 205k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1659.83/1660.25 c 1660s| 5700k| 1409k| 27639k| 4.8 | 943M| 63 | - | 198 | 10 | 0 | 0 | 21 | 205k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1662.43/1662.86 c 1663s| 5710k| 1411k| 27683k| 4.8 | 944M| 63 | - | 198 | 9 | 198 | 22 | 21 | 206k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1665.04/1665.46 c 1665s| 5720k| 1412k| 27727k| 4.8 | 945M| 63 | - | 198 | 10 | 198 | 22 | 21 | 206k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1667.73/1668.11 c 1668s| 5730k| 1413k| 27771k| 4.8 | 946M| 63 | - | 198 | 12 | 0 | 0 | 21 | 207k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1670.34/1670.75 c 1671s| 5740k| 1414k| 27815k| 4.8 | 947M| 63 | - | 198 | 9 | 198 | 22 | 21 | 207k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1672.94/1673.35 c 1673s| 5750k| 1416k| 27858k| 4.8 | 948M| 63 | - | 198 | 9 | 198 | 22 | 21 | 207k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1675.53/1675.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1675.53/1675.96 c 1676s| 5760k| 1417k| 27901k| 4.8 | 949M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 208k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1678.13/1678.52 c 1679s| 5770k| 1418k| 27944k| 4.8 | 950M| 63 | - | 198 | 9 | 198 | 22 | 21 | 208k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1680.63/1681.08 c 1681s| 5780k| 1419k| 27986k| 4.8 | 951M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 208k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1683.43/1683.88 c 1684s| 5790k| 1422k| 28032k| 4.8 | 952M| 63 | - | 198 | 11 | 0 | 0 | 21 | 209k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1686.23/1686.63 c 1687s| 5800k| 1425k| 28077k| 4.8 | 954M| 63 | - | 198 | 8 | 198 | 22 | 21 | 209k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1688.83/1689.27 c 1689s| 5810k| 1427k| 28120k| 4.8 | 956M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 210k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1691.44/1691.87 c 1692s| 5820k| 1429k| 28163k| 4.8 | 957M| 63 | - | 198 | 9 | 0 | 0 | 21 | 210k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1694.12/1694.53 c 1695s| 5830k| 1431k| 28206k| 4.8 | 958M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 210k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1696.73/1697.17 c 1697s| 5840k| 1433k| 28249k| 4.8 | 960M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 211k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1699.33/1699.78 c 1700s| 5850k| 1435k| 28291k| 4.8 | 961M| 63 | - | 198 | 9 | 198 | 22 | 21 | 211k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1701.92/1702.38 c 1702s| 5860k| 1437k| 28333k| 4.8 | 962M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 212k| 41k| 0.000000e+00 | 1.500000e+01 | Inf
1704.63/1705.01 c 1705s| 5870k| 1439k| 28377k| 4.8 | 964M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 212k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1707.22/1707.67 c 1708s| 5880k| 1441k| 28420k| 4.8 | 965M| 63 | - | 198 | 8 | 198 | 22 | 21 | 212k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1709.93/1710.30 c 1710s| 5890k| 1442k| 28462k| 4.8 | 966M| 63 | - | 198 | 9 | 198 | 22 | 21 | 213k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1712.43/1712.85 c 1713s| 5900k| 1443k| 28504k| 4.8 | 967M| 63 | - | 198 | 11 | 0 | 0 | 21 | 213k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1715.03/1715.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1715.03/1715.44 c 1715s| 5910k| 1445k| 28546k| 4.8 | 968M| 63 | - | 198 | 10 | 198 | 22 | 21 | 214k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1717.63/1718.04 c 1718s| 5920k| 1446k| 28588k| 4.8 | 969M| 63 | - | 198 | 8 | 198 | 22 | 21 | 214k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1720.23/1720.64 c 1721s| 5930k| 1448k| 28631k| 4.8 | 971M| 63 | - | 198 | 8 | 198 | 22 | 21 | 214k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1722.83/1723.23 c 1723s| 5940k| 1450k| 28673k| 4.8 | 972M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 215k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1725.43/1725.85 c 1726s| 5950k| 1452k| 28715k| 4.8 | 973M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 215k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1728.02/1728.44 c 1728s| 5960k| 1454k| 28756k| 4.8 | 974M| 63 | 8 | 198 | 12 | 198 | 22 | 21 | 215k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1730.62/1731.03 c 1731s| 5970k| 1456k| 28798k| 4.8 | 975M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 216k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1733.13/1733.59 c 1734s| 5980k| 1457k| 28839k| 4.8 | 976M| 63 | - | 198 | 11 | 198 | 22 | 21 | 216k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1735.72/1736.15 c 1736s| 5990k| 1458k| 28881k| 4.8 | 977M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 216k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1738.33/1738.79 c 1739s| 6000k| 1460k| 28924k| 4.8 | 979M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 217k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1740.92/1741.37 c 1741s| 6010k| 1461k| 28965k| 4.8 | 980M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 217k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1743.52/1743.94 c 1744s| 6020k| 1462k| 29007k| 4.8 | 980M| 63 | - | 198 | 9 | 0 | 0 | 21 | 218k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1746.22/1746.63 c 1747s| 6030k| 1465k| 29051k| 4.8 | 982M| 63 | - | 198 | 9 | 198 | 22 | 21 | 218k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1748.82/1749.26 c 1749s| 6040k| 1467k| 29095k| 4.8 | 983M| 63 | - | 198 | 9 | 198 | 22 | 21 | 218k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1751.42/1751.83 c 1752s| 6050k| 1468k| 29137k| 4.8 | 984M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 219k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1754.03/1754.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1754.03/1754.41 c 1754s| 6060k| 1469k| 29179k| 4.8 | 985M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 219k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1756.52/1756.99 c 1757s| 6070k| 1470k| 29223k| 4.8 | 986M| 63 | - | 198 | 11 | 198 | 22 | 21 | 219k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1759.12/1759.58 c 1760s| 6080k| 1472k| 29264k| 4.8 | 987M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 220k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1761.73/1762.13 c 1762s| 6090k| 1473k| 29305k| 4.8 | 988M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 220k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1764.31/1764.70 c 1765s| 6100k| 1474k| 29346k| 4.8 | 989M| 63 | - | 198 | 10 | 198 | 22 | 21 | 221k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1766.82/1767.28 c 1767s| 6110k| 1475k| 29388k| 4.8 | 990M| 63 | - | 198 | 9 | 198 | 22 | 21 | 221k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1769.42/1769.81 c 1770s| 6120k| 1477k| 29428k| 4.8 | 991M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 221k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1772.02/1772.43 c 1772s| 6130k| 1478k| 29470k| 4.8 | 992M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 222k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1774.52/1774.98 c 1775s| 6140k| 1479k| 29511k| 4.8 | 993M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 222k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1777.22/1777.60 c 1778s| 6150k| 1481k| 29554k| 4.8 | 994M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 223k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1779.82/1780.20 c 1780s| 6160k| 1482k| 29595k| 4.8 | 995M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 223k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1782.31/1782.76 c 1783s| 6170k| 1484k| 29637k| 4.8 | 996M| 63 | - | 198 | 11 | 198 | 22 | 21 | 223k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1784.82/1785.30 c 1785s| 6180k| 1485k| 29678k| 4.8 | 997M| 63 | - | 198 | 9 | 0 | 0 | 21 | 224k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1787.41/1787.87 c 1788s| 6190k| 1486k| 29720k| 4.8 | 998M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 224k| 42k| 0.000000e+00 | 1.500000e+01 | Inf
1789.61/1790.00 c
1789.61/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1789.61/1790.00 c Solving Time (sec) : 1790.00
1789.61/1790.00 c Solving Nodes : 6198339
1789.61/1790.00 c Primal Bound : +1.50000000000000e+01 (62 solutions)
1789.61/1790.00 c Dual Bound : +0.00000000000000e+00
1789.61/1790.00 c Gap : infinite
1789.61/1790.00 s SATISFIABLE
1789.61/1790.00 v x143 x198 x197 x196 -x195 -x194 x193 -x192 -x191 x190 x189 x188 x187 -x186 x185 x184 x183 -x182 x181 x180 x179 -x178 x177 -x176
1789.61/1790.00 v x175 -x174 -x173 -x172 x171 -x170 -x169 x168 x167 -x166 x165 x164 -x163 -x162 x161 -x160 x159 x158 -x157 -x156 -x155 -x154 -x153
1789.61/1790.00 v x152 -x151 -x150 x149 -x148 x147 x146 x145 -x144 x142 -x141 -x140 x139 -x138 x137 -x136 -x135 x134 x133 -x132 -x131 -x130
1789.61/1790.00 v -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109
1789.61/1790.00 v -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86
1789.61/1790.00 v -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61
1789.61/1790.00 v -x60 -x59 x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35
1789.61/1790.00 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10
1789.61/1790.00 v -x9 -x8 -x7 -x6 -x5 -x4 x3 x2 x1
1789.61/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1789.61/1790.00 c Solving Time : 1790.00
1789.61/1790.00 c Original Problem :
1789.61/1790.00 c Problem name : HOME/instance-3734932-1338702328.opb
1789.61/1790.00 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.61/1790.00 c Constraints : 16 initial, 16 maximal
1789.61/1790.00 c Presolved Problem :
1789.61/1790.00 c Problem name : t_HOME/instance-3734932-1338702328.opb
1789.61/1790.00 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.61/1790.00 c Constraints : 8 initial, 71 maximal
1789.61/1790.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.61/1790.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.61/1790.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.61/1790.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.61/1790.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.61/1790.00 c implics : 0.00 0 0 0 0 0 0 0 0
1789.61/1790.00 c probing : 0.01 0 0 0 0 0 0 0 0
1789.61/1790.00 c linear : 0.00 0 0 0 0 0 8 0 0
1789.61/1790.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.61/1790.00 c root node : - 64 - - 64 - - - -
1789.61/1790.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.61/1790.00 c integral : 0 0 0 3945648 0 214 9401 0 0 7872932
1789.61/1790.00 c linear : 8+ 7 9976117 0 0 634869 4594915 0 0 0
1789.61/1790.00 c logicor : 0+ 0 475943 0 0 4575 79814 0 0 0
1789.61/1790.00 c countsols : 0 0 0 39 0 0 0 0 0 0
1789.61/1790.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.61/1790.00 c integral : 37.03 0.00 0.00 37.03 0.00
1789.61/1790.00 c linear : 373.82 0.00 373.82 0.00 0.00
1789.61/1790.00 c logicor : 0.78 0.00 0.78 0.00 0.00
1789.61/1790.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.61/1790.00 c Propagators : Time Calls Cutoffs DomReds
1789.61/1790.00 c vbounds : 7.59 2 0 0
1789.61/1790.00 c rootredcost : 7.16 47 0 64
1789.61/1790.00 c pseudoobj : 37.16 9981239 5283 466004
1789.61/1790.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.61/1790.00 c propagation : 26.99 640300 208140 241717 70.3 22 38.4 -
1789.61/1790.00 c infeasible LP : 1.08 28929 20380 27276 46.6 1 38.0 0
1789.61/1790.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.61/1790.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.61/1790.00 c pseudo solution : 0.00 8 8 8 2.6 0 0.0 -
1789.61/1790.00 c applied globally : - - - 2410 28.3 - - -
1789.61/1790.00 c applied locally : - - - 222550 68.4 - - -
1789.61/1790.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.61/1790.00 c cut pool : 0.00 5 - - 14 - (maximal pool size: 56)
1789.61/1790.00 c redcost : 67.83 5620849 0 34785008 0 0
1789.61/1790.00 c impliedbounds : 0.00 6 0 0 0 0
1789.61/1790.00 c intobj : 0.00 0 0 0 0 0
1789.61/1790.00 c cgmip : 0.00 0 0 0 0 0
1789.61/1790.00 c gomory : 0.00 6 0 0 0 0
1789.61/1790.00 c strongcg : 0.00 6 0 0 26 0
1789.61/1790.00 c cmir : 0.02 6 0 0 20 0
1789.61/1790.00 c flowcover : 0.02 6 0 0 23 0
1789.61/1790.00 c clique : 0.00 1 0 0 0 0
1789.61/1790.00 c zerohalf : 0.00 0 0 0 0 0
1789.61/1790.00 c mcf : 0.00 1 0 0 0 0
1789.61/1790.00 c rapidlearning : 0.05 1 0 0 0 63
1789.61/1790.00 c Pricers : Time Calls Vars
1789.61/1790.00 c problem variables: 0.00 0 0
1789.61/1790.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.61/1790.00 c relpscost : 29.24 3945609 214 9401 0 0 7872932
1789.61/1790.00 c pscost : 0.00 0 0 0 0 0 0
1789.61/1790.00 c inference : 0.00 0 0 0 0 0 0
1789.61/1790.00 c mostinf : 0.00 0 0 0 0 0 0
1789.61/1790.00 c leastinf : 0.00 0 0 0 0 0 0
1789.61/1790.00 c fullstrong : 0.00 0 0 0 0 0 0
1789.61/1790.00 c allfullstrong : 0.00 0 0 0 0 0 0
1789.61/1790.00 c random : 0.00 0 0 0 0 0 0
1789.61/1790.00 c Primal Heuristics : Time Calls Found
1789.61/1790.00 c LP solutions : 0.25 - 39
1789.61/1790.00 c pseudo solutions : 0.00 - 0
1789.61/1790.00 c feaspump : 0.61 2 0
1789.61/1790.00 c oneopt : 4.78 46 0
1789.61/1790.00 c crossover : 11.80 13 0
1789.61/1790.00 c rootsoldiving : 5.96 1716 15
1789.61/1790.00 c veclendiving : 15.91 11090 1
1789.61/1790.00 c linesearchdiving : 19.21 11090 0
1789.61/1790.00 c guideddiving : 20.48 11090 2
1789.61/1790.00 c coefdiving : 52.30 11091 3
1789.61/1790.00 c fracdiving : 28.12 11091 1
1789.61/1790.00 c pscostdiving : 27.53 11091 0
1789.61/1790.00 c objpscostdiving : 7.11 5546 0
1789.61/1790.00 c trivial : 0.00 2 0
1789.61/1790.00 c simplerounding : 7.93 0 0
1789.61/1790.00 c zirounding : 4.60 1000 0
1789.61/1790.00 c rounding : 5.27 28763 0
1789.61/1790.00 c shifting : 4.02 9026 0
1789.61/1790.00 c intshifting : 0.48 0 0
1789.61/1790.00 c twoopt : 0.00 0 0
1789.61/1790.00 c fixandinfer : 0.00 0 0
1789.61/1790.00 c intdiving : 0.00 0 0
1789.61/1790.00 c actconsdiving : 0.00 0 0
1789.61/1790.00 c octane : 0.00 0 0
1789.61/1790.00 c rens : 0.02 1 0
1789.61/1790.00 c rins : 0.00 0 0
1789.61/1790.00 c localbranching : 0.00 0 0
1789.61/1790.00 c mutation : 0.00 0 0
1789.61/1790.00 c dins : 0.00 0 0
1789.61/1790.00 c undercover : 0.00 0 0
1789.61/1790.00 c nlp : 4.49 0 0
1789.61/1790.00 c trysol : 8.64 0 0
1789.61/1790.00 c LP : Time Calls Iterations Iter/call Iter/sec
1789.61/1790.00 c primal LP : 0.00 0 0 0.00 -
1789.61/1790.00 c dual LP : 610.55 5874839 27072216 4.61 44340.35
1789.61/1790.00 c lex dual LP : 0.00 0 0 0.00 -
1789.61/1790.00 c barrier LP : 0.00 0 0 0.00 -
1789.61/1790.00 c diving/probing LP: 82.97 1281858 2682213 2.09 32326.51
1789.61/1790.00 c strong branching : 5.78 43005 142897 3.32 24734.75
1789.61/1790.00 c (at root node) : - 14 806 57.57 -
1789.61/1790.00 c conflict analysis: 0.00 0 0 0.00 -
1789.61/1790.00 c B&B Tree :
1789.61/1790.00 c number of runs : 1
1789.61/1790.00 c nodes : 6198339
1789.61/1790.00 c nodes (total) : 6198339
1789.61/1790.00 c nodes left : 1487275
1789.61/1790.00 c max depth : 63
1789.61/1790.00 c max depth (total): 63
1789.61/1790.00 c backtracks : 1101329 (17.8%)
1789.61/1790.00 c delayed cutoffs : 40911
1789.61/1790.00 c repropagations : 81186 (309292 domain reductions, 40904 cutoffs)
1789.61/1790.00 c avg switch length: 5.99
1789.61/1790.00 c switching time : 120.40
1789.61/1790.00 c Solution :
1789.61/1790.00 c Solutions found : 62 (47 improvements)
1789.61/1790.00 c First Solution : +1.04400000000000e+03 (in run 1, after 1 nodes, 0.07 seconds, depth 0, found by <trysol>)
1789.61/1790.00 c Primal Bound : +1.50000000000000e+01 (in run 1, after 2736769 nodes, 868.06 seconds, depth 58, found by <relaxation>)
1789.61/1790.00 c Dual Bound : +0.00000000000000e+00
1789.61/1790.00 c Gap : infinite
1789.61/1790.00 c Root Dual Bound : +0.00000000000000e+00
1789.61/1790.00 c Root Iterations : 161
1792.01/1792.48 c Time complete: 1792.1.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734932-1338702328/watcher-3734932-1338702328 -o /tmp/evaluation-result-3734932-1338702328/solver-3734932-1338702328 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3734932-1338702328.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 24330
/proc/meminfo: memFree=27054032/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=9972 CPUtime=0 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 1771 0 0 0 0 0 0 0 20 0 1 0 336361348 10211328 1718 33554432000 4194304 8395647 140735061104800 140735577412824 7382157 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 2507 1721 375 1026 0 1477 0
[startup+0.081302 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 24330
/proc/meminfo: memFree=27054032/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=23508 CPUtime=0.07 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 5066 0 0 0 7 0 0 0 20 0 1 0 336361348 24072192 4660 33554432000 4194304 8395647 140735061104800 140735577412824 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 5877 4660 607 1026 0 4847 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 23508
[startup+0.100307 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 24330
/proc/meminfo: memFree=27054032/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=23508 CPUtime=0.09 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 5085 0 0 0 9 0 0 0 20 0 1 0 336361348 24072192 4679 33554432000 4194304 8395647 140735061104800 140735577412824 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 5877 4679 607 1026 0 4847 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23508
[startup+0.300268 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 24330
/proc/meminfo: memFree=27054032/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=24604 CPUtime=0.28 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 5700 0 0 0 28 0 0 0 20 0 1 0 336361348 25194496 5294 33554432000 4194304 8395647 140735061104800 140735061100104 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 6151 5294 621 1026 0 5121 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 24604
[startup+0.700279 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 24330
/proc/meminfo: memFree=27054032/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=24604 CPUtime=0.69 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 5705 0 0 0 68 1 0 0 20 0 1 0 336361348 25194496 5299 33554432000 4194304 8395647 140735061104800 140735061100104 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 6151 5299 622 1026 0 5121 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24604
[startup+1.50028 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 24331
/proc/meminfo: memFree=27034796/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=25024 CPUtime=1.49 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 5835 0 0 0 145 4 0 0 20 0 1 0 336361348 25624576 5429 33554432000 4194304 8395647 140735061104800 140735061100408 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 6256 5429 623 1026 0 5226 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25024
[startup+3.10023 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 24331
/proc/meminfo: memFree=27034292/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=23580 CPUtime=3.08 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 6226 0 0 0 299 9 0 0 20 0 1 0 336361348 24145920 5091 33554432000 4194304 8395647 140735061104800 140735061100408 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 5895 5091 623 1026 0 4865 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23580
[startup+6.30025 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 24331
/proc/meminfo: memFree=27034540/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=25908 CPUtime=6.28 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 6805 0 0 0 610 18 0 0 20 0 1 0 336361348 26529792 5670 33554432000 4194304 8395647 140735061104800 140735061100200 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 6477 5670 623 1026 0 5447 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 25908
[startup+12.7002 s]
/proc/loadavg: 2.10 2.03 2.00 3/177 24331
/proc/meminfo: memFree=27028232/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=30252 CPUtime=12.69 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 20270 0 0 0 1230 39 0 0 20 0 1 0 336361348 30978048 6840 33554432000 4194304 8395647 140735061104800 140735061100408 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 7563 6840 624 1026 0 6533 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30252
[startup+25.5002 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 24331
/proc/meminfo: memFree=27003812/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=56340 CPUtime=25.49 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 31644 0 0 0 2479 70 0 0 20 0 1 0 336361348 57692160 13108 33554432000 4194304 8395647 140735061104800 140735061098168 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 14085 13108 624 1026 0 13055 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 56340
[startup+51.1002 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 24331
/proc/meminfo: memFree=26978784/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=80580 CPUtime=51.07 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 49828 0 0 0 4970 137 0 0 20 0 1 0 336361348 82513920 19387 33554432000 4194304 8395647 140735061104800 140735061100456 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 20145 19387 624 1026 0 19115 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 80580
[startup+102.306 s]
/proc/loadavg: 2.13 2.05 2.01 3/177 24332
/proc/meminfo: memFree=26920428/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=137200 CPUtime=102.25 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 92932 0 0 0 9950 275 0 0 20 0 1 0 336361348 140492800 33778 33554432000 4194304 8395647 140735061104800 140735061100472 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 34300 33778 624 1026 0 33270 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 137200
[startup+162.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 24332
/proc/meminfo: memFree=26877460/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=183348 CPUtime=162.23 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 121456 0 0 0 15800 423 0 0 20 0 1 0 336361348 187748352 44729 33554432000 4194304 8395647 140735061104800 140735061100408 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 45837 44729 624 1026 0 44807 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 183348
[startup+222.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 24332
/proc/meminfo: memFree=26833652/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=223044 CPUtime=222.21 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 146611 0 0 0 21658 563 0 0 20 0 1 0 336361348 228397056 54805 33554432000 4194304 8395647 140735061104800 140735061100408 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 55761 54805 624 1026 0 54731 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 223044
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 24335
/proc/meminfo: memFree=26788488/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=265020 CPUtime=282.19 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 159075 0 0 0 27515 704 0 0 20 0 1 0 336361348 271380480 65547 33554432000 4194304 8395647 140735061104800 140735061100056 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 66255 65547 624 1026 0 65225 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 265020
[startup+342.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 24335
/proc/meminfo: memFree=26740264/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=312844 CPUtime=342.18 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 172081 0 0 0 33381 837 0 0 20 0 1 0 336361348 320352256 77718 33554432000 4194304 8395647 140735061104800 140735061100408 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 78211 77718 624 1026 0 77181 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 312844
[startup+402.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 24336
/proc/meminfo: memFree=26682664/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=377784 CPUtime=402.17 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 186128 0 0 0 39252 965 0 0 20 0 1 0 336361348 386850816 92276 33554432000 4194304 8395647 140735061104800 140735061100408 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 94446 92276 624 1026 0 93416 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 377784
[startup+462.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/177 24336
/proc/meminfo: memFree=26641644/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=416980 CPUtime=462.16 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 202210 0 0 0 45110 1106 0 0 20 0 1 0 336361348 426987520 102263 33554432000 4194304 8395647 140735061104800 140735061100056 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 104245 102263 624 1026 0 103215 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 416980
[startup+522.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 24336
/proc/meminfo: memFree=26606580/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=451464 CPUtime=522.15 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 216410 0 0 0 50975 1240 0 0 20 0 1 0 336361348 462299136 110986 33554432000 4194304 8395647 140735061104800 140735061100408 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 112866 110986 624 1026 0 111836 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 451464
[startup+582.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 24336
/proc/meminfo: memFree=26571404/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=483108 CPUtime=582.12 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 224456 0 0 0 56841 1371 0 0 20 0 1 0 336361348 494702592 119840 33554432000 4194304 8395647 140735061104800 140735061100200 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 120777 119840 624 1026 0 119747 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 483108
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26301192/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=762120 CPUtime=1122.03 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 317259 0 0 0 109745 2458 0 0 20 0 1 0 336361348 780410880 187289 33554432000 4194304 8395647 140735061104800 140735061100360 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 190530 187289 624 1026 0 189500 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 762120
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 24364
/proc/meminfo: memFree=26270748/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=790256 CPUtime=1182.03 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 324308 0 0 0 115626 2577 0 0 20 0 1 0 336361348 809222144 194849 33554432000 4194304 8395647 140735061104800 140735061100408 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 197564 194849 624 1026 0 196534 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 790256
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 24364
/proc/meminfo: memFree=26241608/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=819132 CPUtime=1242.02 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 331527 0 0 0 121505 2697 0 0 20 0 1 0 336361348 838791168 202068 33554432000 4194304 8395647 140735061104800 140735061100360 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 204783 202068 624 1026 0 203753 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 819132
[startup+1302.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 24365
/proc/meminfo: memFree=26213088/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=847544 CPUtime=1302.01 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 338630 0 0 0 127386 2815 0 0 20 0 1 0 336361348 867885056 209171 33554432000 4194304 8395647 140735061104800 140735061100152 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 211886 209171 624 1026 0 210856 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 847544
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 24365
/proc/meminfo: memFree=26189528/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=872232 CPUtime=1362 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 345661 0 0 0 133272 2928 0 0 20 0 1 0 336361348 893165568 215343 33554432000 4194304 8395647 140735061104800 140735061100200 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 218058 215343 624 1026 0 217028 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 872232
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 24365
/proc/meminfo: memFree=26157164/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=903416 CPUtime=1421.99 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 353457 0 0 0 139150 3049 0 0 20 0 1 0 336361348 925097984 223139 33554432000 4194304 8395647 140735061104800 140735061100200 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 225854 223139 624 1026 0 224824 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 903416
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24368
/proc/meminfo: memFree=26134244/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=925816 CPUtime=1481.98 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 359060 0 0 0 145028 3170 0 0 20 0 1 0 336361348 948035584 228739 33554432000 4194304 8395647 140735061104800 140735061100056 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 231454 228739 624 1026 0 230424 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 925816
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24368
/proc/meminfo: memFree=26108564/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=949412 CPUtime=1541.97 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 364962 0 0 0 150896 3301 0 0 20 0 1 0 336361348 972197888 235150 33554432000 4194304 8395647 140735061104800 140735061100408 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 237353 235150 624 1026 0 236323 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 949412
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24407
/proc/meminfo: memFree=26077308/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=973344 CPUtime=1601.95 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 370989 0 0 0 156769 3426 0 0 20 0 1 0 336361348 996704256 241165 33554432000 4194304 8395647 140735061104800 140735061100200 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 243336 241165 624 1026 0 242306 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 973344
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24407
/proc/meminfo: memFree=26036884/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=997136 CPUtime=1661.94 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 376912 0 0 0 162639 3555 0 0 20 0 1 0 336361348 1021067264 247081 33554432000 4194304 8395647 140735061104800 140735061100200 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 249284 247081 624 1026 0 248254 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 997136
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24407
/proc/meminfo: memFree=25997708/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=1023480 CPUtime=1721.93 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 383498 0 0 0 168525 3668 0 0 20 0 1 0 336361348 1048043520 253667 33554432000 4194304 8395647 140735061104800 140735061100200 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 255870 253667 624 1026 0 254840 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1023480
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24408
/proc/meminfo: memFree=25961368/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=1050508 CPUtime=1781.91 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 390253 0 0 0 174413 3778 0 0 20 0 1 0 336361348 1075720192 260422 33554432000 4194304 8395647 140735061104800 140735061100408 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 262627 260422 624 1026 0 261597 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 1050508
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24408
/proc/meminfo: memFree=25960748/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=1050892 CPUtime=1785.12 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 390381 0 0 0 174727 3785 0 0 20 0 1 0 336361348 1076113408 260550 33554432000 4194304 8395647 140735061104800 140735061100408 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 262723 260550 624 1026 0 261693 0
Current children cumulated CPU time (s) 1785.12
Current children cumulated vsize (KiB) 1050892
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24408
/proc/meminfo: memFree=25959880/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=1051852 CPUtime=1788.31 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 390605 0 0 0 175042 3789 0 0 20 0 1 0 336361348 1077096448 260774 33554432000 4194304 8395647 140735061104800 140735061100056 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 262963 260774 624 1026 0 261933 0
Current children cumulated CPU time (s) 1788.31
Current children cumulated vsize (KiB) 1051852
[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24408
/proc/meminfo: memFree=25959136/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=1052620 CPUtime=1789.91 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 390783 0 0 0 175200 3791 0 0 20 0 1 0 336361348 1077882880 260952 33554432000 4194304 8395647 140735061104800 140735061100632 4653781 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 263155 260952 626 1026 0 262125 0
Current children cumulated CPU time (s) 1789.91
Current children cumulated vsize (KiB) 1052620
[startup+1791.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24408
/proc/meminfo: memFree=25959136/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=1052620 CPUtime=1790.71 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 390783 0 0 0 175280 3791 0 0 20 0 1 0 336361348 1077882880 260952 33554432000 4194304 8395647 140735061104800 140735061100632 4665344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 263155 260952 626 1026 0 262125 0
Current children cumulated CPU time (s) 1790.71
Current children cumulated vsize (KiB) 1052620
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24408
/proc/meminfo: memFree=25959136/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=1052620 CPUtime=1791.52 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 390783 0 0 0 175361 3791 0 0 20 0 1 0 336361348 1077882880 260952 33554432000 4194304 8395647 140735061104800 140735061100632 4665344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 263155 260952 626 1026 0 262125 0
Current children cumulated CPU time (s) 1791.52
Current children cumulated vsize (KiB) 1052620
[startup+1792.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24408
/proc/meminfo: memFree=25959136/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=1052620 CPUtime=1791.91 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 390783 0 0 0 175400 3791 0 0 20 0 1 0 336361348 1077882880 260952 33554432000 4194304 8395647 140735061104800 140735061100632 6345370 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 263155 260952 626 1026 0 262125 0
Current children cumulated CPU time (s) 1791.91
Current children cumulated vsize (KiB) 1052620
[startup+1792.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24408
/proc/meminfo: memFree=25959136/32873844 swapFree=7628/7628
[pid=24330] ppid=24328 vsize=1052620 CPUtime=1792.01 cores=0,2,4,6
/proc/24330/stat : 24330 (pbscip.linux.x8) R 24328 24330 20882 0 -1 4202496 390783 0 0 0 175410 3791 0 0 20 0 1 0 336361348 1077882880 260952 33554432000 4194304 8395647 140735061104800 140735061100632 6345342 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24330/statm: 263155 260952 626 1026 0 262125 0
Current children cumulated CPU time (s) 1792.01
Current children cumulated vsize (KiB) 1052620
Child status: 0
Real time (s): 1792.49
CPU time (s): 1792.11
CPU user time (s): 1754.18
CPU system time (s): 37.9252
CPU usage (%): 99.979
Max. virtual memory (cumulated for all children) (KiB): 1052620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1754.18
system time used= 37.9252
maximum resident set size= 1043808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 390786
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= 122
involuntary context switches= 2065
runsolver used 2.79458 second user time and 8.16976 second system time
The end