0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2703920-1278562050.opb>
0.00/0.01 c original problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 12 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 6 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/146 (69.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 6 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 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.02 c 6 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.3
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1790
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/indicator/addCouplingCons = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 28 | - | 489k| 0 | 6 | 146 | 6 | 146 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.13 o 757
0.10/0.13 c y 0.1s| 1 | 0 | 55 | - | 533k| 0 | 6 | 146 | 6 | 146 | 6 | 0 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.10/0.14 c 0.1s| 1 | 0 | 65 | - | 715k| 0 | 12 | 146 | 114 | 146 | 13 | 7 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.10/0.15 c 0.1s| 1 | 0 | 72 | - | 748k| 0 | 13 | 146 | 114 | 146 | 17 | 11 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.10/0.16 c 0.2s| 1 | 0 | 78 | - | 785k| 0 | 14 | 146 | 114 | 146 | 20 | 14 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.10/0.18 c 0.2s| 1 | 0 | 87 | - | 799k| 0 | 16 | 146 | 114 | 146 | 23 | 17 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.10/0.20 c 0.2s| 1 | 0 | 110 | - | 814k| 0 | 18 | 146 | 114 | 146 | 26 | 20 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.20/0.21 c 0.2s| 1 | 0 | 118 | - | 823k| 0 | 18 | 146 | 114 | 146 | 28 | 22 | 0 | 0 | 0.000000e+00 | 7.570000e+02 | Inf
0.20/0.28 c 0.3s| 1 | 2 | 118 | - | 824k| 0 | 18 | 146 | 114 | 146 | 28 | 22 | 0 | 9 | 0.000000e+00 | 7.570000e+02 | Inf
0.29/0.35 o 138
0.29/0.35 c c 0.3s| 19 | 20 | 343 | 12.5 | 873k| 18 | - | 146 | 114 | 146 | 18 | 22 | 0 | 109 | 0.000000e+00 | 1.380000e+02 | Inf
0.59/0.69 o 137
0.59/0.69 c c 0.7s| 408 | 401 | 2442 | 5.7 |1091k| 43 | - | 146 | 118 | 146 | 18 | 22 | 15 | 472 | 0.000000e+00 | 1.370000e+02 | Inf
0.69/0.73 o 92
0.69/0.73 c f 0.7s| 454 | 429 | 2692 | 5.7 |1124k| 43 | - | 146 | 118 | 146 | 18 | 22 | 17 | 472 | 0.000000e+00 | 9.200000e+01 | Inf
0.69/0.78 o 91
0.69/0.78 c * 0.8s| 535 | 506 | 2995 | 5.4 |1140k| 43 | - | 146 | 118 | 146 | 18 | 22 | 17 | 517 | 0.000000e+00 | 9.100000e+01 | Inf
0.69/0.78 o 89
0.69/0.78 c * 0.8s| 538 | 506 | 2998 | 5.4 |1142k| 43 | - | 146 | 118 | 146 | 18 | 22 | 17 | 525 | 0.000000e+00 | 8.900000e+01 | Inf
1.10/1.18 o 84
1.10/1.18 c C 1.2s| 738 | 704 | 3920 | 5.2 |1244k| 43 | 6 | 146 | 123 | 146 | 18 | 22 | 29 | 552 | 0.000000e+00 | 8.400000e+01 | Inf
1.89/1.91 o 82
1.89/1.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.89/1.91 c c 1.9s| 1892 | 1816 | 9898 | 5.2 |1854k| 43 | - | 146 | 157 | 146 | 18 | 22 | 115 | 634 | 0.000000e+00 | 8.200000e+01 | Inf
2.20/2.26 o 80
2.20/2.26 c p 2.3s| 2461 | 2344 | 12847 | 5.2 |2132k| 43 | - | 146 | 161 | 146 | 18 | 22 | 151 | 653 | 0.000000e+00 | 8.000000e+01 | Inf
2.20/2.27 o 78
2.20/2.27 c f 2.3s| 2461 | 2339 | 12847 | 5.2 |2131k| 43 | - | 146 | 161 | 146 | 18 | 22 | 153 | 653 | 0.000000e+00 | 7.800000e+01 | Inf
2.20/2.29 o 76
2.20/2.29 c l 2.3s| 2492 | 2365 | 13041 | 5.2 |2151k| 43 | - | 146 | 161 | 146 | 18 | 22 | 157 | 659 | 0.000000e+00 | 7.600000e+01 | Inf
2.59/2.66 o 74
2.59/2.66 c l 2.6s| 2947 | 2804 | 15390 | 5.2 |2384k| 43 | - | 146 | 163 | 146 | 18 | 22 | 201 | 678 | 0.000000e+00 | 7.400000e+01 | Inf
2.59/2.67 o 49
2.59/2.67 c g 2.7s| 2966 | 2648 | 15494 | 5.2 |2302k| 43 | - | 146 | 164 | 146 | 18 | 22 | 203 | 678 | 0.000000e+00 | 4.900000e+01 | Inf
6.68/6.71 o 48
6.68/6.71 c * 6.7s| 7654 | 6937 | 49059 | 6.4 |4338k| 45 | - | 146 | 187 | 146 | 18 | 22 | 765 | 773 | 0.000000e+00 | 4.800000e+01 | Inf
8.09/8.18 c 8.2s| 10000 | 8886 | 60434 | 6.0 |5296k| 45 | 6 | 146 | 80 | 146 | 18 | 22 | 948 | 879 | 0.000000e+00 | 4.800000e+01 | Inf
11.19/11.23 o 46
11.19/11.23 c *11.2s| 15470 | 13361 | 85803 | 5.5 |7498k| 46 | - | 146 | 73 | 146 | 18 | 22 |1309 |1103 | 0.000000e+00 | 4.600000e+01 | Inf
11.59/11.60 o 44
11.59/11.60 c *11.6s| 16101 | 13816 | 88863 | 5.5 |7713k| 46 | - | 146 | 73 | 146 | 18 | 22 |1351 |1132 | 0.000000e+00 | 4.400000e+01 | Inf
11.59/11.60 o 42
11.59/11.60 c *11.6s| 16102 | 13780 | 88863 | 5.5 |7681k| 46 | - | 146 | 73 | 146 | 18 | 22 |1351 |1132 | 0.000000e+00 | 4.200000e+01 | Inf
13.69/13.79 c 13.8s| 20000 | 16593 |106603 | 5.3 |9242k| 46 | 6 | 146 | 83 | 146 | 18 | 22 |1643 |1312 | 0.000000e+00 | 4.200000e+01 | Inf
14.09/14.13 o 40
14.09/14.13 c p14.1s| 20622 | 16922 |109420 | 5.3 |9413k| 46 | - | 146 | 85 | 146 | 18 | 22 |1691 |1356 | 0.000000e+00 | 4.000000e+01 | Inf
14.78/14.88 o 39
14.78/14.88 c *14.9s| 21671 | 17665 |115379 | 5.3 |9759k| 47 | - | 146 | 93 | 146 | 18 | 22 |1810 |1401 | 0.000000e+00 | 3.900000e+01 | Inf
20.58/20.69 c 20.7s| 30000 | 23264 |152941 | 5.1 | 13M| 47 | 6 | 146 | 69 | 146 | 18 | 22 |2539 |1695 | 0.000000e+00 | 3.900000e+01 | Inf
20.79/20.85 o 38
20.79/20.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.79/20.85 c *20.8s| 30266 | 23386 |154212 | 5.1 | 13M| 47 | - | 146 | 68 | 146 | 18 | 22 |2568 |1712 | 0.000000e+00 | 3.800000e+01 | Inf
21.19/21.22 o 36
21.19/21.22 c p21.2s| 30937 | 23706 |157326 | 5.1 | 13M| 47 | - | 146 | 69 | 146 | 18 | 22 |2610 |1733 | 0.000000e+00 | 3.600000e+01 | Inf
21.19/21.22 o 32
21.19/21.22 c *21.2s| 30938 | 21306 |157340 | 5.1 | 11M| 47 | - | 146 | 69 | 146 | 18 | 22 |2610 |1733 | 0.000000e+00 | 3.200000e+01 | Inf
25.99/26.07 c 26.1s| 40000 | 27427 |199445 | 5.0 | 15M| 47 | 6 | 146 | 57 | 146 | 18 | 22 |3546 |2047 | 0.000000e+00 | 3.200000e+01 | Inf
29.88/29.91 o 31
29.88/29.91 c *29.9s| 47433 | 32192 |232946 | 4.9 | 17M| 48 | - | 146 | 66 | 146 | 18 | 22 |4375 |2236 | 0.000000e+00 | 3.100000e+01 | Inf
31.19/31.22 c 31.2s| 50000 | 33717 |244327 | 4.9 | 18M| 51 | 6 | 146 | 65 | 146 | 18 | 22 |4617 |2294 | 0.000000e+00 | 3.100000e+01 | Inf
31.28/31.30 o 30
31.28/31.30 c *31.3s| 50179 | 33749 |245047 | 4.9 | 18M| 51 | - | 146 | 65 | 146 | 18 | 22 |4632 |2297 | 0.000000e+00 | 3.000000e+01 | Inf
31.28/31.30 o 28
31.28/31.30 c *31.3s| 50184 | 33509 |245053 | 4.9 | 18M| 51 | - | 146 | 65 | 146 | 18 | 22 |4632 |2304 | 0.000000e+00 | 2.800000e+01 | Inf
31.28/31.31 o 26
31.28/31.31 c *31.3s| 50185 | 33199 |245053 | 4.9 | 17M| 51 | - | 146 | 65 | 146 | 18 | 22 |4632 |2304 | 0.000000e+00 | 2.600000e+01 | Inf
31.99/32.07 o 24
31.99/32.07 c *32.1s| 51682 | 33475 |251204 | 4.9 | 17M| 51 | - | 146 | 62 | 146 | 18 | 22 |4787 |2332 | 0.000000e+00 | 2.400000e+01 | Inf
34.78/34.84 o 22
34.78/34.84 c v34.8s| 55327 | 34748 |265789 | 4.8 | 18M| 51 | - | 146 | 55 | 146 | 18 | 22 |5149 |2435 | 0.000000e+00 | 2.200000e+01 | Inf
36.88/36.95 c 36.9s| 60000 | 36931 |283971 | 4.7 | 19M| 51 | - | 146 | 62 | 146 | 18 | 22 |5654 |2542 | 0.000000e+00 | 2.200000e+01 | Inf
38.49/38.56 o 20
38.49/38.56 c *38.5s| 63531 | 37728 |297466 | 4.7 | 20M| 51 | - | 146 | 65 | 146 | 18 | 22 |6026 |2654 | 0.000000e+00 | 2.000000e+01 | Inf
41.88/41.92 c 41.9s| 70000 | 39957 |320822 | 4.6 | 21M| 51 | 6 | 146 | 66 | 146 | 18 | 22 |6670 |2831 | 0.000000e+00 | 2.000000e+01 | Inf
46.28/46.34 c 46.3s| 80000 | 43440 |357266 | 4.5 | 24M| 51 | - | 146 | 57 | 146 | 18 | 22 |7589 |3071 | 0.000000e+00 | 2.000000e+01 | Inf
50.68/50.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.68/50.78 c 50.8s| 90000 | 46995 |394078 | 4.4 | 26M| 51 | 6 | 146 | 50 | 146 | 18 | 22 |8489 |3264 | 0.000000e+00 | 2.000000e+01 | Inf
55.07/55.16 c 55.1s|100000 | 50596 |430808 | 4.3 | 28M| 51 | - | 146 | 58 | 0 | 0 | 22 |9391 |3472 | 0.000000e+00 | 2.000000e+01 | Inf
58.08/58.14 o 18
58.08/58.14 c *58.1s|106674 | 52417 |456070 | 4.3 | 29M| 51 | - | 146 | 54 | 146 | 18 | 22 |9983 |3570 | 0.000000e+00 | 1.800000e+01 | Inf
59.47/59.57 c 59.6s|110000 | 53640 |467795 | 4.3 | 30M| 51 | 6 | 146 | 53 | 146 | 18 | 22 | 10k|3613 | 0.000000e+00 | 1.800000e+01 | Inf
62.87/62.96 o 17
62.87/62.96 c *63.0s|118089 | 55646 |495807 | 4.2 | 31M| 51 | - | 146 | 45 | 146 | 18 | 22 | 10k|3745 | 0.000000e+00 | 1.700000e+01 | Inf
62.87/62.97 o 15
62.87/62.97 c *63.0s|118091 | 51683 |495808 | 4.2 | 28M| 51 | - | 146 | 45 | 146 | 18 | 22 | 10k|3745 | 0.000000e+00 | 1.500000e+01 | Inf
62.87/62.98 o 13
62.87/62.98 c *63.0s|118096 | 50883 |495813 | 4.2 | 27M| 51 | - | 146 | 36 | 146 | 18 | 22 | 10k|3751 | 0.000000e+00 | 1.300000e+01 | Inf
63.78/63.83 c 63.8s|120000 | 51515 |503295 | 4.2 | 27M| 51 | 6 | 146 | 41 | 146 | 18 | 22 | 11k|3783 | 0.000000e+00 | 1.300000e+01 | Inf
67.57/67.68 c 67.7s|130000 | 54014 |537430 | 4.1 | 29M| 51 | 6 | 146 | 37 | 146 | 18 | 22 | 11k|3954 | 0.000000e+00 | 1.300000e+01 | Inf
71.38/71.50 c 71.5s|140000 | 56586 |571350 | 4.1 | 30M| 51 | 6 | 146 | 37 | 146 | 18 | 22 | 12k|4141 | 0.000000e+00 | 1.300000e+01 | Inf
75.18/75.23 c 75.2s|150000 | 58695 |604291 | 4.0 | 32M| 51 | 6 | 146 | 38 | 146 | 18 | 22 | 13k|4319 | 0.000000e+00 | 1.300000e+01 | Inf
78.78/78.88 c 78.9s|160000 | 60203 |636495 | 4.0 | 33M| 51 | - | 146 | 31 | 146 | 18 | 22 | 14k|4486 | 0.000000e+00 | 1.300000e+01 | Inf
82.48/82.50 c 82.5s|170000 | 62076 |668729 | 3.9 | 34M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 14k|4638 | 0.000000e+00 | 1.300000e+01 | Inf
86.07/86.13 c 86.1s|180000 | 63570 |700628 | 3.9 | 35M| 51 | - | 146 | 32 | 146 | 18 | 22 | 15k|4775 | 0.000000e+00 | 1.300000e+01 | Inf
89.77/89.81 c 89.8s|190000 | 64876 |733623 | 3.9 | 36M| 51 | 6 | 146 | 37 | 146 | 18 | 22 | 16k|4914 | 0.000000e+00 | 1.300000e+01 | Inf
93.37/93.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.37/93.48 c 93.5s|200000 | 66287 |766563 | 3.8 | 37M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 16k|5034 | 0.000000e+00 | 1.300000e+01 | Inf
97.07/97.13 c 97.1s|210000 | 66925 |798024 | 3.8 | 37M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 17k|5169 | 0.000000e+00 | 1.300000e+01 | Inf
100.67/100.75 c 101s|220000 | 67694 |830320 | 3.8 | 38M| 51 | - | 146 | 32 | 146 | 18 | 22 | 18k|5290 | 0.000000e+00 | 1.300000e+01 | Inf
104.37/104.44 c 104s|230000 | 68579 |863317 | 3.8 | 39M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 19k|5409 | 0.000000e+00 | 1.300000e+01 | Inf
108.07/108.10 c 108s|240000 | 69172 |896146 | 3.7 | 40M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 20k|5516 | 0.000000e+00 | 1.300000e+01 | Inf
111.66/111.76 c 112s|250000 | 70140 |928323 | 3.7 | 40M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 20k|5606 | 0.000000e+00 | 1.300000e+01 | Inf
115.37/115.41 c 115s|260000 | 71442 |960284 | 3.7 | 41M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 21k|5712 | 0.000000e+00 | 1.300000e+01 | Inf
118.96/119.02 c 119s|270000 | 72419 |991766 | 3.7 | 42M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 22k|5820 | 0.000000e+00 | 1.300000e+01 | Inf
122.56/122.63 c 123s|280000 | 73004 | 1022k| 3.7 | 42M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 22k|5912 | 0.000000e+00 | 1.300000e+01 | Inf
126.16/126.24 c 126s|290000 | 74156 | 1054k| 3.6 | 43M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 23k|5997 | 0.000000e+00 | 1.300000e+01 | Inf
129.77/129.81 c 130s|300000 | 75353 | 1086k| 3.6 | 44M| 51 | - | 146 | 32 | 0 | 0 | 22 | 24k|6087 | 0.000000e+00 | 1.300000e+01 | Inf
133.26/133.37 c 133s|310000 | 76465 | 1118k| 3.6 | 45M| 51 | - | 146 | 32 | 0 | 0 | 22 | 24k|6175 | 0.000000e+00 | 1.300000e+01 | Inf
136.86/136.96 c 137s|320000 | 77170 | 1150k| 3.6 | 45M| 51 | - | 146 | 34 | 146 | 18 | 22 | 25k|6261 | 0.000000e+00 | 1.300000e+01 | Inf
137.96/138.03 o 9
137.96/138.03 c C 138s|322696 | 74453 | 1158k| 3.6 | 42M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 25k|6289 | 0.000000e+00 | 9.000000e+00 | Inf
140.55/140.65 c 141s|330000 | 74935 | 1181k| 3.6 | 42M| 51 | - | 146 | 33 | 146 | 18 | 22 | 25k|6393 | 0.000000e+00 | 9.000000e+00 | Inf
144.06/144.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
144.06/144.15 c 144s|340000 | 75419 | 1211k| 3.6 | 43M| 51 | - | 146 | 35 | 146 | 18 | 22 | 26k|6542 | 0.000000e+00 | 9.000000e+00 | Inf
149.35/149.40 c 149s|350000 | 75709 | 1241k| 3.5 | 43M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 27k|6689 | 0.000000e+00 | 9.000000e+00 | Inf
152.75/152.85 c 153s|360000 | 75912 | 1270k| 3.5 | 43M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 27k|6821 | 0.000000e+00 | 9.000000e+00 | Inf
156.16/156.27 c 156s|370000 | 76192 | 1300k| 3.5 | 44M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 28k|6970 | 0.000000e+00 | 9.000000e+00 | Inf
159.65/159.76 c 160s|380000 | 76048 | 1329k| 3.5 | 44M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 29k|7112 | 0.000000e+00 | 9.000000e+00 | Inf
163.05/163.16 c 163s|390000 | 76240 | 1359k| 3.5 | 44M| 51 | - | 146 | 32 | 0 | 0 | 22 | 29k|7256 | 0.000000e+00 | 9.000000e+00 | Inf
166.45/166.58 c 167s|400000 | 76524 | 1388k| 3.5 | 44M| 51 | - | 146 | 31 | 146 | 18 | 22 | 30k|7378 | 0.000000e+00 | 9.000000e+00 | Inf
169.85/169.98 c 170s|410000 | 76135 | 1417k| 3.5 | 44M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 31k|7523 | 0.000000e+00 | 9.000000e+00 | Inf
173.24/173.33 c 173s|420000 | 76338 | 1446k| 3.4 | 44M| 51 | - | 146 | 34 | 146 | 18 | 22 | 31k|7641 | 0.000000e+00 | 9.000000e+00 | Inf
176.64/176.74 c 177s|430000 | 76621 | 1475k| 3.4 | 45M| 51 | 6 | 146 | 39 | 146 | 18 | 22 | 32k|7769 | 0.000000e+00 | 9.000000e+00 | Inf
180.04/180.15 c 180s|440000 | 76276 | 1503k| 3.4 | 44M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 33k|7928 | 0.000000e+00 | 9.000000e+00 | Inf
183.44/183.59 c 184s|450000 | 75976 | 1532k| 3.4 | 44M| 51 | - | 146 | 33 | 146 | 18 | 22 | 33k|8035 | 0.000000e+00 | 9.000000e+00 | Inf
186.94/187.01 c 187s|460000 | 75559 | 1560k| 3.4 | 44M| 51 | - | 146 | 32 | 0 | 0 | 22 | 34k|8143 | 0.000000e+00 | 9.000000e+00 | Inf
190.34/190.46 c 190s|470000 | 75282 | 1588k| 3.4 | 44M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 35k|8234 | 0.000000e+00 | 9.000000e+00 | Inf
193.74/193.89 c 194s|480000 | 75074 | 1617k| 3.4 | 44M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 36k|8356 | 0.000000e+00 | 9.000000e+00 | Inf
197.24/197.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.24/197.36 c 197s|490000 | 74687 | 1645k| 3.4 | 44M| 51 | - | 146 | 32 | 146 | 18 | 22 | 36k|8484 | 0.000000e+00 | 9.000000e+00 | Inf
200.74/200.80 c 201s|500000 | 74501 | 1674k| 3.3 | 44M| 51 | - | 146 | 35 | 146 | 18 | 22 | 37k|8564 | 0.000000e+00 | 9.000000e+00 | Inf
204.14/204.25 c 204s|510000 | 74958 | 1703k| 3.3 | 44M| 51 | - | 146 | 34 | 146 | 18 | 22 | 38k|8674 | 0.000000e+00 | 9.000000e+00 | Inf
207.64/207.70 c 208s|520000 | 75308 | 1731k| 3.3 | 45M| 51 | - | 146 | 30 | 0 | 0 | 22 | 38k|8789 | 0.000000e+00 | 9.000000e+00 | Inf
211.05/211.16 c 211s|530000 | 75105 | 1760k| 3.3 | 45M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 39k|8910 | 0.000000e+00 | 9.000000e+00 | Inf
214.53/214.64 c 215s|540000 | 75347 | 1788k| 3.3 | 45M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 40k|9025 | 0.000000e+00 | 9.000000e+00 | Inf
218.04/218.16 c 218s|550000 | 74758 | 1817k| 3.3 | 45M| 51 | - | 146 | 31 | 146 | 18 | 22 | 41k|9120 | 0.000000e+00 | 9.000000e+00 | Inf
221.43/221.53 c 222s|560000 | 74779 | 1846k| 3.3 | 45M| 51 | - | 146 | 33 | 146 | 18 | 22 | 41k|9222 | 0.000000e+00 | 9.000000e+00 | Inf
224.83/224.92 c 225s|570000 | 74807 | 1876k| 3.3 | 45M| 51 | - | 146 | 32 | 146 | 18 | 22 | 42k|9322 | 0.000000e+00 | 9.000000e+00 | Inf
228.33/228.41 c 228s|580000 | 75275 | 1906k| 3.3 | 45M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 43k|9487 | 0.000000e+00 | 9.000000e+00 | Inf
231.94/232.01 c 232s|590000 | 76032 | 1938k| 3.3 | 46M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 43k|9592 | 0.000000e+00 | 9.000000e+00 | Inf
235.43/235.54 c 236s|600000 | 76433 | 1968k| 3.3 | 46M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 44k|9686 | 0.000000e+00 | 9.000000e+00 | Inf
238.92/239.09 c 239s|610000 | 76531 | 1998k| 3.3 | 47M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 45k|9822 | 0.000000e+00 | 9.000000e+00 | Inf
242.53/242.60 c 243s|620000 | 76626 | 2027k| 3.3 | 47M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 45k|9936 | 0.000000e+00 | 9.000000e+00 | Inf
246.02/246.13 c 246s|630000 | 76421 | 2057k| 3.3 | 47M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 46k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
249.54/249.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
249.54/249.63 c 250s|640000 | 75946 | 2085k| 3.3 | 47M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 47k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
253.02/253.13 c 253s|650000 | 75563 | 2115k| 3.3 | 46M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 48k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
256.52/256.68 c 257s|660000 | 74927 | 2144k| 3.2 | 46M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 48k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
260.03/260.10 c 260s|670000 | 74853 | 2172k| 3.2 | 46M| 51 | - | 146 | 30 | 0 | 0 | 22 | 49k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
263.42/263.51 c 264s|680000 | 74658 | 2201k| 3.2 | 46M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 50k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
266.92/267.04 c 267s|690000 | 74513 | 2232k| 3.2 | 46M| 51 | 6 | 146 | 39 | 146 | 18 | 22 | 51k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
270.31/270.48 c 270s|700000 | 74813 | 2263k| 3.2 | 46M| 51 | - | 146 | 38 | 146 | 18 | 22 | 51k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
273.83/273.94 c 274s|710000 | 74895 | 2293k| 3.2 | 46M| 51 | - | 146 | 36 | 146 | 18 | 22 | 52k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
277.31/277.48 c 277s|720000 | 76111 | 2325k| 3.2 | 47M| 51 | - | 146 | 35 | 146 | 18 | 22 | 52k| 10k| 0.000000e+00 | 9.000000e+00 | Inf
280.92/281.08 c 281s|730000 | 77638 | 2357k| 3.2 | 48M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 53k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
284.51/284.62 c 285s|740000 | 79619 | 2389k| 3.2 | 49M| 51 | - | 146 | 33 | 146 | 18 | 22 | 54k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
288.02/288.16 c 288s|750000 | 80975 | 2421k| 3.2 | 50M| 51 | - | 146 | 35 | 0 | 0 | 22 | 54k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
291.61/291.72 c 292s|760000 | 82196 | 2453k| 3.2 | 51M| 51 | - | 146 | 39 | 0 | 0 | 22 | 55k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
295.11/295.28 c 295s|770000 | 83307 | 2484k| 3.2 | 52M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 55k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
298.71/298.83 c 299s|780000 | 84473 | 2517k| 3.2 | 52M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 56k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
302.32/302.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
302.32/302.41 c 302s|790000 | 85566 | 2549k| 3.2 | 53M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 57k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
305.71/305.88 c 306s|800000 | 86128 | 2580k| 3.2 | 54M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 57k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
309.31/309.43 c 309s|810000 | 86989 | 2612k| 3.2 | 54M| 51 | - | 146 | 33 | 146 | 18 | 22 | 58k| 11k| 0.000000e+00 | 9.000000e+00 | Inf
312.90/313.02 c 313s|820000 | 88647 | 2644k| 3.2 | 55M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 59k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
316.50/316.62 c 317s|830000 | 90536 | 2678k| 3.2 | 57M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 59k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
320.01/320.15 c 320s|840000 | 92213 | 2711k| 3.2 | 58M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 60k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
323.51/323.68 c 324s|850000 | 93485 | 2743k| 3.2 | 58M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 60k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
327.00/327.19 c 327s|860000 | 94586 | 2775k| 3.2 | 59M| 51 | - | 146 | 35 | 146 | 18 | 22 | 61k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
330.60/330.75 c 331s|870000 | 95704 | 2807k| 3.2 | 60M| 51 | 6 | 146 | 44 | 146 | 18 | 22 | 61k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
334.10/334.30 c 334s|880000 | 96795 | 2839k| 3.2 | 61M| 51 | - | 146 | 34 | 146 | 18 | 22 | 62k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
337.80/337.97 c 338s|890000 | 99238 | 2873k| 3.2 | 62M| 51 | - | 146 | 34 | 0 | 0 | 22 | 63k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
341.40/341.50 c 341s|900000 |100593 | 2906k| 3.2 | 63M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 63k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
345.00/345.12 c 345s|910000 |102252 | 2940k| 3.2 | 64M| 51 | - | 146 | 36 | 146 | 18 | 22 | 64k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
348.70/348.85 c 349s|920000 |104037 | 2975k| 3.2 | 65M| 51 | - | 146 | 36 | 146 | 18 | 22 | 64k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
352.40/352.55 c 353s|930000 |105868 | 3010k| 3.2 | 66M| 51 | - | 146 | 36 | 146 | 18 | 22 | 65k| 12k| 0.000000e+00 | 9.000000e+00 | Inf
356.00/356.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
356.00/356.18 c 356s|940000 |107435 | 3043k| 3.2 | 67M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 66k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
359.60/359.79 c 360s|950000 |108657 | 3077k| 3.2 | 68M| 51 | - | 146 | 30 | 146 | 18 | 22 | 66k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
363.29/363.41 c 363s|960000 |109882 | 3111k| 3.2 | 69M| 51 | - | 146 | 37 | 0 | 0 | 22 | 67k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
366.80/366.97 c 367s|970000 |111401 | 3143k| 3.2 | 70M| 51 | 6 | 146 | 37 | 146 | 18 | 22 | 68k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
370.39/370.52 c 371s|980000 |112581 | 3175k| 3.2 | 71M| 51 | 6 | 146 | 40 | 146 | 18 | 22 | 68k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
374.09/374.26 c 374s|990000 |115309 | 3210k| 3.2 | 72M| 51 | 6 | 146 | 39 | 146 | 18 | 22 | 69k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
377.79/377.97 c 378s| 1000k|118051 | 3244k| 3.2 | 74M| 51 | 6 | 146 | 39 | 146 | 18 | 22 | 69k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
381.39/381.51 c 382s| 1010k|120369 | 3277k| 3.2 | 75M| 51 | - | 146 | 34 | 146 | 18 | 22 | 70k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
384.99/385.11 c 385s| 1020k|122117 | 3311k| 3.2 | 76M| 51 | - | 146 | 34 | 146 | 18 | 22 | 71k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
388.59/388.74 c 389s| 1030k|123842 | 3345k| 3.2 | 77M| 51 | - | 146 | 35 | 146 | 18 | 22 | 71k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
392.19/392.34 c 392s| 1040k|125509 | 3379k| 3.2 | 78M| 51 | - | 146 | 40 | 146 | 18 | 22 | 72k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
395.80/395.95 c 396s| 1050k|127418 | 3412k| 3.2 | 79M| 51 | - | 146 | 41 | 146 | 18 | 22 | 72k| 13k| 0.000000e+00 | 9.000000e+00 | Inf
399.38/399.59 c 400s| 1060k|129894 | 3445k| 3.3 | 81M| 51 | - | 146 | 33 | 146 | 18 | 22 | 73k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
402.99/403.14 c 403s| 1070k|131890 | 3477k| 3.3 | 82M| 51 | 6 | 146 | 37 | 146 | 18 | 22 | 74k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
406.48/406.65 c 407s| 1080k|133345 | 3508k| 3.2 | 83M| 51 | 6 | 146 | 39 | 146 | 18 | 22 | 74k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
409.99/410.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
409.99/410.15 c 410s| 1090k|134847 | 3539k| 3.2 | 84M| 51 | - | 146 | 39 | 146 | 18 | 22 | 75k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
413.49/413.68 c 414s| 1100k|136010 | 3571k| 3.2 | 84M| 51 | 6 | 146 | 39 | 146 | 18 | 22 | 75k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
416.98/417.16 c 417s| 1110k|137253 | 3602k| 3.2 | 85M| 51 | 6 | 146 | 41 | 146 | 18 | 22 | 76k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
420.47/420.68 c 421s| 1120k|138491 | 3633k| 3.2 | 86M| 51 | - | 146 | 38 | 146 | 18 | 22 | 77k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
423.98/424.18 c 424s| 1130k|139631 | 3664k| 3.2 | 87M| 51 | - | 146 | 38 | 146 | 18 | 22 | 77k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
427.48/427.67 c 428s| 1140k|140636 | 3696k| 3.2 | 88M| 51 | - | 146 | 39 | 146 | 18 | 22 | 78k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
431.08/431.22 c 431s| 1150k|141902 | 3728k| 3.2 | 88M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 79k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
434.57/434.71 c 435s| 1160k|142945 | 3758k| 3.2 | 89M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 79k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
438.08/438.23 c 438s| 1170k|143964 | 3790k| 3.2 | 90M| 51 | - | 146 | 38 | 146 | 18 | 22 | 80k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
441.47/441.68 c 442s| 1180k|145006 | 3820k| 3.2 | 91M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 80k| 14k| 0.000000e+00 | 9.000000e+00 | Inf
444.98/445.18 c 445s| 1190k|145898 | 3851k| 3.2 | 91M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 81k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
448.47/448.65 c 449s| 1200k|147022 | 3882k| 3.2 | 92M| 51 | 6 | 146 | 40 | 146 | 18 | 22 | 82k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
452.07/452.22 c 452s| 1210k|148003 | 3913k| 3.2 | 93M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 82k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
455.57/455.74 c 456s| 1220k|148883 | 3945k| 3.2 | 93M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 83k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
459.07/459.23 c 459s| 1230k|149773 | 3975k| 3.2 | 94M| 51 | - | 146 | 42 | 146 | 18 | 22 | 84k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
462.57/462.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
462.57/462.78 c 463s| 1240k|150862 | 4008k| 3.2 | 95M| 51 | - | 146 | 34 | 146 | 18 | 22 | 84k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
466.06/466.27 c 466s| 1250k|152033 | 4039k| 3.2 | 96M| 51 | - | 146 | 34 | 0 | 0 | 22 | 85k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
469.57/469.71 c 470s| 1260k|152923 | 4069k| 3.2 | 96M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 85k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
472.97/473.15 c 473s| 1270k|153936 | 4099k| 3.2 | 97M| 51 | - | 146 | 41 | 0 | 0 | 22 | 86k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
476.37/476.59 c 477s| 1280k|155020 | 4130k| 3.2 | 98M| 51 | 6 | 146 | 42 | 146 | 18 | 22 | 86k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
479.86/480.03 c 480s| 1290k|155927 | 4161k| 3.2 | 99M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 87k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
483.26/483.44 c 483s| 1300k|157015 | 4191k| 3.2 | 99M| 51 | 6 | 146 | 39 | 146 | 18 | 22 | 87k| 15k| 0.000000e+00 | 9.000000e+00 | Inf
486.66/486.87 c 487s| 1310k|158005 | 4221k| 3.2 | 100M| 51 | - | 146 | 41 | 0 | 0 | 22 | 88k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
490.16/490.34 c 490s| 1320k|158801 | 4251k| 3.2 | 101M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 89k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
493.67/493.80 c 494s| 1330k|159804 | 4281k| 3.2 | 101M| 51 | - | 146 | 35 | 146 | 18 | 22 | 89k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
497.16/497.30 c 497s| 1340k|160588 | 4312k| 3.2 | 102M| 51 | - | 146 | 36 | 146 | 18 | 22 | 90k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
500.55/500.77 c 501s| 1350k|161384 | 4343k| 3.2 | 103M| 51 | - | 146 | 35 | 0 | 0 | 22 | 90k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
504.05/504.25 c 504s| 1360k|161915 | 4373k| 3.2 | 103M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 91k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
507.56/507.72 c 508s| 1370k|162797 | 4403k| 3.2 | 104M| 51 | - | 146 | 35 | 146 | 18 | 22 | 92k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
510.95/511.15 c 511s| 1380k|163362 | 4433k| 3.2 | 104M| 51 | - | 146 | 34 | 146 | 18 | 22 | 92k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
514.56/514.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
514.56/514.72 c 515s| 1390k|164328 | 4466k| 3.2 | 105M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 93k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
518.15/518.30 c 518s| 1400k|164807 | 4499k| 3.2 | 106M| 51 | - | 146 | 36 | 0 | 0 | 22 | 93k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
521.55/521.76 c 522s| 1410k|165548 | 4529k| 3.2 | 106M| 51 | 6 | 146 | 37 | 146 | 18 | 22 | 94k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
525.05/525.24 c 525s| 1420k|166227 | 4559k| 3.2 | 107M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 94k| 16k| 0.000000e+00 | 9.000000e+00 | Inf
528.55/528.73 c 529s| 1430k|166656 | 4589k| 3.2 | 107M| 51 | - | 146 | 35 | 146 | 18 | 22 | 95k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
532.05/532.21 c 532s| 1440k|167508 | 4621k| 3.2 | 108M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 95k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
535.56/535.78 c 536s| 1450k|169899 | 4652k| 3.2 | 109M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 96k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
539.04/539.25 c 539s| 1460k|171501 | 4682k| 3.2 | 110M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 96k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
542.55/542.71 c 543s| 1470k|172862 | 4712k| 3.2 | 111M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 97k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
545.94/546.15 c 546s| 1480k|173906 | 4742k| 3.2 | 112M| 51 | - | 146 | 35 | 146 | 18 | 22 | 97k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
549.35/549.59 c 550s| 1490k|174841 | 4772k| 3.2 | 112M| 51 | - | 146 | 34 | 146 | 18 | 22 | 98k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
552.84/553.00 c 553s| 1500k|175496 | 4801k| 3.2 | 113M| 51 | - | 146 | 35 | 146 | 18 | 22 | 98k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
556.24/556.40 c 556s| 1510k|176365 | 4830k| 3.2 | 114M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 99k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
559.64/559.84 c 560s| 1520k|176954 | 4859k| 3.2 | 114M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 99k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
563.14/563.31 c 563s| 1530k|177432 | 4888k| 3.2 | 115M| 51 | - | 146 | 37 | 146 | 18 | 22 | 100k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
566.54/566.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.54/566.76 c 567s| 1540k|178215 | 4917k| 3.2 | 115M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 100k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
569.94/570.18 c 570s| 1550k|178709 | 4945k| 3.2 | 116M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 100k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
573.44/573.62 c 574s| 1560k|179233 | 4974k| 3.2 | 116M| 51 | - | 146 | 35 | 0 | 0 | 22 | 101k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
576.84/577.05 c 577s| 1570k|179749 | 5002k| 3.2 | 117M| 51 | - | 146 | 32 | 146 | 18 | 22 | 101k| 17k| 0.000000e+00 | 9.000000e+00 | Inf
580.24/580.47 c 580s| 1580k|180043 | 5030k| 3.2 | 117M| 51 | - | 146 | 33 | 0 | 0 | 22 | 102k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
583.73/583.90 c 584s| 1590k|180399 | 5059k| 3.2 | 118M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 102k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
587.14/587.32 c 587s| 1600k|180968 | 5089k| 3.2 | 118M| 51 | - | 146 | 40 | 146 | 18 | 22 | 103k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
590.54/590.80 c 591s| 1610k|182029 | 5119k| 3.2 | 119M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 103k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
594.03/594.26 c 594s| 1620k|182875 | 5149k| 3.2 | 119M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 104k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
597.53/597.77 c 598s| 1630k|183144 | 5178k| 3.2 | 120M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 105k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
601.03/601.24 c 601s| 1640k|183609 | 5208k| 3.2 | 120M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 105k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
604.43/604.68 c 605s| 1650k|184186 | 5237k| 3.2 | 121M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 106k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
607.92/608.19 c 608s| 1660k|184581 | 5268k| 3.2 | 121M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 106k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
611.44/611.64 c 612s| 1670k|185180 | 5297k| 3.2 | 122M| 51 | - | 146 | 35 | 146 | 18 | 22 | 107k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
614.93/615.14 c 615s| 1680k|185666 | 5328k| 3.2 | 122M| 51 | 6 | 146 | 38 | 146 | 18 | 22 | 107k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
618.43/618.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
618.43/618.61 c 619s| 1690k|186277 | 5359k| 3.2 | 123M| 51 | - | 146 | 34 | 146 | 18 | 22 | 108k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
621.92/622.11 c 622s| 1700k|186551 | 5390k| 3.2 | 123M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 108k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
625.43/625.61 c 626s| 1710k|187105 | 5421k| 3.2 | 124M| 51 | 6 | 146 | 40 | 146 | 18 | 22 | 109k| 18k| 0.000000e+00 | 9.000000e+00 | Inf
629.03/629.21 c 629s| 1720k|188308 | 5453k| 3.2 | 124M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 109k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
632.53/632.73 c 633s| 1730k|188691 | 5483k| 3.2 | 125M| 51 | - | 146 | 34 | 146 | 18 | 22 | 110k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
635.92/636.17 c 636s| 1740k|189000 | 5512k| 3.2 | 125M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 110k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
639.52/639.77 c 640s| 1750k|190228 | 5545k| 3.2 | 126M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 111k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
643.02/643.27 c 643s| 1760k|191105 | 5576k| 3.2 | 127M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 111k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
646.53/646.80 c 647s| 1770k|191547 | 5607k| 3.2 | 127M| 51 | 6 | 146 | 37 | 146 | 18 | 22 | 112k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
650.02/650.22 c 650s| 1780k|192069 | 5637k| 3.2 | 128M| 51 | - | 146 | 37 | 146 | 18 | 22 | 112k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
653.41/653.63 c 654s| 1790k|192527 | 5667k| 3.2 | 128M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 113k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
656.92/657.17 c 657s| 1800k|193077 | 5699k| 3.2 | 129M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 113k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
660.41/660.68 c 661s| 1810k|193316 | 5730k| 3.2 | 129M| 51 | - | 146 | 34 | 146 | 18 | 22 | 114k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
663.91/664.17 c 664s| 1820k|193592 | 5760k| 3.2 | 129M| 51 | - | 146 | 34 | 146 | 18 | 22 | 114k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
667.42/667.65 c 668s| 1830k|193997 | 5790k| 3.2 | 130M| 51 | - | 146 | 35 | 146 | 18 | 22 | 115k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
670.91/671.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
670.91/671.19 c 671s| 1840k|194867 | 5821k| 3.2 | 130M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 115k| 19k| 0.000000e+00 | 9.000000e+00 | Inf
674.41/674.65 c 675s| 1850k|195608 | 5851k| 3.2 | 131M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 116k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
677.81/678.08 c 678s| 1860k|196051 | 5881k| 3.2 | 131M| 51 | - | 146 | 37 | 146 | 18 | 22 | 116k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
681.31/681.50 c 681s| 1870k|196179 | 5911k| 3.2 | 132M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 117k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
684.71/684.96 c 685s| 1880k|196584 | 5940k| 3.2 | 132M| 51 | - | 146 | 32 | 146 | 18 | 22 | 117k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
688.21/688.45 c 688s| 1890k|197133 | 5970k| 3.2 | 133M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 118k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
691.72/691.97 c 692s| 1900k|197336 | 6001k| 3.2 | 133M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 118k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
695.21/695.44 c 695s| 1910k|197716 | 6030k| 3.2 | 133M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 119k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
698.70/698.92 c 699s| 1920k|198343 | 6062k| 3.2 | 134M| 51 | - | 146 | 36 | 146 | 18 | 22 | 119k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
702.20/702.45 c 702s| 1930k|199449 | 6094k| 3.2 | 135M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 120k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
705.70/705.98 c 706s| 1940k|199632 | 6124k| 3.2 | 135M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 120k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
709.21/709.47 c 709s| 1950k|199853 | 6154k| 3.2 | 135M| 51 | - | 146 | 35 | 0 | 0 | 22 | 121k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
712.70/712.95 c 713s| 1960k|200298 | 6184k| 3.2 | 136M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 121k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
717.50/717.74 c 718s| 1970k|200816 | 6214k| 3.2 | 136M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 122k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
721.00/721.24 c 721s| 1980k|201012 | 6244k| 3.2 | 137M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 123k| 20k| 0.000000e+00 | 9.000000e+00 | Inf
724.50/724.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
724.50/724.75 c 725s| 1990k|201229 | 6273k| 3.2 | 137M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 123k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
728.00/728.21 c 728s| 2000k|201429 | 6303k| 3.2 | 137M| 51 | - | 146 | 32 | 146 | 18 | 22 | 124k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
731.39/731.68 c 732s| 2010k|201946 | 6332k| 3.2 | 138M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 124k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
734.90/735.18 c 735s| 2020k|202135 | 6362k| 3.1 | 138M| 51 | - | 146 | 32 | 0 | 0 | 22 | 125k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
738.39/738.65 c 739s| 2030k|202502 | 6392k| 3.1 | 138M| 51 | - | 146 | 34 | 146 | 18 | 22 | 125k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
741.89/742.18 c 742s| 2040k|203263 | 6422k| 3.1 | 139M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 126k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
745.40/745.65 c 746s| 2050k|203760 | 6452k| 3.1 | 139M| 51 | - | 146 | 32 | 146 | 18 | 22 | 126k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
748.90/749.13 c 749s| 2060k|204849 | 6483k| 3.1 | 140M| 51 | - | 146 | 31 | 146 | 18 | 22 | 127k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
752.29/752.59 c 753s| 2070k|205329 | 6513k| 3.1 | 141M| 51 | 6 | 146 | 37 | 146 | 18 | 22 | 127k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
755.79/756.06 c 756s| 2080k|205208 | 6542k| 3.1 | 141M| 51 | - | 146 | 32 | 146 | 18 | 22 | 128k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
759.39/759.63 c 760s| 2090k|205658 | 6574k| 3.1 | 141M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 128k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
762.88/763.19 c 763s| 2100k|206819 | 6606k| 3.1 | 142M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 129k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
766.40/766.69 c 767s| 2110k|207813 | 6637k| 3.1 | 143M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 129k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
769.99/770.23 c 770s| 2120k|209037 | 6670k| 3.1 | 144M| 51 | - | 146 | 32 | 146 | 18 | 22 | 130k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
773.49/773.76 c 774s| 2130k|209708 | 6701k| 3.1 | 144M| 51 | - | 146 | 32 | 0 | 0 | 22 | 131k| 21k| 0.000000e+00 | 9.000000e+00 | Inf
776.99/777.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
776.99/777.25 c 777s| 2140k|210156 | 6732k| 3.1 | 145M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 131k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
780.48/780.77 c 781s| 2150k|210676 | 6763k| 3.1 | 145M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 132k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
784.09/784.31 c 784s| 2160k|211010 | 6796k| 3.1 | 146M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 132k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
787.58/787.87 c 788s| 2170k|211290 | 6827k| 3.1 | 146M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 133k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
791.08/791.39 c 791s| 2180k|211492 | 6857k| 3.1 | 146M| 51 | - | 146 | 33 | 146 | 18 | 22 | 134k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
794.58/794.84 c 795s| 2190k|211738 | 6887k| 3.1 | 147M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 134k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
798.07/798.38 c 798s| 2200k|211980 | 6918k| 3.1 | 147M| 51 | - | 146 | 33 | 146 | 18 | 22 | 135k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
801.58/801.85 c 802s| 2210k|212289 | 6948k| 3.1 | 147M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 136k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
805.07/805.32 c 805s| 2220k|212434 | 6979k| 3.1 | 148M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 136k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
808.57/808.85 c 809s| 2230k|212645 | 7009k| 3.1 | 148M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 137k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
812.07/812.38 c 812s| 2240k|212706 | 7040k| 3.1 | 148M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 137k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
815.57/815.86 c 816s| 2250k|213090 | 7069k| 3.1 | 149M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 138k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
819.07/819.35 c 819s| 2260k|213350 | 7100k| 3.1 | 149M| 51 | 6 | 146 | 37 | 146 | 18 | 22 | 138k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
822.58/822.84 c 823s| 2270k|213511 | 7129k| 3.1 | 149M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 139k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
825.97/826.29 c 826s| 2280k|214083 | 7158k| 3.1 | 150M| 51 | 6 | 146 | 38 | 146 | 18 | 22 | 139k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
829.56/829.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
829.56/829.83 c 830s| 2290k|214311 | 7189k| 3.1 | 150M| 51 | - | 146 | 33 | 146 | 18 | 22 | 140k| 22k| 0.000000e+00 | 9.000000e+00 | Inf
833.07/833.33 c 833s| 2300k|214437 | 7220k| 3.1 | 150M| 51 | 6 | 146 | 38 | 146 | 18 | 22 | 140k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
836.56/836.83 c 837s| 2310k|214806 | 7251k| 3.1 | 151M| 51 | - | 146 | 35 | 146 | 18 | 22 | 141k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
840.07/840.40 c 840s| 2320k|215040 | 7281k| 3.1 | 151M| 51 | 6 | 146 | 38 | 146 | 18 | 22 | 141k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
843.67/843.92 c 844s| 2330k|217112 | 7312k| 3.1 | 152M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 142k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
847.06/847.37 c 847s| 2340k|218678 | 7342k| 3.1 | 153M| 51 | - | 146 | 32 | 146 | 18 | 22 | 143k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
850.56/850.82 c 851s| 2350k|219781 | 7371k| 3.1 | 154M| 51 | - | 146 | 35 | 146 | 18 | 22 | 143k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
853.96/854.28 c 854s| 2360k|221000 | 7401k| 3.1 | 155M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 144k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
857.46/857.71 c 858s| 2370k|221974 | 7430k| 3.1 | 155M| 51 | - | 146 | 33 | 146 | 18 | 22 | 144k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
860.86/861.16 c 861s| 2380k|222634 | 7458k| 3.1 | 156M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 145k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
864.37/864.63 c 865s| 2390k|223269 | 7487k| 3.1 | 157M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 146k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
867.76/868.07 c 868s| 2400k|223913 | 7516k| 3.1 | 157M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 146k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
871.26/871.55 c 872s| 2410k|224541 | 7545k| 3.1 | 158M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 147k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
874.65/874.97 c 875s| 2420k|225513 | 7574k| 3.1 | 158M| 51 | - | 146 | 33 | 146 | 18 | 22 | 148k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
878.06/878.39 c 878s| 2430k|225869 | 7602k| 3.1 | 159M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 148k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
881.56/881.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
881.56/881.81 c 882s| 2440k|226243 | 7630k| 3.1 | 159M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 149k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
884.95/885.27 c 885s| 2450k|227062 | 7659k| 3.1 | 160M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 149k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
888.35/888.67 c 889s| 2460k|227581 | 7688k| 3.1 | 160M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 150k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
891.76/892.05 c 892s| 2470k|228676 | 7716k| 3.1 | 161M| 51 | - | 146 | 33 | 146 | 18 | 22 | 151k| 23k| 0.000000e+00 | 9.000000e+00 | Inf
895.16/895.48 c 895s| 2480k|229394 | 7745k| 3.1 | 161M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 151k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
898.65/898.94 c 899s| 2490k|229874 | 7774k| 3.1 | 162M| 51 | - | 146 | 32 | 146 | 18 | 22 | 152k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
902.15/902.43 c 902s| 2500k|230050 | 7802k| 3.1 | 162M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 152k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
905.55/905.89 c 906s| 2510k|230529 | 7830k| 3.1 | 163M| 51 | - | 146 | 34 | 0 | 0 | 22 | 153k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
909.14/909.43 c 909s| 2520k|231261 | 7860k| 3.1 | 163M| 51 | - | 146 | 35 | 146 | 18 | 22 | 154k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
912.55/912.89 c 913s| 2530k|232095 | 7889k| 3.1 | 164M| 51 | - | 146 | 34 | 146 | 18 | 22 | 154k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
916.06/916.32 c 916s| 2540k|232339 | 7917k| 3.1 | 164M| 51 | - | 146 | 34 | 146 | 18 | 22 | 155k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
919.44/919.80 c 920s| 2550k|232733 | 7945k| 3.1 | 165M| 51 | 6 | 146 | 38 | 146 | 18 | 22 | 156k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
922.95/923.29 c 923s| 2560k|233131 | 7973k| 3.1 | 165M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 156k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
926.44/926.74 c 927s| 2570k|233345 | 8002k| 3.1 | 165M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 157k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
929.84/930.17 c 930s| 2580k|233645 | 8030k| 3.1 | 166M| 51 | - | 146 | 35 | 146 | 18 | 22 | 158k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
933.34/933.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
933.34/933.67 c 934s| 2590k|234352 | 8059k| 3.1 | 166M| 51 | - | 146 | 37 | 146 | 18 | 22 | 158k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
936.84/937.15 c 937s| 2600k|234275 | 8087k| 3.1 | 167M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 159k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
940.34/940.63 c 941s| 2610k|234355 | 8115k| 3.1 | 167M| 51 | - | 146 | 34 | 0 | 0 | 22 | 160k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
943.84/944.10 c 944s| 2620k|234396 | 8143k| 3.1 | 167M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 160k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
947.33/947.61 c 948s| 2630k|234280 | 8171k| 3.1 | 167M| 51 | - | 146 | 37 | 146 | 18 | 22 | 161k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
950.74/951.05 c 951s| 2640k|234288 | 8199k| 3.1 | 167M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 161k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
954.24/954.50 c 954s| 2650k|234715 | 8227k| 3.1 | 168M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 162k| 24k| 0.000000e+00 | 9.000000e+00 | Inf
957.74/958.07 c 958s| 2660k|235299 | 8256k| 3.1 | 168M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 163k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
961.24/961.54 c 962s| 2670k|235532 | 8284k| 3.1 | 169M| 51 | - | 146 | 34 | 0 | 0 | 22 | 163k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
964.73/965.02 c 965s| 2680k|235875 | 8312k| 3.1 | 169M| 51 | - | 146 | 33 | 146 | 18 | 22 | 164k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
968.13/968.48 c 968s| 2690k|235944 | 8340k| 3.1 | 169M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 165k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
971.63/971.97 c 972s| 2700k|235783 | 8368k| 3.1 | 169M| 51 | - | 146 | 34 | 146 | 18 | 22 | 165k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
975.13/975.49 c 975s| 2710k|236064 | 8397k| 3.1 | 170M| 51 | 6 | 146 | 38 | 146 | 18 | 22 | 166k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
978.64/978.98 c 979s| 2720k|236328 | 8428k| 3.1 | 170M| 51 | - | 146 | 34 | 146 | 18 | 22 | 166k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
982.23/982.53 c 983s| 2730k|236523 | 8459k| 3.1 | 170M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 167k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
985.73/986.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
985.73/986.05 c 986s| 2740k|236475 | 8488k| 3.1 | 170M| 51 | - | 146 | 35 | 146 | 18 | 22 | 168k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
989.33/989.64 c 990s| 2750k|236737 | 8519k| 3.1 | 171M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 168k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
992.93/993.22 c 993s| 2760k|237846 | 8550k| 3.1 | 171M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 169k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
996.42/996.80 c 997s| 2770k|238593 | 8582k| 3.1 | 172M| 51 | - | 146 | 33 | 146 | 18 | 22 | 169k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1000.02/1000.34 c 1000s| 2780k|239767 | 8613k| 3.1 | 173M| 51 | - | 146 | 34 | 146 | 18 | 22 | 170k| 25k| 0.000000e+00 | 9.000000e+00 | Inf
1002.83/1003.20 o 7
1002.83/1003.20 c *1003s| 2787k|236237 | 8639k| 3.1 | 166M| 51 | - | 146 | 36 | 146 | 18 | 22 | 171k| 25k| 0.000000e+00 | 7.000000e+00 | Inf
1003.52/1003.89 c 1004s| 2790k|236252 | 8645k| 3.1 | 166M| 51 | 6 | 146 | 28 | 146 | 18 | 22 | 171k| 25k| 0.000000e+00 | 7.000000e+00 | Inf
1008.43/1008.72 c 1009s| 2800k|236944 | 8676k| 3.1 | 167M| 51 | - | 146 | 28 | 146 | 18 | 22 | 171k| 25k| 0.000000e+00 | 7.000000e+00 | Inf
1011.63/1011.90 c 1012s| 2810k|237710 | 8706k| 3.1 | 168M| 51 | - | 146 | 32 | 146 | 18 | 22 | 172k| 25k| 0.000000e+00 | 7.000000e+00 | Inf
1014.93/1015.23 c 1015s| 2820k|238064 | 8737k| 3.1 | 168M| 51 | - | 146 | 30 | 146 | 18 | 22 | 172k| 25k| 0.000000e+00 | 7.000000e+00 | Inf
1018.23/1018.56 c 1019s| 2830k|238091 | 8768k| 3.1 | 168M| 51 | - | 146 | 35 | 146 | 18 | 22 | 173k| 25k| 0.000000e+00 | 7.000000e+00 | Inf
1021.52/1021.83 c 1022s| 2840k|238115 | 8798k| 3.1 | 168M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 174k| 25k| 0.000000e+00 | 7.000000e+00 | Inf
1024.82/1025.10 c 1025s| 2850k|238240 | 8829k| 3.1 | 169M| 51 | - | 146 | 32 | 146 | 18 | 22 | 174k| 25k| 0.000000e+00 | 7.000000e+00 | Inf
1028.02/1028.35 c 1028s| 2860k|238341 | 8859k| 3.1 | 169M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 175k| 25k| 0.000000e+00 | 7.000000e+00 | Inf
1031.32/1031.60 c 1032s| 2870k|238591 | 8889k| 3.1 | 169M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 175k| 25k| 0.000000e+00 | 7.000000e+00 | Inf
1034.51/1034.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1034.51/1034.81 c 1035s| 2880k|238928 | 8919k| 3.1 | 169M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 176k| 25k| 0.000000e+00 | 7.000000e+00 | Inf
1037.72/1038.09 c 1038s| 2890k|238839 | 8949k| 3.1 | 169M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 177k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1042.52/1042.84 c 1043s| 2900k|238960 | 8979k| 3.1 | 170M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 177k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1045.82/1046.12 c 1046s| 2910k|239485 | 9010k| 3.1 | 170M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 178k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1049.02/1049.36 c 1049s| 2920k|240496 | 9041k| 3.1 | 171M| 51 | - | 146 | 28 | 0 | 0 | 22 | 178k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1052.31/1052.61 c 1053s| 2930k|240902 | 9073k| 3.1 | 171M| 51 | - | 146 | 29 | 146 | 18 | 22 | 179k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1055.51/1055.85 c 1056s| 2940k|240987 | 9103k| 3.1 | 171M| 51 | - | 146 | 28 | 146 | 18 | 22 | 180k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1058.80/1059.11 c 1059s| 2950k|241195 | 9133k| 3.1 | 172M| 51 | - | 146 | 28 | 146 | 18 | 22 | 180k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1062.01/1062.32 c 1062s| 2960k|240994 | 9163k| 3.1 | 172M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 181k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1065.31/1065.61 c 1066s| 2970k|240740 | 9193k| 3.1 | 172M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 181k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1068.61/1068.96 c 1069s| 2980k|240754 | 9224k| 3.1 | 172M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 182k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1071.90/1072.26 c 1072s| 2990k|241017 | 9255k| 3.1 | 172M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 182k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1075.21/1075.52 c 1076s| 3000k|241407 | 9287k| 3.1 | 172M| 51 | - | 146 | 30 | 146 | 18 | 22 | 183k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1078.41/1078.78 c 1079s| 3010k|241327 | 9318k| 3.1 | 173M| 51 | - | 146 | 29 | 146 | 18 | 22 | 183k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1081.70/1082.02 c 1082s| 3020k|241444 | 9347k| 3.1 | 173M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 184k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1084.90/1085.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1084.90/1085.23 c 1085s| 3030k|241440 | 9377k| 3.1 | 173M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 184k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1088.10/1088.43 c 1088s| 3040k|242192 | 9407k| 3.1 | 173M| 51 | 6 | 146 | 40 | 146 | 18 | 22 | 185k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1091.30/1091.61 c 1092s| 3050k|242461 | 9437k| 3.1 | 174M| 51 | - | 146 | 36 | 146 | 18 | 22 | 185k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1094.39/1094.78 c 1095s| 3060k|242844 | 9466k| 3.1 | 174M| 51 | 6 | 146 | 37 | 146 | 18 | 22 | 186k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1097.60/1097.97 c 1098s| 3070k|243308 | 9494k| 3.1 | 175M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 186k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1100.80/1101.14 c 1101s| 3080k|243354 | 9522k| 3.1 | 175M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 187k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1104.01/1104.40 c 1104s| 3090k|243637 | 9553k| 3.1 | 175M| 51 | - | 146 | 29 | 146 | 18 | 22 | 188k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1107.40/1107.79 c 1108s| 3100k|243744 | 9587k| 3.1 | 175M| 51 | - | 146 | 30 | 146 | 18 | 22 | 188k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1110.70/1111.07 c 1111s| 3110k|243654 | 9617k| 3.1 | 175M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 189k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1114.00/1114.38 c 1114s| 3120k|244346 | 9649k| 3.1 | 176M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 189k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1117.30/1117.67 c 1118s| 3130k|245052 | 9681k| 3.1 | 176M| 51 | 6 | 146 | 36 | 146 | 18 | 22 | 190k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1120.59/1120.97 c 1121s| 3140k|244915 | 9714k| 3.1 | 176M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 190k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1123.90/1124.27 c 1124s| 3150k|245109 | 9745k| 3.1 | 177M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 191k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1127.10/1127.49 c 1127s| 3160k|245392 | 9775k| 3.1 | 177M| 51 | - | 146 | 35 | 146 | 18 | 22 | 191k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1130.40/1130.76 c 1131s| 3170k|245575 | 9806k| 3.1 | 177M| 51 | - | 146 | 37 | 146 | 18 | 22 | 192k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1133.70/1134.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1133.70/1134.01 c 1134s| 3180k|245474 | 9837k| 3.1 | 177M| 51 | - | 146 | 32 | 0 | 0 | 22 | 192k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1136.89/1137.28 c 1137s| 3190k|245362 | 9867k| 3.1 | 177M| 51 | - | 146 | 30 | 146 | 18 | 22 | 193k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1140.29/1140.60 c 1141s| 3200k|245384 | 9898k| 3.1 | 178M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 193k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1143.59/1143.90 c 1144s| 3210k|245303 | 9928k| 3.1 | 178M| 51 | - | 146 | 32 | 146 | 18 | 22 | 194k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1146.79/1147.16 c 1147s| 3220k|245237 | 9957k| 3.1 | 178M| 51 | - | 146 | 34 | 0 | 0 | 22 | 195k| 26k| 0.000000e+00 | 7.000000e+00 | Inf
1150.08/1150.44 c 1150s| 3230k|245978 | 9988k| 3.1 | 178M| 51 | - | 146 | 33 | 146 | 18 | 22 | 195k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1153.38/1153.71 c 1154s| 3240k|246148 | 10019k| 3.1 | 179M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 196k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1156.58/1156.96 c 1157s| 3250k|246044 | 10048k| 3.1 | 179M| 51 | - | 146 | 32 | 146 | 18 | 22 | 196k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1159.88/1160.25 c 1160s| 3260k|245848 | 10079k| 3.1 | 179M| 51 | 6 | 146 | 39 | 146 | 18 | 22 | 197k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1163.17/1163.56 c 1164s| 3270k|246150 | 10110k| 3.1 | 179M| 51 | - | 146 | 35 | 0 | 0 | 22 | 197k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1166.47/1166.87 c 1167s| 3280k|246611 | 10141k| 3.1 | 179M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 198k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1169.78/1170.13 c 1170s| 3290k|247167 | 10172k| 3.1 | 180M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 198k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1172.97/1173.37 c 1173s| 3300k|247460 | 10201k| 3.1 | 180M| 51 | 6 | 146 | 37 | 146 | 18 | 22 | 199k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1176.18/1176.58 c 1177s| 3310k|247617 | 10230k| 3.1 | 180M| 51 | - | 146 | 36 | 146 | 18 | 22 | 199k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1179.47/1179.82 c 1180s| 3320k|247874 | 10260k| 3.1 | 181M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 200k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1182.67/1183.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1182.67/1183.06 c 1183s| 3330k|247566 | 10289k| 3.1 | 181M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 201k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1185.98/1186.32 c 1186s| 3340k|247610 | 10319k| 3.1 | 181M| 51 | 6 | 146 | 28 | 146 | 18 | 22 | 201k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1189.27/1189.67 c 1190s| 3350k|248244 | 10352k| 3.1 | 181M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 202k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1192.57/1192.96 c 1193s| 3360k|248285 | 10384k| 3.1 | 181M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 202k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1195.87/1196.28 c 1196s| 3370k|247994 | 10415k| 3.1 | 181M| 51 | 6 | 146 | 28 | 146 | 18 | 22 | 203k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1199.16/1199.53 c 1200s| 3380k|248036 | 10445k| 3.1 | 182M| 51 | - | 146 | 31 | 0 | 0 | 22 | 203k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1202.47/1202.85 c 1203s| 3390k|247907 | 10476k| 3.1 | 182M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 204k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1205.77/1206.11 c 1206s| 3400k|248544 | 10507k| 3.1 | 182M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 204k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1208.97/1209.38 c 1209s| 3410k|248286 | 10538k| 3.1 | 182M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 205k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1212.37/1212.70 c 1213s| 3420k|248498 | 10568k| 3.1 | 182M| 51 | - | 146 | 30 | 146 | 18 | 22 | 205k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1215.56/1215.91 c 1216s| 3430k|248788 | 10599k| 3.1 | 183M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 206k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1218.76/1219.19 c 1219s| 3440k|248630 | 10629k| 3.1 | 183M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 206k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1222.07/1222.47 c 1222s| 3450k|248552 | 10658k| 3.1 | 183M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 207k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1225.36/1225.75 c 1226s| 3460k|248513 | 10689k| 3.1 | 183M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 207k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1228.66/1229.06 c 1229s| 3470k|248594 | 10721k| 3.1 | 183M| 51 | - | 146 | 34 | 0 | 0 | 22 | 208k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1231.96/1232.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1231.96/1232.32 c 1232s| 3480k|248623 | 10750k| 3.1 | 183M| 51 | - | 146 | 31 | 146 | 18 | 22 | 208k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1235.15/1235.57 c 1236s| 3490k|248623 | 10781k| 3.1 | 183M| 51 | - | 146 | 31 | 146 | 18 | 22 | 209k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1238.46/1238.88 c 1239s| 3500k|248388 | 10811k| 3.1 | 183M| 51 | 6 | 146 | 28 | 146 | 18 | 22 | 210k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1241.75/1242.14 c 1242s| 3510k|248375 | 10841k| 3.1 | 183M| 51 | - | 146 | 37 | 146 | 18 | 22 | 210k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1245.06/1245.41 c 1245s| 3520k|248167 | 10871k| 3.1 | 183M| 51 | - | 146 | 33 | 146 | 18 | 22 | 211k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1248.26/1248.68 c 1249s| 3530k|248046 | 10902k| 3.1 | 184M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 211k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1251.56/1251.97 c 1252s| 3540k|248252 | 10932k| 3.1 | 184M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 212k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1254.85/1255.24 c 1255s| 3550k|247980 | 10962k| 3.1 | 184M| 51 | - | 146 | 32 | 146 | 18 | 22 | 212k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1258.15/1258.52 c 1259s| 3560k|247573 | 10992k| 3.1 | 184M| 51 | - | 146 | 34 | 146 | 18 | 22 | 213k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1261.45/1261.84 c 1262s| 3570k|247499 | 11022k| 3.1 | 184M| 51 | - | 146 | 32 | 146 | 18 | 22 | 213k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1264.75/1265.10 c 1265s| 3580k|247325 | 11053k| 3.1 | 184M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 214k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1268.05/1268.45 c 1268s| 3590k|247544 | 11085k| 3.1 | 184M| 51 | - | 146 | 34 | 146 | 18 | 22 | 214k| 27k| 0.000000e+00 | 7.000000e+00 | Inf
1271.35/1271.77 c 1272s| 3600k|247584 | 11116k| 3.1 | 184M| 51 | 6 | 146 | 42 | 146 | 18 | 22 | 215k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1274.65/1275.03 c 1275s| 3610k|247538 | 11147k| 3.1 | 184M| 51 | - | 146 | 33 | 146 | 18 | 22 | 216k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1277.86/1278.25 c 1278s| 3620k|247730 | 11176k| 3.1 | 185M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 216k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1281.16/1281.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1281.16/1281.51 c 1282s| 3630k|247613 | 11205k| 3.1 | 185M| 51 | - | 146 | 35 | 146 | 18 | 22 | 217k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1284.36/1284.77 c 1285s| 3640k|247461 | 11235k| 3.1 | 185M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 217k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1287.66/1288.10 c 1288s| 3650k|249200 | 11266k| 3.1 | 186M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 218k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1290.95/1291.34 c 1291s| 3660k|250246 | 11297k| 3.1 | 186M| 51 | - | 146 | 33 | 146 | 18 | 22 | 218k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1294.25/1294.64 c 1295s| 3670k|251442 | 11329k| 3.1 | 187M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 219k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1297.55/1297.90 c 1298s| 3680k|252071 | 11359k| 3.1 | 188M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 219k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1300.85/1301.20 c 1301s| 3690k|252790 | 11390k| 3.1 | 188M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 219k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1304.04/1304.46 c 1304s| 3700k|253690 | 11420k| 3.1 | 189M| 51 | - | 146 | 34 | 146 | 18 | 22 | 220k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1307.34/1307.72 c 1308s| 3710k|254100 | 11450k| 3.1 | 189M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 220k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1310.54/1310.99 c 1311s| 3720k|254290 | 11480k| 3.1 | 189M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 221k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1313.84/1314.27 c 1314s| 3730k|254682 | 11511k| 3.1 | 190M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 221k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1317.14/1317.53 c 1318s| 3740k|255519 | 11543k| 3.1 | 190M| 51 | - | 146 | 31 | 0 | 0 | 22 | 222k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1320.34/1320.75 c 1321s| 3750k|255834 | 11573k| 3.1 | 191M| 51 | - | 146 | 32 | 146 | 18 | 22 | 222k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1323.63/1324.01 c 1324s| 3760k|256263 | 11604k| 3.1 | 191M| 51 | - | 146 | 30 | 146 | 18 | 22 | 223k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1326.83/1327.27 c 1327s| 3770k|256599 | 11634k| 3.1 | 191M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 223k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1330.14/1330.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1330.14/1330.56 c 1331s| 3780k|257135 | 11664k| 3.1 | 192M| 51 | - | 146 | 32 | 146 | 18 | 22 | 224k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1333.43/1333.89 c 1334s| 3790k|257779 | 11697k| 3.1 | 192M| 51 | - | 146 | 32 | 146 | 18 | 22 | 224k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1336.73/1337.16 c 1337s| 3800k|258662 | 11728k| 3.1 | 193M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 225k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1340.03/1340.42 c 1340s| 3810k|258991 | 11759k| 3.1 | 193M| 51 | - | 146 | 32 | 146 | 18 | 22 | 225k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1343.23/1343.69 c 1344s| 3820k|259083 | 11790k| 3.1 | 194M| 51 | - | 146 | 30 | 146 | 18 | 22 | 226k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1346.53/1346.99 c 1347s| 3830k|258959 | 11820k| 3.1 | 194M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 226k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1349.83/1350.27 c 1350s| 3840k|259405 | 11851k| 3.1 | 194M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 227k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1353.13/1353.57 c 1354s| 3850k|260038 | 11883k| 3.1 | 195M| 51 | - | 146 | 33 | 146 | 18 | 22 | 227k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1356.53/1356.95 c 1357s| 3860k|261635 | 11918k| 3.1 | 195M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 228k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1359.82/1360.28 c 1360s| 3870k|262893 | 11950k| 3.1 | 196M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 228k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1363.12/1363.55 c 1364s| 3880k|263832 | 11982k| 3.1 | 197M| 51 | - | 146 | 31 | 146 | 18 | 22 | 228k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1366.42/1366.84 c 1367s| 3890k|264354 | 12013k| 3.1 | 197M| 51 | - | 146 | 36 | 146 | 18 | 22 | 229k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1369.72/1370.16 c 1370s| 3900k|264930 | 12046k| 3.1 | 198M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 229k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1373.02/1373.45 c 1373s| 3910k|265472 | 12078k| 3.1 | 198M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 230k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1376.32/1376.72 c 1377s| 3920k|265888 | 12109k| 3.1 | 199M| 51 | - | 146 | 31 | 146 | 18 | 22 | 230k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1379.52/1379.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1379.52/1379.98 c 1380s| 3930k|266154 | 12140k| 3.1 | 199M| 51 | - | 146 | 33 | 0 | 0 | 22 | 231k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1382.82/1383.26 c 1383s| 3940k|266512 | 12171k| 3.1 | 199M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 231k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1386.12/1386.55 c 1387s| 3950k|266802 | 12203k| 3.1 | 200M| 51 | - | 146 | 34 | 146 | 18 | 22 | 231k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1389.42/1389.83 c 1390s| 3960k|266749 | 12235k| 3.1 | 200M| 51 | - | 146 | 33 | 146 | 18 | 22 | 232k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1392.72/1393.11 c 1393s| 3970k|266688 | 12266k| 3.1 | 200M| 51 | 6 | 146 | 38 | 146 | 18 | 22 | 232k| 28k| 0.000000e+00 | 7.000000e+00 | Inf
1396.02/1396.41 c 1396s| 3980k|266475 | 12296k| 3.1 | 200M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 233k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1399.31/1399.74 c 1400s| 3990k|266146 | 12327k| 3.1 | 200M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 233k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1402.61/1403.03 c 1403s| 4000k|265931 | 12357k| 3.1 | 200M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 234k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1405.81/1406.28 c 1406s| 4010k|266758 | 12388k| 3.1 | 201M| 51 | - | 146 | 33 | 146 | 18 | 22 | 234k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1409.11/1409.54 c 1410s| 4020k|267024 | 12417k| 3.1 | 201M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 234k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1412.41/1412.83 c 1413s| 4030k|266944 | 12447k| 3.1 | 201M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 235k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1415.71/1416.10 c 1416s| 4040k|266665 | 12476k| 3.1 | 201M| 51 | - | 146 | 29 | 146 | 18 | 22 | 235k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1419.01/1419.40 c 1419s| 4050k|266527 | 12506k| 3.1 | 201M| 51 | - | 146 | 32 | 146 | 18 | 22 | 236k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1422.31/1422.73 c 1423s| 4060k|266246 | 12536k| 3.1 | 201M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 236k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1425.51/1425.99 c 1426s| 4070k|266063 | 12565k| 3.1 | 201M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 237k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1428.81/1429.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1428.81/1429.24 c 1429s| 4080k|266321 | 12595k| 3.1 | 201M| 51 | - | 146 | 31 | 146 | 18 | 22 | 237k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1432.11/1432.55 c 1433s| 4090k|266147 | 12625k| 3.1 | 201M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 238k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1435.41/1435.82 c 1436s| 4100k|266169 | 12655k| 3.1 | 202M| 51 | - | 146 | 31 | 146 | 18 | 22 | 238k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1438.61/1439.07 c 1439s| 4110k|266262 | 12685k| 3.1 | 202M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 239k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1441.91/1442.37 c 1442s| 4120k|266039 | 12715k| 3.1 | 202M| 51 | - | 146 | 29 | 0 | 0 | 22 | 239k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1445.30/1445.75 c 1446s| 4130k|265405 | 12746k| 3.1 | 201M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 240k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1448.60/1449.07 c 1449s| 4140k|264860 | 12775k| 3.1 | 201M| 51 | - | 146 | 29 | 146 | 18 | 22 | 240k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1451.90/1452.38 c 1452s| 4150k|264247 | 12805k| 3.1 | 201M| 51 | - | 146 | 29 | 146 | 18 | 22 | 241k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1455.20/1455.69 c 1456s| 4160k|263687 | 12834k| 3.1 | 201M| 51 | - | 146 | 32 | 146 | 18 | 22 | 241k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1458.50/1459.00 c 1459s| 4170k|263235 | 12864k| 3.1 | 200M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 242k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1461.90/1462.33 c 1462s| 4180k|263076 | 12894k| 3.1 | 200M| 51 | - | 146 | 28 | 146 | 18 | 22 | 242k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1465.10/1465.58 c 1466s| 4190k|263230 | 12924k| 3.1 | 201M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 243k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1468.40/1468.86 c 1469s| 4200k|262902 | 12954k| 3.1 | 201M| 51 | - | 146 | 28 | 0 | 0 | 22 | 243k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1471.70/1472.18 c 1472s| 4210k|262033 | 12983k| 3.1 | 200M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 244k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1475.10/1475.51 c 1476s| 4220k|260887 | 13013k| 3.1 | 199M| 51 | - | 146 | 28 | 146 | 18 | 22 | 244k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1478.40/1478.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1478.40/1478.86 c 1479s| 4230k|259671 | 13042k| 3.1 | 198M| 51 | - | 146 | 31 | 146 | 18 | 22 | 245k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1481.69/1482.16 c 1482s| 4240k|259341 | 13073k| 3.1 | 198M| 51 | - | 146 | 29 | 146 | 18 | 22 | 245k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1484.99/1485.47 c 1485s| 4250k|258833 | 13104k| 3.1 | 198M| 51 | - | 146 | 29 | 146 | 18 | 22 | 246k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1488.29/1488.73 c 1489s| 4260k|258719 | 13134k| 3.1 | 198M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 246k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1491.49/1491.98 c 1492s| 4270k|259048 | 13163k| 3.1 | 198M| 51 | 6 | 146 | 28 | 146 | 18 | 22 | 247k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1494.79/1495.23 c 1495s| 4280k|258713 | 13192k| 3.1 | 198M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 247k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1498.09/1498.54 c 1499s| 4290k|258431 | 13223k| 3.1 | 198M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 248k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1501.29/1501.79 c 1502s| 4300k|258241 | 13253k| 3.1 | 198M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 248k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1504.59/1505.06 c 1505s| 4310k|258300 | 13283k| 3.1 | 198M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 249k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1507.88/1508.30 c 1508s| 4320k|258160 | 13314k| 3.1 | 198M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 249k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1511.08/1511.53 c 1512s| 4330k|257976 | 13343k| 3.1 | 198M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 250k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1514.39/1514.80 c 1515s| 4340k|257805 | 13374k| 3.1 | 198M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 250k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1517.59/1518.05 c 1518s| 4350k|257963 | 13403k| 3.1 | 198M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 251k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1520.89/1521.34 c 1521s| 4360k|257797 | 13433k| 3.1 | 198M| 51 | - | 146 | 34 | 146 | 18 | 22 | 251k| 29k| 0.000000e+00 | 7.000000e+00 | Inf
1524.19/1524.61 c 1525s| 4370k|258515 | 13463k| 3.1 | 199M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 252k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1527.39/1527.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1527.39/1527.84 c 1528s| 4380k|258755 | 13492k| 3.1 | 199M| 51 | 6 | 146 | 38 | 146 | 18 | 22 | 252k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1530.58/1531.07 c 1531s| 4390k|258173 | 13521k| 3.1 | 199M| 51 | - | 146 | 33 | 0 | 0 | 22 | 253k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1533.98/1534.41 c 1534s| 4400k|257878 | 13553k| 3.1 | 199M| 51 | - | 146 | 30 | 146 | 18 | 22 | 253k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1537.18/1537.67 c 1538s| 4410k|257485 | 13583k| 3.1 | 199M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 254k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1540.48/1540.95 c 1541s| 4420k|257112 | 13613k| 3.1 | 198M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 254k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1543.68/1544.15 c 1544s| 4430k|256835 | 13642k| 3.1 | 198M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 255k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1546.97/1547.42 c 1547s| 4440k|256671 | 13672k| 3.1 | 198M| 51 | - | 146 | 29 | 146 | 18 | 22 | 255k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1550.27/1550.72 c 1551s| 4450k|257585 | 13703k| 3.1 | 199M| 51 | - | 146 | 29 | 146 | 18 | 22 | 256k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1553.47/1553.98 c 1554s| 4460k|257619 | 13733k| 3.1 | 199M| 51 | 6 | 146 | 28 | 146 | 18 | 22 | 257k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1556.77/1557.22 c 1557s| 4470k|257481 | 13762k| 3.1 | 199M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 257k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1559.97/1560.45 c 1560s| 4480k|257098 | 13791k| 3.1 | 199M| 51 | 6 | 146 | 38 | 146 | 18 | 22 | 258k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1563.27/1563.70 c 1564s| 4490k|256846 | 13821k| 3.1 | 199M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 258k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1566.47/1566.90 c 1567s| 4500k|257209 | 13850k| 3.1 | 199M| 51 | - | 146 | 29 | 0 | 0 | 22 | 259k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1569.68/1570.10 c 1570s| 4510k|256988 | 13878k| 3.1 | 199M| 51 | 6 | 146 | 28 | 146 | 18 | 22 | 260k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1572.87/1573.32 c 1573s| 4520k|257002 | 13907k| 3.1 | 199M| 51 | - | 146 | 31 | 0 | 0 | 22 | 260k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1576.17/1576.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1576.17/1576.61 c 1577s| 4530k|258007 | 13938k| 3.1 | 200M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 261k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1579.37/1579.86 c 1580s| 4540k|259464 | 13969k| 3.1 | 201M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 261k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1582.67/1583.13 c 1583s| 4550k|260567 | 14000k| 3.1 | 201M| 51 | 6 | 146 | 28 | 146 | 18 | 22 | 262k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1585.86/1586.40 c 1586s| 4560k|262002 | 14030k| 3.1 | 202M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 262k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1589.16/1589.64 c 1590s| 4570k|262986 | 14061k| 3.1 | 203M| 51 | - | 146 | 31 | 146 | 18 | 22 | 263k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1592.37/1592.88 c 1593s| 4580k|263664 | 14091k| 3.1 | 204M| 51 | 6 | 146 | 28 | 146 | 18 | 22 | 263k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1595.57/1596.07 c 1596s| 4590k|264475 | 14121k| 3.1 | 204M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 263k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1598.76/1599.27 c 1599s| 4600k|265055 | 14150k| 3.1 | 205M| 51 | - | 146 | 29 | 146 | 18 | 22 | 264k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1602.06/1602.51 c 1603s| 4610k|265458 | 14180k| 3.1 | 205M| 51 | - | 146 | 28 | 0 | 0 | 22 | 264k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1605.26/1605.75 c 1606s| 4620k|266025 | 14209k| 3.1 | 205M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 265k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1608.56/1609.06 c 1609s| 4630k|266915 | 14242k| 3.1 | 206M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 265k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1611.76/1612.26 c 1612s| 4640k|267362 | 14273k| 3.1 | 206M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 266k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1614.95/1615.49 c 1615s| 4650k|267826 | 14303k| 3.1 | 207M| 51 | - | 146 | 31 | 146 | 18 | 22 | 266k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1618.25/1618.70 c 1619s| 4660k|268138 | 14333k| 3.1 | 207M| 51 | - | 146 | 30 | 146 | 18 | 22 | 266k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1621.45/1621.92 c 1622s| 4670k|268284 | 14362k| 3.1 | 208M| 51 | - | 146 | 29 | 0 | 0 | 22 | 267k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1624.66/1625.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1624.66/1625.16 c 1625s| 4680k|268828 | 14391k| 3.1 | 208M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 267k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1627.85/1628.37 c 1628s| 4690k|268960 | 14420k| 3.1 | 208M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 268k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1631.15/1631.66 c 1632s| 4700k|270027 | 14453k| 3.1 | 209M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 268k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1634.45/1634.91 c 1635s| 4710k|270478 | 14485k| 3.1 | 209M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 268k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1637.66/1638.13 c 1638s| 4720k|270888 | 14515k| 3.1 | 210M| 51 | - | 146 | 28 | 146 | 18 | 22 | 269k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1640.85/1641.35 c 1641s| 4730k|271065 | 14545k| 3.1 | 210M| 51 | - | 146 | 31 | 146 | 18 | 22 | 269k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1644.05/1644.59 c 1645s| 4740k|271131 | 14575k| 3.1 | 210M| 51 | - | 146 | 30 | 146 | 18 | 22 | 270k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1647.35/1647.89 c 1648s| 4750k|271251 | 14606k| 3.1 | 210M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 270k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1650.55/1651.09 c 1651s| 4760k|271342 | 14635k| 3.1 | 211M| 51 | 6 | 146 | 35 | 146 | 18 | 22 | 270k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1653.85/1654.34 c 1654s| 4770k|272121 | 14666k| 3.1 | 211M| 51 | - | 146 | 30 | 0 | 0 | 22 | 271k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1657.04/1657.59 c 1658s| 4780k|272429 | 14696k| 3.1 | 211M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 271k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1660.35/1660.84 c 1661s| 4790k|272136 | 14725k| 3.1 | 211M| 51 | 6 | 146 | 33 | 146 | 18 | 22 | 272k| 30k| 0.000000e+00 | 7.000000e+00 | Inf
1663.55/1664.09 c 1664s| 4800k|272199 | 14754k| 3.1 | 212M| 51 | - | 146 | 30 | 146 | 18 | 22 | 272k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1666.84/1667.34 c 1667s| 4810k|272352 | 14783k| 3.1 | 212M| 51 | - | 146 | 28 | 146 | 18 | 22 | 272k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1670.05/1670.53 c 1671s| 4820k|272562 | 14812k| 3.1 | 212M| 51 | - | 146 | 34 | 0 | 0 | 22 | 273k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1673.34/1673.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1673.34/1673.81 c 1674s| 4830k|272245 | 14841k| 3.1 | 212M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 273k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1676.54/1677.04 c 1677s| 4840k|272046 | 14870k| 3.1 | 212M| 51 | - | 146 | 28 | 146 | 18 | 22 | 274k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1679.74/1680.27 c 1680s| 4850k|271676 | 14899k| 3.1 | 212M| 51 | - | 146 | 30 | 146 | 18 | 22 | 274k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1683.04/1683.50 c 1683s| 4860k|271415 | 14928k| 3.1 | 212M| 51 | - | 146 | 28 | 146 | 18 | 22 | 275k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1686.24/1686.77 c 1687s| 4870k|271208 | 14957k| 3.1 | 212M| 51 | - | 146 | 30 | 146 | 18 | 22 | 275k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1689.54/1690.03 c 1690s| 4880k|271030 | 14986k| 3.1 | 212M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 276k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1692.74/1693.28 c 1693s| 4890k|270767 | 15015k| 3.1 | 212M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 276k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1696.03/1696.53 c 1697s| 4900k|270094 | 15045k| 3.1 | 212M| 51 | 6 | 146 | 28 | 146 | 18 | 22 | 277k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1699.23/1699.76 c 1700s| 4910k|269206 | 15073k| 3.1 | 211M| 51 | 6 | 146 | 28 | 146 | 18 | 22 | 277k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1702.44/1702.97 c 1703s| 4920k|269142 | 15102k| 3.1 | 211M| 51 | 6 | 146 | 28 | 146 | 18 | 22 | 278k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1705.73/1706.23 c 1706s| 4930k|268034 | 15130k| 3.1 | 211M| 51 | - | 146 | 28 | 146 | 18 | 22 | 278k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1708.94/1709.46 c 1709s| 4940k|267505 | 15159k| 3.1 | 210M| 51 | - | 146 | 28 | 146 | 18 | 22 | 278k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1712.24/1712.77 c 1713s| 4950k|266084 | 15188k| 3.1 | 209M| 51 | - | 146 | 29 | 146 | 18 | 22 | 279k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1715.63/1716.13 c 1716s| 4960k|264531 | 15218k| 3.1 | 208M| 51 | - | 146 | 29 | 146 | 18 | 22 | 279k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1719.03/1719.50 c 1719s| 4970k|262411 | 15246k| 3.1 | 207M| 51 | - | 146 | 29 | 146 | 18 | 22 | 280k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1722.23/1722.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1722.23/1722.77 c 1723s| 4980k|261795 | 15276k| 3.1 | 206M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 280k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1725.53/1726.08 c 1726s| 4990k|261694 | 15305k| 3.1 | 206M| 51 | 6 | 146 | 29 | 146 | 18 | 22 | 281k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1728.93/1729.42 c 1729s| 5000k|262251 | 15338k| 3.1 | 206M| 51 | 6 | 146 | 42 | 146 | 18 | 22 | 282k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1732.23/1732.76 c 1733s| 5010k|263870 | 15370k| 3.1 | 207M| 51 | - | 146 | 33 | 146 | 18 | 22 | 282k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1735.52/1736.05 c 1736s| 5020k|265222 | 15401k| 3.1 | 208M| 51 | 6 | 146 | 30 | 146 | 18 | 22 | 283k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1738.82/1739.32 c 1739s| 5030k|266010 | 15432k| 3.1 | 209M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 283k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1742.02/1742.58 c 1743s| 5040k|266950 | 15463k| 3.1 | 210M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 284k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1745.32/1745.88 c 1746s| 5050k|267636 | 15494k| 3.1 | 210M| 51 | - | 146 | 34 | 0 | 0 | 22 | 284k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1748.62/1749.15 c 1749s| 5060k|268381 | 15525k| 3.1 | 211M| 51 | - | 146 | 32 | 146 | 18 | 22 | 284k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1751.92/1752.47 c 1752s| 5070k|269174 | 15556k| 3.1 | 211M| 51 | - | 146 | 30 | 146 | 18 | 22 | 285k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1755.22/1755.73 c 1756s| 5080k|269400 | 15586k| 3.1 | 212M| 51 | - | 146 | 30 | 0 | 0 | 22 | 285k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1758.52/1759.03 c 1759s| 5090k|269948 | 15618k| 3.1 | 212M| 51 | - | 146 | 34 | 146 | 18 | 22 | 286k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1761.82/1762.33 c 1762s| 5100k|270178 | 15648k| 3.1 | 212M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 286k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1765.12/1765.61 c 1766s| 5110k|271082 | 15679k| 3.1 | 213M| 51 | - | 146 | 32 | 146 | 18 | 22 | 287k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1768.32/1768.86 c 1769s| 5120k|271551 | 15708k| 3.1 | 213M| 51 | - | 146 | 30 | 146 | 18 | 22 | 287k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1771.63/1772.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1771.63/1772.15 c 1772s| 5130k|271672 | 15738k| 3.1 | 214M| 51 | 6 | 146 | 37 | 146 | 18 | 22 | 288k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1774.92/1775.41 c 1775s| 5140k|271910 | 15768k| 3.1 | 214M| 51 | - | 146 | 33 | 146 | 18 | 22 | 288k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1778.12/1778.69 c 1779s| 5150k|272343 | 15799k| 3.1 | 214M| 51 | 6 | 146 | 31 | 146 | 18 | 22 | 289k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1781.52/1782.09 c 1782s| 5160k|273901 | 15831k| 3.1 | 215M| 51 | - | 146 | 33 | 146 | 18 | 22 | 289k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1784.82/1785.38 c 1785s| 5170k|274738 | 15863k| 3.1 | 216M| 51 | 6 | 146 | 32 | 146 | 18 | 22 | 289k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1788.12/1788.61 c 1789s| 5180k|275478 | 15894k| 3.1 | 216M| 51 | 6 | 146 | 34 | 146 | 18 | 22 | 290k| 31k| 0.000000e+00 | 7.000000e+00 | Inf
1789.51/1790.01 c
1789.51/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.51/1790.01 c Solving Time (sec) : 1790.00
1789.51/1790.01 c Solving Nodes : 5184273
1789.51/1790.01 c Primal Bound : +7.00000000000000e+00 (40 solutions)
1789.51/1790.01 c Dual Bound : +0.00000000000000e+00
1789.51/1790.01 c Gap : infinite
1789.51/1790.01 s SATISFIABLE
1789.51/1790.01 v -x117 x146 -x145 -x144 -x143 x142 x141 x140 x139 -x138 x137 x136 -x135 -x134 -x133 x132 x131 x130 x129 -x128 x127 x126 x125 x124
1789.51/1790.01 v x123 -x122 -x121 x120 -x119 -x118 -x116 -x115 x114 -x113 x112 x111 -x110 x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101
1789.51/1790.01 v -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76
1789.51/1790.01 v -x75 x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50
1789.51/1790.01 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25
1789.51/1790.01 v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1789.51/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.51/1790.01 c Solving Time : 1790.00
1789.51/1790.01 c Original Problem :
1789.51/1790.01 c Problem name : HOME/instance-2703920-1278562050.opb
1789.51/1790.01 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.51/1790.01 c Constraints : 12 initial, 12 maximal
1789.51/1790.01 c Presolved Problem :
1789.51/1790.01 c Problem name : t_HOME/instance-2703920-1278562050.opb
1789.51/1790.01 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.51/1790.01 c Constraints : 6 initial, 191 maximal
1789.51/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.51/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.51/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.51/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.51/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.51/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.51/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1789.51/1790.01 c linear : 0.00 0 0 0 0 0 6 0 0
1789.51/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.51/1790.01 c root node : - 60 - - 60 - - - -
1789.51/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.51/1790.01 c integral : 0 0 0 2783682 0 502 15156 0 0 5536240
1789.51/1790.01 c linear : 6+ 7 6972459 1 0 924828 5824139 0 0 0
1789.51/1790.01 c logicor : 0+ 0 1307329 0 0 4008 92526 0 0 0
1789.51/1790.01 c countsols : 0 0 0 20 1 0 0 0 0 0
1789.51/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.51/1790.01 c integral : 32.55 0.00 0.00 32.55 0.00
1789.51/1790.01 c linear : 411.23 0.00 411.23 0.00 0.00
1789.51/1790.01 c logicor : 3.00 0.00 3.00 0.00 0.00
1789.51/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.51/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.51/1790.01 c vbounds : 2.51 2 0 0
1789.51/1790.01 c rootredcost : 2.58 35 0 60
1789.51/1790.01 c pseudoobj : 49.00 6982473 10196 697777
1789.51/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.51/1790.01 c propagation : 49.65 938827 275018 316290 47.7 21 32.4 -
1789.51/1790.01 c infeasible LP : 1.23 15300 15288 24831 34.3 0 0.0 0
1789.51/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.51/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.51/1790.01 c pseudo solution : 0.00 10 10 10 2.0 0 0.0 -
1789.51/1790.01 c applied globally : - - - 9057 23.3 - - -
1789.51/1790.01 c applied locally : - - - 281459 47.4 - - -
1789.51/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.51/1790.01 c cut pool : 0.00 5 - - 19 - (maximal pool size: 62)
1789.51/1790.01 c redcost : 86.29 3610111 0 17844301 0 0
1789.51/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.51/1790.01 c intobj : 0.00 0 0 0 0 0
1789.51/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.51/1790.01 c gomory : 0.01 6 0 0 0 0
1789.51/1790.01 c strongcg : 0.01 6 0 0 13 0
1789.51/1790.01 c cmir : 0.02 6 0 0 27 0
1789.51/1790.01 c flowcover : 0.03 6 0 0 35 0
1789.51/1790.01 c clique : 0.00 1 0 0 0 0
1789.51/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.51/1790.01 c mcf : 0.00 1 0 0 0 0
1789.51/1790.01 c rapidlearning : 0.11 1 0 0 0 108
1789.51/1790.01 c Pricers : Time Calls Vars
1789.51/1790.01 c problem variables: 0.00 0 0
1789.51/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.51/1790.01 c relpscost : 29.96 2783662 502 15156 0 0 5536240
1789.51/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.51/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.51/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.51/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.51/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.51/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.51/1790.01 c random : 0.00 0 0 0 0 0 0
1789.51/1790.01 c Primal Heuristics : Time Calls Found
1789.51/1790.01 c LP solutions : 0.08 - 20
1789.51/1790.01 c pseudo solutions : 0.00 - 0
1789.51/1790.01 c oneopt : 1.97 33 0
1789.51/1790.01 c crossover : 11.97 14 2
1789.51/1790.01 c fracdiving : 6.37 3602 2
1789.51/1790.01 c guideddiving : 5.20 3602 1
1789.51/1790.01 c veclendiving : 4.99 3602 1
1789.51/1790.01 c linesearchdiving : 5.38 3602 2
1789.51/1790.01 c coefdiving : 10.26 3603 3
1789.51/1790.01 c pscostdiving : 6.50 3603 3
1789.51/1790.01 c objpscostdiving : 3.16 1802 0
1789.51/1790.01 c trivial : 0.00 2 0
1789.51/1790.01 c simplerounding : 1.40 0 0
1789.51/1790.01 c zirounding : 1.74 1000 0
1789.51/1790.01 c rounding : 2.96 25513 0
1789.51/1790.01 c shifting : 5.52 7176 0
1789.51/1790.01 c intshifting : 0.14 0 0
1789.51/1790.01 c twoopt : 0.00 0 0
1789.51/1790.01 c fixandinfer : 0.00 0 0
1789.51/1790.01 c feaspump : 0.35 2 0
1789.51/1790.01 c intdiving : 0.00 0 0
1789.51/1790.01 c actconsdiving : 0.00 0 0
1789.51/1790.01 c rootsoldiving : 5.63 1426 5
1789.51/1790.01 c octane : 0.00 0 0
1789.51/1790.01 c rens : 0.04 1 0
1789.51/1790.01 c rins : 0.00 0 0
1789.51/1790.01 c localbranching : 0.00 0 0
1789.51/1790.01 c mutation : 0.00 0 0
1789.51/1790.01 c dins : 0.00 0 0
1789.51/1790.01 c undercover : 0.00 0 0
1789.51/1790.01 c nlp : 1.54 0 0
1789.51/1790.01 c trysol : 2.44 0 0
1789.51/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.51/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.51/1790.01 c dual LP : 674.48 4794127 15383118 3.21 22807.51
1789.51/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.51/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.51/1790.01 c diving/probing LP: 22.82 192746 524497 2.72 22981.73
1789.51/1790.01 c strong branching : 6.74 31859 102234 3.21 15179.19
1789.51/1790.01 c (at root node) : - 9 581 64.56 -
1789.51/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.51/1790.01 c B&B Tree :
1789.51/1790.01 c number of runs : 1
1789.51/1790.01 c nodes : 5184273
1789.51/1790.01 c nodes (total) : 5184273
1789.51/1790.01 c nodes left : 275663
1789.51/1790.01 c max depth : 51
1789.51/1790.01 c max depth (total): 51
1789.51/1790.01 c backtracks : 1268350 (24.5%)
1789.51/1790.01 c delayed cutoffs : 58003
1789.51/1790.01 c repropagations : 98148 (368203 domain reductions, 57656 cutoffs)
1789.51/1790.01 c avg switch length: 5.23
1789.51/1790.01 c switching time : 161.42
1789.51/1790.01 c Solution :
1789.51/1790.01 c Solutions found : 40 (35 improvements)
1789.51/1790.01 c First Solution : +7.57000000000000e+02 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>)
1789.51/1790.01 c Primal Bound : +7.00000000000000e+00 (in run 1, after 2787976 nodes, 1003.16 seconds, depth 35, found by <relaxation>)
1789.51/1790.01 c Dual Bound : +0.00000000000000e+00
1789.51/1790.01 c Gap : infinite
1789.51/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.51/1790.01 c Root Iterations : 118
1790.81/1791.31 c Time complete: 1790.82.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703920-1278562050/watcher-2703920-1278562050 -o /tmp/evaluation-result-2703920-1278562050/solver-2703920-1278562050 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703920-1278562050.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.85 0.97 0.99 3/105 27630
/proc/meminfo: memFree=1671232/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=7904 CPUtime=0
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 1176 0 0 0 0 0 0 0 24 0 1 0 24413430 8093696 1088 1992294400 4194304 8395647 140736254665872 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27630/statm: 1976 1096 365 1026 0 946 0
[startup+0.019468 s]
/proc/loadavg: 0.85 0.97 0.99 3/105 27630
/proc/meminfo: memFree=1671232/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=13808 CPUtime=0
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 2807 0 0 0 0 0 0 0 24 0 1 0 24413430 14139392 2365 1992294400 4194304 8395647 140736254665872 18446744073709551615 7382137 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 3452 2375 457 1026 0 2422 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13808
[startup+0.101475 s]
/proc/loadavg: 0.85 0.97 0.99 3/105 27630
/proc/meminfo: memFree=1671232/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=22816 CPUtime=0.1
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 4936 0 0 0 8 2 0 0 25 0 1 0 24413430 23363584 4494 1992294400 4194304 8395647 140736254665872 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 5704 4494 597 1026 0 4674 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 22816
[startup+0.300499 s]
/proc/loadavg: 0.85 0.97 0.99 3/105 27630
/proc/meminfo: memFree=1671232/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=24292 CPUtime=0.29
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 5651 0 0 0 26 3 0 0 25 0 1 0 24413430 24875008 5209 1992294400 4194304 8395647 140736254665872 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 6073 5209 621 1026 0 5043 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24292
[startup+0.700544 s]
/proc/loadavg: 0.85 0.97 0.99 3/105 27630
/proc/meminfo: memFree=1671232/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=24292 CPUtime=0.69
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 5652 0 0 0 64 5 0 0 25 0 1 0 24413430 24875008 5210 1992294400 4194304 8395647 140736254665872 18446744073709551615 5541489 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 6073 5210 621 1026 0 5043 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24292
[startup+1.50064 s]
/proc/loadavg: 0.85 0.97 0.99 2/106 27631
/proc/meminfo: memFree=1652748/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=24292 CPUtime=1.49
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 5658 0 0 0 138 11 0 0 25 0 1 0 24413430 24875008 5216 1992294400 4194304 8395647 140736254665872 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 6073 5216 624 1026 0 5043 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24292
[startup+3.10082 s]
/proc/loadavg: 0.85 0.97 0.99 2/106 27631
/proc/meminfo: memFree=1652500/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=25316 CPUtime=3.09
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 5947 0 0 0 292 17 0 0 25 0 1 0 24413430 25923584 5505 1992294400 4194304 8395647 140736254665872 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 6329 5505 624 1026 0 5299 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25316
[startup+6.30018 s]
/proc/loadavg: 0.86 0.97 0.99 2/106 27631
/proc/meminfo: memFree=1651012/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=25316 CPUtime=6.28
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 5960 0 0 0 599 29 0 0 25 0 1 0 24413430 25923584 5518 1992294400 4194304 8395647 140736254665872 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 6329 5518 624 1026 0 5299 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 25316
[startup+12.7009 s]
/proc/loadavg: 0.87 0.97 0.99 2/106 27631
/proc/meminfo: memFree=1652252/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=24100 CPUtime=12.69
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 11493 0 0 0 1214 55 0 0 25 0 1 0 24413430 24678400 5226 1992294400 4194304 8395647 140736254665872 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 6025 5226 624 1026 0 4995 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24100
[startup+25.5014 s]
/proc/loadavg: 0.90 0.97 0.99 2/106 27633
/proc/meminfo: memFree=1644316/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=31980 CPUtime=25.49
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 25875 0 0 0 2427 122 0 0 25 0 1 0 24413430 32747520 7242 1992294400 4194304 8395647 140736254665872 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 7995 7242 626 1026 0 6965 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31980
[startup+51.1013 s]
/proc/loadavg: 0.93 0.97 0.99 2/106 27633
/proc/meminfo: memFree=1631916/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=44332 CPUtime=51.08
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 47440 0 0 0 4863 245 0 0 25 0 1 0 24413430 45395968 10415 1992294400 4194304 8395647 140736254665872 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 11083 10415 626 1026 0 10053 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 44332
[startup+102.308 s]
/proc/loadavg: 0.97 0.97 0.99 2/106 27635
/proc/meminfo: memFree=1616292/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=59948 CPUtime=102.27
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 63909 0 0 0 9787 440 0 0 25 0 1 0 24413430 61386752 14036 1992294400 4194304 8395647 140736254665872 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 14987 14036 626 1026 0 13957 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 59948
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 27635
/proc/meminfo: memFree=1605628/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=71252 CPUtime=162.25
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 77121 0 0 0 15531 694 0 0 25 0 1 0 24413430 72962048 16860 1992294400 4194304 8395647 140736254665872 18446744073709551615 5026406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 17813 16860 626 1026 0 16783 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 71252
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 27637
/proc/meminfo: memFree=1607860/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=68212 CPUtime=222.23
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 78737 0 0 0 21298 925 0 0 25 0 1 0 24413430 69849088 16130 1992294400 4194304 8395647 140736254665872 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 17053 16130 626 1026 0 16023 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 68212
[startup+282.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 27639
/proc/meminfo: memFree=1606248/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=70448 CPUtime=282.21
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 80159 0 0 0 27061 1160 0 0 25 0 1 0 24413430 72138752 16691 1992294400 4194304 8395647 140736254665872 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 17612 16691 626 1026 0 16582 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 70448
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 27641
/proc/meminfo: memFree=1592360/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=84320 CPUtime=342.2
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 83662 0 0 0 32815 1405 0 0 25 0 1 0 24413430 86343680 20194 1992294400 4194304 8395647 140736254665872 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 21080 20194 626 1026 0 20050 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 84320
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 27643
/proc/meminfo: memFree=1573884/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=101984 CPUtime=402.18
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 88192 0 0 0 38564 1654 0 0 25 0 1 0 24413430 104431616 24724 1992294400 4194304 8395647 140736254665872 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 25496 24724 626 1026 0 24466 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 101984
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 27643
/proc/meminfo: memFree=1560120/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=115972 CPUtime=462.17
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 92575 0 0 0 44330 1887 0 0 25 0 1 0 24413430 118755328 28253 1992294400 4194304 8395647 140736254665872 18446744073709551615 4231777 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 28993 28253 626 1026 0 27963 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 115972
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 27645
/proc/meminfo: memFree=1547224/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=128200 CPUtime=522.15
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 95677 0 0 0 50094 2121 0 0 25 0 1 0 24413430 131276800 31355 1992294400 4194304 8395647 140736254665872 18446744073709551615 4614352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 32050 31355 626 1026 0 31020 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 128200
[startup+582.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 27647
/proc/meminfo: memFree=1536312/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=139184 CPUtime=582.14
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 98465 0 0 0 55859 2355 0 0 25 0 1 0 24413430 142524416 34143 1992294400 4194304 8395647 140736254665872 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 34796 34143 626 1026 0 33766 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 139184
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 27649
/proc/meminfo: memFree=1525152/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=149700 CPUtime=642.13
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 101123 0 0 0 61612 2601 0 0 25 0 1 0 24413430 153292800 36801 1992294400 4194304 8395647 140736254665872 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 37425 36801 626 1026 0 36395 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 149700
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1474188/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=203296 CPUtime=1002.03
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 114738 0 0 0 96195 4008 0 0 25 0 1 0 24413430 208175104 49363 1992294400 4194304 8395647 140736254665872 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 50824 49363 626 1026 0 49794 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 203296
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 27662
/proc/meminfo: memFree=1469228/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=207560 CPUtime=1062.01
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 124452 0 0 0 101916 4285 0 0 25 0 1 0 24413430 212541440 50435 1992294400 4194304 8395647 140736254665872 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 51890 50435 626 1026 0 50860 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 207560
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 27664
/proc/meminfo: memFree=1467244/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=209892 CPUtime=1121.99
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 125050 0 0 0 107666 4533 0 0 25 0 1 0 24413430 214929408 51033 1992294400 4194304 8395647 140736254665872 18446744073709551615 6119573 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 52473 51033 626 1026 0 51443 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 209892
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 27666
/proc/meminfo: memFree=1462532/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=214500 CPUtime=1181.98
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 126214 0 0 0 113415 4783 0 0 25 0 1 0 24413430 219648000 52197 1992294400 4194304 8395647 140736254665872 18446744073709551615 4693225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 53625 52197 626 1026 0 52595 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 214500
[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 27668
/proc/meminfo: memFree=1460920/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=215892 CPUtime=1241.95
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 126561 0 0 0 119169 5026 0 0 25 0 1 0 24413430 221073408 52544 1992294400 4194304 8395647 140736254665872 18446744073709551615 5026706 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 53973 52544 626 1026 0 52943 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 215892
[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 27670
/proc/meminfo: memFree=1456332/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=220120 CPUtime=1301.95
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 127652 0 0 0 124928 5267 0 0 25 0 1 0 24413430 225402880 53635 1992294400 4194304 8395647 140736254665872 18446744073709551615 6119423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 55030 53635 626 1026 0 54000 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 220120
[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 27670
/proc/meminfo: memFree=1448396/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=227888 CPUtime=1361.92
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 129619 0 0 0 130677 5515 0 0 25 0 1 0 24413430 233357312 55602 1992294400 4194304 8395647 140736254665872 18446744073709551615 6262410 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 56972 55602 626 1026 0 55942 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 227888
[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 27672
/proc/meminfo: memFree=1444180/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=231932 CPUtime=1421.92
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 130641 0 0 0 136432 5760 0 0 25 0 1 0 24413430 237498368 56624 1992294400 4194304 8395647 140736254665872 18446744073709551615 6262410 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 57983 56624 626 1026 0 56953 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 231932
[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 27674
/proc/meminfo: memFree=1442816/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=233212 CPUtime=1481.9
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 130962 0 0 0 142192 5998 0 0 25 0 1 0 24413430 238809088 56945 1992294400 4194304 8395647 140736254665872 18446744073709551615 5026843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 58303 56945 626 1026 0 57273 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 233212
[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 27676
/proc/meminfo: memFree=1442816/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=233212 CPUtime=1541.88
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 130962 0 0 0 147945 6243 0 0 25 0 1 0 24413430 238809088 56945 1992294400 4194304 8395647 140736254665872 18446744073709551615 4632224 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 58303 56945 626 1026 0 57273 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 233212
[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 27678
/proc/meminfo: memFree=1439096/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=236716 CPUtime=1601.86
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 131840 0 0 0 153702 6484 0 0 25 0 1 0 24413430 242397184 57823 1992294400 4194304 8395647 140736254665872 18446744073709551615 4243721 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 59179 57823 626 1026 0 58149 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 236716
[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 27678
/proc/meminfo: memFree=1433144/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=242596 CPUtime=1661.85
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 133332 0 0 0 159447 6738 0 0 25 0 1 0 24413430 248418304 59315 1992294400 4194304 8395647 140736254665872 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 60649 59315 626 1026 0 59619 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 242596
[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 27680
/proc/meminfo: memFree=1432400/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=242980 CPUtime=1721.83
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 133460 0 0 0 165207 6976 0 0 25 0 1 0 24413430 248811520 59443 1992294400 4194304 8395647 140736254665872 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 60745 59443 626 1026 0 59715 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 242980
[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 27682
/proc/meminfo: memFree=1429796/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=245540 CPUtime=1781.81
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 134073 0 0 0 170946 7235 0 0 25 0 1 0 24413430 251432960 60056 1992294400 4194304 8395647 140736254665872 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 61385 60056 626 1026 0 60355 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 245540
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 27682
/proc/meminfo: memFree=1429176/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=245924 CPUtime=1785.01
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 134204 0 0 0 171253 7248 0 0 25 0 1 0 24413430 251826176 60187 1992294400 4194304 8395647 140736254665872 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 61481 60187 626 1026 0 60451 0
Current children cumulated CPU time (s) 1785.01
Current children cumulated vsize (KiB) 245924
[startup+1788.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 27682
/proc/meminfo: memFree=1428680/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=246564 CPUtime=1788.21
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 134336 0 0 0 171560 7261 0 0 25 0 1 0 24413430 252481536 60319 1992294400 4194304 8395647 140736254665872 18446744073709551615 5614700 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27630/statm: 61641 60319 626 1026 0 60611 0
Current children cumulated CPU time (s) 1788.21
Current children cumulated vsize (KiB) 246564
[startup+1790.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 27682
/proc/meminfo: memFree=1428680/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=246564 CPUtime=1789.81
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 134354 0 0 0 171716 7265 0 0 25 0 1 0 24413430 252481536 60337 1992294400 4194304 8395647 140736254665872 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27630/statm: 61641 60337 628 1026 0 60611 0
Current children cumulated CPU time (s) 1789.81
Current children cumulated vsize (KiB) 246564
[startup+1791.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 27682
/proc/meminfo: memFree=1428680/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=246564 CPUtime=1790.61
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 134354 0 0 0 171796 7265 0 0 25 0 1 0 24413430 252481536 60337 1992294400 4194304 8395647 140736254665872 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27630/statm: 61641 60337 628 1026 0 60611 0
Current children cumulated CPU time (s) 1790.61
Current children cumulated vsize (KiB) 246564
[startup+1791.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 27682
/proc/meminfo: memFree=1428680/2059040 swapFree=4139760/4192956
[pid=27630] ppid=27628 vsize=218716 CPUtime=1790.81
/proc/27630/stat : 27630 (pbscip.linux.x8) R 27628 27630 27605 0 -1 4202496 134354 0 0 0 171815 7266 0 0 25 0 1 0 24413430 223965184 37392 1992294400 4194304 8395647 140736254665872 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27630/statm: 54679 37392 628 1026 0 53649 0
Current children cumulated CPU time (s) 1790.81
Current children cumulated vsize (KiB) 218716
Child status: 0
Real time (s): 1791.32
CPU time (s): 1790.84
CPU user time (s): 1718.15
CPU system time (s): 72.681
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 246564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1718.15
system time used= 72.6809
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134357
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= 1
involuntary context switches= 5603
runsolver used 3.17752 second user time and 8.25874 second system time
The end