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-2703856-1278557477.opb>
0.00/0.01 c original problem has 280 variables (280 bin, 0 int, 0 impl, 0 cont) and 11 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 54 del vars, 0 del conss, 54 chg bounds, 5 chg sides, 5 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 54 del vars, 0 del conss, 54 chg bounds, 5 chg sides, 5 chg coeffs, 5 upgd conss, 0 impls, 0 clqs
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 54 deleted vars, 0 deleted constraints, 54 tightened bounds, 0 added holes, 5 changed sides, 5 changed coefficients
0.00/0.05 c 128 implications, 0 cliques
0.00/0.05 c presolved problem has 226 variables (226 bin, 0 int, 0 impl, 0 cont) and 11 constraints
0.00/0.05 c 5 constraints of type <knapsack>
0.00/0.05 c 6 constraints of type <linear>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.04
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 1.2.1.3
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1790
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 1620
0.00/0.05 c
0.00/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.05 c # [type: int, range: [1,2], default: 1]
0.00/0.05 c timing/clocktype = 2
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/indicator/addCouplingCons = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.05 c 0.0s| 1 | 0 | 33 | - | 880k| 0 | 6 | 226 | 11 | 226 | 11 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 88 | - | 918k| 0 | 11 | 226 | 11 | 226 | 17 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.17 c 0.2s| 1 | 0 | 98 | - | 923k| 0 | 18 | 226 | 11 | 226 | 20 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.2s| 1 | 0 | 102 | - | 924k| 0 | 17 | 226 | 11 | 226 | 23 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.23 c 0.2s| 1 | 0 | 109 | - | 934k| 0 | 20 | 226 | 11 | 226 | 27 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.28 c 0.3s| 1 | 0 | 117 | - | 936k| 0 | 25 | 226 | 11 | 226 | 29 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.32 c 0.3s| 1 | 0 | 123 | - | 938k| 0 | 23 | 226 | 11 | 226 | 32 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.50/0.52 c 0.5s| 1 | 2 | 123 | - | 939k| 0 | 23 | 226 | 11 | 226 | 32 | 21 | 0 | 23 | 0.000000e+00 | -- | Inf
0.79/0.87 o 465920
0.79/0.87 c * 0.9s| 43 | 42 | 730 | 14.5 | 991k| 29 | - | 226 | 11 | 226 | 27 | 21 | 2 | 229 | 0.000000e+00 | 4.659200e+05 | Inf
0.79/0.89 o 462404
0.79/0.89 c p 0.9s| 47 | 46 | 773 | 14.1 | 997k| 32 | - | 226 | 11 | 226 | 27 | 21 | 2 | 261 | 0.000000e+00 | 4.624040e+05 | Inf
0.89/0.95 o 395264
0.89/0.95 c f 0.9s| 76 | 66 | 986 | 11.5 |1012k| 33 | - | 226 | 11 | 226 | 27 | 21 | 2 | 355 | 0.000000e+00 | 3.952640e+05 | Inf
0.89/0.98 o 191104
0.89/0.98 c v 1.0s| 94 | 78 | 1151 | 11.1 |1025k| 33 | - | 226 | 11 | 226 | 27 | 21 | 2 | 389 | 0.000000e+00 | 1.911040e+05 | Inf
1.19/1.25 o 169070
1.19/1.25 c v 1.2s| 271 | 238 | 3561 | 12.7 |1120k| 37 | - | 226 | 17 | 226 | 27 | 21 | 13 | 586 | 0.000000e+00 | 1.690700e+05 | Inf
1.39/1.48 o 101372
1.39/1.48 c v 1.5s| 432 | 348 | 5587 | 12.7 |1187k| 37 | - | 226 | 25 | 226 | 27 | 21 | 22 | 757 | 0.000000e+00 | 1.013720e+05 | Inf
1.59/1.63 o 101144
1.59/1.63 c f 1.6s| 576 | 463 | 6350 | 10.8 |1250k| 41 | - | 226 | 25 | 226 | 27 | 21 | 27 | 852 | 0.000000e+00 | 1.011440e+05 | Inf
1.59/1.67 o 74796
1.59/1.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.59/1.67 c l 1.7s| 606 | 472 | 6588 | 10.7 |1255k| 41 | - | 226 | 25 | 226 | 27 | 21 | 27 | 895 | 0.000000e+00 | 7.479600e+04 | Inf
1.99/2.06 o 70824
1.99/2.06 c v 2.1s| 986 | 747 | 10448 | 10.5 |1428k| 41 | - | 226 | 43 | 226 | 27 | 21 | 51 |1066 | 0.000000e+00 | 7.082400e+04 | Inf
2.10/2.11 o 50208
2.10/2.11 c l 2.1s| 1043 | 732 | 10813 | 10.3 |1425k| 41 | - | 226 | 43 | 226 | 27 | 21 | 53 |1085 | 0.000000e+00 | 5.020800e+04 | Inf
4.69/4.75 o 27980
4.69/4.75 c v 4.7s| 4120 | 2809 | 34509 | 8.3 |2502k| 45 | - | 226 | 61 | 226 | 27 | 21 | 193 |1154 | 0.000000e+00 | 2.798000e+04 | Inf
6.89/6.94 o 27748
6.89/6.94 c v 6.9s| 6393 | 4267 | 54204 | 8.5 |3271k| 52 | - | 226 | 68 | 226 | 27 | 21 | 288 |1174 | 0.000000e+00 | 2.774800e+04 | Inf
7.60/7.62 o 15610
7.60/7.62 c v 7.6s| 7222 | 4254 | 60399 | 8.3 |3203k| 55 | - | 226 | 71 | 226 | 27 | 21 | 319 |1192 | 0.000000e+00 | 1.561000e+04 | Inf
7.60/7.68 o 3540
7.60/7.68 c * 7.7s| 7275 | 3714 | 60752 | 8.3 |2825k| 65 | - | 226 | 69 | 226 | 27 | 21 | 321 |1234 | 0.000000e+00 | 3.540000e+03 | Inf
7.70/7.73 o 2774
7.70/7.73 c p 7.7s| 7314 | 3687 | 60936 | 8.3 |2810k| 65 | - | 226 | 69 | 226 | 27 | 21 | 324 |1292 | 0.000000e+00 | 2.774000e+03 | Inf
7.70/7.74 o 2463
7.70/7.74 c l 7.7s| 7321 | 3676 | 60969 | 8.3 |2798k| 65 | - | 226 | 69 | 226 | 27 | 21 | 324 |1296 | 0.000000e+00 | 2.463000e+03 | Inf
7.70/7.75 o 1725
7.70/7.75 c f 7.7s| 7329 | 3629 | 61001 | 8.3 |2773k| 67 | - | 226 | 69 | 226 | 27 | 21 | 324 |1299 | 0.000000e+00 | 1.725000e+03 | Inf
7.70/7.76 o 1568
7.70/7.76 c * 7.7s| 7335 | 3625 | 61019 | 8.3 |2770k| 67 | - | 226 | 69 | 226 | 27 | 21 | 324 |1316 | 0.000000e+00 | 1.568000e+03 | Inf
7.79/7.80 o 1518
7.79/7.80 c * 7.8s| 7367 | 3634 | 61192 | 8.3 |2780k| 67 | - | 226 | 70 | 226 | 27 | 21 | 331 |1349 | 0.000000e+00 | 1.518000e+03 | Inf
7.79/7.82 o 1486
7.79/7.82 c * 7.8s| 7379 | 3637 | 61239 | 8.3 |2784k| 69 | - | 226 | 70 | 226 | 27 | 21 | 332 |1388 | 0.000000e+00 | 1.486000e+03 | Inf
7.79/7.82 o 1441
7.79/7.82 c * 7.8s| 7380 | 3631 | 61239 | 8.3 |2785k| 69 | - | 226 | 70 | 226 | 27 | 21 | 332 |1388 | 0.000000e+00 | 1.441000e+03 | Inf
9.69/9.73 c 9.7s| 10000 | 4463 | 79204 | 7.9 |3190k| 69 | 6 | 226 | 98 | 226 | 27 | 21 | 465 |1459 | 0.000000e+00 | 1.441000e+03 | Inf
9.80/9.86 o 1240
9.80/9.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.80/9.86 c * 9.8s| 10188 | 4499 | 80175 | 7.9 |3214k| 69 | - | 226 | 98 | 226 | 27 | 21 | 469 |1476 | 0.000000e+00 | 1.240000e+03 | Inf
9.80/9.86 o 1216
9.80/9.86 c * 9.8s| 10189 | 4498 | 80178 | 7.9 |3218k| 69 | - | 226 | 98 | 226 | 27 | 21 | 469 |1476 | 0.000000e+00 | 1.216000e+03 | Inf
9.80/9.86 o 1192
9.80/9.86 c * 9.9s| 10193 | 4497 | 80188 | 7.9 |3221k| 69 | - | 226 | 98 | 226 | 27 | 21 | 469 |1480 | 0.000000e+00 | 1.192000e+03 | Inf
9.80/9.86 o 928
9.80/9.86 c * 9.9s| 10194 | 4490 | 80188 | 7.9 |3218k| 69 | - | 226 | 98 | 226 | 27 | 21 | 469 |1480 | 0.000000e+00 | 9.280000e+02 | Inf
9.89/9.97 o 654
9.89/9.97 c *10.0s| 10349 | 4536 | 80604 | 7.8 |3240k| 69 | - | 226 | 86 | 226 | 27 | 21 | 475 |1501 | 0.000000e+00 | 6.540000e+02 | Inf
9.99/10.02 o 640
9.99/10.02 c *10.0s| 10423 | 4550 | 80755 | 7.7 |3254k| 69 | - | 226 | 86 | 226 | 27 | 21 | 475 |1515 | 0.000000e+00 | 6.400000e+02 | Inf
9.99/10.03 o 597
9.99/10.03 c *10.0s| 10431 | 4542 | 80786 | 7.7 |3252k| 69 | - | 226 | 86 | 226 | 27 | 21 | 475 |1522 | 0.000000e+00 | 5.970000e+02 | Inf
9.99/10.03 o 554
9.99/10.03 c *10.0s| 10439 | 4538 | 80808 | 7.7 |3252k| 69 | - | 226 | 86 | 226 | 27 | 21 | 475 |1531 | 0.000000e+00 | 5.540000e+02 | Inf
9.99/10.04 o 485
9.99/10.04 c *10.0s| 10440 | 4521 | 80808 | 7.7 |3247k| 69 | - | 226 | 86 | 226 | 27 | 21 | 475 |1531 | 0.000000e+00 | 4.850000e+02 | Inf
10.09/10.13 o 415
10.09/10.13 c *10.1s| 10581 | 4536 | 81114 | 7.7 |3261k| 69 | - | 226 | 86 | 226 | 27 | 21 | 479 |1546 | 0.000000e+00 | 4.150000e+02 | Inf
14.68/14.73 c 14.7s| 20000 | 5260 |120881 | 6.0 |3737k| 69 | 6 | 226 | 106 | 226 | 27 | 21 | 570 |1600 | 0.000000e+00 | 4.150000e+02 | Inf
18.99/19.04 c 19.0s| 30000 | 5271 |158029 | 5.3 |3785k| 69 | 6 | 226 | 120 | 226 | 27 | 21 | 676 |1736 | 0.000000e+00 | 4.150000e+02 | Inf
23.49/23.55 c 23.5s| 40000 | 5311 |198741 | 5.0 |3847k| 69 | - | 226 | 138 | 226 | 27 | 21 | 735 |1989 | 0.000000e+00 | 4.150000e+02 | Inf
27.88/27.97 c 28.0s| 50000 | 5323 |237898 | 4.8 |3866k| 69 | 6 | 226 | 157 | 226 | 27 | 21 | 819 |2210 | 0.000000e+00 | 4.150000e+02 | Inf
32.18/32.28 c 32.3s| 60000 | 5352 |277433 | 4.6 |3906k| 69 | 6 | 226 | 177 | 226 | 27 | 21 | 869 |2414 | 0.000000e+00 | 4.150000e+02 | Inf
36.48/36.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.48/36.56 c 36.5s| 70000 | 5349 |316461 | 4.5 |3904k| 69 | - | 226 | 194 | 226 | 27 | 21 | 940 |2613 | 0.000000e+00 | 4.150000e+02 | Inf
40.88/40.96 c 40.9s| 80000 | 5377 |354072 | 4.4 |3947k| 69 | - | 226 | 196 | 226 | 27 | 21 |1099 |2898 | 0.000000e+00 | 4.150000e+02 | Inf
45.28/45.39 c 45.4s| 90000 | 5480 |391544 | 4.3 |4052k| 69 | 6 | 226 | 212 | 226 | 27 | 21 |1256 |3139 | 0.000000e+00 | 4.150000e+02 | Inf
49.57/49.61 c 49.6s|100000 | 5527 |427389 | 4.3 |4134k| 69 | - | 226 | 223 | 0 | 0 | 21 |1415 |3317 | 0.000000e+00 | 4.150000e+02 | Inf
53.78/53.81 c 53.8s|110000 | 5495 |462171 | 4.2 |4092k| 69 | 6 | 226 | 246 | 226 | 27 | 21 |1543 |3484 | 0.000000e+00 | 4.150000e+02 | Inf
58.07/58.14 c 58.1s|120000 | 5492 |499900 | 4.2 |4095k| 69 | - | 226 | 244 | 226 | 27 | 21 |1733 |3646 | 0.000000e+00 | 4.150000e+02 | Inf
62.27/62.34 c 62.3s|130000 | 5483 |535152 | 4.1 |4101k| 69 | 6 | 226 | 248 | 226 | 27 | 21 |1875 |3804 | 0.000000e+00 | 4.150000e+02 | Inf
66.67/66.71 c 66.7s|140000 | 5518 |573059 | 4.1 |4128k| 69 | 6 | 226 | 254 | 226 | 27 | 21 |2078 |3972 | 0.000000e+00 | 4.150000e+02 | Inf
70.87/70.98 c 71.0s|150000 | 5563 |609892 | 4.1 |4168k| 69 | - | 226 | 264 | 226 | 27 | 21 |2305 |4119 | 0.000000e+00 | 4.150000e+02 | Inf
75.17/75.23 c 75.2s|160000 | 5533 |645190 | 4.0 |4150k| 69 | 6 | 226 | 263 | 226 | 27 | 21 |2531 |4264 | 0.000000e+00 | 4.150000e+02 | Inf
79.37/79.45 c 79.4s|170000 | 5552 |679904 | 4.0 |4185k| 69 | 6 | 226 | 263 | 226 | 27 | 21 |2706 |4397 | 0.000000e+00 | 4.150000e+02 | Inf
83.67/83.73 c 83.7s|180000 | 5549 |717286 | 4.0 |4181k| 69 | 6 | 226 | 257 | 226 | 27 | 21 |2877 |4578 | 0.000000e+00 | 4.150000e+02 | Inf
87.97/88.01 c 88.0s|190000 | 5583 |752496 | 4.0 |4197k| 69 | 6 | 226 | 261 | 226 | 27 | 21 |3090 |4678 | 0.000000e+00 | 4.150000e+02 | Inf
92.16/92.28 c 92.3s|200000 | 5592 |789814 | 3.9 |4211k| 69 | 6 | 226 | 250 | 226 | 27 | 21 |3295 |4823 | 0.000000e+00 | 4.150000e+02 | Inf
96.36/96.45 c 96.4s|210000 | 5602 |826690 | 3.9 |4229k| 69 | - | 226 | 252 | 226 | 27 | 21 |3419 |4923 | 0.000000e+00 | 4.150000e+02 | Inf
100.66/100.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.66/100.75 c 101s|220000 | 5540 |865282 | 3.9 |4158k| 69 | - | 226 | 238 | 0 | 0 | 21 |3536 |5072 | 0.000000e+00 | 4.150000e+02 | Inf
104.86/104.92 c 105s|230000 | 5534 |902640 | 3.9 |4174k| 69 | 6 | 226 | 250 | 226 | 27 | 21 |3642 |5233 | 0.000000e+00 | 4.150000e+02 | Inf
109.15/109.21 c 109s|240000 | 5483 |939398 | 3.9 |4083k| 69 | - | 226 | 200 | 0 | 0 | 21 |3917 |5359 | 0.000000e+00 | 4.150000e+02 | Inf
113.36/113.47 c 113s|250000 | 5529 |975830 | 3.9 |4116k| 69 | 6 | 226 | 199 | 226 | 27 | 21 |4071 |5533 | 0.000000e+00 | 4.150000e+02 | Inf
117.45/117.59 c 118s|260000 | 5576 | 1011k| 3.9 |4152k| 69 | - | 226 | 198 | 226 | 27 | 21 |4129 |5609 | 0.000000e+00 | 4.150000e+02 | Inf
121.46/121.60 c 122s|270000 | 5616 | 1044k| 3.9 |4194k| 69 | - | 226 | 205 | 226 | 27 | 21 |4179 |5729 | 0.000000e+00 | 4.150000e+02 | Inf
125.65/125.70 c 126s|280000 | 5617 | 1080k| 3.9 |4200k| 69 | 6 | 226 | 205 | 226 | 27 | 21 |4220 |5886 | 0.000000e+00 | 4.150000e+02 | Inf
129.76/129.88 c 130s|290000 | 5645 | 1115k| 3.8 |4232k| 69 | 6 | 226 | 206 | 226 | 27 | 21 |4314 |5975 | 0.000000e+00 | 4.150000e+02 | Inf
133.85/133.95 c 134s|300000 | 5594 | 1148k| 3.8 |4189k| 69 | - | 226 | 204 | 0 | 0 | 21 |4482 |6089 | 0.000000e+00 | 4.150000e+02 | Inf
137.95/138.02 c 138s|310000 | 5564 | 1184k| 3.8 |4167k| 69 | - | 226 | 201 | 226 | 27 | 21 |4571 |6205 | 0.000000e+00 | 4.150000e+02 | Inf
141.94/142.06 c 142s|320000 | 5535 | 1218k| 3.8 |4137k| 69 | 6 | 226 | 194 | 226 | 27 | 21 |4667 |6283 | 0.000000e+00 | 4.150000e+02 | Inf
146.15/146.24 c 146s|330000 | 5576 | 1254k| 3.8 |4170k| 69 | - | 226 | 195 | 226 | 27 | 21 |4747 |6376 | 0.000000e+00 | 4.150000e+02 | Inf
150.34/150.45 c 150s|340000 | 5601 | 1290k| 3.8 |4199k| 69 | 6 | 226 | 183 | 226 | 27 | 21 |4891 |6591 | 0.000000e+00 | 4.150000e+02 | Inf
154.64/154.70 c 155s|350000 | 5696 | 1326k| 3.8 |4288k| 69 | - | 226 | 171 | 226 | 27 | 21 |5151 |6697 | 0.000000e+00 | 4.150000e+02 | Inf
158.74/158.83 c 159s|360000 | 5756 | 1362k| 3.8 |4322k| 69 | - | 226 | 175 | 226 | 27 | 21 |5284 |6769 | 0.000000e+00 | 4.150000e+02 | Inf
162.75/162.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.75/162.89 c 163s|370000 | 5751 | 1396k| 3.8 |4348k| 69 | 6 | 226 | 177 | 226 | 27 | 21 |5364 |6836 | 0.000000e+00 | 4.150000e+02 | Inf
166.74/166.81 c 167s|380000 | 5744 | 1428k| 3.8 |4358k| 69 | 6 | 226 | 176 | 226 | 27 | 21 |5461 |6911 | 0.000000e+00 | 4.150000e+02 | Inf
170.64/170.71 c 171s|390000 | 5750 | 1461k| 3.7 |4359k| 69 | - | 226 | 184 | 226 | 27 | 21 |5511 |6992 | 0.000000e+00 | 4.150000e+02 | Inf
174.64/174.70 c 175s|400000 | 5700 | 1495k| 3.7 |4304k| 69 | 6 | 226 | 178 | 226 | 27 | 21 |5575 |7086 | 0.000000e+00 | 4.150000e+02 | Inf
178.84/178.92 c 179s|410000 | 5622 | 1531k| 3.7 |4261k| 69 | - | 226 | 175 | 226 | 27 | 21 |5879 |7190 | 0.000000e+00 | 4.150000e+02 | Inf
182.84/182.93 c 183s|420000 | 5651 | 1563k| 3.7 |4306k| 69 | - | 226 | 175 | 226 | 27 | 21 |6041 |7265 | 0.000000e+00 | 4.150000e+02 | Inf
187.04/187.19 c 187s|430000 | 5692 | 1599k| 3.7 |4350k| 69 | 6 | 226 | 173 | 226 | 27 | 21 |6360 |7344 | 0.000000e+00 | 4.150000e+02 | Inf
191.14/191.25 c 191s|440000 | 5872 | 1633k| 3.7 |4475k| 69 | - | 226 | 173 | 226 | 27 | 21 |6518 |7401 | 0.000000e+00 | 4.150000e+02 | Inf
195.34/195.45 c 195s|450000 | 5887 | 1668k| 3.7 |4513k| 69 | - | 226 | 171 | 226 | 27 | 21 |6666 |7473 | 0.000000e+00 | 4.150000e+02 | Inf
199.63/199.70 c 200s|460000 | 5869 | 1704k| 3.7 |4525k| 69 | 6 | 226 | 171 | 226 | 27 | 21 |6829 |7575 | 0.000000e+00 | 4.150000e+02 | Inf
203.84/203.99 c 204s|470000 | 5840 | 1740k| 3.7 |4518k| 69 | 6 | 226 | 175 | 226 | 27 | 21 |7036 |7674 | 0.000000e+00 | 4.150000e+02 | Inf
208.13/208.21 c 208s|480000 | 5855 | 1778k| 3.7 |4534k| 69 | 6 | 226 | 166 | 226 | 27 | 21 |7147 |7754 | 0.000000e+00 | 4.150000e+02 | Inf
212.33/212.44 c 212s|490000 | 5890 | 1815k| 3.7 |4601k| 69 | 6 | 226 | 168 | 226 | 27 | 21 |7289 |7818 | 0.000000e+00 | 4.150000e+02 | Inf
216.43/216.59 c 217s|500000 | 5795 | 1851k| 3.7 |4513k| 69 | 6 | 226 | 166 | 226 | 27 | 21 |7451 |7888 | 0.000000e+00 | 4.150000e+02 | Inf
220.73/220.82 c 221s|510000 | 5817 | 1886k| 3.7 |4536k| 69 | - | 226 | 170 | 226 | 27 | 21 |7704 |7966 | 0.000000e+00 | 4.150000e+02 | Inf
224.83/224.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
224.83/224.98 c 225s|520000 | 5812 | 1921k| 3.7 |4533k| 69 | - | 226 | 172 | 226 | 27 | 21 |7931 |8043 | 0.000000e+00 | 4.150000e+02 | Inf
229.02/229.17 c 229s|530000 | 5885 | 1958k| 3.7 |4587k| 69 | 6 | 226 | 171 | 226 | 27 | 21 |8064 |8118 | 0.000000e+00 | 4.150000e+02 | Inf
233.22/233.33 c 233s|540000 | 5832 | 1994k| 3.7 |4558k| 69 | - | 226 | 179 | 226 | 27 | 21 |8182 |8194 | 0.000000e+00 | 4.150000e+02 | Inf
237.32/237.46 c 237s|550000 | 5892 | 2029k| 3.7 |4632k| 69 | 6 | 226 | 179 | 226 | 27 | 21 |8319 |8277 | 0.000000e+00 | 4.150000e+02 | Inf
241.42/241.51 c 241s|560000 | 5854 | 2063k| 3.7 |4591k| 69 | 6 | 226 | 179 | 226 | 27 | 21 |8423 |8362 | 0.000000e+00 | 4.150000e+02 | Inf
245.32/245.46 c 245s|570000 | 5897 | 2095k| 3.7 |4646k| 69 | 6 | 226 | 177 | 226 | 27 | 21 |8480 |8451 | 0.000000e+00 | 4.150000e+02 | Inf
249.42/249.56 c 250s|580000 | 5835 | 2130k| 3.7 |4564k| 69 | - | 226 | 173 | 226 | 27 | 21 |8561 |8523 | 0.000000e+00 | 4.150000e+02 | Inf
253.71/253.82 c 254s|590000 | 5849 | 2165k| 3.7 |4583k| 69 | - | 226 | 163 | 226 | 27 | 21 |8794 |8591 | 0.000000e+00 | 4.150000e+02 | Inf
257.92/258.03 c 258s|600000 | 5909 | 2200k| 3.7 |4652k| 69 | - | 226 | 162 | 0 | 0 | 21 |8944 |8661 | 0.000000e+00 | 4.150000e+02 | Inf
262.11/262.23 c 262s|610000 | 5803 | 2234k| 3.7 |4529k| 69 | 6 | 226 | 162 | 226 | 27 | 21 |9127 |8740 | 0.000000e+00 | 4.150000e+02 | Inf
266.21/266.39 c 266s|620000 | 5843 | 2269k| 3.7 |4591k| 69 | 6 | 226 | 166 | 226 | 27 | 21 |9299 |8810 | 0.000000e+00 | 4.150000e+02 | Inf
270.42/270.58 c 271s|630000 | 5834 | 2304k| 3.7 |4577k| 69 | 6 | 226 | 159 | 226 | 27 | 21 |9485 |8872 | 0.000000e+00 | 4.150000e+02 | Inf
274.62/274.73 c 275s|640000 | 5867 | 2339k| 3.7 |4595k| 69 | - | 226 | 161 | 226 | 27 | 21 |9640 |8932 | 0.000000e+00 | 4.150000e+02 | Inf
278.61/278.74 c 279s|650000 | 5832 | 2372k| 3.6 |4588k| 69 | 6 | 226 | 161 | 226 | 27 | 21 |9746 |9020 | 0.000000e+00 | 4.150000e+02 | Inf
282.62/282.71 c 283s|660000 | 5818 | 2406k| 3.6 |4577k| 69 | 6 | 226 | 171 | 226 | 27 | 21 |9813 |9070 | 0.000000e+00 | 4.150000e+02 | Inf
286.51/286.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
286.51/286.67 c 287s|670000 | 5819 | 2439k| 3.6 |4594k| 69 | - | 226 | 165 | 226 | 27 | 21 |9851 |9162 | 0.000000e+00 | 4.150000e+02 | Inf
290.51/290.65 c 291s|680000 | 5796 | 2472k| 3.6 |4557k| 69 | 6 | 226 | 171 | 226 | 27 | 21 |9944 |9214 | 0.000000e+00 | 4.150000e+02 | Inf
294.91/295.03 c 295s|690000 | 5792 | 2508k| 3.6 |4540k| 69 | 6 | 226 | 164 | 226 | 27 | 21 | 10k|9354 | 0.000000e+00 | 4.150000e+02 | Inf
299.20/299.32 c 299s|700000 | 5757 | 2544k| 3.6 |4498k| 69 | - | 226 | 167 | 226 | 27 | 21 | 10k|9451 | 0.000000e+00 | 4.150000e+02 | Inf
303.31/303.47 c 303s|710000 | 5742 | 2580k| 3.6 |4490k| 69 | 6 | 226 | 167 | 226 | 27 | 21 | 10k|9494 | 0.000000e+00 | 4.150000e+02 | Inf
307.30/307.45 c 307s|720000 | 5807 | 2613k| 3.6 |4520k| 69 | - | 226 | 169 | 226 | 27 | 21 | 10k|9556 | 0.000000e+00 | 4.150000e+02 | Inf
311.40/311.51 c 312s|730000 | 5746 | 2649k| 3.6 |4493k| 69 | 6 | 226 | 170 | 226 | 27 | 21 | 10k|9621 | 0.000000e+00 | 4.150000e+02 | Inf
315.30/315.42 c 315s|740000 | 5758 | 2680k| 3.6 |4499k| 69 | - | 226 | 170 | 226 | 27 | 21 | 10k|9702 | 0.000000e+00 | 4.150000e+02 | Inf
319.20/319.37 c 319s|750000 | 5757 | 2713k| 3.6 |4500k| 69 | - | 226 | 171 | 226 | 27 | 21 | 10k|9754 | 0.000000e+00 | 4.150000e+02 | Inf
323.21/323.30 c 323s|760000 | 5846 | 2745k| 3.6 |4599k| 69 | - | 226 | 168 | 226 | 27 | 21 | 10k|9802 | 0.000000e+00 | 4.150000e+02 | Inf
327.10/327.21 c 327s|770000 | 5816 | 2778k| 3.6 |4592k| 69 | - | 226 | 173 | 226 | 27 | 21 | 10k|9865 | 0.000000e+00 | 4.150000e+02 | Inf
331.09/331.21 c 331s|780000 | 5787 | 2811k| 3.6 |4545k| 69 | - | 226 | 150 | 226 | 27 | 21 | 10k| 10k| 0.000000e+00 | 4.150000e+02 | Inf
332.59/332.72 o 375
332.59/332.72 c * 333s|783276 | 5788 | 2824k| 3.6 |4536k| 69 | - | 226 | 147 | 226 | 27 | 21 | 10k| 10k| 0.000000e+00 | 3.750000e+02 | Inf
333.20/333.32 o 332
333.20/333.32 c * 333s|784745 | 5762 | 2828k| 3.6 |4505k| 69 | - | 226 | 147 | 226 | 27 | 21 | 10k| 10k| 0.000000e+00 | 3.320000e+02 | Inf
335.50/335.61 c 336s|790000 | 5779 | 2845k| 3.6 |4495k| 69 | 6 | 226 | 143 | 226 | 27 | 21 | 10k| 10k| 0.000000e+00 | 3.320000e+02 | Inf
339.59/339.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
339.59/339.75 c 340s|800000 | 5783 | 2881k| 3.6 |4504k| 69 | 6 | 226 | 125 | 226 | 27 | 21 | 11k| 10k| 0.000000e+00 | 3.320000e+02 | Inf
342.88/343.08 o 275
342.88/343.08 c * 343s|807535 | 5794 | 2911k| 3.6 |4530k| 72 | - | 226 | 129 | 226 | 27 | 21 | 11k| 11k| 0.000000e+00 | 2.750000e+02 | Inf
342.88/343.09 o 256
342.88/343.09 c * 343s|807542 | 5788 | 2911k| 3.6 |4532k| 72 | - | 226 | 129 | 226 | 27 | 21 | 11k| 11k| 0.000000e+00 | 2.560000e+02 | Inf
343.28/343.42 o 245
343.28/343.42 c * 343s|808227 | 5777 | 2913k| 3.6 |4523k| 72 | - | 226 | 113 | 226 | 27 | 21 | 11k| 11k| 0.000000e+00 | 2.450000e+02 | Inf
344.09/344.22 c 344s|810000 | 5778 | 2920k| 3.6 |4501k| 72 | 6 | 226 | 112 | 226 | 27 | 21 | 11k| 11k| 0.000000e+00 | 2.450000e+02 | Inf
348.49/348.61 c 349s|820000 | 5821 | 2958k| 3.6 |4536k| 72 | - | 226 | 114 | 226 | 27 | 21 | 11k| 11k| 0.000000e+00 | 2.450000e+02 | Inf
352.59/352.78 c 353s|830000 | 5804 | 2994k| 3.6 |4532k| 72 | 6 | 226 | 114 | 226 | 27 | 21 | 11k| 11k| 0.000000e+00 | 2.450000e+02 | Inf
356.79/356.93 c 357s|840000 | 5847 | 3030k| 3.6 |4578k| 72 | 6 | 226 | 118 | 226 | 27 | 21 | 11k| 12k| 0.000000e+00 | 2.450000e+02 | Inf
360.88/361.06 c 361s|850000 | 5789 | 3064k| 3.6 |4533k| 72 | - | 226 | 114 | 0 | 0 | 21 | 11k| 12k| 0.000000e+00 | 2.450000e+02 | Inf
363.58/363.76 o 217
363.58/363.76 c * 364s|856330 | 5803 | 3088k| 3.6 |4553k| 72 | - | 226 | 123 | 226 | 27 | 21 | 11k| 12k| 0.000000e+00 | 2.170000e+02 | Inf
363.58/363.79 o 191
363.58/363.79 c * 364s|856365 | 5798 | 3088k| 3.6 |4540k| 72 | - | 226 | 122 | 226 | 27 | 21 | 11k| 12k| 0.000000e+00 | 1.910000e+02 | Inf
365.18/365.36 c 365s|860000 | 5826 | 3101k| 3.6 |4552k| 72 | 6 | 226 | 126 | 226 | 27 | 21 | 11k| 12k| 0.000000e+00 | 1.910000e+02 | Inf
369.38/369.52 c 370s|870000 | 5884 | 3136k| 3.6 |4620k| 72 | 6 | 226 | 124 | 226 | 27 | 21 | 11k| 12k| 0.000000e+00 | 1.910000e+02 | Inf
370.58/370.73 o 173
370.58/370.73 c g 371s|872983 | 5875 | 3146k| 3.6 |4633k| 72 | - | 226 | 129 | 226 | 27 | 21 | 11k| 12k| 0.000000e+00 | 1.730000e+02 | Inf
371.18/371.30 o 130
371.18/371.30 c * 371s|874246 | 5856 | 3150k| 3.6 |4624k| 72 | - | 226 | 127 | 226 | 27 | 21 | 11k| 12k| 0.000000e+00 | 1.300000e+02 | Inf
373.48/373.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
373.48/373.68 c 374s|880000 | 5820 | 3169k| 3.6 |4573k| 72 | - | 226 | 129 | 226 | 27 | 21 | 11k| 12k| 0.000000e+00 | 1.300000e+02 | Inf
377.68/377.81 c 378s|890000 | 5801 | 3206k| 3.6 |4550k| 72 | 6 | 226 | 120 | 226 | 27 | 21 | 11k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
381.68/381.89 c 382s|900000 | 5844 | 3243k| 3.6 |4587k| 72 | - | 226 | 128 | 226 | 27 | 21 | 11k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
385.78/385.93 c 386s|910000 | 5811 | 3278k| 3.6 |4575k| 72 | - | 226 | 128 | 0 | 0 | 21 | 11k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
389.87/390.05 c 390s|920000 | 5835 | 3315k| 3.6 |4599k| 72 | 6 | 226 | 133 | 226 | 27 | 21 | 11k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
393.87/394.04 c 394s|930000 | 5802 | 3349k| 3.6 |4560k| 72 | - | 226 | 139 | 226 | 27 | 21 | 11k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
397.98/398.20 c 398s|940000 | 5780 | 3386k| 3.6 |4535k| 72 | 6 | 226 | 126 | 226 | 27 | 21 | 11k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
402.07/402.27 c 402s|950000 | 5779 | 3422k| 3.6 |4545k| 72 | 6 | 226 | 133 | 226 | 27 | 21 | 12k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
406.07/406.29 c 406s|960000 | 5754 | 3458k| 3.6 |4513k| 72 | 6 | 226 | 129 | 226 | 27 | 21 | 12k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
410.36/410.56 c 411s|970000 | 5741 | 3495k| 3.6 |4475k| 72 | 6 | 226 | 120 | 226 | 27 | 21 | 12k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
414.48/414.68 c 415s|980000 | 5772 | 3530k| 3.6 |4519k| 72 | - | 226 | 128 | 226 | 27 | 21 | 12k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
418.57/418.71 c 419s|990000 | 5774 | 3565k| 3.6 |4518k| 72 | 6 | 226 | 131 | 226 | 27 | 21 | 12k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
422.56/422.71 c 423s| 1000k| 5788 | 3599k| 3.6 |4532k| 72 | 6 | 226 | 130 | 226 | 27 | 21 | 12k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
426.56/426.79 c 427s| 1010k| 5739 | 3636k| 3.6 |4491k| 72 | 6 | 226 | 130 | 226 | 27 | 21 | 12k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
430.56/430.77 c 431s| 1020k| 5794 | 3670k| 3.6 |4556k| 72 | - | 226 | 136 | 226 | 27 | 21 | 12k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
434.66/434.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
434.66/434.84 c 435s| 1030k| 5701 | 3708k| 3.6 |4461k| 72 | - | 226 | 126 | 226 | 27 | 21 | 12k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
438.86/439.00 c 439s| 1040k| 5732 | 3745k| 3.6 |4487k| 72 | - | 226 | 125 | 226 | 27 | 21 | 13k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
442.76/442.91 c 443s| 1050k| 5713 | 3778k| 3.6 |4459k| 72 | - | 226 | 125 | 226 | 27 | 21 | 13k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
446.86/447.03 c 447s| 1060k| 5682 | 3816k| 3.6 |4415k| 72 | 6 | 226 | 127 | 226 | 27 | 21 | 13k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
450.87/451.07 c 451s| 1070k| 5640 | 3852k| 3.6 |4371k| 72 | - | 226 | 129 | 226 | 27 | 21 | 13k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
454.95/455.11 c 455s| 1080k| 5740 | 3887k| 3.6 |4439k| 72 | - | 226 | 135 | 226 | 27 | 21 | 13k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
458.95/459.13 c 459s| 1090k| 5672 | 3922k| 3.6 |4398k| 72 | - | 226 | 130 | 226 | 27 | 21 | 13k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
463.05/463.21 c 463s| 1100k| 5651 | 3958k| 3.6 |4387k| 72 | 6 | 226 | 135 | 226 | 27 | 21 | 13k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
466.85/467.02 c 467s| 1110k| 5704 | 3990k| 3.6 |4428k| 72 | 6 | 226 | 137 | 226 | 27 | 21 | 13k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
470.74/470.99 c 471s| 1120k| 5656 | 4026k| 3.6 |4396k| 72 | - | 226 | 140 | 226 | 27 | 21 | 14k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
474.84/475.06 c 475s| 1130k| 5638 | 4062k| 3.6 |4362k| 72 | 6 | 226 | 131 | 226 | 27 | 21 | 14k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
478.84/479.03 c 479s| 1140k| 5646 | 4096k| 3.6 |4381k| 72 | - | 226 | 131 | 226 | 27 | 21 | 14k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
482.75/482.97 c 483s| 1150k| 5651 | 4130k| 3.6 |4373k| 72 | 6 | 226 | 131 | 226 | 27 | 21 | 14k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
486.73/486.94 c 487s| 1160k| 5556 | 4164k| 3.6 |4262k| 72 | 6 | 226 | 127 | 226 | 27 | 21 | 14k| 13k| 0.000000e+00 | 1.300000e+02 | Inf
490.94/491.18 c 491s| 1170k| 5606 | 4201k| 3.6 |4299k| 72 | 6 | 226 | 124 | 226 | 27 | 21 | 14k| 14k| 0.000000e+00 | 1.300000e+02 | Inf
495.14/495.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
495.14/495.38 c 495s| 1180k| 5551 | 4238k| 3.6 |4253k| 72 | - | 226 | 125 | 226 | 27 | 21 | 14k| 14k| 0.000000e+00 | 1.300000e+02 | Inf
499.14/499.37 c 499s| 1190k| 5585 | 4273k| 3.6 |4287k| 72 | 6 | 226 | 124 | 226 | 27 | 21 | 14k| 14k| 0.000000e+00 | 1.300000e+02 | Inf
503.23/503.48 c 503s| 1200k| 5583 | 4308k| 3.6 |4291k| 72 | - | 226 | 127 | 226 | 27 | 21 | 14k| 14k| 0.000000e+00 | 1.300000e+02 | Inf
507.43/507.60 c 508s| 1210k| 5572 | 4343k| 3.6 |4287k| 72 | - | 226 | 126 | 226 | 27 | 21 | 15k| 14k| 0.000000e+00 | 1.300000e+02 | Inf
511.53/511.70 c 512s| 1220k| 5597 | 4379k| 3.6 |4322k| 72 | 6 | 226 | 131 | 226 | 27 | 21 | 15k| 14k| 0.000000e+00 | 1.300000e+02 | Inf
515.63/515.81 c 516s| 1230k| 5540 | 4415k| 3.6 |4221k| 72 | 6 | 226 | 128 | 226 | 27 | 21 | 15k| 14k| 0.000000e+00 | 1.300000e+02 | Inf
519.72/519.99 c 520s| 1240k| 5521 | 4452k| 3.6 |4234k| 72 | - | 226 | 130 | 226 | 27 | 21 | 15k| 14k| 0.000000e+00 | 1.300000e+02 | Inf
523.82/524.01 c 524s| 1250k| 5540 | 4487k| 3.6 |4237k| 72 | 6 | 226 | 130 | 226 | 27 | 21 | 15k| 14k| 0.000000e+00 | 1.300000e+02 | Inf
527.93/528.13 c 528s| 1260k| 5498 | 4522k| 3.6 |4188k| 72 | - | 226 | 135 | 226 | 27 | 21 | 15k| 14k| 0.000000e+00 | 1.300000e+02 | Inf
532.02/532.22 c 532s| 1270k| 5499 | 4558k| 3.6 |4188k| 72 | - | 226 | 138 | 0 | 0 | 21 | 16k| 14k| 0.000000e+00 | 1.300000e+02 | Inf
536.02/536.26 c 536s| 1280k| 5551 | 4592k| 3.6 |4250k| 72 | - | 226 | 130 | 226 | 27 | 21 | 16k| 14k| 0.000000e+00 | 1.300000e+02 | Inf
540.12/540.31 c 540s| 1290k| 5511 | 4628k| 3.6 |4229k| 72 | 6 | 226 | 134 | 226 | 27 | 21 | 16k| 14k| 0.000000e+00 | 1.300000e+02 | Inf
544.22/544.48 c 544s| 1300k| 5486 | 4663k| 3.6 |4209k| 72 | - | 226 | 139 | 226 | 27 | 21 | 16k| 14k| 0.000000e+00 | 1.300000e+02 | Inf
548.42/548.62 c 549s| 1310k| 5452 | 4699k| 3.6 |4145k| 72 | - | 226 | 139 | 0 | 0 | 21 | 17k| 14k| 0.000000e+00 | 1.300000e+02 | Inf
552.42/552.69 c 553s| 1320k| 5435 | 4735k| 3.6 |4088k| 72 | 6 | 226 | 134 | 226 | 27 | 21 | 17k| 14k| 0.000000e+00 | 1.300000e+02 | Inf
556.51/556.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
556.51/556.70 c 557s| 1330k| 5399 | 4771k| 3.6 |4073k| 72 | 6 | 226 | 136 | 226 | 27 | 21 | 17k| 14k| 0.000000e+00 | 1.300000e+02 | Inf
560.61/560.87 c 561s| 1340k| 5412 | 4808k| 3.6 |4099k| 72 | 6 | 226 | 127 | 226 | 27 | 21 | 17k| 14k| 0.000000e+00 | 1.300000e+02 | Inf
564.71/564.99 c 565s| 1350k| 5429 | 4844k| 3.6 |4119k| 72 | - | 226 | 127 | 226 | 27 | 21 | 17k| 14k| 0.000000e+00 | 1.300000e+02 | Inf
568.91/569.19 c 569s| 1360k| 5471 | 4881k| 3.6 |4185k| 72 | 6 | 226 | 135 | 226 | 27 | 21 | 17k| 15k| 0.000000e+00 | 1.300000e+02 | Inf
572.91/573.15 c 573s| 1370k| 5481 | 4916k| 3.6 |4216k| 72 | 6 | 226 | 133 | 226 | 27 | 21 | 17k| 15k| 0.000000e+00 | 1.300000e+02 | Inf
576.91/577.11 c 577s| 1380k| 5522 | 4950k| 3.6 |4262k| 72 | 6 | 226 | 133 | 226 | 27 | 21 | 18k| 15k| 0.000000e+00 | 1.300000e+02 | Inf
581.01/581.21 c 581s| 1390k| 5392 | 4986k| 3.6 |4081k| 72 | - | 226 | 126 | 226 | 27 | 21 | 18k| 15k| 0.000000e+00 | 1.300000e+02 | Inf
585.09/585.35 c 585s| 1400k| 5386 | 5023k| 3.6 |4049k| 72 | 6 | 226 | 124 | 226 | 27 | 21 | 18k| 15k| 0.000000e+00 | 1.300000e+02 | Inf
589.19/589.49 c 589s| 1410k| 5487 | 5058k| 3.6 |4132k| 72 | - | 226 | 123 | 226 | 27 | 21 | 18k| 15k| 0.000000e+00 | 1.300000e+02 | Inf
593.39/593.61 c 594s| 1420k| 5463 | 5095k| 3.6 |4142k| 72 | 6 | 226 | 126 | 226 | 27 | 21 | 18k| 15k| 0.000000e+00 | 1.300000e+02 | Inf
597.39/597.63 c 598s| 1430k| 5414 | 5130k| 3.6 |4090k| 72 | 6 | 226 | 134 | 226 | 27 | 21 | 19k| 15k| 0.000000e+00 | 1.300000e+02 | Inf
601.39/601.68 c 602s| 1440k| 5370 | 5166k| 3.6 |4032k| 72 | - | 226 | 129 | 226 | 27 | 21 | 19k| 15k| 0.000000e+00 | 1.300000e+02 | Inf
605.48/605.73 c 606s| 1450k| 5391 | 5203k| 3.6 |4068k| 72 | - | 226 | 128 | 226 | 27 | 21 | 19k| 15k| 0.000000e+00 | 1.300000e+02 | Inf
609.49/609.79 c 610s| 1460k| 5412 | 5239k| 3.6 |4087k| 72 | 6 | 226 | 127 | 226 | 27 | 21 | 19k| 15k| 0.000000e+00 | 1.300000e+02 | Inf
613.49/613.80 c 614s| 1470k| 5424 | 5275k| 3.6 |4107k| 72 | 6 | 226 | 132 | 226 | 27 | 21 | 19k| 15k| 0.000000e+00 | 1.300000e+02 | Inf
617.59/617.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
617.59/617.86 c 618s| 1480k| 5412 | 5311k| 3.6 |4101k| 72 | 6 | 226 | 136 | 226 | 27 | 21 | 19k| 15k| 0.000000e+00 | 1.300000e+02 | Inf
621.67/621.95 c 622s| 1490k| 5457 | 5347k| 3.6 |4149k| 72 | 6 | 226 | 146 | 226 | 27 | 21 | 20k| 15k| 0.000000e+00 | 1.300000e+02 | Inf
625.88/626.13 c 626s| 1500k| 5498 | 5383k| 3.6 |4204k| 72 | - | 226 | 150 | 226 | 27 | 21 | 20k| 15k| 0.000000e+00 | 1.300000e+02 | Inf
629.98/630.21 c 630s| 1510k| 5582 | 5419k| 3.6 |4298k| 72 | - | 226 | 157 | 0 | 0 | 21 | 20k| 15k| 0.000000e+00 | 1.300000e+02 | Inf
633.97/634.21 c 634s| 1520k| 5501 | 5453k| 3.6 |4222k| 72 | - | 226 | 146 | 226 | 27 | 21 | 20k| 15k| 0.000000e+00 | 1.300000e+02 | Inf
637.97/638.29 c 638s| 1530k| 5501 | 5488k| 3.6 |4221k| 72 | - | 226 | 155 | 226 | 27 | 21 | 20k| 15k| 0.000000e+00 | 1.300000e+02 | Inf
642.08/642.37 c 642s| 1540k| 5451 | 5523k| 3.6 |4152k| 72 | 6 | 226 | 140 | 226 | 27 | 21 | 21k| 15k| 0.000000e+00 | 1.300000e+02 | Inf
646.17/646.41 c 646s| 1550k| 5422 | 5559k| 3.6 |4111k| 72 | 6 | 226 | 140 | 226 | 27 | 21 | 21k| 15k| 0.000000e+00 | 1.300000e+02 | Inf
650.16/650.44 c 650s| 1560k| 5445 | 5597k| 3.6 |4121k| 72 | - | 226 | 145 | 226 | 27 | 21 | 21k| 15k| 0.000000e+00 | 1.300000e+02 | Inf
654.06/654.32 c 654s| 1570k| 5444 | 5633k| 3.6 |4132k| 72 | 6 | 226 | 159 | 226 | 27 | 21 | 21k| 15k| 0.000000e+00 | 1.300000e+02 | Inf
658.06/658.32 c 658s| 1580k| 5496 | 5668k| 3.6 |4175k| 72 | - | 226 | 155 | 226 | 27 | 21 | 21k| 15k| 0.000000e+00 | 1.300000e+02 | Inf
661.97/662.28 c 662s| 1590k| 5417 | 5704k| 3.6 |4109k| 72 | - | 226 | 153 | 226 | 27 | 21 | 21k| 15k| 0.000000e+00 | 1.300000e+02 | Inf
665.96/666.23 c 666s| 1600k| 5423 | 5738k| 3.6 |4118k| 72 | - | 226 | 152 | 226 | 27 | 21 | 21k| 16k| 0.000000e+00 | 1.300000e+02 | Inf
669.96/670.23 c 670s| 1610k| 5423 | 5773k| 3.6 |4105k| 72 | - | 226 | 144 | 226 | 27 | 21 | 22k| 16k| 0.000000e+00 | 1.300000e+02 | Inf
673.97/674.27 c 674s| 1620k| 5370 | 5808k| 3.6 |4059k| 72 | - | 226 | 149 | 226 | 27 | 21 | 22k| 16k| 0.000000e+00 | 1.300000e+02 | Inf
678.06/678.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
678.06/678.35 c 678s| 1630k| 5470 | 5844k| 3.6 |4173k| 72 | 6 | 226 | 151 | 226 | 27 | 21 | 22k| 16k| 0.000000e+00 | 1.300000e+02 | Inf
681.96/682.28 c 682s| 1640k| 5440 | 5878k| 3.6 |4153k| 72 | 6 | 226 | 142 | 226 | 27 | 21 | 22k| 16k| 0.000000e+00 | 1.300000e+02 | Inf
685.95/686.22 c 686s| 1650k| 5417 | 5912k| 3.6 |4141k| 72 | 6 | 226 | 147 | 226 | 27 | 21 | 22k| 16k| 0.000000e+00 | 1.300000e+02 | Inf
690.06/690.36 c 690s| 1660k| 5346 | 5948k| 3.6 |4033k| 72 | - | 226 | 146 | 226 | 27 | 21 | 23k| 16k| 0.000000e+00 | 1.300000e+02 | Inf
694.45/694.71 c 695s| 1670k| 5320 | 5987k| 3.6 |3983k| 72 | 6 | 226 | 140 | 226 | 27 | 21 | 23k| 16k| 0.000000e+00 | 1.300000e+02 | Inf
698.75/699.06 c 699s| 1680k| 5295 | 6028k| 3.6 |3945k| 72 | - | 226 | 142 | 226 | 27 | 21 | 23k| 16k| 0.000000e+00 | 1.300000e+02 | Inf
703.05/703.37 c 703s| 1690k| 5321 | 6067k| 3.6 |3949k| 72 | - | 226 | 155 | 226 | 27 | 21 | 23k| 17k| 0.000000e+00 | 1.300000e+02 | Inf
707.35/707.65 c 708s| 1700k| 5372 | 6108k| 3.6 |3990k| 72 | - | 226 | 149 | 226 | 27 | 21 | 23k| 17k| 0.000000e+00 | 1.300000e+02 | Inf
711.36/711.66 c 712s| 1710k| 5369 | 6148k| 3.6 |3998k| 72 | 6 | 226 | 157 | 226 | 27 | 21 | 23k| 17k| 0.000000e+00 | 1.300000e+02 | Inf
715.45/715.75 c 716s| 1720k| 5413 | 6188k| 3.6 |4039k| 72 | - | 226 | 162 | 226 | 27 | 21 | 23k| 17k| 0.000000e+00 | 1.300000e+02 | Inf
719.65/719.90 c 720s| 1730k| 5399 | 6227k| 3.6 |4034k| 72 | 6 | 226 | 166 | 226 | 27 | 21 | 23k| 17k| 0.000000e+00 | 1.300000e+02 | Inf
723.65/723.98 c 724s| 1740k| 5458 | 6264k| 3.6 |4083k| 72 | 6 | 226 | 178 | 226 | 27 | 21 | 23k| 17k| 0.000000e+00 | 1.300000e+02 | Inf
727.86/728.10 c 728s| 1750k| 5405 | 6302k| 3.6 |4050k| 72 | - | 226 | 176 | 0 | 0 | 21 | 23k| 17k| 0.000000e+00 | 1.300000e+02 | Inf
731.84/732.14 c 732s| 1760k| 5404 | 6339k| 3.6 |4043k| 72 | 6 | 226 | 173 | 226 | 27 | 21 | 23k| 17k| 0.000000e+00 | 1.300000e+02 | Inf
736.04/736.30 c 736s| 1770k| 5369 | 6380k| 3.6 |4018k| 72 | 6 | 226 | 160 | 226 | 27 | 21 | 24k| 17k| 0.000000e+00 | 1.300000e+02 | Inf
740.04/740.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
740.04/740.33 c 740s| 1780k| 5344 | 6420k| 3.6 |4003k| 72 | 6 | 226 | 161 | 226 | 27 | 21 | 24k| 17k| 0.000000e+00 | 1.300000e+02 | Inf
744.24/744.58 c 745s| 1790k| 5263 | 6462k| 3.6 |3917k| 72 | 6 | 226 | 156 | 226 | 27 | 21 | 24k| 17k| 0.000000e+00 | 1.300000e+02 | Inf
748.44/748.75 c 749s| 1800k| 5260 | 6500k| 3.6 |3923k| 72 | - | 226 | 166 | 226 | 27 | 21 | 24k| 17k| 0.000000e+00 | 1.300000e+02 | Inf
752.74/753.04 c 753s| 1810k| 5259 | 6535k| 3.6 |3924k| 72 | - | 226 | 175 | 226 | 27 | 21 | 24k| 18k| 0.000000e+00 | 1.300000e+02 | Inf
757.34/757.64 c 758s| 1820k| 5543 | 6579k| 3.6 |4109k| 72 | 6 | 226 | 169 | 226 | 27 | 21 | 24k| 18k| 0.000000e+00 | 1.300000e+02 | Inf
761.73/762.01 c 762s| 1830k| 5607 | 6623k| 3.6 |4193k| 72 | 6 | 226 | 169 | 226 | 27 | 21 | 24k| 18k| 0.000000e+00 | 1.300000e+02 | Inf
765.84/766.15 c 766s| 1840k| 5576 | 6663k| 3.6 |4160k| 72 | - | 226 | 165 | 226 | 27 | 21 | 25k| 18k| 0.000000e+00 | 1.300000e+02 | Inf
770.23/770.53 c 771s| 1850k| 5695 | 6707k| 3.6 |4254k| 72 | 6 | 226 | 157 | 226 | 27 | 21 | 25k| 18k| 0.000000e+00 | 1.300000e+02 | Inf
774.73/775.01 c 775s| 1860k| 5779 | 6754k| 3.6 |4364k| 72 | 6 | 226 | 157 | 226 | 27 | 21 | 25k| 18k| 0.000000e+00 | 1.300000e+02 | Inf
779.03/779.34 c 779s| 1870k| 5815 | 6796k| 3.6 |4411k| 72 | - | 226 | 152 | 226 | 27 | 21 | 25k| 18k| 0.000000e+00 | 1.300000e+02 | Inf
783.12/783.47 c 783s| 1880k| 5783 | 6837k| 3.6 |4366k| 72 | - | 226 | 151 | 226 | 27 | 21 | 25k| 18k| 0.000000e+00 | 1.300000e+02 | Inf
787.53/787.83 c 788s| 1890k| 5801 | 6879k| 3.6 |4405k| 72 | - | 226 | 151 | 226 | 27 | 21 | 26k| 18k| 0.000000e+00 | 1.300000e+02 | Inf
791.92/792.22 c 792s| 1900k| 5746 | 6920k| 3.6 |4349k| 72 | 6 | 226 | 149 | 226 | 27 | 21 | 26k| 18k| 0.000000e+00 | 1.300000e+02 | Inf
796.23/796.57 c 797s| 1910k| 5762 | 6962k| 3.6 |4374k| 72 | - | 226 | 147 | 226 | 27 | 21 | 26k| 18k| 0.000000e+00 | 1.300000e+02 | Inf
800.62/800.95 c 801s| 1920k| 5725 | 7007k| 3.6 |4328k| 72 | 6 | 226 | 152 | 226 | 27 | 21 | 27k| 18k| 0.000000e+00 | 1.300000e+02 | Inf
805.02/805.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
805.02/805.30 c 805s| 1930k| 5712 | 7048k| 3.7 |4307k| 72 | 6 | 226 | 153 | 226 | 27 | 21 | 27k| 18k| 0.000000e+00 | 1.300000e+02 | Inf
809.33/809.63 c 810s| 1940k| 5680 | 7089k| 3.7 |4299k| 72 | - | 226 | 149 | 226 | 27 | 21 | 27k| 18k| 0.000000e+00 | 1.300000e+02 | Inf
813.72/814.02 c 814s| 1950k| 5832 | 7131k| 3.7 |4462k| 72 | - | 226 | 151 | 226 | 27 | 21 | 27k| 19k| 0.000000e+00 | 1.300000e+02 | Inf
817.92/818.22 c 818s| 1960k| 5953 | 7171k| 3.7 |4565k| 72 | - | 226 | 156 | 0 | 0 | 21 | 28k| 19k| 0.000000e+00 | 1.300000e+02 | Inf
822.02/822.34 c 822s| 1970k| 5970 | 7212k| 3.7 |4596k| 72 | 6 | 226 | 161 | 226 | 27 | 21 | 28k| 19k| 0.000000e+00 | 1.300000e+02 | Inf
826.21/826.55 c 827s| 1980k| 6062 | 7255k| 3.7 |4700k| 72 | - | 226 | 170 | 226 | 27 | 21 | 28k| 19k| 0.000000e+00 | 1.300000e+02 | Inf
830.42/830.76 c 831s| 1990k| 6025 | 7298k| 3.7 |4715k| 72 | - | 226 | 163 | 226 | 27 | 21 | 28k| 19k| 0.000000e+00 | 1.300000e+02 | Inf
834.72/835.00 c 835s| 2000k| 6028 | 7337k| 3.7 |4726k| 72 | 6 | 226 | 158 | 226 | 27 | 21 | 28k| 19k| 0.000000e+00 | 1.300000e+02 | Inf
838.81/839.14 c 839s| 2010k| 6042 | 7378k| 3.7 |4763k| 72 | - | 226 | 157 | 226 | 27 | 21 | 28k| 19k| 0.000000e+00 | 1.300000e+02 | Inf
843.01/843.34 c 843s| 2020k| 6136 | 7420k| 3.7 |4839k| 72 | 6 | 226 | 166 | 226 | 27 | 21 | 29k| 19k| 0.000000e+00 | 1.300000e+02 | Inf
847.31/847.60 c 848s| 2030k| 6146 | 7463k| 3.7 |4877k| 72 | 6 | 226 | 163 | 226 | 27 | 21 | 29k| 19k| 0.000000e+00 | 1.300000e+02 | Inf
851.51/851.84 c 852s| 2040k| 6201 | 7505k| 3.7 |4939k| 72 | 6 | 226 | 159 | 226 | 27 | 21 | 29k| 19k| 0.000000e+00 | 1.300000e+02 | Inf
855.80/856.14 c 856s| 2050k| 6192 | 7549k| 3.7 |4946k| 72 | 6 | 226 | 163 | 226 | 27 | 21 | 29k| 19k| 0.000000e+00 | 1.300000e+02 | Inf
860.10/860.42 c 860s| 2060k| 6188 | 7592k| 3.7 |4934k| 72 | - | 226 | 166 | 226 | 27 | 21 | 29k| 19k| 0.000000e+00 | 1.300000e+02 | Inf
864.41/864.74 c 865s| 2070k| 6161 | 7636k| 3.7 |4871k| 72 | - | 226 | 163 | 226 | 27 | 21 | 30k| 19k| 0.000000e+00 | 1.300000e+02 | Inf
868.71/869.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
868.71/869.02 c 869s| 2080k| 6123 | 7678k| 3.7 |4841k| 72 | - | 226 | 158 | 0 | 0 | 21 | 30k| 19k| 0.000000e+00 | 1.300000e+02 | Inf
872.91/873.22 c 873s| 2090k| 6117 | 7721k| 3.7 |4827k| 72 | 6 | 226 | 164 | 226 | 27 | 21 | 30k| 19k| 0.000000e+00 | 1.300000e+02 | Inf
877.10/877.47 c 877s| 2100k| 6173 | 7763k| 3.7 |4887k| 72 | - | 226 | 155 | 226 | 27 | 21 | 31k| 19k| 0.000000e+00 | 1.300000e+02 | Inf
881.40/881.70 c 882s| 2110k| 6092 | 7805k| 3.7 |4809k| 72 | 6 | 226 | 150 | 226 | 27 | 21 | 31k| 19k| 0.000000e+00 | 1.300000e+02 | Inf
885.70/886.07 c 886s| 2120k| 6081 | 7853k| 3.7 |4837k| 72 | 6 | 226 | 163 | 226 | 27 | 21 | 31k| 19k| 0.000000e+00 | 1.300000e+02 | Inf
890.00/890.38 c 890s| 2130k| 6077 | 7897k| 3.7 |4868k| 72 | 6 | 226 | 168 | 226 | 27 | 21 | 31k| 19k| 0.000000e+00 | 1.300000e+02 | Inf
894.39/894.70 c 895s| 2140k| 6232 | 7940k| 3.7 |5017k| 72 | - | 226 | 175 | 226 | 27 | 21 | 31k| 19k| 0.000000e+00 | 1.300000e+02 | Inf
898.60/898.99 c 899s| 2150k| 6218 | 7981k| 3.7 |5054k| 72 | 6 | 226 | 173 | 226 | 27 | 21 | 32k| 19k| 0.000000e+00 | 1.300000e+02 | Inf
902.80/903.19 c 903s| 2160k| 6140 | 8019k| 3.7 |4990k| 72 | 6 | 226 | 178 | 226 | 27 | 21 | 32k| 19k| 0.000000e+00 | 1.300000e+02 | Inf
906.99/907.31 c 907s| 2170k| 6276 | 8060k| 3.7 |5094k| 72 | 6 | 226 | 172 | 226 | 27 | 21 | 32k| 19k| 0.000000e+00 | 1.300000e+02 | Inf
911.19/911.56 c 912s| 2180k| 6312 | 8103k| 3.7 |5135k| 72 | - | 226 | 179 | 226 | 27 | 21 | 32k| 19k| 0.000000e+00 | 1.300000e+02 | Inf
915.29/915.69 c 916s| 2190k| 6302 | 8143k| 3.7 |5150k| 72 | 6 | 226 | 178 | 226 | 27 | 21 | 32k| 19k| 0.000000e+00 | 1.300000e+02 | Inf
919.59/919.93 c 920s| 2200k| 6240 | 8183k| 3.7 |5102k| 72 | - | 226 | 170 | 226 | 27 | 21 | 33k| 20k| 0.000000e+00 | 1.300000e+02 | Inf
923.79/924.12 c 924s| 2210k| 6294 | 8225k| 3.7 |5154k| 72 | - | 226 | 162 | 226 | 27 | 21 | 33k| 20k| 0.000000e+00 | 1.300000e+02 | Inf
927.99/928.36 c 928s| 2220k| 6239 | 8268k| 3.7 |5124k| 72 | - | 226 | 167 | 226 | 27 | 21 | 33k| 20k| 0.000000e+00 | 1.300000e+02 | Inf
932.28/932.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
932.28/932.64 c 933s| 2230k| 6259 | 8311k| 3.7 |5159k| 72 | - | 226 | 176 | 226 | 27 | 21 | 33k| 20k| 0.000000e+00 | 1.300000e+02 | Inf
936.48/936.87 c 937s| 2240k| 6253 | 8353k| 3.7 |5172k| 72 | - | 226 | 171 | 226 | 27 | 21 | 33k| 20k| 0.000000e+00 | 1.300000e+02 | Inf
940.68/941.06 c 941s| 2250k| 6295 | 8389k| 3.7 |5217k| 76 | - | 226 | 166 | 226 | 27 | 21 | 33k| 20k| 0.000000e+00 | 1.300000e+02 | Inf
944.68/945.05 c 945s| 2260k| 6319 | 8419k| 3.7 |5254k| 76 | - | 226 | 160 | 226 | 27 | 21 | 34k| 20k| 0.000000e+00 | 1.300000e+02 | Inf
948.78/949.11 c 949s| 2270k| 6330 | 8454k| 3.7 |5264k| 76 | 6 | 226 | 157 | 226 | 27 | 21 | 34k| 20k| 0.000000e+00 | 1.300000e+02 | Inf
952.98/953.34 c 953s| 2280k| 6351 | 8489k| 3.7 |5291k| 76 | - | 226 | 155 | 226 | 27 | 21 | 34k| 20k| 0.000000e+00 | 1.300000e+02 | Inf
956.98/957.35 c 957s| 2290k| 6359 | 8523k| 3.7 |5314k| 76 | - | 226 | 158 | 226 | 27 | 21 | 34k| 20k| 0.000000e+00 | 1.300000e+02 | Inf
961.08/961.44 c 961s| 2300k| 6356 | 8557k| 3.7 |5310k| 76 | - | 226 | 161 | 226 | 27 | 21 | 34k| 20k| 0.000000e+00 | 1.300000e+02 | Inf
965.27/965.64 c 966s| 2310k| 6334 | 8593k| 3.7 |5218k| 76 | - | 226 | 154 | 226 | 27 | 21 | 35k| 20k| 0.000000e+00 | 1.300000e+02 | Inf
969.27/969.66 c 970s| 2320k| 6325 | 8627k| 3.7 |5219k| 76 | - | 226 | 157 | 226 | 27 | 21 | 35k| 20k| 0.000000e+00 | 1.300000e+02 | Inf
973.57/973.94 c 974s| 2330k| 6322 | 8664k| 3.7 |5155k| 76 | 6 | 226 | 152 | 226 | 27 | 21 | 35k| 20k| 0.000000e+00 | 1.300000e+02 | Inf
977.67/978.03 c 978s| 2340k| 6272 | 8699k| 3.7 |5108k| 76 | 6 | 226 | 153 | 226 | 27 | 21 | 35k| 20k| 0.000000e+00 | 1.300000e+02 | Inf
981.66/982.03 c 982s| 2350k| 6307 | 8730k| 3.7 |5160k| 76 | 6 | 226 | 159 | 226 | 27 | 21 | 35k| 20k| 0.000000e+00 | 1.300000e+02 | Inf
985.77/986.17 c 986s| 2360k| 6280 | 8765k| 3.7 |5123k| 76 | 6 | 226 | 164 | 226 | 27 | 21 | 36k| 20k| 0.000000e+00 | 1.300000e+02 | Inf
989.77/990.16 c 990s| 2370k| 6311 | 8799k| 3.7 |5140k| 76 | 6 | 226 | 165 | 226 | 27 | 21 | 36k| 20k| 0.000000e+00 | 1.300000e+02 | Inf
993.86/994.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
993.86/994.30 c 994s| 2380k| 6381 | 8836k| 3.7 |5216k| 76 | 6 | 226 | 167 | 226 | 27 | 21 | 36k| 20k| 0.000000e+00 | 1.300000e+02 | Inf
997.96/998.33 c 998s| 2390k| 6409 | 8870k| 3.7 |5288k| 76 | 6 | 226 | 169 | 226 | 27 | 21 | 36k| 20k| 0.000000e+00 | 1.300000e+02 | Inf
1001.97/1002.37 c 1002s| 2400k| 6368 | 8906k| 3.7 |5231k| 76 | - | 226 | 174 | 226 | 27 | 21 | 36k| 21k| 0.000000e+00 | 1.300000e+02 | Inf
1005.96/1006.30 c 1006s| 2410k| 6388 | 8940k| 3.7 |5259k| 76 | - | 226 | 171 | 226 | 27 | 21 | 36k| 21k| 0.000000e+00 | 1.300000e+02 | Inf
1009.86/1010.26 c 1010s| 2420k| 6353 | 8974k| 3.7 |5238k| 76 | 6 | 226 | 179 | 226 | 27 | 21 | 36k| 21k| 0.000000e+00 | 1.300000e+02 | Inf
1013.86/1014.24 c 1014s| 2430k| 6324 | 9010k| 3.7 |5193k| 76 | - | 226 | 185 | 226 | 27 | 21 | 36k| 21k| 0.000000e+00 | 1.300000e+02 | Inf
1017.86/1018.25 c 1018s| 2440k| 6303 | 9046k| 3.7 |5166k| 76 | - | 226 | 184 | 226 | 27 | 21 | 37k| 21k| 0.000000e+00 | 1.300000e+02 | Inf
1022.05/1022.46 c 1022s| 2450k| 6408 | 9090k| 3.7 |5242k| 76 | - | 226 | 186 | 226 | 27 | 21 | 37k| 21k| 0.000000e+00 | 1.300000e+02 | Inf
1026.15/1026.54 c 1027s| 2460k| 6608 | 9129k| 3.7 |5409k| 76 | - | 226 | 186 | 226 | 27 | 21 | 37k| 21k| 0.000000e+00 | 1.300000e+02 | Inf
1030.26/1030.70 c 1031s| 2470k| 6600 | 9171k| 3.7 |5423k| 76 | 6 | 226 | 181 | 226 | 27 | 21 | 37k| 21k| 0.000000e+00 | 1.300000e+02 | Inf
1034.55/1034.92 c 1035s| 2480k| 6518 | 9215k| 3.7 |5368k| 76 | - | 226 | 172 | 226 | 27 | 21 | 37k| 21k| 0.000000e+00 | 1.300000e+02 | Inf
1038.74/1039.12 c 1039s| 2490k| 6463 | 9252k| 3.7 |5312k| 76 | 6 | 226 | 172 | 226 | 27 | 21 | 38k| 21k| 0.000000e+00 | 1.300000e+02 | Inf
1042.94/1043.30 c 1043s| 2500k| 6504 | 9288k| 3.7 |5396k| 76 | 6 | 226 | 174 | 226 | 27 | 21 | 38k| 21k| 0.000000e+00 | 1.300000e+02 | Inf
1046.95/1047.39 c 1047s| 2510k| 6505 | 9324k| 3.7 |5413k| 76 | - | 226 | 180 | 226 | 27 | 21 | 38k| 21k| 0.000000e+00 | 1.300000e+02 | Inf
1050.94/1051.38 c 1051s| 2520k| 6530 | 9358k| 3.7 |5422k| 76 | - | 226 | 178 | 226 | 27 | 21 | 38k| 21k| 0.000000e+00 | 1.300000e+02 | Inf
1054.85/1055.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1054.85/1055.27 c 1055s| 2530k| 6547 | 9391k| 3.7 |5453k| 76 | 6 | 226 | 179 | 226 | 27 | 21 | 39k| 21k| 0.000000e+00 | 1.300000e+02 | Inf
1058.74/1059.14 c 1059s| 2540k| 6505 | 9424k| 3.7 |5384k| 76 | - | 226 | 175 | 226 | 27 | 21 | 39k| 21k| 0.000000e+00 | 1.300000e+02 | Inf
1062.84/1063.24 c 1063s| 2550k| 6463 | 9461k| 3.7 |5329k| 76 | - | 226 | 177 | 226 | 27 | 21 | 39k| 21k| 0.000000e+00 | 1.300000e+02 | Inf
1066.84/1067.30 c 1067s| 2560k| 6350 | 9499k| 3.7 |5212k| 76 | - | 226 | 178 | 226 | 27 | 21 | 39k| 21k| 0.000000e+00 | 1.300000e+02 | Inf
1071.24/1071.67 c 1072s| 2570k| 6371 | 9542k| 3.7 |5238k| 76 | - | 226 | 181 | 226 | 27 | 21 | 39k| 21k| 0.000000e+00 | 1.300000e+02 | Inf
1075.54/1075.94 c 1076s| 2580k| 6376 | 9582k| 3.7 |5246k| 76 | - | 226 | 183 | 226 | 27 | 21 | 39k| 21k| 0.000000e+00 | 1.300000e+02 | Inf
1079.84/1080.26 c 1080s| 2590k| 6331 | 9624k| 3.7 |5205k| 76 | - | 226 | 184 | 226 | 27 | 21 | 39k| 21k| 0.000000e+00 | 1.300000e+02 | Inf
1084.14/1084.57 c 1085s| 2600k| 6278 | 9664k| 3.7 |5154k| 76 | - | 226 | 181 | 226 | 27 | 21 | 40k| 21k| 0.000000e+00 | 1.300000e+02 | Inf
1088.54/1088.90 c 1089s| 2610k| 6407 | 9707k| 3.7 |5263k| 76 | 6 | 226 | 187 | 226 | 27 | 21 | 40k| 21k| 0.000000e+00 | 1.300000e+02 | Inf
1092.83/1093.21 c 1093s| 2620k| 6429 | 9748k| 3.7 |5308k| 76 | - | 226 | 187 | 226 | 27 | 21 | 40k| 21k| 0.000000e+00 | 1.300000e+02 | Inf
1097.03/1097.49 c 1097s| 2630k| 6503 | 9789k| 3.7 |5379k| 76 | - | 226 | 185 | 226 | 27 | 21 | 40k| 21k| 0.000000e+00 | 1.300000e+02 | Inf
1101.23/1101.67 c 1102s| 2640k| 6535 | 9829k| 3.7 |5424k| 76 | - | 226 | 189 | 226 | 27 | 21 | 40k| 21k| 0.000000e+00 | 1.300000e+02 | Inf
1105.42/1105.84 c 1106s| 2650k| 6507 | 9869k| 3.7 |5423k| 76 | 6 | 226 | 183 | 226 | 27 | 21 | 41k| 22k| 0.000000e+00 | 1.300000e+02 | Inf
1109.72/1110.13 c 1110s| 2660k| 6473 | 9911k| 3.7 |5397k| 76 | - | 226 | 189 | 226 | 27 | 21 | 41k| 22k| 0.000000e+00 | 1.300000e+02 | Inf
1113.93/1114.39 c 1114s| 2670k| 6486 | 9956k| 3.7 |5416k| 76 | 6 | 226 | 189 | 226 | 27 | 21 | 41k| 22k| 0.000000e+00 | 1.300000e+02 | Inf
1118.12/1118.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1118.12/1118.60 c 1119s| 2680k| 6505 | 9997k| 3.7 |5452k| 76 | - | 226 | 187 | 226 | 27 | 21 | 41k| 22k| 0.000000e+00 | 1.300000e+02 | Inf
1122.43/1122.82 c 1123s| 2690k| 6480 | 10040k| 3.7 |5428k| 76 | - | 226 | 198 | 226 | 27 | 21 | 41k| 22k| 0.000000e+00 | 1.300000e+02 | Inf
1126.62/1127.09 c 1127s| 2700k| 6544 | 10081k| 3.7 |5460k| 76 | 6 | 226 | 197 | 226 | 27 | 21 | 41k| 22k| 0.000000e+00 | 1.300000e+02 | Inf
1130.92/1131.37 c 1131s| 2710k| 6485 | 10122k| 3.7 |5453k| 76 | - | 226 | 196 | 226 | 27 | 21 | 42k| 22k| 0.000000e+00 | 1.300000e+02 | Inf
1135.21/1135.69 c 1136s| 2720k| 6436 | 10164k| 3.7 |5387k| 76 | 6 | 226 | 194 | 226 | 27 | 21 | 42k| 22k| 0.000000e+00 | 1.300000e+02 | Inf
1139.51/1139.99 c 1140s| 2730k| 6435 | 10206k| 3.7 |5408k| 76 | 6 | 226 | 196 | 226 | 27 | 21 | 42k| 22k| 0.000000e+00 | 1.300000e+02 | Inf
1143.92/1144.34 c 1144s| 2740k| 6423 | 10247k| 3.7 |5354k| 76 | - | 226 | 199 | 226 | 27 | 21 | 42k| 22k| 0.000000e+00 | 1.300000e+02 | Inf
1148.11/1148.57 c 1149s| 2750k| 6544 | 10291k| 3.7 |5499k| 76 | 6 | 226 | 205 | 226 | 27 | 21 | 42k| 22k| 0.000000e+00 | 1.300000e+02 | Inf
1152.32/1152.76 c 1153s| 2760k| 6566 | 10333k| 3.7 |5498k| 76 | 6 | 226 | 203 | 226 | 27 | 21 | 43k| 22k| 0.000000e+00 | 1.300000e+02 | Inf
1156.51/1156.94 c 1157s| 2770k| 6561 | 10374k| 3.7 |5506k| 76 | 6 | 226 | 206 | 226 | 27 | 21 | 43k| 22k| 0.000000e+00 | 1.300000e+02 | Inf
1160.81/1161.20 c 1161s| 2780k| 6585 | 10415k| 3.7 |5540k| 76 | 6 | 226 | 208 | 226 | 27 | 21 | 43k| 22k| 0.000000e+00 | 1.300000e+02 | Inf
1165.01/1165.42 c 1165s| 2790k| 6616 | 10458k| 3.7 |5564k| 76 | 6 | 226 | 214 | 226 | 27 | 21 | 43k| 22k| 0.000000e+00 | 1.300000e+02 | Inf
1169.11/1169.57 c 1170s| 2800k| 6599 | 10501k| 3.8 |5565k| 76 | 6 | 226 | 210 | 226 | 27 | 21 | 43k| 22k| 0.000000e+00 | 1.300000e+02 | Inf
1173.31/1173.73 c 1174s| 2810k| 6696 | 10541k| 3.8 |5670k| 76 | - | 226 | 212 | 226 | 27 | 21 | 43k| 22k| 0.000000e+00 | 1.300000e+02 | Inf
1177.40/1177.87 c 1178s| 2820k| 6674 | 10581k| 3.8 |5684k| 76 | - | 226 | 211 | 226 | 27 | 21 | 44k| 22k| 0.000000e+00 | 1.300000e+02 | Inf
1177.72/1178.14 o 108
1177.72/1178.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1177.72/1178.14 c *1178s| 2820k| 6665 | 10583k| 3.8 |5685k| 76 | - | 226 | 211 | 226 | 27 | 21 | 44k| 22k| 0.000000e+00 | 1.080000e+02 | Inf
1181.60/1182.05 c 1182s| 2830k| 6675 | 10619k| 3.8 |5701k| 76 | 6 | 226 | 214 | 226 | 27 | 21 | 44k| 22k| 0.000000e+00 | 1.080000e+02 | Inf
1185.71/1186.19 c 1186s| 2840k| 6592 | 10658k| 3.8 |5630k| 76 | - | 226 | 212 | 226 | 27 | 21 | 44k| 22k| 0.000000e+00 | 1.080000e+02 | Inf
1189.90/1190.38 c 1190s| 2850k| 6651 | 10699k| 3.8 |5659k| 76 | - | 226 | 212 | 226 | 27 | 21 | 44k| 22k| 0.000000e+00 | 1.080000e+02 | Inf
1194.11/1194.53 c 1195s| 2860k| 6644 | 10739k| 3.8 |5650k| 76 | 6 | 226 | 223 | 226 | 27 | 21 | 44k| 23k| 0.000000e+00 | 1.080000e+02 | Inf
1198.30/1198.74 c 1199s| 2870k| 6637 | 10779k| 3.8 |5660k| 76 | - | 226 | 226 | 226 | 27 | 21 | 45k| 23k| 0.000000e+00 | 1.080000e+02 | Inf
1202.49/1202.92 c 1203s| 2880k| 6656 | 10822k| 3.8 |5664k| 76 | - | 226 | 211 | 226 | 27 | 21 | 45k| 23k| 0.000000e+00 | 1.080000e+02 | Inf
1206.60/1207.08 c 1207s| 2890k| 6591 | 10864k| 3.8 |5551k| 76 | - | 226 | 205 | 226 | 27 | 21 | 45k| 23k| 0.000000e+00 | 1.080000e+02 | Inf
1210.90/1211.30 c 1211s| 2900k| 6811 | 10905k| 3.8 |5740k| 76 | 6 | 226 | 205 | 226 | 27 | 21 | 45k| 23k| 0.000000e+00 | 1.080000e+02 | Inf
1215.20/1215.60 c 1216s| 2910k| 6908 | 10950k| 3.8 |5853k| 76 | 6 | 226 | 208 | 226 | 27 | 21 | 45k| 23k| 0.000000e+00 | 1.080000e+02 | Inf
1219.41/1219.87 c 1220s| 2920k| 7014 | 10991k| 3.8 |5933k| 76 | 6 | 226 | 206 | 226 | 27 | 21 | 45k| 23k| 0.000000e+00 | 1.080000e+02 | Inf
1223.49/1223.95 c 1224s| 2930k| 7209 | 11031k| 3.8 |6109k| 76 | 6 | 226 | 205 | 226 | 27 | 21 | 45k| 23k| 0.000000e+00 | 1.080000e+02 | Inf
1227.59/1228.09 c 1228s| 2940k| 7492 | 11073k| 3.8 |6335k| 76 | - | 226 | 206 | 226 | 27 | 21 | 46k| 23k| 0.000000e+00 | 1.080000e+02 | Inf
1231.69/1232.13 c 1232s| 2950k| 7531 | 11112k| 3.8 |6372k| 76 | 6 | 226 | 205 | 226 | 27 | 21 | 46k| 23k| 0.000000e+00 | 1.080000e+02 | Inf
1236.08/1236.52 c 1237s| 2960k| 7360 | 11159k| 3.8 |6248k| 76 | 6 | 226 | 201 | 226 | 27 | 21 | 46k| 23k| 0.000000e+00 | 1.080000e+02 | Inf
1240.29/1240.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1240.29/1240.71 c 1241s| 2970k| 7381 | 11199k| 3.8 |6279k| 76 | 6 | 226 | 205 | 226 | 27 | 21 | 46k| 23k| 0.000000e+00 | 1.080000e+02 | Inf
1244.38/1244.88 c 1245s| 2980k| 7373 | 11240k| 3.8 |6287k| 76 | 6 | 226 | 208 | 226 | 27 | 21 | 46k| 23k| 0.000000e+00 | 1.080000e+02 | Inf
1248.79/1249.20 c 1249s| 2990k| 7051 | 11285k| 3.8 |6043k| 76 | 6 | 226 | 185 | 226 | 27 | 21 | 46k| 23k| 0.000000e+00 | 1.080000e+02 | Inf
1253.09/1253.52 c 1254s| 3000k| 7217 | 11328k| 3.8 |6218k| 76 | 6 | 226 | 187 | 226 | 27 | 21 | 47k| 23k| 0.000000e+00 | 1.080000e+02 | Inf
1257.38/1257.84 c 1258s| 3010k| 7254 | 11373k| 3.8 |6290k| 76 | 6 | 226 | 189 | 226 | 27 | 21 | 47k| 23k| 0.000000e+00 | 1.080000e+02 | Inf
1261.58/1262.08 c 1262s| 3020k| 7221 | 11414k| 3.8 |6296k| 76 | - | 226 | 189 | 226 | 27 | 21 | 47k| 23k| 0.000000e+00 | 1.080000e+02 | Inf
1265.88/1266.35 c 1266s| 3030k| 7272 | 11459k| 3.8 |6329k| 76 | - | 226 | 194 | 226 | 27 | 21 | 47k| 23k| 0.000000e+00 | 1.080000e+02 | Inf
1270.09/1270.58 c 1271s| 3040k| 7210 | 11504k| 3.8 |6288k| 76 | - | 226 | 195 | 226 | 27 | 21 | 47k| 23k| 0.000000e+00 | 1.080000e+02 | Inf
1274.28/1274.78 c 1275s| 3050k| 7224 | 11546k| 3.8 |6291k| 76 | 6 | 226 | 188 | 226 | 27 | 21 | 47k| 23k| 0.000000e+00 | 1.080000e+02 | Inf
1278.48/1278.94 c 1279s| 3060k| 7279 | 11589k| 3.8 |6383k| 76 | - | 226 | 193 | 226 | 27 | 21 | 47k| 23k| 0.000000e+00 | 1.080000e+02 | Inf
1282.57/1283.05 c 1283s| 3070k| 7220 | 11631k| 3.8 |6286k| 76 | 6 | 226 | 189 | 226 | 27 | 21 | 47k| 24k| 0.000000e+00 | 1.080000e+02 | Inf
1286.77/1287.29 c 1287s| 3080k| 7242 | 11676k| 3.8 |6311k| 76 | 6 | 226 | 198 | 226 | 27 | 21 | 48k| 24k| 0.000000e+00 | 1.080000e+02 | Inf
1291.07/1291.52 c 1292s| 3090k| 6950 | 11722k| 3.8 |6023k| 76 | - | 226 | 186 | 226 | 27 | 21 | 48k| 24k| 0.000000e+00 | 1.080000e+02 | Inf
1295.38/1295.88 c 1296s| 3100k| 6835 | 11767k| 3.8 |5877k| 76 | - | 226 | 174 | 226 | 27 | 21 | 48k| 24k| 0.000000e+00 | 1.080000e+02 | Inf
1299.67/1300.10 c 1300s| 3110k| 6995 | 11808k| 3.8 |6009k| 76 | - | 226 | 180 | 226 | 27 | 21 | 48k| 24k| 0.000000e+00 | 1.080000e+02 | Inf
1303.87/1304.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1303.87/1304.30 c 1304s| 3120k| 7192 | 11849k| 3.8 |6178k| 76 | - | 226 | 184 | 226 | 27 | 21 | 48k| 24k| 0.000000e+00 | 1.080000e+02 | Inf
1307.87/1308.34 c 1308s| 3130k| 7243 | 11886k| 3.8 |6228k| 76 | 6 | 226 | 188 | 226 | 27 | 21 | 48k| 24k| 0.000000e+00 | 1.080000e+02 | Inf
1312.07/1312.55 c 1313s| 3140k| 7379 | 11926k| 3.8 |6347k| 76 | 6 | 226 | 184 | 226 | 27 | 21 | 48k| 24k| 0.000000e+00 | 1.080000e+02 | Inf
1316.37/1316.88 c 1317s| 3150k| 7450 | 11966k| 3.8 |6425k| 76 | 6 | 226 | 185 | 226 | 27 | 21 | 49k| 24k| 0.000000e+00 | 1.080000e+02 | Inf
1320.47/1320.99 c 1321s| 3160k| 7545 | 12005k| 3.8 |6515k| 76 | 6 | 226 | 184 | 226 | 27 | 21 | 49k| 24k| 0.000000e+00 | 1.080000e+02 | Inf
1324.76/1325.26 c 1325s| 3170k| 7580 | 12045k| 3.8 |6552k| 76 | 6 | 226 | 185 | 226 | 27 | 21 | 49k| 24k| 0.000000e+00 | 1.080000e+02 | Inf
1329.06/1329.55 c 1330s| 3180k| 7637 | 12083k| 3.8 |6616k| 76 | 6 | 226 | 187 | 226 | 27 | 21 | 50k| 24k| 0.000000e+00 | 1.080000e+02 | Inf
1333.16/1333.63 c 1334s| 3190k| 7561 | 12122k| 3.8 |6552k| 76 | 6 | 226 | 188 | 226 | 27 | 21 | 50k| 24k| 0.000000e+00 | 1.080000e+02 | Inf
1337.36/1337.87 c 1338s| 3200k| 7501 | 12163k| 3.8 |6523k| 76 | - | 226 | 187 | 226 | 27 | 21 | 50k| 24k| 0.000000e+00 | 1.080000e+02 | Inf
1341.57/1342.06 c 1342s| 3210k| 7363 | 12204k| 3.8 |6464k| 76 | 6 | 226 | 192 | 226 | 27 | 21 | 50k| 24k| 0.000000e+00 | 1.080000e+02 | Inf
1345.75/1346.23 c 1346s| 3220k| 7362 | 12245k| 3.8 |6485k| 76 | 6 | 226 | 190 | 226 | 27 | 21 | 50k| 24k| 0.000000e+00 | 1.080000e+02 | Inf
1349.95/1350.44 c 1350s| 3230k| 7180 | 12286k| 3.8 |6337k| 76 | - | 226 | 192 | 226 | 27 | 21 | 51k| 24k| 0.000000e+00 | 1.080000e+02 | Inf
1354.26/1354.76 c 1355s| 3240k| 7300 | 12329k| 3.8 |6476k| 76 | - | 226 | 187 | 226 | 27 | 21 | 51k| 24k| 0.000000e+00 | 1.080000e+02 | Inf
1358.65/1359.15 c 1359s| 3250k| 7282 | 12373k| 3.8 |6473k| 76 | - | 226 | 194 | 0 | 0 | 21 | 51k| 24k| 0.000000e+00 | 1.080000e+02 | Inf
1362.95/1363.49 c 1363s| 3260k| 7288 | 12414k| 3.8 |6476k| 76 | 6 | 226 | 191 | 226 | 27 | 21 | 51k| 24k| 0.000000e+00 | 1.080000e+02 | Inf
1367.35/1367.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1367.35/1367.81 c 1368s| 3270k| 7317 | 12455k| 3.8 |6516k| 76 | 6 | 226 | 189 | 226 | 27 | 21 | 51k| 24k| 0.000000e+00 | 1.080000e+02 | Inf
1371.55/1372.00 c 1372s| 3280k| 7348 | 12497k| 3.8 |6562k| 76 | 6 | 226 | 195 | 226 | 27 | 21 | 52k| 24k| 0.000000e+00 | 1.080000e+02 | Inf
1375.85/1376.31 c 1376s| 3290k| 7374 | 12539k| 3.8 |6602k| 76 | 6 | 226 | 199 | 226 | 27 | 21 | 52k| 24k| 0.000000e+00 | 1.080000e+02 | Inf
1380.15/1380.61 c 1381s| 3300k| 7444 | 12581k| 3.8 |6685k| 76 | - | 226 | 194 | 226 | 27 | 21 | 52k| 24k| 0.000000e+00 | 1.080000e+02 | Inf
1384.35/1384.87 c 1385s| 3310k| 7473 | 12622k| 3.8 |6736k| 76 | 6 | 226 | 193 | 226 | 27 | 21 | 52k| 24k| 0.000000e+00 | 1.080000e+02 | Inf
1388.64/1389.16 c 1389s| 3320k| 7415 | 12662k| 3.8 |6653k| 76 | - | 226 | 192 | 226 | 27 | 21 | 52k| 24k| 0.000000e+00 | 1.080000e+02 | Inf
1393.04/1393.52 c 1394s| 3330k| 7471 | 12706k| 3.8 |6659k| 76 | - | 226 | 184 | 226 | 27 | 21 | 53k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1397.34/1397.80 c 1398s| 3340k| 7459 | 12751k| 3.8 |6660k| 76 | 6 | 226 | 185 | 226 | 27 | 21 | 53k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1401.54/1402.01 c 1402s| 3350k| 7468 | 12794k| 3.8 |6669k| 76 | - | 226 | 191 | 226 | 27 | 21 | 53k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1405.54/1406.06 c 1406s| 3360k| 7523 | 12833k| 3.8 |6719k| 76 | - | 226 | 193 | 226 | 27 | 21 | 53k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1409.84/1410.32 c 1410s| 3370k| 7521 | 12874k| 3.8 |6738k| 76 | - | 226 | 196 | 226 | 27 | 21 | 53k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1414.04/1414.58 c 1415s| 3380k| 7606 | 12915k| 3.8 |6834k| 76 | - | 226 | 196 | 226 | 27 | 21 | 53k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1418.44/1418.91 c 1419s| 3390k| 7628 | 12960k| 3.8 |6881k| 76 | - | 226 | 199 | 0 | 0 | 21 | 53k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1422.54/1423.00 c 1423s| 3400k| 7617 | 13001k| 3.8 |6886k| 76 | - | 226 | 205 | 226 | 27 | 21 | 54k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1426.74/1427.25 c 1427s| 3410k| 7570 | 13043k| 3.8 |6799k| 76 | - | 226 | 204 | 226 | 27 | 21 | 54k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1430.93/1431.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1430.93/1431.47 c 1431s| 3420k| 7261 | 13088k| 3.8 |6467k| 76 | - | 226 | 196 | 226 | 27 | 21 | 54k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1435.34/1435.83 c 1436s| 3430k| 7269 | 13131k| 3.8 |6486k| 76 | 6 | 226 | 192 | 226 | 27 | 21 | 54k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1439.53/1440.01 c 1440s| 3440k| 7068 | 13173k| 3.8 |6272k| 76 | 6 | 226 | 190 | 226 | 27 | 21 | 54k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1443.84/1444.31 c 1444s| 3450k| 6627 | 13215k| 3.8 |5798k| 76 | - | 226 | 183 | 0 | 0 | 21 | 54k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1447.93/1448.45 c 1448s| 3460k| 6609 | 13250k| 3.8 |5770k| 76 | 6 | 226 | 181 | 226 | 27 | 21 | 55k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1451.93/1452.50 c 1452s| 3470k| 6579 | 13289k| 3.8 |5747k| 76 | - | 226 | 177 | 226 | 27 | 21 | 55k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1456.13/1456.68 c 1457s| 3480k| 6446 | 13326k| 3.8 |5582k| 76 | 6 | 226 | 169 | 226 | 27 | 21 | 55k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1460.13/1460.64 c 1461s| 3490k| 6461 | 13361k| 3.8 |5596k| 76 | - | 226 | 172 | 226 | 27 | 21 | 55k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1464.13/1464.67 c 1465s| 3500k| 6440 | 13395k| 3.8 |5579k| 76 | 6 | 226 | 171 | 226 | 27 | 21 | 55k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1468.22/1468.72 c 1469s| 3510k| 6468 | 13430k| 3.8 |5607k| 76 | 6 | 226 | 177 | 226 | 27 | 21 | 56k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1472.22/1472.76 c 1473s| 3520k| 6444 | 13465k| 3.8 |5575k| 76 | 6 | 226 | 169 | 226 | 27 | 21 | 56k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1476.31/1476.82 c 1477s| 3530k| 6449 | 13499k| 3.8 |5573k| 76 | 6 | 226 | 165 | 226 | 27 | 21 | 56k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1480.52/1481.00 c 1481s| 3540k| 6440 | 13537k| 3.8 |5589k| 76 | 6 | 226 | 167 | 226 | 27 | 21 | 56k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1484.62/1485.16 c 1485s| 3550k| 6473 | 13572k| 3.8 |5635k| 76 | 6 | 226 | 168 | 226 | 27 | 21 | 57k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1488.72/1489.29 c 1489s| 3560k| 6433 | 13609k| 3.8 |5561k| 76 | 6 | 226 | 163 | 226 | 27 | 21 | 57k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1492.91/1493.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1492.91/1493.43 c 1493s| 3570k| 6366 | 13653k| 3.8 |5503k| 76 | - | 226 | 165 | 0 | 0 | 21 | 57k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1497.11/1497.66 c 1498s| 3580k| 6283 | 13689k| 3.8 |5433k| 76 | - | 226 | 163 | 226 | 27 | 21 | 57k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1501.32/1501.85 c 1502s| 3590k| 6166 | 13729k| 3.8 |5280k| 76 | 6 | 226 | 160 | 226 | 27 | 21 | 57k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1505.51/1506.00 c 1506s| 3600k| 5988 | 13768k| 3.8 |5045k| 76 | - | 226 | 159 | 226 | 27 | 21 | 57k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1509.72/1510.20 c 1510s| 3610k| 6033 | 13813k| 3.8 |5077k| 76 | 6 | 226 | 164 | 226 | 27 | 21 | 58k| 25k| 0.000000e+00 | 1.080000e+02 | Inf
1513.91/1514.41 c 1514s| 3620k| 5921 | 13857k| 3.8 |4956k| 76 | 6 | 226 | 163 | 226 | 27 | 21 | 58k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1518.20/1518.77 c 1519s| 3630k| 6065 | 13899k| 3.8 |5062k| 76 | - | 226 | 167 | 226 | 27 | 21 | 58k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1522.41/1522.95 c 1523s| 3640k| 6356 | 13941k| 3.8 |5288k| 76 | 6 | 226 | 165 | 226 | 27 | 21 | 58k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1526.61/1527.11 c 1527s| 3650k| 6529 | 13982k| 3.8 |5438k| 76 | 6 | 226 | 167 | 226 | 27 | 21 | 58k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1530.61/1531.17 c 1531s| 3660k| 6605 | 14020k| 3.8 |5510k| 76 | - | 226 | 166 | 226 | 27 | 21 | 58k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1534.70/1535.22 c 1535s| 3670k| 6552 | 14060k| 3.8 |5513k| 76 | - | 226 | 169 | 226 | 27 | 21 | 58k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1538.70/1539.28 c 1539s| 3680k| 6543 | 14100k| 3.8 |5528k| 76 | - | 226 | 170 | 226 | 27 | 21 | 59k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1543.00/1543.56 c 1544s| 3690k| 6601 | 14141k| 3.8 |5598k| 76 | - | 226 | 174 | 226 | 27 | 21 | 59k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1547.30/1547.87 c 1548s| 3700k| 6675 | 14184k| 3.8 |5653k| 76 | - | 226 | 177 | 226 | 27 | 21 | 59k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1551.61/1552.16 c 1552s| 3710k| 6747 | 14225k| 3.8 |5730k| 76 | - | 226 | 181 | 226 | 27 | 21 | 59k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1555.91/1556.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1555.91/1556.41 c 1556s| 3720k| 6767 | 14266k| 3.8 |5783k| 76 | 6 | 226 | 181 | 226 | 27 | 21 | 59k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1560.09/1560.64 c 1561s| 3730k| 6822 | 14307k| 3.8 |5835k| 76 | 6 | 226 | 182 | 226 | 27 | 21 | 59k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1564.19/1564.79 c 1565s| 3740k| 6752 | 14348k| 3.8 |5787k| 76 | 6 | 226 | 189 | 226 | 27 | 21 | 60k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1568.39/1568.93 c 1569s| 3750k| 6741 | 14389k| 3.8 |5758k| 76 | 6 | 226 | 185 | 226 | 27 | 21 | 60k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1572.59/1573.16 c 1573s| 3760k| 6744 | 14430k| 3.8 |5790k| 76 | - | 226 | 183 | 226 | 27 | 21 | 60k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1576.80/1577.35 c 1577s| 3770k| 6870 | 14471k| 3.8 |5887k| 76 | - | 226 | 181 | 226 | 27 | 21 | 60k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1580.98/1581.52 c 1582s| 3780k| 6856 | 14511k| 3.8 |5894k| 76 | - | 226 | 175 | 226 | 27 | 21 | 60k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1585.19/1585.70 c 1586s| 3790k| 6828 | 14552k| 3.8 |5880k| 76 | 6 | 226 | 174 | 226 | 27 | 21 | 60k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1589.49/1590.00 c 1590s| 3800k| 6895 | 14593k| 3.8 |5947k| 76 | 6 | 226 | 175 | 226 | 27 | 21 | 61k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1593.79/1594.30 c 1594s| 3810k| 6988 | 14634k| 3.8 |6042k| 76 | - | 226 | 173 | 226 | 27 | 21 | 61k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1597.98/1598.53 c 1599s| 3820k| 7106 | 14673k| 3.8 |6169k| 76 | 6 | 226 | 177 | 226 | 27 | 21 | 61k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1602.09/1602.68 c 1603s| 3830k| 7173 | 14714k| 3.8 |6221k| 76 | 6 | 226 | 170 | 226 | 27 | 21 | 61k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1606.18/1606.75 c 1607s| 3840k| 7298 | 14752k| 3.8 |6330k| 76 | 6 | 226 | 174 | 226 | 27 | 21 | 61k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1610.28/1610.85 c 1611s| 3850k| 7289 | 14792k| 3.8 |6338k| 76 | - | 226 | 182 | 226 | 27 | 21 | 62k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1614.37/1614.96 c 1615s| 3860k| 7611 | 14832k| 3.8 |6563k| 76 | 6 | 226 | 178 | 226 | 27 | 21 | 62k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1618.48/1619.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1618.48/1619.06 c 1619s| 3870k| 7629 | 14872k| 3.8 |6566k| 76 | - | 226 | 174 | 226 | 27 | 21 | 62k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1622.67/1623.25 c 1623s| 3880k| 7408 | 14913k| 3.8 |6394k| 76 | 6 | 226 | 169 | 226 | 27 | 21 | 62k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1626.77/1627.36 c 1627s| 3890k| 7441 | 14951k| 3.8 |6422k| 76 | 6 | 226 | 172 | 226 | 27 | 21 | 62k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1630.87/1631.42 c 1631s| 3900k| 7041 | 14992k| 3.8 |6128k| 76 | - | 226 | 167 | 226 | 27 | 21 | 62k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1635.08/1635.62 c 1636s| 3910k| 6665 | 15037k| 3.8 |5826k| 76 | - | 226 | 165 | 226 | 27 | 21 | 63k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1639.17/1639.77 c 1640s| 3920k| 6453 | 15079k| 3.8 |5612k| 76 | - | 226 | 164 | 0 | 0 | 21 | 63k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1643.37/1643.95 c 1644s| 3930k| 6264 | 15120k| 3.8 |5427k| 76 | 6 | 226 | 165 | 226 | 27 | 21 | 63k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1647.67/1648.28 c 1648s| 3940k| 6280 | 15165k| 3.8 |5457k| 76 | 6 | 226 | 165 | 226 | 27 | 21 | 63k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1651.96/1652.60 c 1653s| 3950k| 6366 | 15209k| 3.9 |5550k| 76 | - | 226 | 173 | 226 | 27 | 21 | 63k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1656.27/1656.81 c 1657s| 3960k| 6388 | 15252k| 3.9 |5609k| 76 | 6 | 226 | 175 | 226 | 27 | 21 | 63k| 26k| 0.000000e+00 | 1.080000e+02 | Inf
1660.56/1661.19 c 1661s| 3970k| 6460 | 15294k| 3.9 |5695k| 76 | 6 | 226 | 174 | 226 | 27 | 21 | 64k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1664.87/1665.42 c 1665s| 3980k| 6465 | 15335k| 3.9 |5723k| 76 | - | 226 | 182 | 226 | 27 | 21 | 64k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1669.07/1669.68 c 1670s| 3990k| 6477 | 15378k| 3.9 |5745k| 76 | - | 226 | 178 | 226 | 27 | 21 | 64k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1673.26/1673.84 c 1674s| 4000k| 6524 | 15418k| 3.9 |5786k| 76 | 6 | 226 | 186 | 226 | 27 | 21 | 64k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1677.36/1678.00 c 1678s| 4010k| 6478 | 15460k| 3.9 |5759k| 76 | - | 226 | 182 | 226 | 27 | 21 | 64k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1681.66/1682.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1681.66/1682.21 c 1682s| 4020k| 6475 | 15501k| 3.9 |5778k| 76 | - | 226 | 187 | 226 | 27 | 21 | 65k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1686.05/1686.64 c 1687s| 4030k| 6459 | 15546k| 3.9 |5774k| 76 | - | 226 | 185 | 226 | 27 | 21 | 65k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1690.45/1691.03 c 1691s| 4040k| 6447 | 15592k| 3.9 |5764k| 76 | - | 226 | 182 | 226 | 27 | 21 | 65k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1694.75/1695.36 c 1695s| 4050k| 6439 | 15635k| 3.9 |5754k| 76 | 6 | 226 | 180 | 226 | 27 | 21 | 65k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1699.25/1699.87 c 1700s| 4060k| 6534 | 15677k| 3.9 |5831k| 76 | - | 226 | 171 | 226 | 27 | 21 | 65k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1703.36/1703.98 c 1704s| 4070k| 6481 | 15718k| 3.9 |5810k| 76 | 6 | 226 | 181 | 226 | 27 | 21 | 65k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1707.66/1708.27 c 1708s| 4080k| 6488 | 15757k| 3.9 |5800k| 76 | 6 | 226 | 167 | 226 | 27 | 21 | 66k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1711.65/1712.25 c 1712s| 4090k| 6515 | 15790k| 3.9 |5828k| 76 | - | 226 | 154 | 226 | 27 | 21 | 66k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1715.55/1716.18 c 1716s| 4100k| 6526 | 15822k| 3.9 |5852k| 76 | - | 226 | 151 | 0 | 0 | 21 | 66k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1719.64/1720.25 c 1720s| 4110k| 6537 | 15861k| 3.9 |5869k| 76 | - | 226 | 153 | 226 | 27 | 21 | 66k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1723.44/1724.08 c 1724s| 4120k| 6516 | 15893k| 3.9 |5854k| 76 | 6 | 226 | 155 | 226 | 27 | 21 | 66k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1727.25/1727.88 c 1728s| 4130k| 6475 | 15924k| 3.9 |5815k| 76 | 6 | 226 | 148 | 226 | 27 | 21 | 66k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1731.64/1732.22 c 1732s| 4140k| 6472 | 15965k| 3.9 |5830k| 76 | 6 | 226 | 142 | 226 | 27 | 21 | 67k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1735.94/1736.52 c 1737s| 4150k| 6501 | 16005k| 3.9 |5858k| 76 | 6 | 226 | 141 | 226 | 27 | 21 | 67k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1740.24/1740.83 c 1741s| 4160k| 6535 | 16044k| 3.9 |5912k| 76 | - | 226 | 140 | 226 | 27 | 21 | 67k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1744.54/1745.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1744.54/1745.15 c 1745s| 4170k| 6513 | 16085k| 3.9 |5919k| 76 | - | 226 | 143 | 226 | 27 | 21 | 68k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1748.73/1749.34 c 1749s| 4180k| 6496 | 16123k| 3.9 |5916k| 76 | - | 226 | 141 | 226 | 27 | 21 | 68k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1752.93/1753.53 c 1754s| 4190k| 6501 | 16162k| 3.9 |5929k| 76 | 6 | 226 | 142 | 226 | 27 | 21 | 68k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1757.15/1757.71 c 1758s| 4200k| 6543 | 16198k| 3.9 |5935k| 76 | 6 | 226 | 138 | 226 | 27 | 21 | 68k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1761.14/1761.73 c 1762s| 4210k| 6585 | 16229k| 3.9 |5988k| 76 | 6 | 226 | 133 | 226 | 27 | 21 | 69k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1765.04/1765.68 c 1766s| 4220k| 6605 | 16261k| 3.9 |6000k| 76 | - | 226 | 132 | 226 | 27 | 21 | 69k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1769.04/1769.62 c 1770s| 4230k| 6598 | 16294k| 3.9 |5991k| 76 | 6 | 226 | 133 | 226 | 27 | 21 | 69k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1772.83/1773.47 c 1773s| 4240k| 6604 | 16326k| 3.9 |5997k| 76 | 6 | 226 | 134 | 226 | 27 | 21 | 69k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1776.83/1777.43 c 1777s| 4250k| 6610 | 16361k| 3.8 |6011k| 76 | 6 | 226 | 134 | 226 | 27 | 21 | 69k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1780.72/1781.38 c 1781s| 4260k| 6609 | 16394k| 3.8 |6007k| 76 | 6 | 226 | 132 | 226 | 27 | 21 | 69k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1784.82/1785.43 c 1785s| 4270k| 6525 | 16428k| 3.8 |5891k| 76 | - | 226 | 127 | 226 | 27 | 21 | 69k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1788.73/1789.35 c 1789s| 4280k| 6535 | 16460k| 3.8 |5898k| 76 | - | 226 | 129 | 226 | 27 | 21 | 70k| 27k| 0.000000e+00 | 1.080000e+02 | Inf
1789.42/1790.01 c
1789.42/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.42/1790.01 c Solving Time (sec) : 1790.00
1789.42/1790.01 c Solving Nodes : 4281765
1789.42/1790.01 c Primal Bound : +1.08000000000000e+02 (41 solutions)
1789.42/1790.01 c Dual Bound : +0.00000000000000e+00
1789.42/1790.01 c Gap : infinite
1789.42/1790.01 s SATISFIABLE
1789.42/1790.01 v -x264 -x230 x229 x228 -x227 x226 -x224 x223 x222 x221 -x220 x219 -x218 x217 -x216 -x215 -x213 -x212 -x211 -x210 -x209 x208 x207
1789.42/1790.01 v -x206 -x205 -x204 x202 x201 -x200 x199 -x198 -x197 x196 x195 x194 x193 x280 x279 -x278 x277 -x276 -x225 x214 x203 x192 -x275
1789.42/1790.01 v -x274 x273 -x272 x271 -x270 x269 -x268 -x267 -x266 x265 -x263 -x262 -x261 -x260 x259 x258 -x257 x256 x255 x254 -x253 -x252 -x251
1789.42/1790.01 v x250 x249 x248 x247 -x246 -x245 x244 -x243 x242 -x241 x240 x239 -x238 -x237 x236 -x235 -x234 x233 -x232 x231 -x191 x190
1789.42/1790.01 v -x189 x188 x187 x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1789.42/1790.01 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1789.42/1790.01 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1789.42/1790.01 v -x125 x124 x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1789.42/1790.01 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81
1789.42/1790.01 v -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 x63 x62 x61 -x60 -x59 -x58 -x57 -x56 -x55
1789.42/1790.01 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 x33 x32 -x31 -x30 -x29
1789.42/1790.01 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3
1789.42/1790.01 v -x2 x1
1789.42/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.42/1790.01 c Solving Time : 1790.00
1789.42/1790.01 c Original Problem :
1789.42/1790.01 c Problem name : HOME/instance-2703856-1278557477.opb
1789.42/1790.01 c Variables : 280 (280 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.42/1790.01 c Constraints : 11 initial, 11 maximal
1789.42/1790.01 c Presolved Problem :
1789.42/1790.01 c Problem name : t_HOME/instance-2703856-1278557477.opb
1789.42/1790.01 c Variables : 226 (226 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.42/1790.01 c Constraints : 11 initial, 270 maximal
1789.42/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.42/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.42/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.42/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.42/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.42/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.42/1790.01 c probing : 0.03 0 0 0 0 0 0 0 0
1789.42/1790.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1789.42/1790.01 c linear : 0.00 54 0 0 54 0 0 5 5
1789.42/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.42/1790.01 c root node : - 84 - - 84 - - - -
1789.42/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.42/1790.01 c integral : 0 0 0 2154657 0 257 7195 0 0 4295986
1789.42/1790.01 c knapsack : 5 6 5551691 1 1 5088 1348978 18 0 0
1789.42/1790.01 c linear : 6 6 5559977 0 1 259071 6365365 0 0 0
1789.42/1790.01 c logicor : 0+ 0 1956867 0 0 841 67914 0 0 0
1789.42/1790.01 c countsols : 0 0 0 25 1 0 0 0 0 0
1789.42/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.42/1790.01 c integral : 30.01 0.00 0.00 30.01 0.00
1789.42/1790.01 c knapsack : 9.53 0.00 9.53 0.00 0.00
1789.42/1790.01 c linear : 571.69 0.00 571.69 0.00 0.00
1789.42/1790.01 c logicor : 4.41 0.00 4.41 0.00 0.00
1789.42/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.42/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.42/1790.01 c vbounds : 2.12 2 0 0
1789.42/1790.01 c rootredcost : 2.19 41 0 84
1789.42/1790.01 c pseudoobj : 41.52 5564817 173 4355
1789.42/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.42/1790.01 c propagation : 42.43 257614 66524 218344 53.6 2 48.5 -
1789.42/1790.01 c infeasible LP : 0.26 2907 2886 4077 25.9 2 55.5 0
1789.42/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.42/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.42/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.42/1790.01 c applied globally : - - - 4737 22.8 - - -
1789.42/1790.01 c applied locally : - - - 65278 46.5 - - -
1789.42/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.42/1790.01 c cut pool : 0.00 5 - - 3 - (maximal pool size: 31)
1789.42/1790.01 c redcost : 23.60 2172535 0 376827 0 0
1789.42/1790.01 c impliedbounds : 0.00 6 0 0 18 0
1789.42/1790.01 c intobj : 0.00 0 0 0 0 0
1789.42/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.42/1790.01 c gomory : 0.01 6 0 0 0 0
1789.42/1790.01 c strongcg : 0.01 6 0 0 3 0
1789.42/1790.01 c cmir : 0.01 6 0 0 9 0
1789.42/1790.01 c flowcover : 0.20 6 0 0 17 0
1789.42/1790.01 c clique : 0.00 1 0 0 0 0
1789.42/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.42/1790.01 c mcf : 0.00 1 0 0 0 0
1789.42/1790.01 c rapidlearning : 0.03 1 0 0 0 0
1789.42/1790.01 c Pricers : Time Calls Vars
1789.42/1790.01 c problem variables: 0.00 0 0
1789.42/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.42/1790.01 c relpscost : 27.88 2154632 257 7195 0 0 4295986
1789.42/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.42/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.42/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.42/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.42/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.42/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.42/1790.01 c random : 0.00 0 0 0 0 0 0
1789.42/1790.01 c Primal Heuristics : Time Calls Found
1789.42/1790.01 c LP solutions : 0.01 - 25
1789.42/1790.01 c pseudo solutions : 0.00 - 0
1789.42/1790.01 c feaspump : 0.28 1 0
1789.42/1790.01 c oneopt : 1.59 41 0
1789.42/1790.01 c crossover : 2.42 15 0
1789.42/1790.01 c fracdiving : 1.51 386 3
1789.42/1790.01 c veclendiving : 1.79 386 7
1789.42/1790.01 c guideddiving : 1.33 387 1
1789.42/1790.01 c coefdiving : 1.44 387 0
1789.42/1790.01 c pscostdiving : 1.67 387 2
1789.42/1790.01 c linesearchdiving : 1.33 387 3
1789.42/1790.01 c objpscostdiving : 0.60 194 0
1789.42/1790.01 c rootsoldiving : 1.54 194 0
1789.42/1790.01 c trivial : 0.00 2 0
1789.42/1790.01 c simplerounding : 0.90 0 0
1789.42/1790.01 c zirounding : 1.52 1000 0
1789.42/1790.01 c rounding : 2.53 20789 0
1789.42/1790.01 c shifting : 8.72 6874 0
1789.42/1790.01 c intshifting : 0.13 0 0
1789.42/1790.01 c twoopt : 0.00 0 0
1789.42/1790.01 c fixandinfer : 0.00 0 0
1789.42/1790.01 c intdiving : 0.00 0 0
1789.42/1790.01 c actconsdiving : 0.00 0 0
1789.42/1790.01 c octane : 0.00 0 0
1789.42/1790.01 c rens : 0.04 1 0
1789.42/1790.01 c rins : 0.00 0 0
1789.42/1790.01 c localbranching : 0.00 0 0
1789.42/1790.01 c mutation : 0.00 0 0
1789.42/1790.01 c dins : 0.00 0 0
1789.42/1790.01 c undercover : 0.00 0 0
1789.42/1790.01 c nlp : 1.25 0 0
1789.42/1790.01 c trysol : 1.94 0 0
1789.42/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.42/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.42/1790.01 c dual LP : 745.54 4039858 16350811 4.05 21931.63
1789.42/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.42/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.42/1790.01 c diving/probing LP: 4.90 22816 115222 5.05 23528.86
1789.42/1790.01 c strong branching : 9.23 28000 142173 5.08 15410.37
1789.42/1790.01 c (at root node) : - 23 3288 142.96 -
1789.42/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.42/1790.01 c B&B Tree :
1789.42/1790.01 c number of runs : 1
1789.42/1790.01 c nodes : 4281765
1789.42/1790.01 c nodes (total) : 4281765
1789.42/1790.01 c nodes left : 6540
1789.42/1790.01 c max depth : 76
1789.42/1790.01 c max depth (total): 76
1789.42/1790.01 c backtracks : 821026 (19.2%)
1789.42/1790.01 c delayed cutoffs : 6018
1789.42/1790.01 c repropagations : 113700 (116083 domain reductions, 5560 cutoffs)
1789.42/1790.01 c avg switch length: 3.32
1789.42/1790.01 c switching time : 75.86
1789.42/1790.01 c Solution :
1789.42/1790.01 c Solutions found : 41 (41 improvements)
1789.42/1790.01 c First Solution : +4.65920000000000e+05 (in run 1, after 43 nodes, 0.86 seconds, depth 29, found by <relaxation>)
1789.42/1790.01 c Primal Bound : +1.08000000000000e+02 (in run 1, after 2820594 nodes, 1178.13 seconds, depth 65, found by <relaxation>)
1789.42/1790.01 c Dual Bound : +0.00000000000000e+00
1789.42/1790.01 c Gap : infinite
1789.42/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.42/1790.01 c Root Iterations : 123
1789.42/1790.04 c Time complete: 1789.47.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703856-1278557477/watcher-2703856-1278557477 -o /tmp/evaluation-result-2703856-1278557477/solver-2703856-1278557477 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703856-1278557477.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 28000
/proc/meminfo: memFree=1730888/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=7904 CPUtime=0
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 1178 0 0 0 0 0 0 0 23 0 1 0 23959153 8093696 1091 1992294400 4194304 8395647 140737408922112 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28000/statm: 1976 1099 365 1026 0 946 0
[startup+0.067471 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 28000
/proc/meminfo: memFree=1730888/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=23260 CPUtime=0.06
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 3607 0 0 0 5 1 0 0 25 0 1 0 23959153 23818240 3166 1992294400 4194304 8395647 140737408922112 18446744073709551615 4922697 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 5815 3175 596 1026 0 4785 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 23260
[startup+0.101474 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 28000
/proc/meminfo: memFree=1730888/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=23260 CPUtime=0.09
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 5209 0 0 0 7 2 0 0 25 0 1 0 23959153 23818240 4768 1992294400 4194304 8395647 140737408922112 18446744073709551615 4922685 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 5815 4768 596 1026 0 4785 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23260
[startup+0.301494 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 28000
/proc/meminfo: memFree=1730888/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=32144 CPUtime=0.29
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 7192 0 0 0 26 3 0 0 25 0 1 0 23959153 32915456 6751 1992294400 4194304 8395647 140737408922112 18446744073709551615 4922672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 8036 6751 620 1026 0 7006 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32144
[startup+0.701534 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 28000
/proc/meminfo: memFree=1730888/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=32284 CPUtime=0.69
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 7412 0 0 0 64 5 0 0 25 0 1 0 23959153 33058816 6971 1992294400 4194304 8395647 140737408922112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 8071 6971 630 1026 0 7041 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32284
[startup+1.50162 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 28001
/proc/meminfo: memFree=1705336/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=32284 CPUtime=1.49
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 7418 0 0 0 139 10 0 0 25 0 1 0 23959153 33058816 6977 1992294400 4194304 8395647 140737408922112 18446744073709551615 5614593 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 8071 6977 635 1026 0 7041 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32284
[startup+3.10078 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 28001
/proc/meminfo: memFree=1705088/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=29884 CPUtime=3.09
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 7897 0 0 0 293 16 0 0 25 0 1 0 23959153 30601216 6593 1992294400 4194304 8395647 140737408922112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 7471 6593 636 1026 0 6441 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29884
[startup+6.30111 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 28002
/proc/meminfo: memFree=1705336/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=30908 CPUtime=6.29
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 8131 0 0 0 600 29 0 0 25 0 1 0 23959153 31649792 6827 1992294400 4194304 8395647 140737408922112 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 7727 6827 636 1026 0 6697 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30908
[startup+12.7008 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 28002
/proc/meminfo: memFree=1705708/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=29884 CPUtime=12.69
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 10269 0 0 0 1218 51 0 0 25 0 1 0 23959153 30601216 6610 1992294400 4194304 8395647 140737408922112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 7471 6610 638 1026 0 6441 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29884
[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 28002
/proc/meminfo: memFree=1705832/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=29884 CPUtime=25.49
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 13012 0 0 0 2449 100 0 0 25 0 1 0 23959153 30601216 6610 1992294400 4194304 8395647 140737408922112 18446744073709551615 5026474 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 7471 6610 638 1026 0 6441 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29884
[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 28003
/proc/meminfo: memFree=1704468/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=31932 CPUtime=51.08
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 13509 0 0 0 4909 199 0 0 25 0 1 0 23959153 32698368 7107 1992294400 4194304 8395647 140737408922112 18446744073709551615 4995152 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 7983 7107 638 1026 0 6953 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 31932
[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 28004
/proc/meminfo: memFree=1703476/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=32316 CPUtime=102.27
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 14650 0 0 0 9851 376 0 0 25 0 1 0 23959153 33091584 7286 1992294400 4194304 8395647 140737408922112 18446744073709551615 4241012 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 8079 7286 736 1026 0 7049 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 32316
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28006
/proc/meminfo: memFree=1703352/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=32316 CPUtime=162.25
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 14652 0 0 0 15633 592 0 0 25 0 1 0 23959153 33091584 7288 1992294400 4194304 8395647 140737408922112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 8079 7288 736 1026 0 7049 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 32316
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28007
/proc/meminfo: memFree=1703352/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=32356 CPUtime=222.22
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 15592 0 0 0 21418 804 0 0 25 0 1 0 23959153 33132544 7297 1992294400 4194304 8395647 140737408922112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 8089 7297 736 1026 0 7059 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 32356
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28009
/proc/meminfo: memFree=1703228/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=32356 CPUtime=282.21
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 15593 0 0 0 27209 1012 0 0 25 0 1 0 23959153 33132544 7298 1992294400 4194304 8395647 140737408922112 18446744073709551615 5026907 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 8089 7298 736 1026 0 7059 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 32356
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28011
/proc/meminfo: memFree=1702980/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=32400 CPUtime=342.18
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 17519 0 0 0 32987 1231 0 0 25 0 1 0 23959153 33177600 7310 1992294400 4194304 8395647 140737408922112 18446744073709551615 5029532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 8100 7310 736 1026 0 7070 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 32400
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28012
/proc/meminfo: memFree=1702980/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=32404 CPUtime=402.17
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 21326 0 0 0 38760 1457 0 0 25 0 1 0 23959153 33181696 7311 1992294400 4194304 8395647 140737408922112 18446744073709551615 4666406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 8101 7311 736 1026 0 7071 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 32404
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28014
/proc/meminfo: memFree=1702856/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=32404 CPUtime=462.14
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 22267 0 0 0 44537 1677 0 0 25 0 1 0 23959153 33181696 7311 1992294400 4194304 8395647 140737408922112 18446744073709551615 18446744073699065997 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 8101 7311 736 1026 0 7071 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 32404
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28015
/proc/meminfo: memFree=1702732/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=32404 CPUtime=522.12
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 22267 0 0 0 50317 1895 0 0 25 0 1 0 23959153 33181696 7311 1992294400 4194304 8395647 140737408922112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 8101 7311 736 1026 0 7071 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 32404
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28017
/proc/meminfo: memFree=1702608/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=32404 CPUtime=582.11
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 22267 0 0 0 56099 2112 0 0 25 0 1 0 23959153 33181696 7311 1992294400 4194304 8395647 140737408922112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 8101 7311 736 1026 0 7071 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 32404
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28028
/proc/meminfo: memFree=1702236/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=32404 CPUtime=642.08
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 22267 0 0 0 61880 2328 0 0 25 0 1 0 23959153 33181696 7311 1992294400 4194304 8395647 140737408922112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 8101 7311 736 1026 0 7071 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 32404
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1703848/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=30268 CPUtime=1061.94
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 23602 0 0 0 102318 3876 0 0 25 0 1 0 23959153 30994432 6810 1992294400 4194304 8395647 140737408922112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 7567 6810 737 1026 0 6537 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 30268
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28040
/proc/meminfo: memFree=1703724/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=30268 CPUtime=1121.93
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 23602 0 0 0 108094 4099 0 0 25 0 1 0 23959153 30994432 6810 1992294400 4194304 8395647 140737408922112 18446744073709551615 5026706 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 7567 6810 737 1026 0 6537 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 30268
[startup+1182.3 s]
/proc/loadavg: 1.12 1.02 1.01 2/107 28042
/proc/meminfo: memFree=1703600/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=30324 CPUtime=1181.9
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 28027 0 0 0 113862 4328 0 0 25 0 1 0 23959153 31051776 6824 1992294400 4194304 8395647 140737408922112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 7581 6824 737 1026 0 6551 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 30324
[startup+1242.3 s]
/proc/loadavg: 1.18 1.04 1.01 2/107 28044
/proc/meminfo: memFree=1703352/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=30848 CPUtime=1241.89
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 31665 0 0 0 119623 4566 0 0 25 0 1 0 23959153 31588352 6931 1992294400 4194304 8395647 140737408922112 18446744073709551615 5026819 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 7712 6931 737 1026 0 6682 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 30848
[startup+1302.3 s]
/proc/loadavg: 1.10 1.05 1.01 2/107 28045
/proc/meminfo: memFree=1702732/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=30848 CPUtime=1301.87
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 32575 0 0 0 125381 4806 0 0 25 0 1 0 23959153 31588352 6959 1992294400 4194304 8395647 140737408922112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 7712 6959 737 1026 0 6682 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 30848
[startup+1362.3 s]
/proc/loadavg: 1.04 1.04 1.00 2/107 28047
/proc/meminfo: memFree=1702360/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=31236 CPUtime=1361.86
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 33555 0 0 0 131158 5028 0 0 25 0 1 0 23959153 31985664 7056 1992294400 4194304 8395647 140737408922112 18446744073709551615 6586827 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 7809 7056 737 1026 0 6779 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 31236
[startup+1422.31 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 28048
/proc/meminfo: memFree=1702360/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=31560 CPUtime=1421.85
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 33610 0 0 0 136929 5256 0 0 25 0 1 0 23959153 32317440 7111 1992294400 4194304 8395647 140737408922112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 7890 7111 737 1026 0 6860 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 31560
[startup+1482.3 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 28050
/proc/meminfo: memFree=1702236/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=31560 CPUtime=1481.82
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 33614 0 0 0 142707 5475 0 0 25 0 1 0 23959153 32317440 7115 1992294400 4194304 8395647 140737408922112 18446744073709551615 6594381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 7890 7115 737 1026 0 6860 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 31560
[startup+1542.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 28052
/proc/meminfo: memFree=1701740/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=31576 CPUtime=1541.8
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 34521 0 0 0 148478 5702 0 0 25 0 1 0 23959153 32333824 7141 1992294400 4194304 8395647 140737408922112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 7894 7141 737 1026 0 6864 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 31576
[startup+1602.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 28053
/proc/meminfo: memFree=1701740/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=31576 CPUtime=1601.78
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 34521 0 0 0 154257 5921 0 0 25 0 1 0 23959153 32333824 7141 1992294400 4194304 8395647 140737408922112 18446744073709551615 6594150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 7894 7141 737 1026 0 6864 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 31576
[startup+1662.3 s]
/proc/loadavg: 1.13 1.06 1.01 2/107 28057
/proc/meminfo: memFree=1701244/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=31576 CPUtime=1661.76
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 34521 0 0 0 160019 6157 0 0 25 0 1 0 23959153 32333824 7141 1992294400 4194304 8395647 140737408922112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 7894 7141 737 1026 0 6864 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 31576
[startup+1722.3 s]
/proc/loadavg: 1.12 1.07 1.00 2/107 28059
/proc/meminfo: memFree=1701244/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=31576 CPUtime=1721.74
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 34521 0 0 0 165790 6384 0 0 25 0 1 0 23959153 32333824 7141 1992294400 4194304 8395647 140737408922112 18446744073709551615 5029580 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 7894 7141 737 1026 0 6864 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 31576
[startup+1782.3 s]
/proc/loadavg: 1.11 1.07 1.00 2/107 28061
/proc/meminfo: memFree=1701244/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=31576 CPUtime=1781.73
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 34521 0 0 0 171576 6597 0 0 25 0 1 0 23959153 32333824 7141 1992294400 4194304 8395647 140737408922112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 7894 7141 737 1026 0 6864 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 31576
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.10 1.07 1.00 2/107 28061
/proc/meminfo: memFree=1701244/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=31576 CPUtime=1784.93
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 34521 0 0 0 171885 6608 0 0 25 0 1 0 23959153 32333824 7141 1992294400 4194304 8395647 140737408922112 18446744073709551615 5026725 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 7894 7141 737 1026 0 6864 0
Current children cumulated CPU time (s) 1784.93
Current children cumulated vsize (KiB) 31576
[startup+1787.1 s]
/proc/loadavg: 1.10 1.07 1.00 2/107 28061
/proc/meminfo: memFree=1701244/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=31576 CPUtime=1786.53
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 34521 0 0 0 172040 6613 0 0 25 0 1 0 23959153 32333824 7141 1992294400 4194304 8395647 140737408922112 18446744073709551615 4652051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 7894 7141 737 1026 0 6864 0
Current children cumulated CPU time (s) 1786.53
Current children cumulated vsize (KiB) 31576
[startup+1788.7 s]
/proc/loadavg: 1.10 1.07 1.00 2/107 28061
/proc/meminfo: memFree=1701244/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=31576 CPUtime=1788.12
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 34521 0 0 0 172195 6617 0 0 25 0 1 0 23959153 32333824 7141 1992294400 4194304 8395647 140737408922112 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 7894 7141 737 1026 0 6864 0
Current children cumulated CPU time (s) 1788.12
Current children cumulated vsize (KiB) 31576
[startup+1789.5 s]
/proc/loadavg: 1.10 1.07 1.00 2/107 28061
/proc/meminfo: memFree=1701244/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=31576 CPUtime=1788.93
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 34521 0 0 0 172272 6621 0 0 25 0 1 0 23959153 32333824 7141 1992294400 4194304 8395647 140737408922112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 7894 7141 737 1026 0 6864 0
Current children cumulated CPU time (s) 1788.93
Current children cumulated vsize (KiB) 31576
[startup+1789.9 s]
/proc/loadavg: 1.10 1.07 1.00 2/107 28061
/proc/meminfo: memFree=1701244/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=31576 CPUtime=1789.32
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 34521 0 0 0 172310 6622 0 0 25 0 1 0 23959153 32333824 7141 1992294400 4194304 8395647 140737408922112 18446744073709551615 5026845 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 7894 7141 737 1026 0 6864 0
Current children cumulated CPU time (s) 1789.32
Current children cumulated vsize (KiB) 31576
[startup+1790 s]
/proc/loadavg: 1.10 1.07 1.00 2/107 28061
/proc/meminfo: memFree=1701244/2059040 swapFree=4139544/4192956
[pid=28000] ppid=27998 vsize=31576 CPUtime=1789.42
/proc/28000/stat : 28000 (pbscip.linux.x8) R 27998 28000 26260 0 -1 4202496 34521 0 0 0 172319 6623 0 0 25 0 1 0 23959153 32333824 7141 1992294400 4194304 8395647 140737408922112 18446744073709551615 5026778 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28000/statm: 7894 7141 737 1026 0 6864 0
Current children cumulated CPU time (s) 1789.42
Current children cumulated vsize (KiB) 31576
Child status: 0
Real time (s): 1790.05
CPU time (s): 1789.48
CPU user time (s): 1723.24
CPU system time (s): 66.2409
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 39004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1723.24
system time used= 66.2409
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34524
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= 4868
runsolver used 3.9344 second user time and 8.97363 second system time
The end