0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver SoPlex 1.4.1
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-1869542-1245177713.opb>
0.00/0.01 c original problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 10 constraints
0.00/0.01 c start presolving problem
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 5 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 101/115 (87.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 5 deleted vars, 5 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 115 variables (115 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.02 c 5 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c OPT-LIN
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = c 1620
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = c 1791
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = c 10000
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving problem
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 43 | 399k| 0 | 5 | 115 | 5 | 5 | 115 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 72 | 456k| 0 | 8 | 115 | 5 | 5 | 115 | 9 | 4 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 80 | 506k| 0 | 10 | 115 | 5 | 5 | 115 | 14 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 84 | 548k| 0 | 10 | 115 | 5 | 5 | 115 | 17 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 0 | 87 | 565k| 0 | 11 | 115 | 5 | 5 | 115 | 21 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.08 c 0.1s| 1 | 0 | 93 | 617k| 0 | 12 | 115 | 5 | 5 | 115 | 25 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.10 c 0.1s| 1 | 0 | 94 | 622k| 0 | 13 | 115 | 5 | 5 | 115 | 26 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 2 | 94 | 623k| 0 | 13 | 115 | 5 | 5 | 115 | 26 | 21 | 0 | 13 | 0.000000e+00 | -- | Inf
0.09/0.19 o 101
0.09/0.19 c c 0.2s| 18 | 19 | 229 | 660k| 17 | - | 115 | 5 | 0 | 115 | 17 | 21 | 0 | 104 | 0.000000e+00 | 1.010000e+02 | Inf
0.19/0.25 o 99
0.19/0.25 c v 0.2s| 60 | 59 | 425 | 676k| 27 | - | 115 | 5 | 0 | 115 | 17 | 21 | 1 | 224 | 0.000000e+00 | 9.900000e+01 | Inf
0.29/0.34 o 95
0.29/0.34 c R 0.3s| 162 | 141 | 1001 | 727k| 29 | - | 115 | 9 | 4 | 115 | 17 | 21 | 9 | 354 | 0.000000e+00 | 9.500000e+01 | Inf
0.29/0.35 o 77
0.29/0.35 c s 0.3s| 168 | 139 | 1010 | 728k| 30 | - | 115 | 10 | 3 | 115 | 17 | 21 | 10 | 380 | 0.000000e+00 | 7.700000e+01 | Inf
0.29/0.36 o 76
0.29/0.36 c * 0.3s| 177 | 146 | 1055 | 735k| 30 | - | 115 | 11 | 2 | 115 | 17 | 21 | 11 | 395 | 0.000000e+00 | 7.600000e+01 | Inf
0.29/0.36 o 74
0.29/0.36 c * 0.3s| 179 | 146 | 1056 | 737k| 30 | - | 115 | 11 | 2 | 115 | 17 | 21 | 11 | 395 | 0.000000e+00 | 7.400000e+01 | Inf
0.29/0.36 o 72
0.29/0.36 c * 0.3s| 180 | 141 | 1056 | 735k| 30 | - | 115 | 11 | 2 | 115 | 17 | 21 | 11 | 395 | 0.000000e+00 | 7.200000e+01 | Inf
0.59/0.65 o 71
0.59/0.65 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.65 c l 0.6s| 612 | 488 | 2934 | 919k| 33 | - | 115 | 18 | 2 | 115 | 17 | 21 | 34 | 560 | 0.000000e+00 | 7.100000e+01 | Inf
0.59/0.67 o 68
0.59/0.67 c * 0.6s| 644 | 514 | 3053 | 930k| 33 | - | 115 | 18 | 5 | 115 | 17 | 21 | 35 | 571 | 0.000000e+00 | 6.800000e+01 | Inf
0.89/0.97 o 67
0.89/0.97 c l 0.9s| 1128 | 940 | 5298 |1152k| 37 | - | 115 | 26 | 4 | 115 | 17 | 21 | 68 | 632 | 0.000000e+00 | 6.700000e+01 | Inf
1.09/1.10 o 66
1.09/1.10 c l 1.0s| 1341 | 1135 | 6179 |1245k| 37 | - | 115 | 29 | 5 | 115 | 17 | 21 | 78 | 642 | 0.000000e+00 | 6.600000e+01 | Inf
1.20/1.21 o 64
1.20/1.21 c * 1.1s| 1516 | 1283 | 7211 |1329k| 37 | - | 115 | 37 | 6 | 115 | 17 | 21 | 97 | 654 | 0.000000e+00 | 6.400000e+01 | Inf
1.20/1.28 o 62
1.20/1.28 c * 1.2s| 1627 | 1377 | 7733 |1372k| 37 | - | 115 | 37 | 3 | 115 | 17 | 21 | 107 | 658 | 0.000000e+00 | 6.200000e+01 | Inf
1.99/2.04 o 61
1.99/2.04 c c 1.9s| 2824 | 2479 | 14033 |1868k| 37 | - | 115 | 67 | 5 | 115 | 17 | 21 | 225 | 674 | 0.000000e+00 | 6.100000e+01 | Inf
2.09/2.15 o 60
2.09/2.15 c * 2.0s| 2994 | 2635 | 14924 |1941k| 37 | - | 115 | 67 | 8 | 115 | 17 | 21 | 239 | 675 | 0.000000e+00 | 6.000000e+01 | Inf
2.19/2.24 o 58
2.19/2.24 c l 2.0s| 3124 | 2758 | 15797 |1993k| 37 | - | 115 | 71 | 10 | 115 | 17 | 21 | 250 | 676 | 0.000000e+00 | 5.800000e+01 | Inf
2.30/2.39 o 42
2.30/2.39 c C 2.2s| 3324 | 2861 | 16771 |1995k| 37 | 5 | 115 | 71 | 29 | 115 | 17 | 21 | 264 | 678 | 0.000000e+00 | 4.200000e+01 | Inf
2.39/2.45 o 41
2.39/2.45 c g 2.2s| 3384 | 2915 | 17281 |2029k| 37 | - | 115 | 71 | 23 | 115 | 17 | 21 | 275 | 678 | 0.000000e+00 | 4.100000e+01 | Inf
2.49/2.57 o 39
2.49/2.57 c * 2.4s| 3551 | 3020 | 18215 |2081k| 37 | - | 115 | 72 | 11 | 115 | 17 | 21 | 292 | 681 | 0.000000e+00 | 3.900000e+01 | Inf
2.89/2.99 o 38
2.89/2.99 c * 2.7s| 4037 | 3389 | 21609 |2258k| 37 | - | 115 | 72 | 9 | 115 | 17 | 21 | 369 | 687 | 0.000000e+00 | 3.800000e+01 | Inf
3.59/3.62 o 36
3.59/3.62 c * 3.3s| 4763 | 3948 | 26603 |2534k| 37 | - | 115 | 72 | 9 | 115 | 17 | 21 | 463 | 695 | 0.000000e+00 | 3.600000e+01 | Inf
3.89/3.97 o 35
3.89/3.97 c p 3.7s| 5126 | 4229 | 29498 |2665k| 37 | - | 115 | 73 | 10 | 115 | 17 | 21 | 518 | 699 | 0.000000e+00 | 3.500000e+01 | Inf
4.09/4.10 o 33
4.09/4.10 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.09/4.10 c * 3.8s| 5270 | 4303 | 30545 |2688k| 37 | - | 115 | 72 | 5 | 115 | 17 | 21 | 542 | 707 | 0.000000e+00 | 3.300000e+01 | Inf
4.89/4.95 o 31
4.89/4.95 c * 4.6s| 6236 | 4957 | 36951 |2983k| 37 | - | 115 | 55 | 4 | 115 | 17 | 21 | 696 | 741 | 0.000000e+00 | 3.100000e+01 | Inf
5.89/5.99 o 29
5.89/5.99 c l 5.5s| 7456 | 5825 | 45076 |3420k| 37 | - | 115 | 68 | 0 | 115 | 17 | 21 | 940 | 812 | 0.000000e+00 | 2.900000e+01 | Inf
5.99/6.04 o 27
5.99/6.04 c * 5.6s| 7535 | 5818 | 45549 |3406k| 37 | - | 115 | 69 | 0 | 115 | 17 | 21 | 948 | 819 | 0.000000e+00 | 2.700000e+01 | Inf
6.99/7.08 o 26
6.99/7.08 c * 6.5s| 9187 | 6867 | 53698 |3930k| 37 | - | 115 | 68 | 2 | 115 | 17 | 21 |1147 | 879 | 0.000000e+00 | 2.600000e+01 | Inf
6.99/7.08 o 24
6.99/7.08 c * 6.5s| 9188 | 6787 | 53698 |3873k| 37 | - | 115 | 68 | 2 | 115 | 17 | 21 |1147 | 879 | 0.000000e+00 | 2.400000e+01 | Inf
7.69/7.75 c 7.2s| 10000 | 7271 | 57406 |4142k| 37 | 5 | 115 | 68 | 19 | 115 | 17 | 21 |1257 | 911 | 0.000000e+00 | 2.400000e+01 | Inf
9.19/9.22 o 23
9.19/9.22 c p 8.5s| 11869 | 8259 | 65734 |4718k| 37 | - | 115 | 64 | 3 | 115 | 17 | 21 |1488 | 990 | 0.000000e+00 | 2.300000e+01 | Inf
10.89/10.99 o 22
10.89/10.99 c f10.1s| 15143 | 9829 | 79700 |5648k| 37 | - | 115 | 70 | 2 | 115 | 17 | 21 |1933 |1097 | 0.000000e+00 | 2.200000e+01 | Inf
11.39/11.49 o 21
11.39/11.49 c *10.6s| 16089 | 10256 | 83772 |5897k| 37 | - | 115 | 76 | 2 | 115 | 17 | 21 |2051 |1121 | 0.000000e+00 | 2.100000e+01 | Inf
11.39/11.49 o 19
11.39/11.49 c *10.6s| 16090 | 10108 | 83773 |5783k| 37 | - | 115 | 76 | 2 | 115 | 17 | 21 |2051 |1121 | 0.000000e+00 | 1.900000e+01 | Inf
11.79/11.80 o 18
11.79/11.80 c *10.9s| 16740 | 10300 | 86196 |5897k| 37 | - | 115 | 77 | 0 | 115 | 17 | 21 |2148 |1153 | 0.000000e+00 | 1.800000e+01 | Inf
12.79/12.80 o 16
12.79/12.80 c *11.8s| 18752 | 10448 | 94275 |5915k| 37 | - | 115 | 83 | 4 | 115 | 17 | 21 |2370 |1224 | 0.000000e+00 | 1.600000e+01 | Inf
13.29/13.36 o 15
13.29/13.36 c g12.3s| 19961 | 10787 | 98831 |6093k| 37 | - | 115 | 75 | 4 | 115 | 17 | 21 |2510 |1280 | 0.000000e+00 | 1.500000e+01 | Inf
13.29/13.38 c 12.3s| 20000 | 10814 | 99013 |6107k| 37 | - | 115 | 76 | 7 | 115 | 17 | 21 |2522 |1281 | 0.000000e+00 | 1.500000e+01 | Inf
15.39/15.41 o 13
15.39/15.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.39/15.41 c *14.2s| 24773 | 11950 |116588 |6767k| 37 | - | 115 | 89 | 3 | 115 | 17 | 21 |2954 |1432 | 0.000000e+00 | 1.300000e+01 | Inf
18.09/18.15 o 12
18.09/18.15 c *16.7s| 29094 | 12949 |132895 |7351k| 37 | - | 115 | 107 | 1 | 115 | 17 | 21 |3477 |1549 | 0.000000e+00 | 1.200000e+01 | Inf
18.49/18.56 c 17.1s| 30000 | 13162 |136556 |7481k| 37 | 5 | 115 | 111 | 8 | 115 | 17 | 21 |3569 |1573 | 0.000000e+00 | 1.200000e+01 | Inf
20.79/20.85 o 11
20.79/20.85 c *19.3s| 35556 | 14478 |155871 |8227k| 37 | - | 115 | 118 | 0 | 115 | 17 | 21 |4137 |1697 | 0.000000e+00 | 1.100000e+01 | Inf
22.49/22.58 c 20.9s| 40000 | 15455 |170262 |8833k| 37 | 5 | 115 | 127 | 6 | 115 | 17 | 21 |4536 |1799 | 0.000000e+00 | 1.100000e+01 | Inf
26.28/26.38 c 24.4s| 50000 | 16803 |203039 |9798k| 37 | - | 115 | 125 | 12 | 115 | 17 | 21 |5308 |2013 | 0.000000e+00 | 1.100000e+01 | Inf
29.99/30.06 c 27.8s| 60000 | 17281 |234544 | 10M| 37 | 5 | 115 | 126 | 15 | 115 | 17 | 21 |6095 |2222 | 0.000000e+00 | 1.100000e+01 | Inf
33.69/33.73 c 31.3s| 70000 | 17453 |264455 | 10M| 37 | 5 | 115 | 96 | 8 | 115 | 17 | 21 |6962 |2380 | 0.000000e+00 | 1.100000e+01 | Inf
34.98/35.09 o 8
34.98/35.09 c *32.5s| 73800 | 16426 |276667 |9884k| 37 | - | 115 | 92 | 1 | 115 | 17 | 21 |7281 |2468 | 0.000000e+00 | 8.000000e+00 | Inf
37.18/37.23 c 34.5s| 80000 | 16456 |295680 |9978k| 37 | 5 | 115 | 97 | 5 | 115 | 17 | 21 |7817 |2589 | 0.000000e+00 | 8.000000e+00 | Inf
40.58/40.68 c 37.7s| 90000 | 16187 |326013 |9972k| 37 | 5 | 115 | 117 | 7 | 115 | 17 | 21 |8763 |2767 | 0.000000e+00 | 8.000000e+00 | Inf
44.08/44.15 c 40.9s|100000 | 16056 |358111 |9960k| 37 | 5 | 115 | 84 | 7 | 115 | 17 | 21 |9617 |2933 | 0.000000e+00 | 8.000000e+00 | Inf
47.57/47.61 c 44.1s|110000 | 16853 |389202 | 10M| 37 | - | 115 | 131 | 11 | 0 | 0 | 21 | 10k|3064 | 0.000000e+00 | 8.000000e+00 | Inf
50.97/51.00 c 47.2s|120000 | 17138 |419432 | 10M| 37 | 5 | 115 | 128 | 8 | 115 | 17 | 21 | 11k|3189 | 0.000000e+00 | 8.000000e+00 | Inf
54.27/54.36 c 50.3s|130000 | 17199 |448734 | 11M| 37 | - | 115 | 102 | 5 | 115 | 17 | 21 | 12k|3311 | 0.000000e+00 | 8.000000e+00 | Inf
57.67/57.73 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.67/57.73 c 53.4s|140000 | 17060 |478586 | 11M| 37 | - | 115 | 99 | 5 | 115 | 17 | 21 | 12k|3414 | 0.000000e+00 | 8.000000e+00 | Inf
61.07/61.11 c 56.5s|150000 | 16635 |507866 | 10M| 37 | - | 115 | 115 | 6 | 115 | 17 | 21 | 13k|3510 | 0.000000e+00 | 8.000000e+00 | Inf
64.37/64.41 c 59.6s|160000 | 16342 |536005 | 10M| 37 | - | 115 | 118 | 6 | 0 | 0 | 21 | 14k|3620 | 0.000000e+00 | 8.000000e+00 | Inf
67.57/67.67 c 62.6s|170000 | 16723 |563389 | 11M| 37 | - | 115 | 146 | 21 | 0 | 0 | 21 | 15k|3741 | 0.000000e+00 | 8.000000e+00 | Inf
70.87/70.90 c 65.6s|180000 | 16292 |590804 | 10M| 37 | - | 115 | 94 | 5 | 115 | 17 | 21 | 16k|3838 | 0.000000e+00 | 8.000000e+00 | Inf
72.67/72.71 o 7
72.67/72.71 c *67.2s|185214 | 16638 |607808 | 10M| 37 | - | 115 | 80 | 0 | 115 | 17 | 21 | 16k|3895 | 0.000000e+00 | 7.000000e+00 | Inf
74.17/74.29 c 68.7s|190000 | 17038 |622057 | 10M| 37 | 5 | 115 | 80 | 5 | 115 | 17 | 21 | 17k|3937 | 0.000000e+00 | 7.000000e+00 | Inf
77.46/77.51 c 71.7s|200000 | 17485 |651839 | 11M| 37 | - | 115 | 90 | 6 | 115 | 17 | 21 | 17k|4039 | 0.000000e+00 | 7.000000e+00 | Inf
80.66/80.72 c 74.7s|210000 | 17300 |680977 | 11M| 37 | 5 | 115 | 84 | 10 | 115 | 17 | 21 | 18k|4141 | 0.000000e+00 | 7.000000e+00 | Inf
83.86/83.93 c 77.6s|220000 | 17192 |709616 | 11M| 37 | - | 115 | 74 | 5 | 115 | 17 | 21 | 19k|4243 | 0.000000e+00 | 7.000000e+00 | Inf
86.36/86.43 o 6
86.36/86.43 c *79.9s|227907 | 16632 |731340 | 11M| 37 | - | 115 | 73 | 0 | 115 | 17 | 21 | 20k|4332 | 0.000000e+00 | 6.000000e+00 | Inf
86.96/87.09 c 80.5s|230000 | 16763 |737565 | 11M| 37 | - | 115 | 78 | 6 | 115 | 17 | 21 | 20k|4347 | 0.000000e+00 | 6.000000e+00 | Inf
90.06/90.19 c 83.4s|240000 | 16508 |765536 | 10M| 37 | - | 115 | 85 | 5 | 0 | 0 | 21 | 21k|4468 | 0.000000e+00 | 6.000000e+00 | Inf
93.36/93.40 c 86.4s|250000 | 17030 |794662 | 11M| 37 | 5 | 115 | 83 | 6 | 115 | 17 | 21 | 22k|4572 | 0.000000e+00 | 6.000000e+00 | Inf
96.46/96.50 c 89.2s|260000 | 17090 |822899 | 11M| 37 | - | 115 | 83 | 5 | 115 | 17 | 21 | 22k|4675 | 0.000000e+00 | 6.000000e+00 | Inf
99.56/99.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.56/99.60 c 92.1s|270000 | 16895 |850075 | 11M| 37 | - | 115 | 93 | 6 | 115 | 17 | 21 | 23k|4770 | 0.000000e+00 | 6.000000e+00 | Inf
102.65/102.77 c 95.0s|280000 | 16514 |878748 | 11M| 37 | 5 | 115 | 80 | 6 | 115 | 17 | 21 | 24k|4881 | 0.000000e+00 | 6.000000e+00 | Inf
105.86/105.90 c 97.9s|290000 | 17517 |908864 | 11M| 37 | - | 115 | 70 | 5 | 115 | 17 | 21 | 25k|4988 | 0.000000e+00 | 6.000000e+00 | Inf
108.86/108.95 c 101s|300000 | 17750 |937924 | 12M| 37 | 5 | 115 | 79 | 6 | 115 | 17 | 21 | 26k|5069 | 0.000000e+00 | 6.000000e+00 | Inf
111.95/112.04 c 104s|310000 | 17959 |965893 | 12M| 37 | 5 | 115 | 79 | 5 | 115 | 17 | 21 | 26k|5166 | 0.000000e+00 | 6.000000e+00 | Inf
114.95/115.09 c 106s|320000 | 18056 |992858 | 12M| 37 | - | 115 | 69 | 5 | 115 | 17 | 21 | 27k|5261 | 0.000000e+00 | 6.000000e+00 | Inf
118.05/118.18 c 109s|330000 | 17746 | 1020k| 12M| 37 | 5 | 115 | 72 | 6 | 115 | 17 | 21 | 28k|5339 | 0.000000e+00 | 6.000000e+00 | Inf
121.14/121.21 c 112s|340000 | 16981 | 1047k| 11M| 37 | - | 115 | 67 | 7 | 115 | 17 | 21 | 29k|5415 | 0.000000e+00 | 6.000000e+00 | Inf
124.26/124.32 c 115s|350000 | 17420 | 1075k| 12M| 37 | - | 115 | 79 | 5 | 115 | 17 | 21 | 29k|5501 | 0.000000e+00 | 6.000000e+00 | Inf
127.25/127.37 c 118s|360000 | 17723 | 1103k| 12M| 37 | 5 | 115 | 90 | 7 | 115 | 17 | 21 | 30k|5573 | 0.000000e+00 | 6.000000e+00 | Inf
130.25/130.38 c 120s|370000 | 17064 | 1128k| 12M| 37 | 5 | 115 | 86 | 7 | 115 | 17 | 21 | 31k|5647 | 0.000000e+00 | 6.000000e+00 | Inf
133.35/133.46 c 123s|380000 | 16546 | 1154k| 11M| 37 | - | 115 | 82 | 8 | 115 | 17 | 21 | 32k|5732 | 0.000000e+00 | 6.000000e+00 | Inf
136.45/136.54 c 126s|390000 | 17240 | 1182k| 12M| 37 | - | 115 | 83 | 5 | 115 | 17 | 21 | 33k|5798 | 0.000000e+00 | 6.000000e+00 | Inf
139.55/139.60 c 129s|400000 | 17327 | 1210k| 12M| 37 | 5 | 115 | 98 | 9 | 115 | 17 | 21 | 34k|5883 | 0.000000e+00 | 6.000000e+00 | Inf
142.54/142.63 c 132s|410000 | 17233 | 1238k| 12M| 37 | 5 | 115 | 93 | 5 | 115 | 17 | 21 | 34k|5960 | 0.000000e+00 | 6.000000e+00 | Inf
145.65/145.73 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.65/145.73 c 135s|420000 | 16687 | 1266k| 11M| 37 | - | 115 | 113 | 8 | 115 | 17 | 21 | 35k|6033 | 0.000000e+00 | 6.000000e+00 | Inf
148.84/148.91 c 138s|430000 | 17415 | 1295k| 12M| 37 | - | 115 | 108 | 5 | 0 | 0 | 21 | 36k|6120 | 0.000000e+00 | 6.000000e+00 | Inf
151.84/151.93 c 140s|440000 | 17667 | 1323k| 12M| 37 | 5 | 115 | 105 | 6 | 115 | 17 | 21 | 37k|6179 | 0.000000e+00 | 6.000000e+00 | Inf
154.84/154.95 c 143s|450000 | 17800 | 1351k| 12M| 37 | - | 115 | 97 | 5 | 115 | 17 | 21 | 38k|6264 | 0.000000e+00 | 6.000000e+00 | Inf
157.84/157.99 c 146s|460000 | 17800 | 1378k| 12M| 37 | - | 115 | 88 | 7 | 115 | 17 | 21 | 38k|6339 | 0.000000e+00 | 6.000000e+00 | Inf
160.94/161.04 c 149s|470000 | 17483 | 1406k| 12M| 37 | 5 | 115 | 90 | 5 | 115 | 17 | 21 | 39k|6418 | 0.000000e+00 | 6.000000e+00 | Inf
163.94/164.10 c 152s|480000 | 17585 | 1434k| 12M| 37 | 5 | 115 | 103 | 5 | 115 | 17 | 21 | 40k|6488 | 0.000000e+00 | 6.000000e+00 | Inf
167.04/167.14 c 154s|490000 | 17003 | 1462k| 12M| 37 | 5 | 115 | 105 | 10 | 115 | 17 | 21 | 41k|6576 | 0.000000e+00 | 6.000000e+00 | Inf
170.14/170.28 c 157s|500000 | 16688 | 1490k| 11M| 37 | - | 115 | 75 | 5 | 115 | 17 | 21 | 42k|6645 | 0.000000e+00 | 6.000000e+00 | Inf
174.74/174.88 c 161s|510000 | 18584 | 1523k| 12M| 37 | - | 115 | 77 | 6 | 115 | 17 | 21 | 43k|6727 | 0.000000e+00 | 6.000000e+00 | Inf
177.94/178.09 c 164s|520000 | 19401 | 1553k| 13M| 37 | - | 115 | 65 | 4 | 115 | 17 | 21 | 43k|6822 | 0.000000e+00 | 6.000000e+00 | Inf
181.33/181.46 c 167s|530000 | 21285 | 1586k| 14M| 37 | - | 115 | 71 | 6 | 115 | 17 | 21 | 44k|6896 | 0.000000e+00 | 6.000000e+00 | Inf
184.44/184.60 c 170s|540000 | 22280 | 1615k| 15M| 37 | 5 | 115 | 84 | 5 | 115 | 17 | 21 | 45k|6962 | 0.000000e+00 | 6.000000e+00 | Inf
187.53/187.68 c 173s|550000 | 23002 | 1643k| 15M| 37 | 5 | 115 | 69 | 6 | 115 | 17 | 21 | 46k|7035 | 0.000000e+00 | 6.000000e+00 | Inf
190.63/190.78 c 176s|560000 | 23543 | 1672k| 16M| 37 | - | 115 | 85 | 6 | 115 | 17 | 21 | 46k|7101 | 0.000000e+00 | 6.000000e+00 | Inf
193.83/193.97 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
193.83/193.97 c 179s|570000 | 24301 | 1702k| 16M| 37 | - | 115 | 84 | 5 | 115 | 17 | 21 | 47k|7167 | 0.000000e+00 | 6.000000e+00 | Inf
198.33/198.44 c 183s|580000 | 26000 | 1733k| 17M| 37 | - | 115 | 88 | 8 | 115 | 17 | 21 | 48k|7230 | 0.000000e+00 | 6.000000e+00 | Inf
201.53/201.66 c 186s|590000 | 27166 | 1763k| 18M| 37 | 5 | 115 | 79 | 6 | 115 | 17 | 21 | 48k|7287 | 0.000000e+00 | 6.000000e+00 | Inf
202.93/203.01 o 5
202.93/203.01 c * 187s|593752 | 27696 | 1776k| 18M| 37 | - | 115 | 74 | 0 | 115 | 17 | 21 | 49k|7308 | 0.000000e+00 | 5.000000e+00 | Inf
202.93/203.02 o 3
202.93/203.02 c * 187s|593753 | 26117 | 1776k| 15M| 37 | - | 115 | 74 | 0 | 115 | 17 | 21 | 49k|7308 | 0.000000e+00 | 3.000000e+00 | Inf
204.83/204.90 c 189s|600000 | 27170 | 1794k| 16M| 37 | - | 115 | 69 | 5 | 0 | 0 | 21 | 49k|7341 | 0.000000e+00 | 3.000000e+00 | Inf
207.73/207.83 c 192s|610000 | 28071 | 1821k| 16M| 37 | - | 115 | 89 | 9 | 115 | 17 | 21 | 50k|7421 | 0.000000e+00 | 3.000000e+00 | Inf
210.62/210.72 c 194s|620000 | 28673 | 1848k| 17M| 37 | 5 | 115 | 98 | 7 | 115 | 17 | 21 | 50k|7498 | 0.000000e+00 | 3.000000e+00 | Inf
213.53/213.63 c 197s|630000 | 29511 | 1876k| 18M| 37 | - | 115 | 90 | 6 | 115 | 17 | 21 | 51k|7562 | 0.000000e+00 | 3.000000e+00 | Inf
216.42/216.54 c 200s|640000 | 30338 | 1904k| 18M| 37 | - | 115 | 87 | 7 | 115 | 17 | 21 | 51k|7621 | 0.000000e+00 | 3.000000e+00 | Inf
219.62/219.71 c 203s|650000 | 32535 | 1933k| 19M| 37 | 5 | 115 | 74 | 6 | 115 | 17 | 21 | 52k|7705 | 0.000000e+00 | 3.000000e+00 | Inf
222.63/222.74 c 206s|660000 | 34674 | 1962k| 20M| 37 | 5 | 115 | 89 | 7 | 115 | 17 | 21 | 52k|7760 | 0.000000e+00 | 3.000000e+00 | Inf
225.63/225.73 c 208s|670000 | 36591 | 1990k| 21M| 37 | 5 | 115 | 87 | 8 | 115 | 17 | 21 | 53k|7819 | 0.000000e+00 | 3.000000e+00 | Inf
228.52/228.67 c 211s|680000 | 38184 | 2019k| 22M| 37 | 5 | 115 | 109 | 7 | 115 | 17 | 21 | 53k|7881 | 0.000000e+00 | 3.000000e+00 | Inf
231.42/231.56 c 214s|690000 | 39367 | 2046k| 23M| 37 | 5 | 115 | 75 | 14 | 115 | 17 | 21 | 54k|7972 | 0.000000e+00 | 3.000000e+00 | Inf
234.33/234.43 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
234.33/234.43 c 216s|700000 | 40509 | 2072k| 24M| 37 | - | 115 | 74 | 6 | 115 | 17 | 21 | 54k|8061 | 0.000000e+00 | 3.000000e+00 | Inf
237.22/237.34 c 219s|710000 | 41764 | 2100k| 24M| 37 | 5 | 115 | 86 | 6 | 115 | 17 | 21 | 55k|8129 | 0.000000e+00 | 3.000000e+00 | Inf
240.02/240.17 c 222s|720000 | 42339 | 2126k| 25M| 37 | - | 115 | 91 | 10 | 115 | 17 | 21 | 55k|8193 | 0.000000e+00 | 3.000000e+00 | Inf
242.82/242.96 c 224s|730000 | 43012 | 2152k| 25M| 37 | 5 | 115 | 90 | 5 | 115 | 17 | 21 | 56k|8273 | 0.000000e+00 | 3.000000e+00 | Inf
245.62/245.76 c 227s|740000 | 44071 | 2178k| 26M| 37 | - | 115 | 107 | 4 | 0 | 0 | 21 | 56k|8347 | 0.000000e+00 | 3.000000e+00 | Inf
248.42/248.52 c 229s|750000 | 44635 | 2203k| 27M| 37 | - | 115 | 95 | 10 | 115 | 17 | 21 | 56k|8414 | 0.000000e+00 | 3.000000e+00 | Inf
251.22/251.30 c 232s|760000 | 44873 | 2229k| 27M| 37 | 5 | 115 | 90 | 17 | 115 | 17 | 21 | 57k|8494 | 0.000000e+00 | 3.000000e+00 | Inf
254.02/254.15 c 234s|770000 | 45321 | 2256k| 27M| 37 | 5 | 115 | 108 | 5 | 115 | 17 | 21 | 57k|8565 | 0.000000e+00 | 3.000000e+00 | Inf
256.81/256.97 c 237s|780000 | 45766 | 2281k| 28M| 37 | - | 115 | 127 | 5 | 115 | 17 | 21 | 58k|8651 | 0.000000e+00 | 3.000000e+00 | Inf
259.72/259.82 c 240s|790000 | 46755 | 2307k| 28M| 37 | - | 115 | 144 | 6 | 115 | 17 | 21 | 58k|8698 | 0.000000e+00 | 3.000000e+00 | Inf
262.42/262.57 c 242s|800000 | 47042 | 2331k| 29M| 37 | 5 | 115 | 156 | 8 | 115 | 17 | 21 | 59k|8761 | 0.000000e+00 | 3.000000e+00 | Inf
265.21/265.33 c 245s|810000 | 47181 | 2355k| 29M| 37 | 5 | 115 | 123 | 16 | 115 | 17 | 21 | 59k|8830 | 0.000000e+00 | 3.000000e+00 | Inf
267.91/268.09 c 247s|820000 | 47584 | 2381k| 29M| 37 | - | 115 | 96 | 5 | 115 | 17 | 21 | 60k|8895 | 0.000000e+00 | 3.000000e+00 | Inf
270.71/270.81 c 250s|830000 | 47678 | 2405k| 29M| 37 | 5 | 115 | 98 | 5 | 115 | 17 | 21 | 60k|8957 | 0.000000e+00 | 3.000000e+00 | Inf
273.51/273.61 c 252s|840000 | 47815 | 2430k| 30M| 37 | 5 | 115 | 116 | 5 | 115 | 17 | 21 | 61k|9036 | 0.000000e+00 | 3.000000e+00 | Inf
276.21/276.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
276.21/276.39 c 255s|850000 | 47985 | 2455k| 30M| 37 | - | 115 | 143 | 5 | 115 | 17 | 21 | 61k|9087 | 0.000000e+00 | 3.000000e+00 | Inf
279.01/279.18 c 257s|860000 | 47883 | 2480k| 30M| 37 | 5 | 115 | 100 | 5 | 115 | 17 | 21 | 62k|9158 | 0.000000e+00 | 3.000000e+00 | Inf
281.81/281.99 c 260s|870000 | 48283 | 2506k| 30M| 37 | - | 115 | 114 | 11 | 115 | 17 | 21 | 62k|9206 | 0.000000e+00 | 3.000000e+00 | Inf
284.70/284.88 c 263s|880000 | 49038 | 2534k| 31M| 37 | - | 115 | 108 | 5 | 0 | 0 | 21 | 63k|9253 | 0.000000e+00 | 3.000000e+00 | Inf
287.51/287.69 c 265s|890000 | 49673 | 2560k| 31M| 37 | 5 | 115 | 108 | 10 | 115 | 17 | 21 | 63k|9303 | 0.000000e+00 | 3.000000e+00 | Inf
290.31/290.48 c 268s|900000 | 49867 | 2586k| 32M| 37 | - | 115 | 108 | 5 | 115 | 17 | 21 | 64k|9351 | 0.000000e+00 | 3.000000e+00 | Inf
293.21/293.31 c 270s|910000 | 49787 | 2612k| 32M| 37 | - | 115 | 97 | 8 | 0 | 0 | 21 | 64k|9412 | 0.000000e+00 | 3.000000e+00 | Inf
296.00/296.13 c 273s|920000 | 49822 | 2638k| 32M| 37 | - | 115 | 98 | 6 | 115 | 17 | 21 | 65k|9452 | 0.000000e+00 | 3.000000e+00 | Inf
298.80/298.96 c 276s|930000 | 49476 | 2663k| 32M| 37 | - | 115 | 111 | 5 | 115 | 17 | 21 | 65k|9509 | 0.000000e+00 | 3.000000e+00 | Inf
301.70/301.80 c 278s|940000 | 49877 | 2689k| 32M| 37 | 5 | 115 | 106 | 8 | 115 | 17 | 21 | 66k|9570 | 0.000000e+00 | 3.000000e+00 | Inf
304.50/304.60 c 281s|950000 | 49706 | 2715k| 32M| 37 | 5 | 115 | 100 | 6 | 115 | 17 | 21 | 66k|9650 | 0.000000e+00 | 3.000000e+00 | Inf
307.20/307.38 c 283s|960000 | 49352 | 2740k| 32M| 37 | - | 115 | 98 | 5 | 115 | 17 | 21 | 67k|9730 | 0.000000e+00 | 3.000000e+00 | Inf
310.60/310.74 c 287s|970000 | 51536 | 2771k| 33M| 37 | 5 | 115 | 92 | 7 | 115 | 17 | 21 | 67k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
313.70/313.81 c 289s|980000 | 53665 | 2800k| 34M| 37 | - | 115 | 71 | 7 | 115 | 17 | 21 | 68k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
316.70/316.87 c 292s|990000 | 55489 | 2830k| 35M| 37 | - | 115 | 80 | 5 | 115 | 17 | 21 | 68k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
319.70/319.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
319.70/319.81 c 295s| 1000k| 57031 | 2857k| 36M| 37 | 5 | 115 | 77 | 8 | 115 | 17 | 21 | 69k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
322.59/322.75 c 298s| 1010k| 58677 | 2885k| 37M| 37 | - | 115 | 83 | 7 | 115 | 17 | 21 | 69k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
325.50/325.61 c 300s| 1020k| 59767 | 2912k| 38M| 37 | 5 | 115 | 79 | 5 | 115 | 17 | 21 | 70k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
328.50/328.64 c 303s| 1030k| 61537 | 2940k| 39M| 37 | 5 | 115 | 78 | 11 | 115 | 17 | 21 | 70k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
331.49/331.66 c 306s| 1040k| 63558 | 2969k| 40M| 37 | - | 115 | 78 | 5 | 115 | 17 | 21 | 71k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
334.40/334.60 c 309s| 1050k| 65342 | 2995k| 41M| 37 | 5 | 115 | 66 | 6 | 115 | 17 | 21 | 71k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
337.39/337.51 c 311s| 1060k| 66550 | 3023k| 41M| 37 | 5 | 115 | 80 | 7 | 115 | 17 | 21 | 72k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
340.20/340.39 c 314s| 1070k| 67425 | 3049k| 42M| 37 | - | 115 | 74 | 6 | 115 | 17 | 21 | 72k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
343.10/343.23 c 316s| 1080k| 68471 | 3076k| 43M| 37 | - | 115 | 96 | 7 | 115 | 17 | 21 | 73k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
345.89/346.08 c 319s| 1090k| 69560 | 3102k| 43M| 37 | 5 | 115 | 74 | 5 | 115 | 17 | 21 | 73k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
348.79/348.92 c 322s| 1100k| 70761 | 3128k| 44M| 37 | 5 | 115 | 86 | 5 | 115 | 17 | 21 | 73k| 10k| 0.000000e+00 | 3.000000e+00 | Inf
351.69/351.82 c 324s| 1110k| 71939 | 3155k| 45M| 37 | 5 | 115 | 103 | 14 | 115 | 17 | 21 | 74k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
354.58/354.71 c 327s| 1120k| 73089 | 3181k| 45M| 37 | - | 115 | 79 | 9 | 115 | 17 | 21 | 74k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
357.29/357.49 c 330s| 1130k| 73593 | 3207k| 46M| 37 | - | 115 | 86 | 5 | 115 | 17 | 21 | 75k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
360.19/360.30 c 332s| 1140k| 74189 | 3231k| 46M| 37 | 5 | 115 | 89 | 6 | 115 | 17 | 21 | 75k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
362.99/363.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
362.99/363.11 c 335s| 1150k| 74803 | 3257k| 47M| 37 | - | 115 | 85 | 7 | 0 | 0 | 21 | 76k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
365.68/365.89 c 337s| 1160k| 75274 | 3282k| 47M| 37 | - | 115 | 73 | 6 | 115 | 17 | 21 | 76k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
368.59/368.72 c 340s| 1170k| 76071 | 3308k| 48M| 37 | 5 | 115 | 101 | 10 | 115 | 17 | 21 | 77k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
371.28/371.46 c 342s| 1180k| 76520 | 3333k| 48M| 37 | 5 | 115 | 108 | 5 | 115 | 17 | 21 | 77k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
374.09/374.26 c 345s| 1190k| 76795 | 3359k| 49M| 37 | - | 115 | 97 | 7 | 115 | 17 | 21 | 77k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
376.88/377.09 c 348s| 1200k| 77818 | 3385k| 49M| 37 | - | 115 | 88 | 9 | 115 | 17 | 21 | 78k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
379.68/379.84 c 350s| 1210k| 78245 | 3409k| 50M| 37 | 5 | 115 | 80 | 6 | 115 | 17 | 21 | 78k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
382.38/382.59 c 353s| 1220k| 78637 | 3434k| 50M| 37 | - | 115 | 90 | 6 | 115 | 17 | 21 | 78k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
385.18/385.31 c 355s| 1230k| 79009 | 3458k| 50M| 37 | 5 | 115 | 101 | 9 | 115 | 17 | 21 | 79k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
387.88/388.03 c 358s| 1240k| 79217 | 3482k| 51M| 37 | 5 | 115 | 88 | 6 | 115 | 17 | 21 | 79k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
390.58/390.79 c 360s| 1250k| 79606 | 3507k| 51M| 37 | 5 | 115 | 87 | 5 | 115 | 17 | 21 | 80k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
393.58/393.75 c 363s| 1260k| 80950 | 3533k| 52M| 37 | 5 | 115 | 84 | 5 | 115 | 17 | 21 | 80k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
396.37/396.53 c 366s| 1270k| 81558 | 3558k| 52M| 37 | - | 115 | 80 | 5 | 115 | 17 | 21 | 81k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
399.18/399.33 c 368s| 1280k| 82105 | 3584k| 53M| 37 | 5 | 115 | 90 | 7 | 115 | 17 | 21 | 81k| 11k| 0.000000e+00 | 3.000000e+00 | Inf
401.98/402.12 c 371s| 1290k| 82213 | 3609k| 53M| 37 | 5 | 115 | 78 | 6 | 115 | 17 | 21 | 81k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
404.77/404.97 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
404.77/404.97 c 373s| 1300k| 82944 | 3635k| 53M| 37 | - | 115 | 104 | 8 | 115 | 17 | 21 | 82k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
407.57/407.78 c 376s| 1310k| 83853 | 3660k| 54M| 37 | - | 115 | 108 | 8 | 115 | 17 | 21 | 82k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
410.37/410.57 c 378s| 1320k| 84364 | 3684k| 54M| 37 | 5 | 115 | 113 | 5 | 115 | 17 | 21 | 83k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
413.18/413.38 c 381s| 1330k| 84721 | 3708k| 55M| 37 | - | 115 | 146 | 6 | 115 | 17 | 21 | 84k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
416.07/416.21 c 384s| 1340k| 85096 | 3733k| 55M| 37 | - | 115 | 131 | 6 | 115 | 17 | 21 | 84k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
418.87/419.02 c 386s| 1350k| 85657 | 3758k| 56M| 37 | 5 | 115 | 143 | 6 | 115 | 17 | 21 | 84k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
421.57/421.77 c 389s| 1360k| 85758 | 3782k| 56M| 37 | - | 115 | 139 | 5 | 115 | 17 | 21 | 85k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
424.37/424.53 c 391s| 1370k| 85673 | 3806k| 56M| 37 | - | 115 | 119 | 5 | 115 | 17 | 21 | 85k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
427.17/427.31 c 394s| 1380k| 86254 | 3831k| 56M| 37 | - | 115 | 132 | 6 | 115 | 17 | 21 | 86k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
429.87/430.00 c 396s| 1390k| 86518 | 3855k| 57M| 37 | 5 | 115 | 130 | 5 | 115 | 17 | 21 | 86k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
432.56/432.76 c 399s| 1400k| 87170 | 3880k| 57M| 37 | 5 | 115 | 140 | 5 | 115 | 17 | 21 | 87k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
435.27/435.46 c 401s| 1410k| 87022 | 3904k| 57M| 37 | 5 | 115 | 119 | 5 | 115 | 17 | 21 | 87k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
438.07/438.23 c 404s| 1420k| 86833 | 3929k| 57M| 37 | 5 | 115 | 136 | 6 | 115 | 17 | 21 | 88k| 12k| 0.000000e+00 | 3.000000e+00 | Inf
440.86/441.09 c 407s| 1430k| 87253 | 3953k| 58M| 37 | 5 | 115 | 121 | 5 | 115 | 17 | 21 | 88k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
443.77/443.92 c 409s| 1440k| 88328 | 3979k| 58M| 37 | 5 | 115 | 110 | 5 | 115 | 17 | 21 | 88k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
446.47/446.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
446.47/446.64 c 412s| 1450k| 88608 | 4004k| 59M| 37 | 5 | 115 | 98 | 7 | 115 | 17 | 21 | 89k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
449.27/449.46 c 414s| 1460k| 89812 | 4029k| 59M| 37 | - | 115 | 98 | 6 | 115 | 17 | 21 | 89k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
452.06/452.21 c 417s| 1470k| 90251 | 4054k| 60M| 37 | - | 115 | 86 | 5 | 115 | 17 | 21 | 89k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
454.77/454.99 c 419s| 1480k| 90825 | 4079k| 60M| 37 | - | 115 | 90 | 5 | 115 | 17 | 21 | 90k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
457.56/457.77 c 422s| 1490k| 91107 | 4104k| 60M| 37 | 5 | 115 | 88 | 6 | 115 | 17 | 21 | 90k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
460.36/460.58 c 425s| 1500k| 91288 | 4128k| 61M| 37 | 5 | 115 | 89 | 5 | 115 | 17 | 21 | 90k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
463.06/463.29 c 427s| 1510k| 91499 | 4152k| 61M| 37 | - | 115 | 100 | 6 | 115 | 17 | 21 | 91k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
465.96/466.13 c 430s| 1520k| 92137 | 4177k| 61M| 37 | 5 | 115 | 100 | 7 | 115 | 17 | 21 | 91k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
468.66/468.89 c 432s| 1530k| 92695 | 4201k| 62M| 37 | 5 | 115 | 92 | 6 | 115 | 17 | 21 | 92k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
471.56/471.70 c 435s| 1540k| 92670 | 4225k| 62M| 37 | 5 | 115 | 100 | 10 | 115 | 17 | 21 | 92k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
474.36/474.58 c 437s| 1550k| 93476 | 4251k| 62M| 37 | - | 115 | 115 | 7 | 115 | 17 | 21 | 92k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
477.15/477.36 c 440s| 1560k| 93420 | 4275k| 63M| 37 | - | 115 | 94 | 5 | 115 | 17 | 21 | 93k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
479.96/480.13 c 442s| 1570k| 93397 | 4300k| 63M| 37 | 5 | 115 | 95 | 14 | 115 | 17 | 21 | 93k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
482.66/482.89 c 445s| 1580k| 93103 | 4324k| 63M| 37 | 5 | 115 | 85 | 5 | 115 | 17 | 21 | 93k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
485.46/485.65 c 448s| 1590k| 92813 | 4348k| 63M| 37 | - | 115 | 89 | 6 | 115 | 17 | 21 | 94k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
488.25/488.49 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
488.25/488.49 c 450s| 1600k| 92779 | 4372k| 63M| 37 | - | 115 | 113 | 5 | 115 | 17 | 21 | 94k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
491.05/491.25 c 453s| 1610k| 92134 | 4396k| 62M| 37 | - | 115 | 92 | 8 | 115 | 17 | 21 | 95k| 13k| 0.000000e+00 | 3.000000e+00 | Inf
493.86/494.00 c 455s| 1620k| 91412 | 4421k| 62M| 37 | 5 | 115 | 77 | 5 | 115 | 17 | 21 | 95k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
496.55/496.76 c 458s| 1630k| 91340 | 4445k| 62M| 37 | - | 115 | 91 | 6 | 115 | 17 | 21 | 95k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
499.36/499.54 c 460s| 1640k| 90890 | 4469k| 62M| 37 | 5 | 115 | 96 | 5 | 115 | 17 | 21 | 96k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
502.05/502.29 c 463s| 1650k| 90683 | 4493k| 62M| 37 | - | 115 | 102 | 6 | 115 | 17 | 21 | 96k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
504.86/505.05 c 465s| 1660k| 90703 | 4517k| 62M| 37 | 5 | 115 | 99 | 7 | 115 | 17 | 21 | 96k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
507.54/507.79 c 468s| 1670k| 90380 | 4541k| 62M| 37 | 5 | 115 | 95 | 6 | 115 | 17 | 21 | 97k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
510.35/510.59 c 471s| 1680k| 90257 | 4566k| 62M| 37 | - | 115 | 123 | 4 | 115 | 17 | 21 | 97k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
513.14/513.39 c 473s| 1690k| 90088 | 4590k| 62M| 37 | 5 | 115 | 110 | 7 | 115 | 17 | 21 | 98k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
516.05/516.25 c 476s| 1700k| 90691 | 4615k| 62M| 37 | - | 115 | 111 | 5 | 0 | 0 | 21 | 98k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
518.84/519.02 c 478s| 1710k| 90403 | 4638k| 62M| 37 | - | 115 | 101 | 6 | 115 | 17 | 21 | 99k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
521.54/521.75 c 481s| 1720k| 90143 | 4662k| 62M| 37 | 5 | 115 | 101 | 7 | 115 | 17 | 21 | 99k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
524.34/524.54 c 483s| 1730k| 90406 | 4687k| 63M| 37 | - | 115 | 100 | 6 | 115 | 17 | 21 | 99k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
527.24/527.42 c 486s| 1740k| 91511 | 4714k| 63M| 37 | 5 | 115 | 118 | 11 | 115 | 17 | 21 | 100k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
529.94/530.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
529.94/530.20 c 489s| 1750k| 91889 | 4738k| 64M| 37 | 5 | 115 | 117 | 5 | 115 | 17 | 21 | 100k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
532.84/533.03 c 491s| 1760k| 91875 | 4763k| 64M| 37 | 5 | 115 | 88 | 8 | 115 | 17 | 21 | 101k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
535.64/535.85 c 494s| 1770k| 92388 | 4789k| 64M| 37 | - | 115 | 108 | 7 | 115 | 17 | 21 | 101k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
538.44/538.69 c 496s| 1780k| 92309 | 4814k| 64M| 37 | 5 | 115 | 92 | 5 | 115 | 17 | 21 | 102k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
541.34/541.51 c 499s| 1790k| 92842 | 4840k| 65M| 37 | 5 | 115 | 97 | 13 | 115 | 17 | 21 | 102k| 14k| 0.000000e+00 | 3.000000e+00 | Inf
544.03/544.29 c 502s| 1800k| 92837 | 4865k| 65M| 37 | - | 115 | 88 | 6 | 115 | 17 | 21 | 103k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
546.84/547.07 c 504s| 1810k| 92877 | 4891k| 65M| 37 | 5 | 115 | 96 | 5 | 115 | 17 | 21 | 103k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
549.63/549.88 c 507s| 1820k| 92461 | 4917k| 65M| 37 | 5 | 115 | 80 | 5 | 115 | 17 | 21 | 104k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
552.44/552.69 c 509s| 1830k| 91611 | 4942k| 64M| 37 | 5 | 115 | 82 | 6 | 115 | 17 | 21 | 104k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
555.24/555.50 c 512s| 1840k| 91254 | 4967k| 64M| 37 | 5 | 115 | 78 | 5 | 115 | 17 | 21 | 105k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
558.13/558.31 c 514s| 1850k| 91722 | 4993k| 65M| 37 | - | 115 | 85 | 7 | 115 | 17 | 21 | 105k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
560.94/561.16 c 517s| 1860k| 91788 | 5018k| 65M| 37 | 5 | 115 | 98 | 6 | 115 | 17 | 21 | 105k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
563.84/564.00 c 520s| 1870k| 92010 | 5044k| 65M| 37 | - | 115 | 97 | 5 | 115 | 17 | 21 | 106k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
566.64/566.82 c 522s| 1880k| 91800 | 5068k| 65M| 37 | - | 115 | 99 | 6 | 115 | 17 | 21 | 106k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
569.33/569.58 c 525s| 1890k| 91483 | 5093k| 65M| 37 | 5 | 115 | 79 | 5 | 115 | 17 | 21 | 107k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
572.13/572.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
572.13/572.34 c 527s| 1900k| 91214 | 5117k| 65M| 37 | - | 115 | 93 | 5 | 115 | 17 | 21 | 107k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
574.93/575.11 c 530s| 1910k| 91089 | 5141k| 65M| 37 | 5 | 115 | 86 | 6 | 115 | 17 | 21 | 108k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
579.43/579.64 c 534s| 1920k| 92057 | 5168k| 65M| 37 | 5 | 115 | 89 | 10 | 115 | 17 | 21 | 108k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
582.23/582.49 c 537s| 1930k| 92915 | 5194k| 66M| 37 | 5 | 115 | 96 | 7 | 115 | 17 | 21 | 108k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
585.13/585.32 c 539s| 1940k| 93895 | 5219k| 66M| 37 | - | 115 | 82 | 5 | 0 | 0 | 21 | 109k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
587.93/588.13 c 542s| 1950k| 94625 | 5245k| 67M| 37 | - | 115 | 82 | 6 | 115 | 17 | 21 | 109k| 15k| 0.000000e+00 | 3.000000e+00 | Inf
590.83/591.04 c 544s| 1960k| 95560 | 5271k| 68M| 37 | - | 115 | 90 | 8 | 115 | 17 | 21 | 110k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
593.93/594.14 c 547s| 1970k| 97727 | 5299k| 69M| 37 | 5 | 115 | 72 | 10 | 115 | 17 | 21 | 110k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
596.92/597.16 c 550s| 1980k| 99329 | 5327k| 70M| 37 | - | 115 | 67 | 6 | 115 | 17 | 21 | 111k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
599.92/600.10 c 553s| 1990k|100507 | 5354k| 70M| 37 | 5 | 115 | 79 | 12 | 115 | 17 | 21 | 111k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
602.72/602.97 c 555s| 2000k|101451 | 5380k| 71M| 37 | - | 115 | 69 | 8 | 115 | 17 | 21 | 112k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
605.62/605.84 c 558s| 2010k|102335 | 5405k| 71M| 37 | 5 | 115 | 75 | 5 | 115 | 17 | 21 | 112k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
609.92/610.14 c 562s| 2020k|103549 | 5433k| 72M| 37 | 5 | 115 | 85 | 12 | 115 | 17 | 21 | 112k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
612.82/613.06 c 565s| 2030k|104852 | 5460k| 73M| 37 | 5 | 115 | 77 | 6 | 115 | 17 | 21 | 113k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
615.72/616.00 c 567s| 2040k|105957 | 5487k| 74M| 37 | 5 | 115 | 85 | 10 | 115 | 17 | 21 | 113k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
618.62/618.89 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
618.62/618.89 c 570s| 2050k|106772 | 5513k| 74M| 37 | - | 115 | 65 | 3 | 0 | 0 | 21 | 114k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
621.62/621.83 c 573s| 2060k|107605 | 5540k| 75M| 37 | 5 | 115 | 84 | 8 | 115 | 17 | 21 | 114k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
624.42/624.66 c 575s| 2070k|108434 | 5565k| 75M| 37 | 5 | 115 | 70 | 7 | 115 | 17 | 21 | 115k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
627.32/627.56 c 578s| 2080k|109366 | 5592k| 76M| 37 | - | 115 | 69 | 6 | 115 | 17 | 21 | 115k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
630.31/630.53 c 581s| 2090k|111384 | 5619k| 77M| 37 | 5 | 115 | 60 | 5 | 115 | 17 | 21 | 116k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
633.22/633.49 c 583s| 2100k|112822 | 5645k| 78M| 37 | 5 | 115 | 70 | 5 | 115 | 17 | 21 | 116k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
636.11/636.39 c 586s| 2110k|114041 | 5670k| 79M| 37 | - | 115 | 65 | 6 | 115 | 17 | 21 | 116k| 16k| 0.000000e+00 | 3.000000e+00 | Inf
639.02/639.27 c 589s| 2120k|115055 | 5696k| 79M| 37 | - | 115 | 79 | 4 | 115 | 17 | 21 | 117k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
641.81/642.10 c 591s| 2130k|115764 | 5721k| 80M| 37 | - | 115 | 60 | 5 | 115 | 17 | 21 | 117k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
644.71/644.93 c 594s| 2140k|116430 | 5746k| 80M| 37 | 5 | 115 | 91 | 13 | 115 | 17 | 21 | 118k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
647.61/647.85 c 597s| 2150k|117547 | 5772k| 81M| 37 | 5 | 115 | 94 | 5 | 115 | 17 | 21 | 118k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
650.51/650.78 c 599s| 2160k|118457 | 5798k| 82M| 37 | 5 | 115 | 101 | 5 | 115 | 17 | 21 | 119k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
653.41/653.60 c 602s| 2170k|118916 | 5822k| 82M| 37 | - | 115 | 103 | 6 | 115 | 17 | 21 | 119k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
656.21/656.47 c 604s| 2180k|119243 | 5846k| 82M| 37 | - | 115 | 112 | 4 | 0 | 0 | 21 | 120k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
659.11/659.35 c 607s| 2190k|119812 | 5872k| 83M| 37 | 5 | 115 | 104 | 6 | 115 | 17 | 21 | 120k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
662.02/662.21 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
662.02/662.21 c 610s| 2200k|120534 | 5897k| 83M| 37 | - | 115 | 92 | 5 | 0 | 0 | 21 | 121k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
664.81/665.08 c 612s| 2210k|121247 | 5924k| 84M| 37 | - | 115 | 78 | 6 | 115 | 17 | 21 | 121k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
667.71/667.97 c 615s| 2220k|121974 | 5949k| 85M| 37 | 5 | 115 | 94 | 11 | 115 | 17 | 21 | 122k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
670.60/670.80 c 618s| 2230k|123098 | 5974k| 85M| 37 | - | 115 | 78 | 5 | 115 | 17 | 21 | 122k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
673.40/673.60 c 620s| 2240k|123869 | 5999k| 86M| 37 | 5 | 115 | 75 | 6 | 115 | 17 | 21 | 123k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
676.20/676.48 c 623s| 2250k|124444 | 6025k| 86M| 37 | 5 | 115 | 87 | 8 | 115 | 17 | 21 | 123k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
679.10/679.33 c 626s| 2260k|124829 | 6050k| 87M| 37 | 5 | 115 | 73 | 9 | 115 | 17 | 21 | 124k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
681.91/682.18 c 628s| 2270k|125637 | 6076k| 87M| 37 | 5 | 115 | 82 | 5 | 115 | 17 | 21 | 124k| 17k| 0.000000e+00 | 3.000000e+00 | Inf
684.80/685.01 c 631s| 2280k|126147 | 6102k| 88M| 37 | - | 115 | 77 | 5 | 115 | 17 | 21 | 124k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
687.60/687.81 c 633s| 2290k|126308 | 6127k| 88M| 37 | - | 115 | 78 | 8 | 115 | 17 | 21 | 125k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
690.40/690.62 c 636s| 2300k|126661 | 6152k| 88M| 37 | - | 115 | 102 | 7 | 115 | 17 | 21 | 125k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
693.29/693.51 c 639s| 2310k|127149 | 6176k| 89M| 37 | 5 | 115 | 107 | 5 | 115 | 17 | 21 | 126k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
696.20/696.43 c 641s| 2320k|127919 | 6203k| 89M| 37 | - | 115 | 102 | 5 | 115 | 17 | 21 | 127k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
699.19/699.41 c 644s| 2330k|129328 | 6229k| 90M| 37 | 5 | 115 | 96 | 5 | 115 | 17 | 21 | 127k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
702.10/702.32 c 647s| 2340k|129998 | 6255k| 90M| 37 | 5 | 115 | 107 | 5 | 115 | 17 | 21 | 128k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
704.90/705.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
704.90/705.19 c 649s| 2350k|130710 | 6281k| 91M| 37 | - | 115 | 89 | 5 | 115 | 17 | 21 | 128k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
707.79/708.03 c 652s| 2360k|131147 | 6307k| 91M| 37 | 5 | 115 | 105 | 9 | 115 | 17 | 21 | 129k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
710.59/710.89 c 655s| 2370k|131261 | 6332k| 92M| 37 | 5 | 115 | 101 | 9 | 115 | 17 | 21 | 129k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
713.49/713.76 c 657s| 2380k|131549 | 6357k| 92M| 37 | 5 | 115 | 100 | 5 | 115 | 17 | 21 | 129k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
716.39/716.61 c 660s| 2390k|131920 | 6382k| 92M| 37 | 5 | 115 | 102 | 6 | 115 | 17 | 21 | 130k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
719.20/719.47 c 663s| 2400k|132168 | 6407k| 93M| 37 | 5 | 115 | 96 | 8 | 115 | 17 | 21 | 130k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
722.09/722.35 c 665s| 2410k|132673 | 6432k| 93M| 37 | - | 115 | 115 | 5 | 115 | 17 | 21 | 131k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
724.89/725.17 c 668s| 2420k|133100 | 6456k| 93M| 37 | 5 | 115 | 117 | 5 | 115 | 17 | 21 | 131k| 18k| 0.000000e+00 | 3.000000e+00 | Inf
727.68/727.98 c 670s| 2430k|133069 | 6481k| 94M| 37 | 5 | 115 | 100 | 7 | 115 | 17 | 21 | 132k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
730.58/730.88 c 673s| 2440k|133934 | 6506k| 94M| 37 | - | 115 | 127 | 6 | 0 | 0 | 21 | 132k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
733.38/733.70 c 676s| 2450k|133752 | 6529k| 94M| 37 | - | 115 | 92 | 9 | 115 | 17 | 21 | 133k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
736.28/736.54 c 678s| 2460k|134020 | 6554k| 95M| 37 | 5 | 115 | 83 | 7 | 115 | 17 | 21 | 133k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
739.08/739.38 c 681s| 2470k|133954 | 6579k| 95M| 37 | 5 | 115 | 91 | 5 | 115 | 17 | 21 | 134k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
741.98/742.21 c 684s| 2480k|134043 | 6604k| 95M| 37 | - | 115 | 118 | 14 | 115 | 17 | 21 | 134k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
744.79/745.06 c 686s| 2490k|134074 | 6628k| 95M| 37 | - | 115 | 125 | 5 | 115 | 17 | 21 | 135k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
747.68/747.94 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
747.68/747.94 c 689s| 2500k|134881 | 6655k| 96M| 37 | - | 115 | 103 | 5 | 115 | 17 | 21 | 135k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
750.48/750.77 c 691s| 2510k|134891 | 6680k| 96M| 37 | 5 | 115 | 118 | 5 | 115 | 17 | 21 | 135k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
753.39/753.63 c 694s| 2520k|134968 | 6705k| 96M| 38 | - | 115 | 105 | 5 | 115 | 17 | 21 | 136k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
756.18/756.48 c 697s| 2530k|134975 | 6730k| 96M| 38 | - | 115 | 109 | 5 | 115 | 17 | 21 | 136k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
759.08/759.34 c 699s| 2540k|134938 | 6755k| 96M| 38 | 5 | 115 | 107 | 5 | 115 | 17 | 21 | 137k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
761.97/762.23 c 702s| 2550k|135381 | 6779k| 97M| 38 | 5 | 115 | 132 | 5 | 115 | 17 | 21 | 137k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
764.88/765.13 c 705s| 2560k|135914 | 6804k| 97M| 38 | - | 115 | 119 | 7 | 115 | 17 | 21 | 138k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
767.67/767.96 c 707s| 2570k|136267 | 6828k| 97M| 38 | - | 115 | 111 | 5 | 115 | 17 | 21 | 138k| 19k| 0.000000e+00 | 3.000000e+00 | Inf
770.58/770.81 c 710s| 2580k|136743 | 6854k| 98M| 38 | - | 115 | 107 | 4 | 0 | 0 | 21 | 139k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
773.48/773.72 c 712s| 2590k|137077 | 6879k| 98M| 38 | - | 115 | 101 | 5 | 115 | 17 | 21 | 139k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
776.28/776.59 c 715s| 2600k|137244 | 6904k| 98M| 38 | - | 115 | 99 | 5 | 115 | 17 | 21 | 140k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
779.17/779.45 c 718s| 2610k|137408 | 6930k| 99M| 38 | - | 115 | 93 | 5 | 115 | 17 | 21 | 140k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
782.07/782.31 c 720s| 2620k|137724 | 6956k| 99M| 38 | 5 | 115 | 89 | 6 | 115 | 17 | 21 | 141k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
784.97/785.20 c 723s| 2630k|138280 | 6982k| 99M| 38 | - | 115 | 94 | 6 | 115 | 17 | 21 | 141k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
787.87/788.12 c 726s| 2640k|139359 | 7008k| 100M| 38 | 5 | 115 | 94 | 5 | 115 | 17 | 21 | 142k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
790.77/791.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
790.77/791.01 c 728s| 2650k|139913 | 7033k| 100M| 38 | - | 115 | 94 | 5 | 115 | 17 | 21 | 142k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
793.57/793.82 c 731s| 2660k|140098 | 7058k| 101M| 38 | - | 115 | 85 | 5 | 115 | 17 | 21 | 142k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
796.37/796.64 c 734s| 2670k|140014 | 7082k| 101M| 38 | - | 115 | 92 | 5 | 115 | 17 | 21 | 143k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
799.27/799.51 c 736s| 2680k|140148 | 7107k| 101M| 38 | - | 115 | 93 | 6 | 115 | 17 | 21 | 143k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
802.06/802.38 c 739s| 2690k|140503 | 7132k| 101M| 38 | - | 115 | 99 | 9 | 115 | 17 | 21 | 144k| 20k| 0.000000e+00 | 3.000000e+00 | Inf
804.87/805.19 c 741s| 2700k|140271 | 7156k| 101M| 38 | 5 | 115 | 100 | 6 | 115 | 17 | 21 | 144k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
807.76/808.02 c 744s| 2710k|140761 | 7180k| 102M| 38 | 5 | 115 | 95 | 6 | 115 | 17 | 21 | 145k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
810.57/810.86 c 747s| 2720k|140475 | 7205k| 102M| 38 | - | 115 | 85 | 5 | 0 | 0 | 21 | 145k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
813.46/813.72 c 749s| 2730k|140593 | 7230k| 102M| 38 | - | 115 | 102 | 14 | 115 | 17 | 21 | 146k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
816.26/816.55 c 752s| 2740k|140621 | 7254k| 102M| 38 | - | 115 | 94 | 6 | 115 | 17 | 21 | 146k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
819.16/819.40 c 755s| 2750k|141206 | 7278k| 102M| 38 | 5 | 115 | 103 | 7 | 115 | 17 | 21 | 147k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
821.86/822.17 c 757s| 2760k|141019 | 7302k| 102M| 38 | - | 115 | 100 | 5 | 115 | 17 | 21 | 147k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
824.76/825.01 c 760s| 2770k|141134 | 7327k| 103M| 38 | 5 | 115 | 133 | 8 | 115 | 17 | 21 | 147k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
827.56/827.90 c 762s| 2780k|141697 | 7352k| 103M| 38 | - | 115 | 116 | 6 | 115 | 17 | 21 | 148k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
830.46/830.71 c 765s| 2790k|141387 | 7376k| 103M| 38 | 5 | 115 | 114 | 7 | 115 | 17 | 21 | 148k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
833.26/833.55 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
833.26/833.55 c 768s| 2800k|141231 | 7401k| 103M| 38 | - | 115 | 95 | 5 | 115 | 17 | 21 | 149k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
836.15/836.42 c 770s| 2810k|141118 | 7426k| 103M| 38 | 5 | 115 | 108 | 5 | 115 | 17 | 21 | 149k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
838.95/839.26 c 773s| 2820k|140961 | 7451k| 103M| 38 | 5 | 115 | 109 | 6 | 115 | 17 | 21 | 150k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
841.85/842.10 c 775s| 2830k|140924 | 7475k| 103M| 38 | 5 | 115 | 114 | 6 | 115 | 17 | 21 | 150k| 21k| 0.000000e+00 | 3.000000e+00 | Inf
844.66/844.93 c 778s| 2840k|140471 | 7500k| 103M| 38 | - | 115 | 103 | 5 | 115 | 17 | 21 | 150k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
847.45/847.74 c 781s| 2850k|141167 | 7525k| 104M| 38 | 5 | 115 | 110 | 6 | 115 | 17 | 21 | 151k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
850.25/850.58 c 783s| 2860k|141047 | 7549k| 104M| 38 | - | 115 | 106 | 6 | 115 | 17 | 21 | 151k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
853.15/853.46 c 786s| 2870k|141093 | 7573k| 104M| 38 | - | 115 | 108 | 7 | 115 | 17 | 21 | 152k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
856.05/856.32 c 789s| 2880k|140993 | 7599k| 104M| 38 | - | 115 | 112 | 11 | 115 | 17 | 21 | 152k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
858.85/859.18 c 791s| 2890k|140971 | 7623k| 104M| 38 | 5 | 115 | 102 | 5 | 115 | 17 | 21 | 153k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
861.65/861.94 c 794s| 2900k|140779 | 7648k| 104M| 38 | 5 | 115 | 118 | 5 | 115 | 17 | 21 | 153k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
864.54/864.80 c 796s| 2910k|140828 | 7672k| 104M| 38 | 5 | 115 | 118 | 5 | 115 | 17 | 21 | 154k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
867.35/867.64 c 799s| 2920k|141423 | 7697k| 105M| 38 | - | 115 | 129 | 7 | 115 | 17 | 21 | 154k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
870.14/870.44 c 802s| 2930k|141052 | 7722k| 105M| 38 | 5 | 115 | 108 | 6 | 115 | 17 | 21 | 154k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
873.04/873.35 c 804s| 2940k|140777 | 7747k| 104M| 38 | 5 | 115 | 124 | 5 | 115 | 17 | 21 | 155k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
875.84/876.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
875.84/876.19 c 807s| 2950k|140545 | 7771k| 105M| 38 | - | 115 | 112 | 5 | 115 | 17 | 21 | 155k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
878.74/879.07 c 810s| 2960k|140406 | 7796k| 104M| 38 | 5 | 115 | 103 | 6 | 115 | 17 | 21 | 156k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
881.54/881.88 c 812s| 2970k|140273 | 7821k| 105M| 38 | 5 | 115 | 105 | 8 | 115 | 17 | 21 | 156k| 22k| 0.000000e+00 | 3.000000e+00 | Inf
884.34/884.68 c 815s| 2980k|139992 | 7844k| 104M| 38 | 5 | 115 | 107 | 5 | 115 | 17 | 21 | 157k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
887.24/887.52 c 817s| 2990k|139567 | 7869k| 104M| 38 | - | 115 | 93 | 6 | 115 | 17 | 21 | 157k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
890.04/890.37 c 820s| 3000k|139385 | 7894k| 104M| 38 | - | 115 | 105 | 6 | 115 | 17 | 21 | 158k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
892.94/893.24 c 823s| 3010k|138932 | 7918k| 104M| 38 | - | 115 | 108 | 5 | 115 | 17 | 21 | 158k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
895.84/896.11 c 825s| 3020k|139166 | 7943k| 104M| 38 | 5 | 115 | 131 | 5 | 115 | 17 | 21 | 159k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
898.73/899.00 c 828s| 3030k|139984 | 7968k| 105M| 38 | 5 | 115 | 149 | 8 | 115 | 17 | 21 | 159k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
901.53/901.88 c 831s| 3040k|139661 | 7993k| 105M| 38 | 5 | 115 | 168 | 6 | 115 | 17 | 21 | 159k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
904.44/904.71 c 833s| 3050k|139189 | 8017k| 105M| 38 | - | 115 | 151 | 6 | 115 | 17 | 21 | 160k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
907.23/907.55 c 836s| 3060k|139324 | 8042k| 105M| 38 | - | 115 | 147 | 6 | 115 | 17 | 21 | 160k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
910.03/910.37 c 838s| 3070k|138708 | 8065k| 105M| 38 | 5 | 115 | 125 | 12 | 115 | 17 | 21 | 161k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
912.93/913.21 c 841s| 3080k|138484 | 8091k| 105M| 38 | - | 115 | 123 | 7 | 115 | 17 | 21 | 161k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
915.73/916.05 c 844s| 3090k|138114 | 8115k| 104M| 38 | - | 115 | 121 | 7 | 0 | 0 | 21 | 162k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
918.63/918.93 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
918.63/918.93 c 846s| 3100k|138079 | 8139k| 105M| 38 | 5 | 115 | 135 | 5 | 115 | 17 | 21 | 162k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
921.42/921.76 c 849s| 3110k|137817 | 8163k| 104M| 38 | - | 115 | 123 | 5 | 115 | 17 | 21 | 163k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
924.23/924.59 c 851s| 3120k|137378 | 8188k| 104M| 38 | - | 115 | 143 | 14 | 115 | 17 | 21 | 163k| 23k| 0.000000e+00 | 3.000000e+00 | Inf
927.13/927.42 c 854s| 3130k|137246 | 8212k| 104M| 38 | 5 | 115 | 132 | 8 | 115 | 17 | 21 | 164k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
929.92/930.23 c 857s| 3140k|136981 | 8236k| 104M| 38 | 5 | 115 | 148 | 5 | 115 | 17 | 21 | 164k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
932.72/933.08 c 859s| 3150k|137554 | 8261k| 105M| 38 | - | 115 | 179 | 5 | 115 | 17 | 21 | 165k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
935.53/935.88 c 862s| 3160k|137690 | 8285k| 105M| 38 | 5 | 115 | 186 | 6 | 115 | 17 | 21 | 165k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
938.42/938.72 c 864s| 3170k|136845 | 8309k| 104M| 38 | 5 | 115 | 169 | 20 | 115 | 17 | 21 | 166k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
941.33/941.60 c 867s| 3180k|136237 | 8333k| 104M| 38 | 5 | 115 | 153 | 5 | 115 | 17 | 21 | 166k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
944.12/944.45 c 870s| 3190k|136131 | 8358k| 104M| 38 | - | 115 | 142 | 6 | 115 | 17 | 21 | 166k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
946.92/947.30 c 872s| 3200k|135657 | 8382k| 104M| 38 | - | 115 | 127 | 5 | 115 | 17 | 21 | 167k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
949.81/950.13 c 875s| 3210k|135733 | 8408k| 104M| 38 | 5 | 115 | 144 | 7 | 115 | 17 | 21 | 167k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
952.61/952.93 c 878s| 3220k|135423 | 8433k| 104M| 38 | - | 115 | 132 | 6 | 115 | 17 | 21 | 168k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
955.41/955.79 c 880s| 3230k|135068 | 8459k| 104M| 38 | - | 115 | 128 | 9 | 115 | 17 | 21 | 168k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
958.31/958.66 c 883s| 3240k|134902 | 8483k| 104M| 38 | - | 115 | 160 | 8 | 115 | 17 | 21 | 169k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
961.21/961.56 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
961.21/961.56 c 885s| 3250k|135174 | 8508k| 104M| 38 | - | 115 | 181 | 8 | 115 | 17 | 21 | 169k| 24k| 0.000000e+00 | 3.000000e+00 | Inf
964.11/964.42 c 888s| 3260k|135497 | 8532k| 104M| 38 | 5 | 115 | 167 | 6 | 115 | 17 | 21 | 170k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
966.81/967.19 c 891s| 3270k|136077 | 8557k| 105M| 38 | 5 | 115 | 171 | 7 | 115 | 17 | 21 | 170k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
969.71/970.00 c 893s| 3280k|135274 | 8580k| 104M| 38 | 5 | 115 | 173 | 8 | 115 | 17 | 21 | 171k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
972.51/972.86 c 896s| 3290k|134935 | 8605k| 104M| 38 | 5 | 115 | 166 | 6 | 115 | 17 | 21 | 171k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
975.41/975.72 c 898s| 3300k|134578 | 8629k| 104M| 38 | 5 | 115 | 164 | 27 | 115 | 17 | 21 | 171k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
978.31/978.61 c 901s| 3310k|134800 | 8654k| 104M| 38 | 5 | 115 | 169 | 7 | 115 | 17 | 21 | 172k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
981.11/981.48 c 904s| 3320k|134268 | 8678k| 104M| 38 | 5 | 115 | 150 | 5 | 115 | 17 | 21 | 172k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
984.01/984.33 c 906s| 3330k|134183 | 8704k| 104M| 38 | 5 | 115 | 140 | 10 | 115 | 17 | 21 | 173k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
986.81/987.18 c 909s| 3340k|133715 | 8729k| 104M| 38 | - | 115 | 121 | 5 | 115 | 17 | 21 | 173k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
989.61/989.97 c 912s| 3350k|133686 | 8753k| 104M| 38 | - | 115 | 145 | 7 | 115 | 17 | 21 | 174k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
992.51/992.81 c 914s| 3360k|133428 | 8778k| 104M| 38 | - | 115 | 131 | 6 | 115 | 17 | 21 | 174k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
995.30/995.69 c 917s| 3370k|133157 | 8803k| 104M| 38 | - | 115 | 127 | 5 | 115 | 17 | 21 | 175k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
998.21/998.55 c 919s| 3380k|132659 | 8828k| 103M| 38 | 5 | 115 | 116 | 5 | 115 | 17 | 21 | 175k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1001.10/1001.40 c 922s| 3390k|132328 | 8853k| 103M| 38 | 5 | 115 | 120 | 6 | 115 | 17 | 21 | 176k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1003.90/1004.24 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1003.90/1004.24 c 925s| 3400k|131953 | 8879k| 103M| 38 | - | 115 | 99 | 5 | 115 | 17 | 21 | 176k| 25k| 0.000000e+00 | 3.000000e+00 | Inf
1006.70/1007.09 c 927s| 3410k|132175 | 8905k| 103M| 38 | 5 | 115 | 109 | 6 | 115 | 17 | 21 | 177k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1009.60/1009.90 c 930s| 3420k|131943 | 8931k| 103M| 38 | 5 | 115 | 107 | 6 | 115 | 17 | 21 | 177k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1012.30/1012.67 c 932s| 3430k|131863 | 8956k| 103M| 38 | 5 | 115 | 103 | 5 | 115 | 17 | 21 | 178k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1015.19/1015.50 c 935s| 3440k|131610 | 8982k| 103M| 38 | - | 115 | 110 | 7 | 115 | 17 | 21 | 178k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1018.00/1018.37 c 938s| 3450k|131182 | 9008k| 103M| 38 | - | 115 | 85 | 9 | 115 | 17 | 21 | 178k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1020.89/1021.27 c 940s| 3460k|131605 | 9033k| 103M| 38 | 5 | 115 | 111 | 6 | 115 | 17 | 21 | 179k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1023.70/1024.05 c 943s| 3470k|131272 | 9058k| 103M| 38 | - | 115 | 108 | 5 | 115 | 17 | 21 | 179k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1027.69/1028.02 c 946s| 3480k|132415 | 9085k| 104M| 38 | - | 115 | 98 | 5 | 115 | 17 | 21 | 180k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1030.60/1030.94 c 949s| 3490k|133929 | 9112k| 104M| 38 | - | 115 | 109 | 10 | 115 | 17 | 21 | 180k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1033.49/1033.81 c 952s| 3500k|134943 | 9138k| 105M| 38 | 5 | 115 | 97 | 7 | 115 | 17 | 21 | 180k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1036.39/1036.72 c 954s| 3510k|136025 | 9165k| 106M| 38 | 5 | 115 | 114 | 7 | 115 | 17 | 21 | 181k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1039.20/1039.55 c 957s| 3520k|136600 | 9190k| 106M| 38 | 5 | 115 | 106 | 6 | 115 | 17 | 21 | 181k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1041.99/1042.34 c 960s| 3530k|136917 | 9215k| 107M| 38 | - | 115 | 108 | 5 | 115 | 17 | 21 | 182k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1044.80/1045.15 c 962s| 3540k|137523 | 9241k| 107M| 38 | 5 | 115 | 125 | 5 | 115 | 17 | 21 | 182k| 26k| 0.000000e+00 | 3.000000e+00 | Inf
1047.59/1047.94 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1047.59/1047.94 c 965s| 3550k|138170 | 9265k| 108M| 38 | - | 115 | 113 | 6 | 115 | 17 | 21 | 182k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1050.39/1050.77 c 967s| 3560k|138921 | 9291k| 108M| 38 | 5 | 115 | 106 | 5 | 115 | 17 | 21 | 183k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1053.19/1053.55 c 970s| 3570k|138915 | 9316k| 109M| 38 | - | 115 | 119 | 10 | 0 | 0 | 21 | 183k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1055.99/1056.38 c 973s| 3580k|138860 | 9341k| 109M| 38 | - | 115 | 118 | 7 | 0 | 0 | 21 | 184k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1058.89/1059.24 c 975s| 3590k|138880 | 9366k| 109M| 38 | 5 | 115 | 112 | 6 | 115 | 17 | 21 | 184k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1061.69/1062.05 c 978s| 3600k|138842 | 9390k| 109M| 38 | - | 115 | 116 | 9 | 115 | 17 | 21 | 185k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1064.49/1064.85 c 980s| 3610k|138496 | 9414k| 109M| 38 | - | 115 | 110 | 5 | 115 | 17 | 21 | 185k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1067.28/1067.68 c 983s| 3620k|138475 | 9440k| 109M| 38 | 5 | 115 | 107 | 6 | 115 | 17 | 21 | 185k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1070.18/1070.52 c 986s| 3630k|138003 | 9465k| 109M| 38 | - | 115 | 104 | 6 | 115 | 17 | 21 | 186k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1072.98/1073.31 c 988s| 3640k|137105 | 9489k| 109M| 38 | 5 | 115 | 103 | 5 | 115 | 17 | 21 | 186k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1075.78/1076.13 c 991s| 3650k|136407 | 9514k| 108M| 38 | - | 115 | 100 | 6 | 115 | 17 | 21 | 186k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1078.58/1078.95 c 993s| 3660k|135596 | 9538k| 108M| 38 | 5 | 115 | 103 | 8 | 115 | 17 | 21 | 187k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1081.48/1081.81 c 996s| 3670k|134345 | 9562k| 107M| 38 | - | 115 | 105 | 5 | 115 | 17 | 21 | 187k| 27k| 0.000000e+00 | 3.000000e+00 | Inf
1084.29/1084.66 c 999s| 3680k|132447 | 9587k| 105M| 38 | 5 | 115 | 98 | 7 | 115 | 17 | 21 | 188k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1087.07/1087.45 c 1001s| 3690k|132733 | 9611k| 105M| 38 | 5 | 115 | 94 | 7 | 115 | 17 | 21 | 188k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1089.88/1090.25 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1089.88/1090.25 c 1004s| 3700k|131940 | 9636k| 105M| 38 | 5 | 115 | 94 | 5 | 115 | 17 | 21 | 189k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1092.88/1093.22 c 1006s| 3710k|132130 | 9663k| 105M| 38 | 5 | 115 | 87 | 9 | 115 | 17 | 21 | 189k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1095.77/1096.10 c 1009s| 3720k|132710 | 9690k| 105M| 38 | 5 | 115 | 94 | 5 | 115 | 17 | 21 | 189k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1098.58/1098.93 c 1012s| 3730k|132457 | 9715k| 105M| 38 | - | 115 | 90 | 5 | 115 | 17 | 21 | 190k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1101.47/1101.86 c 1014s| 3740k|133009 | 9742k| 106M| 38 | 5 | 115 | 95 | 7 | 115 | 17 | 21 | 190k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1104.27/1104.68 c 1017s| 3750k|134266 | 9767k| 106M| 38 | 5 | 115 | 98 | 5 | 115 | 17 | 21 | 191k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1107.07/1107.47 c 1020s| 3760k|134792 | 9791k| 107M| 38 | - | 115 | 96 | 5 | 115 | 17 | 21 | 191k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1109.87/1110.25 c 1022s| 3770k|135371 | 9816k| 107M| 38 | 5 | 115 | 95 | 6 | 115 | 17 | 21 | 192k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1112.67/1113.02 c 1025s| 3780k|135212 | 9840k| 108M| 38 | 5 | 115 | 96 | 6 | 115 | 17 | 21 | 192k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1115.37/1115.79 c 1027s| 3790k|134941 | 9864k| 108M| 38 | - | 115 | 108 | 9 | 115 | 17 | 21 | 192k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1118.27/1118.61 c 1030s| 3800k|133179 | 9887k| 107M| 38 | - | 115 | 89 | 7 | 115 | 17 | 21 | 193k| 28k| 0.000000e+00 | 3.000000e+00 | Inf
1121.17/1121.50 c 1032s| 3810k|132659 | 9912k| 106M| 38 | - | 115 | 114 | 12 | 115 | 17 | 21 | 193k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1123.87/1124.26 c 1035s| 3820k|133079 | 9937k| 106M| 38 | - | 115 | 110 | 7 | 115 | 17 | 21 | 194k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1126.67/1127.06 c 1038s| 3830k|132270 | 9962k| 106M| 38 | - | 115 | 106 | 6 | 115 | 17 | 21 | 194k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1129.56/1129.95 c 1040s| 3840k|132478 | 9989k| 106M| 38 | 5 | 115 | 101 | 6 | 115 | 17 | 21 | 194k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1132.47/1132.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1132.47/1132.84 c 1043s| 3850k|133616 | 10016k| 107M| 38 | 5 | 115 | 97 | 5 | 115 | 17 | 21 | 195k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1135.26/1135.68 c 1046s| 3860k|134145 | 10042k| 107M| 38 | - | 115 | 102 | 6 | 115 | 17 | 21 | 195k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1138.17/1138.51 c 1048s| 3870k|134360 | 10068k| 107M| 38 | - | 115 | 109 | 5 | 115 | 17 | 21 | 196k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1140.96/1141.32 c 1051s| 3880k|134131 | 10092k| 107M| 38 | 5 | 115 | 113 | 13 | 115 | 17 | 21 | 196k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1143.76/1144.14 c 1053s| 3890k|133240 | 10117k| 107M| 38 | 5 | 115 | 108 | 9 | 115 | 17 | 21 | 197k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1146.66/1147.00 c 1056s| 3900k|131914 | 10142k| 106M| 38 | - | 115 | 140 | 6 | 115 | 17 | 21 | 197k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1149.55/1149.99 c 1059s| 3910k|132662 | 10168k| 106M| 38 | 5 | 115 | 156 | 5 | 115 | 17 | 21 | 198k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1152.45/1152.85 c 1061s| 3920k|132710 | 10193k| 107M| 38 | 5 | 115 | 156 | 5 | 115 | 17 | 21 | 198k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1155.34/1155.78 c 1064s| 3930k|131963 | 10217k| 106M| 38 | - | 115 | 155 | 7 | 115 | 17 | 21 | 199k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1158.25/1158.66 c 1067s| 3940k|132137 | 10242k| 106M| 38 | 5 | 115 | 137 | 6 | 115 | 17 | 21 | 199k| 29k| 0.000000e+00 | 3.000000e+00 | Inf
1161.25/1161.61 c 1069s| 3950k|132316 | 10268k| 106M| 38 | - | 115 | 131 | 9 | 115 | 17 | 21 | 200k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1164.04/1164.43 c 1072s| 3960k|132389 | 10293k| 107M| 38 | 5 | 115 | 140 | 5 | 115 | 17 | 21 | 200k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1166.85/1167.25 c 1075s| 3970k|131843 | 10318k| 106M| 38 | - | 115 | 172 | 7 | 0 | 0 | 21 | 200k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1169.74/1170.12 c 1077s| 3980k|131538 | 10344k| 106M| 38 | - | 115 | 131 | 5 | 115 | 17 | 21 | 201k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1172.54/1172.98 c 1080s| 3990k|130869 | 10368k| 106M| 38 | - | 115 | 125 | 8 | 115 | 17 | 21 | 201k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1175.44/1175.89 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1175.44/1175.89 c 1082s| 4000k|130323 | 10393k| 105M| 38 | - | 115 | 125 | 10 | 115 | 17 | 21 | 202k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1178.44/1178.81 c 1085s| 4010k|129492 | 10417k| 105M| 38 | 5 | 115 | 146 | 9 | 115 | 17 | 21 | 202k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1181.33/1181.74 c 1088s| 4020k|130007 | 10443k| 105M| 38 | 5 | 115 | 101 | 5 | 115 | 17 | 21 | 203k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1184.14/1184.57 c 1090s| 4030k|130736 | 10467k| 106M| 38 | - | 115 | 103 | 5 | 115 | 17 | 21 | 203k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1187.04/1187.43 c 1093s| 4040k|130869 | 10492k| 106M| 38 | 5 | 115 | 102 | 9 | 115 | 17 | 21 | 204k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1189.84/1190.29 c 1096s| 4050k|130965 | 10516k| 106M| 38 | 5 | 115 | 100 | 6 | 115 | 17 | 21 | 205k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1192.74/1193.18 c 1098s| 4060k|130862 | 10542k| 106M| 38 | - | 115 | 113 | 5 | 115 | 17 | 21 | 205k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1195.63/1196.08 c 1101s| 4070k|130923 | 10567k| 106M| 38 | - | 115 | 109 | 6 | 115 | 17 | 21 | 206k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1198.53/1198.98 c 1104s| 4080k|131383 | 10592k| 107M| 38 | - | 115 | 110 | 5 | 115 | 17 | 21 | 206k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1201.43/1201.87 c 1106s| 4090k|132311 | 10618k| 107M| 38 | - | 115 | 121 | 6 | 115 | 17 | 21 | 207k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1204.24/1204.67 c 1109s| 4100k|132271 | 10643k| 108M| 38 | - | 115 | 128 | 5 | 0 | 0 | 21 | 207k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1207.03/1207.49 c 1111s| 4110k|132153 | 10668k| 108M| 38 | 5 | 115 | 126 | 9 | 115 | 17 | 21 | 208k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1209.93/1210.33 c 1114s| 4120k|131364 | 10693k| 107M| 38 | 5 | 115 | 98 | 10 | 115 | 17 | 21 | 208k| 30k| 0.000000e+00 | 3.000000e+00 | Inf
1212.83/1213.20 c 1117s| 4130k|131062 | 10718k| 107M| 38 | 5 | 115 | 126 | 12 | 115 | 17 | 21 | 209k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1215.73/1216.13 c 1119s| 4140k|130251 | 10742k| 106M| 38 | - | 115 | 101 | 6 | 115 | 17 | 21 | 209k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1218.53/1218.99 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1218.53/1218.99 c 1122s| 4150k|130518 | 10767k| 107M| 38 | - | 115 | 141 | 5 | 0 | 0 | 21 | 210k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1221.43/1221.86 c 1125s| 4160k|129613 | 10791k| 106M| 38 | 5 | 115 | 121 | 6 | 115 | 17 | 21 | 210k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1224.32/1224.74 c 1127s| 4170k|129002 | 10816k| 105M| 38 | 5 | 115 | 115 | 17 | 115 | 17 | 21 | 211k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1227.13/1227.54 c 1130s| 4180k|128806 | 10842k| 105M| 38 | 5 | 115 | 81 | 7 | 115 | 17 | 21 | 211k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1229.93/1230.35 c 1132s| 4190k|128843 | 10867k| 105M| 38 | - | 115 | 78 | 6 | 115 | 17 | 21 | 212k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1232.73/1233.18 c 1135s| 4200k|128313 | 10891k| 105M| 38 | 5 | 115 | 93 | 6 | 115 | 17 | 21 | 212k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1235.62/1236.00 c 1138s| 4210k|128439 | 10915k| 105M| 38 | 5 | 115 | 89 | 6 | 115 | 17 | 21 | 213k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1238.43/1238.83 c 1140s| 4220k|128055 | 10940k| 105M| 38 | 5 | 115 | 99 | 6 | 115 | 17 | 21 | 213k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1241.23/1241.70 c 1143s| 4230k|128240 | 10966k| 105M| 38 | 5 | 115 | 96 | 7 | 115 | 17 | 21 | 214k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1244.12/1244.54 c 1145s| 4240k|128597 | 10991k| 105M| 38 | - | 115 | 125 | 5 | 115 | 17 | 21 | 214k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1246.92/1247.33 c 1148s| 4250k|128279 | 11016k| 105M| 38 | - | 115 | 87 | 6 | 115 | 17 | 21 | 214k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1249.72/1250.15 c 1151s| 4260k|127213 | 11041k| 104M| 38 | - | 115 | 78 | 5 | 115 | 17 | 21 | 215k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1252.72/1253.18 c 1153s| 4270k|128938 | 11068k| 105M| 38 | 5 | 115 | 72 | 6 | 115 | 17 | 21 | 215k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1255.62/1256.06 c 1156s| 4280k|130192 | 11094k| 106M| 38 | 5 | 115 | 90 | 6 | 115 | 17 | 21 | 216k| 31k| 0.000000e+00 | 3.000000e+00 | Inf
1258.72/1259.10 c 1159s| 4290k|131550 | 11121k| 107M| 38 | - | 115 | 97 | 5 | 115 | 17 | 21 | 216k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1261.52/1261.97 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1261.52/1261.98 c 1161s| 4300k|132441 | 11146k| 108M| 38 | - | 115 | 86 | 5 | 115 | 17 | 21 | 217k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1264.42/1264.81 c 1164s| 4310k|133072 | 11171k| 108M| 38 | 5 | 115 | 84 | 5 | 115 | 17 | 21 | 217k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1267.22/1267.63 c 1167s| 4320k|133576 | 11197k| 109M| 38 | 5 | 115 | 92 | 5 | 115 | 17 | 21 | 218k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1270.01/1270.49 c 1169s| 4330k|134175 | 11222k| 109M| 38 | - | 115 | 103 | 5 | 115 | 17 | 21 | 218k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1272.91/1273.35 c 1172s| 4340k|134952 | 11248k| 110M| 38 | - | 115 | 96 | 8 | 115 | 17 | 21 | 218k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1275.81/1276.29 c 1175s| 4350k|135614 | 11275k| 110M| 38 | 5 | 115 | 90 | 6 | 115 | 17 | 21 | 219k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1278.71/1279.16 c 1177s| 4360k|136143 | 11299k| 111M| 38 | 5 | 115 | 99 | 7 | 115 | 17 | 21 | 219k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1281.71/1282.11 c 1180s| 4370k|137403 | 11327k| 111M| 38 | 5 | 115 | 101 | 6 | 115 | 17 | 21 | 220k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1284.61/1285.00 c 1183s| 4380k|138384 | 11354k| 112M| 38 | 5 | 115 | 96 | 7 | 115 | 17 | 21 | 220k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1287.51/1287.97 c 1185s| 4390k|139914 | 11381k| 113M| 38 | - | 115 | 108 | 8 | 115 | 17 | 21 | 221k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1290.40/1290.89 c 1188s| 4400k|141263 | 11408k| 114M| 38 | 5 | 115 | 105 | 5 | 115 | 17 | 21 | 221k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1293.40/1293.80 c 1191s| 4410k|142007 | 11434k| 114M| 38 | 5 | 115 | 105 | 6 | 115 | 17 | 21 | 222k| 32k| 0.000000e+00 | 3.000000e+00 | Inf
1296.20/1296.70 c 1193s| 4420k|142654 | 11461k| 115M| 38 | 5 | 115 | 102 | 6 | 115 | 17 | 21 | 222k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1299.10/1299.53 c 1196s| 4430k|143118 | 11486k| 115M| 38 | 5 | 115 | 108 | 16 | 115 | 17 | 21 | 223k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1302.00/1302.46 c 1199s| 4440k|144074 | 11513k| 116M| 38 | 5 | 115 | 103 | 5 | 115 | 17 | 21 | 223k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1304.80/1305.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1304.80/1305.28 c 1201s| 4450k|144536 | 11540k| 116M| 38 | - | 115 | 108 | 6 | 115 | 17 | 21 | 223k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1307.71/1308.16 c 1204s| 4460k|144737 | 11567k| 117M| 38 | 5 | 115 | 104 | 6 | 115 | 17 | 21 | 224k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1310.50/1310.99 c 1207s| 4470k|144945 | 11592k| 117M| 38 | 5 | 115 | 100 | 5 | 115 | 17 | 21 | 224k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1313.40/1313.82 c 1209s| 4480k|144983 | 11618k| 117M| 38 | - | 115 | 98 | 5 | 115 | 17 | 21 | 225k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1316.20/1316.69 c 1212s| 4490k|145084 | 11644k| 117M| 38 | - | 115 | 102 | 5 | 115 | 17 | 21 | 225k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1319.10/1319.57 c 1214s| 4500k|145666 | 11670k| 118M| 38 | - | 115 | 106 | 5 | 115 | 17 | 21 | 226k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1322.10/1322.59 c 1217s| 4510k|147029 | 11698k| 119M| 38 | 5 | 115 | 107 | 10 | 115 | 17 | 21 | 226k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1325.00/1325.48 c 1220s| 4520k|148502 | 11725k| 119M| 38 | - | 115 | 112 | 5 | 0 | 0 | 21 | 226k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1327.90/1328.32 c 1223s| 4530k|149116 | 11751k| 120M| 38 | - | 115 | 101 | 5 | 0 | 0 | 21 | 227k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1330.70/1331.18 c 1225s| 4540k|149565 | 11777k| 120M| 38 | - | 115 | 106 | 5 | 115 | 17 | 21 | 227k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1333.60/1334.05 c 1228s| 4550k|149885 | 11803k| 121M| 38 | - | 115 | 108 | 5 | 115 | 17 | 21 | 228k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1336.49/1336.94 c 1230s| 4560k|150292 | 11828k| 121M| 38 | 5 | 115 | 106 | 7 | 115 | 17 | 21 | 228k| 33k| 0.000000e+00 | 3.000000e+00 | Inf
1339.39/1339.88 c 1233s| 4570k|151977 | 11854k| 122M| 38 | 5 | 115 | 108 | 6 | 115 | 17 | 21 | 228k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1342.49/1342.90 c 1236s| 4580k|153609 | 11883k| 123M| 38 | - | 115 | 127 | 11 | 115 | 17 | 21 | 229k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1345.39/1345.82 c 1239s| 4590k|154756 | 11909k| 124M| 38 | 5 | 115 | 133 | 6 | 115 | 17 | 21 | 229k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1348.29/1348.70 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1348.29/1348.70 c 1241s| 4600k|155874 | 11936k| 124M| 38 | - | 115 | 133 | 6 | 115 | 17 | 21 | 230k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1351.09/1351.57 c 1244s| 4610k|156622 | 11963k| 125M| 38 | - | 115 | 142 | 5 | 115 | 17 | 21 | 230k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1353.99/1354.47 c 1247s| 4620k|157090 | 11988k| 126M| 38 | 5 | 115 | 156 | 7 | 115 | 17 | 21 | 231k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1356.88/1357.37 c 1249s| 4630k|157729 | 12014k| 126M| 38 | 5 | 115 | 152 | 6 | 115 | 17 | 21 | 231k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1359.78/1360.26 c 1252s| 4640k|158083 | 12039k| 126M| 38 | 5 | 115 | 146 | 5 | 115 | 17 | 21 | 232k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1362.69/1363.15 c 1255s| 4650k|158419 | 12065k| 127M| 38 | - | 115 | 157 | 6 | 115 | 17 | 21 | 232k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1365.58/1366.01 c 1257s| 4660k|158760 | 12090k| 127M| 38 | - | 115 | 158 | 6 | 0 | 0 | 21 | 233k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1368.49/1368.92 c 1260s| 4670k|159886 | 12118k| 128M| 38 | 5 | 115 | 173 | 7 | 115 | 17 | 21 | 233k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1371.28/1371.76 c 1262s| 4680k|160378 | 12144k| 128M| 38 | - | 115 | 156 | 5 | 115 | 17 | 21 | 234k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1374.18/1374.64 c 1265s| 4690k|160248 | 12169k| 128M| 38 | - | 115 | 149 | 6 | 115 | 17 | 21 | 234k| 34k| 0.000000e+00 | 3.000000e+00 | Inf
1377.08/1377.56 c 1268s| 4700k|160287 | 12195k| 129M| 38 | 5 | 115 | 162 | 10 | 115 | 17 | 21 | 234k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1379.98/1380.48 c 1270s| 4710k|160418 | 12221k| 129M| 38 | 5 | 115 | 148 | 6 | 115 | 17 | 21 | 235k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1382.88/1383.32 c 1273s| 4720k|160807 | 12246k| 129M| 38 | 5 | 115 | 163 | 6 | 115 | 17 | 21 | 235k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1385.68/1386.17 c 1276s| 4730k|161179 | 12272k| 130M| 38 | - | 115 | 149 | 6 | 0 | 0 | 21 | 236k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1388.58/1389.03 c 1278s| 4740k|161223 | 12297k| 130M| 38 | 5 | 115 | 148 | 7 | 115 | 17 | 21 | 236k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1391.38/1391.89 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1391.38/1391.89 c 1281s| 4750k|161038 | 12322k| 130M| 38 | - | 115 | 147 | 5 | 0 | 0 | 21 | 237k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1394.27/1394.78 c 1284s| 4760k|160933 | 12347k| 130M| 38 | 5 | 115 | 148 | 6 | 115 | 17 | 21 | 237k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1397.17/1397.68 c 1286s| 4770k|160897 | 12372k| 130M| 38 | - | 115 | 155 | 7 | 0 | 0 | 21 | 238k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1400.08/1400.54 c 1289s| 4780k|161319 | 12397k| 131M| 38 | - | 115 | 166 | 6 | 115 | 17 | 21 | 238k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1402.97/1403.41 c 1292s| 4790k|161967 | 12422k| 131M| 38 | - | 115 | 149 | 7 | 115 | 17 | 21 | 238k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1405.78/1406.27 c 1294s| 4800k|161997 | 12448k| 131M| 38 | - | 115 | 154 | 5 | 115 | 17 | 21 | 239k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1408.67/1409.12 c 1297s| 4810k|161994 | 12473k| 132M| 38 | - | 115 | 159 | 11 | 0 | 0 | 21 | 239k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1411.57/1412.02 c 1299s| 4820k|161673 | 12499k| 132M| 38 | 5 | 115 | 151 | 10 | 115 | 17 | 21 | 240k| 35k| 0.000000e+00 | 3.000000e+00 | Inf
1414.46/1414.90 c 1302s| 4830k|161496 | 12524k| 132M| 38 | - | 115 | 161 | 12 | 115 | 17 | 21 | 240k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1417.37/1417.81 c 1305s| 4840k|161232 | 12550k| 132M| 38 | - | 115 | 149 | 7 | 115 | 17 | 21 | 240k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1420.26/1420.72 c 1307s| 4850k|161714 | 12576k| 132M| 38 | 5 | 115 | 168 | 5 | 115 | 17 | 21 | 241k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1423.07/1423.55 c 1310s| 4860k|162274 | 12600k| 132M| 38 | 5 | 115 | 169 | 11 | 115 | 17 | 21 | 241k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1425.96/1426.41 c 1313s| 4870k|162264 | 12625k| 133M| 38 | - | 115 | 147 | 5 | 115 | 17 | 21 | 242k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1428.86/1429.31 c 1315s| 4880k|162226 | 12651k| 133M| 38 | - | 115 | 164 | 6 | 115 | 17 | 21 | 242k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1431.76/1432.24 c 1318s| 4890k|162436 | 12678k| 133M| 38 | 5 | 115 | 157 | 5 | 115 | 17 | 21 | 243k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1434.66/1435.17 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1434.66/1435.17 c 1321s| 4900k|162313 | 12704k| 133M| 38 | 5 | 115 | 160 | 17 | 115 | 17 | 21 | 243k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1437.56/1438.06 c 1323s| 4910k|162558 | 12729k| 133M| 38 | 5 | 115 | 151 | 7 | 115 | 17 | 21 | 244k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1440.46/1440.96 c 1326s| 4920k|162282 | 12753k| 133M| 38 | - | 115 | 149 | 11 | 115 | 17 | 21 | 244k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1443.36/1443.85 c 1329s| 4930k|162253 | 12779k| 134M| 38 | - | 115 | 150 | 6 | 115 | 17 | 21 | 244k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1446.26/1446.71 c 1331s| 4940k|162486 | 12805k| 134M| 38 | 5 | 115 | 142 | 6 | 115 | 17 | 21 | 245k| 36k| 0.000000e+00 | 3.000000e+00 | Inf
1449.16/1449.65 c 1334s| 4950k|163393 | 12832k| 134M| 38 | - | 115 | 159 | 5 | 115 | 17 | 21 | 245k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1452.06/1452.51 c 1337s| 4960k|163952 | 12857k| 135M| 38 | 5 | 115 | 148 | 8 | 115 | 17 | 21 | 246k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1454.86/1455.40 c 1339s| 4970k|164620 | 12883k| 135M| 38 | 5 | 115 | 143 | 5 | 115 | 17 | 21 | 246k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1457.76/1458.25 c 1342s| 4980k|165452 | 12907k| 136M| 38 | 5 | 115 | 153 | 7 | 115 | 17 | 21 | 247k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1460.55/1461.08 c 1344s| 4990k|165771 | 12932k| 136M| 38 | - | 115 | 147 | 5 | 115 | 17 | 21 | 247k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1463.35/1463.88 c 1347s| 5000k|165581 | 12956k| 136M| 38 | - | 115 | 143 | 5 | 115 | 17 | 21 | 248k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1466.16/1466.68 c 1350s| 5010k|165255 | 12980k| 136M| 38 | 5 | 115 | 138 | 5 | 115 | 17 | 21 | 248k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1469.05/1469.56 c 1352s| 5020k|165441 | 13008k| 137M| 38 | - | 115 | 138 | 5 | 115 | 17 | 21 | 248k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1471.95/1472.44 c 1355s| 5030k|165327 | 13034k| 137M| 38 | - | 115 | 146 | 10 | 115 | 17 | 21 | 249k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1474.85/1475.33 c 1358s| 5040k|165378 | 13059k| 137M| 38 | - | 115 | 139 | 8 | 0 | 0 | 21 | 249k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1477.75/1478.24 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1477.75/1478.24 c 1360s| 5050k|165434 | 13085k| 137M| 38 | 5 | 115 | 141 | 10 | 115 | 17 | 21 | 250k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1480.65/1481.11 c 1363s| 5060k|165044 | 13110k| 137M| 38 | - | 115 | 153 | 9 | 115 | 17 | 21 | 250k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1483.55/1484.01 c 1366s| 5070k|165305 | 13135k| 137M| 38 | - | 115 | 149 | 6 | 115 | 17 | 21 | 250k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1486.35/1486.85 c 1368s| 5080k|165780 | 13161k| 138M| 38 | - | 115 | 141 | 6 | 115 | 17 | 21 | 251k| 37k| 0.000000e+00 | 3.000000e+00 | Inf
1489.24/1489.72 c 1371s| 5090k|165322 | 13186k| 138M| 38 | - | 115 | 133 | 12 | 115 | 17 | 21 | 251k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1492.24/1492.71 c 1373s| 5100k|166058 | 13213k| 138M| 38 | - | 115 | 142 | 7 | 115 | 17 | 21 | 252k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1495.14/1495.61 c 1376s| 5110k|166643 | 13240k| 139M| 38 | 5 | 115 | 143 | 6 | 115 | 17 | 21 | 252k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1497.95/1498.46 c 1379s| 5120k|166924 | 13264k| 139M| 38 | 5 | 115 | 155 | 5 | 115 | 17 | 21 | 253k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1500.85/1501.34 c 1381s| 5130k|167161 | 13290k| 139M| 38 | - | 115 | 170 | 5 | 0 | 0 | 21 | 253k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1503.74/1504.20 c 1384s| 5140k|167621 | 13315k| 140M| 38 | - | 115 | 158 | 6 | 115 | 17 | 21 | 254k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1506.55/1507.04 c 1387s| 5150k|167539 | 13340k| 140M| 38 | - | 115 | 154 | 9 | 115 | 17 | 21 | 254k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1509.34/1509.85 c 1389s| 5160k|167547 | 13364k| 140M| 38 | - | 115 | 158 | 5 | 115 | 17 | 21 | 255k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1512.23/1512.75 c 1392s| 5170k|167125 | 13389k| 140M| 38 | 5 | 115 | 146 | 7 | 115 | 17 | 21 | 255k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1515.14/1515.64 c 1395s| 5180k|167944 | 13414k| 140M| 38 | - | 115 | 160 | 6 | 115 | 17 | 21 | 256k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1518.04/1518.51 c 1397s| 5190k|167553 | 13439k| 140M| 38 | 5 | 115 | 162 | 11 | 115 | 17 | 21 | 256k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1520.94/1521.42 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1520.94/1521.42 c 1400s| 5200k|167005 | 13464k| 140M| 38 | 5 | 115 | 139 | 5 | 115 | 17 | 21 | 257k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1523.73/1524.28 c 1402s| 5210k|166846 | 13489k| 140M| 38 | - | 115 | 136 | 5 | 115 | 17 | 21 | 257k| 38k| 0.000000e+00 | 3.000000e+00 | Inf
1526.64/1527.11 c 1405s| 5220k|166977 | 13516k| 140M| 38 | - | 115 | 142 | 6 | 115 | 17 | 21 | 257k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1529.43/1529.96 c 1408s| 5230k|167513 | 13540k| 141M| 38 | - | 115 | 144 | 5 | 115 | 17 | 21 | 258k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1532.33/1532.84 c 1410s| 5240k|167082 | 13565k| 141M| 38 | - | 115 | 133 | 4 | 115 | 17 | 21 | 258k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1535.24/1535.79 c 1413s| 5250k|168102 | 13591k| 141M| 38 | - | 115 | 130 | 6 | 115 | 17 | 21 | 259k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1538.14/1538.69 c 1416s| 5260k|168952 | 13617k| 142M| 38 | - | 115 | 130 | 8 | 115 | 17 | 21 | 259k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1541.03/1541.56 c 1418s| 5270k|169395 | 13642k| 142M| 38 | 5 | 115 | 138 | 5 | 115 | 17 | 21 | 259k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1543.94/1544.42 c 1421s| 5280k|170130 | 13668k| 143M| 38 | 5 | 115 | 143 | 8 | 115 | 17 | 21 | 260k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1546.73/1547.25 c 1424s| 5290k|170495 | 13694k| 143M| 38 | 5 | 115 | 135 | 7 | 115 | 17 | 21 | 260k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1549.63/1550.11 c 1426s| 5300k|170507 | 13719k| 143M| 38 | 5 | 115 | 122 | 5 | 115 | 17 | 21 | 261k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1552.43/1552.97 c 1429s| 5310k|169890 | 13744k| 143M| 38 | 5 | 115 | 122 | 7 | 115 | 17 | 21 | 261k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1555.33/1555.85 c 1431s| 5320k|169340 | 13770k| 143M| 38 | - | 115 | 121 | 6 | 115 | 17 | 21 | 261k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1558.23/1558.71 c 1434s| 5330k|168615 | 13795k| 143M| 38 | 5 | 115 | 119 | 6 | 115 | 17 | 21 | 262k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1561.12/1561.60 c 1437s| 5340k|168534 | 13820k| 143M| 38 | 5 | 115 | 144 | 7 | 115 | 17 | 21 | 262k| 39k| 0.000000e+00 | 3.000000e+00 | Inf
1563.93/1564.44 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1563.93/1564.44 c 1439s| 5350k|168473 | 13845k| 143M| 38 | 5 | 115 | 137 | 7 | 115 | 17 | 21 | 263k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1566.72/1567.29 c 1442s| 5360k|168108 | 13871k| 143M| 38 | - | 115 | 127 | 5 | 115 | 17 | 21 | 263k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1569.62/1570.14 c 1445s| 5370k|167761 | 13896k| 143M| 38 | 5 | 115 | 132 | 5 | 115 | 17 | 21 | 263k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1572.52/1573.03 c 1447s| 5380k|166907 | 13920k| 142M| 38 | - | 115 | 123 | 5 | 115 | 17 | 21 | 264k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1575.42/1575.98 c 1450s| 5390k|166690 | 13946k| 142M| 38 | - | 115 | 155 | 9 | 115 | 17 | 21 | 264k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1578.32/1578.86 c 1453s| 5400k|166945 | 13971k| 142M| 38 | 5 | 115 | 153 | 11 | 115 | 17 | 21 | 265k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1581.22/1581.76 c 1455s| 5410k|166201 | 13995k| 142M| 38 | - | 115 | 136 | 5 | 115 | 17 | 21 | 265k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1584.12/1584.64 c 1458s| 5420k|166919 | 14022k| 142M| 38 | - | 115 | 128 | 8 | 115 | 17 | 21 | 266k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1586.92/1587.49 c 1461s| 5430k|167180 | 14049k| 143M| 38 | - | 115 | 136 | 6 | 115 | 17 | 21 | 266k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1589.82/1590.38 c 1463s| 5440k|168140 | 14076k| 143M| 38 | 5 | 115 | 142 | 8 | 115 | 17 | 21 | 267k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1592.71/1593.27 c 1466s| 5450k|169129 | 14103k| 144M| 38 | 5 | 115 | 138 | 7 | 115 | 17 | 21 | 267k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1595.62/1596.12 c 1468s| 5460k|169657 | 14128k| 144M| 38 | 5 | 115 | 132 | 9 | 115 | 17 | 21 | 268k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1598.41/1598.96 c 1471s| 5470k|170244 | 14154k| 145M| 38 | - | 115 | 128 | 5 | 115 | 17 | 21 | 268k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1601.22/1601.80 c 1474s| 5480k|170214 | 14179k| 145M| 38 | 5 | 115 | 136 | 6 | 115 | 17 | 21 | 268k| 40k| 0.000000e+00 | 3.000000e+00 | Inf
1604.11/1604.65 c 1476s| 5490k|170146 | 14205k| 145M| 38 | 5 | 115 | 116 | 9 | 115 | 17 | 21 | 269k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1606.91/1607.49 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1606.91/1607.49 c 1479s| 5500k|169824 | 14230k| 145M| 38 | - | 115 | 130 | 7 | 115 | 17 | 21 | 269k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1609.81/1610.33 c 1481s| 5510k|169726 | 14255k| 145M| 38 | 5 | 115 | 124 | 5 | 115 | 17 | 21 | 270k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1612.71/1613.20 c 1484s| 5520k|169071 | 14280k| 145M| 38 | - | 115 | 126 | 7 | 115 | 17 | 21 | 270k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1615.61/1616.11 c 1487s| 5530k|168224 | 14305k| 144M| 38 | - | 115 | 125 | 5 | 115 | 17 | 21 | 271k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1618.51/1619.01 c 1489s| 5540k|167849 | 14331k| 144M| 38 | 5 | 115 | 129 | 7 | 115 | 17 | 21 | 271k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1621.31/1621.88 c 1492s| 5550k|167661 | 14356k| 144M| 38 | 5 | 115 | 119 | 5 | 115 | 17 | 21 | 272k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1624.21/1624.74 c 1495s| 5560k|167321 | 14381k| 144M| 38 | 5 | 115 | 129 | 6 | 115 | 17 | 21 | 272k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1627.10/1627.64 c 1497s| 5570k|166594 | 14406k| 144M| 38 | 5 | 115 | 105 | 7 | 115 | 17 | 21 | 272k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1630.01/1630.56 c 1500s| 5580k|165614 | 14432k| 143M| 38 | 5 | 115 | 104 | 5 | 115 | 17 | 21 | 273k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1632.90/1633.44 c 1503s| 5590k|165203 | 14457k| 143M| 38 | 5 | 115 | 125 | 5 | 115 | 17 | 21 | 273k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1635.81/1636.34 c 1505s| 5600k|164676 | 14482k| 143M| 38 | - | 115 | 134 | 6 | 115 | 17 | 21 | 274k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1638.80/1639.32 c 1508s| 5610k|165306 | 14509k| 143M| 38 | - | 115 | 146 | 5 | 115 | 17 | 21 | 274k| 41k| 0.000000e+00 | 3.000000e+00 | Inf
1641.71/1642.23 c 1511s| 5620k|165897 | 14534k| 144M| 38 | - | 115 | 174 | 5 | 115 | 17 | 21 | 275k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1644.50/1645.08 c 1513s| 5630k|166348 | 14560k| 144M| 38 | 5 | 115 | 143 | 8 | 115 | 17 | 21 | 275k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1647.40/1647.91 c 1516s| 5640k|166258 | 14584k| 144M| 38 | 5 | 115 | 172 | 16 | 115 | 17 | 21 | 276k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1650.20/1650.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1650.20/1650.77 c 1519s| 5650k|165735 | 14610k| 144M| 38 | 5 | 115 | 153 | 8 | 115 | 17 | 21 | 276k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1653.10/1653.69 c 1521s| 5660k|164938 | 14634k| 144M| 38 | - | 115 | 136 | 5 | 115 | 17 | 21 | 277k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1656.11/1656.60 c 1524s| 5670k|164271 | 14659k| 143M| 38 | 5 | 115 | 125 | 11 | 115 | 17 | 21 | 277k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1658.99/1659.52 c 1527s| 5680k|163414 | 14684k| 143M| 38 | - | 115 | 114 | 5 | 115 | 17 | 21 | 277k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1661.90/1662.41 c 1529s| 5690k|162607 | 14709k| 142M| 38 | - | 115 | 106 | 7 | 115 | 17 | 21 | 278k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1664.69/1665.28 c 1532s| 5700k|161671 | 14734k| 142M| 38 | 5 | 115 | 122 | 6 | 115 | 17 | 21 | 278k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1667.59/1668.10 c 1534s| 5710k|161368 | 14759k| 141M| 38 | - | 115 | 106 | 5 | 115 | 17 | 21 | 279k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1670.40/1670.96 c 1537s| 5720k|160664 | 14784k| 141M| 38 | 5 | 115 | 102 | 5 | 115 | 17 | 21 | 279k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1673.29/1673.88 c 1540s| 5730k|160938 | 14811k| 141M| 38 | - | 115 | 108 | 4 | 115 | 17 | 21 | 280k| 42k| 0.000000e+00 | 3.000000e+00 | Inf
1676.19/1676.74 c 1542s| 5740k|161429 | 14838k| 142M| 38 | - | 115 | 101 | 5 | 115 | 17 | 21 | 280k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1679.00/1679.57 c 1545s| 5750k|161405 | 14865k| 142M| 38 | - | 115 | 103 | 5 | 115 | 17 | 21 | 280k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1681.89/1682.41 c 1548s| 5760k|160703 | 14890k| 141M| 38 | - | 115 | 108 | 6 | 115 | 17 | 21 | 281k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1684.80/1685.32 c 1550s| 5770k|159974 | 14915k| 141M| 38 | 5 | 115 | 113 | 14 | 115 | 17 | 21 | 281k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1687.59/1688.19 c 1553s| 5780k|159273 | 14939k| 141M| 38 | 5 | 115 | 103 | 8 | 115 | 17 | 21 | 282k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1690.49/1691.06 c 1556s| 5790k|158223 | 14964k| 140M| 38 | 5 | 115 | 104 | 6 | 115 | 17 | 21 | 282k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1693.49/1694.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1693.49/1694.03 c 1558s| 5800k|158102 | 14990k| 139M| 38 | - | 115 | 104 | 7 | 115 | 17 | 21 | 283k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1696.39/1696.93 c 1561s| 5810k|159586 | 15017k| 140M| 38 | - | 115 | 113 | 6 | 115 | 17 | 21 | 283k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1699.19/1699.79 c 1564s| 5820k|160308 | 15044k| 141M| 38 | 5 | 115 | 108 | 7 | 115 | 17 | 21 | 283k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1702.08/1702.63 c 1566s| 5830k|160873 | 15070k| 141M| 38 | - | 115 | 116 | 6 | 115 | 17 | 21 | 284k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1704.88/1705.45 c 1569s| 5840k|160919 | 15095k| 142M| 38 | 5 | 115 | 116 | 7 | 115 | 17 | 21 | 284k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1707.68/1708.27 c 1571s| 5850k|160546 | 15121k| 142M| 38 | 5 | 115 | 112 | 5 | 115 | 17 | 21 | 284k| 43k| 0.000000e+00 | 3.000000e+00 | Inf
1710.48/1711.09 c 1574s| 5860k|160286 | 15147k| 142M| 38 | 5 | 115 | 112 | 6 | 115 | 17 | 21 | 285k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1713.39/1713.97 c 1576s| 5870k|159923 | 15173k| 142M| 38 | - | 115 | 124 | 6 | 115 | 17 | 21 | 285k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1716.28/1716.84 c 1579s| 5880k|158917 | 15199k| 141M| 38 | 5 | 115 | 118 | 6 | 115 | 17 | 21 | 286k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1719.18/1719.76 c 1582s| 5890k|157476 | 15224k| 140M| 38 | - | 115 | 108 | 5 | 115 | 17 | 21 | 286k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1722.08/1722.66 c 1585s| 5900k|155910 | 15249k| 139M| 38 | - | 115 | 116 | 7 | 115 | 17 | 21 | 286k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1724.98/1725.54 c 1587s| 5910k|154817 | 15274k| 138M| 38 | 5 | 115 | 111 | 5 | 115 | 17 | 21 | 287k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1727.88/1728.43 c 1590s| 5920k|153542 | 15299k| 137M| 38 | 5 | 115 | 107 | 5 | 115 | 17 | 21 | 287k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1730.68/1731.27 c 1592s| 5930k|153149 | 15324k| 137M| 38 | - | 115 | 123 | 5 | 115 | 17 | 21 | 288k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1733.58/1734.13 c 1595s| 5940k|152311 | 15349k| 136M| 38 | - | 115 | 110 | 8 | 115 | 17 | 21 | 288k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1736.38/1736.97 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1736.38/1736.97 c 1598s| 5950k|151278 | 15374k| 135M| 38 | 5 | 115 | 113 | 5 | 115 | 17 | 21 | 289k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1739.27/1739.89 c 1600s| 5960k|149643 | 15399k| 134M| 38 | - | 115 | 101 | 5 | 115 | 17 | 21 | 289k| 44k| 0.000000e+00 | 3.000000e+00 | Inf
1742.28/1742.81 c 1603s| 5970k|148049 | 15423k| 133M| 38 | 5 | 115 | 113 | 7 | 115 | 17 | 21 | 289k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1745.18/1745.71 c 1606s| 5980k|146542 | 15448k| 131M| 38 | 4 | 115 | 105 | 5 | 115 | 17 | 21 | 290k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1748.07/1748.61 c 1608s| 5990k|144811 | 15473k| 130M| 38 | - | 115 | 113 | 5 | 115 | 17 | 21 | 290k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1750.97/1751.55 c 1611s| 6000k|142764 | 15498k| 128M| 38 | 5 | 115 | 112 | 5 | 115 | 17 | 21 | 291k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1753.98/1754.51 c 1614s| 6010k|140521 | 15522k| 126M| 38 | - | 115 | 111 | 6 | 0 | 0 | 21 | 291k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1756.87/1757.44 c 1616s| 6020k|138628 | 15547k| 124M| 38 | 5 | 115 | 105 | 7 | 115 | 17 | 21 | 292k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1759.87/1760.40 c 1619s| 6030k|136824 | 15572k| 122M| 38 | - | 115 | 105 | 5 | 115 | 17 | 21 | 292k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1762.77/1763.34 c 1622s| 6040k|138764 | 15599k| 123M| 38 | 5 | 115 | 117 | 5 | 115 | 17 | 21 | 293k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1765.67/1766.23 c 1625s| 6050k|140060 | 15624k| 124M| 38 | - | 115 | 117 | 6 | 115 | 17 | 21 | 293k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1768.46/1769.05 c 1627s| 6060k|141173 | 15650k| 125M| 38 | 5 | 115 | 131 | 6 | 115 | 17 | 21 | 293k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1771.37/1771.90 c 1630s| 6070k|141929 | 15676k| 125M| 38 | - | 115 | 124 | 4 | 115 | 17 | 21 | 294k| 45k| 0.000000e+00 | 3.000000e+00 | Inf
1774.16/1774.74 c 1632s| 6080k|142256 | 15700k| 125M| 38 | 5 | 115 | 123 | 5 | 115 | 17 | 21 | 294k| 46k| 0.000000e+00 | 3.000000e+00 | Inf
1777.07/1777.63 c 1635s| 6090k|143411 | 15725k| 126M| 38 | 5 | 115 | 136 | 5 | 115 | 17 | 21 | 295k| 46k| 0.000000e+00 | 3.000000e+00 | Inf
1779.87/1780.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1779.87/1780.48 c 1638s| 6100k|143878 | 15749k| 127M| 38 | - | 115 | 137 | 6 | 115 | 17 | 21 | 295k| 46k| 0.000000e+00 | 3.000000e+00 | Inf
1782.66/1783.28 c 1640s| 6110k|144164 | 15774k| 127M| 38 | 5 | 115 | 126 | 5 | 115 | 17 | 21 | 296k| 46k| 0.000000e+00 | 3.000000e+00 | Inf
1785.47/1786.06 c 1643s| 6120k|144354 | 15798k| 127M| 38 | - | 115 | 143 | 9 | 115 | 17 | 21 | 296k| 46k| 0.000000e+00 | 3.000000e+00 | Inf
1788.26/1788.86 c 1645s| 6130k|144253 | 15822k| 128M| 38 | 5 | 115 | 138 | 8 | 115 | 17 | 21 | 296k| 46k| 0.000000e+00 | 3.000000e+00 | Inf
1791.06/1791.68 c 1648s| 6140k|143977 | 15845k| 128M| 38 | - | 115 | 128 | 4 | 0 | 0 | 21 | 297k| 46k| 0.000000e+00 | 3.000000e+00 | Inf
1793.86/1794.49 c 1650s| 6150k|143620 | 15869k| 128M| 38 | - | 115 | 134 | 6 | 0 | 0 | 21 | 297k| 46k| 0.000000e+00 | 3.000000e+00 | Inf
1796.65/1797.30 c 1653s| 6160k|143965 | 15893k| 128M| 38 | - | 115 | 150 | 6 | 115 | 17 | 21 | 298k| 46k| 0.000000e+00 | 3.000000e+00 | Inf
1799.55/1800.18 c 1656s| 6170k|143914 | 15917k| 128M| 38 | 5 | 115 | 147 | 9 | 115 | 17 | 21 | 298k| 46k| 0.000000e+00 | 3.000000e+00 | Inf
1800.07/1800.60 c
1800.07/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.60 c Solving Time (sec) : 1656.07
1800.07/1800.60 c Solving Nodes : 6171485
1800.07/1800.60 c Primal Bound : +3.00000000000000e+00 (47 solutions)
1800.07/1800.60 c Dual Bound : +0.00000000000000e+00
1800.07/1800.60 c Gap : infinite
1800.07/1800.60 c NODE 6171485
1800.07/1800.60 c DUAL BOUND 0
1800.07/1800.60 c PRIMAL BOUND 3
1800.07/1800.60 c GAP 1e+20
1800.07/1800.60 s SATISFIABLE
1800.07/1800.60 v x120 x119 -x118 x117 x116 x115 -x114 x113 x112 -x111 -x110 -x109 x108 x107 -x106 x105 -x104 x103 -x102 x101 -x100 -x99 x98 x97
1800.07/1800.60 v -x96 x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
1800.07/1800.60 v -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45
1800.07/1800.60 v -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20
1800.07/1800.60 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.07/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.60 c Solving Time : 1656.07
1800.07/1800.60 c Original Problem :
1800.07/1800.60 c Problem name : HOME/instance-1869542-1245177713.opb
1800.07/1800.60 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.60 c Constraints : 10 initial, 10 maximal
1800.07/1800.60 c Presolved Problem :
1800.07/1800.60 c Problem name : t_HOME/instance-1869542-1245177713.opb
1800.07/1800.60 c Variables : 115 (115 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.60 c Constraints : 5 initial, 197 maximal
1800.07/1800.60 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.60 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.60 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.60 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.60 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.60 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.60 c probing : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.60 c linear : 0.01 0 5 0 0 0 5 0 0
1800.07/1800.60 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.60 c root node : - 60 - - 60 - - - -
1800.07/1800.60 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.60 c integral : 0 0 0 3212956 0 3627 35580 0 0 6347694
1800.07/1800.60 c linear : 5 6 8023300 0 0 757001 5472013 12 0 0
1800.07/1800.60 c logicor : 0+ 0 2923723 0 0 9379 82328 0 0 0
1800.07/1800.60 c countsols : 0 0 0 27 0 0 0 0 0 0
1800.07/1800.60 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.60 c integral : 38.60 0.00 0.00 38.60 0.00
1800.07/1800.60 c linear : 357.02 0.00 357.02 0.00 0.00
1800.07/1800.60 c logicor : 13.29 0.00 13.29 0.00 0.00
1800.07/1800.60 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.60 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.60 c rootredcost : 2.69 43 0 60
1800.07/1800.60 c pseudoobj : 54.56 8059583 36431 129841
1800.07/1800.60 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.60 c propagation : 39.41 802811 284522 386285 34.4 1 28.0 -
1800.07/1800.60 c infeasible LP : 0.57 12931 12929 13624 16.5 3 31.3 0
1800.07/1800.60 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.60 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.60 c pseudo solution : 0.00 2 2 5 42.2 0 0.0 -
1800.07/1800.60 c applied globally : - - - 55004 25.4 - - -
1800.07/1800.60 c applied locally : - - - 243585 35.6 - - -
1800.07/1800.60 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.60 c cut pool : 0.00 5 - - 3 - (maximal pool size: 80)
1800.07/1800.60 c redcost : 32.10 3588296 0 6029576 0 0
1800.07/1800.60 c impliedbounds : 0.00 6 0 0 0 0
1800.07/1800.60 c intobj : 0.00 0 0 0 0 0
1800.07/1800.60 c gomory : 0.01 6 0 0 0 0
1800.07/1800.60 c strongcg : 0.00 6 0 0 34 0
1800.07/1800.60 c cmir : 0.01 6 0 0 17 0
1800.07/1800.60 c flowcover : 0.04 6 0 0 24 0
1800.07/1800.60 c clique : 0.00 1 0 0 0 0
1800.07/1800.60 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.60 c mcf : 0.00 1 0 0 0 0
1800.07/1800.60 c Pricers : Time Calls Vars
1800.07/1800.60 c problem variables: 0.00 0 0
1800.07/1800.60 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.60 c relpscost : 35.83 3212929 3627 35580 0 0 6347694
1800.07/1800.60 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.60 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.60 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.60 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.60 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.60 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.60 c random : 0.00 0 0 0 0 0 0
1800.07/1800.60 c Primal Heuristics : Time Calls Found
1800.07/1800.60 c LP solutions : 0.02 - 27
1800.07/1800.60 c pseudo solutions : 0.00 - 0
1800.07/1800.60 c intshifting : 0.26 0 0
1800.07/1800.60 c oneopt : 2.76 43 0
1800.07/1800.60 c crossover : 7.78 11 1
1800.07/1800.60 c rootsoldiving : 6.58 2301 3
1800.07/1800.60 c objpscostdiving : 6.21 3936 1
1800.07/1800.60 c linesearchdiving : 9.92 10017 5
1800.07/1800.60 c guideddiving : 9.59 10017 2
1800.07/1800.60 c coefdiving : 11.35 10018 2
1800.07/1800.60 c veclendiving : 10.36 10018 1
1800.07/1800.60 c pscostdiving : 10.89 10018 2
1800.07/1800.61 c fracdiving : 11.09 10018 1
1800.07/1800.61 c simplerounding : 1.56 0 0
1800.07/1800.61 c rounding : 4.48 91636 1
1800.07/1800.61 c shifting : 23.92 32037 1
1800.07/1800.61 c fixandinfer : 0.00 0 0
1800.07/1800.61 c feaspump : 0.19 1 0
1800.07/1800.61 c intdiving : 0.00 0 0
1800.07/1800.61 c actconsdiving : 0.00 0 0
1800.07/1800.61 c octane : 0.00 0 0
1800.07/1800.61 c rens : 0.03 1 0
1800.07/1800.61 c rins : 0.00 0 0
1800.07/1800.61 c localbranching : 0.00 0 0
1800.07/1800.61 c mutation : 0.00 0 0
1800.07/1800.61 c dins : 0.00 0 0
1800.07/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.61 c dual LP : 620.85 5806765 15087272 2.60 24300.99
1800.07/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.61 c diving/probing LP: 35.50 331924 834191 2.51 23498.34
1800.07/1800.61 c strong branching : 8.37 46611 141023 3.03 16848.63
1800.07/1800.61 c (at root node) : - 13 268 20.62 -
1800.07/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.61 c B&B Tree :
1800.07/1800.61 c number of runs : 1
1800.07/1800.61 c nodes : 6171485
1800.07/1800.61 c nodes (total) : 6171485
1800.07/1800.61 c nodes left : 144037
1800.07/1800.61 c max depth : 38
1800.07/1800.61 c max depth (total): 38
1800.07/1800.61 c backtracks : 1693742 (27.4%)
1800.07/1800.61 c delayed cutoffs : 25668
1800.07/1800.61 c repropagations : 104750 (171039 domain reductions, 23095 cutoffs)
1800.07/1800.61 c avg switch length: 6.02
1800.07/1800.61 c switching time : 152.20
1800.07/1800.61 c Solution :
1800.07/1800.61 c Solutions found : 47 (43 improvements)
1800.07/1800.61 c Primal Bound : +3.00000000000000e+00 (in run 1, after 593753 nodes, 187.35 seconds, depth 32, found by <relaxation>)
1800.07/1800.61 c Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.85/1801.49 c Time complete: 1800.94.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869542-1245177713/watcher-1869542-1245177713 -o /tmp/evaluation-result-1869542-1245177713/solver-1869542-1245177713 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869542-1245177713.opb
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 0.99 0.98 3/64 12732
/proc/meminfo: memFree=1674840/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=4324 CPUtime=0
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 464 0 0 0 0 0 0 0 18 0 1 0 70480055 4427776 448 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/12732/statm: 1081 453 290 886 0 191 0
[startup+0.101403 s]
/proc/loadavg: 1.00 0.99 0.98 3/64 12732
/proc/meminfo: memFree=1674840/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=12916 CPUtime=0.09
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 2800 0 0 0 8 1 0 0 18 0 1 0 70480055 13225984 2428 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 3229 2428 551 886 0 2339 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12916
[startup+0.201414 s]
/proc/loadavg: 1.00 0.99 0.98 3/64 12732
/proc/meminfo: memFree=1674840/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=15380 CPUtime=0.19
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 4575 0 0 0 18 1 0 0 18 0 1 0 70480055 15749120 3064 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 3845 3064 568 886 0 2955 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 15380
[startup+0.301422 s]
/proc/loadavg: 1.00 0.99 0.98 3/64 12732
/proc/meminfo: memFree=1674840/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=15380 CPUtime=0.29
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 4578 0 0 0 27 2 0 0 19 0 1 0 70480055 15749120 3067 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 3845 3067 571 886 0 2955 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15380
[startup+0.701457 s]
/proc/loadavg: 1.00 0.99 0.98 3/64 12732
/proc/meminfo: memFree=1674840/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=13048 CPUtime=0.69
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 5542 0 0 0 64 5 0 0 22 0 1 0 70480055 13361152 2505 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 3262 2505 574 886 0 2372 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13048
[startup+1.50153 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12733
/proc/meminfo: memFree=1663824/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=13876 CPUtime=1.49
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 7314 0 0 0 136 13 0 0 25 0 1 0 70480055 14209024 2730 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 3469 2730 574 886 0 2579 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13876
[startup+3.10167 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12733
/proc/meminfo: memFree=1662992/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=17480 CPUtime=3.09
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 9764 0 0 0 284 25 0 0 25 0 1 0 70480055 17899520 3636 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 4370 3636 574 886 0 3480 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17480
[startup+6.30195 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12733
/proc/meminfo: memFree=1661008/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=19432 CPUtime=6.29
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 10907 0 0 0 581 48 0 0 25 0 1 0 70480055 19898368 4132 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 4858 4132 574 886 0 3968 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19432
[startup+12.7015 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12733
/proc/meminfo: memFree=1657360/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=20348 CPUtime=12.69
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 15020 0 0 0 1170 99 0 0 25 0 1 0 70480055 20836352 4375 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 5087 4375 574 886 0 4197 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20348
[startup+25.5016 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12733
/proc/meminfo: memFree=1655952/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=23520 CPUtime=25.49
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 17546 0 0 0 2355 194 0 0 25 0 1 0 70480055 24084480 5193 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 5880 5193 574 886 0 4990 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23520
[startup+51.1019 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12733
/proc/meminfo: memFree=1654608/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=25084 CPUtime=51.07
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 17915 0 0 0 4727 380 0 0 25 0 1 0 70480055 25686016 5562 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 6271 5562 574 886 0 5381 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 25084
[startup+102.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12733
/proc/meminfo: memFree=1653712/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=25876 CPUtime=102.26
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 18113 0 0 0 9458 768 0 0 25 0 1 0 70480055 26497024 5760 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 6469 5760 574 886 0 5579 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 25876
[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12733
/proc/meminfo: memFree=1652240/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=27220 CPUtime=162.24
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 18479 0 0 0 14988 1236 0 0 25 0 1 0 70480055 27873280 6126 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 6805 6126 574 886 0 5915 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 27220
[startup+222.306 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12733
/proc/meminfo: memFree=1641296/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=37772 CPUtime=222.23
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 24753 0 0 0 20513 1710 0 0 25 0 1 0 70480055 38678528 8828 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 9443 8828 574 886 0 8553 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 37772
[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12733
/proc/meminfo: memFree=1633168/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=45744 CPUtime=282.21
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 26776 0 0 0 26033 2188 0 0 25 0 1 0 70480055 46841856 10851 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 11436 10851 574 886 0 10546 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 45744
[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12733
/proc/meminfo: memFree=1620496/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=59540 CPUtime=342.19
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 29909 0 0 0 31564 2655 0 0 25 0 1 0 70480055 60968960 13984 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 14885 13984 574 886 0 13995 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 59540
[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12733
/proc/meminfo: memFree=1610384/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=69392 CPUtime=402.18
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 32413 0 0 0 37091 3127 0 0 25 0 1 0 70480055 71057408 16488 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 17348 16488 574 886 0 16458 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 69392
[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12733
/proc/meminfo: memFree=1601808/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=77712 CPUtime=462.16
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 34520 0 0 0 42610 3606 0 0 25 0 1 0 70480055 79577088 18595 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 19428 18595 574 886 0 18538 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 77712
[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12733
/proc/meminfo: memFree=1599760/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=79636 CPUtime=522.15
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 35007 0 0 0 48129 4086 0 0 25 0 1 0 70480055 81547264 19082 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 19909 19082 574 886 0 19019 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 79636
[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12733
/proc/meminfo: memFree=1597008/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=82324 CPUtime=582.12
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 37650 0 0 0 53637 4575 0 0 25 0 1 0 70480055 84299776 19760 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 20581 19760 574 886 0 19691 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 82324
[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12733
/proc/meminfo: memFree=1583248/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=95712 CPUtime=642.11
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 43028 0 0 0 59143 5068 0 0 25 0 1 0 70480055 98009088 23166 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 23928 23166 574 886 0 23038 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 95712
[startup+702.301 s]
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12735
/proc/meminfo: memFree=1552400/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=125560 CPUtime=1061.99
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 51665 0 0 0 97800 8399 0 0 25 0 1 0 70480055 128573440 30704 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 31390 30704 574 886 0 30500 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 125560
[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12735
/proc/meminfo: memFree=1551312/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=126588 CPUtime=1121.96
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 51922 0 0 0 103323 8873 0 0 25 0 1 0 70480055 129626112 30961 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 31647 30961 574 886 0 30757 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 126588
[startup+1182.3 s]
/proc/loadavg: 1.05 1.00 0.99 2/65 12741
/proc/meminfo: memFree=1550672/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=127004 CPUtime=1181.93
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 52024 0 0 0 108833 9360 0 0 25 0 1 0 70480055 130052096 31063 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 31751 31063 574 886 0 30861 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 127004
[startup+1242.3 s]
/proc/loadavg: 1.02 1.00 0.99 2/65 12741
/proc/meminfo: memFree=1550480/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=127140 CPUtime=1241.92
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 52059 0 0 0 114336 9856 0 0 25 0 1 0 70480055 130191360 31098 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 31785 31098 574 886 0 30895 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 127140
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 12741
/proc/meminfo: memFree=1545744/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=131728 CPUtime=1301.91
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 53246 0 0 0 119856 10335 0 0 25 0 1 0 70480055 134889472 32285 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 32932 32285 574 886 0 32042 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 131728
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 12741
/proc/meminfo: memFree=1534288/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=143184 CPUtime=1361.89
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 56118 0 0 0 125375 10814 0 0 25 0 1 0 70480055 146620416 35157 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 35796 35157 574 886 0 34906 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 143184
[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 12741
/proc/meminfo: memFree=1528080/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=148952 CPUtime=1421.87
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 57572 0 0 0 130884 11303 0 0 25 0 1 0 70480055 152526848 36611 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 37238 36611 574 886 0 36348 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 148952
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 12741
/proc/meminfo: memFree=1523216/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=153660 CPUtime=1481.85
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 58758 0 0 0 136395 11790 0 0 25 0 1 0 70480055 157347840 37797 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 38415 37797 574 886 0 37525 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 153660
[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 12741
/proc/meminfo: memFree=1517968/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=158612 CPUtime=1541.83
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 60040 0 0 0 141904 12279 0 0 25 0 1 0 70480055 162418688 39079 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 39653 39079 574 886 0 38763 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 158612
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 12741
/proc/meminfo: memFree=1514576/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=162072 CPUtime=1601.81
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 60877 0 0 0 147410 12771 0 0 25 0 1 0 70480055 165961728 39916 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 40518 39916 574 886 0 39628 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 162072
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 12741
/proc/meminfo: memFree=1511888/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=164760 CPUtime=1661.79
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 61550 0 0 0 152914 13265 0 0 25 0 1 0 70480055 168714240 40589 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 41190 40589 574 886 0 40300 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 164760
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 12741
/proc/meminfo: memFree=1511312/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=165188 CPUtime=1721.77
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 61663 0 0 0 158417 13760 0 0 25 0 1 0 70480055 169152512 40702 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 41297 40702 574 886 0 40407 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 165188
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 12741
/proc/meminfo: memFree=1508496/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=167760 CPUtime=1781.76
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 62328 0 0 0 163927 14249 0 0 25 0 1 0 70480055 171786240 41367 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 41940 41367 574 886 0 41050 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 167760
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 12741
/proc/meminfo: memFree=1508368/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=167760 CPUtime=1800.07
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 62328 0 0 0 165607 14400 0 0 25 0 1 0 70480055 171786240 41367 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12732/statm: 41940 41367 574 886 0 41050 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 167760
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 12742
/proc/meminfo: memFree=1508360/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=167760 CPUtime=1800.16
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 62330 0 0 0 165616 14400 0 0 25 0 1 0 70480055 171786240 41369 1992294400 4194304 7823515 548682068736 18446744073709551615 5875269 0 0 4096 0 0 0 0 17 1 0 0
/proc/12732/statm: 41940 41369 576 886 0 41050 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 167760
[startup+1801.1 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 12742
/proc/meminfo: memFree=1508360/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=167760 CPUtime=1800.55
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 62330 0 0 0 165655 14400 0 0 25 0 1 0 70480055 171786240 41369 1992294400 4194304 7823515 548682068736 18446744073709551615 4805770 0 0 4096 0 0 0 0 17 1 0 0
/proc/12732/statm: 41940 41369 576 886 0 41050 0
Current children cumulated CPU time (s) 1800.55
Current children cumulated vsize (KiB) 167760
[startup+1801.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 12742
/proc/meminfo: memFree=1508360/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=167760 CPUtime=1800.75
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 62330 0 0 0 165675 14400 0 0 25 0 1 0 70480055 171786240 41369 1992294400 4194304 7823515 548682068736 18446744073709551615 4211898 0 0 4096 0 0 0 0 17 1 0 0
/proc/12732/statm: 41940 41369 576 886 0 41050 0
Current children cumulated CPU time (s) 1800.75
Current children cumulated vsize (KiB) 167760
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 12742
/proc/meminfo: memFree=1508360/2055920 swapFree=4192956/4192956
[pid=12732] ppid=12730 vsize=167760 CPUtime=1800.85
/proc/12732/stat : 12732 (pbscip.linux.x8) R 12730 12732 12308 0 -1 4194304 62330 0 0 0 165685 14400 0 0 25 0 1 0 70480055 171786240 41369 1992294400 4194304 7823515 548682068736 18446744073709551615 4733223 0 0 4096 0 0 0 0 17 1 0 0
/proc/12732/statm: 41940 41369 576 886 0 41050 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 167760
Child status: 0
Real time (s): 1801.49
CPU time (s): 1800.95
CPU user time (s): 1656.92
CPU system time (s): 144.025
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 167760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1656.92
system time used= 144.025
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62333
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= 4052
runsolver used 1.74773 second user time and 3.2685 second system time
The end