0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
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-2667086-1276617113.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.01 c (round 1) 0 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.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.2
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 = 1800
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 # 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 # 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.03 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.03 c 0.0s| 1 | 0 | 21 | - | 422k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 o 730
0.09/0.12 c y 0.1s| 1 | 0 | 42 | - | 454k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | 7.300000e+02 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 54 | - | 593k| 0 | 8 | 120 | 108 | 120 | 12 | 7 | 0 | 0 | 0.000000e+00 | 7.300000e+02 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 60 | - | 638k| 0 | 11 | 120 | 108 | 120 | 16 | 11 | 0 | 0 | 0.000000e+00 | 7.300000e+02 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 68 | - | 663k| 0 | 13 | 120 | 108 | 120 | 20 | 15 | 0 | 0 | 0.000000e+00 | 7.300000e+02 | Inf
0.09/0.16 c 0.1s| 1 | 0 | 74 | - | 687k| 0 | 14 | 120 | 108 | 120 | 23 | 18 | 0 | 0 | 0.000000e+00 | 7.300000e+02 | Inf
0.09/0.18 c 0.1s| 1 | 0 | 83 | - | 711k| 0 | 11 | 120 | 108 | 120 | 25 | 20 | 0 | 0 | 0.000000e+00 | 7.300000e+02 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 87 | - | 752k| 0 | 13 | 120 | 108 | 120 | 27 | 22 | 0 | 0 | 0.000000e+00 | 7.300000e+02 | Inf
0.19/0.24 c 0.2s| 1 | 2 | 87 | - | 752k| 0 | 13 | 120 | 108 | 120 | 27 | 22 | 0 | 9 | 0.000000e+00 | 7.300000e+02 | Inf
0.29/0.30 o 214
0.29/0.30 c p 0.2s| 35 | 36 | 346 | 7.6 | 814k| 20 | - | 120 | 108 | 120 | 13 | 22 | 2 | 130 | 0.000000e+00 | 2.140000e+02 | Inf
0.39/0.43 o 213
0.39/0.43 c * 0.4s| 153 | 150 | 1086 | 6.6 | 867k| 27 | - | 120 | 113 | 120 | 13 | 22 | 14 | 274 | 0.000000e+00 | 2.130000e+02 | Inf
0.39/0.43 o 211
0.39/0.43 c * 0.4s| 156 | 151 | 1090 | 6.5 | 870k| 28 | - | 120 | 113 | 120 | 13 | 22 | 14 | 282 | 0.000000e+00 | 2.110000e+02 | Inf
0.39/0.46 o 143
0.39/0.46 c f 0.4s| 188 | 180 | 1258 | 6.3 | 892k| 28 | - | 120 | 113 | 120 | 13 | 22 | 14 | 293 | 0.000000e+00 | 1.430000e+02 | Inf
0.49/0.51 o 142
0.49/0.51 c * 0.4s| 258 | 246 | 1496 | 5.5 | 931k| 32 | - | 120 | 114 | 120 | 13 | 22 | 19 | 318 | 0.000000e+00 | 1.420000e+02 | Inf
0.49/0.52 o 141
0.49/0.52 c * 0.5s| 272 | 258 | 1558 | 5.4 | 939k| 34 | - | 120 | 114 | 120 | 13 | 22 | 19 | 335 | 0.000000e+00 | 1.410000e+02 | Inf
0.49/0.55 o 140
0.49/0.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.55 c * 0.5s| 300 | 280 | 1744 | 5.5 | 955k| 34 | - | 120 | 118 | 120 | 13 | 22 | 23 | 368 | 0.000000e+00 | 1.400000e+02 | Inf
0.49/0.55 o 137
0.49/0.55 c c 0.5s| 303 | 281 | 1753 | 5.5 | 958k| 34 | - | 120 | 118 | 120 | 13 | 22 | 23 | 380 | 0.000000e+00 | 1.370000e+02 | Inf
0.49/0.58 o 136
0.49/0.58 c * 0.5s| 334 | 310 | 1884 | 5.4 | 975k| 34 | - | 120 | 118 | 120 | 13 | 22 | 23 | 397 | 0.000000e+00 | 1.360000e+02 | Inf
0.49/0.58 o 132
0.49/0.58 c * 0.5s| 335 | 307 | 1884 | 5.4 | 973k| 34 | - | 120 | 118 | 120 | 13 | 22 | 23 | 397 | 0.000000e+00 | 1.320000e+02 | Inf
0.59/0.66 o 80
0.59/0.66 c c 0.6s| 454 | 396 | 2390 | 5.1 |1029k| 34 | - | 120 | 118 | 120 | 13 | 22 | 29 | 415 | 0.000000e+00 | 8.000000e+01 | Inf
0.69/0.71 o 79
0.69/0.71 c l 0.6s| 529 | 462 | 2689 | 4.9 |1056k| 34 | - | 120 | 106 | 120 | 13 | 22 | 33 | 437 | 0.000000e+00 | 7.900000e+01 | Inf
0.79/0.89 o 73
0.79/0.89 c g 0.8s| 790 | 706 | 3866 | 4.8 |1176k| 34 | - | 120 | 111 | 120 | 13 | 22 | 53 | 501 | 0.000000e+00 | 7.300000e+01 | Inf
1.19/1.25 o 72
1.19/1.25 c l 1.1s| 1336 | 1226 | 6672 | 4.9 |1454k| 34 | - | 120 | 127 | 120 | 13 | 22 | 101 | 540 | 0.000000e+00 | 7.200000e+01 | Inf
1.29/1.30 o 70
1.29/1.30 c l 1.2s| 1400 | 1288 | 6982 | 4.9 |1498k| 34 | - | 120 | 130 | 120 | 13 | 22 | 111 | 548 | 0.000000e+00 | 7.000000e+01 | Inf
1.69/1.78 o 51
1.69/1.78 c g 1.6s| 2060 | 1860 | 10846 | 5.2 |1805k| 34 | - | 120 | 156 | 120 | 13 | 22 | 196 | 558 | 0.000000e+00 | 5.100000e+01 | Inf
1.89/1.99 o 24
1.89/1.99 c g 1.8s| 2357 | 1851 | 12598 | 5.3 |1778k| 34 | - | 120 | 78 | 120 | 13 | 22 | 240 | 571 | 0.000000e+00 | 2.400000e+01 | Inf
4.30/4.35 o 22
4.30/4.35 c p 3.9s| 5089 | 3731 | 31800 | 6.2 |2764k| 36 | - | 120 | 160 | 120 | 13 | 22 | 879 | 689 | 0.000000e+00 | 2.200000e+01 | Inf
4.30/4.36 o 20
4.30/4.36 c f 3.9s| 5089 | 3648 | 31800 | 6.2 |2713k| 36 | - | 120 | 160 | 120 | 13 | 22 | 882 | 689 | 0.000000e+00 | 2.000000e+01 | Inf
4.89/4.92 o 17
4.89/4.92 c p 4.4s| 5828 | 4039 | 35894 | 6.1 |2887k| 36 | - | 120 | 162 | 120 | 13 | 22 |1017 | 704 | 0.000000e+00 | 1.700000e+01 | Inf
4.99/5.00 o 16
4.99/5.00 c * 4.5s| 5940 | 3887 | 36487 | 6.1 |2789k| 36 | - | 120 | 167 | 120 | 13 | 22 |1040 | 716 | 0.000000e+00 | 1.600000e+01 | Inf
5.89/5.94 o 15
5.89/5.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.89/5.94 c * 5.3s| 7486 | 4748 | 44012 | 5.9 |3198k| 36 | - | 120 | 154 | 120 | 13 | 22 |1297 | 778 | 0.000000e+00 | 1.500000e+01 | Inf
5.89/5.95 o 13
5.89/5.95 c * 5.3s| 7487 | 4664 | 44012 | 5.9 |3133k| 36 | - | 120 | 154 | 120 | 13 | 22 |1297 | 778 | 0.000000e+00 | 1.300000e+01 | Inf
6.09/6.10 o 12
6.09/6.10 c * 5.5s| 7820 | 4745 | 45219 | 5.8 |3157k| 36 | - | 120 | 154 | 120 | 13 | 22 |1334 | 786 | 0.000000e+00 | 1.200000e+01 | Inf
6.09/6.10 o 10
6.09/6.10 c * 5.5s| 7821 | 4633 | 45219 | 5.8 |3068k| 36 | - | 120 | 154 | 120 | 13 | 22 |1334 | 786 | 0.000000e+00 | 1.000000e+01 | Inf
7.29/7.40 c 6.6s| 10000 | 5403 | 54035 | 5.4 |3462k| 36 | - | 120 | 162 | 120 | 13 | 22 |1535 | 888 | 0.000000e+00 | 1.000000e+01 | Inf
11.49/11.57 c 10.4s| 20000 | 7787 | 87180 | 4.4 |4808k| 36 | 5 | 120 | 195 | 120 | 13 | 22 |2443 |1327 | 0.000000e+00 | 1.000000e+01 | Inf
14.69/14.74 o 9
14.69/14.74 c *13.3s| 28107 | 8602 |112056 | 4.0 |5505k| 36 | - | 120 | 194 | 120 | 13 | 22 |3153 |1679 | 0.000000e+00 | 9.000000e+00 | Inf
17.09/17.18 c 15.4s| 30000 | 8814 |117296 | 3.9 |5650k| 36 | 5 | 120 | 204 | 120 | 13 | 22 |3310 |1755 | 0.000000e+00 | 9.000000e+00 | Inf
18.49/18.55 o 8
18.49/18.55 c *16.6s| 33730 | 8769 |126896 | 3.8 |5678k| 36 | - | 120 | 218 | 120 | 13 | 22 |3577 |1940 | 0.000000e+00 | 8.000000e+00 | Inf
18.49/18.55 o 6
18.49/18.55 c *16.6s| 33731 | 8527 |126896 | 3.8 |5392k| 36 | - | 120 | 218 | 120 | 13 | 22 |3577 |1940 | 0.000000e+00 | 6.000000e+00 | Inf
20.69/20.73 c 18.6s| 40000 | 9065 |144942 | 3.6 |5767k| 36 | 5 | 120 | 231 | 120 | 13 | 22 |4072 |2065 | 0.000000e+00 | 6.000000e+00 | Inf
24.20/24.21 c 21.7s| 50000 | 8712 |171898 | 3.4 |5646k| 36 | 5 | 120 | 251 | 120 | 13 | 22 |4986 |2279 | 0.000000e+00 | 6.000000e+00 | Inf
27.50/27.58 c 24.7s| 60000 | 8770 |200519 | 3.3 |5747k| 36 | 5 | 120 | 278 | 120 | 13 | 22 |5712 |2508 | 0.000000e+00 | 6.000000e+00 | Inf
30.98/31.08 c 27.9s| 70000 | 8984 |229075 | 3.3 |5876k| 36 | 5 | 120 | 294 | 120 | 13 | 22 |6519 |2768 | 0.000000e+00 | 6.000000e+00 | Inf
34.38/34.49 c 31.0s| 80000 | 8943 |255726 | 3.2 |6020k| 36 | 5 | 120 | 258 | 120 | 13 | 22 |7393 |3004 | 0.000000e+00 | 6.000000e+00 | Inf
37.88/37.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.88/37.90 c 34.0s| 90000 | 8970 |283718 | 3.2 |6078k| 36 | 5 | 120 | 274 | 120 | 13 | 22 |8190 |3210 | 0.000000e+00 | 6.000000e+00 | Inf
41.39/41.42 c 37.2s|100000 | 9316 |311611 | 3.1 |6449k| 36 | 5 | 120 | 299 | 120 | 13 | 22 |8889 |3392 | 0.000000e+00 | 6.000000e+00 | Inf
44.88/44.91 c 40.3s|110000 | 8929 |339069 | 3.1 |6242k| 36 | - | 120 | 262 | 120 | 13 | 22 |9711 |3557 | 0.000000e+00 | 6.000000e+00 | Inf
48.29/48.38 c 43.5s|120000 | 8839 |367734 | 3.1 |5927k| 36 | - | 120 | 191 | 120 | 13 | 22 | 10k|3698 | 0.000000e+00 | 6.000000e+00 | Inf
51.59/51.70 c 46.5s|130000 | 8743 |396113 | 3.0 |5997k| 36 | 5 | 120 | 178 | 120 | 13 | 22 | 11k|3851 | 0.000000e+00 | 6.000000e+00 | Inf
54.98/55.06 c 49.5s|140000 | 8518 |423809 | 3.0 |5767k| 36 | 5 | 120 | 189 | 120 | 13 | 22 | 12k|3988 | 0.000000e+00 | 6.000000e+00 | Inf
58.28/58.38 c 52.4s|150000 | 8806 |450581 | 3.0 |6014k| 36 | 5 | 120 | 151 | 120 | 13 | 22 | 12k|4159 | 0.000000e+00 | 6.000000e+00 | Inf
61.67/61.71 c 55.4s|160000 | 9396 |478355 | 3.0 |6518k| 36 | 5 | 120 | 152 | 120 | 13 | 22 | 13k|4296 | 0.000000e+00 | 6.000000e+00 | Inf
64.18/64.26 o 5
64.18/64.26 c *57.7s|167796 | 9178 |499257 | 3.0 |6364k| 36 | - | 120 | 139 | 120 | 13 | 22 | 13k|4407 | 0.000000e+00 | 5.000000e+00 | Inf
64.88/64.97 c 58.3s|170000 | 9165 |505008 | 3.0 |6375k| 36 | - | 120 | 135 | 120 | 13 | 22 | 13k|4439 | 0.000000e+00 | 5.000000e+00 | Inf
68.08/68.15 c 61.1s|180000 | 8673 |530795 | 2.9 |6064k| 36 | - | 120 | 125 | 0 | 0 | 22 | 14k|4607 | 0.000000e+00 | 5.000000e+00 | Inf
71.27/71.40 c 64.0s|190000 | 8465 |557889 | 2.9 |5814k| 36 | 5 | 120 | 119 | 120 | 13 | 22 | 15k|4817 | 0.000000e+00 | 5.000000e+00 | Inf
74.47/74.57 c 66.9s|200000 | 8357 |582776 | 2.9 |5787k| 36 | 5 | 120 | 106 | 120 | 13 | 22 | 15k|5015 | 0.000000e+00 | 5.000000e+00 | Inf
77.98/78.00 c 70.0s|210000 | 9821 |612777 | 2.9 |6335k| 36 | 5 | 120 | 105 | 120 | 13 | 22 | 16k|5191 | 0.000000e+00 | 5.000000e+00 | Inf
81.27/81.31 c 72.9s|220000 | 10893 |641655 | 2.9 |7068k| 36 | 5 | 120 | 113 | 120 | 13 | 22 | 17k|5358 | 0.000000e+00 | 5.000000e+00 | Inf
84.58/84.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.58/84.69 c 76.0s|230000 | 11990 |671269 | 2.9 |7784k| 36 | - | 120 | 111 | 120 | 13 | 22 | 17k|5539 | 0.000000e+00 | 5.000000e+00 | Inf
87.88/87.93 c 78.9s|240000 | 12311 |699299 | 2.9 |8162k| 36 | 5 | 120 | 125 | 120 | 13 | 22 | 18k|5678 | 0.000000e+00 | 5.000000e+00 | Inf
91.07/91.13 c 81.7s|250000 | 12554 |726280 | 2.9 |8477k| 36 | - | 120 | 108 | 120 | 13 | 22 | 19k|5818 | 0.000000e+00 | 5.000000e+00 | Inf
94.27/94.36 c 84.6s|260000 | 12502 |753394 | 2.9 |8600k| 36 | 5 | 120 | 102 | 120 | 13 | 22 | 19k|5954 | 0.000000e+00 | 5.000000e+00 | Inf
97.57/97.68 c 87.5s|270000 | 13288 |781758 | 2.9 |9176k| 36 | 5 | 120 | 120 | 120 | 13 | 22 | 20k|6082 | 0.000000e+00 | 5.000000e+00 | Inf
100.86/100.92 c 90.4s|280000 | 13710 |808917 | 2.9 |9597k| 36 | - | 120 | 127 | 120 | 13 | 22 | 21k|6229 | 0.000000e+00 | 5.000000e+00 | Inf
104.07/104.10 c 93.2s|290000 | 13368 |835260 | 2.9 |9530k| 36 | - | 120 | 101 | 120 | 13 | 22 | 21k|6389 | 0.000000e+00 | 5.000000e+00 | Inf
107.36/107.40 c 96.2s|300000 | 13640 |863426 | 2.9 |9790k| 36 | 5 | 120 | 117 | 120 | 13 | 22 | 22k|6533 | 0.000000e+00 | 5.000000e+00 | Inf
110.66/110.77 c 99.2s|310000 | 14824 |893238 | 2.9 | 10M| 36 | 5 | 120 | 118 | 120 | 13 | 22 | 23k|6679 | 0.000000e+00 | 5.000000e+00 | Inf
113.96/114.09 c 102s|320000 | 15736 |921308 | 2.9 | 11M| 36 | - | 120 | 119 | 120 | 13 | 22 | 24k|6841 | 0.000000e+00 | 5.000000e+00 | Inf
117.27/117.31 c 105s|330000 | 16042 |948545 | 2.9 | 11M| 36 | 5 | 120 | 104 | 120 | 13 | 22 | 24k|6974 | 0.000000e+00 | 5.000000e+00 | Inf
120.46/120.55 c 108s|340000 | 16305 |975446 | 2.9 | 11M| 36 | - | 120 | 102 | 120 | 13 | 22 | 25k|7118 | 0.000000e+00 | 5.000000e+00 | Inf
123.66/123.75 c 111s|350000 | 16411 | 1001k| 2.9 | 12M| 36 | - | 120 | 106 | 120 | 13 | 22 | 26k|7252 | 0.000000e+00 | 5.000000e+00 | Inf
126.86/126.91 c 114s|360000 | 16077 | 1027k| 2.9 | 12M| 36 | - | 120 | 109 | 120 | 13 | 22 | 27k|7378 | 0.000000e+00 | 5.000000e+00 | Inf
129.96/130.08 c 116s|370000 | 15870 | 1052k| 2.8 | 12M| 36 | - | 120 | 107 | 120 | 13 | 22 | 28k|7499 | 0.000000e+00 | 5.000000e+00 | Inf
133.15/133.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
133.15/133.28 c 119s|380000 | 15800 | 1079k| 2.8 | 12M| 36 | 5 | 120 | 114 | 120 | 13 | 22 | 28k|7638 | 0.000000e+00 | 5.000000e+00 | Inf
136.37/136.47 c 122s|390000 | 15057 | 1104k| 2.8 | 11M| 36 | - | 120 | 110 | 120 | 13 | 22 | 29k|7774 | 0.000000e+00 | 5.000000e+00 | Inf
139.56/139.67 c 125s|400000 | 14508 | 1130k| 2.8 | 11M| 36 | - | 120 | 106 | 120 | 13 | 22 | 30k|7912 | 0.000000e+00 | 5.000000e+00 | Inf
142.76/142.89 c 128s|410000 | 14300 | 1157k| 2.8 | 11M| 36 | 5 | 120 | 103 | 120 | 13 | 22 | 31k|8053 | 0.000000e+00 | 5.000000e+00 | Inf
146.06/146.16 c 131s|420000 | 14573 | 1186k| 2.8 | 11M| 36 | - | 120 | 112 | 120 | 13 | 22 | 31k|8179 | 0.000000e+00 | 5.000000e+00 | Inf
149.26/149.38 c 134s|430000 | 14054 | 1212k| 2.8 | 11M| 37 | - | 120 | 106 | 0 | 0 | 22 | 32k|8340 | 0.000000e+00 | 5.000000e+00 | Inf
152.55/152.66 c 137s|440000 | 14203 | 1240k| 2.8 | 11M| 37 | - | 120 | 110 | 120 | 13 | 22 | 33k|8491 | 0.000000e+00 | 5.000000e+00 | Inf
155.85/155.96 c 140s|450000 | 14498 | 1268k| 2.8 | 11M| 37 | - | 120 | 105 | 120 | 13 | 22 | 33k|8639 | 0.000000e+00 | 5.000000e+00 | Inf
159.15/159.23 c 143s|460000 | 14739 | 1296k| 2.8 | 12M| 37 | 5 | 120 | 118 | 120 | 13 | 22 | 34k|8791 | 0.000000e+00 | 5.000000e+00 | Inf
162.45/162.57 c 146s|470000 | 15389 | 1325k| 2.8 | 12M| 37 | 5 | 120 | 94 | 120 | 13 | 22 | 35k|8951 | 0.000000e+00 | 5.000000e+00 | Inf
165.75/165.87 c 148s|480000 | 15671 | 1353k| 2.8 | 12M| 37 | 5 | 120 | 89 | 120 | 13 | 22 | 36k|9093 | 0.000000e+00 | 5.000000e+00 | Inf
169.05/169.14 c 151s|490000 | 16032 | 1381k| 2.8 | 13M| 37 | 5 | 120 | 108 | 120 | 13 | 22 | 36k|9220 | 0.000000e+00 | 5.000000e+00 | Inf
172.35/172.42 c 154s|500000 | 16694 | 1408k| 2.8 | 13M| 37 | - | 120 | 101 | 120 | 13 | 22 | 37k|9385 | 0.000000e+00 | 5.000000e+00 | Inf
175.55/175.64 c 157s|510000 | 16426 | 1434k| 2.8 | 13M| 37 | 5 | 120 | 81 | 120 | 13 | 22 | 38k|9555 | 0.000000e+00 | 5.000000e+00 | Inf
178.84/178.93 c 160s|520000 | 16027 | 1461k| 2.8 | 13M| 37 | 5 | 120 | 80 | 120 | 13 | 22 | 38k|9684 | 0.000000e+00 | 5.000000e+00 | Inf
182.05/182.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.05/182.17 c 163s|530000 | 15410 | 1489k| 2.8 | 13M| 37 | - | 120 | 84 | 120 | 13 | 22 | 39k|9810 | 0.000000e+00 | 5.000000e+00 | Inf
185.35/185.41 c 166s|540000 | 14345 | 1514k| 2.8 | 12M| 37 | - | 120 | 74 | 120 | 13 | 22 | 40k|9946 | 0.000000e+00 | 5.000000e+00 | Inf
186.75/186.82 o 4
186.75/186.82 c * 167s|544399 | 13863 | 1526k| 2.8 | 11M| 37 | - | 120 | 85 | 120 | 13 | 22 | 40k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
188.55/188.62 c 169s|550000 | 13722 | 1542k| 2.8 | 11M| 37 | - | 120 | 91 | 120 | 13 | 22 | 40k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
193.34/193.48 c 173s|560000 | 12959 | 1568k| 2.8 | 10M| 37 | - | 120 | 82 | 0 | 0 | 22 | 41k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
197.74/197.86 c 177s|570000 | 12317 | 1594k| 2.8 | 10M| 37 | 5 | 120 | 68 | 120 | 13 | 22 | 42k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
200.84/200.95 c 180s|580000 | 12776 | 1622k| 2.8 | 10M| 37 | 5 | 120 | 124 | 120 | 13 | 22 | 43k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
203.84/203.99 c 182s|590000 | 12304 | 1649k| 2.8 | 10M| 37 | 5 | 120 | 88 | 120 | 13 | 22 | 43k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
206.94/207.08 c 185s|600000 | 11799 | 1675k| 2.8 |9992k| 37 | 5 | 120 | 90 | 120 | 13 | 22 | 44k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
210.04/210.16 c 188s|610000 | 11468 | 1703k| 2.8 |9695k| 37 | - | 120 | 93 | 120 | 13 | 22 | 45k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
213.04/213.19 c 191s|620000 | 10817 | 1729k| 2.8 |9122k| 37 | 5 | 120 | 94 | 120 | 13 | 22 | 45k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
216.14/216.28 c 193s|630000 | 10213 | 1756k| 2.8 |8584k| 37 | - | 120 | 105 | 120 | 13 | 22 | 46k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
219.34/219.41 c 196s|640000 | 10625 | 1784k| 2.8 |8804k| 37 | - | 120 | 120 | 120 | 13 | 22 | 47k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
222.34/222.47 c 199s|650000 | 10379 | 1812k| 2.8 |8774k| 37 | 5 | 120 | 125 | 120 | 13 | 22 | 47k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
225.44/225.55 c 202s|660000 | 10699 | 1839k| 2.8 |9003k| 37 | 5 | 120 | 140 | 120 | 13 | 22 | 48k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
228.54/228.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
228.54/228.62 c 204s|670000 | 10139 | 1865k| 2.8 |8642k| 37 | - | 120 | 125 | 120 | 13 | 22 | 49k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
231.63/231.70 c 207s|680000 | 10392 | 1893k| 2.8 |8671k| 37 | - | 120 | 136 | 120 | 13 | 22 | 49k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
234.64/234.74 c 210s|690000 | 10478 | 1919k| 2.8 |8860k| 37 | - | 120 | 138 | 120 | 13 | 22 | 50k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
237.63/237.74 c 213s|700000 | 10031 | 1946k| 2.8 |8528k| 37 | - | 120 | 116 | 120 | 13 | 22 | 51k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
240.74/240.81 c 215s|710000 | 9862 | 1973k| 2.8 |8367k| 37 | - | 120 | 136 | 120 | 13 | 22 | 51k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
243.73/243.88 c 218s|720000 | 9656 | 2000k| 2.8 |8058k| 37 | - | 120 | 122 | 120 | 13 | 22 | 52k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
246.83/246.92 c 221s|730000 | 9305 | 2026k| 2.8 |7777k| 37 | - | 120 | 123 | 120 | 13 | 22 | 53k| 10k| 0.000000e+00 | 4.000000e+00 | Inf
249.93/250.00 c 223s|740000 | 9466 | 2053k| 2.8 |7898k| 37 | - | 120 | 133 | 0 | 0 | 22 | 53k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
252.94/253.03 c 226s|750000 | 8902 | 2080k| 2.8 |7292k| 37 | 5 | 120 | 108 | 120 | 13 | 22 | 54k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
256.03/256.11 c 229s|760000 | 8539 | 2106k| 2.8 |6771k| 37 | - | 120 | 114 | 120 | 13 | 22 | 55k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
259.12/259.28 c 232s|770000 | 9560 | 2134k| 2.8 |7307k| 37 | 5 | 120 | 112 | 120 | 13 | 22 | 55k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
262.23/262.31 c 234s|780000 | 9754 | 2162k| 2.8 |7579k| 37 | 5 | 120 | 113 | 120 | 13 | 22 | 56k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
265.32/265.41 c 237s|790000 | 9461 | 2188k| 2.8 |7442k| 37 | 5 | 120 | 116 | 120 | 13 | 22 | 57k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
268.42/268.54 c 240s|800000 | 10639 | 2216k| 2.8 |8190k| 37 | - | 120 | 121 | 120 | 13 | 22 | 58k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
271.53/271.61 c 243s|810000 | 11325 | 2242k| 2.8 |8714k| 37 | - | 120 | 125 | 0 | 0 | 22 | 58k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
274.52/274.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
274.52/274.68 c 245s|820000 | 11869 | 2269k| 2.8 |9181k| 37 | 5 | 120 | 122 | 120 | 13 | 22 | 59k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
277.62/277.73 c 248s|830000 | 11925 | 2294k| 2.8 |9369k| 37 | - | 120 | 120 | 120 | 13 | 22 | 60k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
280.62/280.74 c 251s|840000 | 11465 | 2320k| 2.8 |9234k| 37 | - | 120 | 113 | 120 | 13 | 22 | 60k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
283.62/283.77 c 254s|850000 | 10856 | 2345k| 2.8 |8970k| 37 | 5 | 120 | 131 | 120 | 13 | 22 | 61k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
286.82/286.99 c 256s|860000 | 12096 | 2373k| 2.8 |9589k| 37 | - | 120 | 120 | 120 | 13 | 22 | 62k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
290.02/290.17 c 259s|870000 | 13333 | 2402k| 2.8 | 10M| 37 | - | 120 | 102 | 120 | 13 | 22 | 62k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
293.12/293.23 c 262s|880000 | 13796 | 2428k| 2.8 | 10M| 37 | - | 120 | 92 | 120 | 13 | 22 | 63k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
296.21/296.32 c 265s|890000 | 14418 | 2455k| 2.8 | 11M| 37 | 5 | 120 | 113 | 120 | 13 | 22 | 64k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
299.22/299.38 c 267s|900000 | 15240 | 2482k| 2.8 | 11M| 37 | 5 | 120 | 127 | 120 | 13 | 22 | 64k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
302.32/302.47 c 270s|910000 | 15780 | 2509k| 2.8 | 12M| 37 | - | 120 | 136 | 120 | 13 | 22 | 65k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
305.32/305.48 c 273s|920000 | 15972 | 2535k| 2.8 | 12M| 37 | - | 120 | 120 | 120 | 13 | 22 | 66k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
308.41/308.50 c 276s|930000 | 15885 | 2561k| 2.8 | 12M| 37 | 5 | 120 | 108 | 120 | 13 | 22 | 66k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
311.41/311.53 c 278s|940000 | 16082 | 2587k| 2.8 | 12M| 37 | - | 120 | 120 | 120 | 13 | 22 | 67k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
314.42/314.58 c 281s|950000 | 16215 | 2613k| 2.8 | 13M| 37 | - | 120 | 132 | 120 | 13 | 22 | 68k| 11k| 0.000000e+00 | 4.000000e+00 | Inf
317.61/317.72 c 284s|960000 | 16659 | 2639k| 2.7 | 13M| 37 | 5 | 120 | 125 | 120 | 13 | 22 | 69k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
320.61/320.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
320.61/320.78 c 287s|970000 | 16673 | 2664k| 2.7 | 13M| 37 | 5 | 120 | 134 | 120 | 13 | 22 | 70k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
323.61/323.77 c 289s|980000 | 16849 | 2689k| 2.7 | 13M| 37 | 5 | 120 | 140 | 120 | 13 | 22 | 70k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
326.70/326.84 c 292s|990000 | 17070 | 2715k| 2.7 | 14M| 37 | - | 120 | 126 | 120 | 13 | 22 | 71k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
329.71/329.85 c 295s| 1000k| 16582 | 2741k| 2.7 | 14M| 37 | 5 | 120 | 121 | 120 | 13 | 22 | 72k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
332.70/332.84 c 297s| 1010k| 16232 | 2765k| 2.7 | 13M| 37 | 5 | 120 | 154 | 120 | 13 | 22 | 72k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
335.70/335.88 c 300s| 1020k| 15716 | 2790k| 2.7 | 13M| 37 | 5 | 120 | 142 | 120 | 13 | 22 | 73k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
338.81/338.94 c 303s| 1030k| 15321 | 2816k| 2.7 | 13M| 37 | 5 | 120 | 124 | 120 | 13 | 22 | 74k| 12k| 0.000000e+00 | 4.000000e+00 | Inf
341.41/341.60 o 3
341.41/341.60 c * 305s| 1038k| 13965 | 2839k| 2.7 | 11M| 37 | - | 120 | 126 | 120 | 13 | 22 | 75k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
341.81/341.99 c 305s| 1040k| 13891 | 2842k| 2.7 | 11M| 37 | - | 120 | 131 | 120 | 13 | 22 | 75k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
346.81/347.00 c 310s| 1050k| 12977 | 2866k| 2.7 | 10M| 37 | 5 | 120 | 132 | 120 | 13 | 22 | 75k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
349.91/350.01 c 312s| 1060k| 11712 | 2890k| 2.7 |9974k| 37 | - | 120 | 122 | 120 | 13 | 22 | 76k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
354.31/354.46 c 316s| 1070k| 10806 | 2915k| 2.7 |9058k| 37 | 5 | 120 | 148 | 120 | 13 | 22 | 77k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
357.41/357.51 c 319s| 1080k| 11734 | 2943k| 2.7 |9674k| 37 | - | 120 | 143 | 120 | 13 | 22 | 77k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
360.30/360.48 c 322s| 1090k| 11676 | 2970k| 2.7 |9779k| 37 | 5 | 120 | 133 | 120 | 13 | 22 | 78k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
363.30/363.43 c 324s| 1100k| 11486 | 2997k| 2.7 |9718k| 37 | 5 | 120 | 157 | 120 | 13 | 22 | 78k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
366.30/366.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
366.30/366.49 c 327s| 1110k| 11587 | 3026k| 2.7 |9896k| 37 | - | 120 | 138 | 120 | 13 | 22 | 79k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
369.30/369.46 c 330s| 1120k| 10620 | 3053k| 2.7 |9096k| 37 | 5 | 120 | 136 | 120 | 13 | 22 | 79k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
372.30/372.45 c 332s| 1130k| 9919 | 3077k| 2.7 |8397k| 37 | - | 120 | 155 | 120 | 13 | 22 | 80k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
375.30/375.42 c 335s| 1140k| 8983 | 3102k| 2.7 |7328k| 37 | 5 | 120 | 159 | 120 | 13 | 22 | 81k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
378.40/378.53 c 338s| 1150k| 8521 | 3128k| 2.7 |6311k| 37 | 5 | 120 | 153 | 120 | 13 | 22 | 81k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
381.40/381.53 c 341s| 1160k| 8535 | 3155k| 2.7 |6390k| 37 | 5 | 120 | 211 | 120 | 13 | 22 | 82k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
384.40/384.51 c 343s| 1170k| 8539 | 3181k| 2.7 |6502k| 37 | 5 | 120 | 221 | 120 | 13 | 22 | 83k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
387.39/387.53 c 346s| 1180k| 8139 | 3206k| 2.7 |6002k| 37 | - | 120 | 197 | 120 | 13 | 22 | 83k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
390.40/390.58 c 349s| 1190k| 8167 | 3232k| 2.7 |5733k| 37 | 5 | 120 | 183 | 120 | 13 | 22 | 84k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
393.49/393.61 c 351s| 1200k| 8164 | 3260k| 2.7 |5718k| 37 | - | 120 | 213 | 120 | 13 | 22 | 85k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
396.39/396.57 c 354s| 1210k| 8035 | 3285k| 2.7 |5689k| 37 | 5 | 120 | 191 | 120 | 13 | 22 | 85k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
399.39/399.59 c 357s| 1220k| 7940 | 3310k| 2.7 |5379k| 37 | - | 120 | 185 | 120 | 13 | 22 | 86k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
402.50/402.66 c 359s| 1230k| 8584 | 3336k| 2.7 |5640k| 37 | 5 | 120 | 161 | 120 | 13 | 22 | 86k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
405.59/405.71 c 362s| 1240k| 9366 | 3363k| 2.7 |6221k| 37 | 5 | 120 | 164 | 120 | 13 | 22 | 87k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
408.49/408.67 c 365s| 1250k| 9445 | 3389k| 2.7 |6421k| 37 | - | 120 | 160 | 120 | 13 | 22 | 88k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
411.48/411.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
411.48/411.63 c 367s| 1260k| 8881 | 3415k| 2.7 |6220k| 37 | 5 | 120 | 158 | 120 | 13 | 22 | 88k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
414.39/414.59 c 370s| 1270k| 8109 | 3441k| 2.7 |5669k| 37 | 5 | 120 | 146 | 120 | 13 | 22 | 89k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
417.38/417.56 c 373s| 1280k| 7654 | 3466k| 2.7 |5012k| 37 | 5 | 120 | 124 | 120 | 13 | 22 | 89k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
420.49/420.64 c 375s| 1290k| 8283 | 3496k| 2.7 |5509k| 37 | 5 | 120 | 140 | 120 | 13 | 22 | 90k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
423.49/423.69 c 378s| 1300k| 8070 | 3523k| 2.7 |5492k| 37 | - | 120 | 126 | 120 | 13 | 22 | 91k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
426.59/426.76 c 381s| 1310k| 8091 | 3551k| 2.7 |5577k| 37 | 5 | 120 | 139 | 120 | 13 | 22 | 91k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
429.68/429.83 c 384s| 1320k| 8223 | 3579k| 2.7 |5413k| 37 | - | 120 | 147 | 120 | 13 | 22 | 92k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
432.68/432.81 c 386s| 1330k| 7799 | 3605k| 2.7 |5250k| 37 | - | 120 | 140 | 0 | 0 | 22 | 92k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
435.68/435.89 c 389s| 1340k| 7910 | 3632k| 2.7 |5007k| 37 | 5 | 120 | 154 | 120 | 13 | 22 | 93k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
438.79/438.91 c 392s| 1350k| 8818 | 3659k| 2.7 |5645k| 37 | 5 | 120 | 161 | 120 | 13 | 22 | 93k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
441.78/441.90 c 394s| 1360k| 8773 | 3686k| 2.7 |5788k| 37 | - | 120 | 172 | 120 | 13 | 22 | 94k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
444.68/444.88 c 397s| 1370k| 8305 | 3712k| 2.7 |5606k| 37 | 5 | 120 | 157 | 120 | 13 | 22 | 95k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
447.68/447.89 c 400s| 1380k| 7443 | 3738k| 2.7 |4812k| 37 | - | 120 | 161 | 120 | 13 | 22 | 95k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
450.68/450.89 c 402s| 1390k| 7376 | 3764k| 2.7 |4759k| 37 | 5 | 120 | 132 | 120 | 13 | 22 | 96k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
453.67/453.88 c 405s| 1400k| 7324 | 3791k| 2.7 |4753k| 37 | 5 | 120 | 139 | 120 | 13 | 22 | 97k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
456.67/456.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
456.67/456.86 c 408s| 1410k| 7365 | 3815k| 2.7 |4834k| 37 | - | 120 | 148 | 120 | 13 | 22 | 97k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
459.68/459.83 c 410s| 1420k| 7423 | 3841k| 2.7 |4872k| 37 | - | 120 | 162 | 120 | 13 | 22 | 98k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
462.78/462.99 c 413s| 1430k| 8143 | 3868k| 2.7 |5188k| 37 | 5 | 120 | 173 | 120 | 13 | 22 | 98k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
465.87/466.05 c 416s| 1440k| 9009 | 3894k| 2.7 |5816k| 37 | - | 120 | 167 | 120 | 13 | 22 | 99k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
470.17/470.32 c 419s| 1450k| 9214 | 3919k| 2.7 |6115k| 37 | 5 | 120 | 176 | 120 | 13 | 22 | 100k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
473.18/473.33 c 422s| 1460k| 8901 | 3943k| 2.7 |6109k| 37 | - | 120 | 165 | 0 | 0 | 22 | 101k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
476.18/476.34 c 425s| 1470k| 8369 | 3968k| 2.7 |5862k| 37 | - | 120 | 167 | 0 | 0 | 22 | 101k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
479.17/479.37 c 428s| 1480k| 7190 | 3993k| 2.7 |4675k| 37 | 5 | 120 | 142 | 120 | 13 | 22 | 102k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
482.26/482.43 c 430s| 1490k| 8014 | 4020k| 2.7 |5130k| 37 | 5 | 120 | 167 | 120 | 13 | 22 | 103k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
485.27/485.49 c 433s| 1500k| 9057 | 4047k| 2.7 |5805k| 37 | - | 120 | 169 | 120 | 13 | 22 | 103k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
488.37/488.51 c 436s| 1510k| 9545 | 4073k| 2.7 |6235k| 37 | 5 | 120 | 156 | 120 | 13 | 22 | 104k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
491.37/491.52 c 438s| 1520k| 9829 | 4099k| 2.7 |6576k| 37 | - | 120 | 174 | 0 | 0 | 22 | 105k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
494.37/494.58 c 441s| 1530k| 10378 | 4125k| 2.7 |7012k| 37 | - | 120 | 179 | 120 | 13 | 22 | 105k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
497.46/497.60 c 444s| 1540k| 10304 | 4151k| 2.7 |7127k| 39 | - | 120 | 168 | 120 | 13 | 22 | 106k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
500.37/500.59 c 446s| 1550k| 9813 | 4176k| 2.7 |6999k| 39 | - | 120 | 166 | 0 | 0 | 22 | 107k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
503.36/503.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
503.36/503.57 c 449s| 1560k| 9263 | 4201k| 2.7 |6726k| 39 | 5 | 120 | 183 | 120 | 13 | 22 | 107k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
506.46/506.60 c 452s| 1570k| 8440 | 4226k| 2.7 |6141k| 39 | - | 120 | 171 | 0 | 0 | 22 | 108k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
509.36/509.58 c 454s| 1580k| 7681 | 4251k| 2.7 |5447k| 39 | 5 | 120 | 170 | 120 | 13 | 22 | 109k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
512.47/512.63 c 457s| 1590k| 7873 | 4277k| 2.7 |5250k| 39 | - | 120 | 171 | 120 | 13 | 22 | 109k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
515.56/515.71 c 460s| 1600k| 8780 | 4304k| 2.7 |5872k| 39 | 5 | 120 | 144 | 120 | 13 | 22 | 110k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
518.56/518.72 c 463s| 1610k| 9395 | 4330k| 2.7 |6369k| 39 | 5 | 120 | 146 | 120 | 13 | 22 | 110k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
521.46/521.69 c 465s| 1620k| 9463 | 4355k| 2.7 |6574k| 39 | - | 120 | 124 | 120 | 13 | 22 | 111k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
524.56/524.72 c 468s| 1630k| 9736 | 4381k| 2.7 |6858k| 39 | - | 120 | 149 | 0 | 0 | 22 | 112k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
527.56/527.71 c 471s| 1640k| 9646 | 4407k| 2.7 |6934k| 39 | - | 120 | 156 | 120 | 13 | 22 | 112k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
530.56/530.71 c 473s| 1650k| 9788 | 4433k| 2.7 |7110k| 39 | - | 120 | 148 | 120 | 13 | 22 | 113k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
533.56/533.73 c 476s| 1660k| 9310 | 4458k| 2.7 |6933k| 39 | 5 | 120 | 142 | 120 | 13 | 22 | 114k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
536.56/536.74 c 479s| 1670k| 8946 | 4484k| 2.7 |6698k| 39 | - | 120 | 157 | 120 | 13 | 22 | 114k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
539.56/539.76 c 481s| 1680k| 8287 | 4509k| 2.7 |6239k| 39 | 5 | 120 | 142 | 120 | 13 | 22 | 115k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
542.55/542.77 c 484s| 1690k| 7911 | 4535k| 2.7 |5711k| 39 | - | 120 | 132 | 120 | 13 | 22 | 116k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
545.66/545.83 c 487s| 1700k| 8819 | 4563k| 2.7 |6352k| 39 | 5 | 120 | 139 | 120 | 13 | 22 | 116k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
548.65/548.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
548.65/548.87 c 489s| 1710k| 9210 | 4591k| 2.7 |6759k| 39 | - | 120 | 147 | 120 | 13 | 22 | 117k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
551.65/551.88 c 492s| 1720k| 8818 | 4618k| 2.7 |6701k| 39 | - | 120 | 130 | 120 | 13 | 22 | 118k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
554.74/554.93 c 495s| 1730k| 8131 | 4646k| 2.7 |6275k| 39 | 5 | 120 | 119 | 120 | 13 | 22 | 118k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
557.75/557.94 c 497s| 1740k| 7444 | 4673k| 2.7 |5437k| 39 | 5 | 120 | 131 | 120 | 13 | 22 | 119k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
560.94/561.11 c 500s| 1750k| 8705 | 4701k| 2.7 |5854k| 39 | 5 | 120 | 155 | 120 | 13 | 22 | 120k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
563.94/564.11 c 503s| 1760k| 9279 | 4728k| 2.7 |6373k| 39 | - | 120 | 166 | 120 | 13 | 22 | 120k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
566.84/567.08 c 506s| 1770k| 9422 | 4753k| 2.7 |6660k| 39 | 5 | 120 | 161 | 120 | 13 | 22 | 121k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
569.83/570.02 c 508s| 1780k| 9175 | 4778k| 2.7 |6708k| 39 | - | 120 | 168 | 120 | 13 | 22 | 121k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
572.73/572.98 c 511s| 1790k| 8506 | 4803k| 2.7 |6418k| 39 | - | 120 | 161 | 120 | 13 | 22 | 122k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
575.73/575.96 c 513s| 1800k| 7784 | 4828k| 2.7 |5846k| 39 | 5 | 120 | 176 | 120 | 13 | 22 | 123k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
578.83/579.00 c 516s| 1810k| 7233 | 4853k| 2.7 |5048k| 39 | 5 | 120 | 195 | 120 | 13 | 22 | 124k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
581.84/582.00 c 519s| 1820k| 7473 | 4880k| 2.7 |5318k| 39 | - | 120 | 150 | 0 | 0 | 22 | 124k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
584.83/585.00 c 522s| 1830k| 7052 | 4906k| 2.7 |4633k| 39 | - | 120 | 143 | 0 | 0 | 22 | 125k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
588.04/588.27 c 524s| 1840k| 8742 | 4936k| 2.7 |5582k| 39 | 5 | 120 | 113 | 120 | 13 | 22 | 125k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
591.24/591.40 c 527s| 1850k| 9751 | 4964k| 2.7 |6267k| 39 | 5 | 120 | 122 | 120 | 13 | 22 | 126k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
595.73/595.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
595.73/595.92 c 531s| 1860k| 11317 | 4993k| 2.7 |7192k| 39 | - | 120 | 127 | 120 | 13 | 22 | 127k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
598.73/598.98 c 534s| 1870k| 12216 | 5020k| 2.7 |7852k| 39 | 5 | 120 | 140 | 120 | 13 | 22 | 127k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
601.93/602.18 c 537s| 1880k| 13249 | 5049k| 2.7 |8543k| 39 | 5 | 120 | 124 | 120 | 13 | 22 | 128k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
605.13/605.35 c 540s| 1890k| 14125 | 5077k| 2.7 |9195k| 39 | - | 120 | 141 | 120 | 13 | 22 | 129k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
608.23/608.42 c 542s| 1900k| 14725 | 5104k| 2.7 |9716k| 39 | 5 | 120 | 122 | 120 | 13 | 22 | 129k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
611.33/611.51 c 545s| 1910k| 15376 | 5132k| 2.7 | 10M| 39 | 5 | 120 | 151 | 120 | 13 | 22 | 130k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
614.32/614.56 c 548s| 1920k| 15627 | 5158k| 2.7 | 10M| 39 | - | 120 | 140 | 120 | 13 | 22 | 131k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
617.42/617.65 c 551s| 1930k| 16077 | 5186k| 2.7 | 11M| 39 | 5 | 120 | 131 | 120 | 13 | 22 | 131k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
620.52/620.77 c 553s| 1940k| 16075 | 5213k| 2.7 | 11M| 39 | - | 120 | 111 | 120 | 13 | 22 | 132k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
623.62/623.86 c 556s| 1950k| 16271 | 5240k| 2.7 | 11M| 39 | - | 120 | 109 | 120 | 13 | 22 | 133k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
626.73/626.95 c 559s| 1960k| 16420 | 5267k| 2.7 | 11M| 39 | 5 | 120 | 111 | 120 | 13 | 22 | 133k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
629.82/630.00 c 562s| 1970k| 16600 | 5293k| 2.7 | 12M| 39 | 5 | 120 | 109 | 120 | 13 | 22 | 134k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
632.82/633.07 c 564s| 1980k| 16558 | 5320k| 2.7 | 12M| 39 | - | 120 | 136 | 120 | 13 | 22 | 135k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
635.92/636.14 c 567s| 1990k| 16920 | 5348k| 2.7 | 12M| 39 | 5 | 120 | 124 | 120 | 13 | 22 | 135k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
638.93/639.19 c 570s| 2000k| 17214 | 5375k| 2.7 | 12M| 39 | - | 120 | 111 | 120 | 13 | 22 | 136k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
642.02/642.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
642.02/642.26 c 573s| 2010k| 17062 | 5402k| 2.7 | 13M| 39 | 5 | 120 | 105 | 120 | 13 | 22 | 137k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
645.12/645.33 c 575s| 2020k| 17335 | 5429k| 2.7 | 13M| 39 | 5 | 120 | 114 | 120 | 13 | 22 | 137k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
648.12/648.38 c 578s| 2030k| 16864 | 5456k| 2.7 | 13M| 39 | - | 120 | 105 | 120 | 13 | 22 | 138k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
651.11/651.39 c 581s| 2040k| 16657 | 5482k| 2.7 | 13M| 39 | - | 120 | 93 | 120 | 13 | 22 | 139k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
654.23/654.47 c 583s| 2050k| 16301 | 5508k| 2.7 | 13M| 39 | - | 120 | 94 | 120 | 13 | 22 | 139k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
657.31/657.51 c 586s| 2060k| 16068 | 5534k| 2.7 | 13M| 39 | - | 120 | 101 | 120 | 13 | 22 | 140k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
660.32/660.54 c 589s| 2070k| 16167 | 5561k| 2.7 | 13M| 39 | 5 | 120 | 104 | 120 | 13 | 22 | 141k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
663.31/663.57 c 592s| 2080k| 15400 | 5587k| 2.7 | 12M| 39 | - | 120 | 90 | 120 | 13 | 22 | 142k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
666.42/666.64 c 594s| 2090k| 14810 | 5614k| 2.7 | 12M| 39 | 5 | 120 | 107 | 120 | 13 | 22 | 142k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
669.41/669.68 c 597s| 2100k| 14225 | 5640k| 2.7 | 12M| 39 | - | 120 | 96 | 0 | 0 | 22 | 143k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
672.41/672.68 c 600s| 2110k| 13896 | 5667k| 2.7 | 12M| 39 | - | 120 | 98 | 120 | 13 | 22 | 144k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
675.51/675.71 c 602s| 2120k| 13220 | 5693k| 2.7 | 11M| 39 | - | 120 | 99 | 0 | 0 | 22 | 144k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
678.52/678.73 c 605s| 2130k| 12997 | 5719k| 2.7 | 11M| 39 | 5 | 120 | 102 | 120 | 13 | 22 | 145k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
681.51/681.79 c 608s| 2140k| 12373 | 5746k| 2.7 | 11M| 39 | 5 | 120 | 94 | 120 | 13 | 22 | 146k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
684.60/684.82 c 610s| 2150k| 11811 | 5773k| 2.7 | 10M| 39 | - | 120 | 123 | 120 | 13 | 22 | 146k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
687.61/687.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
687.61/687.86 c 613s| 2160k| 11704 | 5799k| 2.7 | 10M| 39 | 5 | 120 | 123 | 120 | 13 | 22 | 147k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
690.61/690.88 c 616s| 2170k| 10881 | 5826k| 2.7 | 10M| 39 | - | 120 | 88 | 120 | 13 | 22 | 148k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
693.71/693.91 c 618s| 2180k| 10040 | 5853k| 2.7 |9266k| 39 | - | 120 | 94 | 120 | 13 | 22 | 148k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
696.80/697.00 c 621s| 2190k| 10184 | 5880k| 2.7 |9358k| 39 | - | 120 | 108 | 0 | 0 | 22 | 149k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
699.81/700.09 c 624s| 2200k| 10103 | 5907k| 2.7 |9410k| 39 | 5 | 120 | 110 | 120 | 13 | 22 | 149k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
702.90/703.15 c 627s| 2210k| 9402 | 5934k| 2.7 |8726k| 39 | - | 120 | 122 | 120 | 13 | 22 | 150k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
705.91/706.17 c 629s| 2220k| 8953 | 5959k| 2.7 |8237k| 39 | 5 | 120 | 95 | 120 | 13 | 22 | 151k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
709.10/709.32 c 632s| 2230k| 9239 | 5988k| 2.7 |8364k| 39 | 5 | 120 | 136 | 120 | 13 | 22 | 151k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
712.20/712.43 c 635s| 2240k| 9275 | 6015k| 2.7 |8556k| 39 | - | 120 | 122 | 120 | 13 | 22 | 152k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
715.31/715.53 c 638s| 2250k| 9348 | 6040k| 2.7 |8713k| 39 | 5 | 120 | 110 | 120 | 13 | 22 | 153k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
718.40/718.60 c 640s| 2260k| 8566 | 6066k| 2.7 |7831k| 39 | - | 120 | 105 | 120 | 13 | 22 | 154k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
721.30/721.59 c 643s| 2270k| 8244 | 6091k| 2.7 |7617k| 39 | 5 | 120 | 118 | 120 | 13 | 22 | 155k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
724.49/724.78 c 646s| 2280k| 9099 | 6119k| 2.7 |7973k| 39 | 5 | 120 | 146 | 120 | 13 | 22 | 155k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
727.60/727.89 c 649s| 2290k| 10591 | 6146k| 2.7 |8885k| 39 | - | 120 | 139 | 0 | 0 | 22 | 156k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
730.69/730.92 c 651s| 2300k| 11580 | 6172k| 2.7 |9553k| 39 | - | 120 | 137 | 0 | 0 | 22 | 156k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
733.70/733.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
733.70/733.91 c 654s| 2310k| 12523 | 6197k| 2.7 | 10M| 39 | - | 120 | 127 | 120 | 13 | 22 | 157k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
736.71/736.93 c 657s| 2320k| 13458 | 6222k| 2.7 | 10M| 39 | - | 120 | 172 | 120 | 13 | 22 | 158k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
739.90/740.11 c 660s| 2330k| 14881 | 6250k| 2.7 | 11M| 39 | - | 120 | 136 | 120 | 13 | 22 | 158k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
742.90/743.19 c 662s| 2340k| 16246 | 6277k| 2.7 | 12M| 39 | 5 | 120 | 127 | 120 | 13 | 22 | 159k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
746.00/746.20 c 665s| 2350k| 16683 | 6303k| 2.7 | 13M| 39 | - | 120 | 113 | 0 | 0 | 22 | 160k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
748.90/749.15 c 668s| 2360k| 17016 | 6327k| 2.7 | 13M| 39 | - | 120 | 126 | 120 | 13 | 22 | 160k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
751.89/752.16 c 670s| 2370k| 17484 | 6353k| 2.7 | 13M| 39 | 5 | 120 | 120 | 120 | 13 | 22 | 161k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
754.89/755.20 c 673s| 2380k| 18062 | 6379k| 2.7 | 14M| 39 | - | 120 | 127 | 120 | 13 | 22 | 162k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
757.89/758.16 c 676s| 2390k| 18246 | 6404k| 2.7 | 14M| 39 | - | 120 | 132 | 0 | 0 | 22 | 162k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
760.90/761.17 c 678s| 2400k| 18238 | 6428k| 2.7 | 14M| 39 | 5 | 120 | 130 | 120 | 13 | 22 | 163k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
763.89/764.13 c 681s| 2410k| 18238 | 6453k| 2.7 | 15M| 39 | - | 120 | 140 | 120 | 13 | 22 | 164k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
766.89/767.14 c 684s| 2420k| 18800 | 6478k| 2.7 | 15M| 39 | - | 120 | 180 | 120 | 13 | 22 | 165k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
769.79/770.09 c 686s| 2430k| 18701 | 6503k| 2.7 | 15M| 39 | - | 120 | 125 | 120 | 13 | 22 | 165k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
772.88/773.11 c 689s| 2440k| 19533 | 6529k| 2.7 | 16M| 39 | 5 | 120 | 140 | 120 | 13 | 22 | 166k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
775.88/776.17 c 692s| 2450k| 20489 | 6556k| 2.7 | 16M| 39 | 5 | 120 | 156 | 120 | 13 | 22 | 166k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
778.89/779.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
778.89/779.15 c 695s| 2460k| 21049 | 6582k| 2.7 | 17M| 39 | - | 120 | 140 | 120 | 13 | 22 | 167k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
781.89/782.13 c 697s| 2470k| 21335 | 6607k| 2.7 | 17M| 39 | 5 | 120 | 157 | 120 | 13 | 22 | 167k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
784.78/785.07 c 700s| 2480k| 21020 | 6632k| 2.7 | 17M| 39 | 5 | 120 | 131 | 120 | 13 | 22 | 168k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
787.79/788.06 c 702s| 2490k| 21065 | 6657k| 2.7 | 17M| 39 | - | 120 | 158 | 120 | 13 | 22 | 169k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
790.78/791.04 c 705s| 2500k| 21006 | 6681k| 2.7 | 17M| 39 | - | 120 | 135 | 120 | 13 | 22 | 169k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
793.78/794.00 c 708s| 2510k| 20790 | 6705k| 2.7 | 17M| 39 | - | 120 | 136 | 120 | 13 | 22 | 170k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
796.78/797.00 c 710s| 2520k| 20210 | 6729k| 2.7 | 17M| 39 | - | 120 | 125 | 120 | 13 | 22 | 171k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
799.78/800.01 c 713s| 2530k| 19779 | 6755k| 2.7 | 17M| 39 | - | 120 | 143 | 0 | 0 | 22 | 171k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
802.69/803.00 c 716s| 2540k| 20181 | 6781k| 2.7 | 18M| 39 | - | 120 | 142 | 120 | 13 | 22 | 172k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
805.68/805.99 c 718s| 2550k| 19987 | 6806k| 2.7 | 18M| 39 | - | 120 | 133 | 120 | 13 | 22 | 173k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
808.68/808.98 c 721s| 2560k| 19711 | 6831k| 2.7 | 18M| 39 | 5 | 120 | 143 | 120 | 13 | 22 | 173k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
811.68/811.93 c 724s| 2570k| 19700 | 6855k| 2.7 | 18M| 39 | - | 120 | 133 | 120 | 13 | 22 | 174k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
814.67/814.92 c 726s| 2580k| 18615 | 6880k| 2.7 | 17M| 39 | 5 | 120 | 130 | 120 | 13 | 22 | 175k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
817.67/817.91 c 729s| 2590k| 17687 | 6904k| 2.7 | 17M| 39 | - | 120 | 119 | 120 | 13 | 22 | 175k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
820.57/820.90 c 732s| 2600k| 16935 | 6929k| 2.7 | 16M| 39 | - | 120 | 120 | 120 | 13 | 22 | 176k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
823.68/823.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
823.68/823.91 c 734s| 2610k| 16382 | 6955k| 2.7 | 16M| 39 | - | 120 | 117 | 120 | 13 | 22 | 177k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
826.67/826.93 c 737s| 2620k| 14890 | 6979k| 2.7 | 15M| 39 | - | 120 | 127 | 0 | 0 | 22 | 177k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
829.67/829.93 c 740s| 2630k| 13549 | 7003k| 2.7 | 14M| 39 | 5 | 120 | 124 | 120 | 13 | 22 | 178k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
832.67/832.93 c 742s| 2640k| 12874 | 7027k| 2.7 | 13M| 39 | - | 120 | 146 | 120 | 13 | 22 | 179k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
835.68/836.00 c 745s| 2650k| 11645 | 7053k| 2.7 | 12M| 39 | - | 120 | 147 | 120 | 13 | 22 | 179k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
838.86/839.11 c 748s| 2660k| 10380 | 7078k| 2.7 | 11M| 39 | 5 | 120 | 130 | 120 | 13 | 22 | 180k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
841.96/842.21 c 751s| 2670k| 11223 | 7106k| 2.7 | 12M| 39 | 5 | 120 | 119 | 120 | 13 | 22 | 181k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
844.97/845.22 c 753s| 2680k| 11854 | 7132k| 2.7 | 12M| 39 | 5 | 120 | 126 | 120 | 13 | 22 | 181k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
847.88/848.18 c 756s| 2690k| 11772 | 7157k| 2.7 | 12M| 39 | 5 | 120 | 108 | 120 | 13 | 22 | 182k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
850.87/851.18 c 759s| 2700k| 11946 | 7183k| 2.7 | 12M| 39 | 5 | 120 | 115 | 120 | 13 | 22 | 183k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
853.96/854.23 c 761s| 2710k| 12844 | 7210k| 2.7 | 13M| 39 | 5 | 120 | 131 | 120 | 13 | 22 | 183k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
856.86/857.19 c 764s| 2720k| 13314 | 7234k| 2.7 | 13M| 39 | - | 120 | 122 | 120 | 13 | 22 | 184k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
859.87/860.13 c 767s| 2730k| 13710 | 7259k| 2.7 | 14M| 39 | - | 120 | 114 | 0 | 0 | 22 | 184k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
862.77/863.09 c 769s| 2740k| 14349 | 7285k| 2.7 | 14M| 39 | - | 120 | 104 | 120 | 13 | 22 | 185k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
865.96/866.21 c 772s| 2750k| 15557 | 7313k| 2.7 | 15M| 39 | - | 120 | 142 | 0 | 0 | 22 | 185k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
868.97/869.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
868.97/869.26 c 775s| 2760k| 16333 | 7340k| 2.7 | 16M| 39 | - | 120 | 139 | 120 | 13 | 22 | 186k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
871.97/872.23 c 777s| 2770k| 16810 | 7366k| 2.7 | 16M| 39 | 5 | 120 | 141 | 120 | 13 | 22 | 187k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
874.86/875.19 c 780s| 2780k| 16941 | 7391k| 2.7 | 16M| 39 | 5 | 120 | 138 | 120 | 13 | 22 | 187k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
877.96/878.21 c 783s| 2790k| 17031 | 7416k| 2.7 | 17M| 39 | 5 | 120 | 126 | 120 | 13 | 22 | 188k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
880.96/881.21 c 785s| 2800k| 17154 | 7441k| 2.7 | 17M| 39 | - | 120 | 120 | 120 | 13 | 22 | 188k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
883.96/884.24 c 788s| 2810k| 17402 | 7469k| 2.7 | 17M| 39 | 5 | 120 | 128 | 120 | 13 | 22 | 189k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
886.95/887.29 c 791s| 2820k| 17643 | 7495k| 2.7 | 17M| 39 | - | 120 | 133 | 120 | 13 | 22 | 189k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
889.95/890.25 c 793s| 2830k| 18213 | 7520k| 2.7 | 18M| 39 | - | 120 | 135 | 120 | 13 | 22 | 190k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
892.96/893.23 c 796s| 2840k| 17765 | 7545k| 2.7 | 18M| 39 | - | 120 | 127 | 120 | 13 | 22 | 191k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
895.96/896.21 c 799s| 2850k| 17218 | 7570k| 2.7 | 18M| 39 | 5 | 120 | 126 | 120 | 13 | 22 | 191k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
898.96/899.28 c 801s| 2860k| 16388 | 7594k| 2.7 | 17M| 39 | 5 | 120 | 139 | 120 | 13 | 22 | 192k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
901.96/902.26 c 804s| 2870k| 15971 | 7620k| 2.7 | 17M| 39 | 5 | 120 | 141 | 120 | 13 | 22 | 193k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
904.96/905.30 c 807s| 2880k| 15073 | 7645k| 2.7 | 16M| 39 | - | 120 | 135 | 120 | 13 | 22 | 193k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
908.05/908.34 c 809s| 2890k| 13750 | 7669k| 2.7 | 16M| 39 | - | 120 | 135 | 120 | 13 | 22 | 194k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
911.15/911.43 c 812s| 2900k| 11934 | 7694k| 2.7 | 14M| 39 | - | 120 | 164 | 120 | 13 | 22 | 195k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
914.15/914.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
914.15/914.46 c 815s| 2910k| 11441 | 7719k| 2.7 | 13M| 39 | - | 120 | 160 | 120 | 13 | 22 | 195k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
917.16/917.41 c 818s| 2920k| 11631 | 7746k| 2.7 | 13M| 39 | 5 | 120 | 164 | 120 | 13 | 22 | 196k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
920.15/920.48 c 820s| 2930k| 11438 | 7774k| 2.7 | 13M| 39 | - | 120 | 175 | 120 | 13 | 22 | 197k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
923.45/923.75 c 823s| 2940k| 13710 | 7802k| 2.7 | 14M| 39 | 5 | 120 | 190 | 120 | 13 | 22 | 197k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
926.65/926.92 c 826s| 2950k| 15555 | 7830k| 2.7 | 15M| 39 | 5 | 120 | 162 | 120 | 13 | 22 | 198k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
929.75/930.08 c 829s| 2960k| 17152 | 7858k| 2.7 | 16M| 39 | - | 120 | 176 | 120 | 13 | 22 | 198k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
932.85/933.16 c 832s| 2970k| 18844 | 7885k| 2.7 | 17M| 39 | - | 120 | 168 | 120 | 13 | 22 | 199k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
935.94/936.20 c 834s| 2980k| 19882 | 7912k| 2.7 | 18M| 39 | - | 120 | 157 | 120 | 13 | 22 | 200k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
938.94/939.27 c 837s| 2990k| 20988 | 7939k| 2.7 | 19M| 39 | - | 120 | 173 | 120 | 13 | 22 | 200k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
942.04/942.39 c 840s| 3000k| 22478 | 7966k| 2.7 | 20M| 39 | - | 120 | 169 | 120 | 13 | 22 | 201k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
945.14/945.40 c 842s| 3010k| 23776 | 7994k| 2.7 | 20M| 39 | 5 | 120 | 170 | 120 | 13 | 22 | 201k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
948.04/948.39 c 845s| 3020k| 24738 | 8020k| 2.7 | 21M| 39 | 5 | 120 | 162 | 120 | 13 | 22 | 202k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
951.04/951.36 c 848s| 3030k| 25466 | 8045k| 2.7 | 22M| 39 | 5 | 120 | 169 | 120 | 13 | 22 | 202k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
954.04/954.37 c 850s| 3040k| 26231 | 8071k| 2.7 | 22M| 39 | 5 | 120 | 163 | 120 | 13 | 22 | 203k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
957.04/957.34 c 853s| 3050k| 26630 | 8097k| 2.7 | 23M| 39 | 5 | 120 | 157 | 120 | 13 | 22 | 204k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
960.04/960.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
960.04/960.35 c 856s| 3060k| 27525 | 8123k| 2.7 | 23M| 39 | 5 | 120 | 174 | 120 | 13 | 22 | 204k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
963.04/963.38 c 858s| 3070k| 28059 | 8149k| 2.7 | 24M| 39 | 5 | 120 | 177 | 120 | 13 | 22 | 205k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
966.04/966.36 c 861s| 3080k| 28483 | 8175k| 2.7 | 24M| 39 | - | 120 | 169 | 120 | 13 | 22 | 205k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
969.03/969.38 c 864s| 3090k| 29256 | 8201k| 2.7 | 25M| 39 | - | 120 | 166 | 120 | 13 | 22 | 206k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
972.04/972.36 c 866s| 3100k| 29857 | 8228k| 2.7 | 25M| 39 | - | 120 | 172 | 120 | 13 | 22 | 206k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
975.04/975.39 c 869s| 3110k| 31015 | 8257k| 2.7 | 26M| 39 | 5 | 120 | 175 | 120 | 13 | 22 | 207k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
978.04/978.37 c 872s| 3120k| 31566 | 8284k| 2.7 | 27M| 39 | 5 | 120 | 167 | 120 | 13 | 22 | 207k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
981.03/981.39 c 875s| 3130k| 32152 | 8310k| 2.7 | 27M| 39 | - | 120 | 178 | 120 | 13 | 22 | 208k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
984.03/984.39 c 877s| 3140k| 32611 | 8335k| 2.7 | 28M| 39 | 5 | 120 | 185 | 120 | 13 | 22 | 209k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
987.03/987.39 c 880s| 3150k| 33283 | 8362k| 2.7 | 28M| 39 | - | 120 | 157 | 120 | 13 | 22 | 209k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
990.03/990.35 c 882s| 3160k| 33670 | 8387k| 2.7 | 29M| 39 | - | 120 | 181 | 120 | 13 | 22 | 210k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
993.04/993.32 c 885s| 3170k| 34146 | 8412k| 2.7 | 29M| 39 | - | 120 | 157 | 120 | 13 | 22 | 210k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
996.03/996.30 c 888s| 3180k| 34142 | 8438k| 2.7 | 29M| 39 | - | 120 | 161 | 120 | 13 | 22 | 211k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
998.93/999.25 c 890s| 3190k| 34676 | 8463k| 2.7 | 30M| 39 | - | 120 | 166 | 120 | 13 | 22 | 211k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1001.93/1002.25 c 893s| 3200k| 34951 | 8488k| 2.7 | 30M| 39 | 5 | 120 | 171 | 120 | 13 | 22 | 212k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1004.93/1005.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1004.93/1005.20 c 896s| 3210k| 35270 | 8514k| 2.7 | 30M| 39 | - | 120 | 176 | 120 | 13 | 22 | 212k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1007.83/1008.18 c 898s| 3220k| 35122 | 8539k| 2.7 | 31M| 39 | 5 | 120 | 171 | 120 | 13 | 22 | 213k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1010.83/1011.17 c 901s| 3230k| 35257 | 8565k| 2.7 | 31M| 39 | 5 | 120 | 174 | 120 | 13 | 22 | 214k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1013.83/1014.14 c 904s| 3240k| 35187 | 8590k| 2.7 | 31M| 39 | 5 | 120 | 169 | 120 | 13 | 22 | 214k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1016.83/1017.16 c 906s| 3250k| 34987 | 8615k| 2.7 | 31M| 39 | 5 | 120 | 165 | 120 | 13 | 22 | 215k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1019.83/1020.15 c 909s| 3260k| 34988 | 8640k| 2.7 | 31M| 39 | 5 | 120 | 172 | 120 | 13 | 22 | 216k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1022.82/1023.12 c 912s| 3270k| 34999 | 8665k| 2.6 | 32M| 40 | - | 120 | 185 | 0 | 0 | 22 | 216k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1025.72/1026.02 c 914s| 3280k| 35224 | 8690k| 2.6 | 32M| 40 | - | 120 | 172 | 120 | 13 | 22 | 217k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1028.72/1029.01 c 917s| 3290k| 34776 | 8714k| 2.6 | 32M| 40 | 5 | 120 | 185 | 120 | 13 | 22 | 217k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1031.62/1031.95 c 919s| 3300k| 34660 | 8739k| 2.6 | 32M| 40 | 5 | 120 | 190 | 120 | 13 | 22 | 218k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1034.62/1034.91 c 922s| 3310k| 34756 | 8764k| 2.6 | 32M| 40 | 5 | 120 | 188 | 120 | 13 | 22 | 218k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1037.52/1037.84 c 925s| 3320k| 34398 | 8788k| 2.6 | 32M| 40 | - | 120 | 172 | 120 | 13 | 22 | 219k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1040.52/1040.81 c 927s| 3330k| 33844 | 8813k| 2.6 | 32M| 40 | - | 120 | 185 | 0 | 0 | 22 | 219k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1043.52/1043.82 c 930s| 3340k| 33924 | 8839k| 2.6 | 32M| 40 | - | 120 | 183 | 120 | 13 | 22 | 220k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1046.42/1046.77 c 933s| 3350k| 33792 | 8864k| 2.6 | 32M| 40 | 5 | 120 | 188 | 120 | 13 | 22 | 221k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1049.41/1049.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1049.41/1049.74 c 935s| 3360k| 33757 | 8889k| 2.6 | 32M| 40 | 5 | 120 | 198 | 120 | 13 | 22 | 221k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1052.32/1052.68 c 938s| 3370k| 33433 | 8914k| 2.6 | 32M| 40 | 5 | 120 | 193 | 120 | 13 | 22 | 222k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1055.31/1055.68 c 941s| 3380k| 33462 | 8939k| 2.6 | 32M| 40 | - | 120 | 215 | 120 | 13 | 22 | 222k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1058.31/1058.65 c 943s| 3390k| 33514 | 8966k| 2.6 | 33M| 40 | 5 | 120 | 183 | 120 | 13 | 22 | 223k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1061.32/1061.66 c 946s| 3400k| 33833 | 8991k| 2.6 | 33M| 40 | 5 | 120 | 208 | 120 | 13 | 22 | 223k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1064.21/1064.55 c 949s| 3410k| 34104 | 9015k| 2.6 | 33M| 40 | 5 | 120 | 201 | 120 | 13 | 22 | 224k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1067.21/1067.51 c 951s| 3420k| 33528 | 9039k| 2.6 | 33M| 40 | - | 120 | 184 | 120 | 13 | 22 | 224k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1070.11/1070.43 c 954s| 3430k| 34170 | 9065k| 2.6 | 33M| 40 | - | 120 | 200 | 120 | 13 | 22 | 225k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1072.91/1073.28 c 956s| 3440k| 34901 | 9090k| 2.6 | 34M| 40 | 5 | 120 | 209 | 120 | 13 | 22 | 225k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1075.81/1076.15 c 959s| 3450k| 34733 | 9115k| 2.6 | 34M| 40 | 5 | 120 | 188 | 120 | 13 | 22 | 225k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1078.82/1079.11 c 962s| 3460k| 34385 | 9140k| 2.6 | 34M| 40 | 5 | 120 | 176 | 120 | 13 | 22 | 226k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1081.70/1082.06 c 964s| 3470k| 34080 | 9165k| 2.6 | 34M| 40 | 5 | 120 | 174 | 120 | 13 | 22 | 226k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1084.70/1085.04 c 967s| 3480k| 34874 | 9192k| 2.6 | 34M| 40 | 5 | 120 | 162 | 120 | 13 | 22 | 227k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1087.62/1087.94 c 969s| 3490k| 35238 | 9217k| 2.6 | 35M| 40 | - | 120 | 173 | 120 | 13 | 22 | 227k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1090.51/1090.84 c 972s| 3500k| 35079 | 9243k| 2.6 | 35M| 40 | - | 120 | 164 | 120 | 13 | 22 | 228k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1093.50/1093.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1093.50/1093.82 c 975s| 3510k| 34686 | 9269k| 2.6 | 35M| 40 | 5 | 120 | 177 | 120 | 13 | 22 | 228k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1096.50/1096.80 c 977s| 3520k| 33775 | 9294k| 2.6 | 34M| 40 | - | 120 | 167 | 0 | 0 | 22 | 229k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1099.40/1099.75 c 980s| 3530k| 33285 | 9320k| 2.6 | 34M| 40 | 5 | 120 | 174 | 120 | 13 | 22 | 229k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1102.41/1102.79 c 983s| 3540k| 31917 | 9344k| 2.6 | 33M| 40 | - | 120 | 182 | 120 | 13 | 22 | 230k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1105.50/1105.82 c 985s| 3550k| 30870 | 9368k| 2.6 | 33M| 40 | - | 120 | 183 | 120 | 13 | 22 | 230k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1108.51/1108.82 c 988s| 3560k| 29916 | 9393k| 2.6 | 32M| 40 | - | 120 | 183 | 120 | 13 | 22 | 231k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1111.50/1111.85 c 991s| 3570k| 28749 | 9418k| 2.6 | 31M| 40 | - | 120 | 184 | 120 | 13 | 22 | 231k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1114.50/1114.88 c 993s| 3580k| 27669 | 9443k| 2.6 | 31M| 41 | - | 120 | 196 | 120 | 13 | 22 | 232k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1117.50/1117.88 c 996s| 3590k| 26845 | 9468k| 2.6 | 30M| 41 | 5 | 120 | 190 | 120 | 13 | 22 | 233k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1120.51/1120.89 c 999s| 3600k| 25787 | 9493k| 2.6 | 30M| 41 | - | 120 | 183 | 120 | 13 | 22 | 233k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1123.59/1123.92 c 1001s| 3610k| 24498 | 9517k| 2.6 | 29M| 41 | - | 120 | 182 | 120 | 13 | 22 | 234k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1125.40/1125.76 o 2
1125.40/1125.76 c *1003s| 3616k| 21902 | 9532k| 2.6 | 24M| 41 | - | 120 | 193 | 120 | 13 | 22 | 234k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1126.59/1126.91 c 1004s| 3620k| 21544 | 9543k| 2.6 | 23M| 41 | - | 120 | 198 | 120 | 13 | 22 | 234k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1130.50/1130.88 c 1008s| 3630k| 21611 | 9567k| 2.6 | 23M| 41 | - | 120 | 195 | 120 | 13 | 22 | 235k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1133.30/1133.69 c 1010s| 3640k| 20849 | 9592k| 2.6 | 23M| 41 | - | 120 | 191 | 0 | 0 | 22 | 235k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1136.20/1136.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1136.20/1136.56 c 1013s| 3650k| 19840 | 9616k| 2.6 | 22M| 41 | - | 120 | 211 | 120 | 13 | 22 | 236k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1139.10/1139.42 c 1015s| 3660k| 18702 | 9639k| 2.6 | 21M| 41 | 5 | 120 | 202 | 120 | 13 | 22 | 236k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1141.90/1142.27 c 1018s| 3670k| 18238 | 9666k| 2.6 | 21M| 41 | - | 120 | 206 | 120 | 13 | 22 | 236k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1144.79/1145.13 c 1020s| 3680k| 16992 | 9690k| 2.6 | 20M| 41 | - | 120 | 211 | 120 | 13 | 22 | 237k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1147.69/1148.04 c 1023s| 3690k| 15415 | 9714k| 2.6 | 18M| 41 | 5 | 120 | 200 | 120 | 13 | 22 | 237k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1150.59/1150.91 c 1025s| 3700k| 13848 | 9738k| 2.6 | 17M| 41 | 5 | 120 | 222 | 120 | 13 | 22 | 238k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1153.39/1153.78 c 1028s| 3710k| 14250 | 9764k| 2.6 | 17M| 41 | - | 120 | 236 | 120 | 13 | 22 | 238k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1156.19/1156.55 c 1030s| 3720k| 14717 | 9790k| 2.6 | 17M| 41 | - | 120 | 254 | 120 | 13 | 22 | 239k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1158.89/1159.29 c 1033s| 3730k| 14655 | 9815k| 2.6 | 17M| 41 | - | 120 | 246 | 120 | 13 | 22 | 239k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1161.69/1162.04 c 1035s| 3740k| 14021 | 9840k| 2.6 | 17M| 41 | 5 | 120 | 246 | 120 | 13 | 22 | 240k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1164.50/1164.88 c 1038s| 3750k| 13101 | 9864k| 2.6 | 16M| 41 | - | 120 | 259 | 0 | 0 | 22 | 240k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1167.48/1167.80 c 1040s| 3760k| 11570 | 9888k| 2.6 | 14M| 41 | - | 120 | 254 | 120 | 13 | 22 | 241k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1170.29/1170.69 c 1043s| 3770k| 10144 | 9911k| 2.6 | 12M| 41 | - | 120 | 241 | 120 | 13 | 22 | 241k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1173.29/1173.70 c 1046s| 3780k| 11026 | 9938k| 2.6 | 12M| 41 | 5 | 120 | 256 | 120 | 13 | 22 | 242k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1176.18/1176.51 c 1048s| 3790k| 12085 | 9964k| 2.6 | 12M| 41 | 5 | 120 | 255 | 120 | 13 | 22 | 242k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1178.98/1179.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1178.98/1179.34 c 1051s| 3800k| 13288 | 9991k| 2.6 | 13M| 41 | 5 | 120 | 274 | 120 | 13 | 22 | 243k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1181.78/1182.13 c 1053s| 3810k| 13806 | 10016k| 2.6 | 14M| 41 | 5 | 120 | 251 | 120 | 13 | 22 | 243k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1184.58/1184.90 c 1056s| 3820k| 14049 | 10042k| 2.6 | 14M| 41 | - | 120 | 241 | 120 | 13 | 22 | 243k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1187.28/1187.66 c 1058s| 3830k| 14230 | 10067k| 2.6 | 14M| 41 | 5 | 120 | 220 | 120 | 13 | 22 | 244k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1190.08/1190.42 c 1060s| 3840k| 14163 | 10092k| 2.6 | 14M| 41 | 5 | 120 | 221 | 120 | 13 | 22 | 244k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1192.88/1193.21 c 1063s| 3850k| 14177 | 10118k| 2.6 | 14M| 41 | 5 | 120 | 232 | 120 | 13 | 22 | 245k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1195.68/1196.02 c 1065s| 3860k| 14435 | 10145k| 2.6 | 15M| 41 | 5 | 120 | 224 | 120 | 13 | 22 | 245k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1198.48/1198.84 c 1068s| 3870k| 14152 | 10171k| 2.6 | 15M| 41 | - | 120 | 216 | 120 | 13 | 22 | 245k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1201.27/1201.63 c 1070s| 3880k| 13519 | 10197k| 2.6 | 15M| 41 | - | 120 | 200 | 120 | 13 | 22 | 246k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1204.08/1204.41 c 1073s| 3890k| 12835 | 10222k| 2.6 | 14M| 41 | - | 120 | 203 | 120 | 13 | 22 | 246k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1206.88/1207.20 c 1075s| 3900k| 12215 | 10248k| 2.6 | 14M| 41 | 5 | 120 | 201 | 120 | 13 | 22 | 246k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1209.58/1210.00 c 1078s| 3910k| 11191 | 10274k| 2.6 | 13M| 41 | 5 | 120 | 206 | 120 | 13 | 22 | 247k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1212.47/1212.84 c 1080s| 3920k| 9626 | 10299k| 2.6 | 11M| 41 | 5 | 120 | 196 | 120 | 13 | 22 | 247k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1215.38/1215.76 c 1083s| 3930k| 8769 | 10324k| 2.6 | 10M| 41 | 5 | 120 | 241 | 120 | 13 | 22 | 248k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1218.38/1218.80 c 1085s| 3940k| 10916 | 10353k| 2.6 | 11M| 41 | - | 120 | 237 | 120 | 13 | 22 | 248k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1221.38/1221.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1221.38/1221.73 c 1088s| 3950k| 12997 | 10381k| 2.6 | 12M| 41 | 5 | 120 | 242 | 120 | 13 | 22 | 249k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1224.17/1224.57 c 1091s| 3960k| 14583 | 10408k| 2.6 | 13M| 41 | 5 | 120 | 225 | 120 | 13 | 22 | 249k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1226.97/1227.39 c 1093s| 3970k| 15818 | 10434k| 2.6 | 13M| 41 | - | 120 | 210 | 120 | 13 | 22 | 249k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1229.77/1230.18 c 1096s| 3980k| 16849 | 10460k| 2.6 | 14M| 41 | 5 | 120 | 199 | 120 | 13 | 22 | 249k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1232.57/1232.98 c 1098s| 3990k| 17690 | 10486k| 2.6 | 15M| 41 | - | 120 | 203 | 120 | 13 | 22 | 250k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1235.36/1235.76 c 1100s| 4000k| 18359 | 10512k| 2.6 | 15M| 41 | 5 | 120 | 197 | 120 | 13 | 22 | 250k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1238.18/1238.52 c 1103s| 4010k| 19134 | 10537k| 2.6 | 16M| 41 | 5 | 120 | 231 | 120 | 13 | 22 | 251k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1240.96/1241.37 c 1105s| 4020k| 20769 | 10563k| 2.6 | 17M| 41 | 5 | 120 | 246 | 120 | 13 | 22 | 251k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1243.77/1244.14 c 1108s| 4030k| 21811 | 10588k| 2.6 | 17M| 41 | 5 | 120 | 237 | 120 | 13 | 22 | 251k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1246.56/1246.90 c 1110s| 4040k| 22667 | 10612k| 2.6 | 18M| 41 | 5 | 120 | 245 | 120 | 13 | 22 | 252k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1249.27/1249.67 c 1113s| 4050k| 23176 | 10637k| 2.6 | 19M| 41 | - | 120 | 235 | 120 | 13 | 22 | 252k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1252.06/1252.44 c 1115s| 4060k| 23748 | 10662k| 2.6 | 19M| 41 | - | 120 | 231 | 120 | 13 | 22 | 252k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1254.87/1255.20 c 1118s| 4070k| 24478 | 10686k| 2.6 | 20M| 41 | - | 120 | 218 | 120 | 13 | 22 | 253k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1257.56/1257.96 c 1120s| 4080k| 25159 | 10712k| 2.6 | 20M| 41 | 5 | 120 | 225 | 120 | 13 | 22 | 253k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1260.37/1260.70 c 1123s| 4090k| 25617 | 10737k| 2.6 | 20M| 41 | 5 | 120 | 207 | 120 | 13 | 22 | 253k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1263.06/1263.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1263.06/1263.46 c 1125s| 4100k| 26068 | 10761k| 2.6 | 21M| 41 | - | 120 | 216 | 120 | 13 | 22 | 254k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1265.86/1266.21 c 1127s| 4110k| 26479 | 10786k| 2.6 | 21M| 41 | 5 | 120 | 202 | 120 | 13 | 22 | 254k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1268.56/1268.96 c 1130s| 4120k| 26788 | 10810k| 2.6 | 22M| 41 | 5 | 120 | 213 | 120 | 13 | 22 | 255k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1271.36/1271.71 c 1132s| 4130k| 27416 | 10834k| 2.6 | 22M| 41 | - | 120 | 238 | 120 | 13 | 22 | 255k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1274.05/1274.46 c 1135s| 4140k| 27826 | 10858k| 2.6 | 23M| 41 | - | 120 | 222 | 120 | 13 | 22 | 255k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1276.85/1277.20 c 1137s| 4150k| 28079 | 10882k| 2.6 | 23M| 41 | 5 | 120 | 206 | 120 | 13 | 22 | 256k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1279.56/1279.97 c 1140s| 4160k| 28604 | 10906k| 2.6 | 23M| 41 | - | 120 | 209 | 120 | 13 | 22 | 256k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1282.35/1282.75 c 1142s| 4170k| 28601 | 10930k| 2.6 | 23M| 41 | 5 | 120 | 198 | 120 | 13 | 22 | 257k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1285.15/1285.54 c 1145s| 4180k| 28812 | 10955k| 2.6 | 24M| 41 | - | 120 | 209 | 120 | 13 | 22 | 257k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1287.95/1288.30 c 1147s| 4190k| 29428 | 10981k| 2.6 | 24M| 41 | - | 120 | 225 | 0 | 0 | 22 | 257k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1290.65/1291.05 c 1149s| 4200k| 29256 | 11006k| 2.6 | 24M| 41 | - | 120 | 205 | 120 | 13 | 22 | 258k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1293.35/1293.79 c 1152s| 4210k| 29555 | 11030k| 2.6 | 25M| 41 | - | 120 | 219 | 0 | 0 | 22 | 258k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1296.15/1296.55 c 1154s| 4220k| 29870 | 11053k| 2.6 | 25M| 41 | 5 | 120 | 220 | 120 | 13 | 22 | 258k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1298.95/1299.32 c 1157s| 4230k| 29723 | 11078k| 2.6 | 25M| 41 | 5 | 120 | 215 | 120 | 13 | 22 | 259k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1301.65/1302.09 c 1159s| 4240k| 29535 | 11101k| 2.6 | 25M| 41 | - | 120 | 213 | 120 | 13 | 22 | 259k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1304.45/1304.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1304.45/1304.87 c 1162s| 4250k| 29243 | 11124k| 2.6 | 25M| 41 | 5 | 120 | 204 | 120 | 13 | 22 | 260k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1307.25/1307.64 c 1164s| 4260k| 29183 | 11149k| 2.6 | 25M| 41 | - | 120 | 229 | 120 | 13 | 22 | 260k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1310.05/1310.43 c 1167s| 4270k| 28970 | 11173k| 2.6 | 25M| 41 | - | 120 | 196 | 120 | 13 | 22 | 260k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1312.75/1313.18 c 1169s| 4280k| 28738 | 11196k| 2.6 | 25M| 41 | 5 | 120 | 213 | 120 | 13 | 22 | 261k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1315.55/1315.96 c 1172s| 4290k| 28454 | 11220k| 2.6 | 25M| 41 | - | 120 | 203 | 120 | 13 | 22 | 261k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1318.35/1318.75 c 1174s| 4300k| 28885 | 11245k| 2.6 | 26M| 41 | - | 120 | 232 | 120 | 13 | 22 | 262k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1321.15/1321.53 c 1176s| 4310k| 28554 | 11268k| 2.6 | 25M| 41 | 5 | 120 | 214 | 120 | 13 | 22 | 262k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1323.84/1324.27 c 1179s| 4320k| 28376 | 11291k| 2.6 | 26M| 41 | - | 120 | 218 | 120 | 13 | 22 | 263k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1326.65/1327.04 c 1181s| 4330k| 27684 | 11315k| 2.6 | 25M| 41 | 5 | 120 | 190 | 120 | 13 | 22 | 263k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1329.45/1329.80 c 1184s| 4340k| 27801 | 11338k| 2.6 | 25M| 41 | - | 120 | 229 | 120 | 13 | 22 | 264k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1332.14/1332.54 c 1186s| 4350k| 27521 | 11361k| 2.6 | 25M| 41 | - | 120 | 223 | 0 | 0 | 22 | 264k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1334.95/1335.31 c 1189s| 4360k| 27398 | 11385k| 2.6 | 25M| 41 | 5 | 120 | 239 | 120 | 13 | 22 | 264k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1337.65/1338.08 c 1191s| 4370k| 27051 | 11408k| 2.6 | 25M| 41 | - | 120 | 221 | 120 | 13 | 22 | 265k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1340.45/1340.86 c 1194s| 4380k| 26618 | 11432k| 2.6 | 25M| 41 | - | 120 | 212 | 120 | 13 | 22 | 265k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1343.24/1343.63 c 1196s| 4390k| 26014 | 11455k| 2.6 | 25M| 41 | 5 | 120 | 206 | 120 | 13 | 22 | 266k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1345.95/1346.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1345.95/1346.40 c 1198s| 4400k| 25340 | 11478k| 2.6 | 24M| 41 | - | 120 | 190 | 120 | 13 | 22 | 266k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1348.74/1349.16 c 1201s| 4410k| 24803 | 11501k| 2.6 | 24M| 41 | - | 120 | 200 | 120 | 13 | 22 | 267k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1351.45/1351.90 c 1203s| 4420k| 24893 | 11523k| 2.6 | 24M| 41 | - | 120 | 229 | 120 | 13 | 22 | 267k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1354.24/1354.69 c 1206s| 4430k| 23929 | 11547k| 2.6 | 24M| 41 | 5 | 120 | 197 | 120 | 13 | 22 | 268k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1357.04/1357.46 c 1208s| 4440k| 23074 | 11570k| 2.6 | 23M| 41 | 5 | 120 | 197 | 120 | 13 | 22 | 268k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1359.84/1360.22 c 1211s| 4450k| 22122 | 11594k| 2.6 | 23M| 41 | 5 | 120 | 191 | 120 | 13 | 22 | 268k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1362.55/1362.96 c 1213s| 4460k| 21621 | 11617k| 2.6 | 22M| 41 | 5 | 120 | 202 | 120 | 13 | 22 | 269k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1365.34/1365.73 c 1216s| 4470k| 20869 | 11640k| 2.6 | 22M| 41 | 5 | 120 | 210 | 120 | 13 | 22 | 269k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1368.13/1368.51 c 1218s| 4480k| 20298 | 11663k| 2.6 | 21M| 41 | 5 | 120 | 198 | 120 | 13 | 22 | 270k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1370.84/1371.25 c 1221s| 4490k| 21251 | 11688k| 2.6 | 22M| 41 | - | 120 | 228 | 120 | 13 | 22 | 270k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1373.54/1373.97 c 1223s| 4500k| 21437 | 11712k| 2.6 | 22M| 41 | - | 120 | 225 | 120 | 13 | 22 | 270k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1376.23/1376.70 c 1225s| 4510k| 20957 | 11735k| 2.6 | 22M| 41 | 5 | 120 | 212 | 120 | 13 | 22 | 271k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1379.04/1379.46 c 1228s| 4520k| 19739 | 11758k| 2.6 | 21M| 41 | - | 120 | 203 | 120 | 13 | 22 | 271k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1381.83/1382.25 c 1230s| 4530k| 18530 | 11781k| 2.6 | 20M| 41 | - | 120 | 205 | 120 | 13 | 22 | 272k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1384.63/1385.04 c 1233s| 4540k| 17446 | 11804k| 2.6 | 19M| 41 | - | 120 | 213 | 0 | 0 | 22 | 272k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1387.43/1387.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1387.43/1387.83 c 1235s| 4550k| 16248 | 11826k| 2.6 | 18M| 41 | - | 120 | 203 | 120 | 13 | 22 | 272k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1390.13/1390.60 c 1238s| 4560k| 15215 | 11849k| 2.6 | 18M| 41 | 5 | 120 | 202 | 120 | 13 | 22 | 273k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1392.92/1393.37 c 1240s| 4570k| 14041 | 11872k| 2.6 | 16M| 41 | 5 | 120 | 207 | 120 | 13 | 22 | 273k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1395.73/1396.16 c 1243s| 4580k| 12784 | 11894k| 2.6 | 15M| 41 | - | 120 | 215 | 120 | 13 | 22 | 274k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1398.52/1398.95 c 1245s| 4590k| 11478 | 11917k| 2.6 | 14M| 41 | - | 120 | 207 | 120 | 13 | 22 | 274k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1401.33/1401.74 c 1248s| 4600k| 10172 | 11940k| 2.6 | 12M| 41 | - | 120 | 195 | 120 | 13 | 22 | 275k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1404.12/1404.58 c 1250s| 4610k| 9855 | 11964k| 2.6 | 11M| 41 | 5 | 120 | 217 | 120 | 13 | 22 | 275k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1407.03/1407.43 c 1253s| 4620k| 11021 | 11990k| 2.6 | 12M| 41 | 5 | 120 | 231 | 120 | 13 | 22 | 275k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1409.83/1410.23 c 1255s| 4630k| 12020 | 12016k| 2.6 | 13M| 41 | - | 120 | 210 | 0 | 0 | 22 | 276k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1412.63/1413.02 c 1258s| 4640k| 13056 | 12040k| 2.6 | 13M| 41 | 5 | 120 | 256 | 120 | 13 | 22 | 276k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1415.42/1415.85 c 1260s| 4650k| 14200 | 12065k| 2.6 | 14M| 41 | 5 | 120 | 273 | 120 | 13 | 22 | 277k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1418.22/1418.63 c 1263s| 4660k| 14663 | 12089k| 2.6 | 15M| 41 | - | 120 | 265 | 120 | 13 | 22 | 277k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1420.92/1421.38 c 1265s| 4670k| 15265 | 12113k| 2.6 | 15M| 41 | - | 120 | 239 | 120 | 13 | 22 | 278k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1423.72/1424.13 c 1268s| 4680k| 15684 | 12137k| 2.6 | 15M| 41 | 5 | 120 | 231 | 120 | 13 | 22 | 278k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1426.42/1426.88 c 1270s| 4690k| 16226 | 12161k| 2.6 | 16M| 41 | - | 120 | 235 | 120 | 13 | 22 | 279k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1429.22/1429.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1429.22/1429.67 c 1272s| 4700k| 16763 | 12186k| 2.6 | 16M| 41 | - | 120 | 226 | 120 | 13 | 22 | 279k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1432.02/1432.43 c 1275s| 4710k| 17210 | 12211k| 2.6 | 17M| 41 | - | 120 | 263 | 0 | 0 | 22 | 279k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1434.82/1435.21 c 1277s| 4720k| 17466 | 12235k| 2.6 | 17M| 41 | - | 120 | 251 | 120 | 13 | 22 | 280k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1437.52/1437.96 c 1280s| 4730k| 17334 | 12259k| 2.6 | 17M| 41 | 5 | 120 | 219 | 120 | 13 | 22 | 280k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1440.32/1440.73 c 1282s| 4740k| 17294 | 12282k| 2.6 | 17M| 41 | - | 120 | 236 | 120 | 13 | 22 | 281k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1443.02/1443.49 c 1285s| 4750k| 17352 | 12305k| 2.6 | 17M| 41 | - | 120 | 241 | 0 | 0 | 22 | 281k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1445.81/1446.27 c 1287s| 4760k| 17193 | 12328k| 2.6 | 17M| 41 | 5 | 120 | 248 | 120 | 13 | 22 | 282k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1448.62/1449.07 c 1290s| 4770k| 16959 | 12352k| 2.6 | 17M| 41 | 5 | 120 | 236 | 120 | 13 | 22 | 282k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1451.41/1451.83 c 1292s| 4780k| 16935 | 12376k| 2.6 | 18M| 41 | 5 | 120 | 234 | 120 | 13 | 22 | 283k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1454.21/1454.62 c 1294s| 4790k| 16255 | 12399k| 2.6 | 17M| 41 | - | 120 | 240 | 120 | 13 | 22 | 283k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1457.02/1457.40 c 1297s| 4800k| 15768 | 12423k| 2.6 | 17M| 41 | - | 120 | 229 | 0 | 0 | 22 | 284k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1459.71/1460.17 c 1299s| 4810k| 15659 | 12447k| 2.6 | 17M| 41 | - | 120 | 241 | 120 | 13 | 22 | 284k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1462.52/1462.98 c 1302s| 4820k| 14700 | 12470k| 2.6 | 16M| 41 | 5 | 120 | 208 | 120 | 13 | 22 | 285k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1465.31/1465.76 c 1304s| 4830k| 13573 | 12493k| 2.6 | 16M| 41 | 5 | 120 | 204 | 120 | 13 | 22 | 285k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1468.12/1468.56 c 1307s| 4840k| 12425 | 12516k| 2.6 | 15M| 41 | - | 120 | 215 | 120 | 13 | 22 | 286k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1470.90/1471.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1470.90/1471.39 c 1309s| 4850k| 10775 | 12539k| 2.6 | 13M| 41 | - | 120 | 210 | 120 | 13 | 22 | 287k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1473.81/1474.23 c 1312s| 4860k| 9123 | 12562k| 2.6 | 11M| 41 | 5 | 120 | 211 | 120 | 13 | 22 | 287k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1476.61/1477.05 c 1314s| 4870k| 9155 | 12588k| 2.6 | 11M| 41 | 5 | 120 | 254 | 120 | 13 | 22 | 288k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1479.41/1479.86 c 1317s| 4880k| 10059 | 12613k| 2.6 | 11M| 41 | - | 120 | 238 | 0 | 0 | 22 | 288k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1482.20/1482.61 c 1319s| 4890k| 10359 | 12636k| 2.6 | 12M| 41 | 5 | 120 | 222 | 120 | 13 | 22 | 288k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1484.90/1485.37 c 1322s| 4900k| 10841 | 12659k| 2.6 | 12M| 41 | - | 120 | 297 | 0 | 0 | 22 | 289k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1487.70/1488.18 c 1324s| 4910k| 10777 | 12683k| 2.6 | 12M| 41 | 5 | 120 | 238 | 120 | 13 | 22 | 289k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1490.61/1491.01 c 1327s| 4920k| 10074 | 12706k| 2.6 | 12M| 41 | 5 | 120 | 233 | 120 | 13 | 22 | 290k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1493.41/1493.81 c 1329s| 4930k| 9346 | 12728k| 2.6 | 11M| 41 | - | 120 | 208 | 120 | 13 | 22 | 291k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1496.20/1496.65 c 1332s| 4940k| 9029 | 12753k| 2.6 | 11M| 41 | - | 120 | 256 | 120 | 13 | 22 | 291k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1499.00/1499.46 c 1334s| 4950k| 9375 | 12777k| 2.6 | 11M| 41 | 5 | 120 | 288 | 120 | 13 | 22 | 292k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1501.80/1502.27 c 1337s| 4960k| 10652 | 12801k| 2.6 | 12M| 41 | 5 | 120 | 283 | 120 | 13 | 22 | 292k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1504.60/1505.08 c 1339s| 4970k| 11315 | 12825k| 2.6 | 12M| 41 | 5 | 120 | 282 | 120 | 13 | 22 | 293k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1507.40/1507.84 c 1342s| 4980k| 11731 | 12849k| 2.6 | 12M| 41 | 5 | 120 | 285 | 120 | 13 | 22 | 293k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1510.09/1510.58 c 1344s| 4990k| 12381 | 12872k| 2.6 | 13M| 41 | - | 120 | 328 | 0 | 0 | 22 | 294k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1512.90/1513.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1512.90/1513.35 c 1347s| 5000k| 12739 | 12895k| 2.6 | 13M| 41 | - | 120 | 309 | 120 | 13 | 22 | 294k| 28k| 0.000000e+00 | 2.000000e+00 | Inf
1515.69/1516.11 c 1349s| 5010k| 12698 | 12918k| 2.6 | 13M| 41 | 5 | 120 | 306 | 120 | 13 | 22 | 294k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1518.39/1518.88 c 1352s| 5020k| 12762 | 12942k| 2.6 | 14M| 41 | - | 120 | 306 | 120 | 13 | 22 | 295k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1521.20/1521.67 c 1354s| 5030k| 12357 | 12965k| 2.6 | 13M| 41 | - | 120 | 279 | 120 | 13 | 22 | 295k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1524.00/1524.49 c 1357s| 5040k| 12730 | 12988k| 2.6 | 14M| 41 | 5 | 120 | 306 | 120 | 13 | 22 | 296k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1526.79/1527.30 c 1359s| 5050k| 13664 | 13011k| 2.6 | 14M| 41 | 5 | 120 | 332 | 120 | 13 | 22 | 296k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1529.60/1530.04 c 1361s| 5060k| 13855 | 13034k| 2.6 | 15M| 41 | 5 | 120 | 324 | 120 | 13 | 22 | 297k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1532.40/1532.82 c 1364s| 5070k| 13770 | 13056k| 2.6 | 15M| 41 | 5 | 120 | 342 | 120 | 13 | 22 | 298k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1535.20/1535.61 c 1366s| 5080k| 13787 | 13079k| 2.6 | 15M| 41 | 5 | 120 | 323 | 120 | 13 | 22 | 298k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1537.89/1538.39 c 1369s| 5090k| 13085 | 13101k| 2.6 | 14M| 41 | - | 120 | 288 | 120 | 13 | 22 | 299k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1540.69/1541.17 c 1371s| 5100k| 12295 | 13124k| 2.6 | 14M| 41 | - | 120 | 276 | 120 | 13 | 22 | 299k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1543.50/1543.92 c 1374s| 5110k| 11733 | 13146k| 2.6 | 14M| 41 | 5 | 120 | 270 | 120 | 13 | 22 | 299k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1546.20/1546.68 c 1376s| 5120k| 11831 | 13169k| 2.6 | 14M| 41 | 5 | 120 | 301 | 120 | 13 | 22 | 300k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1548.99/1549.44 c 1379s| 5130k| 11231 | 13192k| 2.6 | 13M| 41 | 5 | 120 | 243 | 120 | 13 | 22 | 300k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1551.79/1552.22 c 1381s| 5140k| 10572 | 13215k| 2.6 | 13M| 41 | - | 120 | 283 | 120 | 13 | 22 | 301k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1554.48/1554.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1554.48/1554.98 c 1384s| 5150k| 9850 | 13239k| 2.6 | 12M| 41 | 5 | 120 | 255 | 120 | 13 | 22 | 301k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1557.39/1557.82 c 1386s| 5160k| 9255 | 13263k| 2.6 | 11M| 41 | 5 | 120 | 242 | 120 | 13 | 22 | 302k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1560.18/1560.62 c 1389s| 5170k| 8958 | 13288k| 2.6 | 11M| 41 | - | 120 | 235 | 120 | 13 | 22 | 302k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1562.99/1563.42 c 1391s| 5180k| 9270 | 13314k| 2.6 | 11M| 41 | 5 | 120 | 223 | 120 | 13 | 22 | 303k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1565.78/1566.29 c 1394s| 5190k| 10175 | 13341k| 2.6 | 11M| 41 | 5 | 120 | 257 | 120 | 13 | 22 | 303k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1568.79/1569.20 c 1396s| 5200k| 11432 | 13368k| 2.6 | 12M| 41 | 5 | 120 | 288 | 120 | 13 | 22 | 304k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1571.58/1572.07 c 1399s| 5210k| 11997 | 13394k| 2.6 | 13M| 41 | - | 120 | 316 | 120 | 13 | 22 | 304k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1574.48/1574.97 c 1401s| 5220k| 12755 | 13420k| 2.6 | 13M| 41 | - | 120 | 342 | 120 | 13 | 22 | 305k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1577.38/1577.80 c 1404s| 5230k| 12970 | 13445k| 2.6 | 13M| 41 | - | 120 | 295 | 120 | 13 | 22 | 305k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1580.19/1580.66 c 1406s| 5240k| 13532 | 13469k| 2.6 | 14M| 41 | - | 120 | 320 | 120 | 13 | 22 | 305k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1583.08/1583.52 c 1409s| 5250k| 13808 | 13495k| 2.6 | 14M| 41 | - | 120 | 290 | 120 | 13 | 22 | 306k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1586.08/1586.57 c 1411s| 5260k| 15551 | 13523k| 2.6 | 15M| 41 | - | 120 | 255 | 120 | 13 | 22 | 306k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1588.99/1589.47 c 1414s| 5270k| 16806 | 13549k| 2.6 | 16M| 41 | 5 | 120 | 233 | 120 | 13 | 22 | 307k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1591.88/1592.33 c 1417s| 5280k| 17616 | 13574k| 2.6 | 16M| 41 | 5 | 120 | 228 | 120 | 13 | 22 | 307k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1594.68/1595.18 c 1419s| 5290k| 18203 | 13600k| 2.6 | 17M| 41 | 5 | 120 | 251 | 120 | 13 | 22 | 308k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1597.58/1598.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1597.58/1598.03 c 1422s| 5300k| 19219 | 13625k| 2.6 | 18M| 41 | 5 | 120 | 312 | 120 | 13 | 22 | 308k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1600.47/1600.92 c 1424s| 5310k| 19680 | 13650k| 2.6 | 18M| 41 | 5 | 120 | 287 | 120 | 13 | 22 | 309k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1603.28/1603.76 c 1427s| 5320k| 20158 | 13674k| 2.6 | 18M| 41 | 5 | 120 | 304 | 120 | 13 | 22 | 309k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1606.18/1606.64 c 1429s| 5330k| 20664 | 13700k| 2.6 | 19M| 41 | - | 120 | 295 | 120 | 13 | 22 | 310k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1609.08/1609.51 c 1432s| 5340k| 20983 | 13725k| 2.6 | 19M| 41 | - | 120 | 275 | 0 | 0 | 22 | 310k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1611.87/1612.35 c 1434s| 5350k| 21334 | 13750k| 2.6 | 20M| 41 | 5 | 120 | 273 | 120 | 13 | 22 | 311k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1614.67/1615.17 c 1437s| 5360k| 21625 | 13775k| 2.6 | 20M| 41 | 5 | 120 | 272 | 120 | 13 | 22 | 311k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1617.58/1618.02 c 1439s| 5370k| 22163 | 13800k| 2.6 | 20M| 41 | - | 120 | 288 | 0 | 0 | 22 | 312k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1620.37/1620.88 c 1442s| 5380k| 22939 | 13825k| 2.6 | 21M| 41 | - | 120 | 327 | 0 | 0 | 22 | 312k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1623.26/1623.72 c 1444s| 5390k| 24006 | 13850k| 2.6 | 22M| 41 | - | 120 | 378 | 120 | 13 | 22 | 312k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1626.07/1626.56 c 1447s| 5400k| 24638 | 13874k| 2.6 | 22M| 41 | - | 120 | 403 | 120 | 13 | 22 | 313k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1628.97/1629.41 c 1449s| 5410k| 24943 | 13897k| 2.6 | 22M| 41 | - | 120 | 401 | 0 | 0 | 22 | 313k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1631.77/1632.26 c 1452s| 5420k| 25415 | 13921k| 2.6 | 23M| 41 | 5 | 120 | 443 | 120 | 13 | 22 | 314k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1634.67/1635.12 c 1454s| 5430k| 25763 | 13946k| 2.6 | 23M| 41 | - | 120 | 404 | 0 | 0 | 22 | 314k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1637.47/1637.96 c 1457s| 5440k| 25688 | 13968k| 2.6 | 23M| 41 | - | 120 | 337 | 120 | 13 | 22 | 315k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1640.27/1640.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1640.27/1640.79 c 1460s| 5450k| 25913 | 13992k| 2.6 | 23M| 41 | 5 | 120 | 349 | 120 | 13 | 22 | 315k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1643.16/1643.64 c 1462s| 5460k| 25951 | 14016k| 2.6 | 24M| 41 | 5 | 120 | 300 | 120 | 13 | 22 | 316k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1645.96/1646.47 c 1465s| 5470k| 26263 | 14040k| 2.6 | 24M| 41 | - | 120 | 312 | 120 | 13 | 22 | 316k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1648.86/1649.31 c 1467s| 5480k| 26490 | 14065k| 2.6 | 24M| 41 | 5 | 120 | 324 | 120 | 13 | 22 | 317k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1651.67/1652.17 c 1470s| 5490k| 26380 | 14089k| 2.6 | 24M| 41 | 5 | 120 | 276 | 120 | 13 | 22 | 317k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1654.57/1655.05 c 1472s| 5500k| 26683 | 14113k| 2.6 | 25M| 41 | - | 120 | 351 | 0 | 0 | 22 | 318k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1657.46/1657.93 c 1475s| 5510k| 26645 | 14137k| 2.6 | 25M| 41 | 5 | 120 | 298 | 120 | 13 | 22 | 318k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1660.26/1660.75 c 1477s| 5520k| 26885 | 14162k| 2.6 | 25M| 41 | 5 | 120 | 278 | 120 | 13 | 22 | 319k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1663.06/1663.55 c 1480s| 5530k| 26810 | 14186k| 2.6 | 25M| 41 | - | 120 | 290 | 120 | 13 | 22 | 319k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1665.86/1666.38 c 1482s| 5540k| 26711 | 14210k| 2.6 | 25M| 41 | 5 | 120 | 292 | 120 | 13 | 22 | 320k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1668.76/1669.21 c 1485s| 5550k| 27495 | 14234k| 2.6 | 26M| 41 | - | 120 | 333 | 0 | 0 | 22 | 320k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1671.56/1672.04 c 1487s| 5560k| 27485 | 14258k| 2.6 | 26M| 41 | - | 120 | 325 | 120 | 13 | 22 | 321k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1674.45/1674.91 c 1490s| 5570k| 27913 | 14284k| 2.6 | 26M| 41 | 5 | 120 | 339 | 120 | 13 | 22 | 321k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1677.25/1677.79 c 1492s| 5580k| 27946 | 14310k| 2.6 | 26M| 41 | - | 120 | 346 | 0 | 0 | 22 | 322k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1680.15/1680.60 c 1495s| 5590k| 28345 | 14333k| 2.6 | 26M| 41 | 5 | 120 | 360 | 120 | 13 | 22 | 322k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1682.95/1683.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1682.95/1683.46 c 1497s| 5600k| 28367 | 14357k| 2.6 | 27M| 41 | - | 120 | 362 | 120 | 13 | 22 | 323k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1685.86/1686.33 c 1500s| 5610k| 28925 | 14382k| 2.6 | 27M| 41 | 5 | 120 | 338 | 120 | 13 | 22 | 323k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1688.65/1689.12 c 1502s| 5620k| 29083 | 14407k| 2.6 | 27M| 41 | - | 120 | 344 | 120 | 13 | 22 | 323k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1691.45/1691.99 c 1505s| 5630k| 28864 | 14431k| 2.6 | 27M| 41 | 5 | 120 | 332 | 120 | 13 | 22 | 324k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1694.35/1694.84 c 1507s| 5640k| 29250 | 14455k| 2.6 | 28M| 41 | - | 120 | 346 | 120 | 13 | 22 | 324k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1697.15/1697.66 c 1510s| 5650k| 29579 | 14478k| 2.6 | 28M| 41 | 5 | 120 | 378 | 120 | 13 | 22 | 325k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1700.06/1700.51 c 1512s| 5660k| 30326 | 14502k| 2.6 | 28M| 41 | - | 120 | 374 | 0 | 0 | 22 | 326k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1702.85/1703.33 c 1515s| 5670k| 30722 | 14525k| 2.6 | 29M| 41 | 5 | 120 | 390 | 120 | 13 | 22 | 326k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1705.66/1706.15 c 1518s| 5680k| 30400 | 14547k| 2.6 | 29M| 41 | 5 | 120 | 361 | 120 | 13 | 22 | 327k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1708.45/1708.97 c 1520s| 5690k| 30577 | 14572k| 2.6 | 29M| 41 | - | 120 | 359 | 120 | 13 | 22 | 327k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1711.35/1711.82 c 1523s| 5700k| 30573 | 14595k| 2.6 | 29M| 41 | 5 | 120 | 371 | 120 | 13 | 22 | 328k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1714.15/1714.69 c 1525s| 5710k| 30482 | 14618k| 2.6 | 29M| 41 | 5 | 120 | 370 | 120 | 13 | 22 | 328k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1717.05/1717.53 c 1528s| 5720k| 30669 | 14642k| 2.6 | 29M| 41 | - | 120 | 378 | 120 | 13 | 22 | 329k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1719.86/1720.37 c 1530s| 5730k| 31141 | 14665k| 2.6 | 30M| 41 | - | 120 | 409 | 120 | 13 | 22 | 329k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1722.75/1723.20 c 1533s| 5740k| 31019 | 14687k| 2.6 | 30M| 41 | - | 120 | 370 | 120 | 13 | 22 | 330k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1725.54/1726.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1725.54/1726.04 c 1535s| 5750k| 31272 | 14711k| 2.6 | 30M| 41 | 5 | 120 | 423 | 120 | 13 | 22 | 330k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1728.34/1728.89 c 1538s| 5760k| 30961 | 14735k| 2.6 | 30M| 41 | - | 120 | 367 | 120 | 13 | 22 | 331k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1731.24/1731.71 c 1540s| 5770k| 30770 | 14758k| 2.6 | 30M| 41 | - | 120 | 357 | 120 | 13 | 22 | 331k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1734.15/1734.65 c 1543s| 5780k| 31362 | 14783k| 2.6 | 30M| 41 | - | 120 | 382 | 0 | 0 | 22 | 332k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1737.04/1737.56 c 1546s| 5790k| 31899 | 14806k| 2.6 | 31M| 41 | 5 | 120 | 508 | 120 | 13 | 22 | 333k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1739.94/1740.49 c 1548s| 5800k| 32348 | 14831k| 2.6 | 31M| 41 | - | 120 | 416 | 120 | 13 | 22 | 333k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1742.94/1743.41 c 1551s| 5810k| 32917 | 14855k| 2.6 | 32M| 41 | 5 | 120 | 422 | 120 | 13 | 22 | 334k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1745.83/1746.31 c 1553s| 5820k| 32940 | 14879k| 2.6 | 32M| 41 | - | 120 | 410 | 120 | 13 | 22 | 334k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1748.74/1749.26 c 1556s| 5830k| 33204 | 14903k| 2.6 | 32M| 41 | - | 120 | 462 | 0 | 0 | 22 | 335k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1751.64/1752.15 c 1558s| 5840k| 33121 | 14926k| 2.6 | 32M| 41 | 5 | 120 | 389 | 120 | 13 | 22 | 335k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1754.54/1755.04 c 1561s| 5850k| 32805 | 14949k| 2.6 | 32M| 41 | 5 | 120 | 389 | 120 | 13 | 22 | 336k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1757.44/1757.91 c 1564s| 5860k| 32918 | 14972k| 2.6 | 32M| 41 | 5 | 120 | 417 | 120 | 13 | 22 | 336k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1760.33/1760.81 c 1566s| 5870k| 32456 | 14995k| 2.6 | 32M| 41 | - | 120 | 393 | 120 | 13 | 22 | 337k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1763.24/1763.70 c 1569s| 5880k| 31888 | 15019k| 2.6 | 31M| 41 | 5 | 120 | 316 | 120 | 13 | 22 | 338k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1766.04/1766.52 c 1571s| 5890k| 31655 | 15043k| 2.6 | 31M| 41 | 5 | 120 | 294 | 120 | 13 | 22 | 338k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1768.83/1769.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1768.83/1769.33 c 1574s| 5900k| 31347 | 15066k| 2.6 | 31M| 41 | - | 120 | 278 | 120 | 13 | 22 | 339k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1771.73/1772.29 c 1576s| 5910k| 32415 | 15092k| 2.6 | 32M| 41 | 5 | 120 | 394 | 120 | 13 | 22 | 339k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1774.73/1775.22 c 1579s| 5920k| 32882 | 15115k| 2.6 | 32M| 41 | - | 120 | 453 | 120 | 13 | 22 | 340k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1777.63/1778.14 c 1582s| 5930k| 32933 | 15139k| 2.6 | 32M| 41 | 5 | 120 | 389 | 120 | 13 | 22 | 340k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1780.53/1781.01 c 1584s| 5940k| 32886 | 15161k| 2.6 | 33M| 41 | 5 | 120 | 403 | 120 | 13 | 22 | 341k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1783.33/1783.88 c 1587s| 5950k| 32536 | 15185k| 2.6 | 32M| 41 | 5 | 120 | 430 | 120 | 13 | 22 | 341k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1786.22/1786.72 c 1589s| 5960k| 32073 | 15207k| 2.6 | 32M| 41 | 5 | 120 | 325 | 120 | 13 | 22 | 342k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1789.13/1789.62 c 1592s| 5970k| 31759 | 15232k| 2.6 | 32M| 41 | - | 120 | 319 | 120 | 13 | 22 | 342k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1791.93/1792.45 c 1594s| 5980k| 31452 | 15256k| 2.6 | 32M| 41 | 5 | 120 | 292 | 120 | 13 | 22 | 343k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1794.83/1795.32 c 1597s| 5990k| 31553 | 15281k| 2.6 | 32M| 41 | - | 120 | 321 | 120 | 13 | 22 | 343k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1797.63/1798.14 c 1599s| 6000k| 31375 | 15307k| 2.6 | 32M| 41 | 5 | 120 | 306 | 120 | 13 | 22 | 343k| 29k| 0.000000e+00 | 2.000000e+00 | Inf
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.50 c
1800.03/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.50 c Solving Time (sec) : 1601.59
1800.03/1800.50 c Solving Nodes : 6008274
1800.03/1800.50 c Primal Bound : +2.00000000000000e+00 (35 solutions)
1800.03/1800.50 c Dual Bound : +0.00000000000000e+00
1800.03/1800.50 c Gap : infinite
1800.03/1800.50 s SATISFIABLE
1800.03/1800.50 v x120 x119 -x118 -x117 x116 -x115 x114 -x113 x112 x111 -x110 x109 -x108 x107 -x106 -x105 -x104 x103 x102 x101 x100 -x99 -x98 -x97
1800.03/1800.50 v x96 -x95 -x94 -x93 -x92 x91 x90 -x89 x88 x87 x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
1800.03/1800.50 v -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46
1800.03/1800.50 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
1800.03/1800.50 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1800.03/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.50 c Solving Time : 1601.59
1800.03/1800.50 c Original Problem :
1800.03/1800.50 c Problem name : HOME/instance-2667086-1276617113.opb
1800.03/1800.50 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.50 c Constraints : 10 initial, 10 maximal
1800.03/1800.50 c Presolved Problem :
1800.03/1800.50 c Problem name : t_HOME/instance-2667086-1276617113.opb
1800.03/1800.50 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.50 c Constraints : 5 initial, 545 maximal
1800.03/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c probing : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.50 c linear : 0.00 0 0 0 0 0 5 0 0
1800.03/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c root node : - 70 - - 70 - - - -
1800.03/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.50 c integral : 0 0 0 3061574 0 1548 22120 0 0 6075892
1800.03/1800.50 c linear : 5+ 7 7646679 1 0 799467 5787290 0 0 0
1800.03/1800.50 c logicor : 0+ 0 3065308 0 0 7900 110091 0 0 0
1800.03/1800.50 c countsols : 0 0 0 19 0 0 0 0 0 0
1800.03/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.50 c integral : 37.92 0.00 0.00 37.92 0.00
1800.03/1800.50 c linear : 356.86 0.00 356.86 0.00 0.00
1800.03/1800.50 c logicor : 16.09 0.00 16.09 0.00 0.00
1800.03/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.50 c vbounds : 3.59 2 0 0
1800.03/1800.50 c rootredcost : 3.58 33 0 70
1800.03/1800.50 c pseudoobj : 46.82 7653038 6539 273616
1800.03/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.51 c propagation : 41.04 813906 314385 412463 34.0 8 28.8 -
1800.03/1800.51 c infeasible LP : 1.74 27277 27277 34689 23.6 6 30.2 0
1800.03/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.51 c applied globally : - - - 85432 25.8 - - -
1800.03/1800.51 c applied locally : - - - 258956 35.4 - - -
1800.03/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.51 c cut pool : 0.00 5 - - 5 - (maximal pool size: 83)
1800.03/1800.51 c redcost : 34.96 3387260 0 5777998 0 0
1800.03/1800.51 c impliedbounds : 0.00 6 0 0 0 0
1800.03/1800.51 c intobj : 0.00 0 0 0 0 0
1800.03/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.51 c gomory : 0.00 6 0 0 0 0
1800.03/1800.51 c strongcg : 0.01 6 0 0 28 0
1800.03/1800.51 c cmir : 0.01 6 0 0 26 0
1800.03/1800.51 c flowcover : 0.04 6 0 0 36 0
1800.03/1800.51 c clique : 0.00 1 0 0 0 0
1800.03/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.51 c mcf : 0.00 1 0 0 0 0
1800.03/1800.51 c rapidlearning : 0.08 1 0 0 0 103
1800.03/1800.51 c Pricers : Time Calls Vars
1800.03/1800.51 c problem variables: 0.00 0 0
1800.03/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c relpscost : 33.59 3061555 1548 22120 0 0 6075892
1800.03/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.51 c inference : 0.00 0 0 0 0 0 0
1800.03/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c random : 0.00 0 0 0 0 0 0
1800.03/1800.51 c Primal Heuristics : Time Calls Found
1800.03/1800.51 c LP solutions : 0.03 - 19
1800.03/1800.51 c pseudo solutions : 0.00 - 0
1800.03/1800.51 c feaspump : 0.36 1 0
1800.03/1800.51 c oneopt : 3.87 32 0
1800.03/1800.51 c crossover : 13.89 15 0
1800.03/1800.51 c rootsoldiving : 6.95 2757 2
1800.03/1800.51 c coefdiving : 8.77 7059 2
1800.03/1800.51 c pscostdiving : 8.03 7059 3
1800.03/1800.51 c veclendiving : 7.00 7059 0
1800.03/1800.51 c linesearchdiving : 7.12 7059 3
1800.03/1800.51 c guideddiving : 7.13 7059 3
1800.03/1800.51 c fracdiving : 7.90 7060 2
1800.03/1800.51 c objpscostdiving : 4.99 3531 0
1800.03/1800.51 c trivial : 0.00 2 0
1800.03/1800.51 c simplerounding : 2.40 0 0
1800.03/1800.51 c zirounding : 3.16 1000 0
1800.03/1800.51 c rounding : 3.07 25869 0
1800.03/1800.51 c shifting : 5.94 8852 0
1800.03/1800.51 c intshifting : 0.34 0 0
1800.03/1800.51 c twoopt : 0.00 0 0
1800.03/1800.51 c fixandinfer : 0.00 0 0
1800.03/1800.51 c intdiving : 0.00 0 0
1800.03/1800.51 c actconsdiving : 0.00 0 0
1800.03/1800.51 c octane : 0.00 0 0
1800.03/1800.51 c rens : 0.02 1 0
1800.03/1800.51 c rins : 0.00 0 0
1800.03/1800.51 c localbranching : 0.00 0 0
1800.03/1800.51 c mutation : 0.00 0 0
1800.03/1800.51 c dins : 0.00 0 0
1800.03/1800.51 c undercover : 0.00 0 0
1800.03/1800.51 c nlp : 2.62 0 0
1800.03/1800.51 c trysol : 4.84 0 0
1800.03/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.51 c dual LP : 545.72 5568804 14704360 2.64 26944.88
1800.03/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.51 c diving/probing LP: 24.30 236860 622113 2.63 25601.36
1800.03/1800.51 c strong branching : 5.39 29924 81569 2.73 15133.40
1800.03/1800.51 c (at root node) : - 9 240 26.67 -
1800.03/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.51 c B&B Tree :
1800.03/1800.51 c number of runs : 1
1800.03/1800.51 c nodes : 6008274
1800.03/1800.51 c nodes (total) : 6008274
1800.03/1800.51 c nodes left : 31133
1800.03/1800.51 c max depth : 41
1800.03/1800.51 c max depth (total): 41
1800.03/1800.51 c backtracks : 1699167 (28.3%)
1800.03/1800.51 c delayed cutoffs : 31803
1800.03/1800.51 c repropagations : 139863 (235598 domain reductions, 28107 cutoffs)
1800.03/1800.51 c avg switch length: 5.54
1800.03/1800.51 c switching time : 132.93
1800.03/1800.51 c Solution :
1800.03/1800.51 c Solutions found : 35 (33 improvements)
1800.03/1800.51 c First Solution : +7.30000000000000e+02 (in run 1, after 1 nodes, 0.09 seconds, depth 0, found by <trysol>)
1800.03/1800.51 c Primal Bound : +2.00000000000000e+00 (in run 1, after 3616032 nodes, 1003.06 seconds, depth 27, found by <relaxation>)
1800.03/1800.51 c Dual Bound : +0.00000000000000e+00
1800.03/1800.51 c Gap : infinite
1800.03/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.51 c Root Iterations : 87
1800.23/1800.73 c Time complete: 1800.26.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667086-1276617113/watcher-2667086-1276617113 -o /tmp/evaluation-result-2667086-1276617113/solver-2667086-1276617113 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667086-1276617113.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.92 0.98 1.05 2/106 10132
/proc/meminfo: memFree=1508032/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=7724 CPUtime=0
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 1035 0 0 0 0 0 0 0 17 0 1 0 3003465 7909376 955 1992294400 4194304 8223781 140735421710832 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10132/statm: 1931 962 348 984 0 944 0
[startup+0.0355089 s]
/proc/loadavg: 0.92 0.98 1.05 2/106 10132
/proc/meminfo: memFree=1508032/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=12568 CPUtime=0.03
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 2933 0 0 0 2 1 0 0 17 0 1 0 3003465 12869632 2230 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 3142 2230 543 984 0 2155 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12568
[startup+0.101516 s]
/proc/loadavg: 0.92 0.98 1.05 2/106 10132
/proc/meminfo: memFree=1508032/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=20264 CPUtime=0.09
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 4786 0 0 0 7 2 0 0 17 0 1 0 3003465 20750336 3816 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 5066 3816 565 984 0 4079 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20264
[startup+0.300536 s]
/proc/loadavg: 0.92 0.98 1.05 2/106 10132
/proc/meminfo: memFree=1508032/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=14048 CPUtime=0.29
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 8136 0 0 0 25 4 0 0 17 0 1 0 3003465 14385152 2676 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 3512 2676 587 984 0 2525 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14048
[startup+0.700577 s]
/proc/loadavg: 0.92 0.98 1.05 2/106 10132
/proc/meminfo: memFree=1508032/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=14048 CPUtime=0.69
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 8137 0 0 0 61 8 0 0 17 0 1 0 3003465 14385152 2677 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 3512 2677 588 984 0 2525 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14048
[startup+1.50066 s]
/proc/loadavg: 0.92 0.98 1.05 2/107 10133
/proc/meminfo: memFree=1498972/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=14520 CPUtime=1.49
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 10010 0 0 0 134 15 0 0 18 0 1 0 3003465 14868480 2790 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 3630 2790 589 984 0 2643 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14520
[startup+3.10082 s]
/proc/loadavg: 0.92 0.98 1.05 2/107 10133
/proc/meminfo: memFree=1497732/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=15400 CPUtime=3.09
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 12655 0 0 0 278 31 0 0 21 0 1 0 3003465 15769600 3025 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 3850 3025 589 984 0 2863 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15400
[startup+6.30115 s]
/proc/loadavg: 0.93 0.98 1.05 2/107 10135
/proc/meminfo: memFree=1495748/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=24260 CPUtime=6.29
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 19788 0 0 0 565 64 0 0 25 0 1 0 3003465 24842240 4909 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 6065 4909 589 984 0 5078 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24260
[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 1.05 2/107 10135
/proc/meminfo: memFree=1494136/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=19028 CPUtime=12.69
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 23362 0 0 0 1142 127 0 0 25 0 1 0 3003465 19484672 3952 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 4757 3952 589 984 0 3770 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19028
[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 1.05 2/107 10135
/proc/meminfo: memFree=1492028/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=20420 CPUtime=25.49
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 36074 0 0 0 2290 259 0 0 25 0 1 0 3003465 20910080 4306 1992294400 4194304 8223781 140735421710832 18446744073709551615 4979401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 5105 4306 591 984 0 4118 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20420
[startup+51.1008 s]
/proc/loadavg: 0.96 0.98 1.05 2/107 10135
/proc/meminfo: memFree=1492028/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=20832 CPUtime=51.07
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 37378 0 0 0 4591 516 0 0 25 0 1 0 3003465 21331968 4412 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 5208 4412 591 984 0 4221 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 20832
[startup+102.308 s]
/proc/loadavg: 0.98 0.98 1.04 2/107 10137
/proc/meminfo: memFree=1488804/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=24004 CPUtime=102.28
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 44176 0 0 0 9162 1066 0 0 25 0 1 0 3003465 24580096 5221 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 6001 5221 591 984 0 5014 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 24004
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 1.04 2/107 10139
/proc/meminfo: memFree=1485332/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=26932 CPUtime=162.25
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 45502 0 0 0 14524 1701 0 0 25 0 1 0 3003465 27578368 5951 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 6733 5951 591 984 0 5746 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 26932
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 1.03 2/107 10139
/proc/meminfo: memFree=1483472/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=28520 CPUtime=222.24
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 60162 0 0 0 19872 2352 0 0 25 0 1 0 3003465 29204480 6362 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 7130 6362 591 984 0 6143 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 28520
[startup+282.3 s]
/proc/loadavg: 0.99 0.98 1.02 2/107 10141
/proc/meminfo: memFree=1483844/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=28004 CPUtime=282.22
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 60758 0 0 0 25224 2998 0 0 25 0 1 0 3003465 28676096 6233 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 7001 6233 591 984 0 6014 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 28004
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 1.02 2/107 10143
/proc/meminfo: memFree=1483224/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=36180 CPUtime=342.2
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 65521 0 0 0 30566 3654 0 0 25 0 1 0 3003465 37048320 7912 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 9045 7912 591 984 0 8058 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 36180
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 1.01 2/107 10145
/proc/meminfo: memFree=1483596/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=28072 CPUtime=402.19
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 74703 0 0 0 35906 4313 0 0 25 0 1 0 3003465 28745728 6251 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 7018 6251 591 984 0 6031 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 28072
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 1.01 2/107 10147
/proc/meminfo: memFree=1484216/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=27248 CPUtime=462.17
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 75303 0 0 0 41242 4975 0 0 25 0 1 0 3003465 27901952 6045 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 6812 6045 591 984 0 5825 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 27248
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 10147
/proc/meminfo: memFree=1484588/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=26860 CPUtime=522.16
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 78032 0 0 0 46578 5638 0 0 25 0 1 0 3003465 27504640 5948 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 6715 5948 591 984 0 5728 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 26860
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 10158
/proc/meminfo: memFree=1484216/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=26860 CPUtime=582.13
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 78032 0 0 0 51914 6299 0 0 25 0 1 0 3003465 27504640 5948 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 6715 5948 591 984 0 5728 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 26860
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 10160
/proc/meminfo: memFree=1483348/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=28088 CPUtime=642.13
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 81803 0 0 0 57256 6957 0 0 25 0 1 0 3003465 28762112 6255 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 7022 6255 591 984 0 6035 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 28088
[startup+702.302 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 10168
/proc/meminfo: memFree=1476404/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=34944 CPUtime=942.04
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 84092 0 0 0 83970 10234 0 0 25 0 1 0 3003465 35782656 7956 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 8736 7956 591 984 0 7749 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 34944
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 10170
/proc/meminfo: memFree=1464872/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=46676 CPUtime=1002.03
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 87072 0 0 0 89313 10890 0 0 25 0 1 0 3003465 47796224 10936 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 11669 10936 591 984 0 10682 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 46676
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 10172
/proc/meminfo: memFree=1461524/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=49304 CPUtime=1062.01
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 87755 0 0 0 94654 11547 0 0 25 0 1 0 3003465 50487296 11619 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 12326 11619 591 984 0 11339 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 49304
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 10172
/proc/meminfo: memFree=1459788/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=50856 CPUtime=1122
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 88118 0 0 0 100001 12199 0 0 25 0 1 0 3003465 52076544 11982 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 12714 11982 591 984 0 11727 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 50856
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 10174
/proc/meminfo: memFree=1459044/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=50856 CPUtime=1181.98
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 98902 0 0 0 105321 12877 0 0 25 0 1 0 3003465 52076544 12014 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 12714 12014 591 984 0 11727 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 50856
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 1.00 3/107 10176
/proc/meminfo: memFree=1458796/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=50856 CPUtime=1241.97
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 99495 0 0 0 110625 13572 0 0 25 0 1 0 3003465 52076544 12014 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 12714 12014 591 984 0 11727 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 50856
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 10178
/proc/meminfo: memFree=1458672/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=50856 CPUtime=1301.96
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 100088 0 0 0 115938 14258 0 0 25 0 1 0 3003465 52076544 12014 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 12714 12014 591 984 0 11727 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 50856
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 10180
/proc/meminfo: memFree=1458548/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=50872 CPUtime=1361.94
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 100685 0 0 0 121266 14928 0 0 25 0 1 0 3003465 52092928 12018 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 12718 12018 591 984 0 11731 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 50872
[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 10180
/proc/meminfo: memFree=1458548/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=50872 CPUtime=1421.93
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 100685 0 0 0 126593 15600 0 0 25 0 1 0 3003465 52092928 12018 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 12718 12018 591 984 0 11731 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 50872
[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 10182
/proc/meminfo: memFree=1458424/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=50872 CPUtime=1481.9
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 100685 0 0 0 131907 16283 0 0 25 0 1 0 3003465 52092928 12018 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 12718 12018 591 984 0 11731 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 50872
[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 10184
/proc/meminfo: memFree=1458300/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=50872 CPUtime=1541.89
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 100685 0 0 0 137235 16954 0 0 25 0 1 0 3003465 52092928 12018 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 12718 12018 591 984 0 11731 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 50872
[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 10186
/proc/meminfo: memFree=1458176/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=50888 CPUtime=1601.88
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 101285 0 0 0 142544 17644 0 0 25 0 1 0 3003465 52109312 12022 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 12722 12022 591 984 0 11735 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 50888
[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 10188
/proc/meminfo: memFree=1458176/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=50888 CPUtime=1661.86
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 101285 0 0 0 147860 18326 0 0 25 0 1 0 3003465 52109312 12022 1992294400 4194304 8223781 140735421710832 18446744073709551615 4976417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 12722 12022 591 984 0 11735 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 50888
[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 10188
/proc/meminfo: memFree=1457928/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=50888 CPUtime=1721.85
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 101285 0 0 0 153191 18994 0 0 25 0 1 0 3003465 52109312 12022 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 12722 12022 591 984 0 11735 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 50888
[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 10190
/proc/meminfo: memFree=1457680/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=51276 CPUtime=1781.83
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 101382 0 0 0 158536 19647 0 0 25 0 1 0 3003465 52506624 12119 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 12819 12119 591 984 0 11832 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 51276
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 10190
/proc/meminfo: memFree=1457680/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=51276 CPUtime=1800.03
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 101382 0 0 0 160159 19844 0 0 25 0 1 0 3003465 52506624 12119 1992294400 4194304 8223781 140735421710832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10132/statm: 12819 12119 591 984 0 11832 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 51276
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.61 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 10191
/proc/meminfo: memFree=1457672/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=51276 CPUtime=1800.14
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 101384 0 0 0 160170 19844 0 0 25 0 1 0 3003465 52506624 12121 1992294400 4194304 8223781 140735421710832 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10132/statm: 12819 12121 593 984 0 11832 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 51276
[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 10191
/proc/meminfo: memFree=1457672/2059040 swapFree=4192956/4192956
[pid=10132] ppid=10130 vsize=51276 CPUtime=1800.23
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 10028 0 -1 4202496 101384 0 0 0 160179 19844 0 0 25 0 1 0 3003465 52506624 12121 1992294400 4194304 8223781 140735421710832 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10132/statm: 12819 12121 593 984 0 11832 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 51276
Child status: 0
Real time (s): 1800.73
CPU time (s): 1800.27
CPU user time (s): 1601.81
CPU system time (s): 198.456
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 59300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1601.81
system time used= 198.456
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101388
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 19484
runsolver used 3.38748 second user time and 8.13776 second system time
The end