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-2703919-1278562855.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 | 21 | - | 423k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.12 o 730
0.10/0.12 c y 0.1s| 1 | 0 | 42 | - | 455k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | 7.300000e+02 | Inf
0.10/0.12 c 0.1s| 1 | 0 | 54 | - | 594k| 0 | 8 | 120 | 108 | 120 | 12 | 7 | 0 | 0 | 0.000000e+00 | 7.300000e+02 | Inf
0.10/0.13 c 0.1s| 1 | 0 | 60 | - | 639k| 0 | 11 | 120 | 108 | 120 | 16 | 11 | 0 | 0 | 0.000000e+00 | 7.300000e+02 | Inf
0.10/0.14 c 0.1s| 1 | 0 | 68 | - | 664k| 0 | 13 | 120 | 108 | 120 | 20 | 15 | 0 | 0 | 0.000000e+00 | 7.300000e+02 | Inf
0.10/0.16 c 0.1s| 1 | 0 | 74 | - | 688k| 0 | 14 | 120 | 108 | 120 | 23 | 18 | 0 | 0 | 0.000000e+00 | 7.300000e+02 | Inf
0.10/0.17 c 0.2s| 1 | 0 | 83 | - | 712k| 0 | 11 | 120 | 108 | 120 | 25 | 20 | 0 | 0 | 0.000000e+00 | 7.300000e+02 | Inf
0.10/0.18 c 0.2s| 1 | 0 | 87 | - | 753k| 0 | 13 | 120 | 108 | 120 | 27 | 22 | 0 | 0 | 0.000000e+00 | 7.300000e+02 | Inf
0.19/0.22 c 0.2s| 1 | 2 | 87 | - | 753k| 0 | 13 | 120 | 108 | 120 | 27 | 22 | 0 | 9 | 0.000000e+00 | 7.300000e+02 | Inf
0.19/0.28 o 214
0.19/0.28 c p 0.3s| 35 | 36 | 346 | 7.6 | 815k| 20 | - | 120 | 108 | 120 | 13 | 22 | 2 | 130 | 0.000000e+00 | 2.140000e+02 | Inf
0.39/0.40 o 213
0.39/0.40 c * 0.4s| 153 | 150 | 1086 | 6.6 | 868k| 27 | - | 120 | 113 | 120 | 13 | 22 | 14 | 274 | 0.000000e+00 | 2.130000e+02 | Inf
0.39/0.41 o 211
0.39/0.41 c * 0.4s| 156 | 151 | 1090 | 6.5 | 871k| 28 | - | 120 | 113 | 120 | 13 | 22 | 14 | 282 | 0.000000e+00 | 2.110000e+02 | Inf
0.39/0.43 o 143
0.39/0.43 c f 0.4s| 188 | 180 | 1258 | 6.3 | 893k| 28 | - | 120 | 113 | 120 | 13 | 22 | 14 | 293 | 0.000000e+00 | 1.430000e+02 | Inf
0.39/0.47 o 142
0.39/0.47 c * 0.5s| 258 | 246 | 1496 | 5.5 | 932k| 32 | - | 120 | 114 | 120 | 13 | 22 | 19 | 318 | 0.000000e+00 | 1.420000e+02 | Inf
0.39/0.48 o 141
0.39/0.48 c * 0.5s| 272 | 258 | 1558 | 5.4 | 940k| 34 | - | 120 | 114 | 120 | 13 | 22 | 19 | 335 | 0.000000e+00 | 1.410000e+02 | Inf
0.49/0.51 o 140
0.49/0.51 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.51 c * 0.5s| 300 | 280 | 1744 | 5.5 | 956k| 34 | - | 120 | 118 | 120 | 13 | 22 | 23 | 368 | 0.000000e+00 | 1.400000e+02 | Inf
0.49/0.51 o 137
0.49/0.51 c c 0.5s| 303 | 281 | 1753 | 5.5 | 959k| 34 | - | 120 | 118 | 120 | 13 | 22 | 23 | 380 | 0.000000e+00 | 1.370000e+02 | Inf
0.49/0.54 o 136
0.49/0.54 c * 0.5s| 334 | 310 | 1884 | 5.4 | 976k| 34 | - | 120 | 118 | 120 | 13 | 22 | 23 | 397 | 0.000000e+00 | 1.360000e+02 | Inf
0.49/0.54 o 132
0.49/0.54 c * 0.5s| 335 | 307 | 1884 | 5.4 | 974k| 34 | - | 120 | 118 | 120 | 13 | 22 | 23 | 397 | 0.000000e+00 | 1.320000e+02 | Inf
0.59/0.61 o 80
0.59/0.61 c c 0.6s| 454 | 396 | 2390 | 5.1 |1030k| 34 | - | 120 | 118 | 120 | 13 | 22 | 29 | 415 | 0.000000e+00 | 8.000000e+01 | Inf
0.59/0.66 o 79
0.59/0.66 c l 0.6s| 529 | 462 | 2689 | 4.9 |1057k| 34 | - | 120 | 106 | 120 | 13 | 22 | 33 | 437 | 0.000000e+00 | 7.900000e+01 | Inf
0.79/0.83 o 73
0.79/0.83 c g 0.8s| 790 | 706 | 3866 | 4.8 |1177k| 34 | - | 120 | 111 | 120 | 13 | 22 | 53 | 501 | 0.000000e+00 | 7.300000e+01 | Inf
1.09/1.15 o 72
1.09/1.15 c l 1.1s| 1336 | 1226 | 6672 | 4.9 |1455k| 34 | - | 120 | 127 | 120 | 13 | 22 | 101 | 540 | 0.000000e+00 | 7.200000e+01 | Inf
1.19/1.20 o 70
1.19/1.20 c l 1.2s| 1400 | 1288 | 6982 | 4.9 |1499k| 34 | - | 120 | 130 | 120 | 13 | 22 | 111 | 548 | 0.000000e+00 | 7.000000e+01 | Inf
1.59/1.63 o 51
1.59/1.63 c g 1.6s| 2060 | 1860 | 10846 | 5.2 |1806k| 34 | - | 120 | 156 | 120 | 13 | 22 | 196 | 558 | 0.000000e+00 | 5.100000e+01 | Inf
1.79/1.82 o 24
1.79/1.82 c g 1.8s| 2357 | 1851 | 12598 | 5.3 |1779k| 34 | - | 120 | 78 | 120 | 13 | 22 | 240 | 571 | 0.000000e+00 | 2.400000e+01 | Inf
3.89/3.97 o 22
3.89/3.97 c p 4.0s| 5089 | 3731 | 31800 | 6.2 |2765k| 36 | - | 120 | 160 | 120 | 13 | 22 | 879 | 689 | 0.000000e+00 | 2.200000e+01 | Inf
3.89/3.97 o 20
3.89/3.97 c f 4.0s| 5089 | 3648 | 31800 | 6.2 |2714k| 36 | - | 120 | 160 | 120 | 13 | 22 | 882 | 689 | 0.000000e+00 | 2.000000e+01 | Inf
4.40/4.48 o 17
4.40/4.48 c p 4.5s| 5828 | 4039 | 35894 | 6.1 |2888k| 36 | - | 120 | 162 | 120 | 13 | 22 |1017 | 704 | 0.000000e+00 | 1.700000e+01 | Inf
4.49/4.56 o 16
4.49/4.56 c * 4.5s| 5940 | 3887 | 36487 | 6.1 |2790k| 36 | - | 120 | 167 | 120 | 13 | 22 |1040 | 716 | 0.000000e+00 | 1.600000e+01 | Inf
5.40/5.41 o 15
5.40/5.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.40/5.41 c * 5.4s| 7486 | 4748 | 44012 | 5.9 |3199k| 36 | - | 120 | 154 | 120 | 13 | 22 |1297 | 778 | 0.000000e+00 | 1.500000e+01 | Inf
5.40/5.41 o 13
5.40/5.41 c * 5.4s| 7487 | 4664 | 44012 | 5.9 |3134k| 36 | - | 120 | 154 | 120 | 13 | 22 |1297 | 778 | 0.000000e+00 | 1.300000e+01 | Inf
5.50/5.55 o 12
5.50/5.55 c * 5.5s| 7820 | 4745 | 45219 | 5.8 |3158k| 36 | - | 120 | 154 | 120 | 13 | 22 |1334 | 786 | 0.000000e+00 | 1.200000e+01 | Inf
5.50/5.55 o 10
5.50/5.55 c * 5.5s| 7821 | 4633 | 45219 | 5.8 |3069k| 36 | - | 120 | 154 | 120 | 13 | 22 |1334 | 786 | 0.000000e+00 | 1.000000e+01 | Inf
6.69/6.73 c 6.7s| 10000 | 5403 | 54035 | 5.4 |3463k| 36 | - | 120 | 162 | 120 | 13 | 22 |1535 | 888 | 0.000000e+00 | 1.000000e+01 | Inf
10.39/10.48 c 10.5s| 20000 | 7787 | 87180 | 4.4 |4809k| 36 | 5 | 120 | 195 | 120 | 13 | 22 |2443 |1327 | 0.000000e+00 | 1.000000e+01 | Inf
13.28/13.32 o 9
13.28/13.32 c *13.3s| 28107 | 8602 |112056 | 4.0 |5506k| 36 | - | 120 | 194 | 120 | 13 | 22 |3153 |1679 | 0.000000e+00 | 9.000000e+00 | Inf
15.59/15.67 c 15.7s| 30000 | 8814 |117296 | 3.9 |5651k| 36 | 5 | 120 | 204 | 120 | 13 | 22 |3310 |1755 | 0.000000e+00 | 9.000000e+00 | Inf
16.79/16.89 o 8
16.79/16.89 c *16.9s| 33730 | 8769 |126896 | 3.8 |5679k| 36 | - | 120 | 218 | 120 | 13 | 22 |3577 |1940 | 0.000000e+00 | 8.000000e+00 | Inf
16.88/16.90 o 6
16.88/16.90 c *16.9s| 33731 | 8527 |126896 | 3.8 |5393k| 36 | - | 120 | 218 | 120 | 13 | 22 |3577 |1940 | 0.000000e+00 | 6.000000e+00 | Inf
18.79/18.85 c 18.8s| 40000 | 9065 |144942 | 3.6 |5768k| 36 | 5 | 120 | 231 | 120 | 13 | 22 |4072 |2065 | 0.000000e+00 | 6.000000e+00 | Inf
21.90/21.98 c 22.0s| 50000 | 8712 |171898 | 3.4 |5647k| 36 | 5 | 120 | 251 | 120 | 13 | 22 |4986 |2279 | 0.000000e+00 | 6.000000e+00 | Inf
24.99/25.00 c 25.0s| 60000 | 8770 |200519 | 3.3 |5748k| 36 | 5 | 120 | 278 | 120 | 13 | 22 |5712 |2508 | 0.000000e+00 | 6.000000e+00 | Inf
28.09/28.15 c 28.1s| 70000 | 8984 |229075 | 3.3 |5877k| 36 | 5 | 120 | 294 | 120 | 13 | 22 |6519 |2768 | 0.000000e+00 | 6.000000e+00 | Inf
31.18/31.22 c 31.2s| 80000 | 8943 |255726 | 3.2 |6021k| 36 | 5 | 120 | 258 | 120 | 13 | 22 |7393 |3004 | 0.000000e+00 | 6.000000e+00 | Inf
34.19/34.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.19/34.27 c 34.3s| 90000 | 8970 |283718 | 3.2 |6079k| 36 | 5 | 120 | 274 | 120 | 13 | 22 |8190 |3210 | 0.000000e+00 | 6.000000e+00 | Inf
37.39/37.43 c 37.4s|100000 | 9316 |311611 | 3.1 |6450k| 36 | 5 | 120 | 299 | 120 | 13 | 22 |8889 |3392 | 0.000000e+00 | 6.000000e+00 | Inf
40.48/40.56 c 40.5s|110000 | 8929 |339069 | 3.1 |6243k| 36 | - | 120 | 262 | 120 | 13 | 22 |9711 |3557 | 0.000000e+00 | 6.000000e+00 | Inf
43.58/43.67 c 43.7s|120000 | 8839 |367734 | 3.1 |5928k| 36 | - | 120 | 191 | 120 | 13 | 22 | 10k|3698 | 0.000000e+00 | 6.000000e+00 | Inf
46.58/46.65 c 46.6s|130000 | 8743 |396113 | 3.0 |5998k| 36 | 5 | 120 | 178 | 120 | 13 | 22 | 11k|3851 | 0.000000e+00 | 6.000000e+00 | Inf
49.58/49.66 c 49.7s|140000 | 8518 |423809 | 3.0 |5768k| 36 | 5 | 120 | 189 | 120 | 13 | 22 | 12k|3988 | 0.000000e+00 | 6.000000e+00 | Inf
52.58/52.63 c 52.6s|150000 | 8806 |450581 | 3.0 |6015k| 36 | 5 | 120 | 151 | 120 | 13 | 22 | 12k|4159 | 0.000000e+00 | 6.000000e+00 | Inf
55.57/55.62 c 55.6s|160000 | 9396 |478355 | 3.0 |6519k| 36 | 5 | 120 | 152 | 120 | 13 | 22 | 13k|4296 | 0.000000e+00 | 6.000000e+00 | Inf
57.78/57.89 o 5
57.78/57.89 c *57.9s|167796 | 9178 |499257 | 3.0 |6365k| 36 | - | 120 | 139 | 120 | 13 | 22 | 13k|4407 | 0.000000e+00 | 5.000000e+00 | Inf
58.48/58.54 c 58.5s|170000 | 9165 |505008 | 3.0 |6376k| 36 | - | 120 | 135 | 120 | 13 | 22 | 13k|4439 | 0.000000e+00 | 5.000000e+00 | Inf
61.27/61.37 c 61.4s|180000 | 8673 |530795 | 2.9 |6065k| 36 | - | 120 | 125 | 0 | 0 | 22 | 14k|4607 | 0.000000e+00 | 5.000000e+00 | Inf
64.18/64.28 c 64.3s|190000 | 8465 |557889 | 2.9 |5815k| 36 | 5 | 120 | 119 | 120 | 13 | 22 | 15k|4817 | 0.000000e+00 | 5.000000e+00 | Inf
67.08/67.11 c 67.1s|200000 | 8357 |582776 | 2.9 |5788k| 36 | 5 | 120 | 106 | 120 | 13 | 22 | 15k|5015 | 0.000000e+00 | 5.000000e+00 | Inf
70.07/70.18 c 70.2s|210000 | 9821 |612777 | 2.9 |6336k| 36 | 5 | 120 | 105 | 120 | 13 | 22 | 16k|5191 | 0.000000e+00 | 5.000000e+00 | Inf
73.08/73.13 c 73.1s|220000 | 10893 |641655 | 2.9 |7069k| 36 | 5 | 120 | 113 | 120 | 13 | 22 | 17k|5358 | 0.000000e+00 | 5.000000e+00 | Inf
76.07/76.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.07/76.16 c 76.1s|230000 | 11990 |671269 | 2.9 |7785k| 36 | - | 120 | 111 | 120 | 13 | 22 | 17k|5539 | 0.000000e+00 | 5.000000e+00 | Inf
78.98/79.05 c 79.0s|240000 | 12311 |699299 | 2.9 |8163k| 36 | 5 | 120 | 125 | 120 | 13 | 22 | 18k|5678 | 0.000000e+00 | 5.000000e+00 | Inf
81.87/81.90 c 81.9s|250000 | 12554 |726280 | 2.9 |8478k| 36 | - | 120 | 108 | 120 | 13 | 22 | 19k|5818 | 0.000000e+00 | 5.000000e+00 | Inf
84.67/84.79 c 84.8s|260000 | 12502 |753394 | 2.9 |8601k| 36 | 5 | 120 | 102 | 120 | 13 | 22 | 19k|5954 | 0.000000e+00 | 5.000000e+00 | Inf
87.67/87.76 c 87.7s|270000 | 13288 |781758 | 2.9 |9177k| 36 | 5 | 120 | 120 | 120 | 13 | 22 | 20k|6082 | 0.000000e+00 | 5.000000e+00 | Inf
90.57/90.64 c 90.6s|280000 | 13710 |808917 | 2.9 |9598k| 36 | - | 120 | 127 | 120 | 13 | 22 | 21k|6229 | 0.000000e+00 | 5.000000e+00 | Inf
93.37/93.48 c 93.5s|290000 | 13368 |835260 | 2.9 |9531k| 36 | - | 120 | 101 | 120 | 13 | 22 | 21k|6389 | 0.000000e+00 | 5.000000e+00 | Inf
96.37/96.43 c 96.4s|300000 | 13640 |863426 | 2.9 |9791k| 36 | 5 | 120 | 117 | 120 | 13 | 22 | 22k|6533 | 0.000000e+00 | 5.000000e+00 | Inf
99.37/99.44 c 99.4s|310000 | 14824 |893238 | 2.9 | 10M| 36 | 5 | 120 | 118 | 120 | 13 | 22 | 23k|6679 | 0.000000e+00 | 5.000000e+00 | Inf
102.27/102.39 c 102s|320000 | 15736 |921308 | 2.9 | 11M| 36 | - | 120 | 119 | 120 | 13 | 22 | 24k|6841 | 0.000000e+00 | 5.000000e+00 | Inf
105.16/105.27 c 105s|330000 | 16042 |948545 | 2.9 | 11M| 36 | 5 | 120 | 104 | 120 | 13 | 22 | 24k|6974 | 0.000000e+00 | 5.000000e+00 | Inf
108.06/108.16 c 108s|340000 | 16305 |975446 | 2.9 | 11M| 36 | - | 120 | 102 | 120 | 13 | 22 | 25k|7118 | 0.000000e+00 | 5.000000e+00 | Inf
110.97/111.01 c 111s|350000 | 16411 | 1001k| 2.9 | 12M| 36 | - | 120 | 106 | 120 | 13 | 22 | 26k|7252 | 0.000000e+00 | 5.000000e+00 | Inf
113.77/113.81 c 114s|360000 | 16077 | 1027k| 2.9 | 12M| 36 | - | 120 | 109 | 120 | 13 | 22 | 27k|7378 | 0.000000e+00 | 5.000000e+00 | Inf
116.57/116.65 c 117s|370000 | 15870 | 1052k| 2.8 | 12M| 36 | - | 120 | 107 | 120 | 13 | 22 | 28k|7499 | 0.000000e+00 | 5.000000e+00 | Inf
119.36/119.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
119.36/119.50 c 119s|380000 | 15800 | 1079k| 2.8 | 12M| 36 | 5 | 120 | 114 | 120 | 13 | 22 | 28k|7638 | 0.000000e+00 | 5.000000e+00 | Inf
122.26/122.34 c 122s|390000 | 15057 | 1104k| 2.8 | 11M| 36 | - | 120 | 110 | 120 | 13 | 22 | 29k|7774 | 0.000000e+00 | 5.000000e+00 | Inf
125.15/125.20 c 125s|400000 | 14508 | 1130k| 2.8 | 11M| 36 | - | 120 | 106 | 120 | 13 | 22 | 30k|7912 | 0.000000e+00 | 5.000000e+00 | Inf
127.96/128.07 c 128s|410000 | 14300 | 1157k| 2.8 | 11M| 36 | 5 | 120 | 103 | 120 | 13 | 22 | 31k|8053 | 0.000000e+00 | 5.000000e+00 | Inf
130.86/130.99 c 131s|420000 | 14573 | 1186k| 2.8 | 11M| 36 | - | 120 | 112 | 120 | 13 | 22 | 31k|8179 | 0.000000e+00 | 5.000000e+00 | Inf
133.76/133.87 c 134s|430000 | 14054 | 1212k| 2.8 | 11M| 37 | - | 120 | 106 | 0 | 0 | 22 | 32k|8340 | 0.000000e+00 | 5.000000e+00 | Inf
136.76/136.80 c 137s|440000 | 14203 | 1240k| 2.8 | 11M| 37 | - | 120 | 110 | 120 | 13 | 22 | 33k|8491 | 0.000000e+00 | 5.000000e+00 | Inf
139.66/139.75 c 140s|450000 | 14498 | 1268k| 2.8 | 11M| 37 | - | 120 | 105 | 120 | 13 | 22 | 33k|8639 | 0.000000e+00 | 5.000000e+00 | Inf
142.55/142.68 c 143s|460000 | 14739 | 1296k| 2.8 | 12M| 37 | 5 | 120 | 118 | 120 | 13 | 22 | 34k|8791 | 0.000000e+00 | 5.000000e+00 | Inf
145.55/145.66 c 146s|470000 | 15389 | 1325k| 2.8 | 12M| 37 | 5 | 120 | 94 | 120 | 13 | 22 | 35k|8951 | 0.000000e+00 | 5.000000e+00 | Inf
148.55/148.61 c 149s|480000 | 15671 | 1353k| 2.8 | 12M| 37 | 5 | 120 | 89 | 120 | 13 | 22 | 36k|9093 | 0.000000e+00 | 5.000000e+00 | Inf
151.46/151.53 c 152s|490000 | 16032 | 1381k| 2.8 | 13M| 37 | 5 | 120 | 108 | 120 | 13 | 22 | 36k|9220 | 0.000000e+00 | 5.000000e+00 | Inf
154.35/154.45 c 154s|500000 | 16694 | 1408k| 2.8 | 13M| 37 | - | 120 | 101 | 120 | 13 | 22 | 37k|9385 | 0.000000e+00 | 5.000000e+00 | Inf
157.26/157.32 c 157s|510000 | 16426 | 1434k| 2.8 | 13M| 37 | 5 | 120 | 81 | 120 | 13 | 22 | 38k|9555 | 0.000000e+00 | 5.000000e+00 | Inf
160.15/160.26 c 160s|520000 | 16027 | 1461k| 2.8 | 13M| 37 | 5 | 120 | 80 | 120 | 13 | 22 | 38k|9684 | 0.000000e+00 | 5.000000e+00 | Inf
163.05/163.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
163.05/163.16 c 163s|530000 | 15410 | 1489k| 2.8 | 13M| 37 | - | 120 | 84 | 120 | 13 | 22 | 39k|9810 | 0.000000e+00 | 5.000000e+00 | Inf
165.95/166.05 c 166s|540000 | 14345 | 1514k| 2.8 | 12M| 37 | - | 120 | 74 | 120 | 13 | 22 | 40k|9946 | 0.000000e+00 | 5.000000e+00 | Inf
167.24/167.31 o 4
167.24/167.31 c * 167s|544399 | 13863 | 1526k| 2.8 | 11M| 37 | - | 120 | 85 | 120 | 13 | 22 | 40k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
168.85/168.92 c 169s|550000 | 13722 | 1542k| 2.8 | 11M| 37 | - | 120 | 91 | 120 | 13 | 22 | 40k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
173.35/173.42 c 173s|560000 | 12959 | 1568k| 2.8 | 10M| 37 | - | 120 | 82 | 0 | 0 | 22 | 41k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
177.34/177.46 c 177s|570000 | 12317 | 1594k| 2.8 | 10M| 37 | 5 | 120 | 68 | 120 | 13 | 22 | 42k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
180.15/180.21 c 180s|580000 | 12776 | 1622k| 2.8 | 10M| 37 | 5 | 120 | 124 | 120 | 13 | 22 | 43k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
182.84/182.91 c 183s|590000 | 12304 | 1649k| 2.8 | 10M| 37 | 5 | 120 | 88 | 120 | 13 | 22 | 43k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
185.54/185.66 c 186s|600000 | 11799 | 1675k| 2.8 |9993k| 37 | 5 | 120 | 90 | 120 | 13 | 22 | 44k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
188.34/188.40 c 188s|610000 | 11468 | 1703k| 2.8 |9696k| 37 | - | 120 | 93 | 120 | 13 | 22 | 45k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
191.05/191.10 c 191s|620000 | 10817 | 1729k| 2.8 |9123k| 37 | 5 | 120 | 94 | 120 | 13 | 22 | 45k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
193.74/193.84 c 194s|630000 | 10213 | 1756k| 2.8 |8585k| 37 | - | 120 | 105 | 120 | 13 | 22 | 46k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
196.54/196.62 c 197s|640000 | 10625 | 1784k| 2.8 |8805k| 37 | - | 120 | 120 | 120 | 13 | 22 | 47k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
199.24/199.34 c 199s|650000 | 10379 | 1812k| 2.8 |8775k| 37 | 5 | 120 | 125 | 120 | 13 | 22 | 47k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
201.94/202.08 c 202s|660000 | 10699 | 1839k| 2.8 |9004k| 37 | 5 | 120 | 140 | 120 | 13 | 22 | 48k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
204.74/204.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
204.74/204.80 c 205s|670000 | 10139 | 1865k| 2.8 |8643k| 37 | - | 120 | 125 | 120 | 13 | 22 | 49k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
207.43/207.54 c 208s|680000 | 10392 | 1893k| 2.8 |8672k| 37 | - | 120 | 136 | 120 | 13 | 22 | 49k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
210.14/210.24 c 210s|690000 | 10478 | 1919k| 2.8 |8861k| 37 | - | 120 | 138 | 120 | 13 | 22 | 50k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
212.84/212.90 c 213s|700000 | 10031 | 1946k| 2.8 |8529k| 37 | - | 120 | 116 | 120 | 13 | 22 | 51k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
215.54/215.62 c 216s|710000 | 9862 | 1973k| 2.8 |8368k| 37 | - | 120 | 136 | 120 | 13 | 22 | 51k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
218.24/218.35 c 218s|720000 | 9656 | 2000k| 2.8 |8059k| 37 | - | 120 | 122 | 120 | 13 | 22 | 52k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
220.95/221.05 c 221s|730000 | 9305 | 2026k| 2.8 |7778k| 37 | - | 120 | 123 | 120 | 13 | 22 | 53k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
223.64/223.79 c 224s|740000 | 9466 | 2053k| 2.8 |7899k| 37 | - | 120 | 133 | 0 | 0 | 22 | 53k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
226.34/226.48 c 226s|750000 | 8902 | 2080k| 2.8 |7293k| 37 | 5 | 120 | 108 | 120 | 13 | 22 | 54k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
229.13/229.22 c 229s|760000 | 8539 | 2106k| 2.8 |6772k| 37 | - | 120 | 114 | 120 | 13 | 22 | 55k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
231.94/232.03 c 232s|770000 | 9560 | 2134k| 2.8 |7308k| 37 | 5 | 120 | 112 | 120 | 13 | 22 | 55k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
234.63/234.73 c 235s|780000 | 9754 | 2162k| 2.8 |7580k| 37 | 5 | 120 | 113 | 120 | 13 | 22 | 56k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
237.33/237.48 c 237s|790000 | 9461 | 2188k| 2.8 |7443k| 37 | 5 | 120 | 116 | 120 | 13 | 22 | 57k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
240.13/240.26 c 240s|800000 | 10639 | 2216k| 2.8 |8191k| 37 | - | 120 | 121 | 120 | 13 | 22 | 58k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
242.83/242.99 c 243s|810000 | 11325 | 2242k| 2.8 |8715k| 37 | - | 120 | 125 | 0 | 0 | 22 | 58k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
245.63/245.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
245.63/245.72 c 246s|820000 | 11869 | 2269k| 2.8 |9182k| 37 | 5 | 120 | 122 | 120 | 13 | 22 | 59k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
248.33/248.42 c 248s|830000 | 11925 | 2294k| 2.8 |9370k| 37 | - | 120 | 120 | 120 | 13 | 22 | 60k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
251.03/251.10 c 251s|840000 | 11465 | 2320k| 2.8 |9235k| 37 | - | 120 | 113 | 120 | 13 | 22 | 60k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
253.62/253.79 c 254s|850000 | 10856 | 2345k| 2.8 |8971k| 37 | 5 | 120 | 131 | 120 | 13 | 22 | 61k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
256.52/256.66 c 257s|860000 | 12096 | 2373k| 2.8 |9590k| 37 | - | 120 | 120 | 120 | 13 | 22 | 62k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
259.33/259.49 c 259s|870000 | 13333 | 2402k| 2.8 | 10M| 37 | - | 120 | 102 | 120 | 13 | 22 | 62k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
262.12/262.22 c 262s|880000 | 13796 | 2428k| 2.8 | 10M| 37 | - | 120 | 92 | 120 | 13 | 22 | 63k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
264.83/264.96 c 265s|890000 | 14418 | 2455k| 2.8 | 11M| 37 | 5 | 120 | 113 | 120 | 13 | 22 | 64k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
267.52/267.67 c 268s|900000 | 15240 | 2482k| 2.8 | 11M| 37 | 5 | 120 | 127 | 120 | 13 | 22 | 64k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
270.32/270.41 c 270s|910000 | 15780 | 2509k| 2.8 | 12M| 37 | - | 120 | 136 | 120 | 13 | 22 | 65k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
272.92/273.09 c 273s|920000 | 15972 | 2535k| 2.8 | 12M| 37 | - | 120 | 120 | 120 | 13 | 22 | 66k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
275.63/275.77 c 276s|930000 | 15885 | 2561k| 2.8 | 12M| 37 | 5 | 120 | 108 | 120 | 13 | 22 | 66k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
278.32/278.46 c 278s|940000 | 16082 | 2587k| 2.8 | 12M| 37 | - | 120 | 120 | 120 | 13 | 22 | 67k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
281.02/281.17 c 281s|950000 | 16215 | 2613k| 2.8 | 13M| 37 | - | 120 | 132 | 120 | 13 | 22 | 68k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
283.82/283.96 c 284s|960000 | 16659 | 2639k| 2.7 | 13M| 37 | 5 | 120 | 125 | 120 | 13 | 22 | 69k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
286.52/286.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
286.52/286.68 c 287s|970000 | 16673 | 2664k| 2.7 | 13M| 37 | 5 | 120 | 134 | 120 | 13 | 22 | 70k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
289.23/289.32 c 289s|980000 | 16849 | 2689k| 2.7 | 13M| 37 | 5 | 120 | 140 | 120 | 13 | 22 | 70k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
291.92/292.05 c 292s|990000 | 17070 | 2715k| 2.7 | 14M| 37 | - | 120 | 126 | 120 | 13 | 22 | 71k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
294.63/294.73 c 295s| 1000k| 16582 | 2741k| 2.7 | 14M| 37 | 5 | 120 | 121 | 120 | 13 | 22 | 72k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
297.22/297.38 c 297s| 1010k| 16232 | 2765k| 2.7 | 13M| 37 | 5 | 120 | 154 | 120 | 13 | 22 | 72k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
299.91/300.08 c 300s| 1020k| 15716 | 2790k| 2.7 | 13M| 37 | 5 | 120 | 142 | 120 | 13 | 22 | 73k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
302.72/302.80 c 303s| 1030k| 15321 | 2816k| 2.7 | 13M| 37 | 5 | 120 | 124 | 120 | 13 | 22 | 74k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
305.02/305.16 o 3
305.02/305.16 c * 305s| 1038k| 13965 | 2839k| 2.7 | 11M| 37 | - | 120 | 126 | 120 | 13 | 22 | 75k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
305.41/305.52 c 306s| 1040k| 13891 | 2842k| 2.7 | 11M| 37 | - | 120 | 131 | 120 | 13 | 22 | 75k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
310.02/310.16 c 310s| 1050k| 12977 | 2866k| 2.7 | 10M| 37 | 5 | 120 | 132 | 120 | 13 | 22 | 75k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
312.71/312.84 c 313s| 1060k| 11712 | 2890k| 2.7 |9975k| 37 | - | 120 | 122 | 120 | 13 | 22 | 76k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
316.82/316.94 c 317s| 1070k| 10806 | 2915k| 2.7 |9059k| 37 | 5 | 120 | 148 | 120 | 13 | 22 | 77k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
319.51/319.65 c 320s| 1080k| 11734 | 2943k| 2.7 |9675k| 37 | - | 120 | 143 | 120 | 13 | 22 | 77k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
322.12/322.28 c 322s| 1090k| 11676 | 2970k| 2.7 |9780k| 37 | 5 | 120 | 133 | 120 | 13 | 22 | 78k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
324.81/324.90 c 325s| 1100k| 11486 | 2997k| 2.7 |9719k| 37 | 5 | 120 | 157 | 120 | 13 | 22 | 78k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
327.51/327.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
327.51/327.61 c 328s| 1110k| 11587 | 3026k| 2.7 |9897k| 37 | - | 120 | 138 | 120 | 13 | 22 | 79k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
330.11/330.26 c 330s| 1120k| 10620 | 3053k| 2.7 |9097k| 37 | 5 | 120 | 136 | 120 | 13 | 22 | 79k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
332.80/332.91 c 333s| 1130k| 9919 | 3077k| 2.7 |8398k| 37 | - | 120 | 155 | 120 | 13 | 22 | 80k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
335.42/335.54 c 336s| 1140k| 8983 | 3102k| 2.7 |7329k| 37 | 5 | 120 | 159 | 120 | 13 | 22 | 81k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
338.21/338.31 c 338s| 1150k| 8521 | 3128k| 2.7 |6312k| 37 | 5 | 120 | 153 | 120 | 13 | 22 | 81k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
340.81/340.98 c 341s| 1160k| 8535 | 3155k| 2.7 |6391k| 37 | 5 | 120 | 211 | 120 | 13 | 22 | 82k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
343.51/343.61 c 344s| 1170k| 8539 | 3181k| 2.7 |6503k| 37 | 5 | 120 | 221 | 120 | 13 | 22 | 83k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
346.11/346.29 c 346s| 1180k| 8139 | 3206k| 2.7 |6003k| 37 | - | 120 | 197 | 120 | 13 | 22 | 83k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
348.90/349.00 c 349s| 1190k| 8167 | 3232k| 2.7 |5734k| 37 | 5 | 120 | 183 | 120 | 13 | 22 | 84k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
351.50/351.69 c 352s| 1200k| 8164 | 3260k| 2.7 |5719k| 37 | - | 120 | 213 | 120 | 13 | 22 | 85k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
354.20/354.31 c 354s| 1210k| 8035 | 3285k| 2.7 |5690k| 37 | 5 | 120 | 191 | 120 | 13 | 22 | 85k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
356.80/356.98 c 357s| 1220k| 7940 | 3310k| 2.7 |5380k| 37 | - | 120 | 185 | 120 | 13 | 22 | 86k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
359.51/359.70 c 360s| 1230k| 8584 | 3336k| 2.7 |5641k| 37 | 5 | 120 | 161 | 120 | 13 | 22 | 86k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
362.30/362.42 c 362s| 1240k| 9366 | 3363k| 2.7 |6222k| 37 | 5 | 120 | 164 | 120 | 13 | 22 | 87k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
364.90/365.04 c 365s| 1250k| 9445 | 3389k| 2.7 |6422k| 37 | - | 120 | 160 | 120 | 13 | 22 | 88k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
367.50/367.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
367.50/367.67 c 368s| 1260k| 8881 | 3415k| 2.7 |6221k| 37 | 5 | 120 | 158 | 120 | 13 | 22 | 88k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
370.10/370.29 c 370s| 1270k| 8109 | 3441k| 2.7 |5670k| 37 | 5 | 120 | 146 | 120 | 13 | 22 | 89k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
372.81/372.92 c 373s| 1280k| 7654 | 3466k| 2.7 |5013k| 37 | 5 | 120 | 124 | 120 | 13 | 22 | 89k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
375.50/375.67 c 376s| 1290k| 8283 | 3496k| 2.7 |5509k| 37 | 5 | 120 | 140 | 120 | 13 | 22 | 90k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
378.20/378.38 c 378s| 1300k| 8070 | 3523k| 2.7 |5493k| 37 | - | 120 | 126 | 120 | 13 | 22 | 91k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
381.00/381.11 c 381s| 1310k| 8091 | 3551k| 2.7 |5578k| 37 | 5 | 120 | 139 | 120 | 13 | 22 | 91k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
383.70/383.83 c 384s| 1320k| 8223 | 3579k| 2.7 |5414k| 37 | - | 120 | 147 | 120 | 13 | 22 | 92k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
386.30/386.49 c 386s| 1330k| 7799 | 3605k| 2.7 |5250k| 37 | - | 120 | 140 | 0 | 0 | 22 | 92k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
389.09/389.22 c 389s| 1340k| 7910 | 3632k| 2.7 |5008k| 37 | 5 | 120 | 154 | 120 | 13 | 22 | 93k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
391.79/391.90 c 392s| 1350k| 8818 | 3659k| 2.7 |5646k| 37 | 5 | 120 | 161 | 120 | 13 | 22 | 93k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
394.40/394.54 c 395s| 1360k| 8773 | 3686k| 2.7 |5789k| 37 | - | 120 | 172 | 120 | 13 | 22 | 94k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
397.00/397.19 c 397s| 1370k| 8305 | 3712k| 2.7 |5607k| 37 | 5 | 120 | 157 | 120 | 13 | 22 | 95k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
399.69/399.85 c 400s| 1380k| 7443 | 3738k| 2.7 |4813k| 37 | - | 120 | 161 | 120 | 13 | 22 | 95k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
402.39/402.51 c 403s| 1390k| 7376 | 3764k| 2.7 |4760k| 37 | 5 | 120 | 132 | 120 | 13 | 22 | 96k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
404.99/405.16 c 405s| 1400k| 7324 | 3791k| 2.7 |4754k| 37 | 5 | 120 | 139 | 120 | 13 | 22 | 97k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
407.59/407.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
407.59/407.79 c 408s| 1410k| 7365 | 3815k| 2.7 |4835k| 37 | - | 120 | 148 | 120 | 13 | 22 | 97k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
410.29/410.42 c 410s| 1420k| 7423 | 3841k| 2.7 |4873k| 37 | - | 120 | 162 | 120 | 13 | 22 | 98k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
413.09/413.23 c 413s| 1430k| 8143 | 3868k| 2.7 |5189k| 37 | 5 | 120 | 173 | 120 | 13 | 22 | 98k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
415.79/415.94 c 416s| 1440k| 9009 | 3894k| 2.7 |5817k| 37 | - | 120 | 167 | 120 | 13 | 22 | 99k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
419.69/419.86 c 420s| 1450k| 9214 | 3919k| 2.7 |6116k| 37 | 5 | 120 | 176 | 120 | 13 | 22 | 100k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
422.38/422.52 c 423s| 1460k| 8901 | 3943k| 2.7 |6110k| 37 | - | 120 | 165 | 0 | 0 | 22 | 101k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
424.98/425.19 c 425s| 1470k| 8369 | 3968k| 2.7 |5863k| 37 | - | 120 | 167 | 0 | 0 | 22 | 101k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
427.70/427.88 c 428s| 1480k| 7190 | 3993k| 2.7 |4676k| 37 | 5 | 120 | 142 | 120 | 13 | 22 | 102k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
430.38/430.59 c 431s| 1490k| 8014 | 4020k| 2.7 |5131k| 37 | 5 | 120 | 167 | 120 | 13 | 22 | 103k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
433.19/433.31 c 433s| 1500k| 9057 | 4047k| 2.7 |5806k| 37 | - | 120 | 169 | 120 | 13 | 22 | 103k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
435.78/435.99 c 436s| 1510k| 9545 | 4073k| 2.7 |6236k| 37 | 5 | 120 | 156 | 120 | 13 | 22 | 104k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
438.48/438.66 c 439s| 1520k| 9829 | 4099k| 2.7 |6577k| 37 | - | 120 | 174 | 0 | 0 | 22 | 105k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
441.18/441.37 c 441s| 1530k| 10378 | 4125k| 2.7 |7013k| 37 | - | 120 | 179 | 120 | 13 | 22 | 105k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
443.88/444.05 c 444s| 1540k| 10304 | 4151k| 2.7 |7128k| 39 | - | 120 | 168 | 120 | 13 | 22 | 106k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
446.49/446.69 c 447s| 1550k| 9813 | 4176k| 2.7 |7000k| 39 | - | 120 | 166 | 0 | 0 | 22 | 107k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
449.18/449.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
449.18/449.34 c 449s| 1560k| 9263 | 4201k| 2.7 |6726k| 39 | 5 | 120 | 183 | 120 | 13 | 22 | 107k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
451.88/452.03 c 452s| 1570k| 8440 | 4226k| 2.7 |6142k| 39 | - | 120 | 171 | 0 | 0 | 22 | 108k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
454.48/454.66 c 455s| 1580k| 7681 | 4251k| 2.7 |5448k| 39 | 5 | 120 | 170 | 120 | 13 | 22 | 109k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
457.18/457.37 c 457s| 1590k| 7873 | 4277k| 2.7 |5251k| 39 | - | 120 | 171 | 120 | 13 | 22 | 109k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
459.97/460.10 c 460s| 1600k| 8780 | 4304k| 2.7 |5873k| 39 | 5 | 120 | 144 | 120 | 13 | 22 | 110k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
462.57/462.77 c 463s| 1610k| 9395 | 4330k| 2.7 |6370k| 39 | 5 | 120 | 146 | 120 | 13 | 22 | 110k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
465.27/465.40 c 465s| 1620k| 9463 | 4355k| 2.7 |6575k| 39 | - | 120 | 124 | 120 | 13 | 22 | 111k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
467.88/468.09 c 468s| 1630k| 9736 | 4381k| 2.7 |6859k| 39 | - | 120 | 149 | 0 | 0 | 22 | 112k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
470.58/470.73 c 471s| 1640k| 9646 | 4407k| 2.7 |6935k| 39 | - | 120 | 156 | 120 | 13 | 22 | 112k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
473.17/473.39 c 473s| 1650k| 9788 | 4433k| 2.7 |7111k| 39 | - | 120 | 148 | 120 | 13 | 22 | 113k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
475.87/476.07 c 476s| 1660k| 9310 | 4458k| 2.7 |6934k| 39 | 5 | 120 | 142 | 120 | 13 | 22 | 114k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
478.57/478.74 c 479s| 1670k| 8946 | 4484k| 2.7 |6699k| 39 | - | 120 | 157 | 120 | 13 | 22 | 114k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
481.28/481.42 c 481s| 1680k| 8287 | 4509k| 2.7 |6240k| 39 | 5 | 120 | 142 | 120 | 13 | 22 | 115k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
483.87/484.09 c 484s| 1690k| 7911 | 4535k| 2.7 |5712k| 39 | - | 120 | 132 | 120 | 13 | 22 | 116k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
486.67/486.80 c 487s| 1700k| 8819 | 4563k| 2.7 |6353k| 39 | 5 | 120 | 139 | 120 | 13 | 22 | 116k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
489.28/489.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
489.28/489.50 c 489s| 1710k| 9210 | 4591k| 2.7 |6760k| 39 | - | 120 | 147 | 120 | 13 | 22 | 117k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
491.96/492.16 c 492s| 1720k| 8818 | 4618k| 2.7 |6702k| 39 | - | 120 | 130 | 120 | 13 | 22 | 118k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
494.67/494.87 c 495s| 1730k| 8131 | 4646k| 2.7 |6276k| 39 | 5 | 120 | 119 | 120 | 13 | 22 | 118k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
497.37/497.54 c 498s| 1740k| 7444 | 4673k| 2.7 |5438k| 39 | 5 | 120 | 131 | 120 | 13 | 22 | 119k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
500.16/500.35 c 500s| 1750k| 8705 | 4701k| 2.7 |5855k| 39 | 5 | 120 | 155 | 120 | 13 | 22 | 120k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
502.86/503.02 c 503s| 1760k| 9279 | 4728k| 2.7 |6374k| 39 | - | 120 | 166 | 120 | 13 | 22 | 120k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
505.46/505.65 c 506s| 1770k| 9422 | 4753k| 2.7 |6661k| 39 | 5 | 120 | 161 | 120 | 13 | 22 | 121k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
508.07/508.26 c 508s| 1780k| 9175 | 4778k| 2.7 |6709k| 39 | - | 120 | 168 | 120 | 13 | 22 | 121k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
510.66/510.87 c 511s| 1790k| 8506 | 4803k| 2.7 |6419k| 39 | - | 120 | 161 | 120 | 13 | 22 | 122k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
513.36/513.51 c 514s| 1800k| 7784 | 4828k| 2.7 |5847k| 39 | 5 | 120 | 176 | 120 | 13 | 22 | 123k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
516.06/516.21 c 516s| 1810k| 7233 | 4853k| 2.7 |5049k| 39 | 5 | 120 | 195 | 120 | 13 | 22 | 124k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
518.66/518.87 c 519s| 1820k| 7473 | 4880k| 2.7 |5319k| 39 | - | 120 | 150 | 0 | 0 | 22 | 124k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
521.36/521.53 c 522s| 1830k| 7052 | 4906k| 2.7 |4634k| 39 | - | 120 | 143 | 0 | 0 | 22 | 125k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
524.26/524.43 c 524s| 1840k| 8742 | 4936k| 2.7 |5583k| 39 | 5 | 120 | 113 | 120 | 13 | 22 | 125k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
527.05/527.22 c 527s| 1850k| 9751 | 4964k| 2.7 |6268k| 39 | 5 | 120 | 122 | 120 | 13 | 22 | 126k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
531.17/531.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
531.17/531.37 c 531s| 1860k| 11317 | 4993k| 2.7 |7193k| 39 | - | 120 | 127 | 120 | 13 | 22 | 127k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
533.86/534.08 c 534s| 1870k| 12216 | 5020k| 2.7 |7853k| 39 | 5 | 120 | 140 | 120 | 13 | 22 | 127k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
536.76/536.93 c 537s| 1880k| 13249 | 5049k| 2.7 |8544k| 39 | 5 | 120 | 124 | 120 | 13 | 22 | 128k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
539.55/539.74 c 540s| 1890k| 14125 | 5077k| 2.7 |9196k| 39 | - | 120 | 141 | 120 | 13 | 22 | 129k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
542.26/542.47 c 542s| 1900k| 14725 | 5104k| 2.7 |9716k| 39 | 5 | 120 | 122 | 120 | 13 | 22 | 129k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
545.05/545.21 c 545s| 1910k| 15376 | 5132k| 2.7 | 10M| 39 | 5 | 120 | 151 | 120 | 13 | 22 | 130k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
547.75/547.92 c 548s| 1920k| 15627 | 5158k| 2.7 | 10M| 39 | - | 120 | 140 | 120 | 13 | 22 | 131k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
550.45/550.66 c 551s| 1930k| 16077 | 5186k| 2.7 | 11M| 39 | 5 | 120 | 131 | 120 | 13 | 22 | 131k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
553.25/553.43 c 553s| 1940k| 16075 | 5213k| 2.7 | 11M| 39 | - | 120 | 111 | 120 | 13 | 22 | 132k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
555.95/556.18 c 556s| 1950k| 16271 | 5240k| 2.7 | 11M| 39 | - | 120 | 109 | 120 | 13 | 22 | 133k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
558.75/558.92 c 559s| 1960k| 16420 | 5267k| 2.7 | 11M| 39 | 5 | 120 | 111 | 120 | 13 | 22 | 133k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
561.45/561.63 c 562s| 1970k| 16600 | 5293k| 2.7 | 12M| 39 | 5 | 120 | 109 | 120 | 13 | 22 | 134k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
564.16/564.35 c 564s| 1980k| 16558 | 5320k| 2.7 | 12M| 39 | - | 120 | 136 | 120 | 13 | 22 | 135k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
566.85/567.08 c 567s| 1990k| 16920 | 5348k| 2.7 | 12M| 39 | 5 | 120 | 124 | 120 | 13 | 22 | 135k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
569.55/569.78 c 570s| 2000k| 17214 | 5375k| 2.7 | 12M| 39 | - | 120 | 111 | 120 | 13 | 22 | 136k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
572.34/572.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
572.34/572.50 c 572s| 2010k| 17062 | 5402k| 2.7 | 13M| 39 | 5 | 120 | 105 | 120 | 13 | 22 | 137k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
575.05/575.22 c 575s| 2020k| 17335 | 5429k| 2.7 | 13M| 39 | 5 | 120 | 114 | 120 | 13 | 22 | 137k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
577.74/577.94 c 578s| 2030k| 16864 | 5456k| 2.7 | 13M| 39 | - | 120 | 105 | 120 | 13 | 22 | 138k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
580.45/580.60 c 581s| 2040k| 16657 | 5482k| 2.7 | 13M| 39 | - | 120 | 93 | 120 | 13 | 22 | 139k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
583.14/583.33 c 583s| 2050k| 16301 | 5508k| 2.7 | 13M| 39 | - | 120 | 94 | 120 | 13 | 22 | 139k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
585.84/586.03 c 586s| 2060k| 16068 | 5534k| 2.7 | 13M| 39 | - | 120 | 101 | 120 | 13 | 22 | 140k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
588.54/588.72 c 589s| 2070k| 16167 | 5561k| 2.7 | 13M| 39 | 5 | 120 | 104 | 120 | 13 | 22 | 141k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
591.24/591.40 c 591s| 2080k| 15400 | 5587k| 2.7 | 12M| 39 | - | 120 | 90 | 120 | 13 | 22 | 142k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
593.94/594.13 c 594s| 2090k| 14810 | 5614k| 2.7 | 12M| 39 | 5 | 120 | 107 | 120 | 13 | 22 | 142k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
596.64/596.83 c 597s| 2100k| 14225 | 5640k| 2.7 | 12M| 39 | - | 120 | 96 | 0 | 0 | 22 | 143k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
599.25/599.49 c 599s| 2110k| 13896 | 5667k| 2.7 | 12M| 39 | - | 120 | 98 | 120 | 13 | 22 | 144k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
601.94/602.18 c 602s| 2120k| 13220 | 5693k| 2.7 | 11M| 39 | - | 120 | 99 | 0 | 0 | 22 | 144k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
604.64/604.85 c 605s| 2130k| 12997 | 5719k| 2.7 | 11M| 39 | 5 | 120 | 102 | 120 | 13 | 22 | 145k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
607.34/607.57 c 608s| 2140k| 12373 | 5746k| 2.7 | 11M| 39 | 5 | 120 | 94 | 120 | 13 | 22 | 146k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
610.04/610.26 c 610s| 2150k| 11811 | 5773k| 2.7 | 10M| 39 | - | 120 | 123 | 120 | 13 | 22 | 146k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
612.74/612.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
612.74/612.95 c 613s| 2160k| 11704 | 5799k| 2.7 | 10M| 39 | 5 | 120 | 123 | 120 | 13 | 22 | 147k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
615.44/615.63 c 616s| 2170k| 10881 | 5826k| 2.7 | 10M| 39 | - | 120 | 88 | 120 | 13 | 22 | 148k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
618.14/618.32 c 618s| 2180k| 10040 | 5853k| 2.7 |9267k| 39 | - | 120 | 94 | 120 | 13 | 22 | 148k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
620.84/621.07 c 621s| 2190k| 10184 | 5880k| 2.7 |9359k| 39 | - | 120 | 108 | 0 | 0 | 22 | 149k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
623.63/623.80 c 624s| 2200k| 10103 | 5907k| 2.7 |9411k| 39 | 5 | 120 | 110 | 120 | 13 | 22 | 149k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
626.34/626.51 c 627s| 2210k| 9402 | 5934k| 2.7 |8727k| 39 | - | 120 | 122 | 120 | 13 | 22 | 150k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
628.95/629.19 c 629s| 2220k| 8953 | 5959k| 2.7 |8238k| 39 | 5 | 120 | 95 | 120 | 13 | 22 | 151k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
631.73/631.98 c 632s| 2230k| 9239 | 5988k| 2.7 |8365k| 39 | 5 | 120 | 136 | 120 | 13 | 22 | 151k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
634.54/634.75 c 635s| 2240k| 9275 | 6015k| 2.7 |8557k| 39 | - | 120 | 122 | 120 | 13 | 22 | 152k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
637.34/637.50 c 637s| 2250k| 9348 | 6040k| 2.7 |8714k| 39 | 5 | 120 | 110 | 120 | 13 | 22 | 153k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
640.04/640.22 c 640s| 2260k| 8566 | 6066k| 2.7 |7832k| 39 | - | 120 | 105 | 120 | 13 | 22 | 154k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
642.63/642.87 c 643s| 2270k| 8244 | 6091k| 2.7 |7618k| 39 | 5 | 120 | 118 | 120 | 13 | 22 | 155k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
645.54/645.71 c 646s| 2280k| 9099 | 6119k| 2.7 |7974k| 39 | 5 | 120 | 146 | 120 | 13 | 22 | 155k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
648.23/648.46 c 648s| 2290k| 10591 | 6146k| 2.7 |8886k| 39 | - | 120 | 139 | 0 | 0 | 22 | 156k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
650.94/651.15 c 651s| 2300k| 11580 | 6172k| 2.7 |9554k| 39 | - | 120 | 137 | 0 | 0 | 22 | 156k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
653.63/653.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
653.63/653.80 c 654s| 2310k| 12523 | 6197k| 2.7 | 10M| 39 | - | 120 | 127 | 120 | 13 | 22 | 157k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
656.23/656.47 c 656s| 2320k| 13458 | 6222k| 2.7 | 10M| 39 | - | 120 | 172 | 120 | 13 | 22 | 158k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
659.03/659.30 c 659s| 2330k| 14881 | 6250k| 2.7 | 11M| 39 | - | 120 | 136 | 120 | 13 | 22 | 158k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
661.83/662.03 c 662s| 2340k| 16246 | 6277k| 2.7 | 12M| 39 | 5 | 120 | 127 | 120 | 13 | 22 | 159k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
664.43/664.70 c 665s| 2350k| 16683 | 6303k| 2.7 | 13M| 39 | - | 120 | 113 | 0 | 0 | 22 | 160k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
667.12/667.30 c 667s| 2360k| 17016 | 6327k| 2.7 | 13M| 39 | - | 120 | 126 | 120 | 13 | 22 | 160k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
669.73/669.98 c 670s| 2370k| 17484 | 6353k| 2.7 | 13M| 39 | 5 | 120 | 120 | 120 | 13 | 22 | 161k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
672.43/672.66 c 673s| 2380k| 18062 | 6379k| 2.7 | 14M| 39 | - | 120 | 127 | 120 | 13 | 22 | 162k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
675.03/675.29 c 675s| 2390k| 18246 | 6404k| 2.7 | 14M| 39 | - | 120 | 132 | 0 | 0 | 22 | 162k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
677.72/677.96 c 678s| 2400k| 18238 | 6428k| 2.7 | 14M| 39 | 5 | 120 | 130 | 120 | 13 | 22 | 163k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
680.32/680.59 c 681s| 2410k| 18238 | 6453k| 2.7 | 15M| 39 | - | 120 | 140 | 120 | 13 | 22 | 164k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
683.02/683.25 c 683s| 2420k| 18800 | 6478k| 2.7 | 15M| 39 | - | 120 | 180 | 120 | 13 | 22 | 165k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
685.62/685.88 c 686s| 2430k| 18701 | 6503k| 2.7 | 15M| 39 | - | 120 | 125 | 120 | 13 | 22 | 165k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
688.32/688.55 c 689s| 2440k| 19533 | 6529k| 2.7 | 16M| 39 | 5 | 120 | 140 | 120 | 13 | 22 | 166k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
691.02/691.27 c 691s| 2450k| 20489 | 6556k| 2.7 | 16M| 39 | 5 | 120 | 156 | 120 | 13 | 22 | 166k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
693.71/693.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.71/693.91 c 694s| 2460k| 21049 | 6582k| 2.7 | 17M| 39 | - | 120 | 140 | 120 | 13 | 22 | 167k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
696.32/696.55 c 697s| 2470k| 21335 | 6607k| 2.7 | 17M| 39 | 5 | 120 | 157 | 120 | 13 | 22 | 167k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
698.91/699.16 c 699s| 2480k| 21020 | 6632k| 2.7 | 17M| 39 | 5 | 120 | 131 | 120 | 13 | 22 | 168k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
701.62/701.82 c 702s| 2490k| 21065 | 6657k| 2.7 | 17M| 39 | - | 120 | 158 | 120 | 13 | 22 | 169k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
704.22/704.46 c 704s| 2500k| 21006 | 6681k| 2.7 | 17M| 39 | - | 120 | 135 | 120 | 13 | 22 | 169k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
706.81/707.08 c 707s| 2510k| 20790 | 6705k| 2.7 | 17M| 39 | - | 120 | 136 | 120 | 13 | 22 | 170k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
709.51/709.75 c 710s| 2520k| 20210 | 6729k| 2.7 | 17M| 39 | - | 120 | 125 | 120 | 13 | 22 | 171k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
712.21/712.43 c 712s| 2530k| 19779 | 6755k| 2.7 | 17M| 39 | - | 120 | 143 | 0 | 0 | 22 | 171k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
714.82/715.08 c 715s| 2540k| 20181 | 6781k| 2.7 | 18M| 39 | - | 120 | 142 | 120 | 13 | 22 | 172k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
717.51/717.73 c 718s| 2550k| 19987 | 6806k| 2.7 | 18M| 39 | - | 120 | 133 | 120 | 13 | 22 | 173k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
720.11/720.38 c 720s| 2560k| 19711 | 6831k| 2.7 | 18M| 39 | 5 | 120 | 143 | 120 | 13 | 22 | 173k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
722.81/723.00 c 723s| 2570k| 19700 | 6855k| 2.7 | 18M| 39 | - | 120 | 133 | 120 | 13 | 22 | 174k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
725.41/725.66 c 726s| 2580k| 18615 | 6880k| 2.7 | 17M| 39 | 5 | 120 | 130 | 120 | 13 | 22 | 175k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
728.10/728.30 c 728s| 2590k| 17687 | 6904k| 2.7 | 17M| 39 | - | 120 | 119 | 120 | 13 | 22 | 175k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
730.71/730.95 c 731s| 2600k| 16935 | 6929k| 2.7 | 16M| 39 | - | 120 | 120 | 120 | 13 | 22 | 176k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
733.41/733.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
733.41/733.63 c 734s| 2610k| 16382 | 6955k| 2.7 | 16M| 39 | - | 120 | 117 | 120 | 13 | 22 | 177k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
736.10/736.31 c 736s| 2620k| 14890 | 6979k| 2.7 | 15M| 39 | - | 120 | 127 | 0 | 0 | 22 | 177k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
738.70/738.97 c 739s| 2630k| 13549 | 7003k| 2.7 | 14M| 39 | 5 | 120 | 124 | 120 | 13 | 22 | 178k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
741.41/741.63 c 742s| 2640k| 12874 | 7027k| 2.7 | 13M| 39 | - | 120 | 146 | 120 | 13 | 22 | 179k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
744.11/744.36 c 744s| 2650k| 11645 | 7053k| 2.7 | 12M| 39 | - | 120 | 147 | 120 | 13 | 22 | 179k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
746.90/747.13 c 747s| 2660k| 10380 | 7078k| 2.7 | 11M| 39 | 5 | 120 | 130 | 120 | 13 | 22 | 180k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
749.60/749.89 c 750s| 2670k| 11223 | 7106k| 2.7 | 12M| 39 | 5 | 120 | 119 | 120 | 13 | 22 | 181k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
752.31/752.56 c 753s| 2680k| 11854 | 7132k| 2.7 | 12M| 39 | 5 | 120 | 126 | 120 | 13 | 22 | 181k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
754.91/755.19 c 755s| 2690k| 11772 | 7157k| 2.7 | 12M| 39 | 5 | 120 | 108 | 120 | 13 | 22 | 182k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
757.61/757.85 c 758s| 2700k| 11946 | 7183k| 2.7 | 12M| 39 | 5 | 120 | 115 | 120 | 13 | 22 | 183k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
760.30/760.56 c 761s| 2710k| 12844 | 7210k| 2.7 | 13M| 39 | 5 | 120 | 131 | 120 | 13 | 22 | 183k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
762.90/763.18 c 763s| 2720k| 13314 | 7234k| 2.7 | 13M| 39 | - | 120 | 122 | 120 | 13 | 22 | 184k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
765.50/765.79 c 766s| 2730k| 13710 | 7259k| 2.7 | 14M| 39 | - | 120 | 114 | 0 | 0 | 22 | 184k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
768.20/768.41 c 768s| 2740k| 14349 | 7285k| 2.7 | 14M| 39 | - | 120 | 104 | 120 | 13 | 22 | 185k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
770.91/771.19 c 771s| 2750k| 15557 | 7313k| 2.7 | 15M| 39 | - | 120 | 142 | 0 | 0 | 22 | 185k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
773.60/773.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
773.60/773.90 c 774s| 2760k| 16333 | 7340k| 2.7 | 16M| 39 | - | 120 | 139 | 120 | 13 | 22 | 186k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
776.30/776.52 c 777s| 2770k| 16810 | 7366k| 2.7 | 16M| 39 | 5 | 120 | 141 | 120 | 13 | 22 | 187k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
778.90/779.15 c 779s| 2780k| 16941 | 7391k| 2.7 | 16M| 39 | 5 | 120 | 138 | 120 | 13 | 22 | 187k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
781.60/781.83 c 782s| 2790k| 17031 | 7416k| 2.7 | 17M| 39 | 5 | 120 | 126 | 120 | 13 | 22 | 188k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
784.29/784.50 c 784s| 2800k| 17154 | 7441k| 2.7 | 17M| 39 | - | 120 | 120 | 120 | 13 | 22 | 188k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
786.99/787.20 c 787s| 2810k| 17402 | 7469k| 2.7 | 17M| 39 | 5 | 120 | 128 | 120 | 13 | 22 | 189k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
789.69/789.91 c 790s| 2820k| 17643 | 7495k| 2.7 | 17M| 39 | - | 120 | 133 | 120 | 13 | 22 | 189k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
792.29/792.53 c 793s| 2830k| 18213 | 7520k| 2.7 | 18M| 39 | - | 120 | 135 | 120 | 13 | 22 | 190k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
794.89/795.19 c 795s| 2840k| 17765 | 7545k| 2.7 | 18M| 39 | - | 120 | 127 | 120 | 13 | 22 | 191k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
797.60/797.84 c 798s| 2850k| 17218 | 7570k| 2.7 | 18M| 39 | 5 | 120 | 126 | 120 | 13 | 22 | 191k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
800.29/800.57 c 801s| 2860k| 16388 | 7594k| 2.7 | 17M| 39 | 5 | 120 | 139 | 120 | 13 | 22 | 192k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
802.99/803.22 c 803s| 2870k| 15971 | 7620k| 2.7 | 17M| 39 | 5 | 120 | 141 | 120 | 13 | 22 | 193k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
805.69/805.93 c 806s| 2880k| 15073 | 7645k| 2.7 | 16M| 39 | - | 120 | 135 | 120 | 13 | 22 | 193k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
808.39/808.64 c 809s| 2890k| 13750 | 7669k| 2.7 | 16M| 39 | - | 120 | 135 | 120 | 13 | 22 | 194k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
811.19/811.40 c 811s| 2900k| 11934 | 7694k| 2.7 | 14M| 39 | - | 120 | 164 | 120 | 13 | 22 | 195k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
813.79/814.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
813.79/814.09 c 814s| 2910k| 11441 | 7719k| 2.7 | 13M| 39 | - | 120 | 160 | 120 | 13 | 22 | 195k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
816.49/816.71 c 817s| 2920k| 11631 | 7746k| 2.7 | 13M| 39 | 5 | 120 | 164 | 120 | 13 | 22 | 196k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
819.20/819.44 c 819s| 2930k| 11438 | 7774k| 2.7 | 13M| 39 | - | 120 | 175 | 120 | 13 | 22 | 197k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
822.08/822.35 c 822s| 2940k| 13710 | 7802k| 2.7 | 14M| 39 | 5 | 120 | 190 | 120 | 13 | 22 | 197k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
824.88/825.18 c 825s| 2950k| 15555 | 7830k| 2.7 | 15M| 39 | 5 | 120 | 162 | 120 | 13 | 22 | 198k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
827.69/827.99 c 828s| 2960k| 17152 | 7858k| 2.7 | 16M| 39 | - | 120 | 176 | 120 | 13 | 22 | 198k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
830.48/830.73 c 831s| 2970k| 18844 | 7885k| 2.7 | 17M| 39 | - | 120 | 168 | 120 | 13 | 22 | 199k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
833.18/833.44 c 833s| 2980k| 19882 | 7912k| 2.7 | 18M| 39 | - | 120 | 157 | 120 | 13 | 22 | 200k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
835.88/836.16 c 836s| 2990k| 20988 | 7939k| 2.7 | 19M| 39 | - | 120 | 173 | 120 | 13 | 22 | 200k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
838.68/838.94 c 839s| 3000k| 22478 | 7966k| 2.7 | 20M| 39 | - | 120 | 169 | 120 | 13 | 22 | 201k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
841.38/841.61 c 842s| 3010k| 23776 | 7994k| 2.7 | 20M| 39 | 5 | 120 | 170 | 120 | 13 | 22 | 201k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
843.98/844.27 c 844s| 3020k| 24738 | 8020k| 2.7 | 21M| 39 | 5 | 120 | 162 | 120 | 13 | 22 | 202k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
846.69/846.91 c 847s| 3030k| 25466 | 8045k| 2.7 | 22M| 39 | 5 | 120 | 169 | 120 | 13 | 22 | 202k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
849.28/849.59 c 850s| 3040k| 26231 | 8071k| 2.7 | 22M| 39 | 5 | 120 | 163 | 120 | 13 | 22 | 203k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
851.98/852.22 c 852s| 3050k| 26630 | 8097k| 2.7 | 23M| 39 | 5 | 120 | 157 | 120 | 13 | 22 | 204k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
854.67/854.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
854.67/854.90 c 855s| 3060k| 27525 | 8123k| 2.7 | 23M| 39 | 5 | 120 | 174 | 120 | 13 | 22 | 204k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
857.27/857.59 c 858s| 3070k| 28059 | 8149k| 2.7 | 24M| 39 | 5 | 120 | 177 | 120 | 13 | 22 | 205k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
859.98/860.24 c 860s| 3080k| 28483 | 8175k| 2.7 | 24M| 39 | - | 120 | 169 | 120 | 13 | 22 | 205k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
862.68/862.92 c 863s| 3090k| 29256 | 8201k| 2.7 | 25M| 39 | - | 120 | 166 | 120 | 13 | 22 | 206k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
865.27/865.58 c 866s| 3100k| 29857 | 8228k| 2.7 | 25M| 39 | - | 120 | 172 | 120 | 13 | 22 | 206k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
867.97/868.28 c 868s| 3110k| 31015 | 8257k| 2.7 | 26M| 39 | 5 | 120 | 175 | 120 | 13 | 22 | 207k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
870.68/870.93 c 871s| 3120k| 31566 | 8284k| 2.7 | 27M| 39 | 5 | 120 | 167 | 120 | 13 | 22 | 207k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
873.37/873.62 c 874s| 3130k| 32152 | 8310k| 2.7 | 27M| 39 | - | 120 | 178 | 120 | 13 | 22 | 208k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
875.97/876.28 c 876s| 3140k| 32611 | 8335k| 2.7 | 28M| 39 | 5 | 120 | 185 | 120 | 13 | 22 | 209k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
878.68/878.95 c 879s| 3150k| 33283 | 8362k| 2.7 | 28M| 39 | - | 120 | 157 | 120 | 13 | 22 | 209k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
881.27/881.57 c 882s| 3160k| 33670 | 8387k| 2.7 | 29M| 39 | - | 120 | 181 | 120 | 13 | 22 | 210k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
883.97/884.21 c 884s| 3170k| 34146 | 8412k| 2.7 | 29M| 39 | - | 120 | 157 | 120 | 13 | 22 | 210k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
886.57/886.87 c 887s| 3180k| 34142 | 8438k| 2.7 | 29M| 39 | - | 120 | 161 | 120 | 13 | 22 | 211k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
889.17/889.49 c 889s| 3190k| 34676 | 8463k| 2.7 | 30M| 39 | - | 120 | 166 | 120 | 13 | 22 | 211k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
891.87/892.16 c 892s| 3200k| 34951 | 8488k| 2.7 | 30M| 39 | 5 | 120 | 171 | 120 | 13 | 22 | 212k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
894.46/894.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
894.46/894.78 c 895s| 3210k| 35270 | 8514k| 2.7 | 30M| 39 | - | 120 | 176 | 120 | 13 | 22 | 212k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
897.16/897.44 c 897s| 3220k| 35122 | 8539k| 2.7 | 31M| 39 | 5 | 120 | 171 | 120 | 13 | 22 | 213k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
899.77/900.09 c 900s| 3230k| 35257 | 8565k| 2.7 | 31M| 39 | 5 | 120 | 174 | 120 | 13 | 22 | 214k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
902.47/902.73 c 903s| 3240k| 35187 | 8590k| 2.7 | 31M| 39 | 5 | 120 | 169 | 120 | 13 | 22 | 214k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
905.16/905.42 c 905s| 3250k| 34987 | 8615k| 2.7 | 31M| 39 | 5 | 120 | 165 | 120 | 13 | 22 | 215k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
907.76/908.08 c 908s| 3260k| 34988 | 8640k| 2.7 | 31M| 39 | 5 | 120 | 172 | 120 | 13 | 22 | 216k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
910.47/910.72 c 911s| 3270k| 34999 | 8665k| 2.6 | 32M| 40 | - | 120 | 185 | 0 | 0 | 22 | 216k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
912.97/913.29 c 913s| 3280k| 35224 | 8690k| 2.6 | 32M| 40 | - | 120 | 172 | 120 | 13 | 22 | 217k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
915.66/915.94 c 916s| 3290k| 34776 | 8714k| 2.6 | 32M| 40 | 5 | 120 | 185 | 120 | 13 | 22 | 217k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
918.27/918.56 c 919s| 3300k| 34660 | 8739k| 2.6 | 32M| 40 | 5 | 120 | 190 | 120 | 13 | 22 | 218k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
920.86/921.18 c 921s| 3310k| 34756 | 8764k| 2.6 | 32M| 40 | 5 | 120 | 188 | 120 | 13 | 22 | 218k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
923.46/923.79 c 924s| 3320k| 34398 | 8788k| 2.6 | 32M| 40 | - | 120 | 172 | 120 | 13 | 22 | 219k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
926.16/926.43 c 926s| 3330k| 33844 | 8813k| 2.6 | 32M| 40 | - | 120 | 185 | 0 | 0 | 22 | 219k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
928.86/929.11 c 929s| 3340k| 33924 | 8839k| 2.6 | 32M| 40 | - | 120 | 183 | 120 | 13 | 22 | 220k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
931.47/931.73 c 932s| 3350k| 33792 | 8864k| 2.6 | 32M| 40 | 5 | 120 | 188 | 120 | 13 | 22 | 221k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
934.06/934.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
934.06/934.36 c 934s| 3360k| 33757 | 8889k| 2.6 | 32M| 40 | 5 | 120 | 198 | 120 | 13 | 22 | 221k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
936.66/936.97 c 937s| 3370k| 33433 | 8914k| 2.6 | 32M| 40 | 5 | 120 | 193 | 120 | 13 | 22 | 222k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
939.36/939.63 c 940s| 3380k| 33462 | 8939k| 2.6 | 32M| 40 | - | 120 | 215 | 120 | 13 | 22 | 222k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
941.95/942.27 c 942s| 3390k| 33514 | 8966k| 2.6 | 33M| 40 | 5 | 120 | 183 | 120 | 13 | 22 | 223k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
944.67/944.95 c 945s| 3400k| 33833 | 8991k| 2.6 | 33M| 40 | 5 | 120 | 208 | 120 | 13 | 22 | 223k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
947.26/947.51 c 948s| 3410k| 34104 | 9015k| 2.6 | 33M| 40 | 5 | 120 | 201 | 120 | 13 | 22 | 224k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
949.85/950.14 c 950s| 3420k| 33528 | 9039k| 2.6 | 33M| 40 | - | 120 | 184 | 120 | 13 | 22 | 224k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
952.46/952.74 c 953s| 3430k| 34170 | 9065k| 2.6 | 33M| 40 | - | 120 | 200 | 120 | 13 | 22 | 225k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
954.95/955.26 c 955s| 3440k| 34901 | 9090k| 2.6 | 34M| 40 | 5 | 120 | 209 | 120 | 13 | 22 | 225k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
957.55/957.80 c 958s| 3450k| 34733 | 9115k| 2.6 | 34M| 40 | 5 | 120 | 188 | 120 | 13 | 22 | 225k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
960.15/960.43 c 960s| 3460k| 34385 | 9140k| 2.6 | 34M| 40 | 5 | 120 | 176 | 120 | 13 | 22 | 226k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
962.75/963.06 c 963s| 3470k| 34080 | 9165k| 2.6 | 34M| 40 | 5 | 120 | 174 | 120 | 13 | 22 | 226k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
965.46/965.71 c 966s| 3480k| 34874 | 9192k| 2.6 | 34M| 40 | 5 | 120 | 162 | 120 | 13 | 22 | 227k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
967.95/968.27 c 968s| 3490k| 35238 | 9217k| 2.6 | 35M| 40 | - | 120 | 173 | 120 | 13 | 22 | 227k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
970.55/970.84 c 971s| 3500k| 35079 | 9243k| 2.6 | 35M| 40 | - | 120 | 164 | 120 | 13 | 22 | 228k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
973.15/973.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
973.15/973.49 c 973s| 3510k| 34686 | 9269k| 2.6 | 35M| 40 | 5 | 120 | 177 | 120 | 13 | 22 | 228k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
975.85/976.15 c 976s| 3520k| 33775 | 9294k| 2.6 | 34M| 40 | - | 120 | 167 | 0 | 0 | 22 | 229k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
978.45/978.77 c 979s| 3530k| 33285 | 9320k| 2.6 | 34M| 40 | 5 | 120 | 174 | 120 | 13 | 22 | 229k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
981.15/981.48 c 981s| 3540k| 31917 | 9344k| 2.6 | 33M| 40 | - | 120 | 182 | 120 | 13 | 22 | 230k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
983.84/984.18 c 984s| 3550k| 30870 | 9368k| 2.6 | 33M| 40 | - | 120 | 183 | 120 | 13 | 22 | 230k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
986.55/986.85 c 987s| 3560k| 29916 | 9393k| 2.6 | 32M| 40 | - | 120 | 183 | 120 | 13 | 22 | 231k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
989.24/989.55 c 990s| 3570k| 28749 | 9418k| 2.6 | 31M| 40 | - | 120 | 184 | 120 | 13 | 22 | 231k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
991.95/992.26 c 992s| 3580k| 27669 | 9443k| 2.6 | 31M| 41 | - | 120 | 196 | 120 | 13 | 22 | 232k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
994.64/994.93 c 995s| 3590k| 26845 | 9468k| 2.6 | 30M| 41 | 5 | 120 | 190 | 120 | 13 | 22 | 233k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
997.35/997.62 c 998s| 3600k| 25787 | 9493k| 2.6 | 30M| 41 | - | 120 | 183 | 120 | 13 | 22 | 233k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1000.04/1000.32 c 1000s| 3610k| 24498 | 9517k| 2.6 | 29M| 41 | - | 120 | 182 | 120 | 13 | 22 | 234k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1001.64/1001.96 o 2
1001.64/1001.96 c *1002s| 3616k| 21902 | 9532k| 2.6 | 24M| 41 | - | 120 | 193 | 120 | 13 | 22 | 234k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1002.64/1002.99 c 1003s| 3620k| 21544 | 9543k| 2.6 | 23M| 41 | - | 120 | 198 | 120 | 13 | 22 | 234k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1006.33/1006.62 c 1007s| 3630k| 21611 | 9567k| 2.6 | 23M| 41 | - | 120 | 195 | 120 | 13 | 22 | 235k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1008.84/1009.11 c 1009s| 3640k| 20849 | 9592k| 2.6 | 23M| 41 | - | 120 | 191 | 0 | 0 | 22 | 235k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1011.33/1011.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1011.33/1011.65 c 1012s| 3650k| 19840 | 9616k| 2.6 | 22M| 41 | - | 120 | 211 | 120 | 13 | 22 | 236k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1013.84/1014.19 c 1014s| 3660k| 18702 | 9639k| 2.6 | 21M| 41 | 5 | 120 | 202 | 120 | 13 | 22 | 236k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1016.43/1016.71 c 1017s| 3670k| 18238 | 9666k| 2.6 | 21M| 41 | - | 120 | 206 | 120 | 13 | 22 | 236k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1018.93/1019.25 c 1019s| 3680k| 16992 | 9690k| 2.6 | 20M| 41 | - | 120 | 211 | 120 | 13 | 22 | 237k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1021.54/1021.82 c 1022s| 3690k| 15415 | 9714k| 2.6 | 18M| 41 | 5 | 120 | 200 | 120 | 13 | 22 | 237k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1024.03/1024.37 c 1024s| 3700k| 13848 | 9738k| 2.6 | 17M| 41 | 5 | 120 | 222 | 120 | 13 | 22 | 238k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1026.63/1026.91 c 1027s| 3710k| 14250 | 9764k| 2.6 | 17M| 41 | - | 120 | 236 | 120 | 13 | 22 | 238k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1029.03/1029.37 c 1029s| 3720k| 14717 | 9790k| 2.6 | 17M| 41 | - | 120 | 254 | 120 | 13 | 22 | 239k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1031.44/1031.79 c 1032s| 3730k| 14655 | 9815k| 2.6 | 17M| 41 | - | 120 | 246 | 120 | 13 | 22 | 239k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1033.93/1034.22 c 1034s| 3740k| 14021 | 9840k| 2.6 | 17M| 41 | 5 | 120 | 246 | 120 | 13 | 22 | 240k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1036.44/1036.73 c 1037s| 3750k| 13101 | 9864k| 2.6 | 16M| 41 | - | 120 | 259 | 0 | 0 | 22 | 240k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1039.03/1039.32 c 1039s| 3760k| 11570 | 9888k| 2.6 | 14M| 41 | - | 120 | 254 | 120 | 13 | 22 | 241k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1041.53/1041.88 c 1042s| 3770k| 10144 | 9911k| 2.6 | 12M| 41 | - | 120 | 241 | 120 | 13 | 22 | 241k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1044.22/1044.55 c 1045s| 3780k| 11026 | 9938k| 2.6 | 12M| 41 | 5 | 120 | 256 | 120 | 13 | 22 | 242k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1046.73/1047.05 c 1047s| 3790k| 12085 | 9964k| 2.6 | 12M| 41 | 5 | 120 | 255 | 120 | 13 | 22 | 242k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1049.23/1049.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1049.23/1049.54 c 1050s| 3800k| 13288 | 9991k| 2.6 | 13M| 41 | 5 | 120 | 274 | 120 | 13 | 22 | 243k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1051.73/1052.01 c 1052s| 3810k| 13806 | 10016k| 2.6 | 14M| 41 | 5 | 120 | 251 | 120 | 13 | 22 | 243k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1054.13/1054.46 c 1054s| 3820k| 14049 | 10042k| 2.6 | 14M| 41 | - | 120 | 241 | 120 | 13 | 22 | 243k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1056.52/1056.90 c 1057s| 3830k| 14230 | 10067k| 2.6 | 14M| 41 | 5 | 120 | 220 | 120 | 13 | 22 | 244k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1059.04/1059.34 c 1059s| 3840k| 14163 | 10092k| 2.6 | 14M| 41 | 5 | 120 | 221 | 120 | 13 | 22 | 244k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1061.53/1061.80 c 1062s| 3850k| 14177 | 10118k| 2.6 | 14M| 41 | 5 | 120 | 232 | 120 | 13 | 22 | 245k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1063.93/1064.28 c 1064s| 3860k| 14435 | 10145k| 2.6 | 15M| 41 | 5 | 120 | 224 | 120 | 13 | 22 | 245k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1066.42/1066.77 c 1067s| 3870k| 14152 | 10171k| 2.6 | 15M| 41 | - | 120 | 216 | 120 | 13 | 22 | 245k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1068.94/1069.24 c 1069s| 3880k| 13519 | 10197k| 2.6 | 15M| 41 | - | 120 | 200 | 120 | 13 | 22 | 246k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1071.43/1071.70 c 1072s| 3890k| 12835 | 10222k| 2.6 | 14M| 41 | - | 120 | 203 | 120 | 13 | 22 | 246k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1073.82/1074.16 c 1074s| 3900k| 12215 | 10248k| 2.6 | 14M| 41 | 5 | 120 | 201 | 120 | 13 | 22 | 246k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1076.32/1076.63 c 1077s| 3910k| 11191 | 10274k| 2.6 | 13M| 41 | 5 | 120 | 206 | 120 | 13 | 22 | 247k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1078.83/1079.14 c 1079s| 3920k| 9626 | 10299k| 2.6 | 11M| 41 | 5 | 120 | 196 | 120 | 13 | 22 | 247k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1081.42/1081.73 c 1082s| 3930k| 8769 | 10324k| 2.6 | 10M| 41 | 5 | 120 | 241 | 120 | 13 | 22 | 248k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1084.12/1084.43 c 1084s| 3940k| 10916 | 10353k| 2.6 | 11M| 41 | - | 120 | 237 | 120 | 13 | 22 | 248k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1086.72/1087.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1086.72/1087.03 c 1087s| 3950k| 12997 | 10381k| 2.6 | 12M| 41 | 5 | 120 | 242 | 120 | 13 | 22 | 249k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1089.22/1089.54 c 1090s| 3960k| 14583 | 10408k| 2.6 | 13M| 41 | 5 | 120 | 225 | 120 | 13 | 22 | 249k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1091.71/1092.03 c 1092s| 3970k| 15818 | 10434k| 2.6 | 13M| 41 | - | 120 | 210 | 120 | 13 | 22 | 249k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1094.12/1094.49 c 1094s| 3980k| 16849 | 10460k| 2.6 | 14M| 41 | 5 | 120 | 199 | 120 | 13 | 22 | 249k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1096.62/1096.97 c 1097s| 3990k| 17690 | 10486k| 2.6 | 15M| 41 | - | 120 | 203 | 120 | 13 | 22 | 250k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1099.11/1099.43 c 1099s| 4000k| 18359 | 10512k| 2.6 | 15M| 41 | 5 | 120 | 197 | 120 | 13 | 22 | 250k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1101.52/1101.87 c 1102s| 4010k| 19134 | 10537k| 2.6 | 16M| 41 | 5 | 120 | 231 | 120 | 13 | 22 | 251k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1104.03/1104.39 c 1104s| 4020k| 20769 | 10563k| 2.6 | 17M| 41 | 5 | 120 | 246 | 120 | 13 | 22 | 251k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1106.51/1106.84 c 1107s| 4030k| 21811 | 10588k| 2.6 | 17M| 41 | 5 | 120 | 237 | 120 | 13 | 22 | 251k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1108.91/1109.28 c 1109s| 4040k| 22667 | 10612k| 2.6 | 18M| 41 | 5 | 120 | 245 | 120 | 13 | 22 | 252k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1111.41/1111.73 c 1112s| 4050k| 23176 | 10637k| 2.6 | 19M| 41 | - | 120 | 235 | 120 | 13 | 22 | 252k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1113.81/1114.18 c 1114s| 4060k| 23748 | 10662k| 2.6 | 19M| 41 | - | 120 | 231 | 120 | 13 | 22 | 252k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1116.31/1116.62 c 1117s| 4070k| 24478 | 10686k| 2.6 | 20M| 41 | - | 120 | 218 | 120 | 13 | 22 | 253k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1118.71/1119.06 c 1119s| 4080k| 25159 | 10712k| 2.6 | 20M| 41 | 5 | 120 | 225 | 120 | 13 | 22 | 253k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1121.11/1121.48 c 1121s| 4090k| 25617 | 10737k| 2.6 | 20M| 41 | 5 | 120 | 207 | 120 | 13 | 22 | 253k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1123.61/1123.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1123.61/1123.92 c 1124s| 4100k| 26068 | 10761k| 2.6 | 21M| 41 | - | 120 | 216 | 120 | 13 | 22 | 254k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1126.01/1126.35 c 1126s| 4110k| 26479 | 10786k| 2.6 | 21M| 41 | 5 | 120 | 202 | 120 | 13 | 22 | 254k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1128.41/1128.78 c 1129s| 4120k| 26788 | 10810k| 2.6 | 22M| 41 | 5 | 120 | 213 | 120 | 13 | 22 | 255k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1130.91/1131.20 c 1131s| 4130k| 27416 | 10834k| 2.6 | 22M| 41 | - | 120 | 238 | 120 | 13 | 22 | 255k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1133.31/1133.63 c 1134s| 4140k| 27826 | 10858k| 2.6 | 23M| 41 | - | 120 | 222 | 120 | 13 | 22 | 255k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1135.70/1136.05 c 1136s| 4150k| 28079 | 10882k| 2.6 | 23M| 41 | 5 | 120 | 206 | 120 | 13 | 22 | 256k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1138.11/1138.50 c 1138s| 4160k| 28604 | 10906k| 2.6 | 23M| 41 | - | 120 | 209 | 120 | 13 | 22 | 256k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1140.61/1140.95 c 1141s| 4170k| 28601 | 10930k| 2.6 | 23M| 41 | 5 | 120 | 198 | 120 | 13 | 22 | 257k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1143.10/1143.42 c 1143s| 4180k| 28812 | 10955k| 2.6 | 24M| 41 | - | 120 | 209 | 120 | 13 | 22 | 257k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1145.50/1145.87 c 1146s| 4190k| 29428 | 10981k| 2.6 | 24M| 41 | - | 120 | 225 | 0 | 0 | 22 | 257k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1147.90/1148.30 c 1148s| 4200k| 29256 | 11006k| 2.6 | 24M| 41 | - | 120 | 205 | 120 | 13 | 22 | 258k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1150.40/1150.71 c 1151s| 4210k| 29555 | 11030k| 2.6 | 25M| 41 | - | 120 | 219 | 0 | 0 | 22 | 258k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1152.81/1153.14 c 1153s| 4220k| 29870 | 11053k| 2.6 | 25M| 41 | 5 | 120 | 220 | 120 | 13 | 22 | 258k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1155.31/1155.60 c 1156s| 4230k| 29723 | 11078k| 2.6 | 25M| 41 | 5 | 120 | 215 | 120 | 13 | 22 | 259k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1157.71/1158.05 c 1158s| 4240k| 29535 | 11101k| 2.6 | 25M| 41 | - | 120 | 213 | 120 | 13 | 22 | 259k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1160.21/1160.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1160.21/1160.51 c 1160s| 4250k| 29243 | 11124k| 2.6 | 25M| 41 | 5 | 120 | 204 | 120 | 13 | 22 | 260k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1162.59/1162.95 c 1163s| 4260k| 29183 | 11149k| 2.6 | 25M| 41 | - | 120 | 229 | 120 | 13 | 22 | 260k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1165.10/1165.42 c 1165s| 4270k| 28970 | 11173k| 2.6 | 25M| 41 | - | 120 | 196 | 120 | 13 | 22 | 260k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1167.50/1167.84 c 1168s| 4280k| 28738 | 11196k| 2.6 | 25M| 41 | 5 | 120 | 213 | 120 | 13 | 22 | 261k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1170.00/1170.30 c 1170s| 4290k| 28454 | 11220k| 2.6 | 25M| 41 | - | 120 | 203 | 120 | 13 | 22 | 261k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1172.40/1172.77 c 1173s| 4300k| 28885 | 11245k| 2.6 | 26M| 41 | - | 120 | 232 | 120 | 13 | 22 | 262k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1174.89/1175.22 c 1175s| 4310k| 28554 | 11268k| 2.6 | 25M| 41 | 5 | 120 | 214 | 120 | 13 | 22 | 262k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1177.29/1177.63 c 1178s| 4320k| 28376 | 11291k| 2.6 | 26M| 41 | - | 120 | 218 | 120 | 13 | 22 | 263k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1179.70/1180.08 c 1180s| 4330k| 27684 | 11315k| 2.6 | 25M| 41 | 5 | 120 | 190 | 120 | 13 | 22 | 263k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1182.20/1182.51 c 1183s| 4340k| 27801 | 11338k| 2.6 | 25M| 41 | - | 120 | 229 | 120 | 13 | 22 | 264k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1184.59/1184.93 c 1185s| 4350k| 27521 | 11361k| 2.6 | 25M| 41 | - | 120 | 223 | 0 | 0 | 22 | 264k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1186.99/1187.38 c 1187s| 4360k| 27398 | 11385k| 2.6 | 25M| 41 | 5 | 120 | 239 | 120 | 13 | 22 | 264k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1189.50/1189.82 c 1190s| 4370k| 27051 | 11408k| 2.6 | 25M| 41 | - | 120 | 221 | 120 | 13 | 22 | 265k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1191.89/1192.28 c 1192s| 4380k| 26618 | 11432k| 2.6 | 25M| 41 | - | 120 | 212 | 120 | 13 | 22 | 265k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1194.39/1194.72 c 1195s| 4390k| 26014 | 11455k| 2.6 | 25M| 41 | 5 | 120 | 206 | 120 | 13 | 22 | 266k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1196.79/1197.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1196.79/1197.16 c 1197s| 4400k| 25340 | 11478k| 2.6 | 24M| 41 | - | 120 | 190 | 120 | 13 | 22 | 266k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1199.29/1199.60 c 1200s| 4410k| 24803 | 11501k| 2.6 | 24M| 41 | - | 120 | 200 | 120 | 13 | 22 | 267k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1201.70/1202.01 c 1202s| 4420k| 24893 | 11523k| 2.6 | 24M| 41 | - | 120 | 229 | 120 | 13 | 22 | 267k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1204.10/1204.48 c 1204s| 4430k| 23929 | 11547k| 2.6 | 24M| 41 | 5 | 120 | 197 | 120 | 13 | 22 | 268k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1206.59/1206.92 c 1207s| 4440k| 23074 | 11570k| 2.6 | 23M| 41 | 5 | 120 | 197 | 120 | 13 | 22 | 268k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1208.99/1209.36 c 1209s| 4450k| 22122 | 11594k| 2.6 | 23M| 41 | 5 | 120 | 191 | 120 | 13 | 22 | 268k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1211.39/1211.77 c 1212s| 4460k| 21621 | 11617k| 2.6 | 22M| 41 | 5 | 120 | 202 | 120 | 13 | 22 | 269k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1213.89/1214.22 c 1214s| 4470k| 20869 | 11640k| 2.6 | 22M| 41 | 5 | 120 | 210 | 120 | 13 | 22 | 269k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1216.30/1216.67 c 1217s| 4480k| 20298 | 11663k| 2.6 | 21M| 41 | 5 | 120 | 198 | 120 | 13 | 22 | 270k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1218.68/1219.08 c 1219s| 4490k| 21251 | 11688k| 2.6 | 22M| 41 | - | 120 | 228 | 120 | 13 | 22 | 270k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1221.08/1221.48 c 1221s| 4500k| 21437 | 11712k| 2.6 | 22M| 41 | - | 120 | 225 | 120 | 13 | 22 | 270k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1223.48/1223.88 c 1224s| 4510k| 20957 | 11735k| 2.6 | 22M| 41 | 5 | 120 | 212 | 120 | 13 | 22 | 271k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1225.98/1226.32 c 1226s| 4520k| 19739 | 11758k| 2.6 | 21M| 41 | - | 120 | 203 | 120 | 13 | 22 | 271k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1228.39/1228.79 c 1229s| 4530k| 18530 | 11781k| 2.6 | 20M| 41 | - | 120 | 205 | 120 | 13 | 22 | 272k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1230.88/1231.25 c 1231s| 4540k| 17446 | 11804k| 2.6 | 19M| 41 | - | 120 | 213 | 0 | 0 | 22 | 272k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1233.39/1233.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1233.39/1233.71 c 1234s| 4550k| 16248 | 11826k| 2.6 | 18M| 41 | - | 120 | 203 | 120 | 13 | 22 | 272k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1235.78/1236.15 c 1236s| 4560k| 15215 | 11849k| 2.6 | 18M| 41 | 5 | 120 | 202 | 120 | 13 | 22 | 273k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1238.19/1238.60 c 1239s| 4570k| 14041 | 11872k| 2.6 | 16M| 41 | 5 | 120 | 207 | 120 | 13 | 22 | 273k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1240.68/1241.06 c 1241s| 4580k| 12784 | 11894k| 2.6 | 15M| 41 | - | 120 | 215 | 120 | 13 | 22 | 274k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1243.18/1243.52 c 1244s| 4590k| 11478 | 11917k| 2.6 | 14M| 41 | - | 120 | 207 | 120 | 13 | 22 | 274k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1245.58/1245.98 c 1246s| 4600k| 10172 | 11940k| 2.6 | 12M| 41 | - | 120 | 195 | 120 | 13 | 22 | 275k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1248.08/1248.49 c 1248s| 4610k| 9855 | 11964k| 2.6 | 11M| 41 | 5 | 120 | 217 | 120 | 13 | 22 | 275k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1250.68/1251.01 c 1251s| 4620k| 11021 | 11990k| 2.6 | 12M| 41 | 5 | 120 | 231 | 120 | 13 | 22 | 275k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1253.07/1253.49 c 1253s| 4630k| 12020 | 12016k| 2.6 | 13M| 41 | - | 120 | 210 | 0 | 0 | 22 | 276k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1255.58/1255.94 c 1256s| 4640k| 13056 | 12040k| 2.6 | 13M| 41 | 5 | 120 | 256 | 120 | 13 | 22 | 276k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1258.08/1258.45 c 1258s| 4650k| 14200 | 12065k| 2.6 | 14M| 41 | 5 | 120 | 273 | 120 | 13 | 22 | 277k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1260.57/1260.90 c 1261s| 4660k| 14663 | 12089k| 2.6 | 15M| 41 | - | 120 | 265 | 120 | 13 | 22 | 277k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1262.97/1263.33 c 1263s| 4670k| 15265 | 12113k| 2.6 | 15M| 41 | - | 120 | 239 | 120 | 13 | 22 | 278k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1265.38/1265.76 c 1266s| 4680k| 15684 | 12137k| 2.6 | 15M| 41 | 5 | 120 | 231 | 120 | 13 | 22 | 278k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1267.77/1268.19 c 1268s| 4690k| 16226 | 12161k| 2.6 | 16M| 41 | - | 120 | 235 | 120 | 13 | 22 | 279k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1270.27/1270.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1270.27/1270.65 c 1271s| 4700k| 16763 | 12186k| 2.6 | 16M| 41 | - | 120 | 226 | 120 | 13 | 22 | 279k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1272.77/1273.10 c 1273s| 4710k| 17210 | 12211k| 2.6 | 17M| 41 | - | 120 | 263 | 0 | 0 | 22 | 279k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1275.17/1275.56 c 1276s| 4720k| 17466 | 12235k| 2.6 | 17M| 41 | - | 120 | 251 | 120 | 13 | 22 | 280k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1277.57/1277.99 c 1278s| 4730k| 17334 | 12259k| 2.6 | 17M| 41 | 5 | 120 | 219 | 120 | 13 | 22 | 280k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1280.08/1280.44 c 1280s| 4740k| 17294 | 12282k| 2.6 | 17M| 41 | - | 120 | 236 | 120 | 13 | 22 | 281k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1282.47/1282.87 c 1283s| 4750k| 17352 | 12305k| 2.6 | 17M| 41 | - | 120 | 241 | 0 | 0 | 22 | 281k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1284.97/1285.33 c 1285s| 4760k| 17193 | 12328k| 2.6 | 17M| 41 | 5 | 120 | 248 | 120 | 13 | 22 | 282k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1287.46/1287.80 c 1288s| 4770k| 16959 | 12352k| 2.6 | 17M| 41 | 5 | 120 | 236 | 120 | 13 | 22 | 282k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1289.87/1290.25 c 1290s| 4780k| 16935 | 12376k| 2.6 | 18M| 41 | 5 | 120 | 234 | 120 | 13 | 22 | 283k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1292.37/1292.72 c 1293s| 4790k| 16255 | 12399k| 2.6 | 17M| 41 | - | 120 | 240 | 120 | 13 | 22 | 283k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1294.77/1295.17 c 1295s| 4800k| 15768 | 12423k| 2.6 | 17M| 41 | - | 120 | 229 | 0 | 0 | 22 | 284k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1297.27/1297.61 c 1298s| 4810k| 15659 | 12447k| 2.6 | 17M| 41 | - | 120 | 241 | 120 | 13 | 22 | 284k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1299.66/1300.09 c 1300s| 4820k| 14700 | 12470k| 2.6 | 16M| 41 | 5 | 120 | 208 | 120 | 13 | 22 | 285k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1302.16/1302.56 c 1303s| 4830k| 13573 | 12493k| 2.6 | 16M| 41 | 5 | 120 | 204 | 120 | 13 | 22 | 285k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1304.67/1305.02 c 1305s| 4840k| 12425 | 12516k| 2.6 | 15M| 41 | - | 120 | 215 | 120 | 13 | 22 | 286k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1307.16/1307.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1307.16/1307.52 c 1308s| 4850k| 10775 | 12539k| 2.6 | 13M| 41 | - | 120 | 210 | 120 | 13 | 22 | 287k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1309.67/1310.04 c 1310s| 4860k| 9123 | 12562k| 2.6 | 11M| 41 | 5 | 120 | 211 | 120 | 13 | 22 | 287k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1312.16/1312.52 c 1313s| 4870k| 9155 | 12588k| 2.6 | 11M| 41 | 5 | 120 | 254 | 120 | 13 | 22 | 288k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1314.66/1315.01 c 1315s| 4880k| 10059 | 12613k| 2.6 | 11M| 41 | - | 120 | 238 | 0 | 0 | 22 | 288k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1317.06/1317.44 c 1317s| 4890k| 10359 | 12636k| 2.6 | 12M| 41 | 5 | 120 | 222 | 120 | 13 | 22 | 288k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1319.46/1319.87 c 1320s| 4900k| 10841 | 12659k| 2.6 | 12M| 41 | - | 120 | 297 | 0 | 0 | 22 | 289k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1321.96/1322.36 c 1322s| 4910k| 10777 | 12683k| 2.6 | 12M| 41 | 5 | 120 | 238 | 120 | 13 | 22 | 289k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1324.46/1324.86 c 1325s| 4920k| 10074 | 12706k| 2.6 | 12M| 41 | 5 | 120 | 233 | 120 | 13 | 22 | 290k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1326.96/1327.33 c 1327s| 4930k| 9346 | 12728k| 2.6 | 11M| 41 | - | 120 | 208 | 120 | 13 | 22 | 291k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1329.47/1329.84 c 1330s| 4940k| 9029 | 12753k| 2.6 | 11M| 41 | - | 120 | 256 | 120 | 13 | 22 | 291k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1331.95/1332.32 c 1332s| 4950k| 9375 | 12777k| 2.6 | 11M| 41 | 5 | 120 | 288 | 120 | 13 | 22 | 292k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1334.46/1334.80 c 1335s| 4960k| 10652 | 12801k| 2.6 | 12M| 41 | 5 | 120 | 283 | 120 | 13 | 22 | 292k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1336.85/1337.27 c 1337s| 4970k| 11315 | 12825k| 2.6 | 12M| 41 | 5 | 120 | 282 | 120 | 13 | 22 | 293k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1339.36/1339.71 c 1340s| 4980k| 11731 | 12849k| 2.6 | 12M| 41 | 5 | 120 | 285 | 120 | 13 | 22 | 293k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1341.76/1342.13 c 1342s| 4990k| 12381 | 12872k| 2.6 | 13M| 41 | - | 120 | 328 | 0 | 0 | 22 | 294k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1344.15/1344.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1344.15/1344.57 c 1345s| 5000k| 12739 | 12895k| 2.6 | 13M| 41 | - | 120 | 309 | 120 | 13 | 22 | 294k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1346.66/1347.00 c 1347s| 5010k| 12698 | 12918k| 2.6 | 13M| 41 | 5 | 120 | 306 | 120 | 13 | 22 | 294k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1349.05/1349.45 c 1349s| 5020k| 12762 | 12942k| 2.6 | 14M| 41 | - | 120 | 306 | 120 | 13 | 22 | 295k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1351.46/1351.90 c 1352s| 5030k| 12357 | 12965k| 2.6 | 13M| 41 | - | 120 | 279 | 120 | 13 | 22 | 295k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1353.95/1354.39 c 1354s| 5040k| 12730 | 12988k| 2.6 | 14M| 41 | 5 | 120 | 306 | 120 | 13 | 22 | 296k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1356.45/1356.87 c 1357s| 5050k| 13664 | 13011k| 2.6 | 14M| 41 | 5 | 120 | 332 | 120 | 13 | 22 | 296k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1358.85/1359.29 c 1359s| 5060k| 13855 | 13034k| 2.6 | 15M| 41 | 5 | 120 | 324 | 120 | 13 | 22 | 297k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1361.36/1361.74 c 1362s| 5070k| 13770 | 13056k| 2.6 | 15M| 41 | 5 | 120 | 342 | 120 | 13 | 22 | 298k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1363.85/1364.20 c 1364s| 5080k| 13787 | 13079k| 2.6 | 15M| 41 | 5 | 120 | 323 | 120 | 13 | 22 | 298k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1366.25/1366.65 c 1367s| 5090k| 13085 | 13101k| 2.6 | 14M| 41 | - | 120 | 288 | 120 | 13 | 22 | 299k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1368.74/1369.10 c 1369s| 5100k| 12295 | 13124k| 2.6 | 14M| 41 | - | 120 | 276 | 120 | 13 | 22 | 299k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1371.14/1371.53 c 1372s| 5110k| 11733 | 13146k| 2.6 | 14M| 41 | 5 | 120 | 270 | 120 | 13 | 22 | 299k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1373.55/1373.96 c 1374s| 5120k| 11831 | 13169k| 2.6 | 14M| 41 | 5 | 120 | 301 | 120 | 13 | 22 | 300k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1376.04/1376.40 c 1376s| 5130k| 11231 | 13192k| 2.6 | 13M| 41 | 5 | 120 | 243 | 120 | 13 | 22 | 300k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1378.44/1378.85 c 1379s| 5140k| 10572 | 13215k| 2.6 | 13M| 41 | - | 120 | 283 | 120 | 13 | 22 | 301k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1380.84/1381.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1380.84/1381.28 c 1381s| 5150k| 9850 | 13239k| 2.6 | 12M| 41 | 5 | 120 | 255 | 120 | 13 | 22 | 301k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1383.35/1383.79 c 1384s| 5160k| 9255 | 13263k| 2.6 | 11M| 41 | 5 | 120 | 242 | 120 | 13 | 22 | 302k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1385.84/1386.26 c 1386s| 5170k| 8958 | 13288k| 2.6 | 11M| 41 | - | 120 | 235 | 120 | 13 | 22 | 302k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1388.35/1388.74 c 1389s| 5180k| 9270 | 13314k| 2.6 | 11M| 41 | 5 | 120 | 223 | 120 | 13 | 22 | 303k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1390.84/1391.28 c 1391s| 5190k| 10175 | 13341k| 2.6 | 11M| 41 | 5 | 120 | 257 | 120 | 13 | 22 | 303k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1393.44/1393.86 c 1394s| 5200k| 11432 | 13368k| 2.6 | 12M| 41 | 5 | 120 | 288 | 120 | 13 | 22 | 304k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1396.04/1396.40 c 1396s| 5210k| 11997 | 13394k| 2.6 | 13M| 41 | - | 120 | 316 | 120 | 13 | 22 | 304k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1398.54/1398.97 c 1399s| 5220k| 12755 | 13420k| 2.6 | 13M| 41 | - | 120 | 342 | 120 | 13 | 22 | 305k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1401.05/1401.48 c 1401s| 5230k| 12970 | 13445k| 2.6 | 13M| 41 | - | 120 | 295 | 120 | 13 | 22 | 305k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1403.64/1404.01 c 1404s| 5240k| 13532 | 13469k| 2.6 | 14M| 41 | - | 120 | 320 | 120 | 13 | 22 | 305k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1406.13/1406.54 c 1407s| 5250k| 13808 | 13495k| 2.6 | 14M| 41 | - | 120 | 290 | 120 | 13 | 22 | 306k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1408.83/1409.25 c 1409s| 5260k| 15551 | 13523k| 2.6 | 15M| 41 | - | 120 | 255 | 120 | 13 | 22 | 306k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1411.44/1411.82 c 1412s| 5270k| 16806 | 13549k| 2.6 | 16M| 41 | 5 | 120 | 233 | 120 | 13 | 22 | 307k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1413.94/1414.35 c 1414s| 5280k| 17616 | 13574k| 2.6 | 16M| 41 | 5 | 120 | 228 | 120 | 13 | 22 | 307k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1416.44/1416.88 c 1417s| 5290k| 18203 | 13600k| 2.6 | 17M| 41 | 5 | 120 | 251 | 120 | 13 | 22 | 308k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1419.04/1419.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1419.04/1419.40 c 1419s| 5300k| 19219 | 13625k| 2.6 | 18M| 41 | 5 | 120 | 312 | 120 | 13 | 22 | 308k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1421.54/1421.96 c 1422s| 5310k| 19680 | 13650k| 2.6 | 18M| 41 | 5 | 120 | 287 | 120 | 13 | 22 | 309k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1424.04/1424.49 c 1424s| 5320k| 20158 | 13674k| 2.6 | 18M| 41 | 5 | 120 | 304 | 120 | 13 | 22 | 309k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1426.63/1427.03 c 1427s| 5330k| 20664 | 13700k| 2.6 | 19M| 41 | - | 120 | 295 | 120 | 13 | 22 | 310k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1429.13/1429.58 c 1430s| 5340k| 20983 | 13725k| 2.6 | 19M| 41 | - | 120 | 275 | 0 | 0 | 22 | 310k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1431.63/1432.09 c 1432s| 5350k| 21334 | 13750k| 2.6 | 20M| 41 | 5 | 120 | 273 | 120 | 13 | 22 | 311k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1434.14/1434.59 c 1435s| 5360k| 21625 | 13775k| 2.6 | 20M| 41 | 5 | 120 | 272 | 120 | 13 | 22 | 311k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1436.73/1437.11 c 1437s| 5370k| 22163 | 13800k| 2.6 | 20M| 41 | - | 120 | 288 | 0 | 0 | 22 | 312k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1439.23/1439.65 c 1440s| 5380k| 22939 | 13825k| 2.6 | 21M| 41 | - | 120 | 327 | 0 | 0 | 22 | 312k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1441.74/1442.15 c 1442s| 5390k| 24006 | 13850k| 2.6 | 22M| 41 | - | 120 | 378 | 120 | 13 | 22 | 312k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1444.22/1444.68 c 1445s| 5400k| 24638 | 13874k| 2.6 | 22M| 41 | - | 120 | 403 | 120 | 13 | 22 | 313k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1446.83/1447.20 c 1447s| 5410k| 24943 | 13897k| 2.6 | 22M| 41 | - | 120 | 401 | 0 | 0 | 22 | 313k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1449.33/1449.72 c 1450s| 5420k| 25415 | 13921k| 2.6 | 23M| 41 | 5 | 120 | 443 | 120 | 13 | 22 | 314k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1451.83/1452.26 c 1452s| 5430k| 25763 | 13946k| 2.6 | 23M| 41 | - | 120 | 404 | 0 | 0 | 22 | 314k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1454.33/1454.79 c 1455s| 5440k| 25688 | 13968k| 2.6 | 23M| 41 | - | 120 | 337 | 120 | 13 | 22 | 315k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1456.82/1457.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1456.82/1457.29 c 1457s| 5450k| 25913 | 13992k| 2.6 | 23M| 41 | 5 | 120 | 349 | 120 | 13 | 22 | 315k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1459.43/1459.82 c 1460s| 5460k| 25951 | 14016k| 2.6 | 24M| 41 | 5 | 120 | 300 | 120 | 13 | 22 | 316k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1461.92/1462.33 c 1462s| 5470k| 26263 | 14040k| 2.6 | 24M| 41 | - | 120 | 312 | 120 | 13 | 22 | 316k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1464.42/1464.86 c 1465s| 5480k| 26490 | 14065k| 2.6 | 24M| 41 | 5 | 120 | 324 | 120 | 13 | 22 | 317k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1466.94/1467.40 c 1467s| 5490k| 26380 | 14089k| 2.6 | 24M| 41 | 5 | 120 | 276 | 120 | 13 | 22 | 317k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1469.52/1469.96 c 1470s| 5500k| 26683 | 14113k| 2.6 | 25M| 41 | - | 120 | 351 | 0 | 0 | 22 | 318k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1472.12/1472.52 c 1473s| 5510k| 26645 | 14137k| 2.6 | 25M| 41 | 5 | 120 | 298 | 120 | 13 | 22 | 318k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1474.63/1475.02 c 1475s| 5520k| 26885 | 14162k| 2.6 | 25M| 41 | 5 | 120 | 278 | 120 | 13 | 22 | 319k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1477.12/1477.50 c 1477s| 5530k| 26810 | 14186k| 2.6 | 25M| 41 | - | 120 | 290 | 120 | 13 | 22 | 319k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1479.62/1480.01 c 1480s| 5540k| 26711 | 14210k| 2.6 | 25M| 41 | 5 | 120 | 292 | 120 | 13 | 22 | 320k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1482.12/1482.52 c 1483s| 5550k| 27495 | 14234k| 2.6 | 26M| 41 | - | 120 | 333 | 0 | 0 | 22 | 320k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1484.63/1485.02 c 1485s| 5560k| 27485 | 14258k| 2.6 | 26M| 41 | - | 120 | 325 | 120 | 13 | 22 | 321k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1487.12/1487.58 c 1488s| 5570k| 27913 | 14284k| 2.6 | 26M| 41 | 5 | 120 | 339 | 120 | 13 | 22 | 321k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1489.72/1490.13 c 1490s| 5580k| 27946 | 14310k| 2.6 | 26M| 41 | - | 120 | 346 | 0 | 0 | 22 | 322k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1492.22/1492.63 c 1493s| 5590k| 28345 | 14333k| 2.6 | 26M| 41 | 5 | 120 | 360 | 120 | 13 | 22 | 322k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1494.72/1495.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1494.72/1495.17 c 1495s| 5600k| 28367 | 14357k| 2.6 | 27M| 41 | - | 120 | 362 | 120 | 13 | 22 | 323k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1497.31/1497.72 c 1498s| 5610k| 28925 | 14382k| 2.6 | 27M| 41 | 5 | 120 | 338 | 120 | 13 | 22 | 323k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1499.72/1500.19 c 1500s| 5620k| 29083 | 14407k| 2.6 | 27M| 41 | - | 120 | 344 | 120 | 13 | 22 | 323k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1502.31/1502.74 c 1503s| 5630k| 28864 | 14431k| 2.6 | 27M| 41 | 5 | 120 | 332 | 120 | 13 | 22 | 324k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1504.81/1505.27 c 1505s| 5640k| 29250 | 14455k| 2.6 | 28M| 41 | - | 120 | 346 | 120 | 13 | 22 | 324k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1507.31/1507.76 c 1508s| 5650k| 29579 | 14478k| 2.6 | 28M| 41 | 5 | 120 | 378 | 120 | 13 | 22 | 325k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1509.82/1510.29 c 1510s| 5660k| 30326 | 14502k| 2.6 | 28M| 41 | - | 120 | 374 | 0 | 0 | 22 | 326k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1512.31/1512.80 c 1513s| 5670k| 30722 | 14525k| 2.6 | 29M| 41 | 5 | 120 | 390 | 120 | 13 | 22 | 326k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1514.91/1515.30 c 1515s| 5680k| 30400 | 14547k| 2.6 | 29M| 41 | 5 | 120 | 361 | 120 | 13 | 22 | 327k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1517.41/1517.80 c 1518s| 5690k| 30577 | 14572k| 2.6 | 29M| 41 | - | 120 | 359 | 120 | 13 | 22 | 327k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1519.91/1520.34 c 1520s| 5700k| 30573 | 14595k| 2.6 | 29M| 41 | 5 | 120 | 371 | 120 | 13 | 22 | 328k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1522.41/1522.89 c 1523s| 5710k| 30482 | 14618k| 2.6 | 29M| 41 | 5 | 120 | 370 | 120 | 13 | 22 | 328k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1525.01/1525.42 c 1525s| 5720k| 30669 | 14642k| 2.6 | 29M| 41 | - | 120 | 378 | 120 | 13 | 22 | 329k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1527.51/1527.93 c 1528s| 5730k| 31141 | 14665k| 2.6 | 30M| 41 | - | 120 | 409 | 120 | 13 | 22 | 329k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1530.01/1530.44 c 1530s| 5740k| 31019 | 14687k| 2.6 | 30M| 41 | - | 120 | 370 | 120 | 13 | 22 | 330k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1532.51/1532.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1532.51/1532.96 c 1533s| 5750k| 31272 | 14711k| 2.6 | 30M| 41 | 5 | 120 | 423 | 120 | 13 | 22 | 330k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1535.11/1535.50 c 1535s| 5760k| 30961 | 14735k| 2.6 | 30M| 41 | - | 120 | 367 | 120 | 13 | 22 | 331k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1537.61/1538.00 c 1538s| 5770k| 30770 | 14758k| 2.6 | 30M| 41 | - | 120 | 357 | 120 | 13 | 22 | 331k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1540.21/1540.62 c 1541s| 5780k| 31362 | 14783k| 2.6 | 30M| 41 | - | 120 | 382 | 0 | 0 | 22 | 332k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1542.81/1543.21 c 1543s| 5790k| 31899 | 14806k| 2.6 | 31M| 41 | 5 | 120 | 508 | 120 | 13 | 22 | 333k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1545.40/1545.83 c 1546s| 5800k| 32348 | 14831k| 2.6 | 31M| 41 | - | 120 | 416 | 120 | 13 | 22 | 333k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1548.00/1548.43 c 1548s| 5810k| 32917 | 14855k| 2.6 | 32M| 41 | 5 | 120 | 422 | 120 | 13 | 22 | 334k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1550.61/1551.01 c 1551s| 5820k| 32940 | 14879k| 2.6 | 32M| 41 | - | 120 | 410 | 120 | 13 | 22 | 334k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1553.20/1553.64 c 1554s| 5830k| 33204 | 14903k| 2.6 | 32M| 41 | - | 120 | 462 | 0 | 0 | 22 | 335k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1555.81/1556.21 c 1556s| 5840k| 33121 | 14926k| 2.6 | 32M| 41 | 5 | 120 | 389 | 120 | 13 | 22 | 335k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1558.31/1558.78 c 1559s| 5850k| 32805 | 14949k| 2.6 | 32M| 41 | 5 | 120 | 389 | 120 | 13 | 22 | 336k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1560.90/1561.33 c 1561s| 5860k| 32918 | 14972k| 2.6 | 32M| 41 | 5 | 120 | 417 | 120 | 13 | 22 | 336k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1563.50/1563.92 c 1564s| 5870k| 32456 | 14995k| 2.6 | 32M| 41 | - | 120 | 393 | 120 | 13 | 22 | 337k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1566.01/1566.50 c 1566s| 5880k| 31888 | 15019k| 2.6 | 31M| 41 | 5 | 120 | 316 | 120 | 13 | 22 | 338k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1568.60/1569.01 c 1569s| 5890k| 31655 | 15043k| 2.6 | 31M| 41 | 5 | 120 | 294 | 120 | 13 | 22 | 338k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1570.99/1571.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1570.99/1571.50 c 1571s| 5900k| 31347 | 15066k| 2.6 | 31M| 41 | - | 120 | 278 | 120 | 13 | 22 | 339k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1573.70/1574.13 c 1574s| 5910k| 32415 | 15092k| 2.6 | 32M| 41 | 5 | 120 | 394 | 120 | 13 | 22 | 339k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1576.30/1576.74 c 1577s| 5920k| 32882 | 15115k| 2.6 | 32M| 41 | - | 120 | 453 | 120 | 13 | 22 | 340k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1578.89/1579.35 c 1579s| 5930k| 32933 | 15139k| 2.6 | 33M| 41 | 5 | 120 | 389 | 120 | 13 | 22 | 340k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1581.40/1581.90 c 1582s| 5940k| 32886 | 15161k| 2.6 | 33M| 41 | 5 | 120 | 403 | 120 | 13 | 22 | 341k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1583.99/1584.45 c 1584s| 5950k| 32536 | 15185k| 2.6 | 32M| 41 | 5 | 120 | 430 | 120 | 13 | 22 | 341k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1586.50/1586.98 c 1587s| 5960k| 32073 | 15207k| 2.6 | 32M| 41 | 5 | 120 | 325 | 120 | 13 | 22 | 342k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1589.10/1589.56 c 1590s| 5970k| 31759 | 15232k| 2.6 | 32M| 41 | - | 120 | 319 | 120 | 13 | 22 | 342k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1591.60/1592.08 c 1592s| 5980k| 31452 | 15256k| 2.6 | 32M| 41 | 5 | 120 | 292 | 120 | 13 | 22 | 343k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1594.19/1594.63 c 1595s| 5990k| 31553 | 15281k| 2.6 | 32M| 41 | - | 120 | 321 | 120 | 13 | 22 | 343k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1596.70/1597.15 c 1597s| 6000k| 31375 | 15307k| 2.6 | 32M| 41 | 5 | 120 | 306 | 120 | 13 | 22 | 343k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1599.19/1599.69 c 1600s| 6010k| 31365 | 15330k| 2.6 | 32M| 41 | 5 | 120 | 305 | 120 | 13 | 22 | 344k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1601.79/1602.24 c 1602s| 6020k| 32466 | 15355k| 2.6 | 33M| 41 | 5 | 120 | 332 | 120 | 13 | 22 | 344k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1604.29/1604.77 c 1605s| 6030k| 33360 | 15379k| 2.6 | 33M| 41 | - | 120 | 324 | 0 | 0 | 22 | 345k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1606.79/1607.26 c 1607s| 6040k| 33907 | 15402k| 2.6 | 34M| 41 | - | 120 | 321 | 120 | 13 | 22 | 345k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1609.29/1609.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1609.29/1609.77 c 1610s| 6050k| 34194 | 15426k| 2.5 | 34M| 41 | - | 120 | 319 | 120 | 13 | 22 | 346k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1611.89/1612.31 c 1612s| 6060k| 34653 | 15450k| 2.5 | 34M| 41 | 5 | 120 | 362 | 120 | 13 | 22 | 346k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1614.39/1614.82 c 1615s| 6070k| 34962 | 15473k| 2.5 | 35M| 41 | 5 | 120 | 332 | 120 | 13 | 22 | 347k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1616.88/1617.32 c 1617s| 6080k| 35640 | 15495k| 2.5 | 35M| 41 | - | 120 | 385 | 0 | 0 | 22 | 347k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1619.39/1619.85 c 1620s| 6090k| 35994 | 15518k| 2.5 | 35M| 41 | - | 120 | 327 | 120 | 13 | 22 | 348k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1621.88/1622.37 c 1622s| 6100k| 36978 | 15540k| 2.5 | 36M| 41 | 5 | 120 | 424 | 120 | 13 | 22 | 348k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1624.48/1624.94 c 1625s| 6110k| 38292 | 15563k| 2.5 | 37M| 41 | 5 | 120 | 461 | 120 | 13 | 22 | 349k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1627.08/1627.55 c 1628s| 6120k| 39523 | 15585k| 2.5 | 38M| 41 | 5 | 120 | 480 | 120 | 13 | 22 | 350k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1629.58/1630.08 c 1630s| 6130k| 40211 | 15607k| 2.5 | 38M| 41 | 5 | 120 | 418 | 120 | 13 | 22 | 350k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1632.08/1632.57 c 1633s| 6140k| 40851 | 15628k| 2.5 | 39M| 41 | 5 | 120 | 429 | 120 | 13 | 22 | 351k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1634.58/1635.08 c 1635s| 6150k| 41332 | 15650k| 2.5 | 39M| 41 | 5 | 120 | 438 | 120 | 13 | 22 | 351k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1637.19/1637.61 c 1638s| 6160k| 41474 | 15671k| 2.5 | 39M| 41 | 5 | 120 | 423 | 120 | 13 | 22 | 352k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1639.68/1640.11 c 1640s| 6170k| 42069 | 15692k| 2.5 | 40M| 41 | - | 120 | 499 | 120 | 13 | 22 | 353k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1642.18/1642.63 c 1643s| 6180k| 42216 | 15712k| 2.5 | 40M| 41 | 5 | 120 | 461 | 120 | 13 | 22 | 353k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1644.68/1645.13 c 1645s| 6190k| 42425 | 15734k| 2.5 | 40M| 41 | 5 | 120 | 443 | 120 | 13 | 22 | 354k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1647.18/1647.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1647.18/1647.68 c 1648s| 6200k| 43349 | 15757k| 2.5 | 41M| 41 | 5 | 120 | 461 | 120 | 13 | 22 | 354k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1649.68/1650.18 c 1650s| 6210k| 43753 | 15777k| 2.5 | 41M| 41 | 5 | 120 | 513 | 120 | 13 | 22 | 355k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1652.28/1652.70 c 1653s| 6220k| 43894 | 15798k| 2.5 | 42M| 41 | - | 120 | 488 | 120 | 13 | 22 | 356k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1654.77/1655.24 c 1655s| 6230k| 44475 | 15820k| 2.5 | 42M| 41 | 5 | 120 | 480 | 120 | 13 | 22 | 356k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1657.28/1657.71 c 1658s| 6240k| 44867 | 15841k| 2.5 | 42M| 41 | - | 120 | 500 | 120 | 13 | 22 | 357k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1659.77/1660.22 c 1660s| 6250k| 44916 | 15863k| 2.5 | 42M| 41 | - | 120 | 402 | 0 | 0 | 22 | 357k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1662.27/1662.72 c 1663s| 6260k| 44770 | 15884k| 2.5 | 42M| 41 | 5 | 120 | 341 | 120 | 13 | 22 | 358k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1664.78/1665.20 c 1665s| 6270k| 45112 | 15905k| 2.5 | 43M| 41 | - | 120 | 381 | 120 | 13 | 22 | 358k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1667.27/1667.73 c 1668s| 6280k| 44909 | 15926k| 2.5 | 43M| 41 | - | 120 | 362 | 120 | 13 | 22 | 359k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1669.77/1670.24 c 1670s| 6290k| 44856 | 15947k| 2.5 | 43M| 41 | 5 | 120 | 397 | 120 | 13 | 22 | 360k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1672.28/1672.76 c 1673s| 6300k| 44680 | 15968k| 2.5 | 43M| 41 | 5 | 120 | 364 | 120 | 13 | 22 | 360k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1674.77/1675.27 c 1675s| 6310k| 44735 | 15990k| 2.5 | 43M| 41 | 5 | 120 | 406 | 120 | 13 | 22 | 361k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1677.27/1677.78 c 1678s| 6320k| 44576 | 16011k| 2.5 | 43M| 41 | - | 120 | 366 | 120 | 13 | 22 | 361k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1679.87/1680.30 c 1680s| 6330k| 44647 | 16031k| 2.5 | 43M| 41 | 5 | 120 | 443 | 120 | 13 | 22 | 362k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1682.37/1682.80 c 1683s| 6340k| 44471 | 16052k| 2.5 | 43M| 41 | - | 120 | 406 | 120 | 13 | 22 | 363k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1684.87/1685.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1684.87/1685.34 c 1685s| 6350k| 44217 | 16073k| 2.5 | 43M| 41 | 5 | 120 | 395 | 120 | 13 | 22 | 363k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1687.37/1687.86 c 1688s| 6360k| 43886 | 16094k| 2.5 | 43M| 41 | - | 120 | 367 | 0 | 0 | 22 | 364k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1689.87/1690.36 c 1690s| 6370k| 43624 | 16115k| 2.5 | 43M| 41 | - | 120 | 357 | 0 | 0 | 22 | 364k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1692.37/1692.88 c 1693s| 6380k| 43001 | 16136k| 2.5 | 43M| 41 | 5 | 120 | 341 | 120 | 13 | 22 | 365k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1694.96/1695.41 c 1695s| 6390k| 42494 | 16157k| 2.5 | 42M| 41 | - | 120 | 399 | 0 | 0 | 22 | 366k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1697.46/1697.94 c 1698s| 6400k| 41786 | 16177k| 2.5 | 42M| 41 | 5 | 120 | 350 | 120 | 13 | 22 | 366k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1699.96/1700.47 c 1700s| 6410k| 41357 | 16198k| 2.5 | 42M| 41 | - | 120 | 350 | 0 | 0 | 22 | 367k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1702.56/1703.01 c 1703s| 6420k| 40913 | 16220k| 2.5 | 41M| 41 | 5 | 120 | 361 | 120 | 13 | 22 | 367k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1705.07/1705.56 c 1706s| 6430k| 40125 | 16240k| 2.5 | 41M| 41 | - | 120 | 344 | 120 | 13 | 22 | 368k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1707.67/1708.12 c 1708s| 6440k| 39271 | 16260k| 2.5 | 40M| 41 | - | 120 | 335 | 0 | 0 | 22 | 369k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1710.16/1710.65 c 1711s| 6450k| 38787 | 16280k| 2.5 | 40M| 41 | - | 120 | 369 | 120 | 13 | 22 | 369k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1712.67/1713.19 c 1713s| 6460k| 38237 | 16303k| 2.5 | 40M| 41 | 5 | 120 | 333 | 120 | 13 | 22 | 370k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1715.26/1715.72 c 1716s| 6470k| 37765 | 16326k| 2.5 | 39M| 41 | - | 120 | 304 | 120 | 13 | 22 | 370k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1717.77/1718.25 c 1718s| 6480k| 37304 | 16349k| 2.5 | 39M| 41 | 5 | 120 | 292 | 120 | 13 | 22 | 371k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1720.36/1720.83 c 1721s| 6490k| 37166 | 16372k| 2.5 | 39M| 41 | - | 120 | 337 | 120 | 13 | 22 | 371k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1722.86/1723.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1722.86/1723.31 c 1723s| 6500k| 36850 | 16394k| 2.5 | 39M| 41 | 5 | 120 | 315 | 120 | 13 | 22 | 372k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1725.37/1725.86 c 1726s| 6510k| 36331 | 16417k| 2.5 | 38M| 41 | 5 | 120 | 332 | 120 | 13 | 22 | 372k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1727.86/1728.39 c 1728s| 6520k| 35894 | 16439k| 2.5 | 38M| 41 | - | 120 | 339 | 0 | 0 | 22 | 373k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1730.46/1730.91 c 1731s| 6530k| 35323 | 16461k| 2.5 | 38M| 41 | 5 | 120 | 274 | 120 | 13 | 22 | 373k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1732.96/1733.42 c 1733s| 6540k| 35071 | 16485k| 2.5 | 38M| 41 | 5 | 120 | 302 | 120 | 13 | 22 | 374k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1735.45/1735.96 c 1736s| 6550k| 34889 | 16508k| 2.5 | 38M| 41 | 5 | 120 | 338 | 120 | 13 | 22 | 374k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1737.96/1738.49 c 1738s| 6560k| 34313 | 16530k| 2.5 | 37M| 41 | - | 120 | 299 | 120 | 13 | 22 | 375k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1740.56/1741.00 c 1741s| 6570k| 33668 | 16552k| 2.5 | 37M| 41 | - | 120 | 286 | 0 | 0 | 22 | 375k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1743.06/1743.53 c 1744s| 6580k| 32899 | 16575k| 2.5 | 36M| 41 | 5 | 120 | 258 | 120 | 13 | 22 | 376k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1745.55/1746.04 c 1746s| 6590k| 33327 | 16598k| 2.5 | 36M| 41 | - | 120 | 285 | 120 | 13 | 22 | 376k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1748.06/1748.52 c 1749s| 6600k| 33697 | 16620k| 2.5 | 37M| 41 | - | 120 | 300 | 120 | 13 | 22 | 377k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1750.46/1750.99 c 1751s| 6610k| 33317 | 16642k| 2.5 | 37M| 41 | 5 | 120 | 276 | 120 | 13 | 22 | 377k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1752.96/1753.49 c 1753s| 6620k| 32798 | 16664k| 2.5 | 36M| 41 | - | 120 | 295 | 120 | 13 | 22 | 378k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1755.55/1756.02 c 1756s| 6630k| 32472 | 16689k| 2.5 | 36M| 41 | 5 | 120 | 272 | 120 | 13 | 22 | 378k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1758.05/1758.53 c 1759s| 6640k| 32186 | 16712k| 2.5 | 36M| 41 | - | 120 | 305 | 120 | 13 | 22 | 379k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1760.56/1761.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1760.56/1761.05 c 1761s| 6650k| 31374 | 16735k| 2.5 | 35M| 41 | 5 | 120 | 243 | 120 | 13 | 22 | 379k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1763.15/1763.60 c 1764s| 6660k| 31320 | 16757k| 2.5 | 35M| 41 | 5 | 120 | 302 | 120 | 13 | 22 | 380k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1765.64/1766.13 c 1766s| 6670k| 31395 | 16780k| 2.5 | 35M| 41 | - | 120 | 353 | 120 | 13 | 22 | 380k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1768.15/1768.69 c 1769s| 6680k| 31798 | 16803k| 2.5 | 36M| 41 | - | 120 | 435 | 0 | 0 | 22 | 381k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1770.75/1771.24 c 1771s| 6690k| 31579 | 16824k| 2.5 | 35M| 41 | 5 | 120 | 399 | 120 | 13 | 22 | 382k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1773.34/1773.81 c 1774s| 6700k| 31986 | 16844k| 2.5 | 36M| 41 | - | 120 | 531 | 120 | 13 | 22 | 382k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1775.96/1776.42 c 1776s| 6710k| 31821 | 16865k| 2.5 | 36M| 41 | 5 | 120 | 614 | 120 | 13 | 22 | 383k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1778.54/1779.03 c 1779s| 6720k| 31180 | 16885k| 2.5 | 35M| 41 | - | 120 | 430 | 120 | 13 | 22 | 384k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1781.05/1781.56 c 1782s| 6730k| 30635 | 16908k| 2.5 | 35M| 41 | - | 120 | 364 | 120 | 13 | 22 | 384k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1783.55/1784.10 c 1784s| 6740k| 30255 | 16930k| 2.5 | 34M| 41 | - | 120 | 336 | 0 | 0 | 22 | 385k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1786.14/1786.62 c 1787s| 6750k| 29411 | 16953k| 2.5 | 34M| 41 | 5 | 120 | 254 | 120 | 13 | 22 | 386k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1788.64/1789.12 c 1789s| 6760k| 28835 | 16975k| 2.5 | 33M| 41 | - | 120 | 259 | 120 | 13 | 22 | 386k| 30k| 0.000000e+00 | 2.000000e+00 | Inf
1789.55/1790.01 c
1789.55/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.55/1790.01 c Solving Time (sec) : 1790.00
1789.55/1790.01 c Solving Nodes : 6763529
1789.55/1790.01 c Primal Bound : +2.00000000000000e+00 (35 solutions)
1789.55/1790.01 c Dual Bound : +0.00000000000000e+00
1789.55/1790.01 c Gap : infinite
1789.55/1790.01 s SATISFIABLE
1789.55/1790.01 v x120 x119 -x118 -x117 x116 -x115 x114 -x113 x112 x111 -x110 x109 -x108 x107 -x106 -x105 -x104 x103 x102 x101 x100 -x99 -x98 -x97
1789.55/1790.01 v x96 -x95 -x94 -x93 -x92 x91 x90 -x89 x88 x87 x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
1789.55/1790.01 v -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46
1789.55/1790.01 v -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20
1789.55/1790.01 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1789.55/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.55/1790.01 c Solving Time : 1790.00
1789.55/1790.01 c Original Problem :
1789.55/1790.01 c Problem name : HOME/instance-2703919-1278562855.opb
1789.55/1790.01 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.55/1790.01 c Constraints : 10 initial, 10 maximal
1789.55/1790.01 c Presolved Problem :
1789.55/1790.01 c Problem name : t_HOME/instance-2703919-1278562855.opb
1789.55/1790.01 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.55/1790.01 c Constraints : 5 initial, 627 maximal
1789.55/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.55/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1789.55/1790.01 c linear : 0.00 0 0 0 0 0 5 0 0
1789.55/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.01 c root node : - 70 - - 70 - - - -
1789.55/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.55/1790.01 c integral : 0 0 0 3442632 0 1741 22573 0 0 6836716
1789.55/1790.01 c linear : 5+ 7 8617710 1 1 940009 6853937 0 0 0
1789.55/1790.01 c logicor : 0+ 0 3469738 0 0 9114 131752 0 0 0
1789.55/1790.01 c countsols : 0 0 0 19 1 0 0 0 0 0
1789.55/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.55/1790.01 c integral : 36.88 0.00 0.00 36.88 0.00
1789.55/1790.01 c linear : 394.14 0.00 394.14 0.00 0.00
1789.55/1790.01 c logicor : 19.92 0.00 19.92 0.00 0.00
1789.55/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.55/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.55/1790.01 c vbounds : 3.31 2 0 0
1789.55/1790.01 c rootredcost : 3.37 33 0 70
1789.55/1790.01 c pseudoobj : 46.93 8624194 6664 335647
1789.55/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.55/1790.01 c propagation : 47.15 955787 354108 470780 33.8 8 28.8 -
1789.55/1790.01 c infeasible LP : 1.66 29655 29655 37556 23.4 6 30.2 0
1789.55/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.55/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.55/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.55/1790.01 c applied globally : - - - 100214 26.0 - - -
1789.55/1790.01 c applied locally : - - - 286581 35.2 - - -
1789.55/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.55/1790.01 c cut pool : 0.00 5 - - 5 - (maximal pool size: 83)
1789.55/1790.01 c redcost : 38.76 3785841 0 6021809 0 0
1789.55/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.55/1790.01 c intobj : 0.00 0 0 0 0 0
1789.55/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.55/1790.01 c gomory : 0.01 6 0 0 0 0
1789.55/1790.01 c strongcg : 0.01 6 0 0 28 0
1789.55/1790.01 c cmir : 0.02 6 0 0 26 0
1789.55/1790.01 c flowcover : 0.03 6 0 0 36 0
1789.55/1790.01 c clique : 0.00 1 0 0 0 0
1789.55/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.55/1790.01 c mcf : 0.00 1 0 0 0 0
1789.55/1790.01 c rapidlearning : 0.09 1 0 0 0 103
1789.55/1790.01 c Pricers : Time Calls Vars
1789.55/1790.01 c problem variables: 0.00 0 0
1789.55/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.55/1790.01 c relpscost : 33.63 3442613 1741 22573 0 0 6836716
1789.55/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.55/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.55/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.55/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.55/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.55/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.55/1790.01 c random : 0.00 0 0 0 0 0 0
1789.55/1790.01 c Primal Heuristics : Time Calls Found
1789.55/1790.01 c LP solutions : 0.03 - 19
1789.55/1790.01 c pseudo solutions : 0.00 - 0
1789.55/1790.01 c feaspump : 0.24 1 0
1789.55/1790.01 c oneopt : 2.52 32 0
1789.55/1790.01 c crossover : 15.24 15 0
1789.55/1790.01 c rootsoldiving : 7.95 3219 2
1789.55/1790.01 c guideddiving : 7.23 7639 3
1789.55/1790.01 c pscostdiving : 8.22 7639 3
1789.55/1790.01 c coefdiving : 9.17 7639 2
1789.55/1790.01 c linesearchdiving : 7.43 7639 3
1789.55/1790.01 c veclendiving : 7.76 7639 0
1789.55/1790.01 c fracdiving : 7.99 7639 2
1789.55/1790.01 c objpscostdiving : 5.34 3828 0
1789.55/1790.01 c trivial : 0.00 2 0
1789.55/1790.01 c simplerounding : 1.76 0 0
1789.55/1790.01 c zirounding : 2.33 1000 0
1789.55/1790.01 c rounding : 3.03 27420 0
1789.55/1790.01 c shifting : 6.18 9445 0
1789.55/1790.01 c intshifting : 0.25 0 0
1789.55/1790.01 c twoopt : 0.00 0 0
1789.55/1790.01 c fixandinfer : 0.00 0 0
1789.55/1790.01 c intdiving : 0.00 0 0
1789.55/1790.01 c actconsdiving : 0.00 0 0
1789.55/1790.01 c octane : 0.00 0 0
1789.55/1790.01 c rens : 0.03 1 0
1789.55/1790.01 c rins : 0.00 0 0
1789.55/1790.01 c localbranching : 0.00 0 0
1789.55/1790.01 c mutation : 0.00 0 0
1789.55/1790.01 c dins : 0.00 0 0
1789.55/1790.01 c undercover : 0.00 0 0
1789.55/1790.01 c nlp : 2.00 0 0
1789.55/1790.01 c trysol : 3.14 0 0
1789.55/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.55/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.55/1790.01 c dual LP : 659.56 6211543 16324638 2.63 24750.64
1789.55/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.55/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.55/1790.01 c diving/probing LP: 27.79 249387 658885 2.64 23713.35
1789.55/1790.01 c strong branching : 5.39 30571 82274 2.69 15258.86
1789.55/1790.01 c (at root node) : - 9 240 26.67 -
1789.55/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.55/1790.01 c B&B Tree :
1789.55/1790.01 c number of runs : 1
1789.55/1790.01 c nodes : 6763529
1789.55/1790.01 c nodes (total) : 6763529
1789.55/1790.01 c nodes left : 28568
1789.55/1790.01 c max depth : 41
1789.55/1790.01 c max depth (total): 41
1789.55/1790.01 c backtracks : 1906279 (28.2%)
1789.55/1790.01 c delayed cutoffs : 39939
1789.55/1790.01 c repropagations : 166641 (297684 domain reductions, 35481 cutoffs)
1789.55/1790.01 c avg switch length: 5.50
1789.55/1790.01 c switching time : 150.78
1789.55/1790.01 c Solution :
1789.55/1790.01 c Solutions found : 35 (33 improvements)
1789.55/1790.01 c First Solution : +7.30000000000000e+02 (in run 1, after 1 nodes, 0.11 seconds, depth 0, found by <trysol>)
1789.55/1790.01 c Primal Bound : +2.00000000000000e+00 (in run 1, after 3616032 nodes, 1001.93 seconds, depth 27, found by <relaxation>)
1789.55/1790.01 c Dual Bound : +0.00000000000000e+00
1789.55/1790.01 c Gap : infinite
1789.55/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.55/1790.01 c Root Iterations : 87
1789.75/1790.26 c Time complete: 1789.81.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703919-1278562855/watcher-2703919-1278562855 -o /tmp/evaluation-result-2703919-1278562855/solver-2703919-1278562855 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703919-1278562855.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: 0.99 0.98 0.97 3/106 27620
/proc/meminfo: memFree=1695940/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=7904 CPUtime=0
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 1070 0 0 0 0 0 0 0 18 0 1 0 24497817 8093696 981 1992294400 4194304 8395647 140734745807280 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27620/statm: 1976 989 365 1026 0 946 0
[startup+0.0422799 s]
/proc/loadavg: 0.99 0.98 0.97 3/106 27620
/proc/meminfo: memFree=1695940/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=18924 CPUtime=0.03
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 4162 0 0 0 2 1 0 0 20 0 1 0 24497817 19378176 3720 1992294400 4194304 8395647 140734745807280 18446744073709551615 7382137 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 4731 3731 586 1026 0 3701 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18924
[startup+0.101285 s]
/proc/loadavg: 0.99 0.98 0.97 3/106 27620
/proc/meminfo: memFree=1695940/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=22468 CPUtime=0.1
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 4842 0 0 0 8 2 0 0 20 0 1 0 24497817 23007232 4400 1992294400 4194304 8395647 140734745807280 18446744073709551615 4785742 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 5617 4400 597 1026 0 4587 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 22468
[startup+0.301305 s]
/proc/loadavg: 0.99 0.98 0.97 3/106 27620
/proc/meminfo: memFree=1695940/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=23740 CPUtime=0.29
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 5505 0 0 0 27 2 0 0 20 0 1 0 24497817 24309760 5063 1992294400 4194304 8395647 140734745807280 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 5935 5063 621 1026 0 4905 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23740
[startup+0.701342 s]
/proc/loadavg: 0.99 0.98 0.97 3/106 27620
/proc/meminfo: memFree=1695940/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=23740 CPUtime=0.69
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 5507 0 0 0 65 4 0 0 20 0 1 0 24497817 24309760 5065 1992294400 4194304 8395647 140734745807280 18446744073709551615 7185516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 5935 5065 622 1026 0 4905 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23740
[startup+1.50142 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 27621
/proc/meminfo: memFree=1677952/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=23740 CPUtime=1.49
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 5514 0 0 0 142 7 0 0 23 0 1 0 24497817 24309760 5072 1992294400 4194304 8395647 140734745807280 18446744073709551615 5540992 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 5935 5072 623 1026 0 4905 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23740
[startup+3.10157 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 27621
/proc/meminfo: memFree=1677704/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=23740 CPUtime=3.09
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 5519 0 0 0 296 13 0 0 25 0 1 0 24497817 24309760 5077 1992294400 4194304 8395647 140734745807280 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 5935 5077 623 1026 0 4905 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23740
[startup+6.30088 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 27621
/proc/meminfo: memFree=1677208/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=22716 CPUtime=6.29
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 6096 0 0 0 600 29 0 0 25 0 1 0 24497817 23261184 4861 1992294400 4194304 8395647 140734745807280 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 5679 4861 623 1026 0 4649 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22716
[startup+12.7015 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 27621
/proc/meminfo: memFree=1677208/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=23740 CPUtime=12.69
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 6332 0 0 0 1210 59 0 0 25 0 1 0 24497817 24309760 5097 1992294400 4194304 8395647 140734745807280 18446744073709551615 5005918 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 5935 5097 623 1026 0 4905 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23740
[startup+25.5007 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 27621
/proc/meminfo: memFree=1675224/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=25028 CPUtime=25.49
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 10618 0 0 0 2418 131 0 0 25 0 1 0 24497817 25628672 5443 1992294400 4194304 8395647 140734745807280 18446744073709551615 4241012 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 6257 5443 626 1026 0 5227 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25028
[startup+51.1012 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 27623
/proc/meminfo: memFree=1677456/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=22716 CPUtime=51.07
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 10791 0 0 0 4865 242 0 0 25 0 1 0 24497817 23261184 4880 1992294400 4194304 8395647 140734745807280 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 5679 4880 626 1026 0 4649 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22716
[startup+102.308 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 27623
/proc/meminfo: memFree=1674480/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=26332 CPUtime=102.27
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 18429 0 0 0 9744 483 0 0 25 0 1 0 24497817 26963968 5777 1992294400 4194304 8395647 140734745807280 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 6583 5777 626 1026 0 5553 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 26332
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 27625
/proc/meminfo: memFree=1671256/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=29496 CPUtime=162.25
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 20093 0 0 0 15461 764 0 0 25 0 1 0 24497817 30203904 6591 1992294400 4194304 8395647 140734745807280 18446744073709551615 6586940 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 7374 6591 626 1026 0 6344 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 29496
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 27627
/proc/meminfo: memFree=1667536/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=32976 CPUtime=222.23
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 31547 0 0 0 21142 1081 0 0 25 0 1 0 24497817 33767424 7472 1992294400 4194304 8395647 140734745807280 18446744073709551615 5614301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 8244 7472 626 1026 0 7214 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 32976
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 27629
/proc/meminfo: memFree=1670388/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=29572 CPUtime=282.22
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 33078 0 0 0 26855 1367 0 0 25 0 1 0 24497817 30281728 6623 1992294400 4194304 8395647 140734745807280 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 7393 6623 626 1026 0 6363 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 29572
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 27631
/proc/meminfo: memFree=1669768/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=30084 CPUtime=342.2
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 43317 0 0 0 32530 1690 0 0 25 0 1 0 24497817 30806016 6753 1992294400 4194304 8395647 140734745807280 18446744073709551615 5027242 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 7521 6753 626 1026 0 6491 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 30084
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 27631
/proc/meminfo: memFree=1670140/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=29572 CPUtime=402.18
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 43933 0 0 0 38245 1973 0 0 25 0 1 0 24497817 30281728 6625 1992294400 4194304 8395647 140734745807280 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 7393 6625 626 1026 0 6363 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 29572
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 27633
/proc/meminfo: memFree=1670016/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=29572 CPUtime=462.17
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 45637 0 0 0 43947 2270 0 0 25 0 1 0 24497817 30281728 6625 1992294400 4194304 8395647 140734745807280 18446744073709551615 5926502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 7393 6625 626 1026 0 6363 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 29572
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 27635
/proc/meminfo: memFree=1670016/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=29572 CPUtime=522.16
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 45637 0 0 0 49658 2558 0 0 25 0 1 0 24497817 30281728 6625 1992294400 4194304 8395647 140734745807280 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 7393 6625 626 1026 0 6363 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 29572
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 27637
/proc/meminfo: memFree=1668776/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=30596 CPUtime=582.15
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 47586 0 0 0 55348 2867 0 0 25 0 1 0 24497817 31330304 6882 1992294400 4194304 8395647 140734745807280 18446744073709551615 6594146 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 7649 6882 626 1026 0 6619 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 30596
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 27639
/proc/meminfo: memFree=1668776/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=30596 CPUtime=642.13
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 47586 0 0 0 61065 3148 0 0 25 0 1 0 24497817 31330304 6882 1992294400 4194304 8395647 140734745807280 18446744073709551615 4967874 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 7649 6882 626 1026 0 6619 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 30596
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1646456/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=51692 CPUtime=1062.02
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 63465 0 0 0 101030 5172 0 0 25 0 1 0 24497817 52932608 12225 1992294400 4194304 8395647 140734745807280 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 12923 12225 626 1026 0 11893 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 51692
[startup+1122.3 s]
/proc/loadavg: 1.05 1.00 0.98 2/107 27651
/proc/meminfo: memFree=1646332/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=51692 CPUtime=1122.01
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 64314 0 0 0 106733 5468 0 0 25 0 1 0 24497817 52932608 12225 1992294400 4194304 8395647 140734745807280 18446744073709551615 5005929 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 12923 12225 626 1026 0 11893 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 51692
[startup+1182.3 s]
/proc/loadavg: 1.07 1.01 0.98 2/107 27653
/proc/meminfo: memFree=1646332/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=51692 CPUtime=1181.99
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 64314 0 0 0 112433 5766 0 0 25 0 1 0 24497817 52932608 12225 1992294400 4194304 8395647 140734745807280 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 12923 12225 626 1026 0 11893 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 51692
[startup+1242.3 s]
/proc/loadavg: 1.07 1.02 0.99 2/107 27655
/proc/meminfo: memFree=1646084/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=51708 CPUtime=1241.98
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 65167 0 0 0 118159 6039 0 0 25 0 1 0 24497817 52948992 12229 1992294400 4194304 8395647 140734745807280 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 12927 12229 626 1026 0 11897 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 51708
[startup+1302.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 27655
/proc/meminfo: memFree=1645960/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=51708 CPUtime=1301.97
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 65167 0 0 0 123889 6308 0 0 25 0 1 0 24497817 52948992 12229 1992294400 4194304 8395647 140734745807280 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 12927 12229 626 1026 0 11897 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 51708
[startup+1362.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 27657
/proc/meminfo: memFree=1645960/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=51708 CPUtime=1361.95
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 65167 0 0 0 129600 6595 0 0 25 0 1 0 24497817 52948992 12229 1992294400 4194304 8395647 140734745807280 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 12927 12229 626 1026 0 11897 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 51708
[startup+1422.31 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 27659
/proc/meminfo: memFree=1645836/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=51732 CPUtime=1421.94
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 66023 0 0 0 135307 6887 0 0 25 0 1 0 24497817 52973568 12235 1992294400 4194304 8395647 140734745807280 18446744073709551615 5007029 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 12933 12235 626 1026 0 11903 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 51732
[startup+1482.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 27661
/proc/meminfo: memFree=1645836/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=51732 CPUtime=1481.92
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 66023 0 0 0 141017 7175 0 0 25 0 1 0 24497817 52973568 12235 1992294400 4194304 8395647 140734745807280 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 12933 12235 626 1026 0 11903 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 51732
[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 27663
/proc/meminfo: memFree=1645712/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=51732 CPUtime=1541.91
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 66023 0 0 0 146735 7456 0 0 25 0 1 0 24497817 52973568 12235 1992294400 4194304 8395647 140734745807280 18446744073709551615 5031142 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 12933 12235 626 1026 0 11903 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 51732
[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 27663
/proc/meminfo: memFree=1645712/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=52220 CPUtime=1601.89
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 66113 0 0 0 152470 7719 0 0 25 0 1 0 24497817 53473280 12325 1992294400 4194304 8395647 140734745807280 18446744073709551615 18446744073699066094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 13055 12325 626 1026 0 12025 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 52220
[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 27665
/proc/meminfo: memFree=1636164/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=61556 CPUtime=1661.87
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 68518 0 0 0 158204 7983 0 0 25 0 1 0 24497817 63033344 14730 1992294400 4194304 8395647 140734745807280 18446744073709551615 4995782 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 15389 14730 626 1026 0 14359 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 61556
[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 27667
/proc/meminfo: memFree=1634312/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=62308 CPUtime=1721.86
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 68674 0 0 0 163958 8228 0 0 25 0 1 0 24497817 63803392 14886 1992294400 4194304 8395647 140734745807280 18446744073709551615 6215362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 15577 14886 626 1026 0 14547 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 62308
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27669
/proc/meminfo: memFree=1633940/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=62308 CPUtime=1781.84
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 68683 0 0 0 169693 8491 0 0 25 0 1 0 24497817 63803392 14895 1992294400 4194304 8395647 140734745807280 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 15577 14895 626 1026 0 14547 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 62308
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27669
/proc/meminfo: memFree=1633940/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=62308 CPUtime=1785.04
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 68683 0 0 0 169998 8506 0 0 25 0 1 0 24497817 63803392 14895 1992294400 4194304 8395647 140734745807280 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 15577 14895 626 1026 0 14547 0
Current children cumulated CPU time (s) 1785.04
Current children cumulated vsize (KiB) 62308
[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27669
/proc/meminfo: memFree=1633940/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=62308 CPUtime=1788.25
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 68683 0 0 0 170304 8521 0 0 25 0 1 0 24497817 63803392 14895 1992294400 4194304 8395647 140734745807280 18446744073709551615 5026706 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 15577 14895 626 1026 0 14547 0
Current children cumulated CPU time (s) 1788.25
Current children cumulated vsize (KiB) 62308
[startup+1789.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27669
/proc/meminfo: memFree=1633940/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=62308 CPUtime=1789.04
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 68683 0 0 0 170380 8524 0 0 25 0 1 0 24497817 63803392 14895 1992294400 4194304 8395647 140734745807280 18446744073709551615 4243809 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 15577 14895 626 1026 0 14547 0
Current children cumulated CPU time (s) 1789.04
Current children cumulated vsize (KiB) 62308
[startup+1789.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27669
/proc/meminfo: memFree=1633940/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=62308 CPUtime=1789.44
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 68683 0 0 0 170419 8525 0 0 25 0 1 0 24497817 63803392 14895 1992294400 4194304 8395647 140734745807280 18446744073709551615 6068915 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27620/statm: 15577 14895 626 1026 0 14547 0
Current children cumulated CPU time (s) 1789.44
Current children cumulated vsize (KiB) 62308
[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27669
/proc/meminfo: memFree=1633940/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=62308 CPUtime=1789.65
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 68685 0 0 0 170439 8526 0 0 25 0 1 0 24497817 63803392 14897 1992294400 4194304 8395647 140734745807280 18446744073709551615 6310374 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27620/statm: 15577 14897 628 1026 0 14547 0
Current children cumulated CPU time (s) 1789.65
Current children cumulated vsize (KiB) 62308
[startup+1790.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27669
/proc/meminfo: memFree=1633940/2059040 swapFree=4139400/4192956
[pid=27620] ppid=27618 vsize=62308 CPUtime=1789.75
/proc/27620/stat : 27620 (pbscip.linux.x8) R 27618 27620 27373 0 -1 4202496 68685 0 0 0 170449 8526 0 0 25 0 1 0 24497817 63803392 14897 1992294400 4194304 8395647 140734745807280 18446744073709551615 6345233 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27620/statm: 15577 14897 628 1026 0 14547 0
Current children cumulated CPU time (s) 1789.75
Current children cumulated vsize (KiB) 62308
Child status: 0
Real time (s): 1790.27
CPU time (s): 1789.82
CPU user time (s): 1704.55
CPU system time (s): 85.267
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 62308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1704.55
system time used= 85.267
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68688
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 4341
runsolver used 3.06353 second user time and 8.36473 second system time
The end