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-2703923-1278562838.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.03 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 | 34 | - | 488k| 0 | 6 | 146 | 6 | 146 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 o 1009
0.09/0.12 c y 0.1s| 1 | 0 | 75 | - | 533k| 0 | 6 | 146 | 6 | 146 | 6 | 0 | 0 | 0 | 0.000000e+00 | 1.009000e+03 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 80 | - | 635k| 0 | 10 | 146 | 71 | 146 | 13 | 7 | 0 | 0 | 0.000000e+00 | 1.009000e+03 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 86 | - | 677k| 0 | 12 | 146 | 71 | 146 | 17 | 11 | 0 | 0 | 0.000000e+00 | 1.009000e+03 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 93 | - | 701k| 0 | 12 | 146 | 71 | 146 | 21 | 15 | 0 | 0 | 0.000000e+00 | 1.009000e+03 | Inf
0.09/0.16 c 0.2s| 1 | 0 | 101 | - | 734k| 0 | 17 | 146 | 71 | 146 | 27 | 21 | 0 | 0 | 0.000000e+00 | 1.009000e+03 | Inf
0.09/0.18 c 0.2s| 1 | 0 | 106 | - | 739k| 0 | 20 | 146 | 71 | 146 | 29 | 23 | 0 | 0 | 0.000000e+00 | 1.009000e+03 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 109 | - | 743k| 0 | 20 | 146 | 71 | 146 | 30 | 24 | 0 | 0 | 0.000000e+00 | 1.009000e+03 | Inf
0.29/0.35 c 0.3s| 1 | 2 | 109 | - | 743k| 0 | 20 | 146 | 71 | 146 | 30 | 24 | 0 | 9 | 0.000000e+00 | 1.009000e+03 | Inf
0.39/0.47 o 200
0.39/0.47 c c 0.5s| 28 | 29 | 301 | 7.1 | 791k| 27 | - | 146 | 71 | 146 | 20 | 24 | 0 | 156 | 0.000000e+00 | 2.000000e+02 | Inf
0.49/0.54 o 199
0.49/0.54 c * 0.5s| 76 | 72 | 502 | 5.2 | 824k| 47 | - | 146 | 71 | 146 | 20 | 24 | 6 | 261 | 0.000000e+00 | 1.990000e+02 | Inf
0.49/0.54 o 197
0.49/0.54 c * 0.5s| 77 | 71 | 502 | 5.2 | 825k| 47 | - | 146 | 71 | 146 | 20 | 24 | 6 | 261 | 0.000000e+00 | 1.970000e+02 | Inf
0.59/0.69 o 128
0.59/0.69 c g 0.7s| 233 | 209 | 1298 | 5.1 | 917k| 47 | - | 146 | 75 | 146 | 20 | 24 | 13 | 447 | 0.000000e+00 | 1.280000e+02 | Inf
0.69/0.79 o 126
0.69/0.79 c l 0.8s| 358 | 328 | 1947 | 5.1 | 980k| 47 | - | 146 | 74 | 146 | 20 | 24 | 21 | 505 | 0.000000e+00 | 1.260000e+02 | Inf
0.79/0.80 o 125
0.79/0.80 c * 0.8s| 372 | 340 | 1993 | 5.1 | 984k| 47 | - | 146 | 74 | 146 | 20 | 24 | 21 | 526 | 0.000000e+00 | 1.250000e+02 | Inf
0.79/0.81 o 117
0.79/0.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.81 c g 0.8s| 374 | 340 | 1997 | 5.1 | 987k| 47 | - | 146 | 74 | 146 | 20 | 24 | 21 | 535 | 0.000000e+00 | 1.170000e+02 | Inf
0.79/0.89 o 115
0.79/0.89 c * 0.9s| 475 | 427 | 2714 | 5.5 |1048k| 47 | - | 146 | 79 | 146 | 20 | 24 | 33 | 569 | 0.000000e+00 | 1.150000e+02 | Inf
0.79/0.89 o 113
0.79/0.89 c * 0.9s| 477 | 425 | 2714 | 5.5 |1049k| 47 | - | 146 | 79 | 146 | 20 | 24 | 33 | 569 | 0.000000e+00 | 1.130000e+02 | Inf
0.79/0.89 o 111
0.79/0.89 c * 0.9s| 478 | 424 | 2714 | 5.5 |1051k| 47 | - | 146 | 79 | 146 | 20 | 24 | 33 | 569 | 0.000000e+00 | 1.110000e+02 | Inf
0.89/1.00 o 109
0.89/1.00 c * 1.0s| 630 | 541 | 3324 | 5.1 |1115k| 47 | - | 146 | 79 | 146 | 20 | 24 | 35 | 632 | 0.000000e+00 | 1.090000e+02 | Inf
0.89/1.00 o 107
0.89/1.00 c * 1.0s| 631 | 540 | 3324 | 5.1 |1117k| 47 | - | 146 | 79 | 146 | 20 | 24 | 35 | 632 | 0.000000e+00 | 1.070000e+02 | Inf
0.99/1.02 o 105
0.99/1.02 c * 1.0s| 670 | 572 | 3494 | 5.1 |1141k| 47 | - | 146 | 79 | 146 | 20 | 24 | 40 | 652 | 0.000000e+00 | 1.050000e+02 | Inf
0.99/1.03 o 103
0.99/1.03 c * 1.0s| 671 | 571 | 3494 | 5.1 |1143k| 47 | - | 146 | 79 | 146 | 20 | 24 | 40 | 652 | 0.000000e+00 | 1.030000e+02 | Inf
0.99/1.09 o 101
0.99/1.09 c v 1.1s| 750 | 650 | 3868 | 5.0 |1194k| 47 | - | 146 | 79 | 146 | 20 | 24 | 46 | 692 | 0.000000e+00 | 1.010000e+02 | Inf
1.19/1.24 o 67
1.19/1.24 c C 1.2s| 950 | 786 | 5057 | 5.2 |1246k| 47 | 6 | 146 | 85 | 146 | 20 | 24 | 63 | 701 | 0.000000e+00 | 6.700000e+01 | Inf
6.29/6.38 o 66
6.29/6.38 c * 6.4s| 7788 | 7122 | 46013 | 5.9 |4514k| 47 | - | 146 | 145 | 146 | 20 | 24 | 678 | 816 | 0.000000e+00 | 6.600000e+01 | Inf
6.69/6.78 o 64
6.69/6.78 c * 6.8s| 8243 | 7519 | 49214 | 6.0 |4728k| 47 | - | 146 | 140 | 146 | 20 | 24 | 730 | 848 | 0.000000e+00 | 6.400000e+01 | Inf
8.89/8.99 c 9.0s| 10000 | 9084 | 60989 | 6.1 |5471k| 47 | 6 | 146 | 80 | 146 | 20 | 24 | 899 | 920 | 0.000000e+00 | 6.400000e+01 | Inf
14.68/14.73 o 62
14.68/14.73 c *14.7s| 19911 | 17930 |109903 | 5.5 |9645k| 47 | - | 146 | 54 | 146 | 20 | 24 |1537 |1310 | 0.000000e+00 | 6.200000e+01 | Inf
14.68/14.78 c 14.8s| 20000 | 18009 |110315 | 5.5 |9680k| 47 | 6 | 146 | 53 | 146 | 20 | 24 |1541 |1314 | 0.000000e+00 | 6.200000e+01 | Inf
15.29/15.36 o 61
15.29/15.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.29/15.36 c *15.4s| 20973 | 18852 |115277 | 5.5 | 10M| 47 | - | 146 | 58 | 146 | 20 | 24 |1601 |1351 | 0.000000e+00 | 6.100000e+01 | Inf
16.29/16.31 o 60
16.29/16.31 c l16.3s| 22529 | 20132 |123298 | 5.5 | 10M| 47 | - | 146 | 57 | 146 | 20 | 24 |1710 |1419 | 0.000000e+00 | 6.000000e+01 | Inf
20.68/20.78 c 20.8s| 30000 | 26481 |161586 | 5.4 | 14M| 47 | 6 | 146 | 52 | 146 | 20 | 24 |2292 |1657 | 0.000000e+00 | 6.000000e+01 | Inf
20.89/20.94 o 59
20.89/20.94 c *20.9s| 30247 | 26649 |163059 | 5.4 | 14M| 47 | - | 146 | 52 | 146 | 20 | 24 |2310 |1669 | 0.000000e+00 | 5.900000e+01 | Inf
20.89/20.94 o 57
20.89/20.94 c *20.9s| 30249 | 26561 |163059 | 5.4 | 13M| 47 | - | 146 | 52 | 146 | 20 | 24 |2310 |1672 | 0.000000e+00 | 5.700000e+01 | Inf
20.89/20.94 o 55
20.89/20.94 c *20.9s| 30250 | 26433 |163059 | 5.4 | 13M| 47 | - | 146 | 52 | 146 | 20 | 24 |2310 |1672 | 0.000000e+00 | 5.500000e+01 | Inf
22.89/22.92 o 54
22.89/22.92 c *22.9s| 31148 | 27026 |167390 | 5.4 | 14M| 47 | - | 146 | 48 | 146 | 20 | 24 |2371 |1700 | 0.000000e+00 | 5.400000e+01 | Inf
23.49/23.57 o 53
23.49/23.57 c l23.6s| 32192 | 27685 |173193 | 5.4 | 14M| 47 | - | 146 | 52 | 146 | 20 | 24 |2468 |1744 | 0.000000e+00 | 5.300000e+01 | Inf
23.69/23.70 o 51
23.69/23.70 c *23.7s| 32396 | 27628 |174276 | 5.4 | 14M| 47 | - | 146 | 51 | 146 | 20 | 24 |2490 |1754 | 0.000000e+00 | 5.100000e+01 | Inf
23.89/23.94 o 50
23.89/23.94 c l23.9s| 32758 | 27792 |176383 | 5.4 | 14M| 47 | - | 146 | 54 | 146 | 20 | 24 |2533 |1763 | 0.000000e+00 | 5.000000e+01 | Inf
24.89/24.96 o 48
24.89/24.96 c *24.9s| 34321 | 28274 |184818 | 5.4 | 14M| 47 | - | 146 | 55 | 146 | 20 | 24 |2707 |1808 | 0.000000e+00 | 4.800000e+01 | Inf
26.39/26.49 o 46
26.39/26.49 c f26.5s| 36862 | 29884 |197670 | 5.4 | 15M| 47 | - | 146 | 55 | 146 | 20 | 24 |2960 |1918 | 0.000000e+00 | 4.600000e+01 | Inf
26.48/26.50 o 44
26.48/26.50 c v26.5s| 36862 | 29673 |197670 | 5.4 | 15M| 47 | - | 146 | 55 | 146 | 20 | 24 |2963 |1918 | 0.000000e+00 | 4.400000e+01 | Inf
28.09/28.16 o 43
28.09/28.16 c v28.2s| 39183 | 31148 |210893 | 5.4 | 16M| 47 | - | 146 | 51 | 146 | 20 | 24 |3291 |1998 | 0.000000e+00 | 4.300000e+01 | Inf
28.39/28.43 o 41
28.39/28.43 c *28.4s| 39598 | 31137 |213049 | 5.4 | 16M| 47 | - | 146 | 49 | 146 | 20 | 24 |3338 |2010 | 0.000000e+00 | 4.100000e+01 | Inf
28.68/28.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.68/28.74 c 28.7s| 40000 | 31441 |215687 | 5.4 | 16M| 47 | 6 | 146 | 55 | 146 | 20 | 24 |3385 |2020 | 0.000000e+00 | 4.100000e+01 | Inf
30.08/30.11 o 40
30.08/30.11 c *30.1s| 42159 | 32596 |227279 | 5.4 | 17M| 47 | - | 146 | 58 | 146 | 20 | 24 |3624 |2089 | 0.000000e+00 | 4.000000e+01 | Inf
30.08/30.12 o 38
30.08/30.12 c *30.1s| 42160 | 32204 |227279 | 5.4 | 16M| 47 | - | 146 | 58 | 146 | 20 | 24 |3624 |2089 | 0.000000e+00 | 3.800000e+01 | Inf
31.49/31.50 o 37
31.49/31.50 c *31.5s| 44587 | 33552 |238602 | 5.3 | 17M| 47 | - | 146 | 67 | 146 | 20 | 24 |3839 |2157 | 0.000000e+00 | 3.700000e+01 | Inf
31.49/31.52 o 36
31.49/31.52 c *31.5s| 44612 | 33355 |238694 | 5.3 | 17M| 47 | - | 146 | 67 | 146 | 20 | 24 |3842 |2158 | 0.000000e+00 | 3.600000e+01 | Inf
31.49/31.56 o 34
31.49/31.56 c *31.6s| 44693 | 32993 |239044 | 5.3 | 17M| 47 | - | 146 | 66 | 146 | 20 | 24 |3859 |2159 | 0.000000e+00 | 3.400000e+01 | Inf
32.38/32.43 o 32
32.38/32.43 c v32.4s| 45959 | 29760 |244747 | 5.3 | 15M| 47 | - | 146 | 57 | 146 | 20 | 24 |3990 |2193 | 0.000000e+00 | 3.200000e+01 | Inf
34.78/34.81 c 34.8s| 50000 | 32335 |265541 | 5.3 | 17M| 47 | - | 146 | 34 | 146 | 20 | 24 |4480 |2338 | 0.000000e+00 | 3.200000e+01 | Inf
38.49/38.55 o 31
38.49/38.55 c *38.5s| 56837 | 36381 |298078 | 5.2 | 19M| 47 | - | 146 | 46 | 146 | 20 | 24 |5239 |2536 | 0.000000e+00 | 3.100000e+01 | Inf
40.28/40.32 c 40.3s| 60000 | 38211 |313058 | 5.2 | 20M| 47 | 6 | 146 | 46 | 146 | 20 | 24 |5619 |2622 | 0.000000e+00 | 3.100000e+01 | Inf
44.78/44.88 o 30
44.78/44.88 c f44.9s| 68423 | 43143 |351730 | 5.1 | 23M| 47 | - | 146 | 44 | 146 | 20 | 24 |6586 |2855 | 0.000000e+00 | 3.000000e+01 | Inf
47.08/47.15 c 47.1s| 70000 | 44070 |359565 | 5.1 | 23M| 47 | 6 | 146 | 44 | 146 | 20 | 24 |6793 |2884 | 0.000000e+00 | 3.000000e+01 | Inf
47.08/47.16 o 29
47.08/47.16 c *47.2s| 70025 | 43898 |359666 | 5.1 | 23M| 47 | - | 146 | 44 | 146 | 20 | 24 |6796 |2892 | 0.000000e+00 | 2.900000e+01 | Inf
47.08/47.17 o 27
47.08/47.17 c *47.2s| 70028 | 43410 |359668 | 5.1 | 23M| 47 | - | 146 | 44 | 146 | 20 | 24 |6796 |2896 | 0.000000e+00 | 2.700000e+01 | Inf
52.38/52.47 c 52.5s| 80000 | 48583 |403677 | 5.0 | 26M| 47 | 6 | 146 | 42 | 146 | 20 | 24 |7960 |3105 | 0.000000e+00 | 2.700000e+01 | Inf
53.18/53.24 o 26
53.18/53.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.18/53.24 c *53.2s| 81408 | 49006 |410152 | 5.0 | 26M| 47 | - | 146 | 45 | 146 | 20 | 24 |8136 |3130 | 0.000000e+00 | 2.600000e+01 | Inf
55.78/55.87 o 25
55.78/55.87 c *55.9s| 86397 | 51071 |432119 | 5.0 | 27M| 47 | - | 146 | 40 | 146 | 20 | 24 |8695 |3245 | 0.000000e+00 | 2.500000e+01 | Inf
55.78/55.88 o 23
55.78/55.88 c *55.9s| 86398 | 50088 |432119 | 5.0 | 27M| 47 | - | 146 | 40 | 146 | 20 | 24 |8695 |3245 | 0.000000e+00 | 2.300000e+01 | Inf
58.68/58.74 c 58.7s| 90000 | 51600 |446990 | 5.0 | 28M| 47 | 6 | 146 | 40 | 146 | 20 | 24 |9035 |3319 | 0.000000e+00 | 2.300000e+01 | Inf
59.98/60.05 o 21
59.98/60.05 c *60.0s| 92727 | 51511 |457822 | 4.9 | 27M| 47 | - | 146 | 43 | 146 | 20 | 24 |9338 |3376 | 0.000000e+00 | 2.100000e+01 | Inf
63.27/63.31 o 20
63.27/63.31 c *63.3s| 99395 | 53257 |484378 | 4.9 | 28M| 47 | - | 146 | 39 | 146 | 20 | 24 | 10k|3510 | 0.000000e+00 | 2.000000e+01 | Inf
63.27/63.31 o 18
63.27/63.31 c *63.3s| 99397 | 51995 |484378 | 4.9 | 27M| 47 | - | 146 | 39 | 146 | 20 | 24 | 10k|3511 | 0.000000e+00 | 1.800000e+01 | Inf
63.27/63.33 o 16
63.27/63.33 c *63.3s| 99398 | 47191 |484378 | 4.9 | 24M| 47 | - | 146 | 39 | 146 | 20 | 24 | 10k|3511 | 0.000000e+00 | 1.600000e+01 | Inf
64.27/64.40 c 64.4s|100000 | 47443 |487049 | 4.9 | 24M| 47 | 6 | 146 | 36 | 146 | 20 | 24 | 10k|3525 | 0.000000e+00 | 1.600000e+01 | Inf
67.09/67.18 o 15
67.09/67.18 c *67.2s|106130 | 48720 |511891 | 4.8 | 25M| 47 | - | 146 | 32 | 146 | 20 | 24 | 10k|3639 | 0.000000e+00 | 1.500000e+01 | Inf
67.09/67.19 o 13
67.09/67.19 c *67.2s|106131 | 47457 |511891 | 4.8 | 24M| 47 | - | 146 | 32 | 146 | 20 | 24 | 10k|3639 | 0.000000e+00 | 1.300000e+01 | Inf
69.28/69.30 c 69.3s|110000 | 48723 |526795 | 4.8 | 25M| 47 | - | 146 | 38 | 146 | 20 | 24 | 11k|3701 | 0.000000e+00 | 1.300000e+01 | Inf
73.57/73.63 c 73.6s|120000 | 51080 |564833 | 4.7 | 26M| 47 | - | 146 | 31 | 0 | 0 | 24 | 11k|3859 | 0.000000e+00 | 1.300000e+01 | Inf
77.77/77.86 c 77.9s|130000 | 53009 |601804 | 4.6 | 28M| 47 | - | 146 | 30 | 146 | 20 | 24 | 12k|4010 | 0.000000e+00 | 1.300000e+01 | Inf
81.97/82.01 c 82.0s|140000 | 54783 |637784 | 4.6 | 29M| 47 | - | 146 | 25 | 146 | 20 | 24 | 13k|4132 | 0.000000e+00 | 1.300000e+01 | Inf
85.97/86.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.97/86.00 c 86.0s|150000 | 56171 |672351 | 4.5 | 30M| 47 | 6 | 146 | 26 | 146 | 20 | 24 | 14k|4262 | 0.000000e+00 | 1.300000e+01 | Inf
90.07/90.12 c 90.1s|160000 | 57654 |708834 | 4.4 | 31M| 47 | 6 | 146 | 33 | 146 | 20 | 24 | 15k|4410 | 0.000000e+00 | 1.300000e+01 | Inf
94.17/94.24 c 94.2s|170000 | 59339 |744423 | 4.4 | 32M| 47 | 6 | 146 | 27 | 146 | 20 | 24 | 16k|4532 | 0.000000e+00 | 1.300000e+01 | Inf
98.27/98.31 c 98.3s|180000 | 60823 |779501 | 4.3 | 33M| 47 | 6 | 146 | 29 | 146 | 20 | 24 | 16k|4641 | 0.000000e+00 | 1.300000e+01 | Inf
102.28/102.31 c 102s|190000 | 62361 |814418 | 4.3 | 34M| 47 | 6 | 146 | 31 | 146 | 20 | 24 | 17k|4745 | 0.000000e+00 | 1.300000e+01 | Inf
106.16/106.24 c 106s|200000 | 63265 |848484 | 4.2 | 35M| 47 | - | 146 | 30 | 146 | 20 | 24 | 18k|4866 | 0.000000e+00 | 1.300000e+01 | Inf
110.27/110.32 c 110s|210000 | 64650 |885110 | 4.2 | 36M| 47 | 6 | 146 | 28 | 146 | 20 | 24 | 19k|4990 | 0.000000e+00 | 1.300000e+01 | Inf
114.37/114.43 c 114s|220000 | 65988 |920176 | 4.2 | 38M| 47 | 6 | 146 | 26 | 146 | 20 | 24 | 20k|5121 | 0.000000e+00 | 1.300000e+01 | Inf
118.36/118.48 c 118s|230000 | 67817 |955336 | 4.2 | 39M| 47 | 6 | 146 | 27 | 146 | 20 | 24 | 21k|5248 | 0.000000e+00 | 1.300000e+01 | Inf
122.36/122.48 c 122s|240000 | 69284 |989757 | 4.1 | 40M| 47 | - | 146 | 28 | 0 | 0 | 24 | 22k|5378 | 0.000000e+00 | 1.300000e+01 | Inf
126.36/126.46 c 126s|250000 | 70242 | 1024k| 4.1 | 41M| 47 | 6 | 146 | 29 | 146 | 20 | 24 | 23k|5473 | 0.000000e+00 | 1.300000e+01 | Inf
130.26/130.39 c 130s|260000 | 71477 | 1058k| 4.1 | 42M| 47 | - | 146 | 28 | 146 | 20 | 24 | 24k|5587 | 0.000000e+00 | 1.300000e+01 | Inf
134.36/134.46 c 134s|270000 | 72767 | 1092k| 4.0 | 43M| 47 | 6 | 146 | 27 | 146 | 20 | 24 | 26k|5692 | 0.000000e+00 | 1.300000e+01 | Inf
138.36/138.42 c 138s|280000 | 73271 | 1126k| 4.0 | 44M| 47 | 6 | 146 | 27 | 146 | 20 | 24 | 27k|5787 | 0.000000e+00 | 1.300000e+01 | Inf
142.36/142.41 c 142s|290000 | 73990 | 1161k| 4.0 | 44M| 47 | - | 146 | 27 | 146 | 20 | 24 | 28k|5900 | 0.000000e+00 | 1.300000e+01 | Inf
145.95/146.04 o 11
145.95/146.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.95/146.04 c * 146s|299159 | 72147 | 1192k| 4.0 | 42M| 47 | - | 146 | 26 | 146 | 20 | 24 | 29k|5991 | 0.000000e+00 | 1.100000e+01 | Inf
145.95/146.06 o 9
145.95/146.06 c * 146s|299160 | 69409 | 1192k| 4.0 | 40M| 47 | - | 146 | 26 | 146 | 20 | 24 | 29k|5991 | 0.000000e+00 | 9.000000e+00 | Inf
145.95/146.07 o 7
145.95/146.07 c * 146s|299162 | 65849 | 1192k| 4.0 | 36M| 47 | - | 146 | 26 | 146 | 20 | 24 | 29k|5991 | 0.000000e+00 | 7.000000e+00 | Inf
146.26/146.39 c 146s|300000 | 65893 | 1195k| 4.0 | 36M| 47 | 6 | 146 | 17 | 146 | 20 | 24 | 29k|6007 | 0.000000e+00 | 7.000000e+00 | Inf
151.66/151.78 c 152s|310000 | 65919 | 1227k| 4.0 | 36M| 47 | - | 146 | 18 | 146 | 20 | 24 | 30k|6170 | 0.000000e+00 | 7.000000e+00 | Inf
155.26/155.32 c 155s|320000 | 65818 | 1259k| 3.9 | 37M| 47 | 6 | 146 | 19 | 146 | 20 | 24 | 31k|6315 | 0.000000e+00 | 7.000000e+00 | Inf
158.76/158.83 c 159s|330000 | 65727 | 1290k| 3.9 | 37M| 47 | - | 146 | 20 | 146 | 20 | 24 | 31k|6460 | 0.000000e+00 | 7.000000e+00 | Inf
162.26/162.34 c 162s|340000 | 65838 | 1321k| 3.9 | 37M| 47 | 6 | 146 | 22 | 146 | 20 | 24 | 32k|6582 | 0.000000e+00 | 7.000000e+00 | Inf
165.75/165.85 c 166s|350000 | 66043 | 1352k| 3.9 | 37M| 47 | 6 | 146 | 18 | 146 | 20 | 24 | 33k|6715 | 0.000000e+00 | 7.000000e+00 | Inf
169.26/169.37 c 169s|360000 | 65914 | 1383k| 3.8 | 37M| 47 | - | 146 | 17 | 146 | 20 | 24 | 34k|6832 | 0.000000e+00 | 7.000000e+00 | Inf
172.75/172.84 c 173s|370000 | 65650 | 1413k| 3.8 | 37M| 47 | - | 146 | 20 | 146 | 20 | 24 | 35k|6955 | 0.000000e+00 | 7.000000e+00 | Inf
176.35/176.40 c 176s|380000 | 65471 | 1445k| 3.8 | 37M| 47 | - | 146 | 22 | 146 | 20 | 24 | 36k|7076 | 0.000000e+00 | 7.000000e+00 | Inf
179.75/179.88 c 180s|390000 | 65386 | 1477k| 3.8 | 37M| 47 | - | 146 | 19 | 0 | 0 | 24 | 37k|7157 | 0.000000e+00 | 7.000000e+00 | Inf
183.35/183.42 c 183s|400000 | 65399 | 1508k| 3.8 | 37M| 47 | 6 | 146 | 27 | 146 | 20 | 24 | 37k|7252 | 0.000000e+00 | 7.000000e+00 | Inf
186.85/186.92 c 187s|410000 | 65399 | 1540k| 3.8 | 37M| 47 | - | 146 | 25 | 146 | 20 | 24 | 38k|7350 | 0.000000e+00 | 7.000000e+00 | Inf
190.45/190.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
190.45/190.51 c 191s|420000 | 65555 | 1571k| 3.7 | 37M| 47 | 6 | 146 | 19 | 146 | 20 | 24 | 39k|7443 | 0.000000e+00 | 7.000000e+00 | Inf
193.94/194.01 c 194s|430000 | 65388 | 1601k| 3.7 | 37M| 47 | 6 | 146 | 21 | 146 | 20 | 24 | 40k|7505 | 0.000000e+00 | 7.000000e+00 | Inf
197.45/197.50 c 197s|440000 | 65209 | 1631k| 3.7 | 37M| 47 | - | 146 | 22 | 0 | 0 | 24 | 41k|7586 | 0.000000e+00 | 7.000000e+00 | Inf
200.94/201.08 c 201s|450000 | 65302 | 1663k| 3.7 | 37M| 47 | - | 146 | 24 | 0 | 0 | 24 | 42k|7676 | 0.000000e+00 | 7.000000e+00 | Inf
204.45/204.58 c 205s|460000 | 65036 | 1695k| 3.7 | 37M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 43k|7769 | 0.000000e+00 | 7.000000e+00 | Inf
208.04/208.11 c 208s|470000 | 64852 | 1727k| 3.7 | 37M| 47 | 6 | 146 | 24 | 146 | 20 | 24 | 44k|7868 | 0.000000e+00 | 7.000000e+00 | Inf
211.44/211.59 c 212s|480000 | 64517 | 1759k| 3.7 | 37M| 47 | 6 | 146 | 29 | 146 | 20 | 24 | 45k|7943 | 0.000000e+00 | 7.000000e+00 | Inf
214.94/215.09 c 215s|490000 | 64266 | 1791k| 3.7 | 37M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 46k|8015 | 0.000000e+00 | 7.000000e+00 | Inf
218.54/218.61 c 219s|500000 | 64132 | 1823k| 3.6 | 37M| 47 | - | 146 | 27 | 146 | 20 | 24 | 47k|8090 | 0.000000e+00 | 7.000000e+00 | Inf
222.04/222.12 c 222s|510000 | 63895 | 1855k| 3.6 | 37M| 47 | 6 | 146 | 24 | 146 | 20 | 24 | 47k|8168 | 0.000000e+00 | 7.000000e+00 | Inf
225.44/225.58 c 226s|520000 | 63775 | 1887k| 3.6 | 37M| 47 | 6 | 146 | 21 | 146 | 20 | 24 | 48k|8248 | 0.000000e+00 | 7.000000e+00 | Inf
228.94/229.10 c 229s|530000 | 63928 | 1919k| 3.6 | 37M| 47 | - | 146 | 22 | 0 | 0 | 24 | 49k|8318 | 0.000000e+00 | 7.000000e+00 | Inf
232.43/232.55 c 233s|540000 | 63623 | 1951k| 3.6 | 37M| 47 | - | 146 | 23 | 0 | 0 | 24 | 50k|8390 | 0.000000e+00 | 7.000000e+00 | Inf
235.94/236.08 c 236s|550000 | 63505 | 1983k| 3.6 | 37M| 47 | - | 146 | 25 | 146 | 20 | 24 | 51k|8452 | 0.000000e+00 | 7.000000e+00 | Inf
239.44/239.54 c 240s|560000 | 63255 | 2015k| 3.6 | 36M| 47 | 6 | 146 | 22 | 146 | 20 | 24 | 52k|8530 | 0.000000e+00 | 7.000000e+00 | Inf
242.84/242.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
242.84/242.95 c 243s|570000 | 63191 | 2046k| 3.6 | 36M| 47 | - | 146 | 20 | 146 | 20 | 24 | 52k|8584 | 0.000000e+00 | 7.000000e+00 | Inf
246.24/246.40 c 246s|580000 | 63201 | 2077k| 3.6 | 36M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 53k|8663 | 0.000000e+00 | 7.000000e+00 | Inf
249.74/249.88 c 250s|590000 | 63526 | 2108k| 3.6 | 37M| 47 | 6 | 146 | 23 | 146 | 20 | 24 | 54k|8727 | 0.000000e+00 | 7.000000e+00 | Inf
253.24/253.36 c 253s|600000 | 63660 | 2140k| 3.6 | 37M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 55k|8793 | 0.000000e+00 | 7.000000e+00 | Inf
256.73/256.81 c 257s|610000 | 63281 | 2171k| 3.6 | 37M| 47 | 6 | 146 | 24 | 146 | 20 | 24 | 56k|8868 | 0.000000e+00 | 7.000000e+00 | Inf
260.13/260.24 c 260s|620000 | 62853 | 2201k| 3.6 | 36M| 47 | - | 146 | 22 | 0 | 0 | 24 | 57k|8937 | 0.000000e+00 | 7.000000e+00 | Inf
263.63/263.75 c 264s|630000 | 62783 | 2234k| 3.5 | 36M| 47 | 6 | 146 | 23 | 146 | 20 | 24 | 57k|9009 | 0.000000e+00 | 7.000000e+00 | Inf
267.13/267.26 c 267s|640000 | 62866 | 2267k| 3.5 | 36M| 47 | - | 146 | 28 | 0 | 0 | 24 | 58k|9068 | 0.000000e+00 | 7.000000e+00 | Inf
270.63/270.75 c 271s|650000 | 62805 | 2298k| 3.5 | 37M| 47 | - | 146 | 23 | 146 | 20 | 24 | 59k|9133 | 0.000000e+00 | 7.000000e+00 | Inf
274.13/274.25 c 274s|660000 | 62594 | 2330k| 3.5 | 36M| 47 | 6 | 146 | 20 | 146 | 20 | 24 | 60k|9201 | 0.000000e+00 | 7.000000e+00 | Inf
277.62/277.73 c 278s|670000 | 62305 | 2361k| 3.5 | 36M| 47 | - | 146 | 20 | 0 | 0 | 24 | 61k|9277 | 0.000000e+00 | 7.000000e+00 | Inf
281.03/281.16 c 281s|680000 | 62453 | 2391k| 3.5 | 36M| 47 | - | 146 | 26 | 146 | 20 | 24 | 62k|9340 | 0.000000e+00 | 7.000000e+00 | Inf
284.43/284.57 c 285s|690000 | 62122 | 2421k| 3.5 | 36M| 47 | - | 146 | 23 | 146 | 20 | 24 | 63k|9390 | 0.000000e+00 | 7.000000e+00 | Inf
287.92/288.04 c 288s|700000 | 61857 | 2452k| 3.5 | 36M| 47 | - | 146 | 24 | 146 | 20 | 24 | 64k|9450 | 0.000000e+00 | 7.000000e+00 | Inf
291.43/291.51 c 292s|710000 | 61902 | 2483k| 3.5 | 36M| 47 | - | 146 | 25 | 0 | 0 | 24 | 64k|9522 | 0.000000e+00 | 7.000000e+00 | Inf
294.92/295.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
294.92/295.02 c 295s|720000 | 61859 | 2515k| 3.5 | 36M| 47 | - | 146 | 21 | 146 | 20 | 24 | 65k|9580 | 0.000000e+00 | 7.000000e+00 | Inf
298.42/298.50 c 298s|730000 | 61806 | 2547k| 3.5 | 36M| 47 | - | 146 | 22 | 146 | 20 | 24 | 66k|9644 | 0.000000e+00 | 7.000000e+00 | Inf
301.83/301.96 c 302s|740000 | 61429 | 2578k| 3.5 | 36M| 47 | - | 146 | 28 | 146 | 20 | 24 | 67k|9712 | 0.000000e+00 | 7.000000e+00 | Inf
305.32/305.41 c 305s|750000 | 61141 | 2610k| 3.5 | 36M| 47 | 6 | 146 | 19 | 146 | 20 | 24 | 68k|9761 | 0.000000e+00 | 7.000000e+00 | Inf
308.72/308.88 c 309s|760000 | 60742 | 2640k| 3.5 | 35M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 69k|9817 | 0.000000e+00 | 7.000000e+00 | Inf
312.22/312.34 c 312s|770000 | 60644 | 2671k| 3.5 | 35M| 47 | 6 | 146 | 20 | 146 | 20 | 24 | 70k|9876 | 0.000000e+00 | 7.000000e+00 | Inf
315.62/315.74 c 316s|780000 | 60428 | 2702k| 3.5 | 35M| 47 | - | 146 | 19 | 146 | 20 | 24 | 71k|9950 | 0.000000e+00 | 7.000000e+00 | Inf
319.31/319.44 c 319s|790000 | 61569 | 2736k| 3.5 | 36M| 47 | 6 | 146 | 31 | 146 | 20 | 24 | 71k| 10k| 0.000000e+00 | 7.000000e+00 | Inf
323.02/323.10 c 323s|800000 | 62674 | 2770k| 3.5 | 37M| 47 | - | 146 | 25 | 146 | 20 | 24 | 72k| 10k| 0.000000e+00 | 7.000000e+00 | Inf
326.62/326.75 c 327s|810000 | 63505 | 2803k| 3.5 | 37M| 47 | 6 | 146 | 26 | 146 | 20 | 24 | 73k| 10k| 0.000000e+00 | 7.000000e+00 | Inf
330.32/330.41 c 330s|820000 | 64547 | 2837k| 3.5 | 38M| 47 | 6 | 146 | 22 | 146 | 20 | 24 | 74k| 10k| 0.000000e+00 | 7.000000e+00 | Inf
333.92/334.02 c 334s|830000 | 65314 | 2871k| 3.5 | 39M| 47 | 6 | 146 | 23 | 146 | 20 | 24 | 75k| 10k| 0.000000e+00 | 7.000000e+00 | Inf
337.51/337.62 c 338s|840000 | 66145 | 2904k| 3.5 | 39M| 47 | - | 146 | 27 | 146 | 20 | 24 | 76k| 10k| 0.000000e+00 | 7.000000e+00 | Inf
341.12/341.20 c 341s|850000 | 66516 | 2937k| 3.5 | 40M| 47 | 6 | 146 | 20 | 146 | 20 | 24 | 77k| 10k| 0.000000e+00 | 7.000000e+00 | Inf
344.51/344.69 c 345s|860000 | 67013 | 2968k| 3.5 | 40M| 47 | 6 | 146 | 20 | 146 | 20 | 24 | 77k| 10k| 0.000000e+00 | 7.000000e+00 | Inf
348.11/348.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.11/348.22 c 348s|870000 | 67176 | 3000k| 3.4 | 41M| 47 | 6 | 146 | 21 | 146 | 20 | 24 | 78k| 10k| 0.000000e+00 | 7.000000e+00 | Inf
351.71/351.81 c 352s|880000 | 67483 | 3032k| 3.4 | 41M| 47 | - | 146 | 23 | 146 | 20 | 24 | 79k| 10k| 0.000000e+00 | 7.000000e+00 | Inf
355.22/355.35 c 355s|890000 | 67484 | 3064k| 3.4 | 41M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 80k| 10k| 0.000000e+00 | 7.000000e+00 | Inf
358.70/358.83 c 359s|900000 | 67391 | 3095k| 3.4 | 41M| 47 | 6 | 146 | 26 | 146 | 20 | 24 | 81k| 10k| 0.000000e+00 | 7.000000e+00 | Inf
362.21/362.37 c 362s|910000 | 67673 | 3126k| 3.4 | 42M| 47 | - | 146 | 20 | 146 | 20 | 24 | 82k| 10k| 0.000000e+00 | 7.000000e+00 | Inf
365.81/365.92 c 366s|920000 | 67900 | 3158k| 3.4 | 42M| 47 | - | 146 | 25 | 0 | 0 | 24 | 83k| 10k| 0.000000e+00 | 7.000000e+00 | Inf
369.31/369.50 c 369s|930000 | 68150 | 3190k| 3.4 | 42M| 47 | 6 | 146 | 22 | 146 | 20 | 24 | 84k| 10k| 0.000000e+00 | 7.000000e+00 | Inf
372.91/373.04 c 373s|940000 | 68323 | 3222k| 3.4 | 43M| 47 | - | 146 | 21 | 0 | 0 | 24 | 85k| 10k| 0.000000e+00 | 7.000000e+00 | Inf
376.40/376.56 c 377s|950000 | 68341 | 3253k| 3.4 | 43M| 47 | - | 146 | 18 | 146 | 20 | 24 | 86k| 10k| 0.000000e+00 | 7.000000e+00 | Inf
380.00/380.12 c 380s|960000 | 68375 | 3286k| 3.4 | 43M| 47 | - | 146 | 20 | 146 | 20 | 24 | 87k| 10k| 0.000000e+00 | 7.000000e+00 | Inf
383.50/383.66 c 384s|970000 | 68372 | 3318k| 3.4 | 43M| 47 | 6 | 146 | 20 | 146 | 20 | 24 | 88k| 11k| 0.000000e+00 | 7.000000e+00 | Inf
387.00/387.18 c 387s|980000 | 68241 | 3349k| 3.4 | 43M| 47 | - | 146 | 21 | 146 | 20 | 24 | 88k| 11k| 0.000000e+00 | 7.000000e+00 | Inf
390.60/390.74 c 391s|990000 | 68442 | 3382k| 3.4 | 44M| 47 | 6 | 146 | 23 | 146 | 20 | 24 | 89k| 11k| 0.000000e+00 | 7.000000e+00 | Inf
394.10/394.21 c 394s| 1000k| 68424 | 3414k| 3.4 | 44M| 47 | 6 | 146 | 20 | 146 | 20 | 24 | 90k| 11k| 0.000000e+00 | 7.000000e+00 | Inf
397.60/397.70 c 398s| 1010k| 68311 | 3445k| 3.4 | 44M| 47 | - | 146 | 18 | 146 | 20 | 24 | 91k| 11k| 0.000000e+00 | 7.000000e+00 | Inf
401.09/401.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
401.09/401.21 c 401s| 1020k| 68355 | 3477k| 3.4 | 44M| 47 | - | 146 | 20 | 0 | 0 | 24 | 92k| 11k| 0.000000e+00 | 7.000000e+00 | Inf
404.61/404.74 c 405s| 1030k| 68729 | 3508k| 3.4 | 44M| 47 | 6 | 146 | 24 | 146 | 20 | 24 | 93k| 11k| 0.000000e+00 | 7.000000e+00 | Inf
408.00/408.19 c 408s| 1040k| 68510 | 3539k| 3.4 | 44M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 94k| 11k| 0.000000e+00 | 7.000000e+00 | Inf
411.50/411.68 c 412s| 1050k| 68340 | 3569k| 3.4 | 44M| 47 | - | 146 | 20 | 146 | 20 | 24 | 95k| 11k| 0.000000e+00 | 7.000000e+00 | Inf
414.99/415.18 c 415s| 1060k| 68435 | 3601k| 3.4 | 44M| 47 | - | 146 | 23 | 146 | 20 | 24 | 96k| 11k| 0.000000e+00 | 7.000000e+00 | Inf
418.49/418.69 c 419s| 1070k| 68460 | 3633k| 3.4 | 45M| 47 | - | 146 | 19 | 146 | 20 | 24 | 96k| 11k| 0.000000e+00 | 7.000000e+00 | Inf
422.00/422.12 c 422s| 1080k| 68329 | 3664k| 3.4 | 45M| 47 | 6 | 146 | 20 | 146 | 20 | 24 | 97k| 11k| 0.000000e+00 | 7.000000e+00 | Inf
425.50/425.70 c 426s| 1090k| 68561 | 3696k| 3.4 | 45M| 47 | - | 146 | 22 | 146 | 20 | 24 | 98k| 11k| 0.000000e+00 | 7.000000e+00 | Inf
428.99/429.19 c 429s| 1100k| 68515 | 3727k| 3.4 | 45M| 47 | 6 | 146 | 18 | 146 | 20 | 24 | 99k| 11k| 0.000000e+00 | 7.000000e+00 | Inf
432.50/432.66 c 433s| 1110k| 68326 | 3758k| 3.4 | 45M| 47 | - | 146 | 18 | 146 | 20 | 24 | 100k| 11k| 0.000000e+00 | 7.000000e+00 | Inf
436.09/436.22 c 436s| 1120k| 69009 | 3790k| 3.4 | 46M| 47 | 6 | 146 | 20 | 146 | 20 | 24 | 101k| 11k| 0.000000e+00 | 7.000000e+00 | Inf
439.49/439.67 c 440s| 1130k| 68966 | 3821k| 3.4 | 46M| 47 | 6 | 146 | 18 | 146 | 20 | 24 | 102k| 11k| 0.000000e+00 | 7.000000e+00 | Inf
442.99/443.11 c 443s| 1140k| 69127 | 3852k| 3.4 | 46M| 47 | 6 | 146 | 20 | 146 | 20 | 24 | 103k| 11k| 0.000000e+00 | 7.000000e+00 | Inf
446.40/446.54 c 447s| 1150k| 68659 | 3882k| 3.4 | 46M| 47 | - | 146 | 21 | 146 | 20 | 24 | 104k| 12k| 0.000000e+00 | 7.000000e+00 | Inf
449.88/450.03 c 450s| 1160k| 68419 | 3912k| 3.4 | 46M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 105k| 12k| 0.000000e+00 | 7.000000e+00 | Inf
453.38/453.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
453.38/453.50 c 453s| 1170k| 68281 | 3943k| 3.4 | 46M| 47 | - | 146 | 21 | 146 | 20 | 24 | 106k| 12k| 0.000000e+00 | 7.000000e+00 | Inf
456.88/457.00 c 457s| 1180k| 68484 | 3974k| 3.4 | 46M| 47 | 6 | 146 | 22 | 146 | 20 | 24 | 106k| 12k| 0.000000e+00 | 7.000000e+00 | Inf
460.28/460.49 c 460s| 1190k| 68413 | 4006k| 3.4 | 46M| 47 | - | 146 | 18 | 146 | 20 | 24 | 107k| 12k| 0.000000e+00 | 7.000000e+00 | Inf
463.78/463.95 c 464s| 1200k| 67894 | 4037k| 3.4 | 46M| 47 | 6 | 146 | 22 | 146 | 20 | 24 | 108k| 12k| 0.000000e+00 | 7.000000e+00 | Inf
467.28/467.42 c 467s| 1210k| 68040 | 4067k| 3.4 | 46M| 47 | 6 | 146 | 19 | 146 | 20 | 24 | 109k| 12k| 0.000000e+00 | 7.000000e+00 | Inf
470.69/470.86 c 471s| 1220k| 68179 | 4097k| 3.4 | 46M| 47 | - | 146 | 22 | 146 | 20 | 24 | 110k| 12k| 0.000000e+00 | 7.000000e+00 | Inf
474.08/474.29 c 474s| 1230k| 68261 | 4128k| 3.4 | 46M| 47 | - | 146 | 23 | 146 | 20 | 24 | 111k| 12k| 0.000000e+00 | 7.000000e+00 | Inf
477.58/477.71 c 478s| 1240k| 68067 | 4158k| 3.4 | 46M| 47 | - | 146 | 26 | 146 | 20 | 24 | 112k| 12k| 0.000000e+00 | 7.000000e+00 | Inf
481.08/481.21 c 481s| 1250k| 68396 | 4190k| 3.4 | 46M| 47 | - | 146 | 46 | 146 | 20 | 24 | 113k| 12k| 0.000000e+00 | 7.000000e+00 | Inf
484.78/484.98 c 485s| 1260k| 69896 | 4225k| 3.4 | 47M| 47 | 6 | 146 | 26 | 146 | 20 | 24 | 114k| 12k| 0.000000e+00 | 7.000000e+00 | Inf
488.88/489.01 c 489s| 1270k| 72358 | 4261k| 3.4 | 49M| 47 | 6 | 146 | 30 | 146 | 20 | 24 | 115k| 12k| 0.000000e+00 | 7.000000e+00 | Inf
492.48/492.69 c 493s| 1280k| 73911 | 4295k| 3.4 | 50M| 47 | 6 | 146 | 27 | 146 | 20 | 24 | 116k| 12k| 0.000000e+00 | 7.000000e+00 | Inf
496.18/496.37 c 496s| 1290k| 75422 | 4328k| 3.4 | 51M| 47 | 6 | 146 | 27 | 146 | 20 | 24 | 116k| 12k| 0.000000e+00 | 7.000000e+00 | Inf
499.88/500.08 c 500s| 1300k| 76866 | 4362k| 3.4 | 52M| 47 | 6 | 146 | 20 | 146 | 20 | 24 | 117k| 12k| 0.000000e+00 | 7.000000e+00 | Inf
503.58/503.77 c 504s| 1310k| 77984 | 4395k| 3.4 | 52M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 118k| 12k| 0.000000e+00 | 7.000000e+00 | Inf
507.17/507.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
507.17/507.36 c 507s| 1320k| 79276 | 4429k| 3.4 | 53M| 47 | - | 146 | 18 | 146 | 20 | 24 | 119k| 12k| 0.000000e+00 | 7.000000e+00 | Inf
510.78/510.92 c 511s| 1330k| 80223 | 4461k| 3.4 | 54M| 47 | - | 146 | 23 | 146 | 20 | 24 | 120k| 12k| 0.000000e+00 | 7.000000e+00 | Inf
514.38/514.52 c 515s| 1340k| 81200 | 4494k| 3.4 | 55M| 47 | - | 146 | 24 | 146 | 20 | 24 | 121k| 12k| 0.000000e+00 | 7.000000e+00 | Inf
518.07/518.23 c 518s| 1350k| 82249 | 4527k| 3.4 | 56M| 47 | 6 | 146 | 27 | 146 | 20 | 24 | 122k| 12k| 0.000000e+00 | 7.000000e+00 | Inf
521.77/521.92 c 522s| 1360k| 83547 | 4561k| 3.4 | 56M| 47 | 6 | 146 | 29 | 146 | 20 | 24 | 122k| 13k| 0.000000e+00 | 7.000000e+00 | Inf
525.27/525.46 c 525s| 1370k| 84498 | 4592k| 3.4 | 57M| 47 | 6 | 146 | 28 | 146 | 20 | 24 | 123k| 13k| 0.000000e+00 | 7.000000e+00 | Inf
528.98/529.12 c 529s| 1380k| 85345 | 4625k| 3.4 | 58M| 47 | 6 | 146 | 23 | 146 | 20 | 24 | 124k| 13k| 0.000000e+00 | 7.000000e+00 | Inf
532.56/532.71 c 533s| 1390k| 86462 | 4657k| 3.4 | 59M| 47 | - | 146 | 20 | 146 | 20 | 24 | 125k| 13k| 0.000000e+00 | 7.000000e+00 | Inf
536.17/536.34 c 536s| 1400k| 87955 | 4689k| 3.3 | 59M| 47 | - | 146 | 19 | 0 | 0 | 24 | 126k| 13k| 0.000000e+00 | 7.000000e+00 | Inf
539.67/539.87 c 540s| 1410k| 88786 | 4720k| 3.3 | 60M| 47 | - | 146 | 21 | 146 | 20 | 24 | 127k| 13k| 0.000000e+00 | 7.000000e+00 | Inf
543.27/543.42 c 543s| 1420k| 89602 | 4751k| 3.3 | 61M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 128k| 13k| 0.000000e+00 | 7.000000e+00 | Inf
546.76/546.96 c 547s| 1430k| 90062 | 4782k| 3.3 | 61M| 47 | 6 | 146 | 24 | 146 | 20 | 24 | 129k| 13k| 0.000000e+00 | 7.000000e+00 | Inf
550.26/550.49 c 550s| 1440k| 90509 | 4813k| 3.3 | 62M| 47 | 6 | 146 | 22 | 146 | 20 | 24 | 130k| 13k| 0.000000e+00 | 7.000000e+00 | Inf
553.97/554.12 c 554s| 1450k| 91548 | 4845k| 3.3 | 62M| 47 | 6 | 146 | 28 | 146 | 20 | 24 | 130k| 13k| 0.000000e+00 | 7.000000e+00 | Inf
557.57/557.75 c 558s| 1460k| 92711 | 4878k| 3.3 | 63M| 47 | 6 | 146 | 26 | 146 | 20 | 24 | 131k| 13k| 0.000000e+00 | 7.000000e+00 | Inf
561.17/561.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
561.17/561.35 c 561s| 1470k| 93341 | 4910k| 3.3 | 64M| 47 | 6 | 146 | 20 | 146 | 20 | 24 | 132k| 13k| 0.000000e+00 | 7.000000e+00 | Inf
564.76/564.91 c 565s| 1480k| 93831 | 4942k| 3.3 | 64M| 47 | - | 146 | 27 | 0 | 0 | 24 | 133k| 13k| 0.000000e+00 | 7.000000e+00 | Inf
568.66/568.85 c 569s| 1490k| 95619 | 4977k| 3.3 | 65M| 47 | 6 | 146 | 29 | 146 | 20 | 24 | 134k| 13k| 0.000000e+00 | 7.000000e+00 | Inf
572.97/573.13 c 573s| 1500k| 98638 | 5016k| 3.3 | 67M| 47 | 6 | 146 | 30 | 146 | 20 | 24 | 135k| 13k| 0.000000e+00 | 7.000000e+00 | Inf
576.86/577.02 c 577s| 1510k|100931 | 5051k| 3.3 | 68M| 47 | 6 | 146 | 22 | 146 | 20 | 24 | 136k| 13k| 0.000000e+00 | 7.000000e+00 | Inf
580.66/580.86 c 581s| 1520k|102820 | 5086k| 3.3 | 69M| 47 | 6 | 146 | 22 | 146 | 20 | 24 | 137k| 13k| 0.000000e+00 | 7.000000e+00 | Inf
584.55/584.70 c 585s| 1530k|104853 | 5121k| 3.3 | 71M| 47 | 6 | 146 | 27 | 146 | 20 | 24 | 138k| 13k| 0.000000e+00 | 7.000000e+00 | Inf
588.26/588.45 c 588s| 1540k|106742 | 5155k| 3.3 | 72M| 47 | - | 146 | 31 | 146 | 20 | 24 | 138k| 13k| 0.000000e+00 | 7.000000e+00 | Inf
591.85/592.09 c 592s| 1550k|108119 | 5188k| 3.3 | 73M| 47 | - | 146 | 18 | 146 | 20 | 24 | 139k| 13k| 0.000000e+00 | 7.000000e+00 | Inf
595.56/595.78 c 596s| 1560k|109646 | 5222k| 3.3 | 74M| 47 | 6 | 146 | 24 | 146 | 20 | 24 | 140k| 13k| 0.000000e+00 | 7.000000e+00 | Inf
599.36/599.54 c 600s| 1570k|111199 | 5256k| 3.3 | 75M| 47 | - | 146 | 24 | 0 | 0 | 24 | 141k| 13k| 0.000000e+00 | 7.000000e+00 | Inf
603.05/603.25 c 603s| 1580k|112846 | 5290k| 3.3 | 76M| 47 | 6 | 146 | 27 | 146 | 20 | 24 | 142k| 13k| 0.000000e+00 | 7.000000e+00 | Inf
606.75/606.92 c 607s| 1590k|114323 | 5324k| 3.3 | 77M| 47 | - | 146 | 28 | 146 | 20 | 24 | 143k| 14k| 0.000000e+00 | 7.000000e+00 | Inf
610.45/610.65 c 611s| 1600k|116336 | 5357k| 3.3 | 78M| 47 | 6 | 146 | 26 | 146 | 20 | 24 | 143k| 14k| 0.000000e+00 | 7.000000e+00 | Inf
614.15/614.31 c 614s| 1610k|117866 | 5389k| 3.3 | 79M| 47 | 6 | 146 | 26 | 146 | 20 | 24 | 144k| 14k| 0.000000e+00 | 7.000000e+00 | Inf
617.75/617.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
617.75/617.97 c 618s| 1620k|119407 | 5421k| 3.3 | 80M| 47 | - | 146 | 24 | 146 | 20 | 24 | 145k| 14k| 0.000000e+00 | 7.000000e+00 | Inf
621.45/621.61 c 622s| 1630k|120641 | 5454k| 3.3 | 81M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 146k| 14k| 0.000000e+00 | 7.000000e+00 | Inf
625.05/625.22 c 625s| 1640k|121984 | 5487k| 3.3 | 81M| 47 | 6 | 146 | 26 | 146 | 20 | 24 | 147k| 14k| 0.000000e+00 | 7.000000e+00 | Inf
628.64/628.84 c 629s| 1650k|122819 | 5519k| 3.3 | 82M| 47 | - | 146 | 27 | 146 | 20 | 24 | 148k| 14k| 0.000000e+00 | 7.000000e+00 | Inf
632.55/632.70 c 633s| 1660k|124886 | 5554k| 3.3 | 83M| 47 | 6 | 146 | 30 | 146 | 20 | 24 | 148k| 14k| 0.000000e+00 | 7.000000e+00 | Inf
636.25/636.43 c 636s| 1670k|126622 | 5589k| 3.3 | 84M| 47 | 6 | 146 | 18 | 146 | 20 | 24 | 149k| 14k| 0.000000e+00 | 7.000000e+00 | Inf
640.05/640.23 c 640s| 1680k|128199 | 5624k| 3.3 | 85M| 47 | 6 | 146 | 19 | 146 | 20 | 24 | 150k| 14k| 0.000000e+00 | 7.000000e+00 | Inf
644.04/644.25 c 644s| 1690k|130988 | 5660k| 3.3 | 87M| 47 | - | 146 | 23 | 146 | 20 | 24 | 151k| 14k| 0.000000e+00 | 7.000000e+00 | Inf
647.84/648.05 c 648s| 1700k|133020 | 5695k| 3.3 | 88M| 47 | - | 146 | 24 | 146 | 20 | 24 | 152k| 14k| 0.000000e+00 | 7.000000e+00 | Inf
651.64/651.86 c 652s| 1710k|134957 | 5729k| 3.4 | 89M| 47 | - | 146 | 20 | 146 | 20 | 24 | 153k| 14k| 0.000000e+00 | 7.000000e+00 | Inf
655.45/655.65 c 656s| 1720k|136586 | 5763k| 3.4 | 90M| 47 | 6 | 146 | 26 | 146 | 20 | 24 | 154k| 14k| 0.000000e+00 | 7.000000e+00 | Inf
659.14/659.35 c 659s| 1730k|137882 | 5797k| 3.4 | 91M| 47 | - | 146 | 25 | 0 | 0 | 24 | 155k| 14k| 0.000000e+00 | 7.000000e+00 | Inf
662.94/663.14 c 663s| 1740k|139387 | 5831k| 3.4 | 92M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 155k| 14k| 0.000000e+00 | 7.000000e+00 | Inf
666.64/666.89 c 667s| 1750k|140525 | 5864k| 3.4 | 93M| 47 | - | 146 | 19 | 0 | 0 | 24 | 156k| 14k| 0.000000e+00 | 7.000000e+00 | Inf
670.34/670.57 c 671s| 1760k|141560 | 5898k| 3.4 | 94M| 47 | 6 | 146 | 18 | 146 | 20 | 24 | 157k| 14k| 0.000000e+00 | 7.000000e+00 | Inf
674.15/674.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
674.15/674.39 c 674s| 1770k|143291 | 5932k| 3.4 | 95M| 47 | 6 | 146 | 20 | 146 | 20 | 24 | 158k| 14k| 0.000000e+00 | 7.000000e+00 | Inf
677.84/678.09 c 678s| 1780k|144294 | 5966k| 3.4 | 95M| 47 | 6 | 146 | 28 | 146 | 20 | 24 | 159k| 14k| 0.000000e+00 | 7.000000e+00 | Inf
681.54/681.72 c 682s| 1790k|145322 | 5999k| 3.4 | 96M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 160k| 14k| 0.000000e+00 | 7.000000e+00 | Inf
685.14/685.33 c 685s| 1800k|146517 | 6031k| 3.4 | 97M| 47 | - | 146 | 19 | 146 | 20 | 24 | 161k| 14k| 0.000000e+00 | 7.000000e+00 | Inf
688.73/688.93 c 689s| 1810k|147354 | 6064k| 3.4 | 98M| 47 | 6 | 146 | 18 | 146 | 20 | 24 | 162k| 14k| 0.000000e+00 | 7.000000e+00 | Inf
692.33/692.58 c 693s| 1820k|148390 | 6097k| 3.4 | 98M| 47 | 6 | 146 | 19 | 146 | 20 | 24 | 163k| 14k| 0.000000e+00 | 7.000000e+00 | Inf
696.03/696.23 c 696s| 1830k|149600 | 6129k| 3.3 | 99M| 47 | 6 | 146 | 24 | 146 | 20 | 24 | 164k| 15k| 0.000000e+00 | 7.000000e+00 | Inf
699.63/699.84 c 700s| 1840k|150670 | 6162k| 3.3 | 100M| 47 | - | 146 | 23 | 0 | 0 | 24 | 165k| 15k| 0.000000e+00 | 7.000000e+00 | Inf
703.33/703.56 c 704s| 1850k|151458 | 6195k| 3.3 | 101M| 47 | - | 146 | 21 | 146 | 20 | 24 | 166k| 15k| 0.000000e+00 | 7.000000e+00 | Inf
706.93/707.15 c 707s| 1860k|152253 | 6227k| 3.3 | 101M| 47 | 6 | 146 | 16 | 146 | 20 | 24 | 167k| 15k| 0.000000e+00 | 7.000000e+00 | Inf
710.53/710.71 c 711s| 1870k|152825 | 6259k| 3.3 | 102M| 47 | - | 146 | 20 | 146 | 20 | 24 | 167k| 15k| 0.000000e+00 | 7.000000e+00 | Inf
714.13/714.37 c 714s| 1880k|153626 | 6291k| 3.3 | 103M| 47 | - | 146 | 19 | 146 | 20 | 24 | 168k| 15k| 0.000000e+00 | 7.000000e+00 | Inf
717.92/718.12 c 718s| 1890k|154684 | 6326k| 3.3 | 103M| 47 | 6 | 146 | 20 | 146 | 20 | 24 | 169k| 15k| 0.000000e+00 | 7.000000e+00 | Inf
721.52/721.79 c 722s| 1900k|155759 | 6359k| 3.3 | 104M| 47 | 6 | 146 | 19 | 146 | 20 | 24 | 170k| 15k| 0.000000e+00 | 7.000000e+00 | Inf
725.23/725.42 c 725s| 1910k|156477 | 6392k| 3.3 | 105M| 47 | 6 | 146 | 16 | 146 | 20 | 24 | 171k| 15k| 0.000000e+00 | 7.000000e+00 | Inf
728.82/729.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
728.82/729.05 c 729s| 1920k|157109 | 6424k| 3.3 | 105M| 47 | 6 | 146 | 22 | 146 | 20 | 24 | 172k| 15k| 0.000000e+00 | 7.000000e+00 | Inf
732.53/732.70 c 733s| 1930k|157714 | 6457k| 3.3 | 106M| 47 | - | 146 | 26 | 146 | 20 | 24 | 173k| 15k| 0.000000e+00 | 7.000000e+00 | Inf
736.12/736.33 c 736s| 1940k|158388 | 6489k| 3.3 | 106M| 47 | 6 | 146 | 22 | 146 | 20 | 24 | 174k| 15k| 0.000000e+00 | 7.000000e+00 | Inf
739.73/739.92 c 740s| 1950k|158869 | 6521k| 3.3 | 107M| 47 | - | 146 | 20 | 146 | 20 | 24 | 175k| 15k| 0.000000e+00 | 7.000000e+00 | Inf
743.32/743.52 c 744s| 1960k|159401 | 6553k| 3.3 | 107M| 47 | - | 146 | 22 | 146 | 20 | 24 | 176k| 15k| 0.000000e+00 | 7.000000e+00 | Inf
746.92/747.16 c 747s| 1970k|160471 | 6585k| 3.3 | 108M| 47 | - | 146 | 24 | 0 | 0 | 24 | 177k| 15k| 0.000000e+00 | 7.000000e+00 | Inf
750.62/750.82 c 751s| 1980k|161196 | 6618k| 3.3 | 109M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 178k| 15k| 0.000000e+00 | 7.000000e+00 | Inf
754.21/754.40 c 754s| 1990k|161884 | 6649k| 3.3 | 109M| 47 | 6 | 146 | 29 | 146 | 20 | 24 | 179k| 15k| 0.000000e+00 | 7.000000e+00 | Inf
757.81/758.07 c 758s| 2000k|162629 | 6681k| 3.3 | 110M| 47 | - | 146 | 24 | 146 | 20 | 24 | 180k| 15k| 0.000000e+00 | 7.000000e+00 | Inf
761.42/761.67 c 762s| 2010k|163264 | 6713k| 3.3 | 111M| 47 | 6 | 146 | 26 | 146 | 20 | 24 | 181k| 15k| 0.000000e+00 | 7.000000e+00 | Inf
765.12/765.37 c 765s| 2020k|164032 | 6746k| 3.3 | 111M| 47 | - | 146 | 29 | 0 | 0 | 24 | 181k| 15k| 0.000000e+00 | 7.000000e+00 | Inf
768.81/769.05 c 769s| 2030k|164990 | 6779k| 3.3 | 112M| 47 | 6 | 146 | 31 | 146 | 20 | 24 | 182k| 15k| 0.000000e+00 | 7.000000e+00 | Inf
772.51/772.76 c 773s| 2040k|165695 | 6812k| 3.3 | 112M| 47 | 6 | 146 | 31 | 146 | 20 | 24 | 183k| 15k| 0.000000e+00 | 7.000000e+00 | Inf
776.11/776.33 c 776s| 2050k|166072 | 6843k| 3.3 | 113M| 47 | - | 146 | 28 | 146 | 20 | 24 | 184k| 15k| 0.000000e+00 | 7.000000e+00 | Inf
779.72/779.97 c 780s| 2060k|166936 | 6876k| 3.3 | 114M| 47 | - | 146 | 30 | 146 | 20 | 24 | 185k| 15k| 0.000000e+00 | 7.000000e+00 | Inf
783.31/783.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
783.31/783.56 c 784s| 2070k|167556 | 6908k| 3.3 | 114M| 47 | - | 146 | 31 | 146 | 20 | 24 | 186k| 15k| 0.000000e+00 | 7.000000e+00 | Inf
786.91/787.15 c 787s| 2080k|168437 | 6940k| 3.3 | 115M| 47 | 6 | 146 | 30 | 146 | 20 | 24 | 187k| 16k| 0.000000e+00 | 7.000000e+00 | Inf
790.51/790.74 c 791s| 2090k|168900 | 6971k| 3.3 | 115M| 47 | - | 146 | 25 | 0 | 0 | 24 | 188k| 16k| 0.000000e+00 | 7.000000e+00 | Inf
792.60/792.84 o 5
792.60/792.84 c * 793s| 2095k|162326 | 6990k| 3.3 | 104M| 47 | - | 146 | 22 | 146 | 20 | 24 | 189k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
794.11/794.34 c 794s| 2100k|162354 | 7003k| 3.3 | 104M| 47 | 6 | 146 | 19 | 146 | 20 | 24 | 189k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
797.60/797.84 c 798s| 2110k|162681 | 7035k| 3.3 | 105M| 47 | 6 | 146 | 23 | 146 | 20 | 24 | 190k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
801.11/801.33 c 801s| 2120k|163105 | 7067k| 3.3 | 105M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 190k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
804.50/804.78 c 805s| 2130k|163460 | 7098k| 3.3 | 105M| 47 | 6 | 146 | 24 | 146 | 20 | 24 | 191k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
808.10/808.33 c 808s| 2140k|164502 | 7130k| 3.3 | 106M| 47 | - | 146 | 39 | 0 | 0 | 24 | 192k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
812.30/812.53 c 813s| 2150k|164755 | 7160k| 3.3 | 106M| 47 | 6 | 146 | 33 | 146 | 20 | 24 | 192k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
815.80/816.06 c 816s| 2160k|165612 | 7192k| 3.3 | 107M| 47 | 6 | 146 | 26 | 146 | 20 | 24 | 193k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
819.30/819.54 c 820s| 2170k|166150 | 7223k| 3.3 | 108M| 47 | 6 | 146 | 29 | 146 | 20 | 24 | 194k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
822.80/823.02 c 823s| 2180k|166556 | 7254k| 3.3 | 108M| 47 | - | 146 | 26 | 146 | 20 | 24 | 195k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
826.30/826.54 c 827s| 2190k|166989 | 7286k| 3.3 | 108M| 47 | - | 146 | 25 | 146 | 20 | 24 | 195k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
829.80/830.02 c 830s| 2200k|167288 | 7317k| 3.3 | 109M| 47 | - | 146 | 24 | 0 | 0 | 24 | 196k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
833.29/833.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
833.29/833.52 c 834s| 2210k|168080 | 7349k| 3.3 | 109M| 47 | - | 146 | 29 | 146 | 20 | 24 | 197k| 16k| 0.000000e+00 | 5.000000e+00 | Inf
836.70/836.90 c 837s| 2220k|168344 | 7380k| 3.3 | 110M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 198k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
840.10/840.38 c 840s| 2230k|168960 | 7411k| 3.3 | 110M| 47 | 6 | 146 | 24 | 146 | 20 | 24 | 198k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
843.60/843.88 c 844s| 2240k|169781 | 7442k| 3.3 | 111M| 47 | - | 146 | 27 | 146 | 20 | 24 | 199k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
847.09/847.34 c 847s| 2250k|170011 | 7472k| 3.3 | 111M| 47 | - | 146 | 27 | 146 | 20 | 24 | 200k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
850.59/850.82 c 851s| 2260k|170762 | 7503k| 3.3 | 112M| 47 | 6 | 146 | 27 | 146 | 20 | 24 | 201k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
853.99/854.22 c 854s| 2270k|170816 | 7533k| 3.3 | 112M| 47 | - | 146 | 25 | 146 | 20 | 24 | 202k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
857.40/857.64 c 858s| 2280k|171103 | 7565k| 3.3 | 112M| 47 | - | 146 | 23 | 146 | 20 | 24 | 202k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
860.79/861.03 c 861s| 2290k|171261 | 7595k| 3.3 | 112M| 47 | 6 | 146 | 29 | 146 | 20 | 24 | 203k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
864.19/864.49 c 864s| 2300k|172207 | 7626k| 3.3 | 113M| 47 | 6 | 146 | 27 | 146 | 20 | 24 | 204k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
867.70/867.94 c 868s| 2310k|172504 | 7658k| 3.3 | 113M| 47 | - | 146 | 26 | 146 | 20 | 24 | 204k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
871.09/871.39 c 871s| 2320k|172589 | 7689k| 3.3 | 114M| 47 | 6 | 146 | 28 | 146 | 20 | 24 | 205k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
874.59/874.82 c 875s| 2330k|172732 | 7719k| 3.3 | 114M| 47 | 6 | 146 | 27 | 146 | 20 | 24 | 206k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
877.99/878.23 c 878s| 2340k|172942 | 7749k| 3.3 | 114M| 47 | - | 146 | 25 | 146 | 20 | 24 | 207k| 17k| 0.000000e+00 | 5.000000e+00 | Inf
881.39/881.64 c 882s| 2350k|173509 | 7780k| 3.3 | 115M| 47 | 6 | 146 | 28 | 146 | 20 | 24 | 207k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
884.68/884.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
884.68/884.99 c 885s| 2360k|173547 | 7810k| 3.3 | 115M| 47 | - | 146 | 24 | 146 | 20 | 24 | 208k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
888.19/888.49 c 888s| 2370k|173882 | 7842k| 3.3 | 115M| 47 | - | 146 | 23 | 146 | 20 | 24 | 209k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
891.78/892.03 c 892s| 2380k|174271 | 7875k| 3.3 | 115M| 47 | - | 146 | 22 | 146 | 20 | 24 | 209k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
895.28/895.57 c 896s| 2390k|174861 | 7908k| 3.3 | 116M| 47 | 6 | 146 | 22 | 146 | 20 | 24 | 210k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
898.68/898.96 c 899s| 2400k|174977 | 7939k| 3.3 | 116M| 47 | - | 146 | 21 | 146 | 20 | 24 | 211k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
902.09/902.35 c 902s| 2410k|175017 | 7969k| 3.3 | 116M| 47 | 6 | 146 | 26 | 146 | 20 | 24 | 211k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
905.48/905.72 c 906s| 2420k|175256 | 7998k| 3.3 | 117M| 47 | 6 | 146 | 22 | 146 | 20 | 24 | 212k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
908.88/909.13 c 909s| 2430k|175578 | 8027k| 3.3 | 117M| 47 | - | 146 | 24 | 146 | 20 | 24 | 213k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
912.28/912.53 c 913s| 2440k|175962 | 8057k| 3.3 | 117M| 47 | - | 146 | 22 | 146 | 20 | 24 | 214k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
915.67/915.94 c 916s| 2450k|176152 | 8086k| 3.3 | 117M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 214k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
919.18/919.43 c 919s| 2460k|176545 | 8117k| 3.3 | 118M| 47 | - | 146 | 23 | 146 | 20 | 24 | 215k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
922.58/922.88 c 923s| 2470k|176766 | 8148k| 3.3 | 118M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 216k| 18k| 0.000000e+00 | 5.000000e+00 | Inf
926.08/926.35 c 926s| 2480k|177006 | 8178k| 3.3 | 118M| 47 | 6 | 146 | 21 | 146 | 20 | 24 | 217k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
929.48/929.77 c 930s| 2490k|177726 | 8208k| 3.3 | 119M| 47 | 6 | 146 | 22 | 146 | 20 | 24 | 217k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
932.87/933.19 c 933s| 2500k|177714 | 8238k| 3.3 | 119M| 47 | 6 | 146 | 23 | 146 | 20 | 24 | 218k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
936.38/936.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
936.38/936.62 c 937s| 2510k|177644 | 8268k| 3.3 | 119M| 47 | - | 146 | 32 | 146 | 20 | 24 | 219k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
939.78/940.02 c 940s| 2520k|177696 | 8297k| 3.3 | 119M| 47 | 6 | 146 | 24 | 146 | 20 | 24 | 220k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
943.17/943.44 c 943s| 2530k|177706 | 8326k| 3.3 | 120M| 47 | - | 146 | 22 | 146 | 20 | 24 | 220k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
946.58/946.89 c 947s| 2540k|177572 | 8356k| 3.3 | 120M| 47 | 6 | 146 | 19 | 146 | 20 | 24 | 221k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
950.08/950.31 c 950s| 2550k|177575 | 8386k| 3.3 | 120M| 47 | 6 | 146 | 28 | 146 | 20 | 24 | 222k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
953.47/953.71 c 954s| 2560k|177487 | 8415k| 3.3 | 120M| 47 | - | 146 | 24 | 146 | 20 | 24 | 223k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
956.87/957.12 c 957s| 2570k|177764 | 8446k| 3.3 | 120M| 47 | - | 146 | 26 | 146 | 20 | 24 | 224k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
960.27/960.54 c 961s| 2580k|178075 | 8476k| 3.3 | 120M| 47 | - | 146 | 30 | 146 | 20 | 24 | 224k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
963.77/964.01 c 964s| 2590k|178985 | 8507k| 3.3 | 121M| 47 | 6 | 146 | 23 | 146 | 20 | 24 | 225k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
967.17/967.45 c 967s| 2600k|179618 | 8538k| 3.3 | 122M| 47 | 6 | 146 | 26 | 146 | 20 | 24 | 226k| 19k| 0.000000e+00 | 5.000000e+00 | Inf
970.56/970.86 c 971s| 2610k|179730 | 8568k| 3.3 | 122M| 47 | - | 146 | 25 | 0 | 0 | 24 | 227k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
974.07/974.30 c 974s| 2620k|179747 | 8599k| 3.3 | 122M| 47 | - | 146 | 25 | 146 | 20 | 24 | 228k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
977.47/977.72 c 978s| 2630k|179502 | 8629k| 3.3 | 122M| 47 | - | 146 | 25 | 146 | 20 | 24 | 228k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
980.77/981.10 c 981s| 2640k|179036 | 8660k| 3.3 | 122M| 47 | - | 146 | 26 | 146 | 20 | 24 | 229k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
984.27/984.52 c 985s| 2650k|179031 | 8689k| 3.3 | 122M| 47 | 6 | 146 | 27 | 146 | 20 | 24 | 230k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
987.67/987.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
987.67/987.97 c 988s| 2660k|179000 | 8720k| 3.3 | 122M| 47 | - | 146 | 26 | 0 | 0 | 24 | 231k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
991.16/991.40 c 991s| 2670k|178820 | 8750k| 3.3 | 122M| 47 | 6 | 146 | 24 | 146 | 20 | 24 | 232k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
994.47/994.76 c 995s| 2680k|178724 | 8779k| 3.3 | 122M| 47 | - | 146 | 22 | 146 | 20 | 24 | 232k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
997.96/998.21 c 998s| 2690k|178998 | 8809k| 3.3 | 122M| 47 | 6 | 146 | 24 | 146 | 20 | 24 | 233k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
1001.36/1001.66 c 1002s| 2700k|179487 | 8841k| 3.3 | 123M| 47 | 6 | 146 | 28 | 146 | 20 | 24 | 234k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
1004.86/1005.10 c 1005s| 2710k|179783 | 8872k| 3.3 | 123M| 47 | 6 | 146 | 23 | 146 | 20 | 24 | 235k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
1008.26/1008.54 c 1009s| 2720k|179723 | 8903k| 3.3 | 123M| 47 | - | 146 | 24 | 0 | 0 | 24 | 236k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
1011.66/1011.96 c 1012s| 2730k|179686 | 8934k| 3.3 | 123M| 47 | 6 | 146 | 23 | 146 | 20 | 24 | 236k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
1015.15/1015.40 c 1015s| 2740k|179777 | 8966k| 3.3 | 124M| 47 | 6 | 146 | 24 | 146 | 20 | 24 | 237k| 20k| 0.000000e+00 | 5.000000e+00 | Inf
1018.45/1018.77 c 1019s| 2750k|179524 | 8995k| 3.3 | 124M| 47 | - | 146 | 26 | 146 | 20 | 24 | 238k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
1021.85/1022.19 c 1022s| 2760k|179774 | 9026k| 3.3 | 124M| 47 | 6 | 146 | 30 | 146 | 20 | 24 | 239k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
1025.36/1025.67 c 1026s| 2770k|179774 | 9055k| 3.3 | 124M| 47 | - | 146 | 31 | 146 | 20 | 24 | 239k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
1028.76/1029.02 c 1029s| 2780k|179796 | 9085k| 3.3 | 124M| 47 | - | 146 | 28 | 146 | 20 | 24 | 240k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
1032.15/1032.45 c 1032s| 2790k|179827 | 9114k| 3.3 | 124M| 47 | 6 | 146 | 34 | 146 | 20 | 24 | 241k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
1035.55/1035.89 c 1036s| 2800k|180452 | 9145k| 3.3 | 125M| 47 | - | 146 | 26 | 146 | 20 | 24 | 242k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
1039.05/1039.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1039.05/1039.34 c 1039s| 2810k|180728 | 9175k| 3.3 | 125M| 47 | - | 146 | 28 | 146 | 20 | 24 | 242k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
1042.45/1042.78 c 1043s| 2820k|181073 | 9206k| 3.3 | 125M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 243k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
1045.75/1046.10 c 1046s| 2830k|180913 | 9235k| 3.3 | 125M| 47 | 6 | 146 | 28 | 146 | 20 | 24 | 244k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
1049.16/1049.45 c 1049s| 2840k|180489 | 9264k| 3.3 | 125M| 47 | - | 146 | 27 | 0 | 0 | 24 | 245k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
1052.55/1052.85 c 1053s| 2850k|180171 | 9294k| 3.3 | 125M| 47 | - | 146 | 24 | 146 | 20 | 24 | 245k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
1055.94/1056.20 c 1056s| 2860k|180112 | 9323k| 3.3 | 125M| 47 | 6 | 146 | 29 | 146 | 20 | 24 | 246k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
1059.35/1059.62 c 1060s| 2870k|180452 | 9352k| 3.3 | 125M| 47 | 6 | 146 | 36 | 146 | 20 | 24 | 247k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
1062.65/1062.99 c 1063s| 2880k|180153 | 9380k| 3.3 | 125M| 47 | - | 146 | 27 | 146 | 20 | 24 | 248k| 21k| 0.000000e+00 | 5.000000e+00 | Inf
1066.05/1066.39 c 1066s| 2890k|179966 | 9411k| 3.3 | 125M| 47 | - | 146 | 25 | 0 | 0 | 24 | 248k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
1069.44/1069.78 c 1070s| 2900k|180126 | 9441k| 3.3 | 126M| 47 | - | 146 | 21 | 0 | 0 | 24 | 249k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
1072.84/1073.18 c 1073s| 2910k|180337 | 9472k| 3.3 | 126M| 47 | 6 | 146 | 22 | 146 | 20 | 24 | 250k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
1077.54/1077.81 c 1078s| 2920k|180521 | 9501k| 3.3 | 126M| 47 | - | 146 | 21 | 146 | 20 | 24 | 251k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
1080.95/1081.27 c 1081s| 2930k|180645 | 9531k| 3.3 | 126M| 47 | - | 146 | 22 | 146 | 20 | 24 | 251k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
1084.35/1084.62 c 1085s| 2940k|180215 | 9560k| 3.3 | 126M| 47 | - | 146 | 22 | 0 | 0 | 24 | 252k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
1087.74/1088.02 c 1088s| 2950k|180183 | 9590k| 3.3 | 126M| 47 | - | 146 | 24 | 0 | 0 | 24 | 253k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
1091.14/1091.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1091.14/1091.48 c 1091s| 2960k|180594 | 9621k| 3.3 | 126M| 47 | - | 146 | 23 | 0 | 0 | 24 | 254k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
1094.54/1094.88 c 1095s| 2970k|180481 | 9651k| 3.2 | 126M| 47 | - | 146 | 23 | 0 | 0 | 24 | 254k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
1097.93/1098.28 c 1098s| 2980k|180314 | 9682k| 3.2 | 126M| 47 | - | 146 | 26 | 146 | 20 | 24 | 255k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
1101.34/1101.66 c 1102s| 2990k|180136 | 9712k| 3.2 | 126M| 47 | - | 146 | 30 | 146 | 20 | 24 | 256k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
1104.73/1105.03 c 1105s| 3000k|179951 | 9742k| 3.2 | 126M| 47 | - | 146 | 23 | 0 | 0 | 24 | 256k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
1108.14/1108.49 c 1108s| 3010k|179972 | 9771k| 3.2 | 126M| 47 | - | 146 | 23 | 146 | 20 | 24 | 257k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
1111.63/1111.90 c 1112s| 3020k|179813 | 9801k| 3.2 | 126M| 47 | - | 146 | 25 | 146 | 20 | 24 | 258k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
1115.04/1115.31 c 1115s| 3030k|179779 | 9832k| 3.2 | 126M| 47 | - | 146 | 27 | 146 | 20 | 24 | 259k| 22k| 0.000000e+00 | 5.000000e+00 | Inf
1118.44/1118.71 c 1119s| 3040k|179622 | 9861k| 3.2 | 127M| 47 | 6 | 146 | 31 | 146 | 20 | 24 | 259k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
1121.83/1122.17 c 1122s| 3050k|179857 | 9892k| 3.2 | 127M| 47 | 6 | 146 | 32 | 146 | 20 | 24 | 260k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
1125.43/1125.75 c 1126s| 3060k|181406 | 9923k| 3.2 | 128M| 47 | 6 | 146 | 26 | 146 | 20 | 24 | 261k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
1129.03/1129.34 c 1129s| 3070k|182531 | 9955k| 3.2 | 128M| 47 | 6 | 146 | 31 | 146 | 20 | 24 | 261k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
1132.53/1132.89 c 1133s| 3080k|183923 | 9987k| 3.2 | 129M| 47 | - | 146 | 35 | 146 | 20 | 24 | 262k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
1136.13/1136.41 c 1136s| 3090k|184692 | 10018k| 3.2 | 130M| 47 | 6 | 146 | 27 | 146 | 20 | 24 | 263k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
1139.62/1139.96 c 1140s| 3100k|185712 | 10049k| 3.2 | 131M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 264k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
1143.12/1143.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1143.12/1143.47 c 1143s| 3110k|186549 | 10079k| 3.2 | 131M| 47 | 6 | 146 | 28 | 146 | 20 | 24 | 264k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
1146.63/1146.99 c 1147s| 3120k|187268 | 10110k| 3.2 | 132M| 47 | - | 146 | 25 | 0 | 0 | 24 | 265k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
1150.12/1150.49 c 1150s| 3130k|188059 | 10141k| 3.2 | 132M| 47 | 6 | 146 | 29 | 146 | 20 | 24 | 266k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
1153.63/1153.94 c 1154s| 3140k|188952 | 10171k| 3.2 | 133M| 47 | - | 146 | 32 | 0 | 0 | 24 | 267k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
1157.02/1157.37 c 1157s| 3150k|189405 | 10200k| 3.2 | 133M| 47 | 6 | 146 | 30 | 146 | 20 | 24 | 267k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
1160.53/1160.82 c 1161s| 3160k|189822 | 10230k| 3.2 | 134M| 47 | 6 | 146 | 22 | 146 | 20 | 24 | 268k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
1163.92/1164.29 c 1164s| 3170k|190318 | 10260k| 3.2 | 134M| 47 | - | 146 | 27 | 146 | 20 | 24 | 269k| 23k| 0.000000e+00 | 5.000000e+00 | Inf
1167.42/1167.70 c 1168s| 3180k|190909 | 10289k| 3.2 | 135M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 269k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
1170.82/1171.14 c 1171s| 3190k|191248 | 10319k| 3.2 | 135M| 47 | 6 | 146 | 28 | 146 | 20 | 24 | 270k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
1174.22/1174.57 c 1175s| 3200k|191518 | 10348k| 3.2 | 135M| 47 | 6 | 146 | 29 | 146 | 20 | 24 | 271k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
1177.72/1178.01 c 1178s| 3210k|191867 | 10378k| 3.2 | 136M| 47 | 6 | 146 | 29 | 146 | 20 | 24 | 272k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
1181.13/1181.42 c 1181s| 3220k|192351 | 10407k| 3.2 | 136M| 47 | 6 | 146 | 29 | 146 | 20 | 24 | 272k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
1184.72/1185.08 c 1185s| 3230k|194213 | 10439k| 3.2 | 137M| 47 | - | 146 | 31 | 146 | 20 | 24 | 273k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
1188.22/1188.59 c 1189s| 3240k|195428 | 10469k| 3.2 | 138M| 47 | 6 | 146 | 23 | 146 | 20 | 24 | 274k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
1191.72/1192.08 c 1192s| 3250k|196548 | 10499k| 3.2 | 139M| 47 | 6 | 146 | 26 | 146 | 20 | 24 | 275k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
1195.22/1195.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1195.22/1195.57 c 1196s| 3260k|197251 | 10529k| 3.2 | 139M| 47 | - | 146 | 26 | 146 | 20 | 24 | 275k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
1198.72/1199.02 c 1199s| 3270k|198056 | 10559k| 3.2 | 140M| 47 | - | 146 | 29 | 146 | 20 | 24 | 276k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
1202.22/1202.53 c 1203s| 3280k|198722 | 10589k| 3.2 | 141M| 47 | 6 | 146 | 24 | 146 | 20 | 24 | 277k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
1205.71/1206.01 c 1206s| 3290k|199330 | 10619k| 3.2 | 141M| 47 | - | 146 | 20 | 146 | 20 | 24 | 277k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
1209.21/1209.50 c 1209s| 3300k|200115 | 10648k| 3.2 | 142M| 47 | 6 | 146 | 29 | 146 | 20 | 24 | 278k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
1212.61/1212.96 c 1213s| 3310k|200472 | 10677k| 3.2 | 142M| 47 | - | 146 | 25 | 146 | 20 | 24 | 279k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
1216.11/1216.49 c 1216s| 3320k|201458 | 10707k| 3.2 | 143M| 47 | 6 | 146 | 24 | 146 | 20 | 24 | 280k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
1219.61/1219.93 c 1220s| 3330k|201878 | 10738k| 3.2 | 143M| 47 | - | 146 | 31 | 146 | 20 | 24 | 280k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
1223.01/1223.38 c 1223s| 3340k|202035 | 10767k| 3.2 | 143M| 47 | - | 146 | 25 | 146 | 20 | 24 | 281k| 24k| 0.000000e+00 | 5.000000e+00 | Inf
1226.51/1226.89 c 1227s| 3350k|202320 | 10797k| 3.2 | 144M| 47 | - | 146 | 24 | 146 | 20 | 24 | 282k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
1230.10/1230.44 c 1230s| 3360k|202729 | 10826k| 3.2 | 144M| 47 | - | 146 | 29 | 146 | 20 | 24 | 283k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
1233.61/1233.93 c 1234s| 3370k|203004 | 10855k| 3.2 | 144M| 47 | - | 146 | 22 | 146 | 20 | 24 | 283k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
1237.11/1237.42 c 1237s| 3380k|202835 | 10885k| 3.2 | 145M| 47 | - | 146 | 22 | 146 | 20 | 24 | 284k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
1240.51/1240.87 c 1241s| 3390k|202828 | 10913k| 3.2 | 145M| 47 | - | 146 | 22 | 0 | 0 | 24 | 285k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
1244.00/1244.35 c 1244s| 3400k|203033 | 10943k| 3.2 | 145M| 47 | - | 146 | 35 | 146 | 20 | 24 | 286k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
1247.51/1247.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1247.51/1247.81 c 1248s| 3410k|203625 | 10971k| 3.2 | 145M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 287k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
1250.80/1251.13 c 1251s| 3420k|204242 | 10999k| 3.2 | 146M| 47 | - | 146 | 24 | 146 | 20 | 24 | 287k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
1254.20/1254.51 c 1254s| 3430k|204306 | 11026k| 3.2 | 146M| 47 | - | 146 | 28 | 0 | 0 | 24 | 288k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
1257.60/1257.94 c 1258s| 3440k|204450 | 11055k| 3.2 | 146M| 47 | 6 | 146 | 28 | 146 | 20 | 24 | 289k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
1261.10/1261.43 c 1261s| 3450k|204654 | 11085k| 3.2 | 147M| 47 | - | 146 | 34 | 146 | 20 | 24 | 290k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
1264.60/1264.92 c 1265s| 3460k|205023 | 11116k| 3.2 | 147M| 47 | 6 | 146 | 37 | 146 | 20 | 24 | 290k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
1268.00/1268.38 c 1268s| 3470k|205181 | 11145k| 3.2 | 147M| 47 | - | 146 | 31 | 146 | 20 | 24 | 291k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
1271.60/1271.95 c 1272s| 3480k|205899 | 11175k| 3.2 | 148M| 47 | 6 | 146 | 33 | 146 | 20 | 24 | 292k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
1275.00/1275.39 c 1275s| 3490k|205887 | 11203k| 3.2 | 148M| 47 | 6 | 146 | 30 | 146 | 20 | 24 | 293k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
1278.50/1278.80 c 1279s| 3500k|206046 | 11232k| 3.2 | 148M| 47 | - | 146 | 26 | 0 | 0 | 24 | 293k| 25k| 0.000000e+00 | 5.000000e+00 | Inf
1281.90/1282.24 c 1282s| 3510k|205997 | 11261k| 3.2 | 149M| 47 | 6 | 146 | 26 | 146 | 20 | 24 | 294k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
1285.30/1285.65 c 1286s| 3520k|205945 | 11289k| 3.2 | 149M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 295k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
1288.69/1289.09 c 1289s| 3530k|206022 | 11317k| 3.2 | 149M| 47 | 6 | 146 | 29 | 146 | 20 | 24 | 296k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
1292.20/1292.51 c 1292s| 3540k|206108 | 11346k| 3.2 | 149M| 47 | - | 146 | 28 | 146 | 20 | 24 | 296k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
1295.59/1295.94 c 1296s| 3550k|206206 | 11374k| 3.2 | 149M| 47 | - | 146 | 29 | 146 | 20 | 24 | 297k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
1298.99/1299.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1298.99/1299.38 c 1299s| 3560k|206207 | 11403k| 3.2 | 149M| 47 | 6 | 146 | 34 | 146 | 20 | 24 | 298k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
1302.39/1302.76 c 1303s| 3570k|206363 | 11431k| 3.2 | 150M| 47 | 6 | 146 | 35 | 146 | 20 | 24 | 299k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
1305.89/1306.20 c 1306s| 3580k|206633 | 11460k| 3.2 | 150M| 47 | - | 146 | 27 | 0 | 0 | 24 | 300k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
1309.28/1309.64 c 1310s| 3590k|206419 | 11489k| 3.2 | 150M| 47 | - | 146 | 24 | 146 | 20 | 24 | 300k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
1312.69/1313.06 c 1313s| 3600k|206874 | 11518k| 3.2 | 150M| 47 | 6 | 146 | 30 | 146 | 20 | 24 | 301k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
1316.08/1316.49 c 1316s| 3610k|206984 | 11547k| 3.2 | 151M| 47 | 6 | 146 | 30 | 146 | 20 | 24 | 302k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
1319.48/1319.88 c 1320s| 3620k|207005 | 11575k| 3.2 | 151M| 47 | - | 146 | 28 | 146 | 20 | 24 | 303k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
1322.89/1323.29 c 1323s| 3630k|206845 | 11603k| 3.2 | 151M| 47 | - | 146 | 31 | 146 | 20 | 24 | 304k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
1326.29/1326.66 c 1327s| 3640k|206675 | 11632k| 3.2 | 151M| 47 | - | 146 | 24 | 146 | 20 | 24 | 304k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
1329.69/1330.09 c 1330s| 3650k|206419 | 11660k| 3.2 | 151M| 47 | - | 146 | 28 | 146 | 20 | 24 | 305k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
1333.19/1333.53 c 1334s| 3660k|206399 | 11689k| 3.2 | 151M| 47 | 6 | 146 | 31 | 146 | 20 | 24 | 306k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
1336.58/1336.99 c 1337s| 3670k|206191 | 11718k| 3.2 | 151M| 47 | - | 146 | 30 | 146 | 20 | 24 | 307k| 26k| 0.000000e+00 | 5.000000e+00 | Inf
1339.98/1340.39 c 1340s| 3680k|205964 | 11745k| 3.2 | 151M| 47 | 6 | 146 | 31 | 146 | 20 | 24 | 307k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
1343.48/1343.84 c 1344s| 3690k|206554 | 11774k| 3.2 | 151M| 47 | 6 | 146 | 38 | 146 | 20 | 24 | 308k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
1346.88/1347.22 c 1347s| 3700k|206523 | 11801k| 3.2 | 151M| 47 | 6 | 146 | 33 | 146 | 20 | 24 | 309k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
1350.27/1350.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1350.27/1350.66 c 1351s| 3710k|206391 | 11829k| 3.2 | 152M| 47 | - | 146 | 32 | 146 | 20 | 24 | 310k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
1353.69/1354.09 c 1354s| 3720k|206082 | 11857k| 3.2 | 151M| 47 | 6 | 146 | 28 | 146 | 20 | 24 | 311k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
1357.18/1357.53 c 1358s| 3730k|206414 | 11887k| 3.2 | 152M| 47 | 6 | 146 | 28 | 146 | 20 | 24 | 312k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
1360.58/1360.95 c 1361s| 3740k|206375 | 11916k| 3.2 | 152M| 47 | - | 146 | 26 | 146 | 20 | 24 | 312k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
1364.08/1364.48 c 1364s| 3750k|206781 | 11947k| 3.2 | 152M| 47 | - | 146 | 27 | 146 | 20 | 24 | 313k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
1367.57/1367.92 c 1368s| 3760k|206437 | 11976k| 3.2 | 152M| 47 | 6 | 146 | 26 | 146 | 20 | 24 | 314k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
1370.97/1371.34 c 1371s| 3770k|206305 | 12004k| 3.2 | 152M| 47 | - | 146 | 32 | 146 | 20 | 24 | 315k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
1374.37/1374.77 c 1375s| 3780k|206251 | 12032k| 3.2 | 152M| 47 | 6 | 146 | 36 | 146 | 20 | 24 | 315k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
1377.87/1378.24 c 1378s| 3790k|206041 | 12062k| 3.2 | 152M| 47 | 6 | 146 | 24 | 146 | 20 | 24 | 316k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
1381.28/1381.67 c 1382s| 3800k|206278 | 12091k| 3.2 | 153M| 47 | 6 | 146 | 32 | 146 | 20 | 24 | 317k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
1384.77/1385.19 c 1385s| 3810k|206882 | 12121k| 3.2 | 153M| 47 | 6 | 146 | 33 | 146 | 20 | 24 | 318k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
1388.27/1388.68 c 1389s| 3820k|207192 | 12152k| 3.2 | 153M| 47 | - | 146 | 30 | 146 | 20 | 24 | 318k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
1391.87/1392.21 c 1392s| 3830k|208131 | 12182k| 3.2 | 154M| 47 | 6 | 146 | 35 | 146 | 20 | 24 | 319k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
1395.27/1395.68 c 1396s| 3840k|208731 | 12211k| 3.2 | 155M| 47 | 6 | 146 | 32 | 146 | 20 | 24 | 320k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
1398.77/1399.15 c 1399s| 3850k|209099 | 12240k| 3.2 | 155M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 321k| 27k| 0.000000e+00 | 5.000000e+00 | Inf
1402.18/1402.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1402.18/1402.56 c 1403s| 3860k|209126 | 12268k| 3.2 | 155M| 47 | 6 | 146 | 28 | 146 | 20 | 24 | 322k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1405.67/1406.02 c 1406s| 3870k|209170 | 12296k| 3.2 | 155M| 47 | - | 146 | 26 | 146 | 20 | 24 | 323k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1409.07/1409.43 c 1409s| 3880k|209361 | 12324k| 3.2 | 156M| 47 | - | 146 | 26 | 146 | 20 | 24 | 323k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1412.46/1412.87 c 1413s| 3890k|209577 | 12352k| 3.2 | 156M| 47 | 6 | 146 | 28 | 146 | 20 | 24 | 324k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1415.96/1416.35 c 1416s| 3900k|209632 | 12381k| 3.2 | 156M| 47 | 6 | 146 | 26 | 146 | 20 | 24 | 325k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1419.36/1419.72 c 1420s| 3910k|209798 | 12409k| 3.2 | 156M| 47 | - | 146 | 27 | 146 | 20 | 24 | 326k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1422.76/1423.18 c 1423s| 3920k|209529 | 12437k| 3.2 | 156M| 47 | 6 | 146 | 29 | 146 | 20 | 24 | 327k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1426.26/1426.64 c 1427s| 3930k|209531 | 12466k| 3.2 | 156M| 47 | - | 146 | 26 | 146 | 20 | 24 | 328k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1429.66/1430.09 c 1430s| 3940k|209471 | 12494k| 3.2 | 157M| 47 | 6 | 146 | 24 | 146 | 20 | 24 | 329k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1433.06/1433.49 c 1433s| 3950k|209184 | 12522k| 3.2 | 156M| 47 | - | 146 | 24 | 146 | 20 | 24 | 329k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1436.46/1436.88 c 1437s| 3960k|209029 | 12550k| 3.2 | 156M| 47 | - | 146 | 30 | 146 | 20 | 24 | 330k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1439.96/1440.37 c 1440s| 3970k|209277 | 12579k| 3.2 | 157M| 47 | - | 146 | 28 | 146 | 20 | 24 | 331k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1443.46/1443.83 c 1444s| 3980k|209460 | 12607k| 3.2 | 157M| 47 | 6 | 146 | 24 | 146 | 20 | 24 | 332k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1446.96/1447.31 c 1447s| 3990k|209118 | 12635k| 3.2 | 157M| 47 | 6 | 146 | 27 | 146 | 20 | 24 | 333k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1450.36/1450.72 c 1451s| 4000k|208919 | 12664k| 3.2 | 157M| 47 | - | 146 | 27 | 146 | 20 | 24 | 333k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1453.76/1454.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1453.76/1454.12 c 1454s| 4010k|208627 | 12692k| 3.2 | 157M| 47 | 6 | 146 | 34 | 146 | 20 | 24 | 334k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1457.16/1457.56 c 1458s| 4020k|208375 | 12720k| 3.2 | 157M| 47 | - | 146 | 39 | 146 | 20 | 24 | 335k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1460.55/1460.99 c 1461s| 4030k|208203 | 12748k| 3.2 | 157M| 47 | - | 146 | 33 | 0 | 0 | 24 | 336k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1463.95/1464.37 c 1464s| 4040k|207986 | 12776k| 3.2 | 156M| 47 | 6 | 146 | 28 | 146 | 20 | 24 | 336k| 28k| 0.000000e+00 | 5.000000e+00 | Inf
1467.35/1467.79 c 1468s| 4050k|207929 | 12805k| 3.2 | 157M| 47 | 6 | 146 | 32 | 146 | 20 | 24 | 337k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1470.85/1471.25 c 1471s| 4060k|208228 | 12835k| 3.2 | 157M| 47 | - | 146 | 32 | 146 | 20 | 24 | 338k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1474.25/1474.67 c 1475s| 4070k|208884 | 12863k| 3.2 | 157M| 47 | 6 | 146 | 31 | 146 | 20 | 24 | 339k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1477.65/1478.06 c 1478s| 4080k|208683 | 12891k| 3.2 | 157M| 47 | 6 | 146 | 33 | 146 | 20 | 24 | 340k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1481.05/1481.45 c 1481s| 4090k|208336 | 12919k| 3.2 | 157M| 47 | - | 146 | 39 | 0 | 0 | 24 | 340k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1484.44/1484.84 c 1485s| 4100k|208209 | 12947k| 3.2 | 157M| 47 | 6 | 146 | 27 | 146 | 20 | 24 | 341k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1487.85/1488.29 c 1488s| 4110k|207808 | 12977k| 3.2 | 157M| 47 | - | 146 | 23 | 146 | 20 | 24 | 342k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1491.35/1491.71 c 1492s| 4120k|207794 | 13006k| 3.2 | 157M| 47 | 6 | 146 | 23 | 146 | 20 | 24 | 343k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1494.64/1495.09 c 1495s| 4130k|207465 | 13035k| 3.2 | 157M| 47 | 6 | 146 | 23 | 146 | 20 | 24 | 344k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1498.05/1498.49 c 1498s| 4140k|207315 | 13063k| 3.2 | 157M| 47 | - | 146 | 26 | 146 | 20 | 24 | 344k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1501.45/1501.89 c 1502s| 4150k|207050 | 13092k| 3.2 | 157M| 47 | 6 | 146 | 30 | 146 | 20 | 24 | 345k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1504.94/1505.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1504.94/1505.31 c 1505s| 4160k|207139 | 13120k| 3.2 | 157M| 47 | 6 | 146 | 30 | 146 | 20 | 24 | 346k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1508.44/1508.80 c 1509s| 4170k|206935 | 13150k| 3.2 | 157M| 47 | - | 146 | 25 | 146 | 20 | 24 | 347k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1511.84/1512.22 c 1512s| 4180k|206928 | 13179k| 3.2 | 157M| 47 | 6 | 146 | 31 | 146 | 20 | 24 | 347k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1515.14/1515.58 c 1516s| 4190k|206541 | 13207k| 3.2 | 157M| 47 | - | 146 | 34 | 146 | 20 | 24 | 348k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1518.64/1519.01 c 1519s| 4200k|206516 | 13235k| 3.2 | 157M| 47 | 6 | 146 | 27 | 146 | 20 | 24 | 349k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1522.14/1522.57 c 1523s| 4210k|206657 | 13265k| 3.2 | 157M| 47 | 6 | 146 | 26 | 146 | 20 | 24 | 350k| 29k| 0.000000e+00 | 5.000000e+00 | Inf
1525.63/1526.01 c 1526s| 4220k|206554 | 13294k| 3.2 | 157M| 47 | - | 146 | 31 | 146 | 20 | 24 | 351k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1529.04/1529.45 c 1529s| 4230k|206548 | 13323k| 3.1 | 157M| 47 | - | 146 | 35 | 146 | 20 | 24 | 352k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1532.53/1532.90 c 1533s| 4240k|206550 | 13351k| 3.1 | 158M| 47 | - | 146 | 32 | 146 | 20 | 24 | 352k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1535.84/1536.29 c 1536s| 4250k|206291 | 13380k| 3.1 | 157M| 47 | - | 146 | 28 | 146 | 20 | 24 | 353k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1539.33/1539.70 c 1540s| 4260k|205981 | 13408k| 3.1 | 157M| 47 | - | 146 | 23 | 146 | 20 | 24 | 354k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1542.74/1543.12 c 1543s| 4270k|206428 | 13437k| 3.1 | 158M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 355k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1546.14/1546.54 c 1547s| 4280k|206264 | 13466k| 3.1 | 158M| 47 | - | 146 | 24 | 146 | 20 | 24 | 356k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1549.44/1549.88 c 1550s| 4290k|206033 | 13493k| 3.1 | 158M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 356k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1552.84/1553.29 c 1553s| 4300k|205671 | 13522k| 3.1 | 157M| 47 | - | 146 | 28 | 146 | 20 | 24 | 357k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1556.33/1556.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1556.33/1556.72 c 1557s| 4310k|205506 | 13551k| 3.1 | 157M| 47 | 6 | 146 | 28 | 146 | 20 | 24 | 358k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1559.63/1560.08 c 1560s| 4320k|205466 | 13578k| 3.1 | 157M| 47 | 6 | 146 | 26 | 146 | 20 | 24 | 359k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1563.13/1563.53 c 1564s| 4330k|205287 | 13608k| 3.1 | 157M| 47 | - | 146 | 25 | 146 | 20 | 24 | 359k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1566.53/1566.99 c 1567s| 4340k|205237 | 13637k| 3.1 | 157M| 47 | - | 146 | 26 | 146 | 20 | 24 | 360k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1569.93/1570.38 c 1570s| 4350k|205379 | 13666k| 3.1 | 158M| 47 | 6 | 146 | 27 | 146 | 20 | 24 | 361k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1573.32/1573.77 c 1574s| 4360k|204962 | 13694k| 3.1 | 157M| 47 | 6 | 146 | 29 | 146 | 20 | 24 | 362k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1576.73/1577.12 c 1577s| 4370k|204896 | 13722k| 3.1 | 157M| 47 | - | 146 | 32 | 146 | 20 | 24 | 362k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1580.02/1580.46 c 1580s| 4380k|204803 | 13750k| 3.1 | 157M| 47 | 6 | 146 | 28 | 146 | 20 | 24 | 363k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1583.43/1583.81 c 1584s| 4390k|204524 | 13778k| 3.1 | 157M| 47 | 6 | 146 | 24 | 146 | 20 | 24 | 364k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1586.72/1587.17 c 1587s| 4400k|204282 | 13806k| 3.1 | 157M| 47 | 6 | 146 | 26 | 146 | 20 | 24 | 365k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1590.23/1590.62 c 1591s| 4410k|204397 | 13836k| 3.1 | 157M| 47 | - | 146 | 27 | 146 | 20 | 24 | 365k| 30k| 0.000000e+00 | 5.000000e+00 | Inf
1593.62/1594.05 c 1594s| 4420k|204062 | 13864k| 3.1 | 157M| 47 | 6 | 146 | 29 | 146 | 20 | 24 | 366k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1597.02/1597.44 c 1597s| 4430k|203956 | 13893k| 3.1 | 157M| 47 | - | 146 | 26 | 146 | 20 | 24 | 367k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1600.42/1600.83 c 1601s| 4440k|203704 | 13921k| 3.1 | 157M| 47 | - | 146 | 20 | 146 | 20 | 24 | 368k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1603.82/1604.29 c 1604s| 4450k|203704 | 13951k| 3.1 | 157M| 47 | - | 146 | 24 | 146 | 20 | 24 | 368k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1607.32/1607.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1607.32/1607.77 c 1608s| 4460k|203925 | 13981k| 3.1 | 157M| 47 | - | 146 | 26 | 146 | 20 | 24 | 369k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1610.91/1611.32 c 1611s| 4470k|204852 | 14012k| 3.1 | 158M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 370k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1614.42/1614.85 c 1615s| 4480k|205447 | 14042k| 3.1 | 159M| 47 | 6 | 146 | 23 | 146 | 20 | 24 | 371k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1617.92/1618.33 c 1618s| 4490k|205541 | 14072k| 3.1 | 159M| 47 | - | 146 | 23 | 146 | 20 | 24 | 372k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1621.32/1621.75 c 1622s| 4500k|205880 | 14100k| 3.1 | 159M| 47 | 6 | 146 | 24 | 146 | 20 | 24 | 372k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1624.72/1625.17 c 1625s| 4510k|205917 | 14129k| 3.1 | 159M| 47 | - | 146 | 23 | 146 | 20 | 24 | 373k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1628.12/1628.59 c 1629s| 4520k|205690 | 14159k| 3.1 | 159M| 47 | 6 | 146 | 23 | 146 | 20 | 24 | 374k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1631.61/1632.04 c 1632s| 4530k|205670 | 14188k| 3.1 | 159M| 47 | 6 | 146 | 24 | 146 | 20 | 24 | 375k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1635.01/1635.49 c 1635s| 4540k|205402 | 14217k| 3.1 | 159M| 47 | - | 146 | 25 | 146 | 20 | 24 | 376k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1638.51/1638.91 c 1639s| 4550k|205662 | 14246k| 3.1 | 160M| 47 | - | 146 | 22 | 146 | 20 | 24 | 376k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1641.92/1642.31 c 1642s| 4560k|206000 | 14274k| 3.1 | 160M| 47 | - | 146 | 24 | 146 | 20 | 24 | 377k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1645.22/1645.63 c 1646s| 4570k|205480 | 14300k| 3.1 | 160M| 47 | - | 146 | 19 | 146 | 20 | 24 | 378k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1648.61/1649.08 c 1649s| 4580k|205236 | 14328k| 3.1 | 160M| 47 | 6 | 146 | 24 | 146 | 20 | 24 | 379k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1652.00/1652.48 c 1652s| 4590k|205298 | 14358k| 3.1 | 160M| 47 | 6 | 146 | 20 | 146 | 20 | 24 | 380k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1655.41/1655.82 c 1656s| 4600k|204775 | 14386k| 3.1 | 159M| 47 | - | 146 | 24 | 146 | 20 | 24 | 381k| 31k| 0.000000e+00 | 5.000000e+00 | Inf
1658.81/1659.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1658.81/1659.20 c 1659s| 4610k|203902 | 14413k| 3.1 | 158M| 47 | 6 | 146 | 22 | 146 | 20 | 24 | 382k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1662.20/1662.66 c 1663s| 4620k|203827 | 14442k| 3.1 | 158M| 47 | - | 146 | 21 | 0 | 0 | 24 | 382k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1665.61/1666.10 c 1666s| 4630k|203957 | 14470k| 3.1 | 159M| 47 | 6 | 146 | 21 | 146 | 20 | 24 | 383k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1669.11/1669.53 c 1670s| 4640k|204253 | 14498k| 3.1 | 159M| 47 | - | 146 | 21 | 146 | 20 | 24 | 384k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1672.51/1672.90 c 1673s| 4650k|203698 | 14526k| 3.1 | 159M| 47 | 6 | 146 | 24 | 146 | 20 | 24 | 385k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1675.91/1676.37 c 1676s| 4660k|203767 | 14555k| 3.1 | 159M| 47 | 6 | 146 | 28 | 146 | 20 | 24 | 386k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1679.41/1679.85 c 1680s| 4670k|204560 | 14584k| 3.1 | 159M| 47 | 6 | 146 | 27 | 146 | 20 | 24 | 387k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1682.90/1683.32 c 1683s| 4680k|205116 | 14613k| 3.1 | 160M| 47 | 6 | 146 | 20 | 146 | 20 | 24 | 388k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1686.40/1686.80 c 1687s| 4690k|205700 | 14643k| 3.1 | 160M| 47 | - | 146 | 22 | 146 | 20 | 24 | 389k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1689.80/1690.23 c 1690s| 4700k|206022 | 14672k| 3.1 | 161M| 47 | - | 146 | 25 | 146 | 20 | 24 | 389k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1693.30/1693.72 c 1694s| 4710k|206901 | 14701k| 3.1 | 161M| 47 | - | 146 | 22 | 0 | 0 | 24 | 390k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1696.70/1697.18 c 1697s| 4720k|206856 | 14730k| 3.1 | 161M| 47 | 6 | 146 | 23 | 146 | 20 | 24 | 391k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1700.21/1700.66 c 1701s| 4730k|206848 | 14759k| 3.1 | 161M| 47 | - | 146 | 24 | 0 | 0 | 24 | 392k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1703.60/1704.00 c 1704s| 4740k|206556 | 14786k| 3.1 | 161M| 47 | - | 146 | 19 | 146 | 20 | 24 | 393k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1707.00/1707.40 c 1707s| 4750k|206217 | 14814k| 3.1 | 161M| 47 | - | 146 | 18 | 146 | 20 | 24 | 394k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1710.30/1710.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1710.30/1710.77 c 1711s| 4760k|205699 | 14842k| 3.1 | 161M| 47 | - | 146 | 20 | 146 | 20 | 24 | 395k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1713.70/1714.14 c 1714s| 4770k|205909 | 14870k| 3.1 | 161M| 47 | - | 146 | 21 | 146 | 20 | 24 | 395k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1717.10/1717.55 c 1718s| 4780k|205495 | 14898k| 3.1 | 161M| 47 | 6 | 146 | 24 | 146 | 20 | 24 | 396k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1720.49/1720.97 c 1721s| 4790k|204663 | 14925k| 3.1 | 160M| 47 | - | 146 | 20 | 146 | 20 | 24 | 397k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1723.89/1724.39 c 1724s| 4800k|203941 | 14954k| 3.1 | 160M| 47 | 6 | 146 | 26 | 146 | 20 | 24 | 398k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1727.29/1727.79 c 1728s| 4810k|203881 | 14982k| 3.1 | 160M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 399k| 32k| 0.000000e+00 | 5.000000e+00 | Inf
1730.79/1731.26 c 1731s| 4820k|203642 | 15011k| 3.1 | 160M| 47 | 6 | 146 | 29 | 146 | 20 | 24 | 400k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1734.19/1734.64 c 1735s| 4830k|204098 | 15040k| 3.1 | 160M| 47 | - | 146 | 30 | 0 | 0 | 24 | 401k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1737.50/1737.98 c 1738s| 4840k|204127 | 15067k| 3.1 | 160M| 47 | 6 | 146 | 29 | 146 | 20 | 24 | 401k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1740.90/1741.39 c 1741s| 4850k|204009 | 15095k| 3.1 | 160M| 47 | - | 146 | 26 | 146 | 20 | 24 | 402k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1744.39/1744.81 c 1745s| 4860k|204750 | 15124k| 3.1 | 161M| 47 | - | 146 | 27 | 146 | 20 | 24 | 403k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1747.89/1748.30 c 1748s| 4870k|205537 | 15154k| 3.1 | 161M| 47 | - | 146 | 27 | 146 | 20 | 24 | 404k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1751.29/1751.73 c 1752s| 4880k|205970 | 15183k| 3.1 | 162M| 47 | 6 | 146 | 30 | 146 | 20 | 24 | 404k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1754.68/1755.17 c 1755s| 4890k|206021 | 15212k| 3.1 | 162M| 47 | - | 146 | 25 | 146 | 20 | 24 | 405k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1758.19/1758.60 c 1759s| 4900k|206049 | 15240k| 3.1 | 162M| 47 | - | 146 | 27 | 146 | 20 | 24 | 406k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1761.58/1762.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1761.58/1762.03 c 1762s| 4910k|206026 | 15269k| 3.1 | 162M| 47 | 6 | 146 | 26 | 146 | 20 | 24 | 407k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1764.98/1765.45 c 1765s| 4920k|205745 | 15297k| 3.1 | 162M| 47 | 6 | 146 | 23 | 146 | 20 | 24 | 408k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1768.39/1768.86 c 1769s| 4930k|206538 | 15325k| 3.1 | 163M| 47 | - | 146 | 24 | 146 | 20 | 24 | 408k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1771.69/1772.17 c 1772s| 4940k|206661 | 15352k| 3.1 | 163M| 47 | - | 146 | 24 | 146 | 20 | 24 | 409k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1775.08/1775.53 c 1776s| 4950k|206704 | 15380k| 3.1 | 163M| 47 | - | 146 | 27 | 0 | 0 | 24 | 410k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1778.48/1778.96 c 1779s| 4960k|206633 | 15408k| 3.1 | 163M| 47 | 6 | 146 | 28 | 146 | 20 | 24 | 411k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1781.88/1782.32 c 1782s| 4970k|206174 | 15435k| 3.1 | 163M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 412k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1785.38/1785.83 c 1786s| 4980k|206626 | 15465k| 3.1 | 163M| 47 | 6 | 146 | 25 | 146 | 20 | 24 | 413k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1788.78/1789.28 c 1789s| 4990k|206947 | 15495k| 3.1 | 163M| 47 | - | 146 | 23 | 146 | 20 | 24 | 413k| 33k| 0.000000e+00 | 5.000000e+00 | Inf
1789.58/1790.01 c
1789.58/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.58/1790.01 c Solving Time (sec) : 1790.00
1789.58/1790.01 c Solving Nodes : 4992141
1789.58/1790.01 c Primal Bound : +5.00000000000000e+00 (61 solutions)
1789.58/1790.01 c Dual Bound : +0.00000000000000e+00
1789.58/1790.01 c Gap : infinite
1789.58/1790.01 s SATISFIABLE
1789.58/1790.01 v -x146 -x145 -x144 -x143 x142 x141 x140 x139 -x138 x137 -x136 x135 -x134 x133 -x132 x131 x130 x129 -x128 -x127 x126 x125 x124 x123
1789.58/1790.01 v x122 -x121 -x120 x119 x118 x117 x116 -x115 x114 -x113 x112 x111 x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 x101 -x100
1789.58/1790.01 v -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75
1789.58/1790.01 v -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.58/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.58/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.58/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.58/1790.01 c Solving Time : 1790.00
1789.58/1790.01 c Original Problem :
1789.58/1790.01 c Problem name : HOME/instance-2703923-1278562838.opb
1789.58/1790.01 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.58/1790.01 c Constraints : 12 initial, 12 maximal
1789.58/1790.01 c Presolved Problem :
1789.58/1790.01 c Problem name : t_HOME/instance-2703923-1278562838.opb
1789.58/1790.01 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.58/1790.01 c Constraints : 6 initial, 145 maximal
1789.58/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.58/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.58/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.58/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.58/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.58/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.58/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1789.58/1790.01 c linear : 0.00 0 0 0 0 0 6 0 0
1789.58/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.58/1790.01 c root node : - 60 - - 60 - - - -
1789.58/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.58/1790.01 c integral : 0 0 0 2674453 0 864 18019 0 0 5311446
1789.58/1790.01 c linear : 6+ 7 6809967 0 0 836837 5358997 0 0 0
1789.58/1790.01 c logicor : 0+ 0 1533598 0 0 7147 127522 0 0 0
1789.58/1790.01 c countsols : 0 0 0 42 0 0 0 0 0 0
1789.58/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.58/1790.01 c integral : 34.25 0.00 0.00 34.25 0.00
1789.58/1790.01 c linear : 414.73 0.00 414.73 0.00 0.00
1789.58/1790.01 c logicor : 3.54 0.00 3.54 0.00 0.00
1789.58/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.58/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.58/1790.01 c vbounds : 2.63 2 0 0
1789.58/1790.01 c rootredcost : 2.70 57 0 60
1789.58/1790.01 c pseudoobj : 48.86 6817983 8169 354408
1789.58/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.58/1790.01 c propagation : 47.53 852043 398514 461679 46.0 14 30.7 -
1789.58/1790.01 c infeasible LP : 1.13 15063 15046 22975 31.5 3 25.7 0
1789.58/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.58/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.58/1790.01 c pseudo solution : 0.00 23 23 23 2.0 0 0.0 -
1789.58/1790.01 c applied globally : - - - 11559 22.9 - - -
1789.58/1790.01 c applied locally : - - - 402578 46.0 - - -
1789.58/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.58/1790.01 c cut pool : 0.00 5 - - 7 - (maximal pool size: 62)
1789.58/1790.01 c redcost : 61.65 3364529 0 14795933 0 0
1789.58/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.58/1790.01 c intobj : 0.00 0 0 0 0 0
1789.58/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.58/1790.01 c gomory : 0.01 6 0 0 0 0
1789.58/1790.01 c strongcg : 0.01 6 0 0 12 0
1789.58/1790.01 c cmir : 0.03 6 0 0 23 0
1789.58/1790.01 c flowcover : 0.04 6 0 0 42 0
1789.58/1790.01 c clique : 0.00 1 0 0 0 0
1789.58/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.58/1790.01 c mcf : 0.00 1 0 0 0 0
1789.58/1790.01 c rapidlearning : 0.08 1 0 0 0 65
1789.58/1790.01 c Pricers : Time Calls Vars
1789.58/1790.01 c problem variables: 0.00 0 0
1789.58/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.58/1790.01 c relpscost : 31.65 2674411 864 18019 0 0 5311446
1789.58/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.58/1790.01 c inference : 0.00 0 0 0 0 0 0
1789.58/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.58/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.58/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.58/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.58/1790.01 c random : 0.00 0 0 0 0 0 0
1789.58/1790.01 c Primal Heuristics : Time Calls Found
1789.58/1790.01 c LP solutions : 0.16 - 42
1789.58/1790.01 c pseudo solutions : 0.00 - 0
1789.58/1790.01 c feaspump : 0.38 1 0
1789.58/1790.01 c oneopt : 2.03 56 0
1789.58/1790.01 c crossover : 12.44 15 1
1789.58/1790.01 c linesearchdiving : 9.89 6727 4
1789.58/1790.01 c coefdiving : 16.74 6727 1
1789.58/1790.01 c pscostdiving : 11.68 6727 0
1789.58/1790.01 c fracdiving : 11.60 6727 2
1789.58/1790.01 c veclendiving : 9.77 6727 4
1789.58/1790.01 c guideddiving : 9.85 6728 2
1789.58/1790.01 c trivial : 0.00 2 0
1789.58/1790.01 c simplerounding : 1.35 0 0
1789.58/1790.01 c zirounding : 1.77 1000 0
1789.58/1790.01 c rounding : 2.99 24677 0
1789.58/1790.01 c shifting : 6.09 7117 0
1789.58/1790.01 c intshifting : 0.15 0 0
1789.58/1790.01 c twoopt : 0.00 0 0
1789.58/1790.01 c fixandinfer : 0.00 0 0
1789.58/1790.01 c intdiving : 0.00 0 0
1789.58/1790.01 c actconsdiving : 0.00 0 0
1789.58/1790.01 c objpscostdiving : 6.54 3359 0
1789.58/1790.01 c rootsoldiving : 5.93 1358 4
1789.58/1790.01 c octane : 0.00 0 0
1789.58/1790.01 c rens : 0.12 1 0
1789.58/1790.01 c rins : 0.00 0 0
1789.58/1790.01 c localbranching : 0.00 0 0
1789.58/1790.01 c mutation : 0.00 0 0
1789.58/1790.01 c dins : 0.00 0 0
1789.58/1790.01 c undercover : 0.00 0 0
1789.58/1790.01 c nlp : 1.55 0 0
1789.58/1790.01 c trysol : 2.37 0 0
1789.58/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.58/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.58/1790.01 c dual LP : 694.15 4653840 14692028 3.16 21165.55
1789.58/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.58/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.58/1790.01 c diving/probing LP: 40.89 325813 809896 2.49 19808.90
1789.58/1790.01 c strong branching : 7.75 33796 103580 3.06 13369.12
1789.58/1790.01 c (at root node) : - 9 466 51.78 -
1789.58/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.58/1790.01 c B&B Tree :
1789.58/1790.01 c number of runs : 1
1789.58/1790.01 c nodes : 4992141
1789.58/1790.01 c nodes (total) : 4992141
1789.58/1790.01 c nodes left : 206920
1789.58/1790.01 c max depth : 47
1789.58/1790.01 c max depth (total): 47
1789.58/1790.01 c backtracks : 1285009 (25.7%)
1789.58/1790.01 c delayed cutoffs : 77478
1789.58/1790.01 c repropagations : 136572 (458237 domain reductions, 76843 cutoffs)
1789.58/1790.01 c avg switch length: 5.25
1789.58/1790.01 c switching time : 129.28
1789.58/1790.01 c Solution :
1789.58/1790.01 c Solutions found : 61 (57 improvements)
1789.58/1790.01 c First Solution : +1.00900000000000e+03 (in run 1, after 1 nodes, 0.11 seconds, depth 0, found by <trysol>)
1789.58/1790.01 c Primal Bound : +5.00000000000000e+00 (in run 1, after 2095690 nodes, 792.79 seconds, depth 42, found by <relaxation>)
1789.58/1790.01 c Dual Bound : +0.00000000000000e+00
1789.58/1790.01 c Gap : infinite
1789.58/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.58/1790.01 c Root Iterations : 109
1790.47/1790.97 c Time complete: 1790.55.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703923-1278562838/watcher-2703923-1278562838 -o /tmp/evaluation-result-2703923-1278562838/solver-2703923-1278562838 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703923-1278562838.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 1076
/proc/meminfo: memFree=1589160/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=5824 CPUtime=0
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 816 0 0 0 0 0 0 0 18 0 1 0 24495536 5963776 730 1992294400 4194304 8395647 140734095712448 18446744073709551615 7355228 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1076/statm: 1456 732 349 1026 0 426 0
[startup+0.0922709 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 1076
/proc/meminfo: memFree=1589160/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=22812 CPUtime=0.08
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 4929 0 0 0 6 2 0 0 20 0 1 0 24495536 23359488 4487 1992294400 4194304 8395647 140734095712448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 5703 4487 597 1026 0 4673 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22812
[startup+0.101272 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 1076
/proc/meminfo: memFree=1589160/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=22812 CPUtime=0.09
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 4932 0 0 0 7 2 0 0 20 0 1 0 24495536 23359488 4490 1992294400 4194304 8395647 140734095712448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 5703 4490 597 1026 0 4673 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22812
[startup+0.301288 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 1076
/proc/meminfo: memFree=1589160/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=24100 CPUtime=0.29
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 5602 0 0 0 25 4 0 0 20 0 1 0 24495536 24678400 5160 1992294400 4194304 8395647 140734095712448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 6025 5160 621 1026 0 4995 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24100
[startup+0.70132 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 1076
/proc/meminfo: memFree=1589160/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=24100 CPUtime=0.69
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 5606 0 0 0 63 6 0 0 20 0 1 0 24495536 24678400 5164 1992294400 4194304 8395647 140734095712448 18446744073709551615 5540933 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 6025 5164 622 1026 0 4995 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24100
[startup+1.50138 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1077
/proc/meminfo: memFree=1570800/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=24100 CPUtime=1.5
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 5630 0 0 0 139 11 0 0 23 0 1 0 24495536 24678400 5188 1992294400 4194304 8395647 140734095712448 18446744073709551615 4962564 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 6025 5188 625 1026 0 4995 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 24100
[startup+3.10151 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1077
/proc/meminfo: memFree=1570428/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=24356 CPUtime=3.09
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 5691 0 0 0 291 18 0 0 25 0 1 0 24495536 24940544 5249 1992294400 4194304 8395647 140734095712448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 6089 5249 625 1026 0 5059 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24356
[startup+6.30177 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1077
/proc/meminfo: memFree=1569808/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=24356 CPUtime=6.29
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 5704 0 0 0 599 30 0 0 25 0 1 0 24495536 24940544 5262 1992294400 4194304 8395647 140734095712448 18446744073709551615 5027406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 6089 5262 625 1026 0 5059 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24356
[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1077
/proc/meminfo: memFree=1567328/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=26744 CPUtime=12.68
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 9222 0 0 0 1201 67 0 0 25 0 1 0 24495536 27385856 5887 1992294400 4194304 8395647 140734095712448 18446744073709551615 4655092 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 6686 5887 626 1026 0 5656 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 26744
[startup+25.5003 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1077
/proc/meminfo: memFree=1562368/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=31420 CPUtime=25.48
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 22859 0 0 0 2411 137 0 0 25 0 1 0 24495536 32174080 7127 1992294400 4194304 8395647 140734095712448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 7855 7127 626 1026 0 6825 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31420
[startup+51.1003 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1079
/proc/meminfo: memFree=1550092/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=42968 CPUtime=51.08
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 52159 0 0 0 4837 271 0 0 25 0 1 0 24495536 43999232 10101 1992294400 4194304 8395647 140734095712448 18446744073709551615 4629712 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 10742 10101 626 1026 0 9712 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 42968
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1079
/proc/meminfo: memFree=1539552/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=53836 CPUtime=102.28
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 77121 0 0 0 9720 508 0 0 25 0 1 0 24495536 55128064 12846 1992294400 4194304 8395647 140734095712448 18446744073709551615 5029616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 13459 12846 626 1026 0 12429 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 53836
[startup+162.301 s]
/proc/loadavg: 1.19 1.04 1.01 2/108 1081
/proc/meminfo: memFree=1524424/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=70272 CPUtime=162.26
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 88036 0 0 0 15441 785 0 0 25 0 1 0 24495536 71958528 16603 1992294400 4194304 8395647 140734095712448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 17568 16603 626 1026 0 16538 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 70272
[startup+222.301 s]
/proc/loadavg: 1.22 1.07 1.02 2/108 1083
/proc/meminfo: memFree=1524300/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=70272 CPUtime=222.24
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 90512 0 0 0 21184 1040 0 0 25 0 1 0 24495536 71958528 16604 1992294400 4194304 8395647 140734095712448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 17568 16604 626 1026 0 16538 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 70272
[startup+282.301 s]
/proc/loadavg: 1.08 1.05 1.01 2/108 1085
/proc/meminfo: memFree=1527152/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=66704 CPUtime=282.23
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 90512 0 0 0 26921 1302 0 0 25 0 1 0 24495536 68304896 15742 1992294400 4194304 8395647 140734095712448 18446744073709551615 5026819 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 16676 15742 626 1026 0 15646 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 66704
[startup+342.301 s]
/proc/loadavg: 1.03 1.04 1.00 2/108 1086
/proc/meminfo: memFree=1527152/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=66704 CPUtime=342.21
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 91374 0 0 0 32666 1555 0 0 25 0 1 0 24495536 68304896 15742 1992294400 4194304 8395647 140734095712448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 16676 15742 626 1026 0 15646 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 66704
[startup+402.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/108 1087
/proc/meminfo: memFree=1526036/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=69116 CPUtime=402.19
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 91945 0 0 0 38408 1811 0 0 25 0 1 0 24495536 70774784 16313 1992294400 4194304 8395647 140734095712448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 17279 16313 626 1026 0 16249 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 69116
[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 1089
/proc/meminfo: memFree=1520704/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=73688 CPUtime=462.19
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 93090 0 0 0 44158 2061 0 0 25 0 1 0 24495536 75456512 17458 1992294400 4194304 8395647 140734095712448 18446744073709551615 5029575 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 18422 17458 626 1026 0 17392 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 73688
[startup+522.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 1091
/proc/meminfo: memFree=1515000/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=79716 CPUtime=522.17
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 94624 0 0 0 49900 2317 0 0 25 0 1 0 24495536 81629184 18992 1992294400 4194304 8395647 140734095712448 18446744073709551615 5006061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 19929 18992 626 1026 0 18899 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 79716
[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 1093
/proc/meminfo: memFree=1500988/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=92900 CPUtime=582.16
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 97978 0 0 0 55647 2569 0 0 25 0 1 0 24495536 95129600 22346 1992294400 4194304 8395647 140734095712448 18446744073709551615 4766987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 23225 22346 626 1026 0 22195 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 92900
[startup+642.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 1094
/proc/meminfo: memFree=1484372/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=109096 CPUtime=642.15
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 102103 0 0 0 61395 2820 0 0 25 0 1 0 24495536 111714304 26471 1992294400 4194304 8395647 140734095712448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 27274 26471 626 1026 0 26244 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 109096
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1438740/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=153452 CPUtime=1002.06
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 120701 0 0 0 95859 4347 0 0 25 0 1 0 24495536 157134848 37709 1992294400 4194304 8395647 140734095712448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 38363 37709 626 1026 0 37333 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 153452
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1105
/proc/meminfo: memFree=1437376/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=154864 CPUtime=1062.05
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 121056 0 0 0 101605 4600 0 0 25 0 1 0 24495536 158580736 38064 1992294400 4194304 8395647 140734095712448 18446744073709551615 6003056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 38716 38064 626 1026 0 37686 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 154864
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1107
/proc/meminfo: memFree=1436136/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=155932 CPUtime=1122.03
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 123312 0 0 0 107338 4865 0 0 25 0 1 0 24495536 159674368 38331 1992294400 4194304 8395647 140734095712448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 38983 38331 626 1026 0 37953 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 155932
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1109
/proc/meminfo: memFree=1426712/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=165160 CPUtime=1182.02
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 125653 0 0 0 113082 5120 0 0 25 0 1 0 24495536 169123840 40672 1992294400 4194304 8395647 140734095712448 18446744073709551615 18446744073699065947 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 41290 40672 626 1026 0 40260 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 165160
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1110
/proc/meminfo: memFree=1418776/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=176728 CPUtime=1242
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 127555 0 0 0 118843 5357 0 0 25 0 1 0 24495536 180969472 42574 1992294400 4194304 8395647 140734095712448 18446744073709551615 5024897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 44182 42574 626 1026 0 43152 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 176728
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1111
/proc/meminfo: memFree=1414436/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=180760 CPUtime=1301.99
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 128593 0 0 0 124602 5597 0 0 25 0 1 0 24495536 185098240 43612 1992294400 4194304 8395647 140734095712448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 45190 43612 626 1026 0 44160 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 180760
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1113
/proc/meminfo: memFree=1409352/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=185884 CPUtime=1361.97
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 129862 0 0 0 130346 5851 0 0 25 0 1 0 24495536 190345216 44881 1992294400 4194304 8395647 140734095712448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 46471 44881 626 1026 0 45441 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 185884
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1115
/proc/meminfo: memFree=1408360/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=186720 CPUtime=1421.97
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 130100 0 0 0 136107 6090 0 0 25 0 1 0 24495536 191201280 45119 1992294400 4194304 8395647 140734095712448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 46680 45119 626 1026 0 45650 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 186720
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1117
/proc/meminfo: memFree=1407244/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=187776 CPUtime=1481.95
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 130341 0 0 0 141860 6335 0 0 25 0 1 0 24495536 192282624 45360 1992294400 4194304 8395647 140734095712448 18446744073709551615 5026819 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 46944 45360 626 1026 0 45914 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 187776
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1118
/proc/meminfo: memFree=1406004/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=188904 CPUtime=1541.93
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 130655 0 0 0 147612 6581 0 0 25 0 1 0 24495536 193437696 45674 1992294400 4194304 8395647 140734095712448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 47226 45674 626 1026 0 46196 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 188904
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1119
/proc/meminfo: memFree=1404764/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=190160 CPUtime=1601.92
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 130938 0 0 0 153364 6828 0 0 25 0 1 0 24495536 194723840 45957 1992294400 4194304 8395647 140734095712448 18446744073709551615 4706437 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 47540 45957 626 1026 0 46510 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 190160
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1121
/proc/meminfo: memFree=1403524/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=191304 CPUtime=1661.91
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 131225 0 0 0 159122 7069 0 0 25 0 1 0 24495536 195895296 46244 1992294400 4194304 8395647 140734095712448 18446744073709551615 6621899 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 47826 46244 626 1026 0 46796 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 191304
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1123
/proc/meminfo: memFree=1401416/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=193016 CPUtime=1721.89
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 131653 0 0 0 164871 7318 0 0 25 0 1 0 24495536 197648384 46672 1992294400 4194304 8395647 140734095712448 18446744073709551615 6119667 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 48254 46672 626 1026 0 47224 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 193016
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1128
/proc/meminfo: memFree=1398440/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=195728 CPUtime=1781.88
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 132331 0 0 0 170622 7566 0 0 25 0 1 0 24495536 200425472 47350 1992294400 4194304 8395647 140734095712448 18446744073709551615 5006802 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 48932 47350 626 1026 0 47902 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 195728
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1128
/proc/meminfo: memFree=1398440/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=195728 CPUtime=1785.08
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 132331 0 0 0 170932 7576 0 0 25 0 1 0 24495536 200425472 47350 1992294400 4194304 8395647 140734095712448 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 48932 47350 626 1026 0 47902 0
Current children cumulated CPU time (s) 1785.08
Current children cumulated vsize (KiB) 195728
[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1128
/proc/meminfo: memFree=1398440/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=195728 CPUtime=1788.28
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 132331 0 0 0 171239 7589 0 0 25 0 1 0 24495536 200425472 47350 1992294400 4194304 8395647 140734095712448 18446744073709551615 5026404 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1076/statm: 48932 47350 626 1026 0 47902 0
Current children cumulated CPU time (s) 1788.28
Current children cumulated vsize (KiB) 195728
[startup+1790.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1128
/proc/meminfo: memFree=1398192/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=196048 CPUtime=1789.87
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 132413 0 0 0 171394 7593 0 0 25 0 1 0 24495536 200753152 47432 1992294400 4194304 8395647 140734095712448 18446744073709551615 4653837 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1076/statm: 49012 47432 628 1026 0 47982 0
Current children cumulated CPU time (s) 1789.87
Current children cumulated vsize (KiB) 196048
[startup+1790.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1128
/proc/meminfo: memFree=1398192/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=196048 CPUtime=1790.28
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 132413 0 0 0 171435 7593 0 0 25 0 1 0 24495536 200753152 47432 1992294400 4194304 8395647 140734095712448 18446744073709551615 6345370 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1076/statm: 49012 47432 628 1026 0 47982 0
Current children cumulated CPU time (s) 1790.28
Current children cumulated vsize (KiB) 196048
[startup+1790.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1128
/proc/meminfo: memFree=1398192/2059040 swapFree=4139464/4192956
[pid=1076] ppid=1074 vsize=196048 CPUtime=1790.47
/proc/1076/stat : 1076 (pbscip.linux.x8) R 1074 1076 935 0 -1 4202496 132413 0 0 0 171454 7593 0 0 25 0 1 0 24495536 200753152 47432 1992294400 4194304 8395647 140734095712448 18446744073709551615 4665803 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1076/statm: 49012 47432 628 1026 0 47982 0
Current children cumulated CPU time (s) 1790.47
Current children cumulated vsize (KiB) 196048
Child status: 0
Real time (s): 1790.98
CPU time (s): 1790.56
CPU user time (s): 1714.6
CPU system time (s): 75.9575
CPU usage (%): 99.9768
Max. virtual memory (cumulated for all children) (KiB): 196048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1714.6
system time used= 75.9575
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132416
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 2294
runsolver used 2.69859 second user time and 8.74967 second system time
The end