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-2703927-1278562791.opb>
0.00/0.01 c original problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 10 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 101/120 (84.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 5 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.02 c 5 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.3
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1790
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/indicator/addCouplingCons = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 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 | 26 | - | 423k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 o 996
0.09/0.10 c y 0.1s| 1 | 0 | 57 | - | 455k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | 9.960000e+02 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 67 | - | 585k| 0 | 11 | 120 | 92 | 120 | 11 | 6 | 0 | 0 | 0.000000e+00 | 9.960000e+02 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 77 | - | 631k| 0 | 9 | 120 | 92 | 120 | 15 | 10 | 0 | 0 | 0.000000e+00 | 9.960000e+02 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 81 | - | 680k| 0 | 12 | 120 | 92 | 120 | 18 | 13 | 0 | 0 | 0.000000e+00 | 9.960000e+02 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 94 | - | 707k| 0 | 10 | 120 | 92 | 120 | 21 | 16 | 0 | 0 | 0.000000e+00 | 9.960000e+02 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 102 | - | 751k| 0 | 12 | 120 | 92 | 120 | 26 | 21 | 0 | 0 | 0.000000e+00 | 9.960000e+02 | Inf
0.09/0.16 c 0.1s| 1 | 0 | 108 | - | 764k| 0 | 15 | 120 | 92 | 120 | 28 | 23 | 0 | 0 | 0.000000e+00 | 9.960000e+02 | Inf
0.09/0.17 c 0.2s| 1 | 0 | 118 | - | 767k| 0 | 13 | 120 | 92 | 120 | 30 | 25 | 0 | 0 | 0.000000e+00 | 9.960000e+02 | Inf
0.19/0.22 c 0.2s| 1 | 2 | 118 | - | 768k| 0 | 13 | 120 | 92 | 120 | 30 | 25 | 0 | 11 | 0.000000e+00 | 9.960000e+02 | Inf
0.19/0.26 o 137
0.19/0.26 c c 0.2s| 22 | 23 | 275 | 7.5 | 823k| 21 | - | 120 | 92 | 120 | 14 | 25 | 1 | 111 | 0.000000e+00 | 1.370000e+02 | Inf
0.39/0.44 o 136
0.39/0.44 c v 0.4s| 220 | 213 | 1138 | 4.7 | 933k| 31 | - | 120 | 102 | 120 | 14 | 25 | 16 | 357 | 0.000000e+00 | 1.360000e+02 | Inf
0.39/0.45 o 134
0.39/0.45 c l 0.4s| 234 | 227 | 1198 | 4.6 | 957k| 31 | - | 120 | 103 | 120 | 14 | 25 | 21 | 368 | 0.000000e+00 | 1.340000e+02 | Inf
0.49/0.50 o 130
0.49/0.50 c c 0.5s| 295 | 281 | 1545 | 4.9 | 988k| 31 | - | 120 | 107 | 120 | 14 | 25 | 26 | 408 | 0.000000e+00 | 1.300000e+02 | Inf
0.49/0.53 o 128
0.49/0.53 c v 0.5s| 341 | 325 | 1735 | 4.8 |1022k| 31 | - | 120 | 108 | 120 | 14 | 25 | 31 | 440 | 0.000000e+00 | 1.280000e+02 | Inf
0.49/0.55 o 127
0.49/0.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.55 c * 0.5s| 370 | 350 | 1831 | 4.6 |1031k| 31 | - | 120 | 108 | 120 | 14 | 25 | 32 | 452 | 0.000000e+00 | 1.270000e+02 | Inf
0.49/0.55 o 111
0.49/0.55 c g 0.5s| 374 | 345 | 1839 | 4.6 |1030k| 33 | - | 120 | 108 | 120 | 14 | 25 | 32 | 466 | 0.000000e+00 | 1.110000e+02 | Inf
0.69/0.72 o 109
0.69/0.72 c p 0.7s| 590 | 553 | 2810 | 4.6 |1137k| 33 | - | 120 | 112 | 120 | 14 | 25 | 44 | 511 | 0.000000e+00 | 1.090000e+02 | Inf
0.79/0.85 o 49
0.79/0.85 c c 0.8s| 802 | 678 | 3780 | 4.6 |1196k| 35 | - | 120 | 117 | 120 | 14 | 25 | 59 | 533 | 0.000000e+00 | 4.900000e+01 | Inf
0.79/0.88 o 48
0.79/0.88 c v 0.9s| 841 | 716 | 3970 | 4.6 |1220k| 35 | - | 120 | 122 | 120 | 14 | 25 | 70 | 541 | 0.000000e+00 | 4.800000e+01 | Inf
1.00/1.10 o 46
1.00/1.10 c l 1.1s| 1159 | 1014 | 5924 | 5.0 |1386k| 35 | - | 120 | 142 | 120 | 14 | 25 | 128 | 558 | 0.000000e+00 | 4.600000e+01 | Inf
1.10/1.12 o 32
1.10/1.12 c g 1.1s| 1193 | 952 | 6051 | 5.0 |1360k| 35 | - | 120 | 143 | 120 | 14 | 25 | 132 | 560 | 0.000000e+00 | 3.200000e+01 | Inf
3.09/3.10 o 31
3.09/3.10 c * 3.1s| 3706 | 3130 | 24249 | 6.5 |2457k| 35 | - | 120 | 234 | 120 | 14 | 25 | 648 | 635 | 0.000000e+00 | 3.100000e+01 | Inf
3.49/3.57 o 30
3.49/3.57 c * 3.6s| 4330 | 3632 | 28076 | 6.5 |2698k| 35 | - | 120 | 253 | 120 | 14 | 25 | 787 | 649 | 0.000000e+00 | 3.000000e+01 | Inf
3.49/3.57 o 28
3.49/3.57 c * 3.6s| 4331 | 3601 | 28076 | 6.5 |2674k| 35 | - | 120 | 253 | 120 | 14 | 25 | 787 | 649 | 0.000000e+00 | 2.800000e+01 | Inf
3.89/3.99 o 27
3.89/3.99 c * 4.0s| 4947 | 4076 | 31920 | 6.4 |2919k| 35 | - | 120 | 259 | 120 | 14 | 25 | 906 | 665 | 0.000000e+00 | 2.700000e+01 | Inf
3.89/3.99 o 25
3.89/3.99 c * 4.0s| 4948 | 4044 | 31920 | 6.4 |2897k| 35 | - | 120 | 259 | 120 | 14 | 25 | 906 | 665 | 0.000000e+00 | 2.500000e+01 | Inf
4.49/4.50 o 21
4.49/4.50 c s 4.5s| 5703 | 4478 | 36173 | 6.3 |3091k| 35 | 4 | 120 | 239 | 120 | 14 | 25 |1039 | 702 | 0.000000e+00 | 2.100000e+01 | Inf
4.49/4.51 o 20
4.49/4.51 c * 4.5s| 5704 | 4456 | 36175 | 6.3 |3071k| 35 | - | 120 | 239 | 120 | 14 | 25 |1039 | 704 | 0.000000e+00 | 2.000000e+01 | Inf
4.49/4.51 o 18
4.49/4.51 c * 4.5s| 5705 | 4401 | 36175 | 6.3 |3024k| 35 | - | 120 | 239 | 120 | 14 | 25 |1039 | 704 | 0.000000e+00 | 1.800000e+01 | Inf
6.89/6.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.89/6.97 c 7.0s| 10000 | 6682 | 54827 | 5.5 |4450k| 36 | - | 120 | 177 | 120 | 14 | 25 |1620 | 898 | 0.000000e+00 | 1.800000e+01 | Inf
9.59/9.62 o 8
9.59/9.62 c s 9.6s| 15011 | 7630 | 75158 | 5.0 |4688k| 37 | - | 120 | 174 | 120 | 14 | 25 |2265 |1100 | 0.000000e+00 | 8.000000e+00 | Inf
11.69/11.76 c 11.7s| 20000 | 9166 | 92824 | 4.6 |5454k| 37 | 5 | 120 | 166 | 120 | 14 | 25 |2621 |1247 | 0.000000e+00 | 8.000000e+00 | Inf
15.59/15.63 c 15.6s| 30000 | 11221 |125889 | 4.2 |6647k| 37 | 5 | 120 | 210 | 120 | 14 | 25 |3194 |1476 | 0.000000e+00 | 8.000000e+00 | Inf
19.39/19.48 c 19.5s| 40000 | 13201 |158252 | 4.0 |7803k| 37 | 5 | 120 | 233 | 120 | 14 | 25 |3854 |1726 | 0.000000e+00 | 8.000000e+00 | Inf
22.39/22.43 o 6
22.39/22.43 c *22.4s| 48252 | 14061 |183871 | 3.8 |8191k| 37 | - | 120 | 224 | 120 | 14 | 25 |4260 |1882 | 0.000000e+00 | 6.000000e+00 | Inf
22.99/23.05 c 23.0s| 50000 | 14130 |189142 | 3.8 |8267k| 37 | 5 | 120 | 219 | 120 | 14 | 25 |4323 |1916 | 0.000000e+00 | 6.000000e+00 | Inf
26.39/26.43 c 26.4s| 60000 | 14950 |218077 | 3.6 |8894k| 37 | 5 | 120 | 230 | 120 | 14 | 25 |4784 |2122 | 0.000000e+00 | 6.000000e+00 | Inf
29.69/29.75 c 29.7s| 70000 | 14971 |246425 | 3.5 |9106k| 37 | - | 120 | 201 | 120 | 14 | 25 |5164 |2320 | 0.000000e+00 | 6.000000e+00 | Inf
33.09/33.11 c 33.1s| 80000 | 14888 |275319 | 3.4 |9229k| 37 | - | 120 | 205 | 120 | 14 | 25 |5643 |2513 | 0.000000e+00 | 6.000000e+00 | Inf
36.38/36.45 c 36.4s| 90000 | 15233 |304446 | 3.4 |9530k| 37 | 5 | 120 | 195 | 120 | 14 | 25 |6203 |2665 | 0.000000e+00 | 6.000000e+00 | Inf
39.78/39.84 c 39.8s|100000 | 15871 |332686 | 3.3 | 10M| 37 | 5 | 120 | 184 | 120 | 14 | 25 |6933 |2777 | 0.000000e+00 | 6.000000e+00 | Inf
43.17/43.22 c 43.2s|110000 | 16319 |361149 | 3.3 | 10M| 37 | - | 120 | 179 | 120 | 14 | 25 |7549 |2923 | 0.000000e+00 | 6.000000e+00 | Inf
46.58/46.63 c 46.6s|120000 | 16709 |391444 | 3.3 | 10M| 37 | 5 | 120 | 163 | 120 | 14 | 25 |7998 |3074 | 0.000000e+00 | 6.000000e+00 | Inf
48.48/48.51 o 4
48.48/48.51 c *48.5s|125663 | 15978 |407537 | 3.2 | 10M| 37 | - | 120 | 135 | 120 | 14 | 25 |8333 |3141 | 0.000000e+00 | 4.000000e+00 | Inf
50.28/50.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.28/50.32 c 50.3s|130000 | 16052 |420014 | 3.2 | 10M| 37 | - | 120 | 138 | 120 | 14 | 25 |8507 |3203 | 0.000000e+00 | 4.000000e+00 | Inf
53.28/53.37 c 53.4s|140000 | 15982 |447907 | 3.2 | 10M| 37 | 5 | 120 | 155 | 120 | 14 | 25 |8948 |3320 | 0.000000e+00 | 4.000000e+00 | Inf
56.28/56.40 c 56.4s|150000 | 16596 |475903 | 3.2 | 10M| 37 | 5 | 120 | 160 | 120 | 14 | 25 |9369 |3421 | 0.000000e+00 | 4.000000e+00 | Inf
59.28/59.40 c 59.4s|160000 | 16260 |502165 | 3.1 | 10M| 37 | - | 120 | 166 | 120 | 14 | 25 |9783 |3550 | 0.000000e+00 | 4.000000e+00 | Inf
62.28/62.39 c 62.4s|170000 | 15935 |529945 | 3.1 | 10M| 37 | - | 120 | 144 | 120 | 14 | 25 | 10k|3678 | 0.000000e+00 | 4.000000e+00 | Inf
65.37/65.42 c 65.4s|180000 | 15895 |558323 | 3.1 | 10M| 37 | - | 120 | 141 | 0 | 0 | 25 | 10k|3789 | 0.000000e+00 | 4.000000e+00 | Inf
68.27/68.39 c 68.4s|190000 | 15671 |586042 | 3.1 | 10M| 37 | - | 120 | 130 | 120 | 14 | 25 | 11k|3893 | 0.000000e+00 | 4.000000e+00 | Inf
71.27/71.34 c 71.3s|200000 | 15521 |613614 | 3.1 | 10M| 37 | - | 120 | 125 | 120 | 14 | 25 | 11k|3975 | 0.000000e+00 | 4.000000e+00 | Inf
74.18/74.26 c 74.3s|210000 | 15291 |641209 | 3.1 |9935k| 37 | - | 120 | 118 | 120 | 14 | 25 | 12k|4048 | 0.000000e+00 | 4.000000e+00 | Inf
77.07/77.19 c 77.2s|220000 | 15362 |668932 | 3.0 | 10M| 37 | 5 | 120 | 116 | 120 | 14 | 25 | 12k|4119 | 0.000000e+00 | 4.000000e+00 | Inf
80.07/80.14 c 80.1s|230000 | 15333 |696460 | 3.0 | 10M| 37 | 5 | 120 | 117 | 120 | 14 | 25 | 13k|4201 | 0.000000e+00 | 4.000000e+00 | Inf
82.97/83.06 c 83.1s|240000 | 15231 |724608 | 3.0 |9946k| 37 | 5 | 120 | 130 | 120 | 14 | 25 | 13k|4281 | 0.000000e+00 | 4.000000e+00 | Inf
85.86/85.98 c 86.0s|250000 | 15231 |751360 | 3.0 |9997k| 37 | 5 | 120 | 137 | 120 | 14 | 25 | 13k|4347 | 0.000000e+00 | 4.000000e+00 | Inf
88.87/88.93 c 88.9s|260000 | 15188 |778939 | 3.0 |9858k| 37 | 5 | 120 | 112 | 120 | 14 | 25 | 14k|4422 | 0.000000e+00 | 4.000000e+00 | Inf
91.76/91.83 c 91.8s|270000 | 15032 |806608 | 3.0 |9782k| 37 | 5 | 120 | 97 | 120 | 14 | 25 | 14k|4468 | 0.000000e+00 | 4.000000e+00 | Inf
94.76/94.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.76/94.82 c 94.8s|280000 | 15649 |834680 | 3.0 | 10M| 37 | - | 120 | 102 | 120 | 14 | 25 | 15k|4550 | 0.000000e+00 | 4.000000e+00 | Inf
97.66/97.73 c 97.7s|290000 | 16067 |861634 | 3.0 | 10M| 37 | 5 | 120 | 90 | 120 | 14 | 25 | 15k|4620 | 0.000000e+00 | 4.000000e+00 | Inf
100.56/100.67 c 101s|300000 | 16408 |889887 | 3.0 | 10M| 37 | - | 120 | 88 | 0 | 0 | 25 | 16k|4711 | 0.000000e+00 | 4.000000e+00 | Inf
103.46/103.55 c 104s|310000 | 16152 |916553 | 3.0 | 10M| 37 | - | 120 | 75 | 120 | 14 | 25 | 16k|4802 | 0.000000e+00 | 4.000000e+00 | Inf
106.36/106.48 c 106s|320000 | 16723 |943682 | 2.9 | 11M| 37 | - | 120 | 81 | 120 | 14 | 25 | 17k|4883 | 0.000000e+00 | 4.000000e+00 | Inf
109.26/109.36 c 109s|330000 | 16830 |969334 | 2.9 | 11M| 37 | - | 120 | 84 | 120 | 14 | 25 | 17k|4951 | 0.000000e+00 | 4.000000e+00 | Inf
112.17/112.22 c 112s|340000 | 16517 |994547 | 2.9 | 11M| 37 | 5 | 120 | 87 | 120 | 14 | 25 | 18k|5018 | 0.000000e+00 | 4.000000e+00 | Inf
114.96/115.09 c 115s|350000 | 16249 | 1020k| 2.9 | 11M| 37 | 5 | 120 | 72 | 120 | 14 | 25 | 18k|5096 | 0.000000e+00 | 4.000000e+00 | Inf
117.96/118.00 c 118s|360000 | 16272 | 1047k| 2.9 | 11M| 37 | 5 | 120 | 90 | 120 | 14 | 25 | 18k|5160 | 0.000000e+00 | 4.000000e+00 | Inf
120.76/120.85 c 121s|370000 | 15746 | 1074k| 2.9 | 10M| 37 | - | 120 | 73 | 0 | 0 | 25 | 19k|5226 | 0.000000e+00 | 4.000000e+00 | Inf
123.66/123.79 c 124s|380000 | 16469 | 1102k| 2.9 | 11M| 37 | 5 | 120 | 78 | 120 | 14 | 25 | 19k|5301 | 0.000000e+00 | 4.000000e+00 | Inf
126.56/126.65 c 127s|390000 | 16705 | 1128k| 2.9 | 11M| 37 | - | 120 | 81 | 120 | 14 | 25 | 20k|5369 | 0.000000e+00 | 4.000000e+00 | Inf
129.45/129.51 c 129s|400000 | 16547 | 1154k| 2.9 | 11M| 37 | - | 120 | 83 | 120 | 14 | 25 | 20k|5438 | 0.000000e+00 | 4.000000e+00 | Inf
132.25/132.35 c 132s|410000 | 16517 | 1180k| 2.9 | 11M| 37 | - | 120 | 88 | 120 | 14 | 25 | 21k|5522 | 0.000000e+00 | 4.000000e+00 | Inf
135.16/135.21 c 135s|420000 | 16409 | 1206k| 2.9 | 11M| 37 | 5 | 120 | 81 | 120 | 14 | 25 | 21k|5599 | 0.000000e+00 | 4.000000e+00 | Inf
137.95/138.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.95/138.09 c 138s|430000 | 15299 | 1232k| 2.9 | 10M| 37 | - | 120 | 70 | 0 | 0 | 25 | 21k|5680 | 0.000000e+00 | 4.000000e+00 | Inf
140.95/141.05 c 141s|440000 | 15866 | 1260k| 2.9 | 10M| 37 | - | 120 | 88 | 120 | 14 | 25 | 22k|5745 | 0.000000e+00 | 4.000000e+00 | Inf
143.85/143.94 c 144s|450000 | 15880 | 1287k| 2.9 | 10M| 37 | 5 | 120 | 84 | 120 | 14 | 25 | 22k|5804 | 0.000000e+00 | 4.000000e+00 | Inf
146.75/146.85 c 147s|460000 | 16167 | 1314k| 2.9 | 10M| 37 | 5 | 120 | 92 | 120 | 14 | 25 | 23k|5866 | 0.000000e+00 | 4.000000e+00 | Inf
149.65/149.73 c 150s|470000 | 15792 | 1340k| 2.9 | 10M| 37 | 5 | 120 | 76 | 120 | 14 | 25 | 23k|5923 | 0.000000e+00 | 4.000000e+00 | Inf
152.45/152.57 c 153s|480000 | 15440 | 1367k| 2.8 | 10M| 37 | - | 120 | 75 | 120 | 14 | 25 | 24k|5987 | 0.000000e+00 | 4.000000e+00 | Inf
155.45/155.53 c 156s|490000 | 15077 | 1394k| 2.8 | 10M| 37 | - | 120 | 75 | 120 | 14 | 25 | 24k|6118 | 0.000000e+00 | 4.000000e+00 | Inf
158.25/158.35 c 158s|500000 | 14956 | 1421k| 2.8 | 10M| 37 | - | 120 | 68 | 120 | 14 | 25 | 25k|6164 | 0.000000e+00 | 4.000000e+00 | Inf
161.15/161.23 c 161s|510000 | 14906 | 1448k| 2.8 |9717k| 37 | 5 | 120 | 72 | 120 | 14 | 25 | 25k|6210 | 0.000000e+00 | 4.000000e+00 | Inf
164.04/164.13 c 164s|520000 | 15053 | 1476k| 2.8 |9863k| 37 | 5 | 120 | 90 | 120 | 14 | 25 | 25k|6272 | 0.000000e+00 | 4.000000e+00 | Inf
166.65/166.73 o 3
166.65/166.73 c * 167s|529084 | 14367 | 1500k| 2.8 |8995k| 37 | - | 120 | 81 | 120 | 14 | 25 | 26k|6331 | 0.000000e+00 | 3.000000e+00 | Inf
166.95/167.01 c 167s|530000 | 14227 | 1502k| 2.8 |8735k| 37 | 5 | 120 | 72 | 120 | 14 | 25 | 26k|6340 | 0.000000e+00 | 3.000000e+00 | Inf
169.75/169.81 c 170s|540000 | 13998 | 1529k| 2.8 |8502k| 37 | 5 | 120 | 69 | 120 | 14 | 25 | 26k|6443 | 0.000000e+00 | 3.000000e+00 | Inf
172.45/172.56 c 173s|550000 | 13688 | 1556k| 2.8 |8278k| 37 | - | 120 | 77 | 120 | 14 | 25 | 27k|6584 | 0.000000e+00 | 3.000000e+00 | Inf
175.24/175.37 c 175s|560000 | 13566 | 1583k| 2.8 |8209k| 37 | 5 | 120 | 82 | 120 | 14 | 25 | 27k|6712 | 0.000000e+00 | 3.000000e+00 | Inf
178.05/178.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.05/178.13 c 178s|570000 | 13342 | 1610k| 2.8 |8092k| 37 | - | 120 | 90 | 120 | 14 | 25 | 27k|6844 | 0.000000e+00 | 3.000000e+00 | Inf
180.74/180.87 c 181s|580000 | 12885 | 1637k| 2.8 |7843k| 37 | 5 | 120 | 84 | 120 | 14 | 25 | 28k|6977 | 0.000000e+00 | 3.000000e+00 | Inf
183.54/183.66 c 184s|590000 | 12469 | 1664k| 2.8 |7592k| 37 | 5 | 120 | 79 | 120 | 14 | 25 | 28k|7104 | 0.000000e+00 | 3.000000e+00 | Inf
186.34/186.49 c 186s|600000 | 12748 | 1692k| 2.8 |7846k| 37 | 5 | 120 | 80 | 120 | 14 | 25 | 28k|7256 | 0.000000e+00 | 3.000000e+00 | Inf
189.15/189.25 c 189s|610000 | 12315 | 1719k| 2.8 |7498k| 37 | - | 120 | 82 | 120 | 14 | 25 | 29k|7389 | 0.000000e+00 | 3.000000e+00 | Inf
191.94/192.05 c 192s|620000 | 12135 | 1747k| 2.8 |7398k| 37 | - | 120 | 70 | 120 | 14 | 25 | 29k|7504 | 0.000000e+00 | 3.000000e+00 | Inf
194.74/194.82 c 195s|630000 | 12105 | 1774k| 2.8 |7401k| 37 | 5 | 120 | 77 | 120 | 14 | 25 | 30k|7645 | 0.000000e+00 | 3.000000e+00 | Inf
197.44/197.58 c 198s|640000 | 11739 | 1802k| 2.8 |7171k| 37 | 5 | 120 | 73 | 120 | 14 | 25 | 30k|7787 | 0.000000e+00 | 3.000000e+00 | Inf
200.23/200.39 c 200s|650000 | 11835 | 1829k| 2.8 |7224k| 37 | - | 120 | 92 | 120 | 14 | 25 | 30k|7918 | 0.000000e+00 | 3.000000e+00 | Inf
203.14/203.21 c 203s|660000 | 11634 | 1855k| 2.8 |7108k| 37 | 5 | 120 | 87 | 120 | 14 | 25 | 31k|8045 | 0.000000e+00 | 3.000000e+00 | Inf
205.84/205.91 c 206s|670000 | 11458 | 1882k| 2.8 |7004k| 37 | 5 | 120 | 73 | 120 | 14 | 25 | 31k|8166 | 0.000000e+00 | 3.000000e+00 | Inf
208.54/208.64 c 209s|680000 | 11427 | 1909k| 2.8 |7035k| 37 | 5 | 120 | 87 | 120 | 14 | 25 | 31k|8249 | 0.000000e+00 | 3.000000e+00 | Inf
211.24/211.36 c 211s|690000 | 11123 | 1935k| 2.8 |6820k| 37 | 5 | 120 | 71 | 120 | 14 | 25 | 32k|8361 | 0.000000e+00 | 3.000000e+00 | Inf
214.03/214.11 c 214s|700000 | 10743 | 1962k| 2.8 |6615k| 37 | 5 | 120 | 74 | 120 | 14 | 25 | 32k|8487 | 0.000000e+00 | 3.000000e+00 | Inf
216.73/216.87 c 217s|710000 | 10463 | 1990k| 2.8 |6455k| 37 | - | 120 | 69 | 120 | 14 | 25 | 32k|8627 | 0.000000e+00 | 3.000000e+00 | Inf
219.53/219.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
219.53/219.63 c 220s|720000 | 10429 | 2017k| 2.8 |6546k| 37 | - | 120 | 72 | 120 | 14 | 25 | 33k|8739 | 0.000000e+00 | 3.000000e+00 | Inf
222.23/222.36 c 222s|730000 | 10342 | 2043k| 2.8 |6439k| 37 | 5 | 120 | 68 | 120 | 14 | 25 | 33k|8854 | 0.000000e+00 | 3.000000e+00 | Inf
225.03/225.12 c 225s|740000 | 10297 | 2070k| 2.8 |6418k| 37 | 5 | 120 | 78 | 120 | 14 | 25 | 34k|8957 | 0.000000e+00 | 3.000000e+00 | Inf
227.82/227.92 c 228s|750000 | 10325 | 2098k| 2.8 |6434k| 37 | 5 | 120 | 103 | 120 | 14 | 25 | 34k|9090 | 0.000000e+00 | 3.000000e+00 | Inf
230.63/230.70 c 231s|760000 | 10661 | 2124k| 2.8 |6776k| 37 | - | 120 | 89 | 120 | 14 | 25 | 34k|9156 | 0.000000e+00 | 3.000000e+00 | Inf
233.33/233.47 c 233s|770000 | 10854 | 2151k| 2.8 |6919k| 37 | 5 | 120 | 88 | 120 | 14 | 25 | 35k|9217 | 0.000000e+00 | 3.000000e+00 | Inf
236.12/236.23 c 236s|780000 | 10684 | 2178k| 2.8 |6992k| 37 | - | 120 | 79 | 120 | 14 | 25 | 35k|9348 | 0.000000e+00 | 3.000000e+00 | Inf
238.93/239.07 c 239s|790000 | 10298 | 2206k| 2.8 |6458k| 37 | - | 120 | 90 | 120 | 14 | 25 | 36k|9474 | 0.000000e+00 | 3.000000e+00 | Inf
241.73/241.83 c 242s|800000 | 10090 | 2233k| 2.8 |6264k| 37 | 5 | 120 | 76 | 120 | 14 | 25 | 36k|9581 | 0.000000e+00 | 3.000000e+00 | Inf
244.42/244.59 c 245s|810000 | 10045 | 2259k| 2.8 |6241k| 37 | - | 120 | 87 | 120 | 14 | 25 | 36k|9681 | 0.000000e+00 | 3.000000e+00 | Inf
247.22/247.36 c 247s|820000 | 10199 | 2287k| 2.8 |6334k| 37 | - | 120 | 85 | 120 | 14 | 25 | 37k|9782 | 0.000000e+00 | 3.000000e+00 | Inf
249.92/250.10 c 250s|830000 | 9992 | 2314k| 2.8 |6238k| 37 | 5 | 120 | 93 | 120 | 14 | 25 | 37k|9924 | 0.000000e+00 | 3.000000e+00 | Inf
252.73/252.85 c 253s|840000 | 10054 | 2341k| 2.8 |6294k| 37 | 5 | 120 | 102 | 120 | 14 | 25 | 37k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
255.52/255.61 c 256s|850000 | 9957 | 2367k| 2.8 |6232k| 37 | - | 120 | 98 | 120 | 14 | 25 | 37k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
258.22/258.39 c 258s|860000 | 9860 | 2395k| 2.8 |6159k| 37 | - | 120 | 99 | 120 | 14 | 25 | 38k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
261.02/261.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
261.02/261.17 c 261s|870000 | 9678 | 2422k| 2.8 |6077k| 37 | - | 120 | 89 | 120 | 14 | 25 | 38k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
264.02/264.10 c 264s|880000 | 9721 | 2450k| 2.8 |6131k| 37 | - | 120 | 103 | 120 | 14 | 25 | 38k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
266.62/266.79 c 267s|890000 | 9611 | 2476k| 2.8 |6052k| 37 | 5 | 120 | 102 | 120 | 14 | 25 | 39k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
269.43/269.52 c 270s|900000 | 9580 | 2502k| 2.8 |6041k| 37 | - | 120 | 90 | 120 | 14 | 25 | 39k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
272.22/272.35 c 272s|910000 | 10443 | 2530k| 2.8 |6513k| 37 | - | 120 | 103 | 120 | 14 | 25 | 39k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
275.01/275.17 c 275s|920000 | 11042 | 2558k| 2.8 |7006k| 37 | 5 | 120 | 95 | 120 | 14 | 25 | 40k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
277.81/277.91 c 278s|930000 | 11303 | 2585k| 2.8 |7307k| 37 | 5 | 120 | 92 | 120 | 14 | 25 | 40k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
280.51/280.66 c 281s|940000 | 11312 | 2612k| 2.8 |7482k| 37 | - | 120 | 101 | 120 | 14 | 25 | 40k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
283.22/283.38 c 283s|950000 | 11208 | 2638k| 2.8 |7534k| 37 | - | 120 | 80 | 0 | 0 | 25 | 41k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
285.92/286.07 c 286s|960000 | 11071 | 2664k| 2.8 |7582k| 37 | - | 120 | 90 | 0 | 0 | 25 | 41k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
288.61/288.78 c 289s|970000 | 10305 | 2690k| 2.8 |7111k| 37 | 5 | 120 | 83 | 120 | 14 | 25 | 41k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
291.51/291.66 c 292s|980000 | 10400 | 2719k| 2.8 |6981k| 37 | 5 | 120 | 91 | 120 | 14 | 25 | 41k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
294.21/294.39 c 294s|990000 | 10146 | 2746k| 2.8 |6968k| 37 | - | 120 | 78 | 120 | 14 | 25 | 42k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
297.11/297.23 c 297s| 1000k| 9995 | 2774k| 2.8 |6272k| 37 | 5 | 120 | 92 | 120 | 14 | 25 | 42k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
299.91/300.01 c 300s| 1010k| 10399 | 2801k| 2.8 |6660k| 37 | - | 120 | 91 | 120 | 14 | 25 | 42k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
302.71/302.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
302.71/302.83 c 303s| 1020k| 10892 | 2830k| 2.8 |7084k| 37 | 5 | 120 | 85 | 120 | 14 | 25 | 43k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
305.51/305.63 c 306s| 1030k| 11129 | 2857k| 2.8 |7364k| 37 | 5 | 120 | 88 | 120 | 14 | 25 | 43k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
308.31/308.47 c 308s| 1040k| 11930 | 2885k| 2.8 |7927k| 37 | 5 | 120 | 92 | 120 | 14 | 25 | 43k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
311.21/311.34 c 311s| 1050k| 12355 | 2914k| 2.8 |8297k| 37 | 5 | 120 | 92 | 120 | 14 | 25 | 44k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
314.01/314.15 c 314s| 1060k| 12389 | 2940k| 2.8 |8483k| 37 | - | 120 | 83 | 120 | 14 | 25 | 44k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
316.91/317.07 c 317s| 1070k| 13435 | 2971k| 2.8 |9150k| 37 | - | 120 | 94 | 120 | 14 | 25 | 44k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
319.70/319.89 c 320s| 1080k| 14202 | 3000k| 2.8 |9691k| 37 | 5 | 120 | 76 | 120 | 14 | 25 | 45k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
322.60/322.71 c 323s| 1090k| 14414 | 3028k| 2.8 |9984k| 37 | 5 | 120 | 63 | 120 | 14 | 25 | 45k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
325.30/325.46 c 325s| 1100k| 14644 | 3054k| 2.8 | 10M| 37 | - | 120 | 67 | 120 | 14 | 25 | 45k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
328.10/328.22 c 328s| 1110k| 14594 | 3081k| 2.8 | 10M| 37 | 5 | 120 | 70 | 120 | 14 | 25 | 46k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
330.80/330.98 c 331s| 1120k| 14842 | 3107k| 2.8 | 10M| 37 | 5 | 120 | 74 | 120 | 14 | 25 | 46k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
333.60/333.76 c 334s| 1130k| 14456 | 3133k| 2.8 | 10M| 37 | 5 | 120 | 68 | 120 | 14 | 25 | 46k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
336.41/336.52 c 337s| 1140k| 14181 | 3160k| 2.8 | 10M| 37 | - | 120 | 61 | 120 | 14 | 25 | 47k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
339.20/339.32 c 339s| 1150k| 14239 | 3187k| 2.8 | 10M| 37 | 5 | 120 | 72 | 120 | 14 | 25 | 47k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
341.91/342.08 c 342s| 1160k| 14018 | 3213k| 2.8 | 10M| 37 | 5 | 120 | 74 | 120 | 14 | 25 | 47k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
344.70/344.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
344.70/344.83 c 345s| 1170k| 13821 | 3240k| 2.8 | 10M| 37 | - | 120 | 64 | 120 | 14 | 25 | 48k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
347.41/347.57 c 348s| 1180k| 13652 | 3266k| 2.8 | 10M| 37 | 5 | 120 | 62 | 120 | 14 | 25 | 48k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
350.19/350.39 c 350s| 1190k| 13460 | 3293k| 2.8 | 10M| 37 | 5 | 120 | 71 | 120 | 14 | 25 | 48k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
353.00/353.13 c 353s| 1200k| 13455 | 3320k| 2.8 | 10M| 37 | 5 | 120 | 71 | 120 | 14 | 25 | 49k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
355.70/355.89 c 356s| 1210k| 13153 | 3347k| 2.8 | 10M| 37 | 5 | 120 | 81 | 120 | 14 | 25 | 49k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
358.50/358.63 c 359s| 1220k| 13017 | 3373k| 2.8 | 10M| 37 | - | 120 | 85 | 120 | 14 | 25 | 49k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
361.29/361.41 c 361s| 1230k| 13406 | 3399k| 2.8 | 10M| 37 | - | 120 | 82 | 0 | 0 | 25 | 50k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
363.90/364.10 c 364s| 1240k| 13209 | 3425k| 2.8 | 10M| 38 | 5 | 120 | 80 | 120 | 14 | 25 | 50k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
366.69/366.83 c 367s| 1250k| 13265 | 3452k| 2.8 | 10M| 38 | - | 120 | 89 | 0 | 0 | 25 | 50k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
369.40/369.54 c 370s| 1260k| 13437 | 3477k| 2.8 | 11M| 38 | 5 | 120 | 93 | 120 | 14 | 25 | 51k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
372.09/372.25 c 372s| 1270k| 12916 | 3503k| 2.8 | 10M| 38 | - | 120 | 85 | 120 | 14 | 25 | 51k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
374.79/374.95 c 375s| 1280k| 12768 | 3529k| 2.8 | 10M| 38 | 5 | 120 | 90 | 120 | 14 | 25 | 51k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
377.59/377.72 c 378s| 1290k| 12587 | 3556k| 2.8 | 10M| 38 | 5 | 120 | 77 | 120 | 14 | 25 | 52k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
380.29/380.47 c 380s| 1300k| 12807 | 3584k| 2.8 | 10M| 38 | - | 120 | 89 | 120 | 14 | 25 | 52k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
383.09/383.24 c 383s| 1310k| 12602 | 3611k| 2.8 | 10M| 38 | - | 120 | 86 | 120 | 14 | 25 | 52k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
385.78/385.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
385.78/385.98 c 386s| 1320k| 13234 | 3637k| 2.8 | 11M| 38 | 5 | 120 | 82 | 120 | 14 | 25 | 52k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
388.59/388.70 c 389s| 1330k| 13149 | 3663k| 2.8 | 11M| 38 | - | 120 | 89 | 120 | 14 | 25 | 53k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
391.28/391.45 c 391s| 1340k| 12800 | 3689k| 2.8 | 11M| 38 | 5 | 120 | 79 | 120 | 14 | 25 | 53k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
393.99/394.14 c 394s| 1350k| 13093 | 3714k| 2.8 | 11M| 38 | 5 | 120 | 79 | 120 | 14 | 25 | 53k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
396.68/396.83 c 397s| 1360k| 13149 | 3739k| 2.7 | 11M| 38 | - | 120 | 86 | 120 | 14 | 25 | 54k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
399.38/399.53 c 400s| 1370k| 12762 | 3766k| 2.7 | 11M| 38 | - | 120 | 74 | 120 | 14 | 25 | 54k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
402.18/402.36 c 402s| 1380k| 12281 | 3792k| 2.7 | 10M| 38 | - | 120 | 67 | 120 | 14 | 25 | 54k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
404.98/405.13 c 405s| 1390k| 11118 | 3818k| 2.7 |9252k| 38 | - | 120 | 68 | 120 | 14 | 25 | 55k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
407.68/407.89 c 408s| 1400k| 10656 | 3845k| 2.7 |8552k| 38 | - | 120 | 67 | 120 | 14 | 25 | 55k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
410.47/410.70 c 411s| 1410k| 9118 | 3871k| 2.7 |5820k| 38 | - | 120 | 79 | 0 | 0 | 25 | 55k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
413.28/413.40 c 413s| 1420k| 9190 | 3898k| 2.7 |5900k| 38 | 5 | 120 | 79 | 120 | 14 | 25 | 56k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
415.97/416.12 c 416s| 1430k| 9214 | 3924k| 2.7 |5954k| 38 | 5 | 120 | 94 | 120 | 14 | 25 | 56k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
418.68/418.87 c 419s| 1440k| 9341 | 3952k| 2.7 |6004k| 38 | - | 120 | 82 | 120 | 14 | 25 | 56k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
421.37/421.58 c 422s| 1450k| 9362 | 3979k| 2.7 |6102k| 38 | - | 120 | 78 | 120 | 14 | 25 | 56k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
424.18/424.33 c 424s| 1460k| 9564 | 4006k| 2.7 |6253k| 38 | 5 | 120 | 88 | 120 | 14 | 25 | 57k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
426.98/427.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
426.98/427.12 c 427s| 1470k| 9784 | 4032k| 2.7 |6526k| 38 | - | 120 | 82 | 120 | 14 | 25 | 57k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
429.68/429.83 c 430s| 1480k| 9671 | 4059k| 2.7 |6518k| 38 | 5 | 120 | 97 | 120 | 14 | 25 | 58k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
432.38/432.57 c 433s| 1490k| 9140 | 4085k| 2.7 |5974k| 38 | - | 120 | 97 | 120 | 14 | 25 | 58k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
435.07/435.29 c 435s| 1500k| 9061 | 4113k| 2.7 |5857k| 38 | - | 120 | 110 | 120 | 14 | 25 | 58k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
437.87/438.03 c 438s| 1510k| 9479 | 4140k| 2.7 |6216k| 38 | - | 120 | 112 | 120 | 14 | 25 | 59k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
440.57/440.72 c 441s| 1520k| 9303 | 4165k| 2.7 |6165k| 38 | - | 120 | 100 | 120 | 14 | 25 | 59k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
443.27/443.46 c 443s| 1530k| 9126 | 4192k| 2.7 |6043k| 38 | 5 | 120 | 98 | 120 | 14 | 25 | 59k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
446.06/446.22 c 446s| 1540k| 9150 | 4219k| 2.7 |6118k| 38 | 5 | 120 | 104 | 120 | 14 | 25 | 60k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
448.87/449.02 c 449s| 1550k| 9174 | 4247k| 2.7 |5931k| 38 | 5 | 120 | 120 | 120 | 14 | 25 | 60k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
451.67/451.82 c 452s| 1560k| 9016 | 4274k| 2.7 |5873k| 38 | - | 120 | 112 | 120 | 14 | 25 | 60k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
454.37/454.50 c 454s| 1570k| 8867 | 4300k| 2.7 |5742k| 38 | 5 | 120 | 104 | 120 | 14 | 25 | 61k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
457.07/457.23 c 457s| 1580k| 9109 | 4326k| 2.7 |5895k| 38 | 5 | 120 | 112 | 120 | 14 | 25 | 61k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
459.68/459.89 c 460s| 1590k| 9039 | 4351k| 2.7 |5979k| 38 | 5 | 120 | 112 | 120 | 14 | 25 | 61k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
462.37/462.59 c 463s| 1600k| 9278 | 4376k| 2.7 |6213k| 38 | - | 120 | 115 | 120 | 14 | 25 | 61k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
465.17/465.32 c 465s| 1610k| 8810 | 4401k| 2.7 |5731k| 38 | - | 120 | 126 | 120 | 14 | 25 | 62k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
467.96/468.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
467.96/468.11 c 468s| 1620k| 8920 | 4427k| 2.7 |5766k| 38 | 5 | 120 | 119 | 120 | 14 | 25 | 62k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
470.86/471.08 c 471s| 1630k| 10189 | 4458k| 2.7 |6566k| 38 | 5 | 120 | 117 | 120 | 14 | 25 | 63k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
473.76/473.99 c 474s| 1640k| 11036 | 4488k| 2.7 |7189k| 38 | - | 120 | 112 | 120 | 14 | 25 | 63k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
476.66/476.88 c 477s| 1650k| 11708 | 4518k| 2.7 |7724k| 38 | - | 120 | 85 | 120 | 14 | 25 | 63k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
479.56/479.74 c 480s| 1660k| 12549 | 4548k| 2.7 |8330k| 38 | - | 120 | 98 | 120 | 14 | 25 | 63k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
482.36/482.54 c 483s| 1670k| 12928 | 4576k| 2.7 |8704k| 38 | 5 | 120 | 94 | 120 | 14 | 25 | 64k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
485.36/485.54 c 486s| 1680k| 14307 | 4605k| 2.7 |9549k| 38 | - | 120 | 105 | 120 | 14 | 25 | 64k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
488.16/488.35 c 488s| 1690k| 15567 | 4633k| 2.7 | 10M| 38 | 5 | 120 | 111 | 120 | 14 | 25 | 65k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
490.85/491.09 c 491s| 1700k| 16296 | 4660k| 2.7 | 10M| 38 | - | 120 | 94 | 120 | 14 | 25 | 65k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
493.66/493.85 c 494s| 1710k| 16617 | 4686k| 2.7 | 11M| 38 | - | 120 | 84 | 120 | 14 | 25 | 65k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
496.36/496.56 c 497s| 1720k| 16779 | 4711k| 2.7 | 11M| 38 | 5 | 120 | 97 | 120 | 14 | 25 | 66k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
499.16/499.34 c 499s| 1730k| 17398 | 4739k| 2.7 | 11M| 38 | - | 120 | 101 | 120 | 14 | 25 | 66k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
501.86/502.08 c 502s| 1740k| 17952 | 4765k| 2.7 | 12M| 38 | - | 120 | 93 | 120 | 14 | 25 | 66k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
504.66/504.90 c 505s| 1750k| 18576 | 4793k| 2.7 | 12M| 38 | - | 120 | 103 | 120 | 14 | 25 | 67k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
507.55/507.70 c 508s| 1760k| 18857 | 4820k| 2.7 | 13M| 38 | - | 120 | 126 | 120 | 14 | 25 | 67k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
510.26/510.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
510.26/510.47 c 510s| 1770k| 19210 | 4847k| 2.7 | 13M| 38 | 5 | 120 | 105 | 120 | 14 | 25 | 67k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
513.05/513.20 c 513s| 1780k| 19395 | 4873k| 2.7 | 13M| 38 | 5 | 120 | 103 | 120 | 14 | 25 | 68k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
515.76/515.91 c 516s| 1790k| 19906 | 4899k| 2.7 | 14M| 38 | - | 120 | 104 | 0 | 0 | 25 | 68k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
518.45/518.63 c 519s| 1800k| 20229 | 4924k| 2.7 | 14M| 38 | 5 | 120 | 101 | 120 | 14 | 25 | 68k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
521.25/521.46 c 521s| 1810k| 21079 | 4951k| 2.7 | 15M| 38 | 5 | 120 | 98 | 120 | 14 | 25 | 69k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
524.05/524.26 c 524s| 1820k| 22290 | 4977k| 2.7 | 16M| 38 | 5 | 120 | 104 | 120 | 14 | 25 | 69k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
526.85/527.07 c 527s| 1830k| 23353 | 5005k| 2.7 | 16M| 38 | - | 120 | 114 | 120 | 14 | 25 | 69k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
529.55/529.77 c 530s| 1840k| 23669 | 5030k| 2.7 | 17M| 38 | 5 | 120 | 102 | 120 | 14 | 25 | 70k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
532.25/532.47 c 532s| 1850k| 23911 | 5054k| 2.7 | 17M| 38 | 5 | 120 | 126 | 120 | 14 | 25 | 70k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
534.94/535.11 c 535s| 1860k| 24017 | 5077k| 2.7 | 17M| 38 | 5 | 120 | 106 | 120 | 14 | 25 | 70k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
537.65/537.85 c 538s| 1870k| 24438 | 5102k| 2.7 | 18M| 38 | - | 120 | 103 | 120 | 14 | 25 | 71k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
540.34/540.52 c 541s| 1880k| 24666 | 5126k| 2.7 | 18M| 38 | 5 | 120 | 107 | 120 | 14 | 25 | 71k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
542.94/543.17 c 543s| 1890k| 24780 | 5150k| 2.7 | 18M| 38 | 5 | 120 | 104 | 120 | 14 | 25 | 71k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
545.65/545.84 c 546s| 1900k| 24953 | 5174k| 2.7 | 18M| 38 | - | 120 | 122 | 120 | 14 | 25 | 72k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
548.34/548.58 c 549s| 1910k| 24908 | 5199k| 2.7 | 18M| 38 | 5 | 120 | 109 | 120 | 14 | 25 | 72k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
551.04/551.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
551.04/551.29 c 551s| 1920k| 25235 | 5224k| 2.7 | 19M| 38 | - | 120 | 116 | 120 | 14 | 25 | 72k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
553.84/554.05 c 554s| 1930k| 25666 | 5250k| 2.7 | 19M| 38 | - | 120 | 138 | 120 | 14 | 25 | 73k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
556.54/556.76 c 557s| 1940k| 26021 | 5276k| 2.7 | 20M| 38 | - | 120 | 115 | 120 | 14 | 25 | 73k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
559.24/559.42 c 559s| 1950k| 26079 | 5299k| 2.7 | 20M| 38 | - | 120 | 131 | 0 | 0 | 25 | 73k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
561.95/562.13 c 562s| 1960k| 26049 | 5324k| 2.7 | 20M| 38 | - | 120 | 104 | 120 | 14 | 25 | 74k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
564.63/564.85 c 565s| 1970k| 25976 | 5350k| 2.7 | 20M| 38 | 5 | 120 | 100 | 120 | 14 | 25 | 74k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
567.23/567.49 c 567s| 1980k| 26029 | 5375k| 2.7 | 20M| 38 | - | 120 | 96 | 120 | 14 | 25 | 74k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
570.04/570.22 c 570s| 1990k| 26145 | 5400k| 2.7 | 20M| 38 | 5 | 120 | 94 | 120 | 14 | 25 | 75k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
572.73/572.93 c 573s| 2000k| 26125 | 5425k| 2.7 | 20M| 38 | - | 120 | 99 | 120 | 14 | 25 | 75k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
575.44/575.66 c 576s| 2010k| 26193 | 5450k| 2.7 | 21M| 38 | 5 | 120 | 103 | 120 | 14 | 25 | 75k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
578.13/578.32 c 578s| 2020k| 26136 | 5475k| 2.7 | 21M| 38 | 5 | 120 | 100 | 120 | 14 | 25 | 76k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
580.83/581.07 c 581s| 2030k| 26050 | 5501k| 2.7 | 21M| 38 | 5 | 120 | 89 | 120 | 14 | 25 | 76k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
583.63/583.82 c 584s| 2040k| 26771 | 5527k| 2.7 | 21M| 38 | - | 120 | 93 | 0 | 0 | 25 | 76k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
586.33/586.51 c 586s| 2050k| 26302 | 5551k| 2.7 | 21M| 38 | - | 120 | 89 | 120 | 14 | 25 | 77k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
588.94/589.17 c 589s| 2060k| 26303 | 5576k| 2.7 | 21M| 38 | - | 120 | 107 | 120 | 14 | 25 | 77k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
591.64/591.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
591.64/591.84 c 592s| 2070k| 26088 | 5601k| 2.7 | 21M| 38 | 5 | 120 | 95 | 120 | 14 | 25 | 77k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
594.33/594.54 c 595s| 2080k| 25790 | 5626k| 2.7 | 21M| 38 | - | 120 | 96 | 120 | 14 | 25 | 78k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
597.13/597.31 c 597s| 2090k| 26095 | 5652k| 2.7 | 22M| 38 | - | 120 | 102 | 0 | 0 | 25 | 78k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
599.83/600.05 c 600s| 2100k| 26445 | 5677k| 2.7 | 22M| 38 | - | 120 | 106 | 0 | 0 | 25 | 78k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
602.53/602.75 c 603s| 2110k| 26350 | 5702k| 2.7 | 22M| 38 | - | 120 | 125 | 120 | 14 | 25 | 79k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
605.23/605.45 c 605s| 2120k| 26345 | 5727k| 2.7 | 22M| 38 | - | 120 | 103 | 0 | 0 | 25 | 79k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
607.92/608.17 c 608s| 2130k| 26438 | 5753k| 2.7 | 22M| 38 | - | 120 | 100 | 120 | 14 | 25 | 79k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
610.63/610.83 c 611s| 2140k| 26235 | 5778k| 2.7 | 22M| 38 | 5 | 120 | 93 | 120 | 14 | 25 | 80k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
613.33/613.51 c 614s| 2150k| 26073 | 5803k| 2.7 | 22M| 38 | - | 120 | 102 | 120 | 14 | 25 | 80k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
615.93/616.17 c 616s| 2160k| 26207 | 5827k| 2.7 | 23M| 38 | 5 | 120 | 111 | 120 | 14 | 25 | 80k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
618.72/618.98 c 619s| 2170k| 26602 | 5854k| 2.7 | 23M| 38 | - | 120 | 140 | 120 | 14 | 25 | 81k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
621.52/621.78 c 622s| 2180k| 27625 | 5880k| 2.7 | 23M| 38 | 5 | 120 | 134 | 120 | 14 | 25 | 81k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
624.32/624.54 c 625s| 2190k| 28294 | 5906k| 2.7 | 24M| 38 | 5 | 120 | 109 | 120 | 14 | 25 | 81k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
627.02/627.27 c 627s| 2200k| 28821 | 5931k| 2.7 | 24M| 38 | - | 120 | 121 | 120 | 14 | 25 | 82k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
629.72/629.93 c 630s| 2210k| 29383 | 5955k| 2.7 | 25M| 38 | - | 120 | 105 | 120 | 14 | 25 | 82k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
632.42/632.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
632.42/632.60 c 633s| 2220k| 29324 | 5978k| 2.7 | 25M| 38 | - | 120 | 108 | 120 | 14 | 25 | 82k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
635.02/635.29 c 635s| 2230k| 29392 | 6003k| 2.7 | 25M| 38 | 5 | 120 | 102 | 120 | 14 | 25 | 83k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
637.73/637.96 c 638s| 2240k| 29345 | 6027k| 2.7 | 25M| 38 | - | 120 | 95 | 120 | 14 | 25 | 83k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
640.41/640.62 c 641s| 2250k| 29299 | 6051k| 2.7 | 25M| 38 | - | 120 | 108 | 120 | 14 | 25 | 83k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
643.12/643.32 c 643s| 2260k| 29186 | 6074k| 2.7 | 25M| 38 | 5 | 120 | 99 | 120 | 14 | 25 | 84k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
645.71/645.98 c 646s| 2270k| 28857 | 6097k| 2.7 | 25M| 38 | 5 | 120 | 89 | 120 | 14 | 25 | 84k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
648.41/648.61 c 649s| 2280k| 28444 | 6120k| 2.7 | 25M| 38 | - | 120 | 95 | 120 | 14 | 25 | 84k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
651.11/651.32 c 651s| 2290k| 28401 | 6145k| 2.7 | 25M| 38 | 5 | 120 | 110 | 120 | 14 | 25 | 85k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
653.72/653.96 c 654s| 2300k| 28396 | 6167k| 2.7 | 25M| 38 | - | 120 | 101 | 120 | 14 | 25 | 85k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
656.42/656.68 c 657s| 2310k| 28769 | 6193k| 2.7 | 26M| 38 | - | 120 | 106 | 120 | 14 | 25 | 85k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
659.11/659.33 c 659s| 2320k| 28497 | 6217k| 2.7 | 26M| 38 | - | 120 | 97 | 120 | 14 | 25 | 86k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
661.81/662.04 c 662s| 2330k| 28196 | 6242k| 2.7 | 25M| 38 | 5 | 120 | 92 | 120 | 14 | 25 | 86k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
664.52/664.78 c 665s| 2340k| 28114 | 6268k| 2.7 | 26M| 38 | 5 | 120 | 87 | 120 | 14 | 25 | 86k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
667.21/667.47 c 667s| 2350k| 27765 | 6293k| 2.7 | 25M| 38 | 5 | 120 | 88 | 120 | 14 | 25 | 87k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
669.91/670.19 c 670s| 2360k| 27663 | 6318k| 2.7 | 25M| 38 | 5 | 120 | 102 | 120 | 14 | 25 | 87k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
672.61/672.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
672.61/672.86 c 673s| 2370k| 27892 | 6341k| 2.7 | 26M| 38 | 5 | 120 | 110 | 120 | 14 | 25 | 87k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
675.31/675.52 c 676s| 2380k| 27873 | 6365k| 2.7 | 26M| 38 | - | 120 | 110 | 0 | 0 | 25 | 88k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
677.90/678.20 c 678s| 2390k| 27489 | 6389k| 2.7 | 26M| 38 | 5 | 120 | 110 | 120 | 14 | 25 | 88k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
680.72/680.91 c 681s| 2400k| 27250 | 6414k| 2.7 | 26M| 38 | - | 120 | 95 | 120 | 14 | 25 | 88k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
683.41/683.62 c 684s| 2410k| 27407 | 6440k| 2.7 | 26M| 38 | 5 | 120 | 98 | 120 | 14 | 25 | 89k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
686.21/686.41 c 686s| 2420k| 27877 | 6466k| 2.7 | 26M| 38 | - | 120 | 115 | 120 | 14 | 25 | 89k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
689.10/689.32 c 689s| 2430k| 29184 | 6494k| 2.7 | 27M| 38 | 5 | 120 | 114 | 120 | 14 | 25 | 89k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
691.90/692.15 c 692s| 2440k| 29946 | 6522k| 2.7 | 28M| 38 | - | 120 | 115 | 120 | 14 | 25 | 90k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
694.70/694.95 c 695s| 2450k| 30952 | 6549k| 2.7 | 28M| 38 | 5 | 120 | 104 | 120 | 14 | 25 | 90k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
697.51/697.75 c 698s| 2460k| 31390 | 6576k| 2.7 | 29M| 38 | 5 | 120 | 94 | 120 | 14 | 25 | 91k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
700.50/700.71 c 701s| 2470k| 33020 | 6604k| 2.7 | 30M| 38 | 5 | 120 | 115 | 120 | 14 | 25 | 91k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
703.30/703.54 c 704s| 2480k| 34156 | 6630k| 2.7 | 30M| 38 | 5 | 120 | 120 | 120 | 14 | 25 | 92k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
706.10/706.37 c 706s| 2490k| 35978 | 6657k| 2.7 | 31M| 38 | 5 | 120 | 124 | 120 | 14 | 25 | 92k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
708.90/709.12 c 709s| 2500k| 37193 | 6683k| 2.7 | 32M| 38 | - | 120 | 117 | 0 | 0 | 25 | 92k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
711.60/711.82 c 712s| 2510k| 38165 | 6707k| 2.7 | 33M| 38 | - | 120 | 121 | 120 | 14 | 25 | 93k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
714.29/714.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
714.29/714.56 c 715s| 2520k| 39155 | 6732k| 2.7 | 33M| 38 | - | 120 | 111 | 120 | 14 | 25 | 93k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
717.00/717.23 c 717s| 2530k| 39869 | 6757k| 2.7 | 34M| 38 | - | 120 | 114 | 120 | 14 | 25 | 93k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
719.69/719.92 c 720s| 2540k| 40133 | 6781k| 2.7 | 34M| 38 | 5 | 120 | 101 | 120 | 14 | 25 | 94k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
722.40/722.66 c 723s| 2550k| 41018 | 6806k| 2.7 | 35M| 38 | - | 120 | 133 | 120 | 14 | 25 | 94k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
725.20/725.49 c 725s| 2560k| 42055 | 6832k| 2.7 | 36M| 38 | - | 120 | 138 | 120 | 14 | 25 | 95k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
727.90/728.19 c 728s| 2570k| 42449 | 6856k| 2.7 | 36M| 38 | 5 | 120 | 121 | 120 | 14 | 25 | 95k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
730.69/730.90 c 731s| 2580k| 42821 | 6881k| 2.7 | 36M| 38 | - | 120 | 116 | 0 | 0 | 25 | 95k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
733.50/733.79 c 734s| 2590k| 44307 | 6908k| 2.7 | 37M| 38 | 5 | 120 | 131 | 120 | 14 | 25 | 96k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
736.29/736.56 c 737s| 2600k| 45741 | 6933k| 2.7 | 38M| 38 | - | 120 | 130 | 120 | 14 | 25 | 96k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
739.09/739.31 c 739s| 2610k| 46817 | 6958k| 2.7 | 39M| 38 | 5 | 120 | 128 | 120 | 14 | 25 | 96k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
741.79/742.00 c 742s| 2620k| 47545 | 6982k| 2.7 | 39M| 38 | 5 | 120 | 132 | 120 | 14 | 25 | 97k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
744.40/744.66 c 745s| 2630k| 47972 | 7006k| 2.7 | 40M| 38 | - | 120 | 118 | 120 | 14 | 25 | 97k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
747.09/747.33 c 747s| 2640k| 48342 | 7029k| 2.7 | 40M| 38 | - | 120 | 126 | 120 | 14 | 25 | 97k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
749.69/749.96 c 750s| 2650k| 48733 | 7053k| 2.7 | 41M| 38 | 5 | 120 | 127 | 120 | 14 | 25 | 98k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
752.28/752.58 c 753s| 2660k| 49020 | 7075k| 2.7 | 41M| 38 | - | 120 | 125 | 120 | 14 | 25 | 98k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
755.09/755.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
755.09/755.30 c 755s| 2670k| 49442 | 7099k| 2.7 | 41M| 38 | 5 | 120 | 130 | 120 | 14 | 25 | 98k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
757.79/758.03 c 758s| 2680k| 50293 | 7123k| 2.7 | 42M| 38 | - | 120 | 138 | 120 | 14 | 25 | 99k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
760.38/760.69 c 761s| 2690k| 50470 | 7147k| 2.7 | 42M| 38 | 5 | 120 | 128 | 120 | 14 | 25 | 99k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
763.09/763.37 c 763s| 2700k| 50722 | 7170k| 2.7 | 43M| 38 | 5 | 120 | 130 | 120 | 14 | 25 | 100k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
765.78/766.07 c 766s| 2710k| 50784 | 7194k| 2.7 | 43M| 38 | 5 | 120 | 114 | 120 | 14 | 25 | 100k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
768.48/768.75 c 769s| 2720k| 51092 | 7217k| 2.7 | 43M| 38 | 5 | 120 | 124 | 120 | 14 | 25 | 100k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
771.19/771.48 c 771s| 2730k| 51584 | 7242k| 2.7 | 44M| 38 | - | 120 | 120 | 120 | 14 | 25 | 101k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
773.88/774.16 c 774s| 2740k| 51964 | 7268k| 2.7 | 44M| 38 | 5 | 120 | 123 | 120 | 14 | 25 | 101k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
776.58/776.82 c 777s| 2750k| 52134 | 7292k| 2.7 | 44M| 38 | - | 120 | 113 | 120 | 14 | 25 | 101k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
779.28/779.53 c 780s| 2760k| 52049 | 7316k| 2.7 | 44M| 38 | 5 | 120 | 108 | 120 | 14 | 25 | 102k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
781.98/782.24 c 782s| 2770k| 52221 | 7340k| 2.7 | 45M| 38 | - | 120 | 101 | 120 | 14 | 25 | 102k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
784.67/784.90 c 785s| 2780k| 52288 | 7363k| 2.6 | 45M| 38 | 5 | 120 | 102 | 120 | 14 | 25 | 102k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
787.29/787.57 c 788s| 2790k| 52242 | 7387k| 2.6 | 45M| 38 | - | 120 | 116 | 0 | 0 | 25 | 103k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
789.97/790.24 c 790s| 2800k| 52177 | 7411k| 2.6 | 45M| 38 | 5 | 120 | 112 | 120 | 14 | 25 | 103k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
792.68/792.90 c 793s| 2810k| 52192 | 7434k| 2.6 | 45M| 38 | - | 120 | 101 | 0 | 0 | 25 | 103k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
795.27/795.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
795.27/795.57 c 796s| 2820k| 52423 | 7458k| 2.6 | 46M| 38 | 5 | 120 | 107 | 120 | 14 | 25 | 104k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
797.97/798.25 c 798s| 2830k| 52367 | 7481k| 2.6 | 46M| 38 | - | 120 | 112 | 120 | 14 | 25 | 104k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
800.67/800.93 c 801s| 2840k| 52470 | 7504k| 2.6 | 46M| 38 | - | 120 | 113 | 120 | 14 | 25 | 104k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
803.37/803.60 c 804s| 2850k| 52428 | 7527k| 2.6 | 46M| 38 | 5 | 120 | 127 | 120 | 14 | 25 | 105k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
805.98/806.26 c 806s| 2860k| 52413 | 7550k| 2.6 | 46M| 38 | 5 | 120 | 116 | 120 | 14 | 25 | 105k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
808.67/808.95 c 809s| 2870k| 52211 | 7574k| 2.6 | 46M| 38 | 5 | 120 | 101 | 120 | 14 | 25 | 105k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
811.27/811.59 c 812s| 2880k| 52245 | 7597k| 2.6 | 47M| 38 | 5 | 120 | 104 | 120 | 14 | 25 | 106k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
813.97/814.26 c 814s| 2890k| 52502 | 7621k| 2.6 | 47M| 38 | 5 | 120 | 119 | 120 | 14 | 25 | 106k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
816.67/816.93 c 817s| 2900k| 52430 | 7644k| 2.6 | 47M| 38 | 5 | 120 | 127 | 120 | 14 | 25 | 106k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
819.37/819.62 c 820s| 2910k| 52319 | 7667k| 2.6 | 47M| 38 | 5 | 120 | 119 | 120 | 14 | 25 | 107k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
822.17/822.42 c 822s| 2920k| 54025 | 7694k| 2.6 | 48M| 38 | - | 120 | 154 | 0 | 0 | 25 | 107k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
824.87/825.16 c 825s| 2930k| 54953 | 7719k| 2.6 | 49M| 38 | - | 120 | 154 | 120 | 14 | 25 | 108k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
827.57/827.86 c 828s| 2940k| 55647 | 7743k| 2.6 | 49M| 38 | 5 | 120 | 170 | 120 | 14 | 25 | 108k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
830.27/830.51 c 830s| 2950k| 55938 | 7766k| 2.6 | 50M| 38 | 5 | 120 | 147 | 120 | 14 | 25 | 108k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
832.87/833.16 c 833s| 2960k| 56245 | 7789k| 2.6 | 50M| 38 | 5 | 120 | 142 | 120 | 14 | 25 | 109k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
835.56/835.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
835.56/835.80 c 836s| 2970k| 56270 | 7812k| 2.6 | 50M| 38 | - | 120 | 153 | 120 | 14 | 25 | 109k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
838.17/838.45 c 838s| 2980k| 56214 | 7835k| 2.6 | 50M| 38 | - | 120 | 136 | 120 | 14 | 25 | 109k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
840.87/841.11 c 841s| 2990k| 56790 | 7859k| 2.6 | 51M| 38 | - | 120 | 169 | 120 | 14 | 25 | 109k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
843.47/843.79 c 844s| 3000k| 57095 | 7883k| 2.6 | 51M| 38 | - | 120 | 165 | 120 | 14 | 25 | 110k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
846.16/846.40 c 846s| 3010k| 57164 | 7906k| 2.6 | 51M| 38 | 5 | 120 | 172 | 120 | 14 | 25 | 110k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
848.76/849.05 c 849s| 3020k| 56937 | 7929k| 2.6 | 51M| 38 | 5 | 120 | 149 | 120 | 14 | 25 | 110k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
851.36/851.69 c 852s| 3030k| 56485 | 7952k| 2.6 | 51M| 38 | 5 | 120 | 132 | 120 | 14 | 25 | 111k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
854.06/854.34 c 854s| 3040k| 56182 | 7975k| 2.6 | 51M| 38 | - | 120 | 139 | 120 | 14 | 25 | 111k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
856.66/856.96 c 857s| 3050k| 56127 | 7998k| 2.6 | 51M| 38 | 5 | 120 | 122 | 120 | 14 | 25 | 111k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
859.36/859.62 c 860s| 3060k| 55737 | 8020k| 2.6 | 51M| 38 | 5 | 120 | 111 | 120 | 14 | 25 | 112k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
861.96/862.30 c 862s| 3070k| 55951 | 8044k| 2.6 | 51M| 38 | 5 | 120 | 138 | 120 | 14 | 25 | 112k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
864.66/864.97 c 865s| 3080k| 55641 | 8068k| 2.6 | 51M| 38 | - | 120 | 112 | 0 | 0 | 25 | 112k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
867.36/867.62 c 868s| 3090k| 55230 | 8090k| 2.6 | 51M| 38 | - | 120 | 114 | 0 | 0 | 25 | 113k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
869.95/870.26 c 870s| 3100k| 55308 | 8115k| 2.6 | 51M| 38 | - | 120 | 142 | 120 | 14 | 25 | 113k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
872.65/872.95 c 873s| 3110k| 55240 | 8138k| 2.6 | 52M| 38 | - | 120 | 151 | 120 | 14 | 25 | 113k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
875.36/875.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
875.36/875.61 c 876s| 3120k| 55059 | 8160k| 2.6 | 52M| 38 | 5 | 120 | 140 | 120 | 14 | 25 | 114k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
878.05/878.30 c 878s| 3130k| 55475 | 8184k| 2.6 | 52M| 38 | 5 | 120 | 148 | 120 | 14 | 25 | 114k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
880.65/880.94 c 881s| 3140k| 55079 | 8207k| 2.6 | 52M| 38 | - | 120 | 136 | 120 | 14 | 25 | 114k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
883.45/883.74 c 884s| 3150k| 55788 | 8232k| 2.6 | 52M| 38 | 5 | 120 | 141 | 120 | 14 | 25 | 115k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
886.26/886.51 c 887s| 3160k| 57382 | 8258k| 2.6 | 53M| 38 | 5 | 120 | 138 | 120 | 14 | 25 | 115k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
889.05/889.30 c 889s| 3170k| 58685 | 8283k| 2.6 | 54M| 38 | - | 120 | 170 | 120 | 14 | 25 | 115k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
891.75/892.04 c 892s| 3180k| 59706 | 8309k| 2.6 | 55M| 38 | 5 | 120 | 154 | 120 | 14 | 25 | 116k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
894.45/894.70 c 895s| 3190k| 60381 | 8333k| 2.6 | 55M| 38 | 5 | 120 | 149 | 120 | 14 | 25 | 116k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
897.14/897.40 c 897s| 3200k| 61055 | 8357k| 2.6 | 56M| 38 | - | 120 | 142 | 0 | 0 | 25 | 116k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
899.85/900.11 c 900s| 3210k| 61714 | 8381k| 2.6 | 56M| 38 | 5 | 120 | 136 | 120 | 14 | 25 | 117k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
902.54/902.82 c 903s| 3220k| 62539 | 8405k| 2.6 | 57M| 38 | - | 120 | 153 | 120 | 14 | 25 | 117k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
905.14/905.45 c 905s| 3230k| 62913 | 8428k| 2.6 | 57M| 38 | - | 120 | 159 | 120 | 14 | 25 | 117k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
907.75/908.08 c 908s| 3240k| 63290 | 8450k| 2.6 | 58M| 38 | - | 120 | 134 | 120 | 14 | 25 | 118k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
910.45/910.73 c 911s| 3250k| 63614 | 8473k| 2.6 | 58M| 38 | - | 120 | 134 | 120 | 14 | 25 | 118k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
913.05/913.37 c 913s| 3260k| 64027 | 8497k| 2.6 | 58M| 38 | 5 | 120 | 146 | 120 | 14 | 25 | 118k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
915.75/916.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
915.75/916.00 c 916s| 3270k| 64246 | 8520k| 2.6 | 59M| 38 | 5 | 120 | 135 | 120 | 14 | 25 | 119k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
918.34/918.67 c 919s| 3280k| 64384 | 8544k| 2.6 | 59M| 38 | - | 120 | 162 | 120 | 14 | 25 | 119k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
921.04/921.33 c 921s| 3290k| 64666 | 8567k| 2.6 | 59M| 38 | 5 | 120 | 158 | 120 | 14 | 25 | 119k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
923.75/924.01 c 924s| 3300k| 64853 | 8591k| 2.6 | 60M| 38 | 5 | 120 | 155 | 120 | 14 | 25 | 120k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
926.34/926.63 c 927s| 3310k| 64899 | 8614k| 2.6 | 60M| 38 | - | 120 | 153 | 0 | 0 | 25 | 120k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
928.94/929.26 c 929s| 3320k| 64895 | 8636k| 2.6 | 60M| 38 | 5 | 120 | 146 | 120 | 14 | 25 | 120k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
931.64/931.93 c 932s| 3330k| 64683 | 8659k| 2.6 | 60M| 38 | 5 | 120 | 151 | 120 | 14 | 25 | 121k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
934.23/934.59 c 935s| 3340k| 64468 | 8681k| 2.6 | 60M| 38 | 5 | 120 | 155 | 120 | 14 | 25 | 121k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
936.84/937.18 c 937s| 3350k| 64155 | 8703k| 2.6 | 60M| 38 | - | 120 | 159 | 0 | 0 | 25 | 121k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
939.54/939.87 c 940s| 3360k| 64874 | 8727k| 2.6 | 61M| 38 | 5 | 120 | 164 | 120 | 14 | 25 | 122k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
942.14/942.49 c 942s| 3370k| 64926 | 8750k| 2.6 | 61M| 38 | 5 | 120 | 159 | 120 | 14 | 25 | 122k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
944.83/945.14 c 945s| 3380k| 64703 | 8772k| 2.6 | 61M| 39 | 5 | 120 | 157 | 120 | 14 | 25 | 122k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
947.43/947.75 c 948s| 3390k| 64465 | 8795k| 2.6 | 61M| 39 | - | 120 | 147 | 120 | 14 | 25 | 122k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
950.04/950.35 c 950s| 3400k| 64364 | 8817k| 2.6 | 61M| 39 | - | 120 | 148 | 120 | 14 | 25 | 123k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
952.73/953.08 c 953s| 3410k| 64704 | 8842k| 2.6 | 61M| 39 | - | 120 | 159 | 0 | 0 | 25 | 123k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
955.43/955.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
955.43/955.72 c 956s| 3420k| 64748 | 8864k| 2.6 | 61M| 39 | 5 | 120 | 161 | 120 | 14 | 25 | 124k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
958.03/958.38 c 958s| 3430k| 64321 | 8887k| 2.6 | 61M| 39 | - | 120 | 149 | 120 | 14 | 25 | 124k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
960.63/960.99 c 961s| 3440k| 64385 | 8909k| 2.6 | 61M| 39 | 5 | 120 | 152 | 120 | 14 | 25 | 124k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
963.34/963.61 c 964s| 3450k| 63955 | 8931k| 2.6 | 61M| 39 | 5 | 120 | 158 | 120 | 14 | 25 | 124k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
965.93/966.24 c 966s| 3460k| 63396 | 8952k| 2.6 | 61M| 39 | 5 | 120 | 140 | 120 | 14 | 25 | 125k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
968.63/968.90 c 969s| 3470k| 63015 | 8976k| 2.6 | 61M| 39 | - | 120 | 149 | 120 | 14 | 25 | 125k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
971.23/971.56 c 972s| 3480k| 62553 | 8999k| 2.6 | 61M| 39 | - | 120 | 155 | 120 | 14 | 25 | 125k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
973.92/974.21 c 974s| 3490k| 62517 | 9020k| 2.6 | 61M| 39 | 5 | 120 | 159 | 120 | 14 | 25 | 126k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
976.72/977.00 c 977s| 3500k| 63635 | 9046k| 2.6 | 62M| 39 | - | 120 | 159 | 120 | 14 | 25 | 126k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
979.33/979.67 c 980s| 3510k| 64280 | 9070k| 2.6 | 62M| 39 | - | 120 | 152 | 120 | 14 | 25 | 126k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
982.03/982.34 c 982s| 3520k| 64833 | 9095k| 2.6 | 63M| 39 | 5 | 120 | 150 | 120 | 14 | 25 | 127k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
984.73/985.07 c 985s| 3530k| 65831 | 9120k| 2.6 | 63M| 39 | - | 120 | 168 | 120 | 14 | 25 | 127k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
987.53/987.89 c 988s| 3540k| 67515 | 9148k| 2.6 | 64M| 39 | 5 | 120 | 169 | 120 | 14 | 25 | 127k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
990.32/990.60 c 991s| 3550k| 68290 | 9174k| 2.6 | 65M| 39 | 5 | 120 | 159 | 120 | 14 | 25 | 128k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
993.03/993.37 c 993s| 3560k| 69082 | 9200k| 2.6 | 65M| 39 | 5 | 120 | 172 | 120 | 14 | 25 | 128k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
995.92/996.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
995.92/996.27 c 996s| 3570k| 71319 | 9228k| 2.6 | 67M| 39 | - | 120 | 185 | 120 | 14 | 25 | 128k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
998.62/998.99 c 999s| 3580k| 72484 | 9254k| 2.6 | 67M| 39 | - | 120 | 164 | 0 | 0 | 25 | 129k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1001.31/1001.67 c 1002s| 3590k| 73419 | 9278k| 2.6 | 68M| 39 | 5 | 120 | 171 | 120 | 14 | 25 | 129k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1004.02/1004.33 c 1004s| 3600k| 74103 | 9302k| 2.6 | 69M| 39 | - | 120 | 169 | 120 | 14 | 25 | 129k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1006.62/1006.99 c 1007s| 3610k| 75031 | 9326k| 2.6 | 69M| 39 | 5 | 120 | 187 | 120 | 14 | 25 | 130k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1009.31/1009.64 c 1010s| 3620k| 75460 | 9350k| 2.6 | 70M| 39 | - | 120 | 162 | 120 | 14 | 25 | 130k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1011.92/1012.28 c 1012s| 3630k| 76123 | 9373k| 2.6 | 70M| 39 | - | 120 | 176 | 120 | 14 | 25 | 130k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1014.62/1014.96 c 1015s| 3640k| 76587 | 9396k| 2.6 | 71M| 39 | 5 | 120 | 179 | 120 | 14 | 25 | 131k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1017.32/1017.61 c 1018s| 3650k| 77053 | 9419k| 2.6 | 71M| 39 | 5 | 120 | 184 | 120 | 14 | 25 | 131k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
1019.92/1020.25 c 1020s| 3660k| 77362 | 9443k| 2.6 | 71M| 39 | - | 120 | 162 | 120 | 14 | 25 | 131k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1022.62/1022.90 c 1023s| 3670k| 77784 | 9467k| 2.6 | 72M| 39 | - | 120 | 169 | 120 | 14 | 25 | 132k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1025.22/1025.55 c 1026s| 3680k| 78519 | 9490k| 2.6 | 72M| 39 | 5 | 120 | 185 | 120 | 14 | 25 | 132k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1027.92/1028.21 c 1028s| 3690k| 79591 | 9514k| 2.6 | 73M| 39 | 5 | 120 | 198 | 120 | 14 | 25 | 132k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1030.51/1030.85 c 1031s| 3700k| 79849 | 9537k| 2.6 | 73M| 39 | 5 | 120 | 168 | 120 | 14 | 25 | 133k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1033.21/1033.53 c 1034s| 3710k| 80593 | 9562k| 2.6 | 74M| 39 | - | 120 | 198 | 120 | 14 | 25 | 133k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1035.92/1036.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1035.92/1036.24 c 1036s| 3720k| 81222 | 9587k| 2.6 | 74M| 39 | 5 | 120 | 193 | 120 | 14 | 25 | 133k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1038.61/1038.90 c 1039s| 3730k| 81592 | 9611k| 2.6 | 75M| 39 | 5 | 120 | 181 | 120 | 14 | 25 | 133k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1041.21/1041.57 c 1042s| 3740k| 81920 | 9635k| 2.6 | 75M| 39 | - | 120 | 187 | 120 | 14 | 25 | 134k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1043.91/1044.22 c 1044s| 3750k| 82241 | 9658k| 2.6 | 76M| 39 | 5 | 120 | 175 | 120 | 14 | 25 | 134k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1046.60/1046.90 c 1047s| 3760k| 83080 | 9682k| 2.6 | 76M| 39 | - | 120 | 217 | 120 | 14 | 25 | 134k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1049.21/1049.59 c 1050s| 3770k| 84137 | 9706k| 2.6 | 77M| 39 | 5 | 120 | 203 | 120 | 14 | 25 | 135k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1051.91/1052.23 c 1052s| 3780k| 84691 | 9729k| 2.6 | 77M| 39 | - | 120 | 193 | 0 | 0 | 25 | 135k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1054.51/1054.87 c 1055s| 3790k| 84808 | 9752k| 2.6 | 78M| 39 | - | 120 | 184 | 120 | 14 | 25 | 135k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1057.21/1057.53 c 1058s| 3800k| 85022 | 9775k| 2.6 | 78M| 39 | - | 120 | 204 | 120 | 14 | 25 | 136k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1059.80/1060.18 c 1060s| 3810k| 85097 | 9797k| 2.6 | 78M| 39 | 5 | 120 | 192 | 120 | 14 | 25 | 136k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1062.51/1062.83 c 1063s| 3820k| 85172 | 9820k| 2.6 | 78M| 39 | 5 | 120 | 188 | 120 | 14 | 25 | 136k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1065.10/1065.46 c 1065s| 3830k| 85426 | 9842k| 2.6 | 79M| 39 | - | 120 | 190 | 120 | 14 | 25 | 137k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1067.70/1068.08 c 1068s| 3840k| 85702 | 9864k| 2.6 | 79M| 39 | 5 | 120 | 189 | 120 | 14 | 25 | 137k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1070.40/1070.74 c 1071s| 3850k| 85771 | 9887k| 2.6 | 79M| 39 | - | 120 | 207 | 120 | 14 | 25 | 137k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1073.10/1073.40 c 1073s| 3860k| 85705 | 9910k| 2.6 | 79M| 39 | 5 | 120 | 184 | 120 | 14 | 25 | 137k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1075.69/1076.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1075.69/1076.05 c 1076s| 3870k| 85575 | 9933k| 2.6 | 79M| 39 | - | 120 | 178 | 120 | 14 | 25 | 138k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1078.40/1078.72 c 1079s| 3880k| 85601 | 9956k| 2.6 | 80M| 39 | 5 | 120 | 198 | 120 | 14 | 25 | 138k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1081.00/1081.37 c 1081s| 3890k| 86111 | 9979k| 2.6 | 80M| 39 | 5 | 120 | 208 | 120 | 14 | 25 | 138k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1083.70/1084.05 c 1084s| 3900k| 86310 | 10003k| 2.6 | 80M| 39 | - | 120 | 198 | 120 | 14 | 25 | 139k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1086.41/1086.72 c 1087s| 3910k| 86063 | 10025k| 2.6 | 80M| 39 | - | 120 | 187 | 120 | 14 | 25 | 139k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1088.99/1089.38 c 1089s| 3920k| 85790 | 10047k| 2.6 | 80M| 39 | 5 | 120 | 182 | 120 | 14 | 25 | 139k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1091.70/1092.00 c 1092s| 3930k| 86070 | 10069k| 2.6 | 81M| 39 | - | 120 | 199 | 120 | 14 | 25 | 140k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1094.29/1094.67 c 1095s| 3940k| 85835 | 10091k| 2.6 | 81M| 39 | - | 120 | 182 | 0 | 0 | 25 | 140k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1096.99/1097.33 c 1097s| 3950k| 85543 | 10114k| 2.6 | 81M| 39 | 5 | 120 | 204 | 120 | 14 | 25 | 140k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1099.60/1099.98 c 1100s| 3960k| 85633 | 10137k| 2.6 | 81M| 39 | 5 | 120 | 198 | 120 | 14 | 25 | 141k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1102.30/1102.65 c 1103s| 3970k| 86025 | 10161k| 2.6 | 81M| 39 | 5 | 120 | 193 | 120 | 14 | 25 | 141k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1104.89/1105.29 c 1105s| 3980k| 85930 | 10184k| 2.6 | 81M| 39 | - | 120 | 186 | 120 | 14 | 25 | 141k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1107.59/1107.90 c 1108s| 3990k| 85794 | 10205k| 2.6 | 81M| 39 | - | 120 | 192 | 120 | 14 | 25 | 141k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1110.19/1110.55 c 1111s| 4000k| 85715 | 10229k| 2.6 | 82M| 39 | - | 120 | 201 | 120 | 14 | 25 | 142k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1112.79/1113.20 c 1113s| 4010k| 85493 | 10250k| 2.6 | 82M| 39 | - | 120 | 217 | 120 | 14 | 25 | 142k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1115.49/1115.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1115.49/1115.84 c 1116s| 4020k| 84981 | 10272k| 2.6 | 81M| 39 | 5 | 120 | 204 | 120 | 14 | 25 | 142k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1118.08/1118.47 c 1118s| 4030k| 85265 | 10295k| 2.6 | 82M| 39 | - | 120 | 208 | 120 | 14 | 25 | 143k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1120.79/1121.14 c 1121s| 4040k| 85187 | 10318k| 2.6 | 82M| 39 | - | 120 | 199 | 120 | 14 | 25 | 143k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1123.49/1123.81 c 1124s| 4050k| 85246 | 10341k| 2.6 | 82M| 39 | 5 | 120 | 203 | 120 | 14 | 25 | 143k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1126.09/1126.43 c 1126s| 4060k| 85080 | 10363k| 2.6 | 82M| 39 | 5 | 120 | 191 | 120 | 14 | 25 | 143k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1128.68/1129.06 c 1129s| 4070k| 85129 | 10385k| 2.6 | 82M| 39 | - | 120 | 206 | 0 | 0 | 25 | 144k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1131.38/1131.73 c 1132s| 4080k| 84949 | 10408k| 2.6 | 82M| 39 | - | 120 | 204 | 120 | 14 | 25 | 144k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1133.98/1134.35 c 1134s| 4090k| 85142 | 10432k| 2.6 | 82M| 39 | - | 120 | 215 | 120 | 14 | 25 | 144k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1136.58/1136.99 c 1137s| 4100k| 85114 | 10454k| 2.5 | 83M| 39 | - | 120 | 197 | 0 | 0 | 25 | 145k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1139.29/1139.66 c 1140s| 4110k| 84569 | 10477k| 2.5 | 82M| 39 | - | 120 | 210 | 120 | 14 | 25 | 145k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1141.88/1142.28 c 1142s| 4120k| 84486 | 10499k| 2.5 | 82M| 39 | 5 | 120 | 190 | 120 | 14 | 25 | 145k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1144.58/1144.93 c 1145s| 4130k| 84306 | 10521k| 2.5 | 82M| 39 | 5 | 120 | 213 | 120 | 14 | 25 | 146k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1147.17/1147.58 c 1148s| 4140k| 84132 | 10544k| 2.5 | 82M| 39 | - | 120 | 198 | 120 | 14 | 25 | 146k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1149.87/1150.22 c 1150s| 4150k| 83599 | 10566k| 2.5 | 82M| 39 | - | 120 | 179 | 120 | 14 | 25 | 146k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1152.49/1152.88 c 1153s| 4160k| 84151 | 10589k| 2.5 | 83M| 39 | - | 120 | 190 | 120 | 14 | 25 | 146k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1155.17/1155.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1155.17/1155.50 c 1155s| 4170k| 84015 | 10611k| 2.5 | 83M| 39 | 5 | 120 | 194 | 120 | 14 | 25 | 147k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1157.88/1158.22 c 1158s| 4180k| 84086 | 10635k| 2.5 | 83M| 39 | 5 | 120 | 215 | 120 | 14 | 25 | 147k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1160.58/1160.93 c 1161s| 4190k| 84022 | 10659k| 2.5 | 83M| 39 | 5 | 120 | 199 | 120 | 14 | 25 | 147k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1163.27/1163.67 c 1164s| 4200k| 84697 | 10683k| 2.5 | 83M| 39 | - | 120 | 205 | 120 | 14 | 25 | 148k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1165.97/1166.37 c 1166s| 4210k| 85621 | 10706k| 2.5 | 84M| 39 | 5 | 120 | 216 | 120 | 14 | 25 | 148k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1168.67/1169.00 c 1169s| 4220k| 85903 | 10729k| 2.5 | 84M| 39 | - | 120 | 200 | 120 | 14 | 25 | 148k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1171.28/1171.63 c 1172s| 4230k| 85917 | 10750k| 2.5 | 85M| 39 | 5 | 120 | 219 | 120 | 14 | 25 | 149k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1173.87/1174.27 c 1174s| 4240k| 86143 | 10773k| 2.5 | 85M| 39 | - | 120 | 233 | 120 | 14 | 25 | 149k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1176.47/1176.85 c 1177s| 4250k| 86391 | 10795k| 2.5 | 85M| 39 | 5 | 120 | 224 | 120 | 14 | 25 | 149k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1179.07/1179.43 c 1179s| 4260k| 85946 | 10815k| 2.5 | 85M| 39 | 5 | 120 | 217 | 120 | 14 | 25 | 150k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1181.77/1182.13 c 1182s| 4270k| 86867 | 10840k| 2.5 | 86M| 39 | 5 | 120 | 223 | 120 | 14 | 25 | 150k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1184.38/1184.76 c 1185s| 4280k| 86854 | 10863k| 2.5 | 86M| 39 | - | 120 | 211 | 0 | 0 | 25 | 150k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1187.07/1187.43 c 1187s| 4290k| 86966 | 10887k| 2.5 | 86M| 39 | 5 | 120 | 206 | 120 | 14 | 25 | 151k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1189.67/1190.09 c 1190s| 4300k| 87169 | 10910k| 2.5 | 86M| 39 | 5 | 120 | 228 | 120 | 14 | 25 | 151k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1192.26/1192.68 c 1193s| 4310k| 86730 | 10931k| 2.5 | 86M| 39 | 5 | 120 | 214 | 120 | 14 | 25 | 151k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1194.96/1195.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1194.96/1195.31 c 1195s| 4320k| 86801 | 10953k| 2.5 | 86M| 39 | 5 | 120 | 217 | 120 | 14 | 25 | 152k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1197.57/1197.98 c 1198s| 4330k| 86690 | 10976k| 2.5 | 86M| 39 | 5 | 120 | 216 | 120 | 14 | 25 | 152k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1200.26/1200.62 c 1201s| 4340k| 86173 | 10998k| 2.5 | 86M| 39 | 5 | 120 | 198 | 120 | 14 | 25 | 152k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1202.87/1203.26 c 1203s| 4350k| 85840 | 11019k| 2.5 | 86M| 39 | - | 120 | 207 | 0 | 0 | 25 | 152k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1205.56/1205.91 c 1206s| 4360k| 85257 | 11041k| 2.5 | 86M| 39 | 5 | 120 | 203 | 120 | 14 | 25 | 153k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1208.16/1208.57 c 1209s| 4370k| 86221 | 11064k| 2.5 | 86M| 39 | 5 | 120 | 221 | 120 | 14 | 25 | 153k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1210.77/1211.19 c 1211s| 4380k| 86675 | 11086k| 2.5 | 87M| 39 | - | 120 | 208 | 120 | 14 | 25 | 153k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1213.36/1213.77 c 1214s| 4390k| 86317 | 11107k| 2.5 | 87M| 39 | 5 | 120 | 201 | 120 | 14 | 25 | 154k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1215.96/1216.36 c 1216s| 4400k| 86484 | 11129k| 2.5 | 87M| 39 | 5 | 120 | 198 | 120 | 14 | 25 | 154k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1218.56/1218.94 c 1219s| 4410k| 86600 | 11151k| 2.5 | 87M| 39 | - | 120 | 203 | 0 | 0 | 25 | 154k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1221.16/1221.59 c 1222s| 4420k| 85889 | 11173k| 2.5 | 87M| 39 | - | 120 | 209 | 0 | 0 | 25 | 154k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1223.86/1224.25 c 1224s| 4430k| 85183 | 11195k| 2.5 | 86M| 39 | - | 120 | 192 | 120 | 14 | 25 | 155k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1226.56/1226.92 c 1227s| 4440k| 84801 | 11218k| 2.5 | 86M| 39 | 5 | 120 | 202 | 120 | 14 | 25 | 155k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1229.15/1229.54 c 1230s| 4450k| 85058 | 11239k| 2.5 | 86M| 39 | - | 120 | 206 | 0 | 0 | 25 | 155k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1231.86/1232.25 c 1232s| 4460k| 84331 | 11262k| 2.5 | 86M| 39 | 5 | 120 | 196 | 120 | 14 | 25 | 155k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1234.55/1234.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1234.55/1234.92 c 1235s| 4470k| 84142 | 11284k| 2.5 | 86M| 39 | 5 | 120 | 207 | 120 | 14 | 25 | 156k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1237.17/1237.58 c 1238s| 4480k| 83631 | 11306k| 2.5 | 86M| 39 | - | 120 | 218 | 120 | 14 | 25 | 156k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1239.85/1240.25 c 1240s| 4490k| 82922 | 11327k| 2.5 | 85M| 39 | 5 | 120 | 186 | 120 | 14 | 25 | 156k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1242.56/1242.95 c 1243s| 4500k| 83515 | 11352k| 2.5 | 86M| 39 | - | 120 | 202 | 120 | 14 | 25 | 157k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1245.25/1245.63 c 1246s| 4510k| 84166 | 11375k| 2.5 | 86M| 39 | 5 | 120 | 222 | 120 | 14 | 25 | 157k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1247.85/1248.28 c 1248s| 4520k| 84049 | 11397k| 2.5 | 86M| 39 | 5 | 120 | 204 | 120 | 14 | 25 | 157k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1250.55/1250.90 c 1251s| 4530k| 84285 | 11420k| 2.5 | 87M| 39 | - | 120 | 210 | 120 | 14 | 25 | 158k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1253.15/1253.52 c 1254s| 4540k| 84694 | 11443k| 2.5 | 87M| 39 | - | 120 | 201 | 0 | 0 | 25 | 158k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1255.76/1256.13 c 1256s| 4550k| 84038 | 11464k| 2.5 | 87M| 39 | 5 | 120 | 195 | 120 | 14 | 25 | 158k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1258.45/1258.82 c 1259s| 4560k| 83192 | 11487k| 2.5 | 86M| 39 | 5 | 120 | 188 | 120 | 14 | 25 | 158k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1261.15/1261.54 c 1262s| 4570k| 82595 | 11510k| 2.5 | 86M| 39 | - | 120 | 177 | 0 | 0 | 25 | 159k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1263.85/1264.20 c 1264s| 4580k| 82347 | 11533k| 2.5 | 86M| 39 | - | 120 | 187 | 120 | 14 | 25 | 159k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1266.45/1266.89 c 1267s| 4590k| 81615 | 11555k| 2.5 | 85M| 39 | 5 | 120 | 189 | 120 | 14 | 25 | 159k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1269.25/1269.62 c 1270s| 4600k| 81742 | 11579k| 2.5 | 86M| 39 | - | 120 | 198 | 0 | 0 | 25 | 160k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1271.84/1272.26 c 1272s| 4610k| 81277 | 11601k| 2.5 | 85M| 39 | - | 120 | 180 | 120 | 14 | 25 | 160k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1274.45/1274.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1274.45/1274.90 c 1275s| 4620k| 81613 | 11625k| 2.5 | 86M| 39 | - | 120 | 169 | 120 | 14 | 25 | 160k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1277.15/1277.57 c 1278s| 4630k| 81448 | 11650k| 2.5 | 86M| 39 | 5 | 120 | 173 | 120 | 14 | 25 | 161k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1279.75/1280.19 c 1280s| 4640k| 81517 | 11672k| 2.5 | 86M| 39 | - | 120 | 177 | 0 | 0 | 25 | 161k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1282.44/1282.81 c 1283s| 4650k| 81109 | 11694k| 2.5 | 86M| 39 | - | 120 | 173 | 120 | 14 | 25 | 161k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1285.04/1285.45 c 1285s| 4660k| 80911 | 11717k| 2.5 | 86M| 39 | - | 120 | 175 | 120 | 14 | 25 | 161k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1287.75/1288.15 c 1288s| 4670k| 80444 | 11740k| 2.5 | 86M| 39 | - | 120 | 174 | 0 | 0 | 25 | 162k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1290.44/1290.84 c 1291s| 4680k| 79771 | 11762k| 2.5 | 85M| 40 | 5 | 120 | 170 | 120 | 14 | 25 | 162k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1293.04/1293.50 c 1293s| 4690k| 79091 | 11784k| 2.5 | 85M| 40 | 5 | 120 | 165 | 120 | 14 | 25 | 162k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1295.74/1296.16 c 1296s| 4700k| 78838 | 11806k| 2.5 | 85M| 40 | - | 120 | 177 | 120 | 14 | 25 | 163k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1298.44/1298.80 c 1299s| 4710k| 78374 | 11829k| 2.5 | 85M| 40 | 5 | 120 | 177 | 120 | 14 | 25 | 163k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1301.03/1301.42 c 1301s| 4720k| 78698 | 11852k| 2.5 | 85M| 40 | - | 120 | 186 | 0 | 0 | 25 | 163k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1303.54/1303.98 c 1304s| 4730k| 79069 | 11873k| 2.5 | 85M| 40 | - | 120 | 178 | 120 | 14 | 25 | 163k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1306.14/1306.55 c 1307s| 4740k| 78880 | 11894k| 2.5 | 85M| 40 | - | 120 | 170 | 0 | 0 | 25 | 164k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1308.83/1309.22 c 1309s| 4750k| 77861 | 11916k| 2.5 | 85M| 40 | - | 120 | 160 | 0 | 0 | 25 | 164k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1311.43/1311.86 c 1312s| 4760k| 77494 | 11938k| 2.5 | 84M| 40 | - | 120 | 153 | 120 | 14 | 25 | 164k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1314.15/1314.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1314.15/1314.54 c 1315s| 4770k| 77676 | 11962k| 2.5 | 85M| 40 | 5 | 120 | 177 | 120 | 14 | 25 | 165k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1316.74/1317.16 c 1317s| 4780k| 77327 | 11985k| 2.5 | 85M| 40 | - | 120 | 170 | 120 | 14 | 25 | 165k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1319.43/1319.83 c 1320s| 4790k| 76752 | 12008k| 2.5 | 84M| 40 | - | 120 | 174 | 120 | 14 | 25 | 165k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1322.13/1322.53 c 1323s| 4800k| 76667 | 12032k| 2.5 | 84M| 40 | - | 120 | 176 | 120 | 14 | 25 | 166k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1324.73/1325.18 c 1325s| 4810k| 77229 | 12055k| 2.5 | 85M| 40 | - | 120 | 175 | 120 | 14 | 25 | 166k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1327.43/1327.83 c 1328s| 4820k| 77020 | 12078k| 2.5 | 85M| 40 | - | 120 | 177 | 120 | 14 | 25 | 166k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1330.13/1330.53 c 1331s| 4830k| 76109 | 12102k| 2.5 | 84M| 40 | 5 | 120 | 176 | 120 | 14 | 25 | 166k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1332.84/1333.23 c 1333s| 4840k| 76038 | 12125k| 2.5 | 84M| 40 | - | 120 | 171 | 120 | 14 | 25 | 167k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1335.43/1335.85 c 1336s| 4850k| 76190 | 12150k| 2.5 | 84M| 40 | 5 | 120 | 183 | 120 | 14 | 25 | 167k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1338.13/1338.52 c 1339s| 4860k| 75465 | 12172k| 2.5 | 84M| 40 | - | 120 | 165 | 120 | 14 | 25 | 167k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1340.73/1341.19 c 1341s| 4870k| 74728 | 12194k| 2.5 | 84M| 40 | 5 | 120 | 166 | 120 | 14 | 25 | 168k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1343.43/1343.82 c 1344s| 4880k| 74396 | 12215k| 2.5 | 83M| 40 | 5 | 120 | 175 | 120 | 14 | 25 | 168k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1346.04/1346.48 c 1346s| 4890k| 73913 | 12238k| 2.5 | 83M| 40 | 5 | 120 | 153 | 120 | 14 | 25 | 168k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1348.73/1349.13 c 1349s| 4900k| 73370 | 12261k| 2.5 | 83M| 40 | 5 | 120 | 169 | 120 | 14 | 25 | 168k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1351.33/1351.74 c 1352s| 4910k| 73567 | 12283k| 2.5 | 83M| 40 | 5 | 120 | 178 | 120 | 14 | 25 | 169k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1354.03/1354.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1354.03/1354.40 c 1354s| 4920k| 72983 | 12304k| 2.5 | 83M| 40 | 5 | 120 | 185 | 120 | 14 | 25 | 169k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1356.62/1357.06 c 1357s| 4930k| 72502 | 12327k| 2.5 | 82M| 40 | - | 120 | 172 | 0 | 0 | 25 | 169k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1359.23/1359.68 c 1360s| 4940k| 72523 | 12350k| 2.5 | 83M| 40 | - | 120 | 175 | 120 | 14 | 25 | 170k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1361.82/1362.28 c 1362s| 4950k| 72349 | 12372k| 2.5 | 83M| 40 | - | 120 | 189 | 120 | 14 | 25 | 170k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1364.52/1364.94 c 1365s| 4960k| 71428 | 12394k| 2.5 | 82M| 40 | - | 120 | 160 | 120 | 14 | 25 | 170k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1367.22/1367.61 c 1368s| 4970k| 72162 | 12419k| 2.5 | 82M| 40 | 5 | 120 | 176 | 120 | 14 | 25 | 170k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1369.81/1370.22 c 1370s| 4980k| 72905 | 12442k| 2.5 | 83M| 40 | 5 | 120 | 161 | 120 | 14 | 25 | 171k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1372.42/1372.81 c 1373s| 4990k| 73432 | 12465k| 2.5 | 83M| 40 | 5 | 120 | 166 | 120 | 14 | 25 | 171k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1375.02/1375.44 c 1375s| 5000k| 73635 | 12490k| 2.5 | 84M| 40 | - | 120 | 178 | 120 | 14 | 25 | 171k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1377.62/1378.04 c 1378s| 5010k| 73305 | 12512k| 2.5 | 84M| 40 | 5 | 120 | 175 | 120 | 14 | 25 | 171k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1380.22/1380.66 c 1381s| 5020k| 72775 | 12535k| 2.5 | 83M| 40 | 5 | 120 | 175 | 120 | 14 | 25 | 171k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1382.82/1383.28 c 1383s| 5030k| 72267 | 12558k| 2.5 | 83M| 40 | - | 120 | 171 | 120 | 14 | 25 | 172k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1385.52/1385.96 c 1386s| 5040k| 71924 | 12583k| 2.5 | 83M| 40 | - | 120 | 185 | 120 | 14 | 25 | 172k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1388.21/1388.65 c 1389s| 5050k| 71092 | 12605k| 2.5 | 82M| 40 | 5 | 120 | 153 | 120 | 14 | 25 | 172k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1390.91/1391.33 c 1391s| 5060k| 70211 | 12628k| 2.5 | 82M| 40 | - | 120 | 149 | 120 | 14 | 25 | 173k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1393.61/1394.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1393.61/1394.02 c 1394s| 5070k| 69205 | 12650k| 2.5 | 81M| 40 | 5 | 120 | 147 | 120 | 14 | 25 | 173k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1396.21/1396.69 c 1397s| 5080k| 70860 | 12675k| 2.5 | 82M| 40 | 5 | 120 | 144 | 120 | 14 | 25 | 173k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1398.91/1399.34 c 1399s| 5090k| 71962 | 12700k| 2.5 | 83M| 40 | 5 | 120 | 147 | 120 | 14 | 25 | 173k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1401.51/1401.97 c 1402s| 5100k| 72826 | 12723k| 2.5 | 83M| 40 | - | 120 | 142 | 120 | 14 | 25 | 173k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1404.11/1404.59 c 1405s| 5110k| 73724 | 12747k| 2.5 | 84M| 40 | 5 | 120 | 144 | 120 | 14 | 25 | 174k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1406.71/1407.18 c 1407s| 5120k| 74660 | 12770k| 2.5 | 85M| 40 | - | 120 | 151 | 120 | 14 | 25 | 174k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1409.41/1409.82 c 1410s| 5130k| 75382 | 12794k| 2.5 | 85M| 40 | 5 | 120 | 141 | 120 | 14 | 25 | 174k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1412.01/1412.43 c 1412s| 5140k| 75893 | 12817k| 2.5 | 86M| 40 | - | 120 | 145 | 120 | 14 | 25 | 174k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1414.70/1415.14 c 1415s| 5150k| 77357 | 12845k| 2.5 | 86M| 40 | 5 | 120 | 147 | 120 | 14 | 25 | 175k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1417.41/1417.80 c 1418s| 5160k| 78054 | 12871k| 2.5 | 87M| 40 | - | 120 | 152 | 0 | 0 | 25 | 175k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1420.00/1420.46 c 1420s| 5170k| 79078 | 12895k| 2.5 | 88M| 40 | 5 | 120 | 168 | 120 | 14 | 25 | 175k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1422.70/1423.12 c 1423s| 5180k| 80175 | 12919k| 2.5 | 88M| 40 | - | 120 | 165 | 120 | 14 | 25 | 176k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1425.31/1425.74 c 1426s| 5190k| 81243 | 12943k| 2.5 | 89M| 40 | - | 120 | 167 | 120 | 14 | 25 | 176k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1428.00/1428.40 c 1428s| 5200k| 82049 | 12967k| 2.5 | 90M| 40 | 5 | 120 | 158 | 120 | 14 | 25 | 176k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1430.61/1431.06 c 1431s| 5210k| 83280 | 12993k| 2.5 | 90M| 40 | 5 | 120 | 175 | 120 | 14 | 25 | 176k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1433.30/1433.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1433.30/1433.71 c 1434s| 5220k| 84013 | 13018k| 2.5 | 91M| 40 | 5 | 120 | 157 | 120 | 14 | 25 | 177k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1435.90/1436.37 c 1436s| 5230k| 84572 | 13043k| 2.5 | 92M| 40 | - | 120 | 170 | 120 | 14 | 25 | 177k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1438.60/1439.01 c 1439s| 5240k| 84940 | 13067k| 2.5 | 92M| 40 | 5 | 120 | 163 | 120 | 14 | 25 | 177k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1441.20/1441.67 c 1442s| 5250k| 85264 | 13092k| 2.5 | 92M| 40 | 5 | 120 | 156 | 120 | 14 | 25 | 177k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1443.90/1444.31 c 1444s| 5260k| 85810 | 13117k| 2.5 | 93M| 40 | 5 | 120 | 161 | 120 | 14 | 25 | 178k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1446.49/1446.91 c 1447s| 5270k| 86796 | 13141k| 2.5 | 93M| 40 | 5 | 120 | 151 | 120 | 14 | 25 | 178k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1449.10/1449.58 c 1450s| 5280k| 87528 | 13164k| 2.5 | 94M| 40 | - | 120 | 170 | 0 | 0 | 25 | 178k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1451.70/1452.19 c 1452s| 5290k| 87970 | 13185k| 2.5 | 94M| 40 | 5 | 120 | 181 | 120 | 14 | 25 | 179k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1454.40/1454.81 c 1455s| 5300k| 88188 | 13208k| 2.5 | 95M| 40 | 5 | 120 | 152 | 120 | 14 | 25 | 179k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1457.00/1457.45 c 1457s| 5310k| 88803 | 13231k| 2.5 | 95M| 40 | - | 120 | 169 | 120 | 14 | 25 | 179k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1459.69/1460.11 c 1460s| 5320k| 88982 | 13255k| 2.5 | 95M| 40 | 5 | 120 | 164 | 120 | 14 | 25 | 180k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1462.29/1462.71 c 1463s| 5330k| 89124 | 13278k| 2.5 | 96M| 40 | - | 120 | 152 | 0 | 0 | 25 | 180k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1464.89/1465.35 c 1465s| 5340k| 90090 | 13302k| 2.5 | 96M| 40 | 5 | 120 | 152 | 120 | 14 | 25 | 180k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1467.49/1467.98 c 1468s| 5350k| 90188 | 13326k| 2.5 | 97M| 40 | 5 | 120 | 173 | 120 | 14 | 25 | 180k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1470.20/1470.61 c 1471s| 5360k| 90349 | 13348k| 2.5 | 97M| 40 | 5 | 120 | 169 | 120 | 14 | 25 | 181k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1472.79/1473.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1472.79/1473.24 c 1473s| 5370k| 90577 | 13372k| 2.5 | 97M| 40 | - | 120 | 160 | 120 | 14 | 25 | 181k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1475.49/1475.90 c 1476s| 5380k| 90816 | 13396k| 2.5 | 97M| 40 | - | 120 | 163 | 120 | 14 | 25 | 181k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1478.09/1478.54 c 1479s| 5390k| 90880 | 13419k| 2.5 | 98M| 40 | 5 | 120 | 162 | 120 | 14 | 25 | 181k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1480.79/1481.20 c 1481s| 5400k| 90885 | 13442k| 2.5 | 98M| 40 | 5 | 120 | 156 | 120 | 14 | 25 | 182k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1483.39/1483.88 c 1484s| 5410k| 91014 | 13466k| 2.5 | 98M| 40 | 5 | 120 | 161 | 120 | 14 | 25 | 182k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1485.99/1486.50 c 1486s| 5420k| 91330 | 13489k| 2.5 | 98M| 40 | 5 | 120 | 169 | 120 | 14 | 25 | 182k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1488.69/1489.11 c 1489s| 5430k| 91743 | 13511k| 2.5 | 99M| 40 | 5 | 120 | 176 | 120 | 14 | 25 | 183k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1491.28/1491.75 c 1492s| 5440k| 91834 | 13535k| 2.5 | 99M| 40 | 5 | 120 | 169 | 120 | 14 | 25 | 183k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1493.99/1494.41 c 1494s| 5450k| 92134 | 13558k| 2.5 | 99M| 40 | - | 120 | 170 | 120 | 14 | 25 | 183k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1496.59/1497.03 c 1497s| 5460k| 92970 | 13581k| 2.5 | 100M| 40 | 5 | 120 | 162 | 120 | 14 | 25 | 183k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1499.18/1499.64 c 1500s| 5470k| 93267 | 13603k| 2.5 | 100M| 40 | - | 120 | 166 | 0 | 0 | 25 | 184k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1501.79/1502.22 c 1502s| 5480k| 93698 | 13627k| 2.5 | 101M| 40 | - | 120 | 154 | 0 | 0 | 25 | 184k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1504.39/1504.83 c 1505s| 5490k| 94077 | 13650k| 2.5 | 101M| 40 | 5 | 120 | 166 | 120 | 14 | 25 | 184k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1506.98/1507.46 c 1507s| 5500k| 94136 | 13673k| 2.5 | 101M| 40 | 5 | 120 | 167 | 120 | 14 | 25 | 184k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1509.58/1510.07 c 1510s| 5510k| 94389 | 13696k| 2.5 | 102M| 40 | - | 120 | 171 | 120 | 14 | 25 | 185k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1512.28/1512.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1512.28/1512.77 c 1513s| 5520k| 93928 | 13719k| 2.5 | 101M| 40 | 5 | 120 | 164 | 120 | 14 | 25 | 185k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1514.98/1515.44 c 1515s| 5530k| 94132 | 13743k| 2.5 | 102M| 40 | 5 | 120 | 174 | 120 | 14 | 25 | 185k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1517.58/1518.05 c 1518s| 5540k| 94263 | 13766k| 2.5 | 102M| 40 | - | 120 | 178 | 120 | 14 | 25 | 185k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1520.18/1520.66 c 1521s| 5550k| 94498 | 13789k| 2.5 | 102M| 40 | 5 | 120 | 182 | 120 | 14 | 25 | 186k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1522.88/1523.36 c 1523s| 5560k| 94347 | 13813k| 2.5 | 102M| 40 | 5 | 120 | 166 | 120 | 14 | 25 | 186k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1525.58/1526.04 c 1526s| 5570k| 94375 | 13836k| 2.5 | 103M| 40 | 5 | 120 | 162 | 120 | 14 | 25 | 186k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1528.17/1528.69 c 1529s| 5580k| 94758 | 13858k| 2.5 | 103M| 40 | 5 | 120 | 193 | 120 | 14 | 25 | 187k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1530.87/1531.32 c 1531s| 5590k| 95666 | 13881k| 2.5 | 104M| 40 | - | 120 | 140 | 120 | 14 | 25 | 187k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1533.47/1533.91 c 1534s| 5600k| 95792 | 13903k| 2.5 | 104M| 40 | 5 | 120 | 142 | 120 | 14 | 25 | 187k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1536.08/1536.54 c 1537s| 5610k| 95988 | 13927k| 2.5 | 104M| 40 | - | 120 | 146 | 120 | 14 | 25 | 188k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1538.67/1539.17 c 1539s| 5620k| 95898 | 13949k| 2.5 | 104M| 40 | 5 | 120 | 164 | 120 | 14 | 25 | 188k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1541.37/1541.84 c 1542s| 5630k| 95760 | 13972k| 2.5 | 104M| 40 | 5 | 120 | 139 | 120 | 14 | 25 | 188k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1544.07/1544.50 c 1544s| 5640k| 95613 | 13995k| 2.5 | 104M| 40 | 5 | 120 | 137 | 120 | 14 | 25 | 189k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1546.67/1547.16 c 1547s| 5650k| 95466 | 14018k| 2.5 | 104M| 40 | 5 | 120 | 141 | 120 | 14 | 25 | 189k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1549.38/1549.81 c 1550s| 5660k| 95157 | 14040k| 2.5 | 104M| 40 | - | 120 | 142 | 0 | 0 | 25 | 189k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1551.97/1552.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1551.97/1552.46 c 1552s| 5670k| 94839 | 14063k| 2.5 | 104M| 40 | - | 120 | 135 | 0 | 0 | 25 | 190k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1554.67/1555.11 c 1555s| 5680k| 94521 | 14086k| 2.5 | 104M| 40 | - | 120 | 151 | 0 | 0 | 25 | 190k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1557.27/1557.78 c 1558s| 5690k| 94511 | 14108k| 2.5 | 104M| 40 | - | 120 | 134 | 120 | 14 | 25 | 190k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1559.97/1560.43 c 1560s| 5700k| 94484 | 14133k| 2.5 | 105M| 40 | 5 | 120 | 132 | 120 | 14 | 25 | 191k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1562.67/1563.12 c 1563s| 5710k| 93949 | 14155k| 2.5 | 104M| 40 | - | 120 | 140 | 120 | 14 | 25 | 191k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1565.37/1565.81 c 1566s| 5720k| 93697 | 14178k| 2.5 | 104M| 40 | - | 120 | 151 | 120 | 14 | 25 | 191k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1567.97/1568.47 c 1568s| 5730k| 93657 | 14201k| 2.5 | 105M| 40 | 5 | 120 | 142 | 120 | 14 | 25 | 192k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1570.66/1571.15 c 1571s| 5740k| 93798 | 14225k| 2.5 | 105M| 40 | - | 120 | 156 | 120 | 14 | 25 | 192k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1573.27/1573.73 c 1574s| 5750k| 93959 | 14248k| 2.5 | 105M| 40 | - | 120 | 153 | 120 | 14 | 25 | 192k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1575.87/1576.35 c 1576s| 5760k| 93982 | 14271k| 2.5 | 105M| 40 | - | 120 | 144 | 0 | 0 | 25 | 192k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1578.57/1579.06 c 1579s| 5770k| 93644 | 14295k| 2.5 | 105M| 40 | - | 120 | 162 | 120 | 14 | 25 | 193k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1581.27/1581.73 c 1582s| 5780k| 93748 | 14319k| 2.5 | 105M| 40 | - | 120 | 147 | 120 | 14 | 25 | 193k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1583.96/1584.40 c 1584s| 5790k| 94015 | 14342k| 2.5 | 106M| 40 | - | 120 | 159 | 120 | 14 | 25 | 193k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1586.66/1587.14 c 1587s| 5800k| 94942 | 14367k| 2.5 | 106M| 40 | - | 120 | 139 | 120 | 14 | 25 | 193k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1589.36/1589.81 c 1590s| 5810k| 95228 | 14392k| 2.5 | 107M| 40 | 5 | 120 | 141 | 120 | 14 | 25 | 194k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1591.96/1592.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1591.96/1592.46 c 1592s| 5820k| 95382 | 14415k| 2.5 | 107M| 40 | 5 | 120 | 139 | 120 | 14 | 25 | 194k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1594.66/1595.13 c 1595s| 5830k| 95185 | 14439k| 2.5 | 107M| 40 | - | 120 | 132 | 0 | 0 | 25 | 194k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1597.26/1597.78 c 1598s| 5840k| 95166 | 14464k| 2.5 | 107M| 40 | - | 120 | 124 | 0 | 0 | 25 | 194k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1599.96/1600.44 c 1600s| 5850k| 95473 | 14488k| 2.5 | 108M| 40 | - | 120 | 143 | 120 | 14 | 25 | 195k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1602.55/1603.07 c 1603s| 5860k| 95616 | 14512k| 2.5 | 108M| 40 | 5 | 120 | 150 | 120 | 14 | 25 | 195k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1605.25/1605.73 c 1606s| 5870k| 96540 | 14537k| 2.5 | 108M| 40 | 5 | 120 | 155 | 120 | 14 | 25 | 195k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1607.85/1608.37 c 1608s| 5880k| 97281 | 14561k| 2.5 | 109M| 40 | - | 120 | 143 | 0 | 0 | 25 | 196k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1610.45/1610.99 c 1611s| 5890k| 97981 | 14586k| 2.5 | 110M| 40 | 5 | 120 | 151 | 120 | 14 | 25 | 196k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1613.06/1613.57 c 1614s| 5900k| 98277 | 14609k| 2.5 | 110M| 40 | 5 | 120 | 133 | 120 | 14 | 25 | 196k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1615.65/1616.19 c 1616s| 5910k| 98626 | 14632k| 2.5 | 110M| 40 | - | 120 | 138 | 120 | 14 | 25 | 197k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1618.36/1618.84 c 1619s| 5920k| 98792 | 14657k| 2.5 | 111M| 40 | - | 120 | 145 | 120 | 14 | 25 | 197k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1620.96/1621.44 c 1621s| 5930k| 99154 | 14680k| 2.5 | 111M| 40 | - | 120 | 150 | 120 | 14 | 25 | 197k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1623.55/1624.08 c 1624s| 5940k| 99411 | 14704k| 2.5 | 111M| 40 | - | 120 | 148 | 120 | 14 | 25 | 198k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1626.25/1626.78 c 1627s| 5950k| 99522 | 14728k| 2.5 | 112M| 40 | 5 | 120 | 130 | 120 | 14 | 25 | 198k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1628.95/1629.45 c 1629s| 5960k| 99581 | 14752k| 2.5 | 112M| 40 | 5 | 120 | 132 | 120 | 14 | 25 | 198k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1631.65/1632.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1631.65/1632.14 c 1632s| 5970k|100416 | 14779k| 2.5 | 112M| 40 | - | 120 | 134 | 120 | 14 | 25 | 199k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1634.24/1634.73 c 1635s| 5980k|101126 | 14804k| 2.5 | 113M| 40 | - | 120 | 137 | 120 | 14 | 25 | 199k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1636.85/1637.31 c 1637s| 5990k|101516 | 14828k| 2.5 | 113M| 40 | 5 | 120 | 126 | 120 | 14 | 25 | 199k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1639.45/1639.94 c 1640s| 6000k|102255 | 14854k| 2.5 | 114M| 40 | 5 | 120 | 136 | 120 | 14 | 25 | 199k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1642.05/1642.54 c 1643s| 6010k|102819 | 14877k| 2.5 | 114M| 40 | - | 120 | 123 | 0 | 0 | 25 | 200k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1644.64/1645.18 c 1645s| 6020k|103186 | 14901k| 2.5 | 115M| 40 | - | 120 | 128 | 120 | 14 | 25 | 200k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1647.35/1647.81 c 1648s| 6030k|103118 | 14926k| 2.5 | 115M| 40 | 5 | 120 | 125 | 120 | 14 | 25 | 200k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1649.94/1650.46 c 1650s| 6040k|103970 | 14951k| 2.5 | 116M| 40 | 5 | 120 | 142 | 120 | 14 | 25 | 200k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1652.64/1653.11 c 1653s| 6050k|104426 | 14976k| 2.5 | 116M| 40 | 5 | 120 | 142 | 120 | 14 | 25 | 201k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1655.24/1655.77 c 1656s| 6060k|104690 | 15000k| 2.5 | 116M| 40 | - | 120 | 140 | 120 | 14 | 25 | 201k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1657.84/1658.39 c 1658s| 6070k|104716 | 15024k| 2.5 | 117M| 40 | - | 120 | 125 | 120 | 14 | 25 | 201k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1660.55/1661.06 c 1661s| 6080k|104865 | 15048k| 2.5 | 117M| 40 | 5 | 120 | 136 | 120 | 14 | 25 | 202k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1663.14/1663.69 c 1664s| 6090k|105211 | 15073k| 2.5 | 117M| 40 | 5 | 120 | 130 | 120 | 14 | 25 | 202k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1665.84/1666.35 c 1666s| 6100k|104925 | 15097k| 2.5 | 117M| 40 | 5 | 120 | 124 | 120 | 14 | 25 | 202k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1668.53/1669.00 c 1669s| 6110k|105049 | 15120k| 2.5 | 117M| 40 | - | 120 | 132 | 0 | 0 | 25 | 202k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1671.14/1671.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1671.14/1671.64 c 1672s| 6120k|105710 | 15145k| 2.5 | 118M| 40 | - | 120 | 135 | 0 | 0 | 25 | 203k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1673.75/1674.29 c 1674s| 6130k|105753 | 15169k| 2.5 | 118M| 40 | - | 120 | 144 | 120 | 14 | 25 | 203k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1676.33/1676.89 c 1677s| 6140k|105980 | 15193k| 2.5 | 119M| 40 | 5 | 120 | 143 | 120 | 14 | 25 | 203k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1679.04/1679.53 c 1680s| 6150k|105697 | 15216k| 2.5 | 119M| 40 | 5 | 120 | 141 | 120 | 14 | 25 | 204k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1681.63/1682.19 c 1682s| 6160k|105691 | 15240k| 2.5 | 119M| 40 | - | 120 | 133 | 120 | 14 | 25 | 204k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1684.34/1684.81 c 1685s| 6170k|106130 | 15263k| 2.5 | 119M| 40 | 5 | 120 | 144 | 120 | 14 | 25 | 204k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1686.94/1687.47 c 1687s| 6180k|105632 | 15286k| 2.5 | 119M| 40 | 5 | 120 | 122 | 120 | 14 | 25 | 205k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1689.74/1690.21 c 1690s| 6190k|104975 | 15310k| 2.5 | 119M| 40 | - | 120 | 118 | 0 | 0 | 25 | 205k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1692.44/1692.93 c 1693s| 6200k|104850 | 15333k| 2.5 | 119M| 40 | 5 | 120 | 123 | 120 | 14 | 25 | 205k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1695.04/1695.59 c 1696s| 6210k|104645 | 15357k| 2.5 | 119M| 40 | - | 120 | 129 | 120 | 14 | 25 | 206k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1697.73/1698.27 c 1698s| 6220k|104403 | 15381k| 2.5 | 119M| 40 | - | 120 | 127 | 0 | 0 | 25 | 206k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1700.43/1700.98 c 1701s| 6230k|104148 | 15404k| 2.5 | 119M| 40 | 5 | 120 | 134 | 120 | 14 | 25 | 206k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1703.13/1703.66 c 1704s| 6240k|104322 | 15428k| 2.5 | 119M| 40 | 5 | 120 | 146 | 120 | 14 | 25 | 207k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1705.83/1706.39 c 1706s| 6250k|103811 | 15451k| 2.5 | 119M| 40 | 5 | 120 | 156 | 120 | 14 | 25 | 207k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1708.53/1709.09 c 1709s| 6260k|103533 | 15475k| 2.5 | 119M| 40 | - | 120 | 144 | 120 | 14 | 25 | 207k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1711.22/1711.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1711.22/1711.78 c 1712s| 6270k|103189 | 15499k| 2.5 | 119M| 40 | 5 | 120 | 175 | 120 | 14 | 25 | 207k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1714.02/1714.50 c 1714s| 6280k|102877 | 15523k| 2.5 | 119M| 40 | 5 | 120 | 160 | 120 | 14 | 25 | 208k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1716.64/1717.19 c 1717s| 6290k|102970 | 15546k| 2.5 | 119M| 40 | 5 | 120 | 152 | 120 | 14 | 25 | 208k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1719.43/1719.90 c 1720s| 6300k|102374 | 15569k| 2.5 | 119M| 40 | 5 | 120 | 156 | 120 | 14 | 25 | 209k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1722.14/1722.64 c 1723s| 6310k|101612 | 15593k| 2.5 | 118M| 40 | 5 | 120 | 152 | 120 | 14 | 25 | 209k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1724.83/1725.32 c 1725s| 6320k|101242 | 15617k| 2.5 | 118M| 40 | - | 120 | 152 | 120 | 14 | 25 | 209k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1727.42/1727.99 c 1728s| 6330k|100889 | 15640k| 2.5 | 118M| 40 | 5 | 120 | 147 | 120 | 14 | 25 | 210k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1730.12/1730.66 c 1731s| 6340k|100918 | 15663k| 2.5 | 118M| 40 | - | 120 | 161 | 120 | 14 | 25 | 210k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1732.72/1733.26 c 1733s| 6350k|100963 | 15686k| 2.5 | 118M| 40 | 5 | 120 | 153 | 120 | 14 | 25 | 210k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1735.42/1735.90 c 1736s| 6360k|101806 | 15711k| 2.5 | 119M| 40 | - | 120 | 159 | 120 | 14 | 25 | 210k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1738.02/1738.51 c 1739s| 6370k|102091 | 15735k| 2.5 | 119M| 40 | - | 120 | 167 | 120 | 14 | 25 | 211k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1740.62/1741.17 c 1741s| 6380k|102611 | 15760k| 2.5 | 120M| 40 | - | 120 | 170 | 120 | 14 | 25 | 211k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1743.22/1743.79 c 1744s| 6390k|102680 | 15783k| 2.5 | 120M| 40 | - | 120 | 173 | 120 | 14 | 25 | 211k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1745.92/1746.42 c 1746s| 6400k|102727 | 15806k| 2.5 | 120M| 40 | - | 120 | 153 | 120 | 14 | 25 | 211k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1748.61/1749.10 c 1749s| 6410k|102050 | 15830k| 2.5 | 120M| 40 | 5 | 120 | 155 | 120 | 14 | 25 | 212k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1751.31/1751.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1751.31/1751.81 c 1752s| 6420k|101721 | 15853k| 2.5 | 120M| 40 | 5 | 120 | 145 | 120 | 14 | 25 | 212k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1753.92/1754.48 c 1754s| 6430k|101529 | 15876k| 2.5 | 120M| 40 | 5 | 120 | 151 | 120 | 14 | 25 | 212k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1756.71/1757.21 c 1757s| 6440k|100792 | 15900k| 2.5 | 119M| 40 | 5 | 120 | 137 | 120 | 14 | 25 | 213k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1759.42/1759.90 c 1760s| 6450k|100748 | 15923k| 2.5 | 119M| 40 | 5 | 120 | 155 | 120 | 14 | 25 | 213k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1762.12/1762.61 c 1763s| 6460k|100322 | 15946k| 2.5 | 119M| 40 | - | 120 | 162 | 120 | 14 | 25 | 213k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1764.81/1765.37 c 1765s| 6470k| 99429 | 15970k| 2.5 | 119M| 40 | - | 120 | 149 | 120 | 14 | 25 | 214k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1767.71/1768.23 c 1768s| 6480k| 99987 | 15995k| 2.5 | 119M| 40 | 5 | 120 | 175 | 120 | 14 | 25 | 214k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1770.42/1770.90 c 1771s| 6490k|100973 | 16019k| 2.5 | 120M| 40 | - | 120 | 163 | 120 | 14 | 25 | 214k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1773.01/1773.56 c 1774s| 6500k|101525 | 16043k| 2.5 | 120M| 40 | - | 120 | 174 | 120 | 14 | 25 | 214k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1775.61/1776.18 c 1776s| 6510k|102049 | 16067k| 2.5 | 121M| 40 | 5 | 120 | 158 | 120 | 14 | 25 | 215k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1778.31/1778.85 c 1779s| 6520k|103506 | 16092k| 2.5 | 122M| 40 | - | 120 | 167 | 120 | 14 | 25 | 215k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1780.91/1781.48 c 1781s| 6530k|104678 | 16117k| 2.5 | 122M| 40 | - | 120 | 177 | 0 | 0 | 25 | 215k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1783.61/1784.13 c 1784s| 6540k|106109 | 16142k| 2.5 | 123M| 40 | 5 | 120 | 192 | 120 | 14 | 25 | 215k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1786.21/1786.75 c 1787s| 6550k|107144 | 16166k| 2.5 | 124M| 40 | 5 | 120 | 168 | 120 | 14 | 25 | 216k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1788.81/1789.36 c 1789s| 6560k|107717 | 16190k| 2.5 | 124M| 40 | - | 120 | 172 | 120 | 14 | 25 | 216k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1789.51/1790.01 c
1789.51/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.51/1790.01 c Solving Time (sec) : 1790.00
1789.51/1790.01 c Solving Nodes : 6562464
1789.51/1790.01 c Primal Bound : +3.00000000000000e+00 (37 solutions)
1789.51/1790.01 c Dual Bound : +0.00000000000000e+00
1789.51/1790.01 c Gap : infinite
1789.51/1790.01 s SATISFIABLE
1789.51/1790.01 v -x90 -x120 -x119 x118 -x117 x116 x115 x114 -x113 x112 x111 -x110 x109 x108 x107 x106 x105 x104 x103 x102 -x101 -x100 -x99 -x98
1789.51/1790.01 v x97 x96 -x95 -x94 x93 -x92 -x91 -x89 -x88 -x87 x86 -x85 x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70
1789.51/1790.01 v -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45
1789.51/1790.01 v -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20
1789.51/1790.01 v -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1789.51/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.51/1790.01 c Solving Time : 1790.00
1789.51/1790.01 c Original Problem :
1789.51/1790.01 c Problem name : HOME/instance-2703927-1278562791.opb
1789.51/1790.01 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.51/1790.01 c Constraints : 10 initial, 10 maximal
1789.51/1790.01 c Presolved Problem :
1789.51/1790.01 c Problem name : t_HOME/instance-2703927-1278562791.opb
1789.51/1790.01 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.51/1790.01 c Constraints : 5 initial, 268 maximal
1789.51/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.51/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.51/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.51/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.51/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.51/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.51/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1789.51/1790.01 c linear : 0.00 0 0 0 0 0 5 0 0
1789.51/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.51/1790.01 c root node : - 60 - - 60 - - - -
1789.51/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.51/1790.01 c integral : 0 0 0 3378968 0 2422 29302 0 0 6694594
1789.51/1790.01 c linear : 5+ 8 8330007 0 1 1010121 6870500 0 0 0
1789.51/1790.01 c logicor : 0+ 0 3017039 0 0 10702 66444 0 0 0
1789.51/1790.01 c countsols : 0 0 0 11 1 0 0 0 0 0
1789.51/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.51/1790.01 c integral : 37.53 0.00 0.00 37.53 0.00
1789.51/1790.01 c linear : 390.16 0.00 390.16 0.00 0.00
1789.51/1790.01 c logicor : 13.38 0.00 13.38 0.00 0.00
1789.51/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.51/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.51/1790.01 c vbounds : 3.25 2 0 0
1789.51/1790.01 c rootredcost : 3.14 25 0 60
1789.51/1790.01 c pseudoobj : 47.90 8344105 14291 349795
1789.51/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.51/1790.01 c propagation : 49.15 1035114 182287 238769 35.1 6 23.3 -
1789.51/1790.01 c infeasible LP : 1.92 31750 31745 40672 25.5 11 26.5 0
1789.51/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.51/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.51/1790.01 c pseudo solution : 0.00 1 1 1 1.0 0 0.0 -
1789.51/1790.01 c applied globally : - - - 51481 24.6 - - -
1789.51/1790.01 c applied locally : - - - 164939 36.0 - - -
1789.51/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.51/1790.01 c cut pool : 0.00 6 - - 22 - (maximal pool size: 98)
1789.51/1790.01 c redcost : 45.69 3827136 0 8153699 0 0
1789.51/1790.01 c impliedbounds : 0.00 7 0 0 0 0
1789.51/1790.01 c intobj : 0.00 0 0 0 0 0
1789.51/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.51/1790.01 c gomory : 0.01 7 0 0 0 0
1789.51/1790.01 c strongcg : 0.01 7 0 0 34 0
1789.51/1790.01 c cmir : 0.02 7 0 0 41 0
1789.51/1790.01 c flowcover : 0.03 7 0 0 44 0
1789.51/1790.01 c clique : 0.00 1 0 0 0 0
1789.51/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.51/1790.01 c mcf : 0.00 1 0 0 0 0
1789.51/1790.01 c rapidlearning : 0.07 1 0 0 0 87
1789.51/1790.01 c Pricers : Time Calls Vars
1789.51/1790.01 c problem variables: 0.00 0 0
1789.51/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.51/1790.01 c relpscost : 34.39 3378957 2422 29302 0 0 6694594
1789.51/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.51/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.51/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.51/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.51/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.51/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.51/1790.01 c random : 0.00 0 0 0 0 0 0
1789.51/1790.01 c Primal Heuristics : Time Calls Found
1789.51/1790.01 c LP solutions : 0.01 - 11
1789.51/1790.01 c pseudo solutions : 0.00 - 0
1789.51/1790.01 c oneopt : 2.52 25 0
1789.51/1790.01 c crossover : 3.23 2 0
1789.51/1790.01 c rootsoldiving : 7.06 2581 5
1789.51/1790.01 c veclendiving : 8.01 8410 3
1789.51/1790.01 c fracdiving : 8.21 8410 0
1789.51/1790.01 c guideddiving : 7.60 8411 2
1789.51/1790.01 c linesearchdiving : 7.78 8411 2
1789.51/1790.01 c coefdiving : 9.73 8411 3
1789.51/1790.01 c pscostdiving : 8.57 8411 1
1789.51/1790.01 c objpscostdiving : 6.19 4247 0
1789.51/1790.01 c trivial : 0.00 2 0
1789.51/1790.01 c simplerounding : 1.51 0 0
1789.51/1790.01 c zirounding : 2.39 1000 0
1789.51/1790.01 c rounding : 3.01 27394 0
1789.51/1790.01 c shifting : 33.91 52114 9
1789.51/1790.01 c intshifting : 0.25 0 0
1789.51/1790.01 c twoopt : 0.00 0 0
1789.51/1790.01 c fixandinfer : 0.00 0 0
1789.51/1790.01 c feaspump : 0.20 1 0
1789.51/1790.01 c intdiving : 0.00 0 0
1789.51/1790.01 c actconsdiving : 0.00 0 0
1789.51/1790.01 c octane : 0.00 0 0
1789.51/1790.01 c rens : 0.02 1 0
1789.51/1790.01 c rins : 0.00 0 0
1789.51/1790.01 c localbranching : 0.00 0 0
1789.51/1790.01 c mutation : 0.00 0 0
1789.51/1790.01 c dins : 0.00 0 0
1789.51/1790.01 c undercover : 0.00 0 0
1789.51/1790.01 c nlp : 1.94 0 0
1789.51/1790.01 c trysol : 3.20 0 0
1789.51/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.51/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.51/1790.01 c dual LP : 659.76 6004926 15530152 2.59 23539.07
1789.51/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.51/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.51/1790.01 c diving/probing LP: 28.59 251824 665831 2.64 23292.22
1789.51/1790.01 c strong branching : 6.75 38081 98086 2.58 14535.57
1789.51/1790.01 c (at root node) : - 11 362 32.91 -
1789.51/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.51/1790.01 c B&B Tree :
1789.51/1790.01 c number of runs : 1
1789.51/1790.01 c nodes : 6562464
1789.51/1790.01 c nodes (total) : 6562464
1789.51/1790.01 c nodes left : 107781
1789.51/1790.01 c max depth : 40
1789.51/1790.01 c max depth (total): 40
1789.51/1790.01 c backtracks : 1766354 (26.9%)
1789.51/1790.01 c delayed cutoffs : 20985
1789.51/1790.01 c repropagations : 82460 (133846 domain reductions, 17861 cutoffs)
1789.51/1790.01 c avg switch length: 5.16
1789.51/1790.01 c switching time : 144.09
1789.51/1790.01 c Solution :
1789.51/1790.01 c Solutions found : 37 (25 improvements)
1789.51/1790.01 c First Solution : +9.96000000000000e+02 (in run 1, after 1 nodes, 0.09 seconds, depth 0, found by <trysol>)
1789.51/1790.01 c Primal Bound : +3.00000000000000e+00 (in run 1, after 529084 nodes, 166.71 seconds, depth 29, found by <relaxation>)
1789.51/1790.01 c Dual Bound : +0.00000000000000e+00
1789.51/1790.01 c Gap : infinite
1789.51/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.51/1790.01 c Root Iterations : 118
1790.31/1790.86 c Time complete: 1790.37.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703927-1278562791/watcher-2703927-1278562791 -o /tmp/evaluation-result-2703927-1278562791/solver-2703927-1278562791 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703927-1278562791.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.10 1.09 1.01 3/106 3392
/proc/meminfo: memFree=1560804/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=7904 CPUtime=0
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 1156 0 0 0 0 0 0 0 18 0 1 0 24492960 8093696 1068 1992294400 4194304 8395647 140737477215088 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3392/statm: 1976 1077 365 1026 0 946 0
[startup+0.0617791 s]
/proc/loadavg: 1.10 1.09 1.01 3/106 3392
/proc/meminfo: memFree=1560804/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=22328 CPUtime=0.05
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 4814 0 0 0 4 1 0 0 20 0 1 0 24492960 22863872 4373 1992294400 4194304 8395647 140737477215088 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 5582 4373 597 1026 0 4552 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 22328
[startup+0.100783 s]
/proc/loadavg: 1.10 1.09 1.01 3/106 3392
/proc/meminfo: memFree=1560804/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=22460 CPUtime=0.09
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 4840 0 0 0 7 2 0 0 20 0 1 0 24492960 22999040 4399 1992294400 4194304 8395647 140737477215088 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 5615 4399 597 1026 0 4585 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22460
[startup+0.300807 s]
/proc/loadavg: 1.10 1.09 1.01 3/106 3392
/proc/meminfo: memFree=1560804/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=23776 CPUtime=0.29
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 5517 0 0 0 26 3 0 0 20 0 1 0 24492960 24346624 5076 1992294400 4194304 8395647 140737477215088 18446744073709551615 4995703 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 5944 5076 621 1026 0 4914 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23776
[startup+0.700853 s]
/proc/loadavg: 1.10 1.09 1.01 3/106 3392
/proc/meminfo: memFree=1560804/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=23776 CPUtime=0.69
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 5521 0 0 0 62 7 0 0 20 0 1 0 24492960 24346624 5080 1992294400 4194304 8395647 140737477215088 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 5944 5080 622 1026 0 4914 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23776
[startup+1.50095 s]
/proc/loadavg: 1.09 1.09 1.01 2/107 3393
/proc/meminfo: memFree=1542816/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=23776 CPUtime=1.49
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 5525 0 0 0 139 10 0 0 23 0 1 0 24492960 24346624 5084 1992294400 4194304 8395647 140737477215088 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 5944 5084 622 1026 0 4914 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23776
[startup+3.10113 s]
/proc/loadavg: 1.09 1.09 1.01 2/107 3393
/proc/meminfo: memFree=1542692/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=23776 CPUtime=3.09
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 5531 0 0 0 292 17 0 0 25 0 1 0 24492960 24346624 5090 1992294400 4194304 8395647 140737477215088 18446744073709551615 6263933 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 5944 5090 623 1026 0 4914 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23776
[startup+6.30151 s]
/proc/loadavg: 1.09 1.09 1.01 2/107 3393
/proc/meminfo: memFree=1542072/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=23776 CPUtime=6.29
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 5543 0 0 0 597 32 0 0 25 0 1 0 24492960 24346624 5102 1992294400 4194304 8395647 140737477215088 18446744073709551615 5542498 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 5944 5102 623 1026 0 4914 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23776
[startup+12.7013 s]
/proc/loadavg: 1.15 1.10 1.01 2/107 3393
/proc/meminfo: memFree=1540956/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=22752 CPUtime=12.69
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 6071 0 0 0 1212 57 0 0 25 0 1 0 24492960 23298048 4894 1992294400 4194304 8395647 140737477215088 18446744073709551615 5085305 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 5688 4894 623 1026 0 4658 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22752
[startup+25.5007 s]
/proc/loadavg: 1.13 1.10 1.01 2/107 3393
/proc/meminfo: memFree=1540708/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=24480 CPUtime=25.48
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 12292 0 0 0 2438 110 0 0 25 0 1 0 24492960 25067520 5345 1992294400 4194304 8395647 140737477215088 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 6120 5345 623 1026 0 5090 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24480
[startup+51.1007 s]
/proc/loadavg: 1.08 1.08 1.01 2/107 3394
/proc/meminfo: memFree=1538228/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=26884 CPUtime=51.07
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 20673 0 0 0 4881 226 0 0 25 0 1 0 24492960 27529216 5954 1992294400 4194304 8395647 140737477215088 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 6721 5954 623 1026 0 5691 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 26884
[startup+102.308 s]
/proc/loadavg: 1.12 1.10 1.01 2/107 3395
/proc/meminfo: memFree=1538228/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=26884 CPUtime=102.27
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 24081 0 0 0 9761 466 0 0 25 0 1 0 24492960 27529216 5954 1992294400 4194304 8395647 140737477215088 18446744073709551615 4613318 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 6721 5954 623 1026 0 5691 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 26884
[startup+162.301 s]
/proc/loadavg: 1.13 1.11 1.02 2/107 3397
/proc/meminfo: memFree=1537856/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=27760 CPUtime=162.25
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 25141 0 0 0 15475 750 0 0 25 0 1 0 24492960 28426240 6161 1992294400 4194304 8395647 140737477215088 18446744073709551615 5027348 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 6940 6161 623 1026 0 5910 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 27760
[startup+222.301 s]
/proc/loadavg: 1.21 1.13 1.03 2/107 3399
/proc/meminfo: memFree=1537112/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=27836 CPUtime=222.23
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 32840 0 0 0 21184 1039 0 0 25 0 1 0 24492960 28504064 6192 1992294400 4194304 8395647 140737477215088 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 6959 6192 623 1026 0 5929 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 27836
[startup+282.301 s]
/proc/loadavg: 1.24 1.15 1.04 2/107 3400
/proc/meminfo: memFree=1537112/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=27836 CPUtime=282.21
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 34544 0 0 0 26900 1321 0 0 25 0 1 0 24492960 28504064 6192 1992294400 4194304 8395647 140737477215088 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 6959 6192 623 1026 0 5929 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 27836
[startup+342.301 s]
/proc/loadavg: 1.24 1.15 1.04 2/107 3401
/proc/meminfo: memFree=1536988/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=27836 CPUtime=342.2
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 34544 0 0 0 32605 1615 0 0 25 0 1 0 24492960 28504064 6192 1992294400 4194304 8395647 140737477215088 18446744073709551615 4453816 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 6959 6192 623 1026 0 5929 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 27836
[startup+402.301 s]
/proc/loadavg: 1.15 1.14 1.04 2/107 3403
/proc/meminfo: memFree=1536740/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=27932 CPUtime=402.18
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 35419 0 0 0 38311 1907 0 0 25 0 1 0 24492960 28602368 6216 1992294400 4194304 8395647 140737477215088 18446744073709551615 5540817 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 6983 6216 623 1026 0 5953 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 27932
[startup+462.301 s]
/proc/loadavg: 1.20 1.14 1.05 2/107 3405
/proc/meminfo: memFree=1536616/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=27932 CPUtime=462.16
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 35419 0 0 0 44023 2193 0 0 25 0 1 0 24492960 28602368 6216 1992294400 4194304 8395647 140737477215088 18446744073709551615 5614290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 6983 6216 623 1026 0 5953 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 27932
[startup+522.301 s]
/proc/loadavg: 1.21 1.15 1.05 2/107 3407
/proc/meminfo: memFree=1534012/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=31468 CPUtime=522.15
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 36288 0 0 0 49735 2480 0 0 25 0 1 0 24492960 32223232 7085 1992294400 4194304 8395647 140737477215088 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 7867 7085 623 1026 0 6837 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 31468
[startup+582.301 s]
/proc/loadavg: 1.21 1.15 1.06 2/107 3408
/proc/meminfo: memFree=1527316/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=37528 CPUtime=582.13
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 37838 0 0 0 55460 2753 0 0 25 0 1 0 24492960 38428672 8635 1992294400 4194304 8395647 140737477215088 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 9382 8635 623 1026 0 8352 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 37528
[startup+642.301 s]
/proc/loadavg: 1.20 1.15 1.06 2/107 3409
/proc/meminfo: memFree=1522728/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=41908 CPUtime=642.12
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 39795 0 0 0 61183 3029 0 0 25 0 1 0 24492960 42913792 9744 1992294400 4194304 8395647 140737477215088 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 10477 9744 623 1026 0 9447 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 41908
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1463456/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=100968 CPUtime=1062
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 54382 0 0 0 101294 4906 0 0 25 0 1 0 24492960 103391232 24331 1992294400 4194304 8395647 140737477215088 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 25242 24331 623 1026 0 24212 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 100968
[startup+1122.3 s]
/proc/loadavg: 1.19 1.15 1.09 2/107 3423
/proc/meminfo: memFree=1463084/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=101316 CPUtime=1121.98
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 54443 0 0 0 107020 5178 0 0 25 0 1 0 24492960 103747584 24392 1992294400 4194304 8395647 140737477215088 18446744073709551615 5026725 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 25329 24392 623 1026 0 24299 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 101316
[startup+1182.3 s]
/proc/loadavg: 1.13 1.14 1.09 2/107 3424
/proc/meminfo: memFree=1459240/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=105528 CPUtime=1181.97
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 55499 0 0 0 112755 5442 0 0 25 0 1 0 24492960 108060672 25448 1992294400 4194304 8395647 140737477215088 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 26382 25448 623 1026 0 25352 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 105528
[startup+1242.3 s]
/proc/loadavg: 1.17 1.14 1.09 2/107 3425
/proc/meminfo: memFree=1456636/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=107412 CPUtime=1241.95
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 56001 0 0 0 118496 5699 0 0 25 0 1 0 24492960 109989888 25950 1992294400 4194304 8395647 140737477215088 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 26853 25950 623 1026 0 25823 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 107412
[startup+1302.3 s]
/proc/loadavg: 1.24 1.16 1.10 2/107 3427
/proc/meminfo: memFree=1455396/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=108644 CPUtime=1301.94
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 56278 0 0 0 124238 5956 0 0 25 0 1 0 24492960 111251456 26227 1992294400 4194304 8395647 140737477215088 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 27161 26227 623 1026 0 26131 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 108644
[startup+1362.3 s]
/proc/loadavg: 1.20 1.16 1.10 2/107 3429
/proc/meminfo: memFree=1453908/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=109964 CPUtime=1361.92
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 56635 0 0 0 129975 6217 0 0 25 0 1 0 24492960 112603136 26584 1992294400 4194304 8395647 140737477215088 18446744073709551615 4962572 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 27491 26584 623 1026 0 26461 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 109964
[startup+1422.31 s]
/proc/loadavg: 1.18 1.16 1.10 2/107 3431
/proc/meminfo: memFree=1452296/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=111504 CPUtime=1421.91
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 56991 0 0 0 135701 6490 0 0 25 0 1 0 24492960 114180096 26940 1992294400 4194304 8395647 140737477215088 18446744073709551615 4238513 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 27876 26940 623 1026 0 26846 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 111504
[startup+1482.3 s]
/proc/loadavg: 1.10 1.14 1.09 2/107 3432
/proc/meminfo: memFree=1444236/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=119360 CPUtime=1481.89
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 58968 0 0 0 141429 6760 0 0 25 0 1 0 24492960 122224640 28917 1992294400 4194304 8395647 140737477215088 18446744073709551615 4995169 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 29840 28917 623 1026 0 28810 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 119360
[startup+1542.3 s]
/proc/loadavg: 1.07 1.13 1.09 2/107 3433
/proc/meminfo: memFree=1436920/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=126420 CPUtime=1541.87
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 60779 0 0 0 147165 7022 0 0 25 0 1 0 24492960 129454080 30728 1992294400 4194304 8395647 140737477215088 18446744073709551615 6108013 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 31605 30728 623 1026 0 30575 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 126420
[startup+1602.3 s]
/proc/loadavg: 1.02 1.10 1.08 2/107 3435
/proc/meminfo: memFree=1432952/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=130424 CPUtime=1601.85
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 61747 0 0 0 152891 7294 0 0 25 0 1 0 24492960 133554176 31696 1992294400 4194304 8395647 140737477215088 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 32606 31696 623 1026 0 31576 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 130424
[startup+1662.3 s]
/proc/loadavg: 1.01 1.08 1.08 2/107 3437
/proc/meminfo: memFree=1423032/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=140052 CPUtime=1661.84
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 64183 0 0 0 158612 7572 0 0 25 0 1 0 24492960 143413248 34132 1992294400 4194304 8395647 140737477215088 18446744073709551615 6586897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 35013 34132 623 1026 0 33983 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 140052
[startup+1722.3 s]
/proc/loadavg: 1.00 1.06 1.07 2/107 3439
/proc/meminfo: memFree=1420676/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=142328 CPUtime=1721.83
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 64750 0 0 0 164345 7838 0 0 25 0 1 0 24492960 145743872 34699 1992294400 4194304 8395647 140737477215088 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 35582 34699 623 1026 0 34552 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 142328
[startup+1782.3 s]
/proc/loadavg: 1.00 1.05 1.06 2/107 3440
/proc/meminfo: memFree=1416708/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=144920 CPUtime=1781.8
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 65400 0 0 0 170070 8110 0 0 25 0 1 0 24492960 148398080 35349 1992294400 4194304 8395647 140737477215088 18446744073709551615 4995169 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 36230 35349 623 1026 0 35200 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 144920
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.05 1.06 2/107 3440
/proc/meminfo: memFree=1415592/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=146072 CPUtime=1785.01
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 65690 0 0 0 170376 8125 0 0 25 0 1 0 24492960 149577728 35639 1992294400 4194304 8395647 140737477215088 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 36518 35639 623 1026 0 35488 0
Current children cumulated CPU time (s) 1785.01
Current children cumulated vsize (KiB) 146072
[startup+1788.7 s]
/proc/loadavg: 1.00 1.05 1.06 2/107 3441
/proc/meminfo: memFree=1415468/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=146072 CPUtime=1788.21
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 65725 0 0 0 170681 8140 0 0 25 0 1 0 24492960 149577728 35674 1992294400 4194304 8395647 140737477215088 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 36518 35674 623 1026 0 35488 0
Current children cumulated CPU time (s) 1788.21
Current children cumulated vsize (KiB) 146072
[startup+1789.5 s]
/proc/loadavg: 1.00 1.05 1.06 2/107 3441
/proc/meminfo: memFree=1415468/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=146072 CPUtime=1789
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 65725 0 0 0 170757 8143 0 0 25 0 1 0 24492960 149577728 35674 1992294400 4194304 8395647 140737477215088 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3392/statm: 36518 35674 623 1026 0 35488 0
Current children cumulated CPU time (s) 1789
Current children cumulated vsize (KiB) 146072
[startup+1790.3 s]
/proc/loadavg: 1.00 1.05 1.06 2/107 3441
/proc/meminfo: memFree=1415468/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=146520 CPUtime=1789.8
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 65807 0 0 0 170834 8146 0 0 25 0 1 0 24492960 150036480 35756 1992294400 4194304 8395647 140737477215088 18446744073709551615 4653781 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3392/statm: 36630 35756 625 1026 0 35600 0
Current children cumulated CPU time (s) 1789.8
Current children cumulated vsize (KiB) 146520
[startup+1790.7 s]
/proc/loadavg: 1.00 1.05 1.06 2/107 3441
/proc/meminfo: memFree=1415096/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=146520 CPUtime=1790.21
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 65807 0 0 0 170875 8146 0 0 25 0 1 0 24492960 150036480 35756 1992294400 4194304 8395647 140737477215088 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3392/statm: 36630 35756 625 1026 0 35600 0
Current children cumulated CPU time (s) 1790.21
Current children cumulated vsize (KiB) 146520
[startup+1790.81 s]
/proc/loadavg: 1.00 1.05 1.06 2/107 3441
/proc/meminfo: memFree=1415096/2059040 swapFree=4139384/4192956
[pid=3392] ppid=3390 vsize=146520 CPUtime=1790.31
/proc/3392/stat : 3392 (pbscip.linux.x8) R 3390 3392 3274 0 -1 4202496 65807 0 0 0 170885 8146 0 0 25 0 1 0 24492960 150036480 35756 1992294400 4194304 8395647 140737477215088 18446744073709551615 4723491 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3392/statm: 36630 35756 625 1026 0 35600 0
Current children cumulated CPU time (s) 1790.31
Current children cumulated vsize (KiB) 146520
Child status: 0
Real time (s): 1790.87
CPU time (s): 1790.38
CPU user time (s): 1708.9
CPU system time (s): 81.4816
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 146520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1708.9
system time used= 81.4816
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65810
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= 1
involuntary context switches= 3737
runsolver used 3.3215 second user time and 8.12576 second system time
The end