0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2703929-1278561873.opb>
0.00/0.01 c original problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 10 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.01/0.02 c (0.0s) probing: 101/120 (84.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.02 c presolving (2 rounds):
0.01/0.02 c 0 deleted vars, 5 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.02 c 0 implications, 0 cliques
0.01/0.02 c presolved problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.01/0.02 c 5 constraints of type <linear>
0.01/0.02 c transformed objective value is always integral (scale: 1)
0.01/0.02 c Presolving Time: 0.01
0.01/0.02 c - non default parameters ----------------------------------------------------------------------
0.01/0.02 c # SCIP version 1.2.1.3
0.01/0.02 c
0.01/0.02 c # frequency for displaying node information lines
0.01/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.02 c display/freq = 10000
0.01/0.02 c
0.01/0.02 c # maximal time in seconds to run
0.01/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.02 c limits/time = 1790
0.01/0.02 c
0.01/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.02 c limits/memory = 1620
0.01/0.02 c
0.01/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.02 c # [type: int, range: [1,2], default: 1]
0.01/0.02 c timing/clocktype = 2
0.01/0.02 c
0.01/0.02 c # should presolving try to simplify inequalities
0.01/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.02 c constraints/linear/simplifyinequalities = TRUE
0.01/0.02 c
0.01/0.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.01/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.02 c constraints/indicator/addCouplingCons = TRUE
0.01/0.02 c
0.01/0.02 c # should presolving try to simplify knapsacks
0.01/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.02 c
0.01/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.02 c separating/rapidlearning/freq = 0
0.01/0.02 c
0.01/0.02 c -----------------------------------------------------------------------------------------------
0.01/0.02 c start solving
0.01/0.02 c
0.01/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.02 c 0.0s| 1 | 0 | 24 | - | 423k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 o 922
0.09/0.11 c y 0.1s| 1 | 0 | 57 | - | 454k| 0 | 5 | 120 | 5 | 120 | 5 | 0 | 0 | 0 | 0.000000e+00 | 9.220000e+02 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 63 | - | 614k| 0 | 8 | 120 | 109 | 120 | 9 | 4 | 0 | 0 | 0.000000e+00 | 9.220000e+02 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 73 | - | 659k| 0 | 9 | 120 | 109 | 120 | 13 | 8 | 0 | 0 | 0.000000e+00 | 9.220000e+02 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 83 | - | 695k| 0 | 13 | 120 | 109 | 120 | 16 | 11 | 0 | 0 | 0.000000e+00 | 9.220000e+02 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 88 | - | 719k| 0 | 15 | 120 | 109 | 120 | 19 | 14 | 0 | 0 | 0.000000e+00 | 9.220000e+02 | Inf
0.09/0.16 c 0.2s| 1 | 0 | 104 | - | 744k| 0 | 16 | 120 | 109 | 120 | 23 | 18 | 0 | 0 | 0.000000e+00 | 9.220000e+02 | Inf
0.09/0.18 c 0.2s| 1 | 0 | 112 | - | 750k| 0 | 16 | 120 | 109 | 120 | 25 | 20 | 0 | 0 | 0.000000e+00 | 9.220000e+02 | Inf
0.19/0.24 c 0.2s| 1 | 2 | 112 | - | 750k| 0 | 16 | 120 | 109 | 120 | 25 | 20 | 0 | 9 | 0.000000e+00 | 9.220000e+02 | Inf
0.29/0.31 o 138
0.29/0.31 c c 0.3s| 18 | 19 | 246 | 7.9 | 789k| 17 | - | 120 | 109 | 120 | 16 | 20 | 0 | 95 | 0.000000e+00 | 1.380000e+02 | Inf
0.39/0.42 o 136
0.39/0.42 c l 0.4s| 117 | 107 | 719 | 5.2 | 850k| 37 | - | 120 | 110 | 120 | 16 | 20 | 4 | 286 | 0.000000e+00 | 1.360000e+02 | Inf
0.39/0.43 o 134
0.39/0.43 c g 0.4s| 117 | 106 | 719 | 5.2 | 852k| 37 | - | 120 | 110 | 120 | 16 | 20 | 5 | 286 | 0.000000e+00 | 1.340000e+02 | Inf
0.49/0.52 o 129
0.49/0.52 c g 0.5s| 238 | 212 | 1204 | 4.6 | 927k| 37 | - | 120 | 112 | 120 | 16 | 20 | 13 | 383 | 0.000000e+00 | 1.290000e+02 | Inf
0.49/0.53 o 127
0.49/0.53 c l 0.5s| 252 | 225 | 1265 | 4.6 | 945k| 37 | - | 120 | 112 | 120 | 16 | 20 | 16 | 394 | 0.000000e+00 | 1.270000e+02 | Inf
0.49/0.54 o 125
0.49/0.54 c * 0.5s| 262 | 230 | 1297 | 4.5 | 945k| 37 | - | 120 | 111 | 120 | 16 | 20 | 16 | 398 | 0.000000e+00 | 1.250000e+02 | Inf
0.49/0.56 o 123
0.49/0.56 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.56 c * 0.5s| 288 | 254 | 1395 | 4.5 | 957k| 37 | - | 120 | 111 | 120 | 16 | 20 | 16 | 415 | 0.000000e+00 | 1.230000e+02 | Inf
0.49/0.56 o 121
0.49/0.56 c * 0.6s| 289 | 252 | 1395 | 4.5 | 957k| 37 | - | 120 | 111 | 120 | 16 | 20 | 16 | 415 | 0.000000e+00 | 1.210000e+02 | Inf
0.49/0.58 o 120
0.49/0.58 c * 0.6s| 325 | 282 | 1480 | 4.2 | 976k| 37 | - | 120 | 111 | 120 | 16 | 20 | 16 | 418 | 0.000000e+00 | 1.200000e+02 | Inf
0.49/0.58 o 116
0.49/0.58 c c 0.6s| 329 | 279 | 1493 | 4.2 | 976k| 37 | - | 120 | 111 | 120 | 16 | 20 | 16 | 430 | 0.000000e+00 | 1.160000e+02 | Inf
0.59/0.61 o 114
0.59/0.61 c * 0.6s| 380 | 324 | 1659 | 4.1 | 997k| 37 | - | 120 | 111 | 120 | 16 | 20 | 17 | 455 | 0.000000e+00 | 1.140000e+02 | Inf
0.59/0.65 o 112
0.59/0.65 c * 0.6s| 438 | 369 | 1854 | 4.0 |1022k| 37 | - | 120 | 112 | 120 | 16 | 20 | 18 | 489 | 0.000000e+00 | 1.120000e+02 | Inf
0.59/0.66 o 110
0.59/0.66 c g 0.6s| 452 | 381 | 1905 | 4.0 |1031k| 37 | - | 120 | 112 | 120 | 16 | 20 | 18 | 499 | 0.000000e+00 | 1.100000e+02 | Inf
0.69/0.71 o 108
0.69/0.71 c * 0.7s| 549 | 464 | 2261 | 3.9 |1070k| 39 | - | 120 | 112 | 120 | 16 | 20 | 21 | 518 | 0.000000e+00 | 1.080000e+02 | Inf
0.69/0.71 o 106
0.69/0.71 c * 0.7s| 550 | 463 | 2261 | 3.9 |1072k| 39 | - | 120 | 112 | 120 | 16 | 20 | 21 | 518 | 0.000000e+00 | 1.060000e+02 | Inf
0.69/0.73 o 105
0.69/0.73 c v 0.7s| 585 | 498 | 2411 | 3.9 |1097k| 39 | - | 120 | 112 | 120 | 16 | 20 | 23 | 522 | 0.000000e+00 | 1.050000e+02 | Inf
0.69/0.75 o 82
0.69/0.75 c g 0.7s| 609 | 499 | 2526 | 4.0 |1097k| 39 | - | 120 | 112 | 120 | 16 | 20 | 23 | 523 | 0.000000e+00 | 8.200000e+01 | Inf
1.10/1.11 o 38
1.10/1.11 c g 1.1s| 1232 | 992 | 5298 | 4.2 |1334k| 39 | - | 120 | 124 | 120 | 16 | 20 | 57 | 550 | 0.000000e+00 | 3.800000e+01 | Inf
1.10/1.20 o 37
1.10/1.20 c p 1.2s| 1365 | 1098 | 5897 | 4.2 |1382k| 39 | - | 120 | 29 | 120 | 16 | 20 | 75 | 571 | 0.000000e+00 | 3.700000e+01 | Inf
1.99/2.09 o 35
1.99/2.09 c * 2.1s| 2694 | 2166 | 13660 | 5.0 |1934k| 39 | - | 120 | 75 | 120 | 16 | 20 | 292 | 593 | 0.000000e+00 | 3.500000e+01 | Inf
3.99/4.09 o 33
3.99/4.09 c * 4.1s| 5210 | 4123 | 30422 | 5.8 |2952k| 39 | - | 120 | 113 | 120 | 16 | 20 | 777 | 621 | 0.000000e+00 | 3.300000e+01 | Inf
4.59/4.66 o 31
4.59/4.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.59/4.66 c * 4.6s| 5778 | 4328 | 34150 | 5.9 |3045k| 39 | - | 120 | 147 | 120 | 16 | 20 | 912 | 627 | 0.000000e+00 | 3.100000e+01 | Inf
6.60/6.62 o 29
6.60/6.62 c v 6.6s| 8669 | 6461 | 51203 | 5.9 |4073k| 39 | - | 120 | 164 | 120 | 16 | 20 |1438 | 724 | 0.000000e+00 | 2.900000e+01 | Inf
6.79/6.81 o 27
6.79/6.81 c * 6.8s| 9020 | 6622 | 52931 | 5.9 |4128k| 39 | - | 120 | 167 | 120 | 16 | 20 |1476 | 743 | 0.000000e+00 | 2.700000e+01 | Inf
7.09/7.15 o 26
7.09/7.15 c * 7.1s| 9533 | 6947 | 55821 | 5.8 |4288k| 39 | - | 120 | 176 | 120 | 16 | 20 |1552 | 762 | 0.000000e+00 | 2.600000e+01 | Inf
7.09/7.15 o 24
7.09/7.15 c * 7.1s| 9534 | 6875 | 55821 | 5.8 |4224k| 39 | - | 120 | 176 | 120 | 16 | 20 |1552 | 762 | 0.000000e+00 | 2.400000e+01 | Inf
7.28/7.33 o 23
7.28/7.33 c * 7.3s| 9851 | 7005 | 57235 | 5.8 |4303k| 39 | - | 120 | 177 | 120 | 16 | 20 |1598 | 778 | 0.000000e+00 | 2.300000e+01 | Inf
7.28/7.33 o 21
7.28/7.33 c * 7.3s| 9853 | 6922 | 57239 | 5.8 |4224k| 39 | - | 120 | 177 | 120 | 16 | 20 |1598 | 781 | 0.000000e+00 | 2.100000e+01 | Inf
7.39/7.42 c 7.4s| 10000 | 7015 | 57979 | 5.8 |4264k| 39 | 5 | 120 | 178 | 120 | 16 | 20 |1619 | 781 | 0.000000e+00 | 2.100000e+01 | Inf
8.89/8.94 o 19
8.89/8.94 c f 8.9s| 12871 | 8546 | 70437 | 5.5 |5113k| 39 | - | 120 | 188 | 120 | 16 | 20 |1999 | 909 | 0.000000e+00 | 1.900000e+01 | Inf
10.79/10.85 o 17
10.79/10.85 c *10.8s| 16700 | 10234 | 85576 | 5.1 |6076k| 39 | - | 120 | 181 | 120 | 16 | 20 |2483 |1042 | 0.000000e+00 | 1.700000e+01 | Inf
11.09/11.14 o 16
11.09/11.14 c *11.1s| 17262 | 9761 | 87731 | 5.1 |5790k| 39 | - | 120 | 200 | 120 | 16 | 20 |2579 |1065 | 0.000000e+00 | 1.600000e+01 | Inf
11.39/11.47 o 15
11.39/11.47 c *11.5s| 18046 | 9954 | 90499 | 5.0 |5881k| 39 | - | 120 | 161 | 120 | 16 | 20 |2694 |1092 | 0.000000e+00 | 1.500000e+01 | Inf
11.39/11.50 o 13
11.39/11.50 c *11.5s| 18092 | 9823 | 90672 | 5.0 |5744k| 39 | - | 120 | 162 | 120 | 16 | 20 |2705 |1094 | 0.000000e+00 | 1.300000e+01 | Inf
11.58/11.66 o 12
11.58/11.66 c *11.6s| 18331 | 9834 | 91639 | 5.0 |5708k| 39 | - | 120 | 166 | 120 | 16 | 20 |2730 |1100 | 0.000000e+00 | 1.200000e+01 | Inf
12.28/12.36 c 12.3s| 20000 | 10355 | 97493 | 4.9 |5995k| 39 | 5 | 120 | 167 | 120 | 16 | 20 |2911 |1156 | 0.000000e+00 | 1.200000e+01 | Inf
16.28/16.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.28/16.32 c 16.3s| 30000 | 12554 |131536 | 4.4 |7371k| 39 | - | 120 | 200 | 120 | 16 | 20 |3869 |1421 | 0.000000e+00 | 1.200000e+01 | Inf
16.68/16.76 o 10
16.68/16.76 c *16.7s| 31171 | 12414 |135071 | 4.3 |7188k| 39 | - | 120 | 203 | 120 | 16 | 20 |3956 |1459 | 0.000000e+00 | 1.000000e+01 | Inf
16.68/16.76 o 8
16.68/16.76 c *16.8s| 31172 | 11974 |135071 | 4.3 |6779k| 39 | - | 120 | 203 | 120 | 16 | 20 |3956 |1459 | 0.000000e+00 | 8.000000e+00 | Inf
19.79/19.90 c 19.9s| 40000 | 12753 |162722 | 4.1 |7360k| 39 | - | 120 | 219 | 0 | 0 | 20 |4633 |1682 | 0.000000e+00 | 8.000000e+00 | Inf
23.28/23.34 c 23.3s| 50000 | 13012 |192111 | 3.8 |7720k| 39 | 5 | 120 | 226 | 120 | 16 | 20 |5505 |1927 | 0.000000e+00 | 8.000000e+00 | Inf
26.68/26.76 c 26.7s| 60000 | 13292 |222928 | 3.7 |8082k| 39 | 5 | 120 | 231 | 120 | 16 | 20 |6429 |2135 | 0.000000e+00 | 8.000000e+00 | Inf
30.28/30.34 c 30.3s| 70000 | 14809 |256339 | 3.7 |9059k| 39 | - | 120 | 237 | 0 | 0 | 20 |7325 |2311 | 0.000000e+00 | 8.000000e+00 | Inf
33.88/33.93 c 33.9s| 80000 | 16456 |289712 | 3.6 | 10M| 39 | - | 120 | 207 | 120 | 16 | 20 |8075 |2473 | 0.000000e+00 | 8.000000e+00 | Inf
37.29/37.34 c 37.3s| 90000 | 16904 |321080 | 3.6 | 10M| 39 | - | 120 | 153 | 120 | 16 | 20 |8798 |2659 | 0.000000e+00 | 8.000000e+00 | Inf
37.57/37.64 o 6
37.57/37.64 c *37.6s| 90861 | 16387 |323635 | 3.6 |9980k| 39 | - | 120 | 154 | 120 | 16 | 20 |8856 |2664 | 0.000000e+00 | 6.000000e+00 | Inf
40.59/40.62 c 40.6s|100000 | 16696 |350354 | 3.5 | 10M| 39 | 5 | 120 | 172 | 120 | 16 | 20 |9438 |2818 | 0.000000e+00 | 6.000000e+00 | Inf
43.98/44.02 c 44.0s|110000 | 17200 |380739 | 3.5 | 10M| 39 | 5 | 120 | 173 | 120 | 16 | 20 | 10k|2943 | 0.000000e+00 | 6.000000e+00 | Inf
47.18/47.27 c 47.3s|120000 | 17638 |411125 | 3.4 | 11M| 39 | - | 120 | 165 | 0 | 0 | 20 | 10k|3072 | 0.000000e+00 | 6.000000e+00 | Inf
50.37/50.47 c 50.5s|130000 | 17698 |440505 | 3.4 | 11M| 39 | - | 120 | 173 | 0 | 0 | 20 | 11k|3209 | 0.000000e+00 | 6.000000e+00 | Inf
50.78/50.89 o 5
50.78/50.89 c *50.9s|131383 | 17252 |444403 | 3.4 | 10M| 39 | - | 120 | 166 | 120 | 16 | 20 | 11k|3226 | 0.000000e+00 | 5.000000e+00 | Inf
50.87/50.90 o 3
50.87/50.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.87/50.90 c *50.9s|131384 | 16169 |444403 | 3.4 |9526k| 39 | - | 120 | 166 | 120 | 16 | 20 | 11k|3226 | 0.000000e+00 | 3.000000e+00 | Inf
53.37/53.42 c 53.4s|140000 | 15891 |468444 | 3.3 |9382k| 39 | - | 120 | 140 | 120 | 16 | 20 | 11k|3456 | 0.000000e+00 | 3.000000e+00 | Inf
56.27/56.34 c 56.3s|150000 | 16023 |496935 | 3.3 |9515k| 39 | - | 120 | 186 | 120 | 16 | 20 | 12k|3702 | 0.000000e+00 | 3.000000e+00 | Inf
59.17/59.21 c 59.2s|160000 | 15842 |524521 | 3.3 |9416k| 39 | - | 120 | 187 | 120 | 16 | 20 | 12k|3930 | 0.000000e+00 | 3.000000e+00 | Inf
61.97/62.08 c 62.1s|170000 | 15588 |551874 | 3.2 |9236k| 39 | 5 | 120 | 191 | 120 | 16 | 20 | 13k|4116 | 0.000000e+00 | 3.000000e+00 | Inf
64.97/65.04 c 65.0s|180000 | 15498 |579812 | 3.2 |9200k| 39 | 5 | 120 | 202 | 120 | 16 | 20 | 13k|4350 | 0.000000e+00 | 3.000000e+00 | Inf
67.87/67.98 c 68.0s|190000 | 15652 |608043 | 3.2 |9346k| 39 | - | 120 | 200 | 120 | 16 | 20 | 14k|4547 | 0.000000e+00 | 3.000000e+00 | Inf
70.77/70.88 c 70.9s|200000 | 15572 |636444 | 3.2 |9282k| 39 | 5 | 120 | 218 | 120 | 16 | 20 | 14k|4734 | 0.000000e+00 | 3.000000e+00 | Inf
73.67/73.75 c 73.7s|210000 | 15475 |663569 | 3.2 |9221k| 39 | - | 120 | 189 | 120 | 16 | 20 | 14k|4952 | 0.000000e+00 | 3.000000e+00 | Inf
76.56/76.66 c 76.7s|220000 | 15644 |692429 | 3.1 |9331k| 39 | - | 120 | 186 | 120 | 16 | 20 | 15k|5159 | 0.000000e+00 | 3.000000e+00 | Inf
79.47/79.55 c 79.5s|230000 | 15349 |720471 | 3.1 |9108k| 39 | 5 | 120 | 154 | 120 | 16 | 20 | 15k|5389 | 0.000000e+00 | 3.000000e+00 | Inf
82.37/82.45 c 82.4s|240000 | 15384 |750140 | 3.1 |9179k| 39 | 5 | 120 | 147 | 120 | 16 | 20 | 16k|5572 | 0.000000e+00 | 3.000000e+00 | Inf
85.26/85.32 c 85.3s|250000 | 15155 |779075 | 3.1 |8994k| 39 | - | 120 | 119 | 120 | 16 | 20 | 16k|5774 | 0.000000e+00 | 3.000000e+00 | Inf
88.05/88.19 c 88.2s|260000 | 15222 |807472 | 3.1 |9091k| 39 | 5 | 120 | 138 | 120 | 16 | 20 | 16k|5930 | 0.000000e+00 | 3.000000e+00 | Inf
90.96/91.09 c 91.1s|270000 | 15192 |836196 | 3.1 |9069k| 39 | - | 120 | 134 | 120 | 16 | 20 | 17k|6130 | 0.000000e+00 | 3.000000e+00 | Inf
93.86/93.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.86/93.94 c 93.9s|280000 | 15037 |864254 | 3.1 |8941k| 39 | - | 120 | 149 | 120 | 16 | 20 | 17k|6335 | 0.000000e+00 | 3.000000e+00 | Inf
96.66/96.76 c 96.8s|290000 | 15135 |892555 | 3.1 |9045k| 39 | 5 | 120 | 147 | 120 | 16 | 20 | 18k|6490 | 0.000000e+00 | 3.000000e+00 | Inf
99.55/99.65 c 99.6s|300000 | 14883 |921180 | 3.1 |8865k| 39 | - | 120 | 136 | 120 | 16 | 20 | 18k|6712 | 0.000000e+00 | 3.000000e+00 | Inf
102.45/102.52 c 103s|310000 | 14762 |949205 | 3.1 |8800k| 39 | 5 | 120 | 137 | 120 | 16 | 20 | 19k|6904 | 0.000000e+00 | 3.000000e+00 | Inf
105.26/105.38 c 105s|320000 | 14981 |977621 | 3.1 |9017k| 39 | - | 120 | 139 | 0 | 0 | 20 | 19k|7054 | 0.000000e+00 | 3.000000e+00 | Inf
108.15/108.21 c 108s|330000 | 14725 | 1005k| 3.0 |8785k| 39 | - | 120 | 138 | 120 | 16 | 20 | 19k|7249 | 0.000000e+00 | 3.000000e+00 | Inf
111.55/111.63 c 112s|340000 | 14918 | 1034k| 3.0 |8941k| 39 | - | 120 | 127 | 120 | 16 | 20 | 20k|7486 | 0.000000e+00 | 3.000000e+00 | Inf
114.35/114.47 c 114s|350000 | 14885 | 1061k| 3.0 |8953k| 39 | 5 | 120 | 136 | 120 | 16 | 20 | 20k|7663 | 0.000000e+00 | 3.000000e+00 | Inf
117.25/117.37 c 117s|360000 | 15209 | 1089k| 3.0 |9279k| 39 | 5 | 120 | 143 | 120 | 16 | 20 | 21k|7813 | 0.000000e+00 | 3.000000e+00 | Inf
120.05/120.18 c 120s|370000 | 14800 | 1115k| 3.0 |9070k| 39 | - | 120 | 153 | 120 | 16 | 20 | 21k|7959 | 0.000000e+00 | 3.000000e+00 | Inf
123.05/123.10 c 123s|380000 | 14671 | 1143k| 3.0 |8786k| 39 | - | 120 | 152 | 120 | 16 | 20 | 22k|8145 | 0.000000e+00 | 3.000000e+00 | Inf
125.84/125.92 c 126s|390000 | 14422 | 1170k| 3.0 |8614k| 39 | 5 | 120 | 150 | 120 | 16 | 20 | 22k|8361 | 0.000000e+00 | 3.000000e+00 | Inf
128.65/128.71 c 129s|400000 | 14275 | 1198k| 3.0 |8530k| 39 | - | 120 | 146 | 120 | 16 | 20 | 22k|8488 | 0.000000e+00 | 3.000000e+00 | Inf
131.45/131.52 c 132s|410000 | 14156 | 1225k| 3.0 |8457k| 39 | 5 | 120 | 165 | 120 | 16 | 20 | 23k|8629 | 0.000000e+00 | 3.000000e+00 | Inf
134.24/134.36 c 134s|420000 | 14098 | 1254k| 3.0 |8461k| 39 | - | 120 | 165 | 120 | 16 | 20 | 23k|8779 | 0.000000e+00 | 3.000000e+00 | Inf
137.14/137.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.14/137.23 c 137s|430000 | 14418 | 1284k| 3.0 |8703k| 39 | 5 | 120 | 194 | 120 | 16 | 20 | 24k|8896 | 0.000000e+00 | 3.000000e+00 | Inf
139.94/140.07 c 140s|440000 | 14164 | 1311k| 3.0 |8545k| 39 | - | 120 | 178 | 120 | 16 | 20 | 24k|9069 | 0.000000e+00 | 3.000000e+00 | Inf
142.85/142.90 c 143s|450000 | 14129 | 1340k| 3.0 |8561k| 39 | - | 120 | 179 | 120 | 16 | 20 | 25k|9188 | 0.000000e+00 | 3.000000e+00 | Inf
145.64/145.74 c 146s|460000 | 14111 | 1367k| 3.0 |8524k| 39 | - | 120 | 177 | 120 | 16 | 20 | 25k|9324 | 0.000000e+00 | 3.000000e+00 | Inf
148.44/148.55 c 149s|470000 | 14315 | 1394k| 3.0 |8623k| 39 | 5 | 120 | 180 | 120 | 16 | 20 | 25k|9457 | 0.000000e+00 | 3.000000e+00 | Inf
151.24/151.35 c 151s|480000 | 14189 | 1421k| 3.0 |8558k| 39 | - | 120 | 172 | 120 | 16 | 20 | 26k|9603 | 0.000000e+00 | 3.000000e+00 | Inf
154.03/154.19 c 154s|490000 | 14094 | 1449k| 3.0 |8523k| 39 | 5 | 120 | 174 | 120 | 16 | 20 | 26k|9769 | 0.000000e+00 | 3.000000e+00 | Inf
156.93/157.01 c 157s|500000 | 13968 | 1477k| 3.0 |8403k| 39 | - | 120 | 167 | 120 | 16 | 20 | 27k|9911 | 0.000000e+00 | 3.000000e+00 | Inf
159.73/159.85 c 160s|510000 | 13924 | 1504k| 3.0 |8368k| 39 | 5 | 120 | 182 | 120 | 16 | 20 | 27k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
162.64/162.70 c 163s|520000 | 14155 | 1532k| 2.9 |8526k| 39 | 5 | 120 | 174 | 120 | 16 | 20 | 28k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
165.43/165.52 c 166s|530000 | 13787 | 1559k| 2.9 |8284k| 39 | 5 | 120 | 182 | 120 | 16 | 20 | 28k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
168.24/168.37 c 168s|540000 | 13962 | 1586k| 2.9 |8452k| 39 | 5 | 120 | 179 | 120 | 16 | 20 | 28k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
171.33/171.44 c 171s|550000 | 13842 | 1614k| 2.9 |8350k| 39 | 5 | 120 | 178 | 120 | 16 | 20 | 29k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
174.13/174.25 c 174s|560000 | 13787 | 1641k| 2.9 |8259k| 39 | 5 | 120 | 166 | 120 | 16 | 20 | 29k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
176.93/177.07 c 177s|570000 | 13596 | 1668k| 2.9 |8129k| 39 | - | 120 | 141 | 0 | 0 | 20 | 30k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
179.72/179.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.72/179.88 c 180s|580000 | 13497 | 1697k| 2.9 |8070k| 39 | - | 120 | 146 | 0 | 0 | 20 | 30k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
182.62/182.76 c 183s|590000 | 13725 | 1725k| 2.9 |8270k| 39 | 5 | 120 | 158 | 120 | 16 | 20 | 31k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
185.52/185.61 c 186s|600000 | 13888 | 1752k| 2.9 |8474k| 39 | - | 120 | 180 | 0 | 0 | 20 | 32k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
188.33/188.46 c 188s|610000 | 13844 | 1780k| 2.9 |8541k| 39 | - | 120 | 161 | 120 | 16 | 20 | 32k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
191.12/191.23 c 191s|620000 | 13678 | 1807k| 2.9 |8428k| 39 | 5 | 120 | 152 | 120 | 16 | 20 | 33k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
194.02/194.13 c 194s|630000 | 13758 | 1836k| 2.9 |8469k| 39 | 5 | 120 | 156 | 120 | 16 | 20 | 33k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
196.82/196.93 c 197s|640000 | 13761 | 1863k| 2.9 |8478k| 39 | 5 | 120 | 155 | 120 | 16 | 20 | 33k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
199.52/199.69 c 200s|650000 | 13543 | 1891k| 2.9 |8324k| 39 | 5 | 120 | 170 | 120 | 16 | 20 | 34k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
202.41/202.54 c 203s|660000 | 13850 | 1920k| 2.9 |8555k| 39 | - | 120 | 174 | 120 | 16 | 20 | 34k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
205.22/205.36 c 205s|670000 | 13698 | 1947k| 2.9 |8527k| 39 | 5 | 120 | 187 | 120 | 16 | 20 | 35k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
208.01/208.16 c 208s|680000 | 13321 | 1975k| 2.9 |7961k| 39 | 5 | 120 | 146 | 120 | 16 | 20 | 35k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
210.92/211.00 c 211s|690000 | 13408 | 2003k| 2.9 |8061k| 39 | - | 120 | 156 | 120 | 16 | 20 | 36k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
213.71/213.80 c 214s|700000 | 13250 | 2030k| 2.9 |7944k| 39 | - | 120 | 163 | 0 | 0 | 20 | 36k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
216.52/216.64 c 217s|710000 | 13324 | 2059k| 2.9 |8029k| 39 | 5 | 120 | 146 | 120 | 16 | 20 | 37k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
219.41/219.51 c 220s|720000 | 13677 | 2088k| 2.9 |8265k| 39 | 5 | 120 | 159 | 120 | 16 | 20 | 37k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
222.31/222.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
222.31/222.40 c 222s|730000 | 13920 | 2115k| 2.9 |8547k| 39 | 5 | 120 | 162 | 120 | 16 | 20 | 38k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
225.10/225.24 c 225s|740000 | 13849 | 2142k| 2.9 |8591k| 39 | 5 | 120 | 160 | 120 | 16 | 20 | 39k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
227.91/228.05 c 228s|750000 | 13761 | 2169k| 2.9 |8646k| 39 | - | 120 | 168 | 120 | 16 | 20 | 39k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
230.81/230.91 c 231s|760000 | 13545 | 2197k| 2.9 |8433k| 39 | 5 | 120 | 175 | 120 | 16 | 20 | 40k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
233.60/233.73 c 234s|770000 | 13454 | 2224k| 2.9 |8433k| 39 | 5 | 120 | 183 | 120 | 16 | 20 | 40k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
236.41/236.59 c 237s|780000 | 13406 | 2252k| 2.9 |8344k| 39 | - | 120 | 165 | 120 | 16 | 20 | 41k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
239.30/239.42 c 239s|790000 | 13379 | 2280k| 2.9 |8373k| 39 | 5 | 120 | 177 | 120 | 16 | 20 | 41k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
242.10/242.26 c 242s|800000 | 13460 | 2307k| 2.9 |8367k| 39 | - | 120 | 174 | 120 | 16 | 20 | 42k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
244.90/245.08 c 245s|810000 | 13334 | 2335k| 2.9 |8359k| 39 | 5 | 120 | 180 | 120 | 16 | 20 | 42k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
247.70/247.89 c 248s|820000 | 13686 | 2362k| 2.9 |8640k| 39 | - | 120 | 161 | 120 | 16 | 20 | 43k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
250.50/250.67 c 251s|830000 | 13439 | 2388k| 2.9 |8540k| 39 | - | 120 | 175 | 120 | 16 | 20 | 43k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
253.30/253.49 c 253s|840000 | 13327 | 2415k| 2.9 |8295k| 39 | 5 | 120 | 157 | 120 | 16 | 20 | 44k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
256.20/256.34 c 256s|850000 | 13507 | 2442k| 2.9 |8515k| 39 | 5 | 120 | 153 | 120 | 16 | 20 | 44k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
259.09/259.24 c 259s|860000 | 13651 | 2469k| 2.9 |8733k| 39 | - | 120 | 168 | 0 | 0 | 20 | 45k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
262.00/262.11 c 262s|870000 | 13710 | 2497k| 2.9 |8848k| 39 | 5 | 120 | 183 | 120 | 16 | 20 | 45k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
264.80/264.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
264.80/264.94 c 265s|880000 | 13767 | 2524k| 2.9 |8848k| 39 | 5 | 120 | 168 | 120 | 16 | 20 | 46k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
267.59/267.71 c 268s|890000 | 13719 | 2550k| 2.9 |8892k| 39 | 5 | 120 | 178 | 120 | 16 | 20 | 46k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
270.40/270.56 c 271s|900000 | 13559 | 2577k| 2.9 |8797k| 39 | 5 | 120 | 173 | 120 | 16 | 20 | 47k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
273.29/273.43 c 273s|910000 | 13679 | 2604k| 2.9 |9024k| 39 | 5 | 120 | 173 | 120 | 16 | 20 | 48k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
276.09/276.22 c 276s|920000 | 13449 | 2630k| 2.9 |8818k| 39 | - | 120 | 171 | 120 | 16 | 20 | 48k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
278.89/279.09 c 279s|930000 | 13104 | 2657k| 2.9 |7882k| 39 | 5 | 120 | 194 | 120 | 16 | 20 | 49k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
281.79/281.95 c 282s|940000 | 13032 | 2684k| 2.9 |7898k| 39 | - | 120 | 183 | 120 | 16 | 20 | 50k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
284.59/284.74 c 285s|950000 | 12849 | 2712k| 2.9 |7716k| 39 | - | 120 | 190 | 120 | 16 | 20 | 50k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
287.39/287.54 c 288s|960000 | 12849 | 2738k| 2.9 |7745k| 39 | 5 | 120 | 202 | 120 | 16 | 20 | 51k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
290.29/290.41 c 290s|970000 | 13196 | 2766k| 2.9 |8006k| 39 | 5 | 120 | 191 | 120 | 16 | 20 | 51k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
293.08/293.20 c 293s|980000 | 13057 | 2792k| 2.8 |8034k| 39 | - | 120 | 173 | 120 | 16 | 20 | 52k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
295.79/295.94 c 296s|990000 | 12846 | 2818k| 2.8 |7866k| 39 | 5 | 120 | 157 | 120 | 16 | 20 | 52k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
298.48/298.69 c 299s| 1000k| 12890 | 2845k| 2.8 |7958k| 39 | 5 | 120 | 177 | 120 | 16 | 20 | 53k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
301.28/301.48 c 301s| 1010k| 12619 | 2873k| 2.8 |7549k| 39 | 5 | 120 | 159 | 120 | 16 | 20 | 53k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
304.08/304.29 c 304s| 1020k| 12878 | 2901k| 2.8 |7796k| 39 | - | 120 | 159 | 120 | 16 | 20 | 54k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
306.88/307.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
306.88/307.08 c 307s| 1030k| 12791 | 2928k| 2.8 |7842k| 39 | - | 120 | 156 | 0 | 0 | 20 | 54k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
309.68/309.88 c 310s| 1040k| 12766 | 2956k| 2.8 |7888k| 39 | 5 | 120 | 164 | 120 | 16 | 20 | 55k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
312.48/312.62 c 313s| 1050k| 12853 | 2983k| 2.8 |8044k| 39 | - | 120 | 159 | 120 | 16 | 20 | 55k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
315.38/315.51 c 316s| 1060k| 13168 | 3011k| 2.8 |8038k| 39 | - | 120 | 149 | 0 | 0 | 20 | 56k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
318.17/318.35 c 318s| 1070k| 13545 | 3038k| 2.8 |8437k| 39 | - | 120 | 159 | 120 | 16 | 20 | 56k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
320.98/321.11 c 321s| 1080k| 13857 | 3065k| 2.8 |8752k| 39 | 5 | 120 | 168 | 120 | 16 | 20 | 57k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
323.78/323.90 c 324s| 1090k| 13758 | 3091k| 2.8 |8838k| 39 | 5 | 120 | 170 | 120 | 16 | 20 | 57k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
326.48/326.69 c 327s| 1100k| 13614 | 3117k| 2.8 |8879k| 39 | 5 | 120 | 171 | 120 | 16 | 20 | 58k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
329.28/329.47 c 329s| 1110k| 13512 | 3144k| 2.8 |8908k| 39 | - | 120 | 158 | 120 | 16 | 20 | 58k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
332.08/332.24 c 332s| 1120k| 13283 | 3170k| 2.8 |8789k| 39 | - | 120 | 171 | 120 | 16 | 20 | 59k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
334.87/335.02 c 335s| 1130k| 13099 | 3196k| 2.8 |8704k| 39 | - | 120 | 203 | 120 | 16 | 20 | 59k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
337.67/337.83 c 338s| 1140k| 12927 | 3223k| 2.8 |8559k| 39 | - | 120 | 146 | 120 | 16 | 20 | 60k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
340.47/340.64 c 341s| 1150k| 13061 | 3252k| 2.8 |8712k| 39 | - | 120 | 153 | 0 | 0 | 20 | 60k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
343.26/343.45 c 343s| 1160k| 13533 | 3278k| 2.8 |9134k| 39 | - | 120 | 167 | 0 | 0 | 20 | 61k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
346.07/346.24 c 346s| 1170k| 13292 | 3304k| 2.8 |9070k| 39 | 5 | 120 | 158 | 120 | 16 | 20 | 61k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
348.86/349.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.86/349.09 c 349s| 1180k| 13674 | 3332k| 2.8 |9417k| 39 | - | 120 | 176 | 120 | 16 | 20 | 62k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
351.66/351.89 c 352s| 1190k| 13948 | 3358k| 2.8 |9701k| 39 | 5 | 120 | 176 | 120 | 16 | 20 | 62k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
354.46/354.65 c 355s| 1200k| 13824 | 3384k| 2.8 |9721k| 39 | 5 | 120 | 161 | 120 | 16 | 20 | 63k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
357.27/357.42 c 357s| 1210k| 13797 | 3411k| 2.8 |9766k| 39 | 5 | 120 | 163 | 120 | 16 | 20 | 63k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
360.06/360.20 c 360s| 1220k| 13543 | 3438k| 2.8 |9626k| 39 | - | 120 | 144 | 120 | 16 | 20 | 64k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
362.86/363.01 c 363s| 1230k| 13516 | 3465k| 2.8 |9656k| 39 | - | 120 | 156 | 120 | 16 | 20 | 65k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
365.66/365.80 c 366s| 1240k| 13487 | 3492k| 2.8 |9641k| 39 | 5 | 120 | 151 | 120 | 16 | 20 | 65k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
368.37/368.54 c 369s| 1250k| 13382 | 3519k| 2.8 |9590k| 39 | - | 120 | 161 | 0 | 0 | 20 | 65k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
371.15/371.33 c 371s| 1260k| 13258 | 3546k| 2.8 |9440k| 39 | - | 120 | 164 | 120 | 16 | 20 | 66k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
373.95/374.12 c 374s| 1270k| 12683 | 3573k| 2.8 |8480k| 39 | 5 | 120 | 143 | 120 | 16 | 20 | 67k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
376.65/376.87 c 377s| 1280k| 12586 | 3599k| 2.8 |8145k| 39 | 5 | 120 | 173 | 120 | 16 | 20 | 67k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
379.45/379.65 c 380s| 1290k| 12187 | 3626k| 2.8 |7321k| 39 | 5 | 120 | 166 | 120 | 16 | 20 | 68k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
382.25/382.43 c 382s| 1300k| 12178 | 3654k| 2.8 |7318k| 39 | - | 120 | 167 | 120 | 16 | 20 | 68k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
385.06/385.28 c 385s| 1310k| 12229 | 3682k| 2.8 |7372k| 39 | 5 | 120 | 167 | 120 | 16 | 20 | 69k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
387.85/388.06 c 388s| 1320k| 12042 | 3708k| 2.8 |7229k| 39 | 5 | 120 | 180 | 120 | 16 | 20 | 69k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
390.75/390.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
390.75/390.92 c 391s| 1330k| 12255 | 3736k| 2.8 |7439k| 39 | - | 120 | 162 | 0 | 0 | 20 | 70k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
393.56/393.72 c 394s| 1340k| 12583 | 3764k| 2.8 |7781k| 39 | 5 | 120 | 146 | 120 | 16 | 20 | 71k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
396.25/396.47 c 396s| 1350k| 12286 | 3790k| 2.8 |7685k| 39 | 5 | 120 | 144 | 120 | 16 | 20 | 71k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
399.05/399.29 c 399s| 1360k| 12415 | 3817k| 2.8 |7821k| 39 | - | 120 | 148 | 120 | 16 | 20 | 72k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
401.85/402.07 c 402s| 1370k| 12384 | 3844k| 2.8 |7871k| 39 | - | 120 | 153 | 120 | 16 | 20 | 72k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
404.65/404.81 c 405s| 1380k| 12200 | 3870k| 2.8 |7699k| 39 | 5 | 120 | 167 | 120 | 16 | 20 | 73k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
407.44/407.60 c 408s| 1390k| 12157 | 3896k| 2.8 |7693k| 39 | - | 120 | 167 | 0 | 0 | 20 | 74k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
410.15/410.37 c 410s| 1400k| 12081 | 3924k| 2.8 |7553k| 39 | - | 120 | 187 | 120 | 16 | 20 | 74k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
412.94/413.11 c 413s| 1410k| 12059 | 3950k| 2.8 |7571k| 39 | - | 120 | 167 | 120 | 16 | 20 | 75k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
415.64/415.83 c 416s| 1420k| 11954 | 3976k| 2.8 |7261k| 39 | 5 | 120 | 174 | 120 | 16 | 20 | 75k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
418.34/418.59 c 419s| 1430k| 11936 | 4003k| 2.8 |7211k| 39 | - | 120 | 169 | 120 | 16 | 20 | 76k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
421.24/421.41 c 421s| 1440k| 11820 | 4030k| 2.8 |7181k| 39 | 5 | 120 | 206 | 120 | 16 | 20 | 76k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
423.94/424.18 c 424s| 1450k| 11983 | 4057k| 2.8 |7395k| 39 | 5 | 120 | 190 | 120 | 16 | 20 | 77k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
426.73/426.95 c 427s| 1460k| 11975 | 4084k| 2.8 |7475k| 39 | - | 120 | 181 | 0 | 0 | 20 | 78k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
429.63/429.84 c 430s| 1470k| 11557 | 4111k| 2.8 |6947k| 39 | 5 | 120 | 179 | 120 | 16 | 20 | 78k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
432.33/432.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
432.33/432.58 c 433s| 1480k| 11582 | 4137k| 2.8 |6925k| 39 | 5 | 120 | 180 | 120 | 16 | 20 | 79k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
435.13/435.33 c 435s| 1490k| 11594 | 4164k| 2.8 |7042k| 39 | - | 120 | 174 | 120 | 16 | 20 | 79k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
437.83/438.05 c 438s| 1500k| 11707 | 4190k| 2.8 |7196k| 39 | - | 120 | 191 | 120 | 16 | 20 | 80k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
440.53/440.76 c 441s| 1510k| 11591 | 4215k| 2.8 |7179k| 39 | - | 120 | 178 | 120 | 16 | 20 | 80k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
443.22/443.47 c 443s| 1520k| 11687 | 4241k| 2.8 |7327k| 39 | 5 | 120 | 202 | 120 | 16 | 20 | 81k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
446.03/446.23 c 446s| 1530k| 11354 | 4266k| 2.8 |6781k| 39 | 5 | 120 | 193 | 120 | 16 | 20 | 81k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
448.73/448.95 c 449s| 1540k| 11327 | 4293k| 2.8 |6807k| 39 | - | 120 | 184 | 120 | 16 | 20 | 82k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
451.43/451.65 c 452s| 1550k| 11368 | 4318k| 2.8 |6859k| 39 | - | 120 | 191 | 120 | 16 | 20 | 82k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
454.23/454.45 c 454s| 1560k| 11642 | 4345k| 2.8 |6978k| 39 | - | 120 | 193 | 120 | 16 | 20 | 83k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
457.03/457.21 c 457s| 1570k| 11936 | 4372k| 2.8 |7279k| 39 | 5 | 120 | 171 | 120 | 16 | 20 | 83k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
459.73/459.92 c 460s| 1580k| 11796 | 4398k| 2.8 |7335k| 39 | 5 | 120 | 174 | 120 | 16 | 20 | 84k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
462.42/462.65 c 463s| 1590k| 11515 | 4424k| 2.8 |7239k| 39 | - | 120 | 181 | 120 | 16 | 20 | 84k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
465.13/465.35 c 465s| 1600k| 11355 | 4450k| 2.8 |7153k| 39 | 5 | 120 | 165 | 120 | 16 | 20 | 85k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
467.92/468.13 c 468s| 1610k| 11080 | 4476k| 2.8 |6663k| 39 | 5 | 120 | 169 | 120 | 16 | 20 | 85k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
470.62/470.86 c 471s| 1620k| 11254 | 4502k| 2.8 |6875k| 39 | 5 | 120 | 169 | 120 | 16 | 20 | 86k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
473.42/473.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
473.42/473.68 c 474s| 1630k| 10925 | 4530k| 2.8 |6483k| 39 | - | 120 | 153 | 120 | 16 | 20 | 86k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
476.22/476.47 c 476s| 1640k| 10816 | 4558k| 2.8 |6416k| 39 | 5 | 120 | 145 | 120 | 16 | 20 | 87k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
478.92/479.17 c 479s| 1650k| 10795 | 4584k| 2.8 |6386k| 39 | 5 | 120 | 153 | 120 | 16 | 20 | 87k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
481.62/481.87 c 482s| 1660k| 10809 | 4610k| 2.8 |6453k| 39 | - | 120 | 175 | 120 | 16 | 20 | 88k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
484.31/484.55 c 485s| 1670k| 10940 | 4637k| 2.8 |6551k| 39 | - | 120 | 186 | 0 | 0 | 20 | 88k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
487.02/487.27 c 487s| 1680k| 11243 | 4664k| 2.8 |6748k| 39 | - | 120 | 200 | 120 | 16 | 20 | 88k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
489.81/490.00 c 490s| 1690k| 11342 | 4691k| 2.8 |6934k| 39 | - | 120 | 197 | 0 | 0 | 20 | 89k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
492.52/492.70 c 493s| 1700k| 11332 | 4717k| 2.8 |7031k| 39 | 5 | 120 | 195 | 120 | 16 | 20 | 89k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
495.21/495.43 c 495s| 1710k| 11287 | 4744k| 2.8 |7052k| 39 | 5 | 120 | 192 | 120 | 16 | 20 | 90k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
497.91/498.15 c 498s| 1720k| 11354 | 4771k| 2.8 |7189k| 39 | 5 | 120 | 195 | 120 | 16 | 20 | 90k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
500.71/500.90 c 501s| 1730k| 11290 | 4799k| 2.8 |7161k| 39 | - | 120 | 211 | 120 | 16 | 20 | 90k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
503.41/503.66 c 504s| 1740k| 11299 | 4826k| 2.8 |7229k| 39 | 5 | 120 | 218 | 120 | 16 | 20 | 91k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
506.20/506.40 c 506s| 1750k| 11462 | 4853k| 2.8 |7411k| 39 | - | 120 | 207 | 120 | 16 | 20 | 91k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
508.91/509.16 c 509s| 1760k| 11200 | 4879k| 2.8 |7187k| 39 | - | 120 | 208 | 0 | 0 | 20 | 92k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
511.71/511.92 c 512s| 1770k| 11142 | 4905k| 2.8 |7172k| 39 | 5 | 120 | 221 | 120 | 16 | 20 | 92k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
514.41/514.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
514.41/514.69 c 515s| 1780k| 10802 | 4932k| 2.8 |6727k| 39 | 5 | 120 | 239 | 120 | 16 | 20 | 93k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
517.21/517.42 c 517s| 1790k| 10846 | 4958k| 2.8 |6762k| 39 | 5 | 120 | 245 | 120 | 16 | 20 | 93k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
519.91/520.17 c 520s| 1800k| 10878 | 4985k| 2.8 |6883k| 39 | - | 120 | 243 | 120 | 16 | 20 | 94k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
522.70/522.93 c 523s| 1810k| 11067 | 5013k| 2.8 |7012k| 39 | 5 | 120 | 242 | 120 | 16 | 20 | 94k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
525.40/525.65 c 526s| 1820k| 11043 | 5039k| 2.8 |7129k| 39 | 5 | 120 | 257 | 120 | 16 | 20 | 95k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
528.20/528.41 c 528s| 1830k| 10924 | 5065k| 2.8 |7112k| 39 | - | 120 | 241 | 120 | 16 | 20 | 95k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
530.89/531.15 c 531s| 1840k| 10654 | 5089k| 2.8 |6593k| 39 | - | 120 | 284 | 120 | 16 | 20 | 96k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
533.69/533.91 c 534s| 1850k| 10650 | 5115k| 2.8 |6530k| 39 | 5 | 120 | 302 | 120 | 16 | 20 | 97k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
536.39/536.62 c 537s| 1860k| 10646 | 5140k| 2.8 |6541k| 39 | 5 | 120 | 277 | 120 | 16 | 20 | 97k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
539.19/539.40 c 539s| 1870k| 10677 | 5165k| 2.8 |6664k| 39 | 5 | 120 | 261 | 120 | 16 | 20 | 98k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
541.89/542.15 c 542s| 1880k| 10762 | 5191k| 2.8 |6505k| 39 | 5 | 120 | 278 | 120 | 16 | 20 | 98k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
544.59/544.86 c 545s| 1890k| 10520 | 5217k| 2.8 |6323k| 39 | - | 120 | 239 | 0 | 0 | 20 | 99k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
547.39/547.61 c 548s| 1900k| 11024 | 5243k| 2.8 |6668k| 39 | - | 120 | 245 | 120 | 16 | 20 | 99k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
549.99/550.28 c 550s| 1910k| 10696 | 5269k| 2.8 |6609k| 39 | - | 120 | 225 | 120 | 16 | 20 | 100k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
552.79/553.03 c 553s| 1920k| 10281 | 5294k| 2.8 |6085k| 39 | 5 | 120 | 216 | 120 | 16 | 20 | 100k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
555.49/555.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
555.49/555.78 c 556s| 1930k| 10929 | 5321k| 2.8 |6553k| 39 | - | 120 | 233 | 0 | 0 | 20 | 101k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
558.19/558.46 c 558s| 1940k| 10772 | 5346k| 2.8 |6608k| 39 | 5 | 120 | 230 | 120 | 16 | 20 | 101k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
560.98/561.27 c 561s| 1950k| 11372 | 5373k| 2.8 |7053k| 39 | - | 120 | 197 | 0 | 0 | 20 | 102k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
563.69/563.97 c 564s| 1960k| 11491 | 5398k| 2.8 |7262k| 39 | - | 120 | 180 | 120 | 16 | 20 | 102k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
566.39/566.65 c 567s| 1970k| 11326 | 5422k| 2.8 |7241k| 39 | - | 120 | 202 | 120 | 16 | 20 | 103k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
569.08/569.38 c 569s| 1980k| 11293 | 5446k| 2.8 |7315k| 39 | - | 120 | 202 | 120 | 16 | 20 | 104k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
571.88/572.12 c 572s| 1990k| 11240 | 5472k| 2.7 |7260k| 39 | 5 | 120 | 191 | 120 | 16 | 20 | 104k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
574.58/574.80 c 575s| 2000k| 11273 | 5497k| 2.7 |7426k| 39 | 5 | 120 | 194 | 120 | 16 | 20 | 105k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
577.28/577.51 c 578s| 2010k| 11243 | 5522k| 2.7 |7441k| 39 | - | 120 | 181 | 120 | 16 | 20 | 105k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
579.98/580.23 c 580s| 2020k| 11381 | 5547k| 2.7 |7667k| 39 | - | 120 | 191 | 120 | 16 | 20 | 106k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
582.69/582.94 c 583s| 2030k| 11488 | 5571k| 2.7 |7852k| 39 | - | 120 | 192 | 120 | 16 | 20 | 106k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
585.37/585.63 c 586s| 2040k| 11325 | 5595k| 2.7 |7816k| 39 | - | 120 | 206 | 120 | 16 | 20 | 107k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
588.07/588.37 c 588s| 2050k| 11306 | 5621k| 2.7 |7848k| 39 | 5 | 120 | 214 | 120 | 16 | 20 | 108k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
590.97/591.24 c 591s| 2060k| 12186 | 5647k| 2.7 |8371k| 39 | 5 | 120 | 189 | 120 | 16 | 20 | 108k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
593.68/593.99 c 594s| 2070k| 12383 | 5672k| 2.7 |8682k| 39 | 5 | 120 | 197 | 120 | 16 | 20 | 109k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
596.47/596.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
596.47/596.79 c 597s| 2080k| 12579 | 5698k| 2.7 |9044k| 39 | - | 120 | 210 | 120 | 16 | 20 | 110k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
599.27/599.54 c 600s| 2090k| 12808 | 5724k| 2.7 |9321k| 39 | - | 120 | 183 | 120 | 16 | 20 | 110k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
601.97/602.20 c 602s| 2100k| 12343 | 5748k| 2.7 |9176k| 39 | 5 | 120 | 196 | 120 | 16 | 20 | 111k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
604.67/604.92 c 605s| 2110k| 12548 | 5774k| 2.7 |9446k| 39 | - | 120 | 193 | 120 | 16 | 20 | 112k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
607.36/607.68 c 608s| 2120k| 12794 | 5801k| 2.7 |9744k| 39 | - | 120 | 187 | 120 | 16 | 20 | 112k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
610.07/610.32 c 610s| 2130k| 12363 | 5824k| 2.7 |9534k| 39 | 5 | 120 | 187 | 120 | 16 | 20 | 113k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
612.77/613.05 c 613s| 2140k| 12160 | 5849k| 2.7 |9484k| 39 | 5 | 120 | 201 | 120 | 16 | 20 | 114k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
615.46/615.79 c 616s| 2150k| 12079 | 5875k| 2.7 |9499k| 39 | - | 120 | 214 | 0 | 0 | 20 | 114k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
618.26/618.53 c 619s| 2160k| 12310 | 5902k| 2.7 |9690k| 39 | 5 | 120 | 190 | 120 | 16 | 20 | 115k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
620.97/621.23 c 621s| 2170k| 12327 | 5929k| 2.7 |9817k| 39 | - | 120 | 200 | 120 | 16 | 20 | 115k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
623.67/623.95 c 624s| 2180k| 12491 | 5956k| 2.7 |9994k| 39 | 5 | 120 | 204 | 120 | 16 | 20 | 116k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
626.36/626.63 c 627s| 2190k| 12357 | 5983k| 2.7 |9965k| 39 | 5 | 120 | 190 | 120 | 16 | 20 | 116k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
629.16/629.40 c 629s| 2200k| 12334 | 6011k| 2.7 | 10M| 39 | - | 120 | 185 | 0 | 0 | 20 | 117k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
631.76/632.09 c 632s| 2210k| 12157 | 6037k| 2.7 |9840k| 39 | - | 120 | 180 | 120 | 16 | 20 | 117k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
634.56/634.84 c 635s| 2220k| 12332 | 6062k| 2.7 | 10M| 39 | - | 120 | 212 | 120 | 16 | 20 | 118k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
637.26/637.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
637.26/637.52 c 638s| 2230k| 12258 | 6087k| 2.7 | 10M| 39 | - | 120 | 215 | 120 | 16 | 20 | 118k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
640.16/640.44 c 640s| 2240k| 13445 | 6115k| 2.7 | 10M| 39 | - | 120 | 169 | 0 | 0 | 20 | 119k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
642.86/643.16 c 643s| 2250k| 13861 | 6140k| 2.7 | 11M| 39 | - | 120 | 187 | 120 | 16 | 20 | 119k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
645.56/645.88 c 646s| 2260k| 13954 | 6165k| 2.7 | 11M| 39 | - | 120 | 184 | 120 | 16 | 20 | 120k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
648.26/648.57 c 649s| 2270k| 14257 | 6190k| 2.7 | 11M| 39 | 5 | 120 | 217 | 120 | 16 | 20 | 121k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
650.96/651.29 c 651s| 2280k| 14354 | 6215k| 2.7 | 11M| 39 | - | 120 | 203 | 120 | 16 | 20 | 121k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
653.75/654.00 c 654s| 2290k| 14267 | 6240k| 2.7 | 11M| 39 | 5 | 120 | 181 | 120 | 16 | 20 | 122k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
656.46/656.76 c 657s| 2300k| 14119 | 6265k| 2.7 | 11M| 39 | - | 120 | 190 | 120 | 16 | 20 | 122k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
659.15/659.45 c 659s| 2310k| 14181 | 6290k| 2.7 | 12M| 39 | - | 120 | 209 | 120 | 16 | 20 | 123k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
661.86/662.20 c 662s| 2320k| 14370 | 6316k| 2.7 | 12M| 39 | 5 | 120 | 188 | 120 | 16 | 20 | 123k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
664.55/664.86 c 665s| 2330k| 14142 | 6340k| 2.7 | 12M| 39 | 5 | 120 | 166 | 120 | 16 | 20 | 124k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
667.25/667.52 c 668s| 2340k| 13949 | 6365k| 2.7 | 12M| 39 | - | 120 | 161 | 120 | 16 | 20 | 124k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
669.85/670.18 c 670s| 2350k| 13899 | 6390k| 2.7 | 12M| 39 | 5 | 120 | 169 | 120 | 16 | 20 | 125k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
672.55/672.86 c 673s| 2360k| 13889 | 6414k| 2.7 | 12M| 39 | 5 | 120 | 153 | 120 | 16 | 20 | 125k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
675.24/675.59 c 676s| 2370k| 13872 | 6439k| 2.7 | 12M| 39 | 5 | 120 | 172 | 120 | 16 | 20 | 126k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
678.05/678.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
678.05/678.38 c 678s| 2380k| 14506 | 6465k| 2.7 | 12M| 39 | - | 120 | 191 | 0 | 0 | 20 | 126k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
680.94/681.27 c 681s| 2390k| 15522 | 6494k| 2.7 | 13M| 39 | 5 | 120 | 169 | 120 | 16 | 20 | 127k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
683.64/683.99 c 684s| 2400k| 16220 | 6519k| 2.7 | 13M| 39 | 5 | 120 | 170 | 120 | 16 | 20 | 127k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
686.44/686.77 c 687s| 2410k| 16842 | 6545k| 2.7 | 14M| 39 | - | 120 | 166 | 0 | 0 | 20 | 128k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
689.24/689.53 c 690s| 2420k| 17696 | 6572k| 2.7 | 14M| 39 | 5 | 120 | 182 | 120 | 16 | 20 | 128k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
691.94/692.25 c 692s| 2430k| 18188 | 6598k| 2.7 | 15M| 39 | 5 | 120 | 187 | 120 | 16 | 20 | 129k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
694.64/694.94 c 695s| 2440k| 18509 | 6624k| 2.7 | 15M| 39 | 5 | 120 | 188 | 120 | 16 | 20 | 129k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
697.44/697.71 c 698s| 2450k| 18506 | 6649k| 2.7 | 15M| 39 | - | 120 | 199 | 120 | 16 | 20 | 130k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
700.13/700.48 c 700s| 2460k| 18694 | 6674k| 2.7 | 16M| 39 | 5 | 120 | 212 | 120 | 16 | 20 | 131k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
702.83/703.18 c 703s| 2470k| 18609 | 6699k| 2.7 | 16M| 39 | 5 | 120 | 206 | 120 | 16 | 20 | 131k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
705.53/705.88 c 706s| 2480k| 18522 | 6723k| 2.7 | 16M| 39 | - | 120 | 230 | 120 | 16 | 20 | 132k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
708.33/708.60 c 709s| 2490k| 18307 | 6748k| 2.7 | 16M| 39 | - | 120 | 208 | 120 | 16 | 20 | 132k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
711.03/711.34 c 711s| 2500k| 18697 | 6774k| 2.7 | 16M| 39 | - | 120 | 240 | 120 | 16 | 20 | 133k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
713.73/714.04 c 714s| 2510k| 19053 | 6799k| 2.7 | 16M| 39 | - | 120 | 258 | 120 | 16 | 20 | 133k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
716.42/716.77 c 717s| 2520k| 19367 | 6824k| 2.7 | 17M| 39 | - | 120 | 251 | 120 | 16 | 20 | 134k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
719.14/719.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
719.14/719.46 c 719s| 2530k| 18860 | 6848k| 2.7 | 17M| 39 | 5 | 120 | 207 | 120 | 16 | 20 | 134k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
721.83/722.12 c 722s| 2540k| 18747 | 6873k| 2.7 | 17M| 39 | - | 120 | 241 | 120 | 16 | 20 | 135k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
724.53/724.88 c 725s| 2550k| 18412 | 6898k| 2.7 | 17M| 39 | - | 120 | 240 | 0 | 0 | 20 | 135k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
727.32/727.62 c 728s| 2560k| 18243 | 6923k| 2.7 | 17M| 39 | - | 120 | 262 | 0 | 0 | 20 | 136k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
730.03/730.34 c 730s| 2570k| 17873 | 6948k| 2.7 | 16M| 39 | 5 | 120 | 254 | 120 | 16 | 20 | 137k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
732.72/733.05 c 733s| 2580k| 17767 | 6973k| 2.7 | 16M| 39 | - | 120 | 265 | 120 | 16 | 20 | 137k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
735.42/735.75 c 736s| 2590k| 17760 | 6998k| 2.7 | 17M| 39 | 5 | 120 | 281 | 120 | 16 | 20 | 138k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
738.12/738.47 c 738s| 2600k| 17217 | 7022k| 2.7 | 16M| 39 | 5 | 120 | 265 | 120 | 16 | 20 | 138k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
740.92/741.24 c 741s| 2610k| 16989 | 7048k| 2.7 | 16M| 39 | - | 120 | 267 | 120 | 16 | 20 | 139k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
743.72/744.03 c 744s| 2620k| 17507 | 7074k| 2.7 | 17M| 39 | 5 | 120 | 295 | 120 | 16 | 20 | 139k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
746.52/746.82 c 747s| 2630k| 17763 | 7101k| 2.7 | 17M| 39 | - | 120 | 307 | 120 | 16 | 20 | 140k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
749.21/749.55 c 750s| 2640k| 17599 | 7126k| 2.7 | 17M| 39 | 5 | 120 | 319 | 120 | 16 | 20 | 140k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
751.91/752.28 c 752s| 2650k| 17254 | 7152k| 2.7 | 17M| 39 | 5 | 120 | 314 | 120 | 16 | 20 | 141k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
754.70/755.03 c 755s| 2660k| 17258 | 7178k| 2.7 | 17M| 39 | - | 120 | 302 | 120 | 16 | 20 | 141k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
757.41/757.72 c 758s| 2670k| 17459 | 7204k| 2.7 | 17M| 39 | - | 120 | 294 | 120 | 16 | 20 | 142k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
760.10/760.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
760.10/760.49 c 760s| 2680k| 18195 | 7230k| 2.7 | 18M| 39 | 5 | 120 | 321 | 120 | 16 | 20 | 142k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
762.81/763.16 c 763s| 2690k| 17861 | 7254k| 2.7 | 18M| 39 | 5 | 120 | 313 | 120 | 16 | 20 | 143k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
765.51/765.84 c 766s| 2700k| 17442 | 7278k| 2.7 | 17M| 39 | 5 | 120 | 304 | 120 | 16 | 20 | 143k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
768.30/768.67 c 769s| 2710k| 17740 | 7304k| 2.7 | 18M| 39 | - | 120 | 303 | 120 | 16 | 20 | 144k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
771.00/771.35 c 771s| 2720k| 17383 | 7328k| 2.7 | 17M| 39 | 5 | 120 | 321 | 120 | 16 | 20 | 144k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
773.80/774.10 c 774s| 2730k| 17517 | 7354k| 2.7 | 18M| 39 | - | 120 | 314 | 120 | 16 | 20 | 145k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
776.50/776.82 c 777s| 2740k| 17271 | 7380k| 2.7 | 17M| 39 | 5 | 120 | 324 | 120 | 16 | 20 | 146k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
779.20/779.58 c 780s| 2750k| 17204 | 7406k| 2.7 | 17M| 39 | - | 120 | 322 | 0 | 0 | 20 | 146k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
781.89/782.29 c 782s| 2760k| 17461 | 7432k| 2.7 | 18M| 39 | - | 120 | 363 | 0 | 0 | 20 | 147k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
784.59/785.00 c 785s| 2770k| 17304 | 7457k| 2.7 | 18M| 39 | 5 | 120 | 376 | 120 | 16 | 20 | 147k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
787.40/787.76 c 788s| 2780k| 17358 | 7482k| 2.7 | 18M| 39 | 5 | 120 | 378 | 120 | 16 | 20 | 148k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
790.20/790.52 c 791s| 2790k| 17267 | 7508k| 2.7 | 18M| 39 | - | 120 | 356 | 120 | 16 | 20 | 148k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
792.80/793.18 c 793s| 2800k| 17289 | 7534k| 2.7 | 18M| 39 | 5 | 120 | 340 | 120 | 16 | 20 | 149k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
795.60/795.94 c 796s| 2810k| 17290 | 7560k| 2.7 | 18M| 39 | 5 | 120 | 301 | 120 | 16 | 20 | 149k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
798.30/798.64 c 799s| 2820k| 17387 | 7586k| 2.7 | 18M| 39 | 5 | 120 | 302 | 120 | 16 | 20 | 149k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
800.99/801.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
800.99/801.36 c 801s| 2830k| 17090 | 7611k| 2.7 | 18M| 39 | - | 120 | 317 | 120 | 16 | 20 | 150k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
803.80/804.14 c 804s| 2840k| 17258 | 7636k| 2.7 | 18M| 39 | - | 120 | 300 | 120 | 16 | 20 | 151k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
806.49/806.88 c 807s| 2850k| 17070 | 7662k| 2.7 | 18M| 39 | 5 | 120 | 311 | 120 | 16 | 20 | 151k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
809.29/809.69 c 810s| 2860k| 18002 | 7690k| 2.7 | 19M| 39 | - | 120 | 289 | 0 | 0 | 20 | 152k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
812.09/812.41 c 812s| 2870k| 18174 | 7717k| 2.7 | 19M| 39 | 5 | 120 | 288 | 120 | 16 | 20 | 152k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
814.79/815.13 c 815s| 2880k| 18086 | 7744k| 2.7 | 19M| 39 | - | 120 | 304 | 0 | 0 | 20 | 153k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
817.49/817.83 c 818s| 2890k| 17861 | 7771k| 2.7 | 19M| 39 | - | 120 | 293 | 120 | 16 | 20 | 153k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
820.29/820.61 c 821s| 2900k| 18085 | 7797k| 2.7 | 19M| 39 | - | 120 | 314 | 120 | 16 | 20 | 154k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
822.98/823.36 c 823s| 2910k| 17826 | 7824k| 2.7 | 19M| 39 | 5 | 120 | 280 | 120 | 16 | 20 | 154k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
825.70/826.06 c 826s| 2920k| 17936 | 7850k| 2.7 | 19M| 39 | 5 | 120 | 287 | 120 | 16 | 20 | 155k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
828.48/828.80 c 829s| 2930k| 17463 | 7876k| 2.7 | 19M| 39 | - | 120 | 268 | 120 | 16 | 20 | 155k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
831.19/831.51 c 832s| 2940k| 17598 | 7901k| 2.7 | 19M| 39 | 5 | 120 | 284 | 120 | 16 | 20 | 156k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
833.78/834.14 c 834s| 2950k| 17340 | 7925k| 2.7 | 19M| 39 | 5 | 120 | 304 | 120 | 16 | 20 | 156k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
836.68/837.01 c 837s| 2960k| 18202 | 7952k| 2.7 | 19M| 39 | 5 | 120 | 275 | 120 | 16 | 20 | 157k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
839.37/839.74 c 840s| 2970k| 18682 | 7978k| 2.7 | 20M| 39 | 5 | 120 | 292 | 120 | 16 | 20 | 157k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
842.08/842.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
842.08/842.42 c 842s| 2980k| 18651 | 8002k| 2.7 | 20M| 39 | 5 | 120 | 276 | 120 | 16 | 20 | 158k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
844.77/845.10 c 845s| 2990k| 18199 | 8027k| 2.7 | 20M| 39 | - | 120 | 277 | 120 | 16 | 20 | 158k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
847.47/847.82 c 848s| 3000k| 17881 | 8051k| 2.7 | 20M| 39 | - | 120 | 311 | 0 | 0 | 20 | 159k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
850.17/850.52 c 851s| 3010k| 17704 | 8076k| 2.7 | 20M| 39 | - | 120 | 321 | 120 | 16 | 20 | 159k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
852.87/853.29 c 853s| 3020k| 17501 | 8102k| 2.7 | 19M| 39 | 5 | 120 | 321 | 120 | 16 | 20 | 160k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
855.77/856.12 c 856s| 3030k| 16940 | 8128k| 2.7 | 19M| 39 | 5 | 120 | 292 | 120 | 16 | 20 | 161k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
858.57/858.90 c 859s| 3040k| 16634 | 8153k| 2.7 | 18M| 39 | - | 120 | 306 | 120 | 16 | 20 | 161k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
861.37/861.71 c 862s| 3050k| 16287 | 8179k| 2.7 | 18M| 40 | - | 120 | 291 | 120 | 16 | 20 | 162k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
864.17/864.51 c 864s| 3060k| 16283 | 8204k| 2.7 | 18M| 40 | - | 120 | 315 | 120 | 16 | 20 | 163k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
866.87/867.23 c 867s| 3070k| 16316 | 8230k| 2.7 | 18M| 40 | 5 | 120 | 318 | 120 | 16 | 20 | 163k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
869.47/869.83 c 870s| 3080k| 16202 | 8254k| 2.7 | 18M| 40 | 5 | 120 | 332 | 120 | 16 | 20 | 164k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
872.16/872.52 c 873s| 3090k| 16005 | 8279k| 2.7 | 18M| 40 | 5 | 120 | 321 | 120 | 16 | 20 | 164k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
874.96/875.35 c 875s| 3100k| 15714 | 8304k| 2.7 | 17M| 40 | - | 120 | 307 | 120 | 16 | 20 | 165k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
877.66/878.03 c 878s| 3110k| 16152 | 8331k| 2.7 | 17M| 40 | 5 | 120 | 319 | 120 | 16 | 20 | 165k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
880.36/880.72 c 881s| 3120k| 16287 | 8356k| 2.7 | 17M| 40 | - | 120 | 343 | 120 | 16 | 20 | 166k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
882.97/883.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
882.97/883.39 c 883s| 3130k| 16497 | 8381k| 2.7 | 18M| 40 | 5 | 120 | 313 | 120 | 16 | 20 | 166k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
885.66/886.04 c 886s| 3140k| 16302 | 8405k| 2.7 | 18M| 40 | - | 120 | 359 | 0 | 0 | 20 | 167k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
888.37/888.72 c 889s| 3150k| 15811 | 8429k| 2.7 | 17M| 40 | - | 120 | 345 | 0 | 0 | 20 | 167k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
891.05/891.44 c 891s| 3160k| 15823 | 8455k| 2.7 | 17M| 40 | - | 120 | 321 | 120 | 16 | 20 | 168k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
893.76/894.13 c 894s| 3170k| 15843 | 8481k| 2.7 | 17M| 40 | - | 120 | 335 | 120 | 16 | 20 | 168k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
896.66/897.00 c 897s| 3180k| 14625 | 8505k| 2.7 | 16M| 40 | 5 | 120 | 322 | 120 | 16 | 20 | 169k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
899.36/899.76 c 900s| 3190k| 15368 | 8532k| 2.7 | 16M| 40 | 5 | 120 | 329 | 120 | 16 | 20 | 170k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
902.05/902.46 c 902s| 3200k| 15391 | 8559k| 2.7 | 16M| 40 | - | 120 | 334 | 120 | 16 | 20 | 170k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
904.75/905.16 c 905s| 3210k| 15268 | 8585k| 2.7 | 16M| 40 | 5 | 120 | 344 | 120 | 16 | 20 | 170k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
907.45/907.88 c 908s| 3220k| 14819 | 8611k| 2.7 | 16M| 40 | 5 | 120 | 314 | 120 | 16 | 20 | 171k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
910.25/910.65 c 911s| 3230k| 15919 | 8638k| 2.7 | 17M| 40 | 5 | 120 | 333 | 120 | 16 | 20 | 171k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
912.94/913.34 c 913s| 3240k| 16197 | 8664k| 2.7 | 17M| 40 | 5 | 120 | 317 | 120 | 16 | 20 | 172k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
915.65/916.06 c 916s| 3250k| 16064 | 8689k| 2.7 | 17M| 40 | 5 | 120 | 319 | 120 | 16 | 20 | 172k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
918.35/918.76 c 919s| 3260k| 16098 | 8715k| 2.7 | 17M| 40 | - | 120 | 322 | 120 | 16 | 20 | 173k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
921.14/921.59 c 922s| 3270k| 17305 | 8743k| 2.7 | 18M| 40 | 5 | 120 | 304 | 120 | 16 | 20 | 173k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
923.94/924.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
923.94/924.34 c 924s| 3280k| 17980 | 8770k| 2.7 | 18M| 40 | 5 | 120 | 262 | 120 | 16 | 20 | 174k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
926.65/927.04 c 927s| 3290k| 18126 | 8796k| 2.7 | 19M| 40 | 5 | 120 | 258 | 120 | 16 | 20 | 174k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
929.34/929.78 c 930s| 3300k| 19082 | 8823k| 2.7 | 19M| 40 | - | 120 | 268 | 120 | 16 | 20 | 175k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
932.04/932.47 c 932s| 3310k| 19161 | 8849k| 2.7 | 20M| 40 | 5 | 120 | 250 | 120 | 16 | 20 | 175k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
934.74/935.12 c 935s| 3320k| 19300 | 8875k| 2.7 | 20M| 40 | 5 | 120 | 232 | 120 | 16 | 20 | 176k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
937.44/937.84 c 938s| 3330k| 18998 | 8901k| 2.7 | 20M| 40 | - | 120 | 256 | 0 | 0 | 20 | 176k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
940.15/940.51 c 941s| 3340k| 18952 | 8926k| 2.7 | 20M| 40 | - | 120 | 237 | 120 | 16 | 20 | 177k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
942.74/943.18 c 943s| 3350k| 18738 | 8952k| 2.7 | 20M| 40 | - | 120 | 241 | 120 | 16 | 20 | 177k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
945.44/945.88 c 946s| 3360k| 18473 | 8977k| 2.7 | 20M| 40 | - | 120 | 228 | 120 | 16 | 20 | 177k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
948.13/948.59 c 949s| 3370k| 18647 | 9004k| 2.7 | 20M| 40 | - | 120 | 240 | 120 | 16 | 20 | 178k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
950.84/951.28 c 951s| 3380k| 19373 | 9031k| 2.7 | 20M| 40 | - | 120 | 249 | 120 | 16 | 20 | 178k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
953.54/953.94 c 954s| 3390k| 19600 | 9057k| 2.7 | 21M| 40 | 5 | 120 | 262 | 120 | 16 | 20 | 179k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
956.23/956.66 c 957s| 3400k| 19391 | 9083k| 2.7 | 21M| 40 | - | 120 | 238 | 120 | 16 | 20 | 179k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
958.93/959.35 c 959s| 3410k| 19155 | 9109k| 2.7 | 21M| 40 | 5 | 120 | 245 | 120 | 16 | 20 | 180k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
961.63/962.07 c 962s| 3420k| 18681 | 9134k| 2.7 | 21M| 40 | - | 120 | 239 | 120 | 16 | 20 | 180k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
964.34/964.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
964.34/964.76 c 965s| 3430k| 18387 | 9160k| 2.7 | 20M| 40 | 5 | 120 | 232 | 120 | 16 | 20 | 181k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
967.03/967.49 c 967s| 3440k| 18582 | 9187k| 2.7 | 21M| 40 | - | 120 | 255 | 0 | 0 | 20 | 181k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
969.84/970.22 c 970s| 3450k| 18495 | 9212k| 2.7 | 21M| 40 | 5 | 120 | 243 | 120 | 16 | 20 | 182k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
972.53/972.90 c 973s| 3460k| 18300 | 9238k| 2.7 | 21M| 40 | 5 | 120 | 248 | 120 | 16 | 20 | 182k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
975.13/975.59 c 976s| 3470k| 18243 | 9263k| 2.7 | 21M| 40 | 5 | 120 | 241 | 120 | 16 | 20 | 183k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
977.93/978.34 c 978s| 3480k| 18997 | 9290k| 2.7 | 21M| 40 | 5 | 120 | 278 | 120 | 16 | 20 | 183k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
980.62/981.08 c 981s| 3490k| 18972 | 9316k| 2.7 | 21M| 40 | - | 120 | 254 | 120 | 16 | 20 | 184k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
983.43/983.81 c 984s| 3500k| 19054 | 9343k| 2.7 | 21M| 40 | - | 120 | 262 | 120 | 16 | 20 | 184k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
986.02/986.47 c 986s| 3510k| 18595 | 9368k| 2.7 | 21M| 40 | - | 120 | 238 | 120 | 16 | 20 | 185k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
988.72/989.17 c 989s| 3520k| 18089 | 9394k| 2.7 | 21M| 40 | - | 120 | 230 | 120 | 16 | 20 | 185k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
991.42/991.86 c 992s| 3530k| 17932 | 9420k| 2.7 | 21M| 40 | - | 120 | 221 | 120 | 16 | 20 | 186k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
994.12/994.57 c 995s| 3540k| 17722 | 9446k| 2.7 | 21M| 40 | - | 120 | 223 | 120 | 16 | 20 | 186k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
996.82/997.27 c 997s| 3550k| 17715 | 9472k| 2.7 | 21M| 40 | - | 120 | 238 | 120 | 16 | 20 | 187k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
999.53/999.95 c 1000s| 3560k| 17672 | 9499k| 2.7 | 21M| 40 | - | 120 | 277 | 120 | 16 | 20 | 187k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1002.22/1002.67 c 1003s| 3570k| 17767 | 9525k| 2.7 | 21M| 40 | 5 | 120 | 226 | 120 | 16 | 20 | 188k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1004.92/1005.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1004.92/1005.38 c 1005s| 3580k| 17550 | 9550k| 2.7 | 21M| 40 | - | 120 | 218 | 120 | 16 | 20 | 189k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1007.62/1008.06 c 1008s| 3590k| 18248 | 9577k| 2.7 | 21M| 40 | - | 120 | 231 | 120 | 16 | 20 | 189k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1010.31/1010.73 c 1011s| 3600k| 18292 | 9603k| 2.7 | 21M| 40 | 5 | 120 | 217 | 120 | 16 | 20 | 190k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1013.02/1013.42 c 1013s| 3610k| 18296 | 9630k| 2.7 | 22M| 40 | - | 120 | 241 | 120 | 16 | 20 | 190k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1015.71/1016.13 c 1016s| 3620k| 17921 | 9656k| 2.7 | 21M| 40 | 5 | 120 | 233 | 120 | 16 | 20 | 190k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1018.41/1018.85 c 1019s| 3630k| 18024 | 9683k| 2.7 | 21M| 40 | 5 | 120 | 219 | 120 | 16 | 20 | 191k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1021.11/1021.55 c 1022s| 3640k| 18039 | 9708k| 2.7 | 22M| 40 | - | 120 | 245 | 0 | 0 | 20 | 192k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1023.81/1024.24 c 1024s| 3650k| 17737 | 9733k| 2.7 | 21M| 40 | 5 | 120 | 253 | 120 | 16 | 20 | 192k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1026.50/1026.97 c 1027s| 3660k| 17533 | 9760k| 2.7 | 21M| 40 | 5 | 120 | 230 | 120 | 16 | 20 | 193k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1029.31/1029.79 c 1030s| 3670k| 17580 | 9788k| 2.7 | 21M| 40 | 5 | 120 | 269 | 120 | 16 | 20 | 194k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1032.01/1032.47 c 1032s| 3680k| 17994 | 9814k| 2.7 | 21M| 40 | 5 | 120 | 278 | 120 | 16 | 20 | 194k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1034.71/1035.14 c 1035s| 3690k| 18116 | 9840k| 2.7 | 22M| 40 | 5 | 120 | 269 | 120 | 16 | 20 | 195k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1037.40/1037.83 c 1038s| 3700k| 17915 | 9868k| 2.7 | 22M| 40 | 5 | 120 | 258 | 120 | 16 | 20 | 195k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1040.11/1040.56 c 1041s| 3710k| 18219 | 9895k| 2.7 | 22M| 40 | 5 | 120 | 246 | 120 | 16 | 20 | 195k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1042.80/1043.26 c 1043s| 3720k| 18148 | 9922k| 2.7 | 22M| 40 | 5 | 120 | 247 | 120 | 16 | 20 | 196k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1045.50/1045.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1045.50/1045.98 c 1046s| 3730k| 18091 | 9949k| 2.7 | 22M| 40 | - | 120 | 244 | 120 | 16 | 20 | 197k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1048.20/1048.70 c 1049s| 3740k| 18054 | 9976k| 2.7 | 22M| 40 | 5 | 120 | 269 | 120 | 16 | 20 | 197k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1051.00/1051.41 c 1051s| 3750k| 18865 | 10003k| 2.7 | 22M| 40 | 5 | 120 | 275 | 120 | 16 | 20 | 198k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1053.70/1054.10 c 1054s| 3760k| 19071 | 10029k| 2.7 | 23M| 40 | 5 | 120 | 260 | 120 | 16 | 20 | 198k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1056.30/1056.77 c 1057s| 3770k| 19091 | 10053k| 2.7 | 23M| 40 | - | 120 | 254 | 120 | 16 | 20 | 199k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1058.99/1059.44 c 1059s| 3780k| 18999 | 10078k| 2.7 | 23M| 40 | 5 | 120 | 249 | 120 | 16 | 20 | 199k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1061.70/1062.11 c 1062s| 3790k| 18470 | 10102k| 2.7 | 23M| 40 | 5 | 120 | 248 | 120 | 16 | 20 | 200k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1064.40/1064.81 c 1065s| 3800k| 18778 | 10128k| 2.7 | 23M| 40 | 5 | 120 | 254 | 120 | 16 | 20 | 200k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1066.99/1067.49 c 1067s| 3810k| 18793 | 10154k| 2.7 | 23M| 40 | 5 | 120 | 241 | 120 | 16 | 20 | 201k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1069.68/1070.11 c 1070s| 3820k| 18544 | 10179k| 2.7 | 23M| 40 | - | 120 | 236 | 120 | 16 | 20 | 201k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1072.39/1072.81 c 1073s| 3830k| 18392 | 10204k| 2.7 | 23M| 40 | - | 120 | 228 | 120 | 16 | 20 | 202k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1075.09/1075.53 c 1076s| 3840k| 18463 | 10230k| 2.7 | 23M| 40 | 5 | 120 | 238 | 120 | 16 | 20 | 202k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1077.78/1078.22 c 1078s| 3850k| 18489 | 10256k| 2.7 | 23M| 40 | - | 120 | 264 | 120 | 16 | 20 | 203k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1080.48/1080.90 c 1081s| 3860k| 18450 | 10283k| 2.7 | 23M| 40 | - | 120 | 294 | 120 | 16 | 20 | 203k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1083.19/1083.69 c 1084s| 3870k| 18201 | 10309k| 2.7 | 23M| 40 | - | 120 | 287 | 120 | 16 | 20 | 204k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1086.18/1086.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1086.18/1086.66 c 1087s| 3880k| 16440 | 10332k| 2.7 | 20M| 40 | 5 | 120 | 268 | 120 | 16 | 20 | 205k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1088.88/1089.37 c 1089s| 3890k| 17268 | 10360k| 2.7 | 20M| 40 | 5 | 120 | 264 | 120 | 16 | 20 | 205k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1091.58/1092.06 c 1092s| 3900k| 17135 | 10384k| 2.7 | 20M| 40 | 5 | 120 | 266 | 120 | 16 | 20 | 206k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1094.28/1094.76 c 1095s| 3910k| 16949 | 10411k| 2.7 | 20M| 40 | - | 120 | 266 | 120 | 16 | 20 | 206k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1096.98/1097.46 c 1097s| 3920k| 17762 | 10437k| 2.7 | 21M| 40 | - | 120 | 295 | 120 | 16 | 20 | 207k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1099.68/1100.17 c 1100s| 3930k| 18249 | 10463k| 2.7 | 21M| 40 | - | 120 | 287 | 120 | 16 | 20 | 207k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1102.38/1102.85 c 1103s| 3940k| 18624 | 10488k| 2.7 | 22M| 40 | 5 | 120 | 292 | 120 | 16 | 20 | 208k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1105.08/1105.56 c 1106s| 3950k| 18663 | 10514k| 2.7 | 22M| 40 | 5 | 120 | 275 | 120 | 16 | 20 | 208k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1107.77/1108.25 c 1108s| 3960k| 18460 | 10540k| 2.7 | 22M| 40 | 5 | 120 | 276 | 120 | 16 | 20 | 209k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1110.48/1110.94 c 1111s| 3970k| 18030 | 10566k| 2.7 | 22M| 40 | 5 | 120 | 276 | 120 | 16 | 20 | 209k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1113.18/1113.64 c 1114s| 3980k| 17744 | 10591k| 2.7 | 21M| 40 | - | 120 | 285 | 120 | 16 | 20 | 210k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1115.87/1116.32 c 1116s| 3990k| 17353 | 10617k| 2.7 | 21M| 40 | 5 | 120 | 276 | 120 | 16 | 20 | 210k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1118.57/1119.04 c 1119s| 4000k| 17339 | 10644k| 2.7 | 21M| 40 | 5 | 120 | 301 | 120 | 16 | 20 | 211k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1121.27/1121.72 c 1122s| 4010k| 17162 | 10669k| 2.7 | 21M| 40 | - | 120 | 309 | 120 | 16 | 20 | 211k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1123.96/1124.45 c 1124s| 4020k| 17195 | 10695k| 2.7 | 21M| 40 | - | 120 | 293 | 120 | 16 | 20 | 212k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1126.56/1127.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1126.56/1127.08 c 1127s| 4030k| 17176 | 10720k| 2.7 | 21M| 40 | 5 | 120 | 320 | 120 | 16 | 20 | 212k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1129.28/1129.78 c 1130s| 4040k| 17402 | 10744k| 2.7 | 21M| 40 | 5 | 120 | 335 | 120 | 16 | 20 | 213k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1131.96/1132.49 c 1132s| 4050k| 17164 | 10769k| 2.7 | 21M| 40 | - | 120 | 319 | 120 | 16 | 20 | 214k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1134.86/1135.39 c 1135s| 4060k| 15612 | 10792k| 2.7 | 19M| 40 | 5 | 120 | 268 | 120 | 16 | 20 | 214k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1137.66/1138.18 c 1138s| 4070k| 15050 | 10820k| 2.7 | 18M| 40 | - | 120 | 286 | 120 | 16 | 20 | 215k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1140.66/1141.14 c 1141s| 4080k| 13625 | 10844k| 2.7 | 15M| 40 | 5 | 120 | 361 | 120 | 16 | 20 | 216k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1143.37/1143.83 c 1144s| 4090k| 13361 | 10869k| 2.7 | 15M| 40 | 5 | 120 | 351 | 120 | 16 | 20 | 216k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1146.06/1146.51 c 1146s| 4100k| 13591 | 10895k| 2.7 | 15M| 40 | 5 | 120 | 346 | 120 | 16 | 20 | 217k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1148.66/1149.19 c 1149s| 4110k| 13428 | 10920k| 2.7 | 15M| 40 | 5 | 120 | 364 | 120 | 16 | 20 | 217k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1151.35/1151.89 c 1152s| 4120k| 13335 | 10947k| 2.7 | 15M| 40 | 5 | 120 | 369 | 120 | 16 | 20 | 218k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1154.15/1154.68 c 1155s| 4130k| 12749 | 10972k| 2.7 | 14M| 40 | - | 120 | 359 | 120 | 16 | 20 | 218k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1156.86/1157.36 c 1157s| 4140k| 12696 | 10998k| 2.7 | 14M| 40 | - | 120 | 326 | 120 | 16 | 20 | 219k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1159.66/1160.10 c 1160s| 4150k| 12944 | 11024k| 2.7 | 14M| 40 | 5 | 120 | 332 | 120 | 16 | 20 | 219k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1162.26/1162.76 c 1163s| 4160k| 12792 | 11049k| 2.7 | 14M| 40 | 5 | 120 | 308 | 120 | 16 | 20 | 220k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1165.06/1165.57 c 1166s| 4170k| 12669 | 11075k| 2.7 | 13M| 40 | - | 120 | 322 | 120 | 16 | 20 | 221k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1167.75/1168.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1167.75/1168.29 c 1168s| 4180k| 12818 | 11100k| 2.7 | 14M| 40 | 5 | 120 | 344 | 120 | 16 | 20 | 221k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1170.45/1170.96 c 1171s| 4190k| 12771 | 11125k| 2.7 | 14M| 40 | 5 | 120 | 343 | 120 | 16 | 20 | 222k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1173.15/1173.65 c 1174s| 4200k| 13079 | 11150k| 2.7 | 14M| 40 | - | 120 | 336 | 0 | 0 | 20 | 222k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1175.85/1176.30 c 1176s| 4210k| 12906 | 11176k| 2.7 | 14M| 40 | 5 | 120 | 309 | 120 | 16 | 20 | 223k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1178.55/1179.00 c 1179s| 4220k| 12833 | 11201k| 2.7 | 14M| 40 | - | 120 | 301 | 120 | 16 | 20 | 223k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1181.15/1181.69 c 1182s| 4230k| 12905 | 11226k| 2.7 | 14M| 40 | 5 | 120 | 329 | 120 | 16 | 20 | 224k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1183.94/1184.42 c 1184s| 4240k| 13314 | 11253k| 2.7 | 14M| 40 | 5 | 120 | 322 | 120 | 16 | 20 | 225k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1186.54/1187.09 c 1187s| 4250k| 13613 | 11278k| 2.7 | 15M| 40 | - | 120 | 310 | 120 | 16 | 20 | 225k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1189.24/1189.78 c 1190s| 4260k| 13867 | 11303k| 2.7 | 15M| 40 | - | 120 | 351 | 120 | 16 | 20 | 226k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1192.04/1192.55 c 1193s| 4270k| 15016 | 11330k| 2.7 | 16M| 40 | - | 120 | 298 | 120 | 16 | 20 | 226k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1194.84/1195.31 c 1195s| 4280k| 15997 | 11358k| 2.7 | 16M| 40 | 5 | 120 | 266 | 120 | 16 | 20 | 227k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1197.44/1197.98 c 1198s| 4290k| 16593 | 11383k| 2.7 | 17M| 40 | 5 | 120 | 255 | 120 | 16 | 20 | 227k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1200.14/1200.68 c 1201s| 4300k| 16816 | 11409k| 2.7 | 17M| 40 | - | 120 | 239 | 120 | 16 | 20 | 228k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1202.85/1203.40 c 1203s| 4310k| 17252 | 11436k| 2.7 | 17M| 40 | 5 | 120 | 225 | 120 | 16 | 20 | 228k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1205.64/1206.10 c 1206s| 4320k| 17331 | 11462k| 2.7 | 18M| 40 | 5 | 120 | 265 | 120 | 16 | 20 | 229k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1208.23/1208.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1208.23/1208.79 c 1209s| 4330k| 17691 | 11488k| 2.7 | 18M| 40 | - | 120 | 296 | 120 | 16 | 20 | 229k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1211.04/1211.55 c 1212s| 4340k| 17690 | 11514k| 2.7 | 18M| 40 | 5 | 120 | 279 | 120 | 16 | 20 | 230k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1213.74/1214.23 c 1214s| 4350k| 17636 | 11540k| 2.7 | 18M| 40 | 5 | 120 | 269 | 120 | 16 | 20 | 230k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1216.43/1216.91 c 1217s| 4360k| 17643 | 11565k| 2.7 | 18M| 40 | - | 120 | 286 | 120 | 16 | 20 | 231k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1219.03/1219.58 c 1220s| 4370k| 17383 | 11591k| 2.7 | 18M| 40 | - | 120 | 266 | 120 | 16 | 20 | 231k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1221.73/1222.28 c 1222s| 4380k| 17263 | 11616k| 2.7 | 18M| 40 | - | 120 | 287 | 120 | 16 | 20 | 231k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1224.43/1224.95 c 1225s| 4390k| 17006 | 11641k| 2.7 | 18M| 40 | - | 120 | 256 | 120 | 16 | 20 | 232k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1227.14/1227.62 c 1228s| 4400k| 17336 | 11668k| 2.7 | 19M| 40 | 5 | 120 | 268 | 120 | 16 | 20 | 232k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1229.73/1230.29 c 1230s| 4410k| 17317 | 11695k| 2.7 | 19M| 40 | - | 120 | 265 | 120 | 16 | 20 | 233k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1232.43/1232.96 c 1233s| 4420k| 17004 | 11720k| 2.7 | 19M| 40 | 5 | 120 | 271 | 120 | 16 | 20 | 233k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1235.13/1235.69 c 1236s| 4430k| 16579 | 11745k| 2.7 | 18M| 40 | 5 | 120 | 258 | 120 | 16 | 20 | 234k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1237.83/1238.36 c 1238s| 4440k| 16181 | 11770k| 2.7 | 18M| 40 | 5 | 120 | 248 | 120 | 16 | 20 | 235k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1240.53/1241.04 c 1241s| 4450k| 15990 | 11795k| 2.7 | 18M| 40 | 5 | 120 | 264 | 120 | 16 | 20 | 235k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1243.12/1243.68 c 1244s| 4460k| 15879 | 11820k| 2.7 | 18M| 40 | - | 120 | 280 | 120 | 16 | 20 | 236k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1245.83/1246.37 c 1246s| 4470k| 15772 | 11845k| 2.7 | 18M| 40 | - | 120 | 292 | 120 | 16 | 20 | 236k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1248.53/1249.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1248.53/1249.05 c 1249s| 4480k| 15481 | 11870k| 2.6 | 18M| 40 | 5 | 120 | 269 | 120 | 16 | 20 | 237k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1251.23/1251.74 c 1252s| 4490k| 15304 | 11897k| 2.6 | 18M| 40 | 5 | 120 | 248 | 120 | 16 | 20 | 237k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1253.82/1254.39 c 1254s| 4500k| 15104 | 11922k| 2.6 | 18M| 40 | - | 120 | 251 | 120 | 16 | 20 | 238k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1256.52/1257.05 c 1257s| 4510k| 15143 | 11948k| 2.6 | 18M| 40 | 5 | 120 | 288 | 120 | 16 | 20 | 238k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1259.22/1259.72 c 1260s| 4520k| 15028 | 11974k| 2.6 | 18M| 40 | 5 | 120 | 276 | 120 | 16 | 20 | 238k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1261.82/1262.37 c 1262s| 4530k| 15112 | 12000k| 2.6 | 18M| 40 | 5 | 120 | 274 | 120 | 16 | 20 | 239k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1264.53/1265.01 c 1265s| 4540k| 15028 | 12025k| 2.6 | 18M| 40 | - | 120 | 273 | 120 | 16 | 20 | 239k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1267.21/1267.72 c 1268s| 4550k| 15089 | 12051k| 2.6 | 18M| 40 | - | 120 | 270 | 120 | 16 | 20 | 240k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1269.81/1270.39 c 1270s| 4560k| 15303 | 12078k| 2.6 | 18M| 40 | 5 | 120 | 293 | 120 | 16 | 20 | 240k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1272.51/1273.05 c 1273s| 4570k| 15663 | 12105k| 2.6 | 18M| 40 | 5 | 120 | 304 | 120 | 16 | 20 | 241k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1275.21/1275.73 c 1276s| 4580k| 15880 | 12131k| 2.6 | 19M| 40 | 5 | 120 | 310 | 120 | 16 | 20 | 241k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1277.91/1278.44 c 1278s| 4590k| 16478 | 12157k| 2.6 | 19M| 40 | - | 120 | 314 | 120 | 16 | 20 | 242k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1280.61/1281.12 c 1281s| 4600k| 16371 | 12182k| 2.6 | 19M| 40 | 5 | 120 | 294 | 120 | 16 | 20 | 242k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1283.22/1283.77 c 1284s| 4610k| 16236 | 12207k| 2.6 | 19M| 40 | 5 | 120 | 303 | 120 | 16 | 20 | 243k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1285.91/1286.45 c 1286s| 4620k| 16230 | 12233k| 2.6 | 19M| 40 | 5 | 120 | 306 | 120 | 16 | 20 | 243k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1288.62/1289.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1288.62/1289.13 c 1289s| 4630k| 15774 | 12259k| 2.6 | 19M| 40 | 5 | 120 | 293 | 120 | 16 | 20 | 244k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1291.30/1291.80 c 1292s| 4640k| 15408 | 12283k| 2.6 | 19M| 40 | 5 | 120 | 300 | 120 | 16 | 20 | 244k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1293.91/1294.49 c 1294s| 4650k| 15212 | 12310k| 2.6 | 18M| 40 | - | 120 | 300 | 120 | 16 | 20 | 245k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1296.60/1297.19 c 1297s| 4660k| 15416 | 12336k| 2.6 | 19M| 40 | 5 | 120 | 313 | 120 | 16 | 20 | 245k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1299.40/1299.90 c 1300s| 4670k| 16079 | 12361k| 2.6 | 19M| 40 | 5 | 120 | 331 | 120 | 16 | 20 | 246k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1302.00/1302.56 c 1303s| 4680k| 16069 | 12386k| 2.6 | 19M| 40 | 5 | 120 | 333 | 120 | 16 | 20 | 246k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1304.70/1305.23 c 1305s| 4690k| 15759 | 12410k| 2.6 | 19M| 40 | 5 | 120 | 323 | 120 | 16 | 20 | 247k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1307.50/1308.06 c 1308s| 4700k| 15028 | 12435k| 2.6 | 18M| 40 | 5 | 120 | 315 | 120 | 16 | 20 | 248k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1310.20/1310.80 c 1311s| 4710k| 14730 | 12460k| 2.6 | 18M| 40 | 5 | 120 | 314 | 120 | 16 | 20 | 248k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1313.00/1313.52 c 1314s| 4720k| 15770 | 12488k| 2.6 | 19M| 40 | 5 | 120 | 321 | 120 | 16 | 20 | 249k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1315.70/1316.23 c 1316s| 4730k| 16369 | 12514k| 2.6 | 19M| 40 | - | 120 | 359 | 120 | 16 | 20 | 249k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1318.31/1318.89 c 1319s| 4740k| 16707 | 12539k| 2.6 | 19M| 40 | - | 120 | 326 | 120 | 16 | 20 | 250k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1321.00/1321.55 c 1322s| 4750k| 16499 | 12564k| 2.6 | 19M| 40 | - | 120 | 318 | 120 | 16 | 20 | 250k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1323.70/1324.22 c 1324s| 4760k| 16478 | 12589k| 2.6 | 19M| 40 | 5 | 120 | 355 | 120 | 16 | 20 | 251k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1326.30/1326.89 c 1327s| 4770k| 16312 | 12614k| 2.6 | 20M| 40 | - | 120 | 340 | 120 | 16 | 20 | 251k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1329.00/1329.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1329.00/1329.56 c 1330s| 4780k| 15980 | 12638k| 2.6 | 19M| 40 | - | 120 | 336 | 120 | 16 | 20 | 251k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1331.69/1332.27 c 1332s| 4790k| 15055 | 12662k| 2.6 | 19M| 40 | - | 120 | 339 | 120 | 16 | 20 | 252k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1334.59/1335.10 c 1335s| 4800k| 14658 | 12689k| 2.6 | 18M| 40 | 5 | 120 | 309 | 120 | 16 | 20 | 253k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1337.19/1337.77 c 1338s| 4810k| 14935 | 12715k| 2.6 | 18M| 40 | 5 | 120 | 328 | 120 | 16 | 20 | 253k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1340.09/1340.66 c 1341s| 4820k| 13358 | 12740k| 2.6 | 16M| 40 | - | 120 | 266 | 120 | 16 | 20 | 254k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1342.89/1343.49 c 1343s| 4830k| 12358 | 12766k| 2.6 | 14M| 40 | - | 120 | 307 | 120 | 16 | 20 | 255k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1345.59/1346.19 c 1346s| 4840k| 13024 | 12793k| 2.6 | 14M| 40 | 5 | 120 | 333 | 120 | 16 | 20 | 255k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1348.28/1348.85 c 1349s| 4850k| 13127 | 12818k| 2.6 | 15M| 40 | - | 120 | 296 | 120 | 16 | 20 | 255k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1350.88/1351.49 c 1351s| 4860k| 13387 | 12844k| 2.6 | 15M| 40 | 5 | 120 | 280 | 120 | 16 | 20 | 256k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1353.59/1354.11 c 1354s| 4870k| 13238 | 12870k| 2.6 | 15M| 40 | - | 120 | 274 | 120 | 16 | 20 | 256k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1356.18/1356.78 c 1357s| 4880k| 13067 | 12895k| 2.6 | 15M| 40 | 5 | 120 | 280 | 120 | 16 | 20 | 257k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1358.88/1359.43 c 1359s| 4890k| 12826 | 12922k| 2.6 | 15M| 40 | - | 120 | 235 | 0 | 0 | 20 | 257k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1361.48/1362.08 c 1362s| 4900k| 12863 | 12949k| 2.6 | 15M| 40 | 5 | 120 | 252 | 120 | 16 | 20 | 258k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1364.08/1364.68 c 1365s| 4910k| 12764 | 12974k| 2.6 | 15M| 40 | 5 | 120 | 239 | 120 | 16 | 20 | 258k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1366.79/1367.37 c 1367s| 4920k| 12152 | 12999k| 2.6 | 14M| 40 | - | 120 | 257 | 120 | 16 | 20 | 259k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1369.68/1370.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1369.68/1370.23 c 1370s| 4930k| 11509 | 13025k| 2.6 | 12M| 40 | 5 | 120 | 358 | 120 | 16 | 20 | 260k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1372.48/1373.02 c 1373s| 4940k| 11651 | 13052k| 2.6 | 12M| 40 | 5 | 120 | 345 | 120 | 16 | 20 | 260k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1375.18/1375.74 c 1376s| 4950k| 12211 | 13080k| 2.6 | 12M| 40 | 5 | 120 | 356 | 120 | 16 | 20 | 261k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1377.88/1378.46 c 1378s| 4960k| 12390 | 13108k| 2.6 | 13M| 40 | 5 | 120 | 328 | 120 | 16 | 20 | 261k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1380.57/1381.15 c 1381s| 4970k| 12278 | 13134k| 2.6 | 13M| 40 | 5 | 120 | 291 | 120 | 16 | 20 | 262k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1383.18/1383.80 c 1384s| 4980k| 12312 | 13160k| 2.6 | 13M| 40 | - | 120 | 290 | 120 | 16 | 20 | 262k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1385.98/1386.53 c 1387s| 4990k| 12485 | 13188k| 2.6 | 13M| 40 | - | 120 | 270 | 120 | 16 | 20 | 262k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1388.68/1389.25 c 1389s| 5000k| 12595 | 13214k| 2.6 | 13M| 40 | - | 120 | 272 | 120 | 16 | 20 | 263k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1391.37/1391.93 c 1392s| 5010k| 12860 | 13242k| 2.6 | 13M| 40 | 5 | 120 | 255 | 120 | 16 | 20 | 264k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1393.97/1394.56 c 1395s| 5020k| 13009 | 13267k| 2.6 | 14M| 40 | - | 120 | 258 | 120 | 16 | 20 | 264k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1396.67/1397.24 c 1397s| 5030k| 13376 | 13293k| 2.6 | 14M| 40 | - | 120 | 268 | 120 | 16 | 20 | 264k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1399.37/1399.95 c 1400s| 5040k| 14200 | 13319k| 2.6 | 14M| 40 | - | 120 | 253 | 120 | 16 | 20 | 265k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1402.07/1402.67 c 1403s| 5050k| 15040 | 13346k| 2.6 | 15M| 40 | 5 | 120 | 249 | 120 | 16 | 20 | 265k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1404.77/1405.32 c 1405s| 5060k| 15209 | 13373k| 2.6 | 15M| 40 | 5 | 120 | 229 | 120 | 16 | 20 | 266k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1407.37/1408.00 c 1408s| 5070k| 15379 | 13399k| 2.6 | 16M| 40 | - | 120 | 249 | 120 | 16 | 20 | 266k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1410.06/1410.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1410.06/1410.65 c 1411s| 5080k| 15634 | 13425k| 2.6 | 16M| 40 | - | 120 | 234 | 120 | 16 | 20 | 267k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1412.76/1413.31 c 1413s| 5090k| 15564 | 13452k| 2.6 | 16M| 40 | 5 | 120 | 236 | 120 | 16 | 20 | 267k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1415.37/1415.95 c 1416s| 5100k| 15936 | 13477k| 2.6 | 16M| 40 | - | 120 | 227 | 120 | 16 | 20 | 268k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1418.06/1418.61 c 1419s| 5110k| 15747 | 13503k| 2.6 | 16M| 40 | 5 | 120 | 228 | 120 | 16 | 20 | 268k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1420.67/1421.25 c 1421s| 5120k| 15643 | 13529k| 2.6 | 16M| 40 | - | 120 | 227 | 0 | 0 | 20 | 269k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1423.26/1423.89 c 1424s| 5130k| 15395 | 13555k| 2.6 | 16M| 40 | - | 120 | 212 | 120 | 16 | 20 | 269k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1425.96/1426.54 c 1427s| 5140k| 15221 | 13581k| 2.6 | 16M| 40 | - | 120 | 219 | 0 | 0 | 20 | 270k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1428.65/1429.21 c 1429s| 5150k| 14730 | 13607k| 2.6 | 16M| 40 | - | 120 | 201 | 120 | 16 | 20 | 270k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1431.26/1431.87 c 1432s| 5160k| 14535 | 13633k| 2.6 | 16M| 40 | - | 120 | 225 | 120 | 16 | 20 | 270k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1433.96/1434.50 c 1434s| 5170k| 14438 | 13659k| 2.6 | 16M| 40 | 5 | 120 | 216 | 120 | 16 | 20 | 271k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1436.55/1437.15 c 1437s| 5180k| 14205 | 13684k| 2.6 | 16M| 40 | - | 120 | 203 | 120 | 16 | 20 | 271k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1439.26/1439.86 c 1440s| 5190k| 15297 | 13712k| 2.6 | 16M| 40 | 5 | 120 | 218 | 120 | 16 | 20 | 272k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1441.95/1442.58 c 1443s| 5200k| 16750 | 13739k| 2.6 | 17M| 40 | 5 | 120 | 215 | 120 | 16 | 20 | 272k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1444.65/1445.23 c 1445s| 5210k| 17286 | 13765k| 2.6 | 18M| 40 | - | 120 | 204 | 120 | 16 | 20 | 273k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1447.25/1447.87 c 1448s| 5220k| 18136 | 13792k| 2.6 | 18M| 40 | 5 | 120 | 200 | 120 | 16 | 20 | 273k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1449.95/1450.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1449.95/1450.52 c 1451s| 5230k| 18819 | 13819k| 2.6 | 19M| 40 | 5 | 120 | 213 | 120 | 16 | 20 | 273k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1452.56/1453.13 c 1453s| 5240k| 18938 | 13845k| 2.6 | 19M| 40 | - | 120 | 198 | 0 | 0 | 20 | 274k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1455.15/1455.78 c 1456s| 5250k| 19070 | 13871k| 2.6 | 19M| 40 | - | 120 | 205 | 120 | 16 | 20 | 274k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1457.84/1458.41 c 1458s| 5260k| 19150 | 13897k| 2.6 | 19M| 40 | 5 | 120 | 205 | 120 | 16 | 20 | 275k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1460.45/1461.07 c 1461s| 5270k| 19149 | 13923k| 2.6 | 19M| 40 | 5 | 120 | 200 | 120 | 16 | 20 | 275k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1463.04/1463.68 c 1464s| 5280k| 19169 | 13948k| 2.6 | 20M| 40 | - | 120 | 198 | 120 | 16 | 20 | 275k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1465.75/1466.30 c 1466s| 5290k| 19420 | 13973k| 2.6 | 20M| 40 | - | 120 | 211 | 0 | 0 | 20 | 276k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1468.34/1468.94 c 1469s| 5300k| 19571 | 13999k| 2.6 | 20M| 40 | 5 | 120 | 230 | 120 | 16 | 20 | 276k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1471.04/1471.60 c 1472s| 5310k| 19470 | 14025k| 2.6 | 20M| 40 | 5 | 120 | 207 | 120 | 16 | 20 | 277k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1473.64/1474.23 c 1474s| 5320k| 19406 | 14051k| 2.6 | 20M| 40 | - | 120 | 227 | 120 | 16 | 20 | 277k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1476.24/1476.86 c 1477s| 5330k| 19432 | 14075k| 2.6 | 20M| 40 | - | 120 | 218 | 120 | 16 | 20 | 278k| 46k| 0.000000e+00 | 3.000000e+00 | Inf
1478.85/1479.46 c 1479s| 5340k| 19483 | 14100k| 2.6 | 21M| 40 | - | 120 | 223 | 0 | 0 | 20 | 278k| 46k| 0.000000e+00 | 3.000000e+00 | Inf
1481.54/1482.10 c 1482s| 5350k| 19868 | 14127k| 2.6 | 21M| 40 | 5 | 120 | 215 | 120 | 16 | 20 | 278k| 46k| 0.000000e+00 | 3.000000e+00 | Inf
1484.13/1484.70 c 1485s| 5360k| 19632 | 14152k| 2.6 | 21M| 40 | - | 120 | 195 | 0 | 0 | 20 | 279k| 46k| 0.000000e+00 | 3.000000e+00 | Inf
1486.74/1487.34 c 1487s| 5370k| 20375 | 14177k| 2.6 | 21M| 40 | - | 120 | 206 | 120 | 16 | 20 | 279k| 46k| 0.000000e+00 | 3.000000e+00 | Inf
1489.34/1489.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1489.34/1489.96 c 1490s| 5380k| 20221 | 14202k| 2.6 | 21M| 40 | - | 120 | 206 | 120 | 16 | 20 | 280k| 46k| 0.000000e+00 | 3.000000e+00 | Inf
1492.04/1492.60 c 1493s| 5390k| 19968 | 14228k| 2.6 | 21M| 40 | 5 | 120 | 231 | 120 | 16 | 20 | 280k| 46k| 0.000000e+00 | 3.000000e+00 | Inf
1494.64/1495.26 c 1495s| 5400k| 19831 | 14252k| 2.6 | 21M| 40 | - | 120 | 226 | 120 | 16 | 20 | 281k| 46k| 0.000000e+00 | 3.000000e+00 | Inf
1497.33/1497.92 c 1498s| 5410k| 20105 | 14277k| 2.6 | 22M| 40 | - | 120 | 223 | 120 | 16 | 20 | 281k| 46k| 0.000000e+00 | 3.000000e+00 | Inf
1500.03/1500.60 c 1501s| 5420k| 19794 | 14302k| 2.6 | 22M| 40 | - | 120 | 208 | 120 | 16 | 20 | 282k| 46k| 0.000000e+00 | 3.000000e+00 | Inf
1502.63/1503.22 c 1503s| 5430k| 19496 | 14326k| 2.6 | 22M| 40 | - | 120 | 227 | 120 | 16 | 20 | 282k| 46k| 0.000000e+00 | 3.000000e+00 | Inf
1505.24/1505.83 c 1506s| 5440k| 19120 | 14351k| 2.6 | 21M| 40 | - | 120 | 206 | 120 | 16 | 20 | 283k| 46k| 0.000000e+00 | 3.000000e+00 | Inf
1507.83/1508.44 c 1508s| 5450k| 19328 | 14375k| 2.6 | 22M| 40 | 5 | 120 | 221 | 120 | 16 | 20 | 283k| 46k| 0.000000e+00 | 3.000000e+00 | Inf
1510.43/1511.03 c 1511s| 5460k| 19702 | 14400k| 2.6 | 22M| 40 | 5 | 120 | 221 | 120 | 16 | 20 | 284k| 46k| 0.000000e+00 | 3.000000e+00 | Inf
1512.93/1513.60 c 1514s| 5470k| 19723 | 14425k| 2.6 | 22M| 40 | 5 | 120 | 217 | 120 | 16 | 20 | 284k| 46k| 0.000000e+00 | 3.000000e+00 | Inf
1515.52/1516.18 c 1516s| 5480k| 19312 | 14449k| 2.6 | 22M| 40 | 5 | 120 | 213 | 120 | 16 | 20 | 285k| 47k| 0.000000e+00 | 3.000000e+00 | Inf
1518.13/1518.77 c 1519s| 5490k| 18969 | 14472k| 2.6 | 22M| 40 | 5 | 120 | 203 | 120 | 16 | 20 | 285k| 47k| 0.000000e+00 | 3.000000e+00 | Inf
1520.73/1521.38 c 1521s| 5500k| 18596 | 14496k| 2.6 | 21M| 40 | - | 120 | 218 | 120 | 16 | 20 | 286k| 47k| 0.000000e+00 | 3.000000e+00 | Inf
1523.42/1524.02 c 1524s| 5510k| 18585 | 14523k| 2.6 | 21M| 40 | 5 | 120 | 212 | 120 | 16 | 20 | 286k| 47k| 0.000000e+00 | 3.000000e+00 | Inf
1526.03/1526.62 c 1527s| 5520k| 18713 | 14548k| 2.6 | 22M| 40 | - | 120 | 215 | 120 | 16 | 20 | 286k| 47k| 0.000000e+00 | 3.000000e+00 | Inf
1528.62/1529.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1528.62/1529.22 c 1529s| 5530k| 18320 | 14572k| 2.6 | 21M| 40 | 5 | 120 | 214 | 120 | 16 | 20 | 287k| 47k| 0.000000e+00 | 3.000000e+00 | Inf
1531.22/1531.87 c 1532s| 5540k| 18483 | 14598k| 2.6 | 22M| 40 | 5 | 120 | 216 | 120 | 16 | 20 | 287k| 47k| 0.000000e+00 | 3.000000e+00 | Inf
1533.93/1534.51 c 1534s| 5550k| 18599 | 14624k| 2.6 | 22M| 40 | - | 120 | 229 | 120 | 16 | 20 | 288k| 47k| 0.000000e+00 | 3.000000e+00 | Inf
1536.51/1537.14 c 1537s| 5560k| 18792 | 14650k| 2.6 | 22M| 40 | - | 120 | 243 | 120 | 16 | 20 | 288k| 47k| 0.000000e+00 | 3.000000e+00 | Inf
1539.12/1539.77 c 1540s| 5570k| 18743 | 14674k| 2.6 | 22M| 40 | 5 | 120 | 238 | 120 | 16 | 20 | 289k| 47k| 0.000000e+00 | 3.000000e+00 | Inf
1541.71/1542.38 c 1542s| 5580k| 18613 | 14699k| 2.6 | 22M| 40 | 5 | 120 | 209 | 120 | 16 | 20 | 289k| 47k| 0.000000e+00 | 3.000000e+00 | Inf
1544.42/1545.02 c 1545s| 5590k| 19272 | 14725k| 2.6 | 22M| 40 | - | 120 | 217 | 120 | 16 | 20 | 289k| 47k| 0.000000e+00 | 3.000000e+00 | Inf
1547.02/1547.61 c 1548s| 5600k| 19277 | 14750k| 2.6 | 23M| 40 | - | 120 | 229 | 120 | 16 | 20 | 290k| 47k| 0.000000e+00 | 3.000000e+00 | Inf
1549.51/1550.19 c 1550s| 5610k| 19214 | 14775k| 2.6 | 23M| 40 | - | 120 | 215 | 120 | 16 | 20 | 290k| 47k| 0.000000e+00 | 3.000000e+00 | Inf
1552.11/1552.79 c 1553s| 5620k| 18846 | 14800k| 2.6 | 22M| 40 | 5 | 120 | 214 | 120 | 16 | 20 | 291k| 47k| 0.000000e+00 | 3.000000e+00 | Inf
1554.72/1555.40 c 1555s| 5630k| 18621 | 14824k| 2.6 | 22M| 40 | - | 120 | 219 | 120 | 16 | 20 | 291k| 47k| 0.000000e+00 | 3.000000e+00 | Inf
1557.40/1558.04 c 1558s| 5640k| 18430 | 14850k| 2.6 | 22M| 40 | - | 120 | 214 | 120 | 16 | 20 | 292k| 48k| 0.000000e+00 | 3.000000e+00 | Inf
1560.00/1560.69 c 1561s| 5650k| 18879 | 14877k| 2.6 | 23M| 40 | 5 | 120 | 214 | 120 | 16 | 20 | 292k| 48k| 0.000000e+00 | 3.000000e+00 | Inf
1562.71/1563.30 c 1563s| 5660k| 19079 | 14901k| 2.6 | 23M| 40 | 5 | 120 | 241 | 120 | 16 | 20 | 293k| 48k| 0.000000e+00 | 3.000000e+00 | Inf
1565.31/1565.90 c 1566s| 5670k| 18757 | 14925k| 2.6 | 23M| 40 | 5 | 120 | 228 | 120 | 16 | 20 | 293k| 48k| 0.000000e+00 | 3.000000e+00 | Inf
1567.91/1568.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1567.91/1568.54 c 1569s| 5680k| 18448 | 14950k| 2.6 | 22M| 40 | - | 120 | 220 | 120 | 16 | 20 | 294k| 48k| 0.000000e+00 | 3.000000e+00 | Inf
1570.50/1571.16 c 1571s| 5690k| 18353 | 14974k| 2.6 | 23M| 40 | 5 | 120 | 229 | 120 | 16 | 20 | 294k| 48k| 0.000000e+00 | 3.000000e+00 | Inf
1573.11/1573.76 c 1574s| 5700k| 18267 | 14998k| 2.6 | 23M| 40 | - | 120 | 231 | 120 | 16 | 20 | 295k| 48k| 0.000000e+00 | 3.000000e+00 | Inf
1575.71/1576.39 c 1576s| 5710k| 18667 | 15025k| 2.6 | 23M| 40 | - | 120 | 245 | 120 | 16 | 20 | 295k| 48k| 0.000000e+00 | 3.000000e+00 | Inf
1578.30/1578.98 c 1579s| 5720k| 18612 | 15049k| 2.6 | 23M| 40 | - | 120 | 231 | 120 | 16 | 20 | 296k| 48k| 0.000000e+00 | 3.000000e+00 | Inf
1581.00/1581.62 c 1582s| 5730k| 18518 | 15075k| 2.6 | 23M| 40 | 5 | 120 | 220 | 120 | 16 | 20 | 296k| 48k| 0.000000e+00 | 3.000000e+00 | Inf
1583.60/1584.25 c 1584s| 5740k| 18301 | 15102k| 2.6 | 23M| 40 | - | 120 | 208 | 120 | 16 | 20 | 296k| 48k| 0.000000e+00 | 3.000000e+00 | Inf
1586.20/1586.89 c 1587s| 5750k| 18078 | 15127k| 2.6 | 23M| 40 | - | 120 | 218 | 120 | 16 | 20 | 297k| 48k| 0.000000e+00 | 3.000000e+00 | Inf
1588.80/1589.49 c 1589s| 5760k| 18024 | 15151k| 2.6 | 23M| 40 | 5 | 120 | 250 | 120 | 16 | 20 | 297k| 48k| 0.000000e+00 | 3.000000e+00 | Inf
1591.50/1592.14 c 1592s| 5770k| 18853 | 15178k| 2.6 | 23M| 40 | 5 | 120 | 260 | 120 | 16 | 20 | 298k| 49k| 0.000000e+00 | 3.000000e+00 | Inf
1594.09/1594.77 c 1595s| 5780k| 19009 | 15203k| 2.6 | 24M| 40 | - | 120 | 247 | 120 | 16 | 20 | 298k| 49k| 0.000000e+00 | 3.000000e+00 | Inf
1596.70/1597.39 c 1597s| 5790k| 18996 | 15228k| 2.6 | 24M| 40 | - | 120 | 267 | 120 | 16 | 20 | 299k| 49k| 0.000000e+00 | 3.000000e+00 | Inf
1599.39/1600.00 c 1600s| 5800k| 18783 | 15252k| 2.6 | 24M| 40 | - | 120 | 241 | 120 | 16 | 20 | 299k| 49k| 0.000000e+00 | 3.000000e+00 | Inf
1602.00/1602.65 c 1603s| 5810k| 18210 | 15276k| 2.6 | 23M| 40 | 5 | 120 | 221 | 120 | 16 | 20 | 300k| 49k| 0.000000e+00 | 3.000000e+00 | Inf
1604.70/1605.35 c 1605s| 5820k| 18176 | 15302k| 2.6 | 23M| 40 | - | 120 | 224 | 120 | 16 | 20 | 300k| 49k| 0.000000e+00 | 3.000000e+00 | Inf
1607.39/1608.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1607.39/1608.02 c 1608s| 5830k| 18076 | 15327k| 2.6 | 23M| 40 | - | 120 | 236 | 120 | 16 | 20 | 301k| 49k| 0.000000e+00 | 3.000000e+00 | Inf
1609.99/1610.67 c 1611s| 5840k| 18211 | 15352k| 2.6 | 23M| 40 | - | 120 | 239 | 120 | 16 | 20 | 301k| 49k| 0.000000e+00 | 3.000000e+00 | Inf
1612.59/1613.29 c 1613s| 5850k| 18091 | 15376k| 2.6 | 23M| 40 | 5 | 120 | 233 | 120 | 16 | 20 | 302k| 49k| 0.000000e+00 | 3.000000e+00 | Inf
1615.30/1615.95 c 1616s| 5860k| 18251 | 15402k| 2.6 | 23M| 40 | 5 | 120 | 230 | 120 | 16 | 20 | 302k| 49k| 0.000000e+00 | 3.000000e+00 | Inf
1617.89/1618.57 c 1619s| 5870k| 18757 | 15427k| 2.6 | 24M| 40 | - | 120 | 233 | 120 | 16 | 20 | 303k| 49k| 0.000000e+00 | 3.000000e+00 | Inf
1620.48/1621.19 c 1621s| 5880k| 19158 | 15452k| 2.6 | 24M| 40 | - | 120 | 226 | 120 | 16 | 20 | 303k| 49k| 0.000000e+00 | 3.000000e+00 | Inf
1623.09/1623.77 c 1624s| 5890k| 18935 | 15476k| 2.6 | 24M| 40 | - | 120 | 222 | 120 | 16 | 20 | 304k| 49k| 0.000000e+00 | 3.000000e+00 | Inf
1625.68/1626.36 c 1626s| 5900k| 18272 | 15500k| 2.6 | 24M| 40 | 5 | 120 | 215 | 120 | 16 | 20 | 304k| 50k| 0.000000e+00 | 3.000000e+00 | Inf
1628.49/1629.11 c 1629s| 5910k| 18473 | 15527k| 2.6 | 24M| 40 | - | 120 | 228 | 120 | 16 | 20 | 305k| 50k| 0.000000e+00 | 3.000000e+00 | Inf
1631.18/1631.84 c 1632s| 5920k| 18401 | 15554k| 2.6 | 24M| 40 | 5 | 120 | 221 | 120 | 16 | 20 | 305k| 50k| 0.000000e+00 | 3.000000e+00 | Inf
1633.89/1634.51 c 1635s| 5930k| 19566 | 15581k| 2.6 | 25M| 40 | - | 120 | 245 | 120 | 16 | 20 | 306k| 50k| 0.000000e+00 | 3.000000e+00 | Inf
1636.48/1637.18 c 1637s| 5940k| 20412 | 15607k| 2.6 | 25M| 40 | - | 120 | 242 | 120 | 16 | 20 | 306k| 50k| 0.000000e+00 | 3.000000e+00 | Inf
1639.08/1639.79 c 1640s| 5950k| 20485 | 15632k| 2.6 | 26M| 40 | - | 120 | 237 | 120 | 16 | 20 | 307k| 50k| 0.000000e+00 | 3.000000e+00 | Inf
1641.68/1642.39 c 1642s| 5960k| 20821 | 15657k| 2.6 | 26M| 40 | - | 120 | 225 | 120 | 16 | 20 | 307k| 50k| 0.000000e+00 | 3.000000e+00 | Inf
1644.28/1644.99 c 1645s| 5970k| 20828 | 15682k| 2.6 | 26M| 40 | - | 120 | 225 | 120 | 16 | 20 | 308k| 50k| 0.000000e+00 | 3.000000e+00 | Inf
1646.87/1647.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1646.87/1647.57 c 1648s| 5980k| 20924 | 15706k| 2.6 | 26M| 40 | 5 | 120 | 222 | 120 | 16 | 20 | 308k| 50k| 0.000000e+00 | 3.000000e+00 | Inf
1649.47/1650.18 c 1650s| 5990k| 21083 | 15731k| 2.6 | 26M| 40 | 5 | 120 | 226 | 120 | 16 | 20 | 309k| 50k| 0.000000e+00 | 3.000000e+00 | Inf
1652.08/1652.79 c 1653s| 6000k| 21433 | 15755k| 2.6 | 27M| 40 | - | 120 | 226 | 120 | 16 | 20 | 309k| 50k| 0.000000e+00 | 3.000000e+00 | Inf
1654.68/1655.37 c 1655s| 6010k| 21906 | 15780k| 2.6 | 27M| 40 | 5 | 120 | 241 | 120 | 16 | 20 | 309k| 50k| 0.000000e+00 | 3.000000e+00 | Inf
1657.28/1657.97 c 1658s| 6020k| 21747 | 15804k| 2.6 | 27M| 40 | 5 | 120 | 232 | 120 | 16 | 20 | 310k| 50k| 0.000000e+00 | 3.000000e+00 | Inf
1659.87/1660.58 c 1661s| 6030k| 21664 | 15829k| 2.6 | 27M| 40 | - | 120 | 246 | 120 | 16 | 20 | 310k| 50k| 0.000000e+00 | 3.000000e+00 | Inf
1662.58/1663.22 c 1663s| 6040k| 21706 | 15855k| 2.6 | 27M| 40 | 5 | 120 | 246 | 120 | 16 | 20 | 311k| 50k| 0.000000e+00 | 3.000000e+00 | Inf
1665.17/1665.81 c 1666s| 6050k| 21499 | 15878k| 2.6 | 27M| 40 | 5 | 120 | 245 | 120 | 16 | 20 | 311k| 50k| 0.000000e+00 | 3.000000e+00 | Inf
1667.76/1668.42 c 1668s| 6060k| 21209 | 15903k| 2.6 | 27M| 40 | 5 | 120 | 255 | 120 | 16 | 20 | 312k| 50k| 0.000000e+00 | 3.000000e+00 | Inf
1670.37/1671.03 c 1671s| 6070k| 21114 | 15927k| 2.6 | 27M| 40 | 5 | 120 | 280 | 120 | 16 | 20 | 312k| 50k| 0.000000e+00 | 3.000000e+00 | Inf
1672.97/1673.65 c 1674s| 6080k| 20999 | 15950k| 2.6 | 27M| 40 | 5 | 120 | 274 | 120 | 16 | 20 | 313k| 51k| 0.000000e+00 | 3.000000e+00 | Inf
1675.57/1676.27 c 1676s| 6090k| 21152 | 15975k| 2.6 | 27M| 40 | 5 | 120 | 297 | 120 | 16 | 20 | 313k| 51k| 0.000000e+00 | 3.000000e+00 | Inf
1678.16/1678.89 c 1679s| 6100k| 21109 | 15998k| 2.6 | 27M| 40 | - | 120 | 279 | 120 | 16 | 20 | 314k| 51k| 0.000000e+00 | 3.000000e+00 | Inf
1680.86/1681.51 c 1681s| 6110k| 21295 | 16024k| 2.6 | 28M| 40 | - | 120 | 262 | 120 | 16 | 20 | 314k| 51k| 0.000000e+00 | 3.000000e+00 | Inf
1683.47/1684.17 c 1684s| 6120k| 21299 | 16049k| 2.6 | 28M| 40 | - | 120 | 275 | 120 | 16 | 20 | 314k| 51k| 0.000000e+00 | 3.000000e+00 | Inf
1686.16/1686.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1686.16/1686.80 c 1687s| 6130k| 20623 | 16073k| 2.6 | 27M| 40 | 5 | 120 | 247 | 120 | 16 | 20 | 315k| 51k| 0.000000e+00 | 3.000000e+00 | Inf
1688.77/1689.41 c 1689s| 6140k| 21242 | 16099k| 2.6 | 28M| 40 | - | 120 | 272 | 120 | 16 | 20 | 315k| 51k| 0.000000e+00 | 3.000000e+00 | Inf
1691.26/1691.98 c 1692s| 6150k| 21472 | 16123k| 2.6 | 28M| 40 | - | 120 | 264 | 120 | 16 | 20 | 316k| 51k| 0.000000e+00 | 3.000000e+00 | Inf
1693.96/1694.63 c 1695s| 6160k| 21992 | 16148k| 2.6 | 28M| 40 | - | 120 | 249 | 120 | 16 | 20 | 316k| 51k| 0.000000e+00 | 3.000000e+00 | Inf
1696.56/1697.26 c 1697s| 6170k| 21982 | 16172k| 2.6 | 29M| 40 | 5 | 120 | 236 | 120 | 16 | 20 | 317k| 51k| 0.000000e+00 | 3.000000e+00 | Inf
1699.16/1699.84 c 1700s| 6180k| 22248 | 16197k| 2.6 | 29M| 40 | - | 120 | 249 | 120 | 16 | 20 | 317k| 51k| 0.000000e+00 | 3.000000e+00 | Inf
1701.76/1702.48 c 1702s| 6190k| 22112 | 16221k| 2.6 | 29M| 40 | 5 | 120 | 235 | 120 | 16 | 20 | 317k| 51k| 0.000000e+00 | 3.000000e+00 | Inf
1704.46/1705.11 c 1705s| 6200k| 22103 | 16247k| 2.6 | 29M| 40 | - | 120 | 244 | 120 | 16 | 20 | 318k| 51k| 0.000000e+00 | 3.000000e+00 | Inf
1706.96/1707.68 c 1708s| 6210k| 22158 | 16271k| 2.6 | 29M| 40 | - | 120 | 258 | 120 | 16 | 20 | 318k| 51k| 0.000000e+00 | 3.000000e+00 | Inf
1709.65/1710.30 c 1710s| 6220k| 21770 | 16295k| 2.6 | 29M| 40 | - | 120 | 229 | 120 | 16 | 20 | 319k| 51k| 0.000000e+00 | 3.000000e+00 | Inf
1712.25/1712.90 c 1713s| 6230k| 21915 | 16319k| 2.6 | 29M| 40 | 5 | 120 | 236 | 120 | 16 | 20 | 319k| 51k| 0.000000e+00 | 3.000000e+00 | Inf
1714.75/1715.49 c 1715s| 6240k| 22061 | 16343k| 2.6 | 29M| 40 | 5 | 120 | 247 | 120 | 16 | 20 | 320k| 52k| 0.000000e+00 | 3.000000e+00 | Inf
1717.35/1718.07 c 1718s| 6250k| 21824 | 16366k| 2.6 | 29M| 40 | - | 120 | 234 | 120 | 16 | 20 | 320k| 52k| 0.000000e+00 | 3.000000e+00 | Inf
1719.95/1720.64 c 1721s| 6260k| 22077 | 16389k| 2.6 | 29M| 40 | 5 | 120 | 270 | 120 | 16 | 20 | 320k| 52k| 0.000000e+00 | 3.000000e+00 | Inf
1722.55/1723.24 c 1723s| 6270k| 21911 | 16413k| 2.6 | 29M| 40 | - | 120 | 251 | 120 | 16 | 20 | 321k| 52k| 0.000000e+00 | 3.000000e+00 | Inf
1725.16/1725.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1725.16/1725.84 c 1726s| 6280k| 22509 | 16440k| 2.6 | 30M| 40 | 5 | 120 | 257 | 120 | 16 | 20 | 321k| 52k| 0.000000e+00 | 3.000000e+00 | Inf
1727.75/1728.45 c 1728s| 6290k| 23282 | 16465k| 2.6 | 30M| 40 | 5 | 120 | 264 | 120 | 16 | 20 | 322k| 52k| 0.000000e+00 | 3.000000e+00 | Inf
1730.35/1731.08 c 1731s| 6300k| 23575 | 16490k| 2.6 | 31M| 40 | - | 120 | 261 | 120 | 16 | 20 | 322k| 52k| 0.000000e+00 | 3.000000e+00 | Inf
1732.95/1733.66 c 1734s| 6310k| 23878 | 16515k| 2.6 | 31M| 40 | 5 | 120 | 264 | 120 | 16 | 20 | 323k| 52k| 0.000000e+00 | 3.000000e+00 | Inf
1735.54/1736.25 c 1736s| 6320k| 23690 | 16540k| 2.6 | 31M| 40 | - | 120 | 254 | 120 | 16 | 20 | 323k| 52k| 0.000000e+00 | 3.000000e+00 | Inf
1738.15/1738.85 c 1739s| 6330k| 24033 | 16565k| 2.6 | 31M| 40 | 5 | 120 | 252 | 120 | 16 | 20 | 324k| 52k| 0.000000e+00 | 3.000000e+00 | Inf
1740.74/1741.44 c 1741s| 6340k| 23774 | 16589k| 2.6 | 31M| 40 | - | 120 | 236 | 120 | 16 | 20 | 324k| 52k| 0.000000e+00 | 3.000000e+00 | Inf
1743.34/1744.04 c 1744s| 6350k| 23803 | 16613k| 2.6 | 31M| 40 | 5 | 120 | 253 | 120 | 16 | 20 | 325k| 52k| 0.000000e+00 | 3.000000e+00 | Inf
1745.94/1746.64 c 1747s| 6360k| 23622 | 16638k| 2.6 | 31M| 40 | 5 | 120 | 241 | 120 | 16 | 20 | 325k| 52k| 0.000000e+00 | 3.000000e+00 | Inf
1748.53/1749.23 c 1749s| 6370k| 24079 | 16663k| 2.6 | 32M| 40 | 5 | 120 | 251 | 120 | 16 | 20 | 326k| 52k| 0.000000e+00 | 3.000000e+00 | Inf
1751.13/1751.81 c 1752s| 6380k| 24617 | 16688k| 2.6 | 32M| 40 | 5 | 120 | 239 | 120 | 16 | 20 | 326k| 52k| 0.000000e+00 | 3.000000e+00 | Inf
1753.63/1754.40 c 1754s| 6390k| 24508 | 16713k| 2.6 | 32M| 40 | - | 120 | 227 | 120 | 16 | 20 | 327k| 52k| 0.000000e+00 | 3.000000e+00 | Inf
1756.33/1757.03 c 1757s| 6400k| 24119 | 16737k| 2.6 | 32M| 40 | 5 | 120 | 224 | 120 | 16 | 20 | 327k| 52k| 0.000000e+00 | 3.000000e+00 | Inf
1758.93/1759.64 c 1760s| 6410k| 23716 | 16762k| 2.6 | 32M| 40 | - | 120 | 240 | 120 | 16 | 20 | 328k| 52k| 0.000000e+00 | 3.000000e+00 | Inf
1761.54/1762.28 c 1762s| 6420k| 23485 | 16786k| 2.6 | 32M| 40 | - | 120 | 233 | 120 | 16 | 20 | 328k| 52k| 0.000000e+00 | 3.000000e+00 | Inf
1764.13/1764.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1764.13/1764.86 c 1765s| 6430k| 23632 | 16811k| 2.6 | 32M| 40 | 5 | 120 | 243 | 120 | 16 | 20 | 329k| 52k| 0.000000e+00 | 3.000000e+00 | Inf
1766.73/1767.46 c 1767s| 6440k| 23242 | 16835k| 2.6 | 31M| 40 | 5 | 120 | 224 | 120 | 16 | 20 | 329k| 52k| 0.000000e+00 | 3.000000e+00 | Inf
1769.33/1770.05 c 1770s| 6450k| 23181 | 16860k| 2.6 | 31M| 40 | 5 | 120 | 259 | 120 | 16 | 20 | 330k| 52k| 0.000000e+00 | 3.000000e+00 | Inf
1771.93/1772.64 c 1773s| 6460k| 23400 | 16885k| 2.6 | 32M| 40 | - | 120 | 262 | 120 | 16 | 20 | 330k| 52k| 0.000000e+00 | 3.000000e+00 | Inf
1774.53/1775.23 c 1775s| 6470k| 23406 | 16910k| 2.6 | 32M| 40 | - | 120 | 262 | 120 | 16 | 20 | 330k| 53k| 0.000000e+00 | 3.000000e+00 | Inf
1777.12/1777.85 c 1778s| 6480k| 23497 | 16933k| 2.6 | 32M| 40 | 5 | 120 | 248 | 120 | 16 | 20 | 331k| 53k| 0.000000e+00 | 3.000000e+00 | Inf
1779.73/1780.47 c 1780s| 6490k| 23576 | 16958k| 2.6 | 32M| 40 | - | 120 | 255 | 120 | 16 | 20 | 331k| 53k| 0.000000e+00 | 3.000000e+00 | Inf
1782.33/1783.04 c 1783s| 6500k| 23591 | 16983k| 2.6 | 32M| 40 | - | 120 | 268 | 0 | 0 | 20 | 332k| 53k| 0.000000e+00 | 3.000000e+00 | Inf
1784.92/1785.65 c 1786s| 6510k| 23434 | 17006k| 2.6 | 32M| 40 | 5 | 120 | 266 | 120 | 16 | 20 | 332k| 53k| 0.000000e+00 | 3.000000e+00 | Inf
1787.52/1788.24 c 1788s| 6520k| 23514 | 17031k| 2.6 | 32M| 40 | - | 120 | 262 | 120 | 16 | 20 | 333k| 53k| 0.000000e+00 | 3.000000e+00 | Inf
1789.32/1790.01 c
1789.32/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.32/1790.01 c Solving Time (sec) : 1790.00
1789.32/1790.01 c Solving Nodes : 6526742
1789.32/1790.01 c Primal Bound : +3.00000000000000e+00 (48 solutions)
1789.32/1790.01 c Dual Bound : +0.00000000000000e+00
1789.32/1790.01 c Gap : infinite
1789.32/1790.01 s SATISFIABLE
1789.32/1790.01 v -x120 x119 x118 x117 -x116 x115 x114 x113 -x112 -x111 x110 x109 -x108 -x107 -x106 x105 -x104 -x103 x102 -x101 x100 x99 x98 -x97
1789.32/1790.01 v -x96 x95 -x94 x93 -x92 -x91 -x90 x89 x88 -x87 -x86 -x85 -x84 -x83 x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
1789.32/1790.01 v -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45
1789.32/1790.01 v -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20
1789.32/1790.01 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1789.32/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.32/1790.01 c Solving Time : 1790.00
1789.32/1790.01 c Original Problem :
1789.32/1790.01 c Problem name : HOME/instance-2703929-1278561873.opb
1789.32/1790.01 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.32/1790.01 c Constraints : 10 initial, 10 maximal
1789.32/1790.01 c Presolved Problem :
1789.32/1790.01 c Problem name : t_HOME/instance-2703929-1278561873.opb
1789.32/1790.01 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.32/1790.01 c Constraints : 5 initial, 427 maximal
1789.32/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.32/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.32/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.32/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.32/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.32/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.32/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1789.32/1790.01 c linear : 0.00 0 0 0 0 0 5 0 0
1789.32/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.32/1790.01 c root node : - 60 - - 60 - - - -
1789.32/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.32/1790.01 c integral : 0 0 0 3344994 0 3602 44250 0 0 6594450
1789.32/1790.01 c linear : 5+ 7 8185451 0 0 945653 6083360 0 0 0
1789.32/1790.01 c logicor : 0+ 0 3176493 0 0 10854 109220 0 0 0
1789.32/1790.01 c countsols : 0 0 0 26 0 0 0 0 0 0
1789.32/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.32/1790.01 c integral : 40.14 0.00 0.00 40.14 0.00
1789.32/1790.01 c linear : 369.01 0.00 369.01 0.00 0.00
1789.32/1790.01 c logicor : 15.97 0.00 15.97 0.00 0.00
1789.32/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.32/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.32/1790.01 c vbounds : 3.07 2 0 0
1789.32/1790.01 c rootredcost : 3.09 40 0 60
1789.32/1790.01 c pseudoobj : 46.62 8198390 13111 281412
1789.32/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.32/1790.01 c propagation : 44.43 969618 299142 365188 35.1 13 34.7 -
1789.32/1790.01 c infeasible LP : 1.77 31249 31244 40215 26.6 7 32.0 0
1789.32/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.32/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.32/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.32/1790.01 c applied globally : - - - 68679 25.8 - - -
1789.32/1790.01 c applied locally : - - - 264822 36.1 - - -
1789.32/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.32/1790.01 c cut pool : 0.00 5 - - 10 - (maximal pool size: 82)
1789.32/1790.01 c redcost : 51.38 3821897 0 8732637 0 0
1789.32/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.32/1790.01 c intobj : 0.00 0 0 0 0 0
1789.32/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.32/1790.01 c gomory : 0.00 6 0 0 0 0
1789.32/1790.01 c strongcg : 0.01 6 0 0 15 0
1789.32/1790.01 c cmir : 0.02 6 0 0 30 0
1789.32/1790.01 c flowcover : 0.03 6 0 0 47 0
1789.32/1790.01 c clique : 0.00 1 0 0 0 0
1789.32/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.32/1790.01 c mcf : 0.00 1 0 0 0 0
1789.32/1790.01 c rapidlearning : 0.08 1 0 0 0 104
1789.32/1790.01 c Pricers : Time Calls Vars
1789.32/1790.01 c problem variables: 0.00 0 0
1789.32/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.32/1790.01 c relpscost : 36.91 3344968 3602 44250 0 0 6594450
1789.32/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.32/1790.01 c inference : 0.00 0 0 0 0 0 0
1789.32/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.32/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.32/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.32/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.32/1790.01 c random : 0.00 0 0 0 0 0 0
1789.32/1790.01 c Primal Heuristics : Time Calls Found
1789.32/1790.01 c LP solutions : 0.02 - 26
1789.32/1790.01 c pseudo solutions : 0.00 - 0
1789.32/1790.01 c oneopt : 2.53 39 0
1789.32/1790.01 c crossover : 3.82 7 0
1789.32/1790.01 c rootsoldiving : 7.44 2661 3
1789.32/1790.01 c objpscostdiving : 5.38 3730 1
1789.32/1790.01 c pscostdiving : 7.83 7460 1
1789.32/1790.01 c coefdiving : 8.87 7460 2
1789.32/1790.01 c guideddiving : 6.81 7460 5
1789.32/1790.01 c linesearchdiving : 6.85 7460 2
1789.32/1790.01 c fracdiving : 7.43 7460 1
1789.32/1790.01 c veclendiving : 7.18 7460 2
1789.32/1790.01 c trivial : 0.00 2 0
1789.32/1790.01 c simplerounding : 1.56 0 0
1789.32/1790.01 c zirounding : 2.32 1000 0
1789.32/1790.01 c rounding : 3.22 27331 0
1789.32/1790.01 c shifting : 14.32 20955 4
1789.32/1790.01 c intshifting : 0.24 0 0
1789.32/1790.01 c twoopt : 0.00 0 0
1789.32/1790.01 c fixandinfer : 0.00 0 0
1789.32/1790.01 c feaspump : 0.19 1 0
1789.32/1790.01 c intdiving : 0.00 0 0
1789.32/1790.01 c actconsdiving : 0.00 0 0
1789.32/1790.01 c octane : 0.00 0 0
1789.32/1790.01 c rens : 0.05 1 0
1789.32/1790.01 c rins : 0.00 0 0
1789.32/1790.01 c localbranching : 0.00 0 0
1789.32/1790.01 c mutation : 0.00 0 0
1789.32/1790.01 c dins : 0.00 0 0
1789.32/1790.01 c undercover : 0.00 0 0
1789.32/1790.01 c nlp : 1.91 0 0
1789.32/1790.01 c trysol : 3.05 0 0
1789.32/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.32/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.32/1790.01 c dual LP : 694.28 6059727 16430740 2.71 23665.91
1789.32/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.32/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.32/1790.01 c diving/probing LP: 26.84 232003 618289 2.67 23035.98
1789.32/1790.01 c strong branching : 9.74 53309 137249 2.57 14084.55
1789.32/1790.01 c (at root node) : - 9 376 41.78 -
1789.32/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.32/1790.01 c B&B Tree :
1789.32/1790.01 c number of runs : 1
1789.32/1790.01 c nodes : 6526742
1789.32/1790.01 c nodes (total) : 6526742
1789.32/1790.01 c nodes left : 23562
1789.32/1790.01 c max depth : 40
1789.32/1790.01 c max depth (total): 40
1789.32/1790.01 c backtracks : 1747451 (26.8%)
1789.32/1790.01 c delayed cutoffs : 39515
1789.32/1790.01 c repropagations : 132990 (241283 domain reductions, 35701 cutoffs)
1789.32/1790.01 c avg switch length: 4.79
1789.32/1790.01 c switching time : 141.69
1789.32/1790.01 c Solution :
1789.32/1790.01 c Solutions found : 48 (40 improvements)
1789.32/1790.01 c First Solution : +9.22000000000000e+02 (in run 1, after 1 nodes, 0.10 seconds, depth 0, found by <trysol>)
1789.32/1790.01 c Primal Bound : +3.00000000000000e+00 (in run 1, after 131384 nodes, 50.88 seconds, depth 32, found by <relaxation>)
1789.32/1790.01 c Dual Bound : +0.00000000000000e+00
1789.32/1790.01 c Gap : infinite
1789.32/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.32/1790.01 c Root Iterations : 112
1789.52/1790.20 c Time complete: 1789.52.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703929-1278561873/watcher-2703929-1278561873 -o /tmp/evaluation-result-2703929-1278561873/solver-2703929-1278561873 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703929-1278561873.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.05 1.01 1.00 3/106 28611
/proc/meminfo: memFree=1691788/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=7904 CPUtime=0
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 1058 0 0 0 0 0 0 0 15 0 1 0 24399118 8093696 970 1992294400 4194304 8395647 140733955183472 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28611/statm: 1976 979 365 1026 0 946 0
[startup+0.020433 s]
/proc/loadavg: 1.05 1.01 1.00 3/106 28611
/proc/meminfo: memFree=1691788/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=13648 CPUtime=0.01
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 2800 0 0 0 1 0 0 0 15 0 1 0 24399118 13975552 2359 1992294400 4194304 8395647 140733955183472 18446744073709551615 4690890 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 3412 2361 477 1026 0 2382 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13648
[startup+0.100445 s]
/proc/loadavg: 1.05 1.01 1.00 3/106 28611
/proc/meminfo: memFree=1691788/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=22456 CPUtime=0.09
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 4841 0 0 0 8 1 0 0 18 0 1 0 24399118 22994944 4400 1992294400 4194304 8395647 140733955183472 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 5614 4400 597 1026 0 4584 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22456
[startup+0.300478 s]
/proc/loadavg: 1.05 1.01 1.00 3/106 28611
/proc/meminfo: memFree=1691788/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=23864 CPUtime=0.29
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 5532 0 0 0 26 3 0 0 18 0 1 0 24399118 24436736 5091 1992294400 4194304 8395647 140733955183472 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 5966 5091 622 1026 0 4936 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23864
[startup+0.700547 s]
/proc/loadavg: 1.05 1.01 1.00 3/106 28611
/proc/meminfo: memFree=1691788/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=23864 CPUtime=0.69
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 5535 0 0 0 64 5 0 0 18 0 1 0 24399118 24436736 5094 1992294400 4194304 8395647 140733955183472 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 5966 5094 622 1026 0 4936 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23864
[startup+1.50068 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 28612
/proc/meminfo: memFree=1673800/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=23864 CPUtime=1.49
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 5540 0 0 0 140 9 0 0 19 0 1 0 24399118 24436736 5099 1992294400 4194304 8395647 140733955183472 18446744073709551615 5615216 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 5966 5099 623 1026 0 4936 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23864
[startup+3.10095 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 28612
/proc/meminfo: memFree=1673056/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=24376 CPUtime=3.09
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 5673 0 0 0 292 17 0 0 23 0 1 0 24399118 24961024 5232 1992294400 4194304 8395647 140733955183472 18446744073709551615 4785768 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 6094 5232 623 1026 0 5064 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24376
[startup+6.3015 s]
/proc/loadavg: 1.13 1.03 1.01 2/107 28612
/proc/meminfo: memFree=1673304/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=22840 CPUtime=6.29
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 5995 0 0 0 597 32 0 0 25 0 1 0 24399118 23388160 4892 1992294400 4194304 8395647 140733955183472 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 5710 4892 623 1026 0 4680 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22840
[startup+12.7016 s]
/proc/loadavg: 1.12 1.03 1.01 2/107 28613
/proc/meminfo: memFree=1671072/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=25164 CPUtime=12.69
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 8311 0 0 0 1207 62 0 0 25 0 1 0 24399118 25767936 5468 1992294400 4194304 8395647 140733955183472 18446744073709551615 4501684 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 6291 5468 623 1026 0 5261 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25164
[startup+25.5008 s]
/proc/loadavg: 1.09 1.03 1.01 2/107 28614
/proc/meminfo: memFree=1672808/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=23736 CPUtime=25.48
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 15226 0 0 0 2428 120 0 0 25 0 1 0 24399118 24305664 5112 1992294400 4194304 8395647 140733955183472 18446744073709551615 18446744073699065856 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 5934 5112 623 1026 0 4904 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23736
[startup+51.1011 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 28614
/proc/meminfo: memFree=1668840/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=27188 CPUtime=51.08
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 25441 0 0 0 4867 241 0 0 25 0 1 0 24399118 27840512 6026 1992294400 4194304 8395647 140733955183472 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 6797 6026 623 1026 0 5767 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27188
[startup+102.308 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 28616
/proc/meminfo: memFree=1668716/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=27188 CPUtime=102.27
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 31399 0 0 0 9735 492 0 0 25 0 1 0 24399118 27840512 6026 1992294400 4194304 8395647 140733955183472 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 6797 6026 623 1026 0 5767 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 27188
[startup+162.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 28616
/proc/meminfo: memFree=1668716/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=27188 CPUtime=162.23
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 33203 0 0 0 15444 779 0 0 25 0 1 0 24399118 27840512 6027 1992294400 4194304 8395647 140733955183472 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 6797 6027 624 1026 0 5767 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 27188
[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 28618
/proc/meminfo: memFree=1668716/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=27188 CPUtime=222.21
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 34965 0 0 0 21156 1065 0 0 25 0 1 0 24399118 27840512 6027 1992294400 4194304 8395647 140733955183472 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 6797 6027 624 1026 0 5767 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 27188
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28620
/proc/meminfo: memFree=1668716/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=27188 CPUtime=282.18
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 34965 0 0 0 26876 1342 0 0 25 0 1 0 24399118 27840512 6027 1992294400 4194304 8395647 140733955183472 18446744073709551615 4243375 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 6797 6027 624 1026 0 5767 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 27188
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28622
/proc/meminfo: memFree=1668592/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=27268 CPUtime=342.17
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 35837 0 0 0 32596 1621 0 0 25 0 1 0 24399118 27922432 6047 1992294400 4194304 8395647 140733955183472 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 6817 6047 624 1026 0 5787 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 27268
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28624
/proc/meminfo: memFree=1668468/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=27404 CPUtime=402.15
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 35856 0 0 0 38302 1913 0 0 25 0 1 0 24399118 28061696 6066 1992294400 4194304 8395647 140733955183472 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 6851 6066 624 1026 0 5821 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 27404
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28625
/proc/meminfo: memFree=1668468/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=27404 CPUtime=462.12
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 35856 0 0 0 44011 2201 0 0 25 0 1 0 24399118 28061696 6066 1992294400 4194304 8395647 140733955183472 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 6851 6066 624 1026 0 5821 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 27404
[startup+522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28626
/proc/meminfo: memFree=1667848/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=27472 CPUtime=522.1
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 36740 0 0 0 49716 2494 0 0 25 0 1 0 24399118 28131328 6098 1992294400 4194304 8395647 140733955183472 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 6868 6098 624 1026 0 5838 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 27472
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28628
/proc/meminfo: memFree=1667848/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=27472 CPUtime=582.07
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 36740 0 0 0 55428 2779 0 0 25 0 1 0 24399118 28131328 6098 1992294400 4194304 8395647 140733955183472 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 6868 6098 624 1026 0 5838 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 27472
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28630
/proc/meminfo: memFree=1667724/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=27652 CPUtime=642.06
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 36785 0 0 0 61150 3056 0 0 25 0 1 0 24399118 28315648 6143 1992294400 4194304 8395647 140733955183472 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 6913 6143 624 1026 0 5883 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 27652
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1653836/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=40840 CPUtime=1061.9
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 40904 0 0 0 101191 4999 0 0 25 0 1 0 24399118 41820160 9414 1992294400 4194304 8395647 140733955183472 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 10210 9414 624 1026 0 9180 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 40840
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28645
/proc/meminfo: memFree=1653464/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=41088 CPUtime=1121.87
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 40991 0 0 0 106913 5274 0 0 25 0 1 0 24399118 42074112 9501 1992294400 4194304 8395647 140733955183472 18446744073709551615 18446744073699066094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 10272 9501 624 1026 0 9242 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 41088
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28647
/proc/meminfo: memFree=1653340/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=41088 CPUtime=1181.85
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 40992 0 0 0 112628 5557 0 0 25 0 1 0 24399118 42074112 9502 1992294400 4194304 8395647 140733955183472 18446744073709551615 5031870 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 10272 9502 624 1026 0 9242 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 41088
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28649
/proc/meminfo: memFree=1653340/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=41088 CPUtime=1241.82
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 40996 0 0 0 118348 5834 0 0 25 0 1 0 24399118 42074112 9506 1992294400 4194304 8395647 140733955183472 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 10272 9506 624 1026 0 9242 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 41088
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28651
/proc/meminfo: memFree=1653216/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=41088 CPUtime=1301.81
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 40997 0 0 0 124064 6117 0 0 25 0 1 0 24399118 42074112 9507 1992294400 4194304 8395647 140733955183472 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 10272 9507 624 1026 0 9242 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 41088
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28651
/proc/meminfo: memFree=1653216/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=41088 CPUtime=1361.78
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 40997 0 0 0 129778 6400 0 0 25 0 1 0 24399118 42074112 9507 1992294400 4194304 8395647 140733955183472 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 10272 9507 624 1026 0 9242 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 41088
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28653
/proc/meminfo: memFree=1653216/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=41220 CPUtime=1421.77
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 41002 0 0 0 135486 6691 0 0 25 0 1 0 24399118 42209280 9512 1992294400 4194304 8395647 140733955183472 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 10305 9512 624 1026 0 9275 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 41220
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28655
/proc/meminfo: memFree=1652968/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=41416 CPUtime=1481.73
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 41052 0 0 0 141199 6974 0 0 25 0 1 0 24399118 42409984 9562 1992294400 4194304 8395647 140733955183472 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 10354 9562 624 1026 0 9324 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 41416
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28657
/proc/meminfo: memFree=1652844/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=41416 CPUtime=1541.71
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 41054 0 0 0 146908 7263 0 0 25 0 1 0 24399118 42409984 9564 1992294400 4194304 8395647 140733955183472 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 10354 9564 624 1026 0 9324 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 41416
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28659
/proc/meminfo: memFree=1651976/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=42092 CPUtime=1601.7
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 41242 0 0 0 152620 7550 0 0 25 0 1 0 24399118 43102208 9752 1992294400 4194304 8395647 140733955183472 18446744073709551615 6013015 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 10523 9752 624 1026 0 9493 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 42092
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28659
/proc/meminfo: memFree=1648628/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=45428 CPUtime=1661.68
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 42062 0 0 0 158333 7835 0 0 25 0 1 0 24399118 46518272 10572 1992294400 4194304 8395647 140733955183472 18446744073709551615 4628545 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 11357 10572 624 1026 0 10327 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 45428
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28661
/proc/meminfo: memFree=1645776/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=48232 CPUtime=1721.65
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 42762 0 0 0 164049 8116 0 0 25 0 1 0 24399118 49389568 11272 1992294400 4194304 8395647 140733955183472 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 12058 11272 624 1026 0 11028 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 48232
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28663
/proc/meminfo: memFree=1642180/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=51448 CPUtime=1781.62
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 43575 0 0 0 169775 8387 0 0 25 0 1 0 24399118 52682752 12085 1992294400 4194304 8395647 140733955183472 18446744073709551615 6311042 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 12862 12085 624 1026 0 11832 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 51448
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28663
/proc/meminfo: memFree=1642180/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=51448 CPUtime=1784.82
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 43575 0 0 0 170081 8401 0 0 25 0 1 0 24399118 52682752 12085 1992294400 4194304 8395647 140733955183472 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 12862 12085 624 1026 0 11832 0
Current children cumulated CPU time (s) 1784.82
Current children cumulated vsize (KiB) 51448
[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28663
/proc/meminfo: memFree=1642180/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=51448 CPUtime=1788.02
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 43575 0 0 0 170385 8417 0 0 25 0 1 0 24399118 52682752 12085 1992294400 4194304 8395647 140733955183472 18446744073709551615 4702125 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 12862 12085 624 1026 0 11832 0
Current children cumulated CPU time (s) 1788.02
Current children cumulated vsize (KiB) 51448
[startup+1789.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28663
/proc/meminfo: memFree=1642180/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=51448 CPUtime=1788.82
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 43575 0 0 0 170462 8420 0 0 25 0 1 0 24399118 52682752 12085 1992294400 4194304 8395647 140733955183472 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 12862 12085 624 1026 0 11832 0
Current children cumulated CPU time (s) 1788.82
Current children cumulated vsize (KiB) 51448
[startup+1789.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28663
/proc/meminfo: memFree=1642180/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=51448 CPUtime=1789.22
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 43575 0 0 0 170500 8422 0 0 25 0 1 0 24399118 52682752 12085 1992294400 4194304 8395647 140733955183472 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28611/statm: 12862 12085 624 1026 0 11832 0
Current children cumulated CPU time (s) 1789.22
Current children cumulated vsize (KiB) 51448
[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28663
/proc/meminfo: memFree=1642180/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=51448 CPUtime=1789.42
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 43577 0 0 0 170519 8423 0 0 25 0 1 0 24399118 52682752 12087 1992294400 4194304 8395647 140733955183472 18446744073709551615 6345233 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28611/statm: 12862 12087 626 1026 0 11832 0
Current children cumulated CPU time (s) 1789.42
Current children cumulated vsize (KiB) 51448
[startup+1790.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28663
/proc/meminfo: memFree=1642180/2059040 swapFree=4151252/4192956
[pid=28611] ppid=28609 vsize=24508 CPUtime=1789.52
/proc/28611/stat : 28611 (pbscip.linux.x8) R 28609 28611 28554 0 -1 4202496 43577 0 0 0 170529 8423 0 0 25 0 1 0 24399118 25096192 3307 1992294400 4194304 8395647 140733955183472 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28611/statm: 6127 3307 626 1026 0 5097 0
Current children cumulated CPU time (s) 1789.52
Current children cumulated vsize (KiB) 24508
Child status: 0
Real time (s): 1790.2
CPU time (s): 1789.53
CPU user time (s): 1705.29
CPU system time (s): 84.2382
CPU usage (%): 99.9626
Max. virtual memory (cumulated for all children) (KiB): 51448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1705.29
system time used= 84.2382
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43580
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 3251
runsolver used 3.2995 second user time and 8.15076 second system time
The end