0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
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-2693775-1277892127.wbo>
0.00/0.00 c original problem has 192 variables (171 bin, 0 int, 0 impl, 21 cont) and 47 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21 impls, 4 clqs
0.00/0.00 c (round 2) 0 del vars, 1 del conss, 21 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21 impls, 4 clqs
0.00/0.00 c (round 3) 0 del vars, 1 del conss, 21 chg bounds, 0 chg sides, 0 chg coeffs, 4 upgd conss, 21 impls, 4 clqs
0.00/0.01 c (0.0s) probing: 101/171 (59.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (4 rounds):
0.00/0.01 c 0 deleted vars, 1 deleted constraints, 21 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 21 implications, 4 cliques
0.00/0.01 c presolved problem has 192 variables (171 bin, 0 int, 0 impl, 21 cont) and 46 constraints
0.00/0.01 c 21 constraints of type <indicator>
0.00/0.01 c 4 constraints of type <setppc>
0.00/0.01 c 21 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 1.2.1.2
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1800
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 3420
0.00/0.01 c
0.00/0.01 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.01 c lp/solvefreq = -1
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 o 876
0.00/0.01 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.01 c y 0.0s| 1 | 0 | 0 | - | 537k| 0 | - | 192 | 46 | 0 | 0 | 0 | 0 | 0 | -- | 8.760000e+02 | Inf
0.00/0.01 c 0.0s| 1 | 2 | 0 | - | 537k| 0 | - | 192 | 46 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 8.760000e+02 | Inf
0.00/0.02 o 207
0.00/0.02 c * 0.0s| 196 | 189 | 0 | 0.0 | 644k| 84 | - | 192 | 64 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | 2.070000e+02 | Inf
0.00/0.02 o 138
0.00/0.02 c * 0.0s| 197 | 188 | 0 | 0.0 | 646k| 84 | - | 192 | 64 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | 1.380000e+02 | Inf
0.09/0.11 o 98
0.09/0.11 c * 0.1s| 1952 | 1654 | 0 | 0.0 |1667k| 96 | - | 192 | 783 | 0 | 0 | 0 | 817 | 0 | 0.000000e+00 | 9.800000e+01 | Inf
0.59/0.65 c 0.4s| 10000 | 8856 | 0 | 0.0 |5162k| 96 | - | 192 |1970 | 0 | 0 | 0 |3678 | 0 | 0.000000e+00 | 9.800000e+01 | Inf
1.29/1.32 c 0.9s| 20000 | 17250 | 0 | 0.0 |8501k| 96 | - | 192 | 908 | 0 | 0 | 0 |7869 | 0 | 0.000000e+00 | 9.800000e+01 | Inf
2.19/2.23 o 82
2.19/2.23 c * 1.6s| 29792 | 23748 | 0 | 0.0 | 12M| 96 | - | 192 |1094 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
2.19/2.24 c 1.6s| 30000 | 23941 | 0 | 0.0 | 12M| 96 | - | 192 |1004 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
2.69/2.79 c 1.9s| 40000 | 32626 | 0 | 0.0 | 16M| 96 | - | 192 | 970 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
3.30/3.33 c 2.3s| 50000 | 41134 | 0 | 0.0 | 19M| 96 | - | 192 | 912 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
3.79/3.86 c 2.6s| 60000 | 49711 | 0 | 0.0 | 23M| 96 | - | 192 |1017 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
4.39/4.43 c 2.9s| 70000 | 58167 | 0 | 0.0 | 26M| 96 | - | 192 |1023 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
4.89/4.99 c 3.3s| 80000 | 66543 | 0 | 0.0 | 30M| 96 | - | 192 |1121 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
5.50/5.58 c 3.7s| 90000 | 74871 | 0 | 0.0 | 33M| 96 | - | 192 |1200 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
6.19/6.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.19/6.20 c 4.0s|100000 | 83134 | 0 | 0.0 | 37M| 96 | - | 192 |1290 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
6.79/6.84 c 4.4s|110000 | 91257 | 0 | 0.0 | 40M| 96 | - | 192 |1467 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
7.39/7.49 c 4.8s|120000 | 99447 | 0 | 0.0 | 44M| 96 | - | 192 |1239 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
8.09/8.13 c 5.3s|130000 |107533 | 0 | 0.0 | 47M| 96 | - | 192 |1301 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
8.70/8.80 c 5.8s|140000 |115523 | 0 | 0.0 | 51M| 96 | - | 192 |1418 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
9.49/9.50 c 6.2s|150000 |123405 | 0 | 0.0 | 54M| 96 | - | 192 |1427 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
10.19/10.23 c 6.8s|160000 |131250 | 0 | 0.0 | 58M| 96 | - | 192 |1676 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
10.90/10.99 c 7.3s|170000 |139000 | 0 | 0.0 | 62M| 96 | - | 192 |1775 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
11.79/11.80 c 7.9s|180000 |146570 | 0 | 0.0 | 66M| 96 | - | 192 |2020 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
12.60/12.66 c 8.5s|190000 |153980 | 0 | 0.0 | 70M| 96 | - | 192 |2207 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
13.49/13.56 c 9.2s|200000 |161229 | 0 | 0.0 | 73M| 96 | - | 192 |2326 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
14.39/14.50 c 9.9s|210000 |168385 | 0 | 0.0 | 77M| 96 | - | 192 |2283 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
15.49/15.50 c 10.6s|220000 |175331 | 0 | 0.0 | 81M| 96 | - | 192 |2742 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
16.50/16.57 c 11.4s|230000 |182113 | 0 | 0.0 | 85M| 96 | - | 192 |2919 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
17.69/17.72 c 12.4s|240000 |188658 | 0 | 0.0 | 89M| 96 | - | 192 |3135 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
18.89/18.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.89/18.94 c 13.3s|250000 |194954 | 0 | 0.0 | 93M| 96 | - | 192 |3321 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
20.19/20.24 c 14.3s|260000 |200998 | 0 | 0.0 | 97M| 96 | - | 192 |3274 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
21.60/21.63 c 15.4s|270000 |206709 | 0 | 0.0 | 101M| 96 | - | 192 |3279 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
23.10/23.17 c 16.7s|280000 |211978 | 0 | 0.0 | 105M| 96 | - | 192 |4019 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
24.89/24.95 c 18.1s|290000 |217024 | 0 | 0.0 | 109M| 96 | - | 192 |4137 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
26.79/26.88 c 19.8s|300000 |221735 | 0 | 0.0 | 114M| 96 | - | 192 |4217 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
28.89/28.96 c 21.6s|310000 |225772 | 0 | 0.0 | 118M| 96 | - | 192 |4157 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
31.29/31.39 c 23.7s|320000 |228166 | 0 | 0.0 | 122M| 96 | - | 192 |2990 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
31.99/32.01 c 24.1s|330000 |237173 | 0 | 0.0 | 125M| 96 | - | 192 |1279 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
32.60/32.64 c 24.5s|340000 |245890 | 0 | 0.0 | 129M| 96 | - | 192 |1332 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
33.29/33.34 c 24.9s|350000 |254295 | 0 | 0.0 | 132M| 96 | - | 192 |1514 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
34.19/34.21 c 25.5s|360000 |261931 | 0 | 0.0 | 137M| 96 | - | 192 |2383 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
34.79/34.83 o 35
34.79/34.83 c *26.1s|364430 |246589 | 0 | 0.0 | 133M| 97 | - | 192 |4682 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
34.79/34.86 o 13
34.79/34.86 c *26.1s|364727 |245018 | 0 | 0.0 | 132M| 97 | - | 192 |4355 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
34.79/34.87 o 2
34.79/34.87 c *26.1s|364801 |244638 | 0 | 0.0 | 132M| 97 | - | 192 |4295 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
35.29/35.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.29/35.33 c 26.4s|370000 |248878 | 0 | 0.0 | 133M| 97 | - | 192 |2063 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
36.19/36.24 c 27.1s|380000 |256964 | 0 | 0.0 | 137M| 97 | - | 192 |2234 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
37.10/37.17 c 27.9s|390000 |264986 | 0 | 0.0 | 142M| 97 | - | 192 |2455 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
38.10/38.14 c 28.6s|400000 |272906 | 0 | 0.0 | 146M| 97 | - | 192 |2461 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
39.09/39.14 c 29.4s|410000 |280762 | 0 | 0.0 | 150M| 97 | - | 192 |2572 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
40.09/40.15 c 30.2s|420000 |288578 | 0 | 0.0 | 154M| 97 | - | 192 |2433 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
41.20/41.20 c 31.1s|430000 |296338 | 0 | 0.0 | 158M| 97 | - | 192 |2758 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
42.20/42.24 c 31.9s|440000 |304079 | 0 | 0.0 | 162M| 97 | - | 192 |2697 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
43.30/43.30 c 32.8s|450000 |311808 | 0 | 0.0 | 167M| 97 | - | 192 |2810 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
44.29/44.36 c 33.6s|460000 |319528 | 0 | 0.0 | 171M| 97 | - | 192 |2940 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
45.30/45.36 c 34.4s|470000 |327378 | 0 | 0.0 | 175M| 97 | - | 192 |2887 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
46.39/46.41 c 35.2s|480000 |335102 | 0 | 0.0 | 179M| 97 | - | 192 |2885 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
47.39/47.44 c 36.1s|490000 |342852 | 0 | 0.0 | 184M| 97 | - | 192 |2851 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
48.40/48.49 c 36.9s|500000 |350533 | 0 | 0.0 | 188M| 97 | - | 192 |3043 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
49.50/49.56 c 37.8s|510000 |358266 | 0 | 0.0 | 192M| 97 | - | 192 |3018 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
50.60/50.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.60/50.63 c 38.6s|520000 |365958 | 0 | 0.0 | 196M| 97 | - | 192 |2992 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
51.70/51.71 c 39.5s|530000 |373602 | 0 | 0.0 | 201M| 97 | - | 192 |3222 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
52.70/52.79 c 40.3s|540000 |381275 | 0 | 0.0 | 205M| 97 | - | 192 |3007 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
53.80/53.89 c 41.2s|550000 |388916 | 0 | 0.0 | 209M| 97 | - | 192 |2981 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
54.90/54.99 c 42.1s|560000 |396513 | 0 | 0.0 | 214M| 97 | - | 192 |2951 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
56.00/56.09 c 43.0s|570000 |404114 | 0 | 0.0 | 218M| 97 | - | 192 |3029 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
57.20/57.21 c 43.9s|580000 |411661 | 0 | 0.0 | 222M| 97 | - | 192 |3036 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
58.30/58.33 c 44.8s|590000 |419225 | 0 | 0.0 | 227M| 97 | - | 192 |3270 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
59.40/59.49 c 45.7s|600000 |426696 | 0 | 0.0 | 231M| 97 | - | 192 |3022 | 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
60.59/60.64 c 46.6s|610000 |434134 | 0 | 0.0 | 235M| 97 | - | 192 |3245 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
61.80/61.82 c 47.7s|620000 |441624 | 0 | 0.0 | 240M| 97 | - | 192 |3153 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
63.00/63.00 c 48.6s|630000 |449050 | 0 | 0.0 | 244M| 97 | - | 192 |3146 | 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
64.10/64.17 c 49.6s|640000 |456516 | 0 | 0.0 | 248M| 97 | - | 192 |3151 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
65.29/65.30 c 50.5s|650000 |464073 | 0 | 0.0 | 253M| 97 | - | 192 |3225 | 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
66.39/66.47 c 51.4s|660000 |471620 | 0 | 0.0 | 257M| 97 | - | 192 |3431 | 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
67.60/67.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.60/67.62 c 52.4s|670000 |479164 | 0 | 0.0 | 262M| 97 | - | 192 |3457 | 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
68.70/68.79 c 53.3s|680000 |486734 | 0 | 0.0 | 266M| 97 | - | 192 |3443 | 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
69.90/69.97 c 54.3s|690000 |494205 | 0 | 0.0 | 271M| 97 | - | 192 |3455 | 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
71.19/71.23 c 55.3s|700000 |501458 | 0 | 0.0 | 275M| 97 | - | 192 |3681 | 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
72.39/72.47 c 56.3s|710000 |508828 | 0 | 0.0 | 280M| 97 | - | 192 |3708 | 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
73.70/73.75 c 57.4s|720000 |516077 | 0 | 0.0 | 284M| 97 | - | 192 |3609 | 0 | 0 | 0 | 533k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
75.00/75.00 c 58.4s|730000 |523435 | 0 | 0.0 | 289M| 97 | - | 192 |3598 | 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
76.19/76.27 c 59.5s|740000 |530798 | 0 | 0.0 | 293M| 97 | - | 192 |3559 | 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
77.49/77.58 c 60.5s|750000 |537988 | 0 | 0.0 | 298M| 97 | - | 192 |3929 | 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
78.90/78.97 c 61.6s|760000 |545058 | 0 | 0.0 | 302M| 97 | - | 192 |3995 | 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
80.30/80.33 c 62.8s|770000 |552187 | 0 | 0.0 | 307M| 97 | - | 192 |3823 | 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
81.60/81.65 c 63.9s|780000 |559450 | 0 | 0.0 | 311M| 97 | - | 192 |3781 | 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
82.89/82.94 c 65.0s|790000 |566771 | 0 | 0.0 | 316M| 97 | - | 192 |3672 | 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
84.19/84.28 c 66.1s|800000 |573951 | 0 | 0.0 | 320M| 97 | - | 192 |3903 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
85.70/85.75 c 67.3s|810000 |580871 | 0 | 0.0 | 325M| 97 | - | 192 |4182 | 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
87.10/87.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.10/87.16 c 68.5s|820000 |587891 | 0 | 0.0 | 329M| 97 | - | 192 |4020 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
88.50/88.55 c 69.7s|830000 |595073 | 0 | 0.0 | 334M| 97 | - | 192 |4035 | 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
89.89/89.92 c 70.9s|840000 |602161 | 0 | 0.0 | 338M| 97 | - | 192 |3835 | 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
91.30/91.36 c 72.1s|850000 |609216 | 0 | 0.0 | 343M| 97 | - | 192 |3923 | 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
92.80/92.85 c 73.4s|860000 |616093 | 0 | 0.0 | 347M| 97 | - | 192 |4254 | 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
94.39/94.44 c 74.8s|870000 |622820 | 0 | 0.0 | 352M| 97 | - | 192 |4309 | 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
95.90/95.93 c 76.1s|880000 |629744 | 0 | 0.0 | 357M| 97 | - | 192 |4292 | 0 | 0 | 0 | 668k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
97.39/97.42 c 77.3s|890000 |636723 | 0 | 0.0 | 361M| 97 | - | 192 |4024 | 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
98.79/98.85 c 78.5s|900000 |643740 | 0 | 0.0 | 366M| 97 | - | 192 |4039 | 0 | 0 | 0 | 685k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
100.29/100.34 c 79.8s|910000 |650671 | 0 | 0.0 | 370M| 97 | - | 192 |4102 | 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
101.80/101.86 c 81.1s|920000 |657549 | 0 | 0.0 | 375M| 97 | - | 192 |4660 | 0 | 0 | 0 | 703k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
103.50/103.51 c 82.5s|930000 |664202 | 0 | 0.0 | 379M| 97 | - | 192 |4457 | 0 | 0 | 0 | 713k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
104.99/105.09 c 83.9s|940000 |671005 | 0 | 0.0 | 384M| 97 | - | 192 |4581 | 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
106.61/106.67 c 85.2s|950000 |677840 | 0 | 0.0 | 388M| 97 | - | 192 |4126 | 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
108.19/108.23 c 86.6s|960000 |684622 | 0 | 0.0 | 393M| 97 | - | 192 |4280 | 0 | 0 | 0 | 740k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
109.80/109.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.80/109.85 c 88.0s|970000 |691330 | 0 | 0.0 | 397M| 97 | - | 192 |4267 | 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
111.40/111.48 c 89.3s|980000 |698011 | 0 | 0.0 | 402M| 97 | - | 192 |4463 | 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
113.20/113.20 c 90.8s|990000 |704525 | 0 | 0.0 | 407M| 97 | - | 192 |5124 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
114.89/114.94 c 92.4s| 1000k|711113 | 0 | 0.0 | 412M| 97 | - | 192 |5103 | 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
116.60/116.63 c 93.8s| 1010k|717798 | 0 | 0.0 | 416M| 97 | - | 192 |4779 | 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
118.20/118.21 c 95.2s| 1020k|724668 | 0 | 0.0 | 421M| 97 | - | 192 |4852 | 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
119.80/119.89 c 96.6s| 1030k|731369 | 0 | 0.0 | 426M| 97 | - | 192 |5168 | 0 | 0 | 0 | 807k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
121.60/121.63 c 98.1s| 1040k|738008 | 0 | 0.0 | 430M| 97 | - | 192 |5125 | 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
123.39/123.49 c 99.8s| 1050k|744405 | 0 | 0.0 | 435M| 97 | - | 192 |5028 | 0 | 0 | 0 | 827k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
125.30/125.32 c 101s| 1060k|750840 | 0 | 0.0 | 440M| 97 | - | 192 |5544 | 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
127.20/127.25 c 103s| 1070k|757155 | 0 | 0.0 | 445M| 97 | - | 192 |5593 | 0 | 0 | 0 | 848k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
129.00/129.06 c 105s| 1080k|763628 | 0 | 0.0 | 449M| 97 | - | 192 |5164 | 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
130.81/130.81 c 106s| 1090k|770282 | 0 | 0.0 | 454M| 97 | - | 192 |5287 | 0 | 0 | 0 | 868k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
132.59/132.63 c 108s| 1100k|776757 | 0 | 0.0 | 458M| 97 | - | 192 |5176 | 0 | 0 | 0 | 878k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
134.40/134.45 c 109s| 1110k|783313 | 0 | 0.0 | 463M| 97 | - | 192 |5177 | 0 | 0 | 0 | 888k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
136.31/136.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
136.31/136.37 c 111s| 1120k|789630 | 0 | 0.0 | 468M| 97 | - | 192 |5510 | 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
138.20/138.28 c 113s| 1130k|795946 | 0 | 0.0 | 473M| 97 | - | 192 |5510 | 0 | 0 | 0 | 909k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
140.30/140.31 c 114s| 1140k|802047 | 0 | 0.0 | 478M| 97 | - | 192 |5939 | 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
142.19/142.26 c 116s| 1150k|808355 | 0 | 0.0 | 482M| 97 | - | 192 |5237 | 0 | 0 | 0 | 930k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
144.11/144.15 c 118s| 1160k|814757 | 0 | 0.0 | 487M| 97 | - | 192 |5464 | 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
146.10/146.12 c 120s| 1170k|821080 | 0 | 0.0 | 492M| 97 | - | 192 |5667 | 0 | 0 | 0 | 951k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
148.09/148.16 c 121s| 1180k|827283 | 0 | 0.0 | 497M| 97 | - | 192 |5779 | 0 | 0 | 0 | 962k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
150.29/150.33 c 123s| 1190k|833249 | 0 | 0.0 | 502M| 97 | - | 192 |5540 | 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
152.29/152.36 c 125s| 1200k|839402 | 0 | 0.0 | 506M| 97 | - | 192 |5715 | 0 | 0 | 0 | 984k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
154.49/154.56 c 127s| 1210k|845235 | 0 | 0.0 | 512M| 97 | - | 192 |6645 | 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
156.69/156.74 c 129s| 1220k|851189 | 0 | 0.0 | 516M| 97 | - | 192 |5592 | 0 | 0 | 0 |1007k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
158.80/158.84 c 131s| 1230k|857211 | 0 | 0.0 | 521M| 97 | - | 192 |5751 | 0 | 0 | 0 |1018k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
160.80/160.89 c 133s| 1240k|863313 | 0 | 0.0 | 526M| 97 | - | 192 |5834 | 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
163.00/163.09 c 135s| 1250k|869238 | 0 | 0.0 | 531M| 97 | - | 192 |5879 | 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
165.30/165.36 c 137s| 1260k|874994 | 0 | 0.0 | 536M| 97 | - | 192 |6212 | 0 | 0 | 0 |1053k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
167.50/167.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.50/167.57 c 139s| 1270k|880960 | 0 | 0.0 | 541M| 97 | - | 192 |5786 | 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
169.90/169.97 c 141s| 1280k|886470 | 0 | 0.0 | 546M| 97 | - | 192 |6784 | 0 | 0 | 0 |1077k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
172.20/172.21 c 143s| 1290k|892389 | 0 | 0.0 | 550M| 97 | - | 192 |5872 | 0 | 0 | 0 |1088k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
174.40/174.43 c 145s| 1300k|898255 | 0 | 0.0 | 555M| 97 | - | 192 |5979 | 0 | 0 | 0 |1100k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
176.60/176.64 c 147s| 1310k|904117 | 0 | 0.0 | 560M| 97 | - | 192 |5862 | 0 | 0 | 0 |1111k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
179.00/179.07 c 149s| 1320k|909623 | 0 | 0.0 | 565M| 97 | - | 192 |6124 | 0 | 0 | 0 |1123k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
181.41/181.41 c 151s| 1330k|915239 | 0 | 0.0 | 570M| 97 | - | 192 |6142 | 0 | 0 | 0 |1136k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
183.70/183.77 c 153s| 1340k|920822 | 0 | 0.0 | 575M| 97 | - | 192 |6313 | 0 | 0 | 0 |1148k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
186.10/186.10 c 155s| 1350k|926425 | 0 | 0.0 | 580M| 97 | - | 192 |6645 | 0 | 0 | 0 |1161k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
188.30/188.38 c 157s| 1360k|932036 | 0 | 0.0 | 585M| 97 | - | 192 |6092 | 0 | 0 | 0 |1173k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
190.70/190.73 c 159s| 1370k|937591 | 0 | 0.0 | 590M| 97 | - | 192 |6205 | 0 | 0 | 0 |1185k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
193.00/193.05 c 162s| 1380k|943197 | 0 | 0.0 | 595M| 97 | - | 192 |6518 | 0 | 0 | 0 |1198k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
195.50/195.52 c 164s| 1390k|948584 | 0 | 0.0 | 600M| 97 | - | 192 |6680 | 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
197.90/197.95 c 166s| 1400k|954064 | 0 | 0.0 | 605M| 97 | - | 192 |6549 | 0 | 0 | 0 |1224k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
200.40/200.43 c 168s| 1410k|959479 | 0 | 0.0 | 610M| 97 | - | 192 |6764 | 0 | 0 | 0 |1237k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
203.00/203.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.00/203.06 c 170s| 1420k|964630 | 0 | 0.0 | 615M| 97 | - | 192 |6751 | 0 | 0 | 0 |1251k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
205.40/205.46 c 173s| 1430k|970089 | 0 | 0.0 | 620M| 97 | - | 192 |6415 | 0 | 0 | 0 |1264k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
207.91/207.92 c 175s| 1440k|975486 | 0 | 0.0 | 625M| 97 | - | 192 |6517 | 0 | 0 | 0 |1277k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
210.60/210.67 c 177s| 1450k|980471 | 0 | 0.0 | 630M| 97 | - | 192 |6620 | 0 | 0 | 0 |1291k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
213.41/213.45 c 180s| 1460k|985518 | 0 | 0.0 | 635M| 97 | - | 192 |6871 | 0 | 0 | 0 |1305k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
216.30/216.32 c 182s| 1470k|990445 | 0 | 0.0 | 640M| 97 | - | 192 |7052 | 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
219.10/219.15 c 185s| 1480k|995492 | 0 | 0.0 | 645M| 97 | - | 192 |6495 | 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
222.00/222.01 c 188s| 1490k| 1000k| 0 | 0.0 | 650M| 97 | - | 192 |6637 | 0 | 0 | 0 |1347k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
224.81/224.89 c 190s| 1500k| 1005k| 0 | 0.0 | 655M| 97 | - | 192 |6807 | 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
227.90/227.96 c 193s| 1510k| 1009k| 0 | 0.0 | 660M| 97 | - | 192 |7003 | 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
230.80/230.85 c 196s| 1520k| 1014k| 0 | 0.0 | 665M| 97 | - | 192 |6977 | 0 | 0 | 0 |1390k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
233.90/233.99 c 199s| 1530k| 1018k| 0 | 0.0 | 670M| 97 | - | 192 |7327 | 0 | 0 | 0 |1405k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
237.00/237.08 c 201s| 1540k| 1023k| 0 | 0.0 | 675M| 97 | - | 192 |7315 | 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
240.10/240.13 c 204s| 1550k| 1028k| 0 | 0.0 | 680M| 97 | - | 192 |6860 | 0 | 0 | 0 |1434k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
243.40/243.41 c 207s| 1560k| 1032k| 0 | 0.0 | 685M| 97 | - | 192 |7033 | 0 | 0 | 0 |1450k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
246.70/246.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
246.70/246.76 c 210s| 1570k| 1036k| 0 | 0.0 | 690M| 97 | - | 192 |7514 | 0 | 0 | 0 |1466k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
250.00/250.08 c 213s| 1580k| 1040k| 0 | 0.0 | 695M| 97 | - | 192 |7169 | 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
253.20/253.28 c 216s| 1590k| 1045k| 0 | 0.0 | 700M| 97 | - | 192 |7076 | 0 | 0 | 0 |1497k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
256.31/256.37 c 219s| 1600k| 1049k| 0 | 0.0 | 705M| 97 | - | 192 |7107 | 0 | 0 | 0 |1511k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
259.61/259.65 c 222s| 1610k| 1054k| 0 | 0.0 | 710M| 97 | - | 192 |7035 | 0 | 0 | 0 |1527k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
263.01/263.05 c 225s| 1620k| 1058k| 0 | 0.0 | 715M| 97 | - | 192 |6956 | 0 | 0 | 0 |1542k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
266.50/266.55 c 229s| 1630k| 1062k| 0 | 0.0 | 720M| 97 | - | 192 |7507 | 0 | 0 | 0 |1559k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
270.10/270.16 c 232s| 1640k| 1066k| 0 | 0.0 | 725M| 97 | - | 192 |7555 | 0 | 0 | 0 |1575k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
273.71/273.70 c 235s| 1650k| 1070k| 0 | 0.0 | 730M| 97 | - | 192 |7381 | 0 | 0 | 0 |1591k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
277.11/277.19 c 238s| 1660k| 1074k| 0 | 0.0 | 735M| 97 | - | 192 |7381 | 0 | 0 | 0 |1607k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
280.70/280.78 c 242s| 1670k| 1077k| 0 | 0.0 | 740M| 97 | - | 192 |7425 | 0 | 0 | 0 |1624k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
284.71/284.71 c 245s| 1680k| 1081k| 0 | 0.0 | 745M| 97 | - | 192 |7690 | 0 | 0 | 0 |1641k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
288.50/288.51 c 249s| 1690k| 1084k| 0 | 0.0 | 750M| 97 | - | 192 |7407 | 0 | 0 | 0 |1658k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
292.01/292.00 c 252s| 1700k| 1088k| 0 | 0.0 | 755M| 97 | - | 192 |7614 | 0 | 0 | 0 |1675k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
295.71/295.72 c 256s| 1710k| 1092k| 0 | 0.0 | 760M| 97 | - | 192 |7481 | 0 | 0 | 0 |1691k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
299.70/299.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
299.70/299.71 c 259s| 1720k| 1095k| 0 | 0.0 | 765M| 97 | - | 192 |7753 | 0 | 0 | 0 |1709k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
303.70/303.76 c 263s| 1730k| 1098k| 0 | 0.0 | 770M| 97 | - | 192 |8127 | 0 | 0 | 0 |1727k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
307.70/307.73 c 267s| 1740k| 1102k| 0 | 0.0 | 774M| 97 | - | 192 |7559 | 0 | 0 | 0 |1745k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
311.50/311.58 c 270s| 1750k| 1105k| 0 | 0.0 | 779M| 97 | - | 192 |7664 | 0 | 0 | 0 |1762k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
315.62/315.69 c 274s| 1760k| 1108k| 0 | 0.0 | 784M| 97 | - | 192 |7834 | 0 | 0 | 0 |1780k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
320.01/320.04 c 278s| 1770k| 1111k| 0 | 0.0 | 789M| 97 | - | 192 |8208 | 0 | 0 | 0 |1800k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
324.30/324.30 c 282s| 1780k| 1114k| 0 | 0.0 | 794M| 97 | - | 192 |8020 | 0 | 0 | 0 |1818k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
328.40/328.43 c 286s| 1790k| 1117k| 0 | 0.0 | 799M| 97 | - | 192 |7825 | 0 | 0 | 0 |1836k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
332.61/332.62 c 290s| 1800k| 1120k| 0 | 0.0 | 803M| 97 | - | 192 |7865 | 0 | 0 | 0 |1854k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
337.11/337.16 c 294s| 1810k| 1122k| 0 | 0.0 | 808M| 97 | - | 192 |8218 | 0 | 0 | 0 |1875k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
341.50/341.58 c 298s| 1820k| 1125k| 0 | 0.0 | 813M| 97 | - | 192 |8066 | 0 | 0 | 0 |1894k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
345.81/345.83 c 302s| 1830k| 1128k| 0 | 0.0 | 818M| 97 | - | 192 |8021 | 0 | 0 | 0 |1911k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
350.70/350.74 c 307s| 1840k| 1130k| 0 | 0.0 | 822M| 97 | - | 192 |8682 | 0 | 0 | 0 |1933k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
355.31/355.38 c 311s| 1850k| 1132k| 0 | 0.0 | 827M| 97 | - | 192 |8287 | 0 | 0 | 0 |1953k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
359.91/359.95 c 315s| 1860k| 1135k| 0 | 0.0 | 832M| 97 | - | 192 |8283 | 0 | 0 | 0 |1971k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
364.90/364.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
364.90/364.92 c 320s| 1870k| 1136k| 0 | 0.0 | 836M| 97 | - | 192 |8642 | 0 | 0 | 0 |1992k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
369.71/369.74 c 324s| 1880k| 1138k| 0 | 0.0 | 840M| 97 | - | 192 |8107 | 0 | 0 | 0 |2013k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
374.11/374.11 c 328s| 1890k| 1141k| 0 | 0.0 | 845M| 97 | - | 192 |7742 | 0 | 0 | 0 |2031k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
379.21/379.23 c 333s| 1900k| 1142k| 0 | 0.0 | 849M| 97 | - | 192 |8483 | 0 | 0 | 0 |2053k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
384.21/384.20 c 338s| 1910k| 1144k| 0 | 0.0 | 854M| 97 | - | 192 |8121 | 0 | 0 | 0 |2073k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
389.51/389.52 c 343s| 1920k| 1145k| 0 | 0.0 | 858M| 97 | - | 192 |8897 | 0 | 0 | 0 |2095k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
394.61/394.61 c 348s| 1930k| 1147k| 0 | 0.0 | 862M| 97 | - | 192 |7695 | 0 | 0 | 0 |2115k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
399.71/399.74 c 352s| 1940k| 1148k| 0 | 0.0 | 866M| 97 | - | 192 |8681 | 0 | 0 | 0 |2136k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
404.61/404.62 c 357s| 1950k| 1149k| 0 | 0.0 | 871M| 97 | - | 192 |7784 | 0 | 0 | 0 |2156k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
410.01/410.02 c 362s| 1960k| 1150k| 0 | 0.0 | 875M| 97 | - | 192 |8100 | 0 | 0 | 0 |2178k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
415.31/415.34 c 367s| 1970k| 1150k| 0 | 0.0 | 878M| 97 | - | 192 |8016 | 0 | 0 | 0 |2200k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
420.51/420.59 c 372s| 1980k| 1151k| 0 | 0.0 | 882M| 97 | - | 192 |7772 | 0 | 0 | 0 |2221k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
426.31/426.30 c 377s| 1990k| 1150k| 0 | 0.0 | 885M| 97 | - | 192 |7831 | 0 | 0 | 0 |2243k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
431.92/431.90 c 382s| 2000k| 1150k| 0 | 0.0 | 888M| 97 | - | 192 |7509 | 0 | 0 | 0 |2262k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
434.42/434.50 c 385s| 2010k| 1155k| 0 | 0.0 | 889M| 97 | - | 192 |2050 | 0 | 0 | 0 |2273k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
435.31/435.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
435.31/435.33 c 385s| 2020k| 1164k| 0 | 0.0 | 893M| 97 | - | 192 |2054 | 0 | 0 | 0 |2279k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
436.11/436.19 c 386s| 2030k| 1172k| 0 | 0.0 | 897M| 97 | - | 192 |2108 | 0 | 0 | 0 |2285k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
437.01/437.09 c 387s| 2040k| 1181k| 0 | 0.0 | 901M| 97 | - | 192 |2025 | 0 | 0 | 0 |2290k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
437.92/437.97 c 387s| 2050k| 1189k| 0 | 0.0 | 905M| 97 | - | 192 |2080 | 0 | 0 | 0 |2296k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
438.82/438.87 c 388s| 2060k| 1198k| 0 | 0.0 | 909M| 97 | - | 192 |2224 | 0 | 0 | 0 |2302k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
439.71/439.79 c 389s| 2070k| 1206k| 0 | 0.0 | 913M| 97 | - | 192 |2207 | 0 | 0 | 0 |2308k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
440.71/440.71 c 389s| 2080k| 1214k| 0 | 0.0 | 917M| 97 | - | 192 |2237 | 0 | 0 | 0 |2315k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
441.61/441.64 c 390s| 2090k| 1222k| 0 | 0.0 | 921M| 97 | - | 192 |2229 | 0 | 0 | 0 |2321k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
442.51/442.59 c 391s| 2100k| 1230k| 0 | 0.0 | 926M| 97 | - | 192 |2309 | 0 | 0 | 0 |2328k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
443.61/443.61 c 392s| 2110k| 1238k| 0 | 0.0 | 930M| 97 | - | 192 |2737 | 0 | 0 | 0 |2335k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
444.61/444.66 c 392s| 2120k| 1246k| 0 | 0.0 | 934M| 97 | - | 192 |2952 | 0 | 0 | 0 |2342k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
445.71/445.72 c 393s| 2130k| 1254k| 0 | 0.0 | 939M| 97 | - | 192 |2976 | 0 | 0 | 0 |2350k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
446.81/446.85 c 394s| 2140k| 1262k| 0 | 0.0 | 943M| 97 | - | 192 |2823 | 0 | 0 | 0 |2358k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
448.01/448.00 c 395s| 2150k| 1270k| 0 | 0.0 | 948M| 97 | - | 192 |3044 | 0 | 0 | 0 |2366k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
449.21/449.20 c 396s| 2160k| 1277k| 0 | 0.0 | 952M| 97 | - | 192 |3077 | 0 | 0 | 0 |2374k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
450.42/450.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
450.42/450.44 c 397s| 2170k| 1285k| 0 | 0.0 | 957M| 97 | - | 192 |3299 | 0 | 0 | 0 |2383k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
451.71/451.71 c 398s| 2180k| 1292k| 0 | 0.0 | 961M| 97 | - | 192 |3412 | 0 | 0 | 0 |2391k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
452.91/452.99 c 399s| 2190k| 1299k| 0 | 0.0 | 966M| 97 | - | 192 |3871 | 0 | 0 | 0 |2400k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
454.31/454.34 c 400s| 2200k| 1307k| 0 | 0.0 | 971M| 97 | - | 192 |4120 | 0 | 0 | 0 |2409k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
455.81/455.82 c 401s| 2210k| 1314k| 0 | 0.0 | 976M| 97 | - | 192 |4281 | 0 | 0 | 0 |2420k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
457.41/457.41 c 403s| 2220k| 1320k| 0 | 0.0 | 981M| 97 | - | 192 |4695 | 0 | 0 | 0 |2431k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
459.11/459.12 c 404s| 2230k| 1327k| 0 | 0.0 | 986M| 97 | - | 192 |4675 | 0 | 0 | 0 |2443k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
460.82/460.90 c 406s| 2240k| 1333k| 0 | 0.0 | 991M| 97 | - | 192 |4940 | 0 | 0 | 0 |2455k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
462.71/462.74 c 407s| 2250k| 1340k| 0 | 0.0 | 996M| 97 | - | 192 |5187 | 0 | 0 | 0 |2468k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
464.62/464.63 c 409s| 2260k| 1346k| 0 | 0.0 |1002M| 97 | - | 192 |5352 | 0 | 0 | 0 |2481k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
466.71/466.73 c 411s| 2270k| 1351k| 0 | 0.0 |1007M| 97 | - | 192 |5062 | 0 | 0 | 0 |2495k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
468.81/468.85 c 413s| 2280k| 1357k| 0 | 0.0 |1012M| 97 | - | 192 |4638 | 0 | 0 | 0 |2509k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
471.01/471.02 c 414s| 2290k| 1362k| 0 | 0.0 |1017M| 97 | - | 192 |4576 | 0 | 0 | 0 |2523k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
473.51/473.55 c 417s| 2300k| 1367k| 0 | 0.0 |1023M| 97 | - | 192 |5434 | 0 | 0 | 0 |2540k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
476.01/476.02 c 419s| 2310k| 1372k| 0 | 0.0 |1028M| 97 | - | 192 |5129 | 0 | 0 | 0 |2556k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
478.71/478.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
478.71/478.78 c 421s| 2320k| 1376k| 0 | 0.0 |1034M| 97 | - | 192 |5213 | 0 | 0 | 0 |2575k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
481.82/481.85 c 424s| 2330k| 1379k| 0 | 0.0 |1039M| 97 | - | 192 |5897 | 0 | 0 | 0 |2595k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
485.51/485.55 c 428s| 2340k| 1382k| 0 | 0.0 |1044M| 97 | - | 192 |6517 | 0 | 0 | 0 |2618k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
490.92/490.95 c 433s| 2350k| 1382k| 0 | 0.0 |1048M| 97 | - | 192 |8317 | 0 | 0 | 0 |2647k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
493.71/493.76 c 435s| 2360k| 1387k| 0 | 0.0 |1050M| 97 | - | 192 |4231 | 0 | 0 | 0 |2661k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
495.22/495.25 c 436s| 2370k| 1395k| 0 | 0.0 |1054M| 97 | - | 192 |4753 | 0 | 0 | 0 |2670k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
496.71/496.76 c 438s| 2380k| 1402k| 0 | 0.0 |1058M| 97 | - | 192 |4836 | 0 | 0 | 0 |2679k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
498.42/498.46 c 439s| 2390k| 1410k| 0 | 0.0 |1062M| 97 | - | 192 |5088 | 0 | 0 | 0 |2688k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
499.92/499.97 c 440s| 2400k| 1417k| 0 | 0.0 |1066M| 97 | - | 192 |4945 | 0 | 0 | 0 |2696k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
501.62/501.63 c 442s| 2410k| 1425k| 0 | 0.0 |1070M| 97 | - | 192 |5332 | 0 | 0 | 0 |2704k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
503.21/503.27 c 443s| 2420k| 1432k| 0 | 0.0 |1073M| 97 | - | 192 |5167 | 0 | 0 | 0 |2713k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
505.01/505.08 c 445s| 2430k| 1439k| 0 | 0.0 |1077M| 97 | - | 192 |5157 | 0 | 0 | 0 |2723k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
506.82/506.81 c 446s| 2440k| 1447k| 0 | 0.0 |1081M| 97 | - | 192 |5537 | 0 | 0 | 0 |2732k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
508.52/508.55 c 448s| 2450k| 1454k| 0 | 0.0 |1085M| 97 | - | 192 |5660 | 0 | 0 | 0 |2742k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
510.11/510.18 c 449s| 2460k| 1461k| 0 | 0.0 |1089M| 97 | - | 192 |5488 | 0 | 0 | 0 |2750k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
511.91/511.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
511.91/511.94 c 451s| 2470k| 1468k| 0 | 0.0 |1093M| 97 | - | 192 |5857 | 0 | 0 | 0 |2759k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
513.51/513.58 c 452s| 2480k| 1476k| 0 | 0.0 |1097M| 97 | - | 192 |5889 | 0 | 0 | 0 |2768k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
515.32/515.30 c 454s| 2490k| 1483k| 0 | 0.0 |1101M| 97 | - | 192 |5787 | 0 | 0 | 0 |2777k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
516.92/516.98 c 455s| 2500k| 1490k| 0 | 0.0 |1104M| 97 | - | 192 |5618 | 0 | 0 | 0 |2786k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
518.82/518.88 c 457s| 2510k| 1498k| 0 | 0.0 |1108M| 97 | - | 192 |5857 | 0 | 0 | 0 |2794k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
520.71/520.73 c 459s| 2520k| 1505k| 0 | 0.0 |1112M| 97 | - | 192 |6107 | 0 | 0 | 0 |2803k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
522.62/522.67 c 460s| 2530k| 1512k| 0 | 0.0 |1116M| 97 | - | 192 |6247 | 0 | 0 | 0 |2813k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
524.51/524.55 c 462s| 2540k| 1519k| 0 | 0.0 |1120M| 97 | - | 192 |6295 | 0 | 0 | 0 |2823k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
526.42/526.48 c 464s| 2550k| 1526k| 0 | 0.0 |1124M| 97 | - | 192 |6124 | 0 | 0 | 0 |2832k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
528.31/528.32 c 465s| 2560k| 1533k| 0 | 0.0 |1128M| 97 | - | 192 |6201 | 0 | 0 | 0 |2841k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
530.42/530.46 c 467s| 2570k| 1540k| 0 | 0.0 |1132M| 97 | - | 192 |6702 | 0 | 0 | 0 |2851k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
532.51/532.51 c 469s| 2580k| 1547k| 0 | 0.0 |1136M| 97 | - | 192 |6489 | 0 | 0 | 0 |2860k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
534.52/534.59 c 471s| 2590k| 1554k| 0 | 0.0 |1140M| 97 | - | 192 |6480 | 0 | 0 | 0 |2870k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
536.51/536.54 c 473s| 2600k| 1561k| 0 | 0.0 |1144M| 97 | - | 192 |6485 | 0 | 0 | 0 |2880k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
538.61/538.61 c 475s| 2610k| 1568k| 0 | 0.0 |1148M| 97 | - | 192 |6540 | 0 | 0 | 0 |2890k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
540.72/540.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
540.72/540.72 c 476s| 2620k| 1575k| 0 | 0.0 |1152M| 97 | - | 192 |6782 | 0 | 0 | 0 |2900k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
543.21/543.21 c 479s| 2630k| 1582k| 0 | 0.0 |1157M| 97 | - | 192 |7382 | 0 | 0 | 0 |2911k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
545.32/545.33 c 481s| 2640k| 1588k| 0 | 0.0 |1161M| 97 | - | 192 |7160 | 0 | 0 | 0 |2921k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
547.52/547.54 c 483s| 2650k| 1595k| 0 | 0.0 |1165M| 97 | - | 192 |7021 | 0 | 0 | 0 |2931k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
549.62/549.60 c 484s| 2660k| 1602k| 0 | 0.0 |1168M| 97 | - | 192 |6781 | 0 | 0 | 0 |2940k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
551.72/551.77 c 486s| 2670k| 1609k| 0 | 0.0 |1172M| 97 | - | 192 |6878 | 0 | 0 | 0 |2950k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
554.02/554.08 c 488s| 2680k| 1616k| 0 | 0.0 |1177M| 97 | - | 192 |6958 | 0 | 0 | 0 |2961k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
556.31/556.36 c 491s| 2690k| 1623k| 0 | 0.0 |1181M| 97 | - | 192 |7050 | 0 | 0 | 0 |2971k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
558.73/558.79 c 493s| 2700k| 1629k| 0 | 0.0 |1185M| 97 | - | 192 |7574 | 0 | 0 | 0 |2982k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
561.21/561.23 c 495s| 2710k| 1636k| 0 | 0.0 |1190M| 97 | - | 192 |7757 | 0 | 0 | 0 |2993k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
563.62/563.63 c 497s| 2720k| 1642k| 0 | 0.0 |1193M| 97 | - | 192 |7402 | 0 | 0 | 0 |3003k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
565.92/565.92 c 499s| 2730k| 1649k| 0 | 0.0 |1197M| 97 | - | 192 |7157 | 0 | 0 | 0 |3013k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
568.12/568.13 c 501s| 2740k| 1656k| 0 | 0.0 |1201M| 97 | - | 192 |7090 | 0 | 0 | 0 |3023k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
570.42/570.48 c 503s| 2750k| 1663k| 0 | 0.0 |1206M| 97 | - | 192 |7354 | 0 | 0 | 0 |3033k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
572.92/573.00 c 505s| 2760k| 1670k| 0 | 0.0 |1210M| 97 | - | 192 |7342 | 0 | 0 | 0 |3043k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
575.51/575.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
575.51/575.50 c 508s| 2770k| 1676k| 0 | 0.0 |1214M| 97 | - | 192 |7703 | 0 | 0 | 0 |3054k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
577.92/577.91 c 510s| 2780k| 1683k| 0 | 0.0 |1218M| 97 | - | 192 |7617 | 0 | 0 | 0 |3064k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
580.62/580.66 c 512s| 2790k| 1689k| 0 | 0.0 |1223M| 97 | - | 192 |8416 | 0 | 0 | 0 |3076k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
583.42/583.44 c 515s| 2800k| 1695k| 0 | 0.0 |1227M| 97 | - | 192 |8180 | 0 | 0 | 0 |3088k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
586.01/586.07 c 517s| 2810k| 1702k| 0 | 0.0 |1231M| 97 | - | 192 |7964 | 0 | 0 | 0 |3098k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
588.43/588.47 c 520s| 2820k| 1709k| 0 | 0.0 |1235M| 97 | - | 192 |7844 | 0 | 0 | 0 |3109k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
591.01/591.05 c 522s| 2830k| 1715k| 0 | 0.0 |1239M| 97 | - | 192 |7692 | 0 | 0 | 0 |3119k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
593.52/593.59 c 524s| 2840k| 1722k| 0 | 0.0 |1243M| 97 | - | 192 |8023 | 0 | 0 | 0 |3130k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
596.12/596.20 c 527s| 2850k| 1729k| 0 | 0.0 |1248M| 97 | - | 192 |8028 | 0 | 0 | 0 |3141k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
598.72/598.74 c 529s| 2860k| 1735k| 0 | 0.0 |1252M| 97 | - | 192 |7881 | 0 | 0 | 0 |3151k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
601.41/601.46 c 531s| 2870k| 1742k| 0 | 0.0 |1256M| 97 | - | 192 |7891 | 0 | 0 | 0 |3162k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
604.02/604.09 c 534s| 2880k| 1748k| 0 | 0.0 |1260M| 97 | - | 192 |8047 | 0 | 0 | 0 |3173k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
607.42/607.43 c 537s| 2890k| 1754k| 0 | 0.0 |1265M| 97 | - | 192 |9605 | 0 | 0 | 0 |3186k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
610.43/610.44 c 540s| 2900k| 1760k| 0 | 0.0 |1269M| 97 | - | 192 |8801 | 0 | 0 | 0 |3198k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
613.22/613.25 c 542s| 2910k| 1766k| 0 | 0.0 |1273M| 97 | - | 192 |8451 | 0 | 0 | 0 |3209k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
616.02/616.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
616.02/616.03 c 545s| 2920k| 1773k| 0 | 0.0 |1277M| 97 | - | 192 |8266 | 0 | 0 | 0 |3220k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
618.52/618.57 c 547s| 2930k| 1779k| 0 | 0.0 |1281M| 97 | - | 192 |8153 | 0 | 0 | 0 |3230k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
621.22/621.25 c 550s| 2940k| 1786k| 0 | 0.0 |1286M| 97 | - | 192 |8170 | 0 | 0 | 0 |3241k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
623.93/623.97 c 552s| 2950k| 1792k| 0 | 0.0 |1290M| 97 | - | 192 |8174 | 0 | 0 | 0 |3252k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
626.82/626.90 c 555s| 2960k| 1799k| 0 | 0.0 |1294M| 97 | - | 192 |8459 | 0 | 0 | 0 |3263k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
629.62/629.63 c 557s| 2970k| 1805k| 0 | 0.0 |1298M| 97 | - | 192 |8544 | 0 | 0 | 0 |3274k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
632.53/632.58 c 560s| 2980k| 1811k| 0 | 0.0 |1303M| 97 | - | 192 |8569 | 0 | 0 | 0 |3285k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
635.42/635.43 c 563s| 2990k| 1818k| 0 | 0.0 |1307M| 97 | - | 192 |8489 | 0 | 0 | 0 |3296k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
638.62/638.61 c 566s| 3000k| 1824k| 0 | 0.0 |1312M| 97 | - | 192 |9586 | 0 | 0 | 0 |3308k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
641.93/641.94 c 569s| 3010k| 1829k| 0 | 0.0 |1316M| 97 | - | 192 | 10k| 0 | 0 | 0 |3322k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
645.02/645.01 c 571s| 3020k| 1835k| 0 | 0.0 |1320M| 97 | - | 192 |9076 | 0 | 0 | 0 |3334k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
647.73/647.77 c 574s| 3030k| 1842k| 0 | 0.0 |1325M| 97 | - | 192 |8856 | 0 | 0 | 0 |3345k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
650.52/650.50 c 576s| 3040k| 1848k| 0 | 0.0 |1329M| 97 | - | 192 |8739 | 0 | 0 | 0 |3356k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
653.22/653.29 c 579s| 3050k| 1854k| 0 | 0.0 |1333M| 97 | - | 192 |8750 | 0 | 0 | 0 |3367k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
656.02/656.01 c 581s| 3060k| 1861k| 0 | 0.0 |1337M| 97 | - | 192 |8689 | 0 | 0 | 0 |3378k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
658.82/658.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
658.82/658.87 c 584s| 3070k| 1867k| 0 | 0.0 |1342M| 97 | - | 192 |8905 | 0 | 0 | 0 |3390k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
661.72/661.73 c 587s| 3080k| 1874k| 0 | 0.0 |1346M| 97 | - | 192 |8741 | 0 | 0 | 0 |3401k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
664.52/664.54 c 589s| 3090k| 1880k| 0 | 0.0 |1350M| 97 | - | 192 |8735 | 0 | 0 | 0 |3412k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
667.53/667.53 c 592s| 3100k| 1886k| 0 | 0.0 |1354M| 97 | - | 192 |8588 | 0 | 0 | 0 |3423k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
670.32/670.37 c 595s| 3110k| 1892k| 0 | 0.0 |1359M| 97 | - | 192 |8802 | 0 | 0 | 0 |3434k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
673.32/673.38 c 597s| 3120k| 1899k| 0 | 0.0 |1363M| 97 | - | 192 |8510 | 0 | 0 | 0 |3445k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
677.22/677.26 c 601s| 3130k| 1904k| 0 | 0.0 |1368M| 97 | - | 192 | 10k| 0 | 0 | 0 |3459k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
680.93/680.99 c 605s| 3140k| 1909k| 0 | 0.0 |1372M| 97 | - | 192 | 10k| 0 | 0 | 0 |3473k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
684.32/684.30 c 608s| 3150k| 1915k| 0 | 0.0 |1376M| 97 | - | 192 |9822 | 0 | 0 | 0 |3486k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
687.22/687.27 c 610s| 3160k| 1921k| 0 | 0.0 |1380M| 97 | - | 192 |8932 | 0 | 0 | 0 |3497k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
690.12/690.20 c 613s| 3170k| 1927k| 0 | 0.0 |1385M| 97 | - | 192 |9130 | 0 | 0 | 0 |3508k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
693.03/693.01 c 616s| 3180k| 1934k| 0 | 0.0 |1389M| 97 | - | 192 |9154 | 0 | 0 | 0 |3520k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
696.03/696.08 c 618s| 3190k| 1940k| 0 | 0.0 |1393M| 97 | - | 192 |9154 | 0 | 0 | 0 |3532k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
698.93/698.91 c 621s| 3200k| 1946k| 0 | 0.0 |1398M| 97 | - | 192 |9238 | 0 | 0 | 0 |3543k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
702.03/702.04 c 624s| 3210k| 1952k| 0 | 0.0 |1402M| 97 | - | 192 |9220 | 0 | 0 | 0 |3555k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
705.13/705.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
705.13/705.18 c 627s| 3220k| 1958k| 0 | 0.0 |1406M| 97 | - | 192 |9071 | 0 | 0 | 0 |3566k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
708.43/708.45 c 630s| 3230k| 1964k| 0 | 0.0 |1410M| 97 | - | 192 |9107 | 0 | 0 | 0 |3578k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
711.73/711.78 c 633s| 3240k| 1971k| 0 | 0.0 |1415M| 97 | - | 192 |9046 | 0 | 0 | 0 |3589k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
714.93/714.99 c 636s| 3250k| 1977k| 0 | 0.0 |1419M| 97 | - | 192 |9197 | 0 | 0 | 0 |3600k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
718.33/718.35 c 639s| 3260k| 1983k| 0 | 0.0 |1423M| 97 | - | 192 |9344 | 0 | 0 | 0 |3611k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
722.43/722.48 c 643s| 3270k| 1988k| 0 | 0.0 |1428M| 97 | - | 192 | 11k| 0 | 0 | 0 |3625k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
727.43/727.42 c 648s| 3280k| 1993k| 0 | 0.0 |1433M| 97 | - | 192 | 11k| 0 | 0 | 0 |3641k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
731.63/731.60 c 651s| 3290k| 1998k| 0 | 0.0 |1437M| 97 | - | 192 | 10k| 0 | 0 | 0 |3654k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
735.13/735.18 c 655s| 3300k| 2004k| 0 | 0.0 |1441M| 97 | - | 192 |9899 | 0 | 0 | 0 |3667k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
738.63/738.64 c 658s| 3310k| 2009k| 0 | 0.0 |1445M| 97 | - | 192 |9685 | 0 | 0 | 0 |3679k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
742.13/742.14 c 661s| 3320k| 2015k| 0 | 0.0 |1449M| 97 | - | 192 |9586 | 0 | 0 | 0 |3691k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
745.42/745.46 c 664s| 3330k| 2022k| 0 | 0.0 |1454M| 97 | - | 192 |9551 | 0 | 0 | 0 |3703k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
748.73/748.78 c 667s| 3340k| 2028k| 0 | 0.0 |1458M| 97 | - | 192 |9443 | 0 | 0 | 0 |3714k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
751.92/751.93 c 670s| 3350k| 2034k| 0 | 0.0 |1462M| 97 | - | 192 |9561 | 0 | 0 | 0 |3726k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
755.13/755.15 c 673s| 3360k| 2040k| 0 | 0.0 |1466M| 97 | - | 192 |9356 | 0 | 0 | 0 |3738k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
758.53/758.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
758.53/758.57 c 676s| 3370k| 2046k| 0 | 0.0 |1471M| 97 | - | 192 |9728 | 0 | 0 | 0 |3749k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
762.23/762.30 c 680s| 3380k| 2052k| 0 | 0.0 |1475M| 97 | - | 192 |9287 | 0 | 0 | 0 |3761k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
765.72/765.74 c 683s| 3390k| 2058k| 0 | 0.0 |1479M| 97 | - | 192 |9583 | 0 | 0 | 0 |3772k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
769.12/769.19 c 686s| 3400k| 2064k| 0 | 0.0 |1483M| 97 | - | 192 |9516 | 0 | 0 | 0 |3784k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
772.83/772.82 c 690s| 3410k| 2069k| 0 | 0.0 |1488M| 97 | - | 192 |9685 | 0 | 0 | 0 |3796k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
776.42/776.44 c 693s| 3420k| 2075k| 0 | 0.0 |1492M| 97 | - | 192 |9631 | 0 | 0 | 0 |3808k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
781.83/781.88 c 698s| 3430k| 2079k| 0 | 0.0 |1498M| 97 | - | 192 | 12k| 0 | 0 | 0 |3825k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
786.92/786.98 c 703s| 3440k| 2084k| 0 | 0.0 |1502M| 97 | - | 192 | 11k| 0 | 0 | 0 |3841k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
790.72/790.80 c 707s| 3450k| 2090k| 0 | 0.0 |1505M| 97 | - | 192 | 10k| 0 | 0 | 0 |3852k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
794.23/794.21 c 710s| 3460k| 2096k| 0 | 0.0 |1509M| 97 | - | 192 | 10k| 0 | 0 | 0 |3862k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
797.03/797.03 c 712s| 3470k| 2103k| 0 | 0.0 |1514M| 97 | - | 192 | 10k| 0 | 0 | 0 |3872k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
800.23/800.24 c 715s| 3480k| 2109k| 0 | 0.0 |1518M| 97 | - | 192 | 10k| 0 | 0 | 0 |3881k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
803.23/803.27 c 718s| 3490k| 2116k| 0 | 0.0 |1522M| 97 | - | 192 | 10k| 0 | 0 | 0 |3890k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
806.43/806.40 c 721s| 3500k| 2122k| 0 | 0.0 |1526M| 97 | - | 192 | 10k| 0 | 0 | 0 |3899k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
809.33/809.35 c 724s| 3510k| 2129k| 0 | 0.0 |1530M| 97 | - | 192 |9957 | 0 | 0 | 0 |3908k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
812.53/812.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
812.53/812.53 c 727s| 3520k| 2135k| 0 | 0.0 |1534M| 97 | - | 192 |9832 | 0 | 0 | 0 |3917k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
815.73/815.72 c 730s| 3530k| 2142k| 0 | 0.0 |1538M| 97 | - | 192 | 10k| 0 | 0 | 0 |3926k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
819.12/819.11 c 733s| 3540k| 2148k| 0 | 0.0 |1542M| 97 | - | 192 |9869 | 0 | 0 | 0 |3935k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
822.43/822.44 c 736s| 3550k| 2155k| 0 | 0.0 |1546M| 97 | - | 192 |9998 | 0 | 0 | 0 |3945k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
825.73/825.79 c 739s| 3560k| 2161k| 0 | 0.0 |1550M| 97 | - | 192 | 10k| 0 | 0 | 0 |3955k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
829.33/829.34 c 742s| 3570k| 2167k| 0 | 0.0 |1555M| 97 | - | 192 | 10k| 0 | 0 | 0 |3965k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
832.64/832.67 c 745s| 3580k| 2173k| 0 | 0.0 |1559M| 97 | - | 192 | 10k| 0 | 0 | 0 |3974k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
836.13/836.12 c 749s| 3590k| 2179k| 0 | 0.0 |1563M| 97 | - | 192 | 10k| 0 | 0 | 0 |3984k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
839.73/839.77 c 752s| 3600k| 2185k| 0 | 0.0 |1567M| 97 | - | 192 | 10k| 0 | 0 | 0 |3994k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
843.63/843.62 c 756s| 3610k| 2191k| 0 | 0.0 |1572M| 97 | - | 192 |9963 | 0 | 0 | 0 |4004k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
847.53/847.53 c 759s| 3620k| 2197k| 0 | 0.0 |1576M| 97 | - | 192 | 10k| 0 | 0 | 0 |4014k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
852.03/852.09 c 764s| 3630k| 2202k| 0 | 0.0 |1580M| 97 | - | 192 | 10k| 0 | 0 | 0 |4028k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
856.63/856.69 c 768s| 3640k| 2207k| 0 | 0.0 |1585M| 97 | - | 192 | 11k| 0 | 0 | 0 |4043k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
862.03/862.04 c 773s| 3650k| 2212k| 0 | 0.0 |1589M| 97 | - | 192 | 12k| 0 | 0 | 0 |4059k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
866.33/866.36 c 777s| 3660k| 2217k| 0 | 0.0 |1593M| 97 | - | 192 | 10k| 0 | 0 | 0 |4071k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
870.14/870.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
870.14/870.16 c 781s| 3670k| 2223k| 0 | 0.0 |1598M| 97 | - | 192 | 10k| 0 | 0 | 0 |4082k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
873.84/873.85 c 784s| 3680k| 2229k| 0 | 0.0 |1602M| 97 | - | 192 | 10k| 0 | 0 | 0 |4092k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
877.53/877.53 c 788s| 3690k| 2235k| 0 | 0.0 |1606M| 97 | - | 192 | 10k| 0 | 0 | 0 |4101k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
881.04/881.03 c 791s| 3700k| 2242k| 0 | 0.0 |1610M| 97 | - | 192 | 10k| 0 | 0 | 0 |4110k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
884.44/884.42 c 794s| 3710k| 2248k| 0 | 0.0 |1614M| 97 | - | 192 | 10k| 0 | 0 | 0 |4119k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
887.54/887.59 c 797s| 3720k| 2254k| 0 | 0.0 |1618M| 97 | - | 192 | 10k| 0 | 0 | 0 |4128k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
891.04/891.03 c 800s| 3730k| 2261k| 0 | 0.0 |1622M| 97 | - | 192 | 10k| 0 | 0 | 0 |4138k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
894.63/894.61 c 804s| 3740k| 2267k| 0 | 0.0 |1626M| 97 | - | 192 |9867 | 0 | 0 | 0 |4147k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
898.13/898.10 c 807s| 3750k| 2273k| 0 | 0.0 |1631M| 97 | - | 192 | 10k| 0 | 0 | 0 |4157k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
901.63/901.60 c 810s| 3760k| 2279k| 0 | 0.0 |1635M| 97 | - | 192 | 10k| 0 | 0 | 0 |4166k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
905.13/905.10 c 813s| 3770k| 2286k| 0 | 0.0 |1639M| 97 | - | 192 | 10k| 0 | 0 | 0 |4176k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
908.74/908.72 c 817s| 3780k| 2292k| 0 | 0.0 |1643M| 97 | - | 192 | 10k| 0 | 0 | 0 |4186k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
912.54/912.59 c 820s| 3790k| 2298k| 0 | 0.0 |1647M| 97 | - | 192 | 10k| 0 | 0 | 0 |4196k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
915.94/915.98 c 824s| 3800k| 2304k| 0 | 0.0 |1652M| 97 | - | 192 | 10k| 0 | 0 | 0 |4206k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
919.33/919.31 c 827s| 3810k| 2310k| 0 | 0.0 |1656M| 97 | - | 192 | 10k| 0 | 0 | 0 |4216k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
922.94/922.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
922.94/922.94 c 830s| 3820k| 2316k| 0 | 0.0 |1660M| 97 | - | 192 | 10k| 0 | 0 | 0 |4226k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
926.53/926.54 c 834s| 3830k| 2322k| 0 | 0.0 |1665M| 97 | - | 192 | 10k| 0 | 0 | 0 |4237k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
930.13/930.13 c 837s| 3840k| 2327k| 0 | 0.0 |1669M| 97 | - | 192 | 10k| 0 | 0 | 0 |4248k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
934.04/934.01 c 841s| 3850k| 2333k| 0 | 0.0 |1674M| 97 | - | 192 | 10k| 0 | 0 | 0 |4259k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
937.83/937.82 c 844s| 3860k| 2339k| 0 | 0.0 |1678M| 97 | - | 192 | 10k| 0 | 0 | 0 |4270k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
941.64/941.61 c 848s| 3870k| 2345k| 0 | 0.0 |1682M| 97 | - | 192 | 10k| 0 | 0 | 0 |4281k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
945.44/945.49 c 851s| 3880k| 2351k| 0 | 0.0 |1686M| 97 | - | 192 | 10k| 0 | 0 | 0 |4292k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
950.23/950.29 c 856s| 3890k| 2356k| 0 | 0.0 |1691M| 97 | - | 192 | 12k| 0 | 0 | 0 |4307k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
954.64/954.63 c 860s| 3900k| 2361k| 0 | 0.0 |1695M| 97 | - | 192 | 11k| 0 | 0 | 0 |4320k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
958.64/958.69 c 864s| 3910k| 2367k| 0 | 0.0 |1700M| 97 | - | 192 | 10k| 0 | 0 | 0 |4332k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
962.23/962.23 c 867s| 3920k| 2373k| 0 | 0.0 |1704M| 97 | - | 192 | 10k| 0 | 0 | 0 |4342k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
965.74/965.74 c 870s| 3930k| 2379k| 0 | 0.0 |1708M| 97 | - | 192 | 10k| 0 | 0 | 0 |4352k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
969.14/969.18 c 874s| 3940k| 2385k| 0 | 0.0 |1712M| 97 | - | 192 | 10k| 0 | 0 | 0 |4362k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
972.54/972.52 c 877s| 3950k| 2391k| 0 | 0.0 |1717M| 97 | - | 192 | 10k| 0 | 0 | 0 |4371k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
975.74/975.77 c 880s| 3960k| 2397k| 0 | 0.0 |1721M| 97 | - | 192 | 10k| 0 | 0 | 0 |4381k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
979.05/979.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
979.05/979.05 c 883s| 3970k| 2404k| 0 | 0.0 |1725M| 97 | - | 192 | 10k| 0 | 0 | 0 |4390k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
982.34/982.38 c 886s| 3980k| 2410k| 0 | 0.0 |1729M| 97 | - | 192 | 10k| 0 | 0 | 0 |4400k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
985.73/985.75 c 889s| 3990k| 2416k| 0 | 0.0 |1733M| 97 | - | 192 | 10k| 0 | 0 | 0 |4410k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
989.04/989.08 c 892s| 4000k| 2422k| 0 | 0.0 |1738M| 97 | - | 192 | 10k| 0 | 0 | 0 |4419k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
992.44/992.47 c 895s| 4010k| 2429k| 0 | 0.0 |1742M| 97 | - | 192 | 10k| 0 | 0 | 0 |4429k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
995.94/995.95 c 899s| 4020k| 2435k| 0 | 0.0 |1746M| 97 | - | 192 | 10k| 0 | 0 | 0 |4439k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
999.34/999.35 c 902s| 4030k| 2441k| 0 | 0.0 |1751M| 97 | - | 192 | 10k| 0 | 0 | 0 |4449k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1002.93/1002.95 c 905s| 4040k| 2447k| 0 | 0.0 |1755M| 97 | - | 192 | 10k| 0 | 0 | 0 |4459k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1006.55/1006.58 c 908s| 4050k| 2453k| 0 | 0.0 |1759M| 97 | - | 192 | 10k| 0 | 0 | 0 |4470k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1010.33/1010.35 c 912s| 4060k| 2459k| 0 | 0.0 |1764M| 97 | - | 192 | 10k| 0 | 0 | 0 |4480k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1014.14/1014.15 c 916s| 4070k| 2464k| 0 | 0.0 |1768M| 97 | - | 192 | 10k| 0 | 0 | 0 |4492k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1018.03/1018.03 c 919s| 4080k| 2470k| 0 | 0.0 |1773M| 97 | - | 192 | 10k| 0 | 0 | 0 |4503k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1022.03/1022.01 c 923s| 4090k| 2475k| 0 | 0.0 |1777M| 97 | - | 192 | 10k| 0 | 0 | 0 |4514k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1025.84/1025.87 c 927s| 4100k| 2481k| 0 | 0.0 |1781M| 97 | - | 192 | 10k| 0 | 0 | 0 |4526k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1029.94/1029.94 c 931s| 4110k| 2487k| 0 | 0.0 |1786M| 97 | - | 192 | 11k| 0 | 0 | 0 |4538k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1033.83/1033.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1033.83/1033.84 c 934s| 4120k| 2492k| 0 | 0.0 |1790M| 97 | - | 192 | 11k| 0 | 0 | 0 |4549k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1037.74/1037.78 c 938s| 4130k| 2498k| 0 | 0.0 |1794M| 97 | - | 192 | 10k| 0 | 0 | 0 |4560k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1041.64/1041.63 c 942s| 4140k| 2504k| 0 | 0.0 |1799M| 97 | - | 192 | 10k| 0 | 0 | 0 |4571k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1046.54/1046.56 c 946s| 4150k| 2508k| 0 | 0.0 |1803M| 97 | - | 192 | 12k| 0 | 0 | 0 |4586k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1051.04/1051.09 c 951s| 4160k| 2514k| 0 | 0.0 |1808M| 97 | - | 192 | 11k| 0 | 0 | 0 |4599k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1055.34/1055.32 c 955s| 4170k| 2519k| 0 | 0.0 |1812M| 97 | - | 192 | 11k| 0 | 0 | 0 |4610k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1059.04/1059.07 c 958s| 4180k| 2525k| 0 | 0.0 |1817M| 97 | - | 192 | 11k| 0 | 0 | 0 |4621k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1062.84/1062.86 c 962s| 4190k| 2531k| 0 | 0.0 |1821M| 97 | - | 192 | 11k| 0 | 0 | 0 |4631k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1066.34/1066.31 c 965s| 4200k| 2537k| 0 | 0.0 |1825M| 97 | - | 192 | 10k| 0 | 0 | 0 |4641k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1070.14/1070.10 c 969s| 4210k| 2543k| 0 | 0.0 |1829M| 97 | - | 192 | 10k| 0 | 0 | 0 |4651k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1073.55/1073.54 c 972s| 4220k| 2549k| 0 | 0.0 |1834M| 97 | - | 192 | 10k| 0 | 0 | 0 |4660k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1077.04/1077.02 c 975s| 4230k| 2555k| 0 | 0.0 |1838M| 97 | - | 192 | 10k| 0 | 0 | 0 |4670k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1080.65/1080.64 c 979s| 4240k| 2561k| 0 | 0.0 |1842M| 97 | - | 192 | 10k| 0 | 0 | 0 |4680k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1084.14/1084.17 c 982s| 4250k| 2567k| 0 | 0.0 |1846M| 97 | - | 192 | 11k| 0 | 0 | 0 |4690k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1087.74/1087.74 c 986s| 4260k| 2573k| 0 | 0.0 |1851M| 97 | - | 192 | 11k| 0 | 0 | 0 |4701k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1091.34/1091.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1091.34/1091.37 c 989s| 4270k| 2580k| 0 | 0.0 |1855M| 97 | - | 192 | 10k| 0 | 0 | 0 |4711k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1095.34/1095.31 c 993s| 4280k| 2585k| 0 | 0.0 |1859M| 97 | - | 192 | 11k| 0 | 0 | 0 |4721k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1099.24/1099.20 c 996s| 4290k| 2591k| 0 | 0.0 |1864M| 97 | - | 192 | 10k| 0 | 0 | 0 |4732k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1103.05/1103.09 c 1000s| 4300k| 2597k| 0 | 0.0 |1868M| 97 | - | 192 | 10k| 0 | 0 | 0 |4743k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1107.05/1107.05 c 1004s| 4310k| 2602k| 0 | 0.0 |1872M| 97 | - | 192 | 11k| 0 | 0 | 0 |4754k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1111.34/1111.33 c 1008s| 4320k| 2608k| 0 | 0.0 |1877M| 97 | - | 192 | 10k| 0 | 0 | 0 |4765k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1115.45/1115.44 c 1012s| 4330k| 2613k| 0 | 0.0 |1881M| 97 | - | 192 | 10k| 0 | 0 | 0 |4776k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1119.75/1119.79 c 1016s| 4340k| 2619k| 0 | 0.0 |1886M| 97 | - | 192 | 11k| 0 | 0 | 0 |4789k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1124.15/1124.14 c 1020s| 4350k| 2624k| 0 | 0.0 |1890M| 97 | - | 192 | 11k| 0 | 0 | 0 |4801k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1128.25/1128.21 c 1024s| 4360k| 2629k| 0 | 0.0 |1895M| 97 | - | 192 | 10k| 0 | 0 | 0 |4812k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1132.54/1132.51 c 1028s| 4370k| 2635k| 0 | 0.0 |1899M| 97 | - | 192 | 11k| 0 | 0 | 0 |4824k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1136.94/1136.95 c 1033s| 4380k| 2640k| 0 | 0.0 |1904M| 97 | - | 192 | 11k| 0 | 0 | 0 |4836k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1141.44/1141.46 c 1037s| 4390k| 2645k| 0 | 0.0 |1908M| 97 | - | 192 | 11k| 0 | 0 | 0 |4848k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1145.65/1145.65 c 1041s| 4400k| 2651k| 0 | 0.0 |1913M| 97 | - | 192 | 11k| 0 | 0 | 0 |4860k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1149.94/1149.97 c 1045s| 4410k| 2656k| 0 | 0.0 |1917M| 97 | - | 192 | 11k| 0 | 0 | 0 |4871k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1155.05/1155.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1155.05/1155.06 c 1050s| 4420k| 2661k| 0 | 0.0 |1922M| 97 | - | 192 | 12k| 0 | 0 | 0 |4886k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1159.75/1159.76 c 1054s| 4430k| 2666k| 0 | 0.0 |1926M| 97 | - | 192 | 11k| 0 | 0 | 0 |4898k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1163.95/1163.97 c 1058s| 4440k| 2671k| 0 | 0.0 |1930M| 97 | - | 192 | 11k| 0 | 0 | 0 |4910k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1167.84/1167.81 c 1062s| 4450k| 2677k| 0 | 0.0 |1935M| 97 | - | 192 | 11k| 0 | 0 | 0 |4920k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1171.64/1171.67 c 1066s| 4460k| 2683k| 0 | 0.0 |1939M| 97 | - | 192 | 11k| 0 | 0 | 0 |4931k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1175.25/1175.25 c 1069s| 4470k| 2689k| 0 | 0.0 |1943M| 97 | - | 192 | 11k| 0 | 0 | 0 |4940k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1179.05/1179.00 c 1073s| 4480k| 2694k| 0 | 0.0 |1948M| 97 | - | 192 | 11k| 0 | 0 | 0 |4951k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1182.55/1182.57 c 1076s| 4490k| 2700k| 0 | 0.0 |1952M| 97 | - | 192 | 11k| 0 | 0 | 0 |4961k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1186.24/1186.25 c 1080s| 4500k| 2706k| 0 | 0.0 |1956M| 97 | - | 192 | 11k| 0 | 0 | 0 |4972k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1189.74/1189.76 c 1083s| 4510k| 2712k| 0 | 0.0 |1960M| 97 | - | 192 | 11k| 0 | 0 | 0 |4982k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1193.55/1193.53 c 1086s| 4520k| 2718k| 0 | 0.0 |1965M| 97 | - | 192 | 11k| 0 | 0 | 0 |4992k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1197.34/1197.31 c 1090s| 4530k| 2724k| 0 | 0.0 |1969M| 97 | - | 192 | 11k| 0 | 0 | 0 |5003k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1201.35/1201.31 c 1094s| 4540k| 2729k| 0 | 0.0 |1973M| 97 | - | 192 | 11k| 0 | 0 | 0 |5014k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1205.35/1205.32 c 1098s| 4550k| 2735k| 0 | 0.0 |1978M| 97 | - | 192 | 11k| 0 | 0 | 0 |5025k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1209.45/1209.45 c 1102s| 4560k| 2740k| 0 | 0.0 |1982M| 97 | - | 192 | 11k| 0 | 0 | 0 |5036k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1213.55/1213.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1213.55/1213.59 c 1106s| 4570k| 2745k| 0 | 0.0 |1987M| 97 | - | 192 | 11k| 0 | 0 | 0 |5047k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1217.75/1217.74 c 1110s| 4580k| 2751k| 0 | 0.0 |1991M| 97 | - | 192 | 11k| 0 | 0 | 0 |5059k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1222.05/1222.02 c 1114s| 4590k| 2756k| 0 | 0.0 |1996M| 97 | - | 192 | 11k| 0 | 0 | 0 |5070k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1226.25/1226.29 c 1118s| 4600k| 2761k| 0 | 0.0 |2000M| 97 | - | 192 | 11k| 0 | 0 | 0 |5082k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1231.55/1231.50 c 1123s| 4610k| 2766k| 0 | 0.0 |2005M| 97 | - | 192 | 11k| 0 | 0 | 0 |5094k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1236.65/1236.60 c 1128s| 4620k| 2771k| 0 | 0.0 |2009M| 97 | - | 192 | 11k| 0 | 0 | 0 |5107k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1241.85/1241.84 c 1133s| 4630k| 2776k| 0 | 0.0 |2014M| 97 | - | 192 | 11k| 0 | 0 | 0 |5119k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1246.75/1246.80 c 1137s| 4640k| 2781k| 0 | 0.0 |2018M| 97 | - | 192 | 11k| 0 | 0 | 0 |5131k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1252.25/1252.28 c 1143s| 4650k| 2785k| 0 | 0.0 |2023M| 97 | - | 192 | 11k| 0 | 0 | 0 |5145k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1257.36/1257.30 c 1148s| 4660k| 2790k| 0 | 0.0 |2027M| 97 | - | 192 | 11k| 0 | 0 | 0 |5157k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1262.25/1262.22 c 1152s| 4670k| 2795k| 0 | 0.0 |2032M| 97 | - | 192 | 11k| 0 | 0 | 0 |5169k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1267.45/1267.45 c 1157s| 4680k| 2800k| 0 | 0.0 |2036M| 97 | - | 192 | 11k| 0 | 0 | 0 |5181k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1273.15/1273.16 c 1163s| 4690k| 2804k| 0 | 0.0 |2041M| 97 | - | 192 | 12k| 0 | 0 | 0 |5196k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1278.95/1278.99 c 1168s| 4700k| 2809k| 0 | 0.0 |2045M| 97 | - | 192 | 12k| 0 | 0 | 0 |5211k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1284.05/1284.08 c 1173s| 4710k| 2814k| 0 | 0.0 |2049M| 97 | - | 192 | 11k| 0 | 0 | 0 |5223k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1289.15/1289.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1289.15/1289.19 c 1178s| 4720k| 2819k| 0 | 0.0 |2053M| 97 | - | 192 | 11k| 0 | 0 | 0 |5234k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1293.85/1293.85 c 1183s| 4730k| 2824k| 0 | 0.0 |2058M| 97 | - | 192 | 11k| 0 | 0 | 0 |5246k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1298.35/1298.30 c 1187s| 4740k| 2830k| 0 | 0.0 |2062M| 97 | - | 192 | 11k| 0 | 0 | 0 |5257k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1303.05/1303.08 c 1192s| 4750k| 2835k| 0 | 0.0 |2067M| 97 | - | 192 | 12k| 0 | 0 | 0 |5269k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1307.75/1307.70 c 1196s| 4760k| 2840k| 0 | 0.0 |2071M| 97 | - | 192 | 11k| 0 | 0 | 0 |5281k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1312.15/1312.17 c 1200s| 4770k| 2845k| 0 | 0.0 |2075M| 97 | - | 192 | 11k| 0 | 0 | 0 |5291k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1317.16/1317.16 c 1205s| 4780k| 2850k| 0 | 0.0 |2079M| 97 | - | 192 | 11k| 0 | 0 | 0 |5302k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1321.85/1321.87 c 1210s| 4790k| 2856k| 0 | 0.0 |2084M| 97 | - | 192 | 11k| 0 | 0 | 0 |5313k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1326.85/1326.87 c 1214s| 4800k| 2861k| 0 | 0.0 |2088M| 97 | - | 192 | 11k| 0 | 0 | 0 |5325k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1331.76/1331.72 c 1219s| 4810k| 2866k| 0 | 0.0 |2092M| 97 | - | 192 | 11k| 0 | 0 | 0 |5336k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1336.66/1336.65 c 1224s| 4820k| 2871k| 0 | 0.0 |2097M| 97 | - | 192 | 11k| 0 | 0 | 0 |5348k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1341.76/1341.74 c 1229s| 4830k| 2876k| 0 | 0.0 |2101M| 97 | - | 192 | 11k| 0 | 0 | 0 |5360k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1346.35/1346.39 c 1233s| 4840k| 2881k| 0 | 0.0 |2106M| 97 | - | 192 | 11k| 0 | 0 | 0 |5371k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1351.55/1351.53 c 1238s| 4850k| 2886k| 0 | 0.0 |2110M| 97 | - | 192 | 11k| 0 | 0 | 0 |5383k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1356.76/1356.80 c 1243s| 4860k| 2890k| 0 | 0.0 |2115M| 97 | - | 192 | 11k| 0 | 0 | 0 |5395k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1362.06/1362.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1362.06/1362.08 c 1248s| 4870k| 2895k| 0 | 0.0 |2119M| 97 | - | 192 | 11k| 0 | 0 | 0 |5408k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1367.45/1367.48 c 1253s| 4880k| 2900k| 0 | 0.0 |2124M| 97 | - | 192 | 11k| 0 | 0 | 0 |5421k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1373.16/1373.11 c 1259s| 4890k| 2904k| 0 | 0.0 |2128M| 97 | - | 192 | 11k| 0 | 0 | 0 |5434k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1378.96/1378.98 c 1264s| 4900k| 2909k| 0 | 0.0 |2133M| 97 | - | 192 | 11k| 0 | 0 | 0 |5446k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1384.25/1384.23 c 1270s| 4910k| 2913k| 0 | 0.0 |2137M| 97 | - | 192 | 11k| 0 | 0 | 0 |5458k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1389.76/1389.78 c 1275s| 4920k| 2918k| 0 | 0.0 |2142M| 97 | - | 192 | 11k| 0 | 0 | 0 |5472k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1395.26/1395.21 c 1280s| 4930k| 2923k| 0 | 0.0 |2146M| 97 | - | 192 | 12k| 0 | 0 | 0 |5485k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1400.96/1400.93 c 1286s| 4940k| 2927k| 0 | 0.0 |2151M| 97 | - | 192 | 11k| 0 | 0 | 0 |5498k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1406.56/1406.57 c 1291s| 4950k| 2932k| 0 | 0.0 |2155M| 97 | - | 192 | 11k| 0 | 0 | 0 |5510k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1411.76/1411.74 c 1296s| 4960k| 2937k| 0 | 0.0 |2160M| 97 | - | 192 | 11k| 0 | 0 | 0 |5523k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1417.76/1417.75 c 1302s| 4970k| 2941k| 0 | 0.0 |2164M| 97 | - | 192 | 12k| 0 | 0 | 0 |5538k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1423.46/1423.47 c 1307s| 4980k| 2945k| 0 | 0.0 |2169M| 97 | - | 192 | 11k| 0 | 0 | 0 |5551k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1428.66/1428.67 c 1312s| 4990k| 2950k| 0 | 0.0 |2173M| 97 | - | 192 | 12k| 0 | 0 | 0 |5563k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1433.56/1433.58 c 1317s| 5000k| 2955k| 0 | 0.0 |2177M| 97 | - | 192 | 11k| 0 | 0 | 0 |5575k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1439.86/1439.85 c 1323s| 5010k| 2959k| 0 | 0.0 |2182M| 97 | - | 192 | 12k| 0 | 0 | 0 |5590k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1445.66/1445.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1445.66/1445.65 c 1329s| 5020k| 2964k| 0 | 0.0 |2186M| 97 | - | 192 | 12k| 0 | 0 | 0 |5603k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1450.76/1450.76 c 1334s| 5030k| 2968k| 0 | 0.0 |2190M| 97 | - | 192 | 12k| 0 | 0 | 0 |5615k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1455.76/1455.78 c 1339s| 5040k| 2973k| 0 | 0.0 |2195M| 97 | - | 192 | 12k| 0 | 0 | 0 |5626k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1461.16/1461.17 c 1344s| 5050k| 2978k| 0 | 0.0 |2199M| 97 | - | 192 | 11k| 0 | 0 | 0 |5639k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1466.46/1466.43 c 1349s| 5060k| 2983k| 0 | 0.0 |2203M| 97 | - | 192 | 11k| 0 | 0 | 0 |5650k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1471.66/1471.63 c 1354s| 5070k| 2987k| 0 | 0.0 |2208M| 97 | - | 192 | 11k| 0 | 0 | 0 |5662k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1476.96/1476.96 c 1359s| 5080k| 2992k| 0 | 0.0 |2212M| 97 | - | 192 | 11k| 0 | 0 | 0 |5674k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1482.26/1482.21 c 1364s| 5090k| 2997k| 0 | 0.0 |2217M| 97 | - | 192 | 11k| 0 | 0 | 0 |5686k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1487.36/1487.39 c 1369s| 5100k| 3002k| 0 | 0.0 |2221M| 97 | - | 192 | 11k| 0 | 0 | 0 |5698k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1492.77/1492.76 c 1374s| 5110k| 3006k| 0 | 0.0 |2226M| 97 | - | 192 | 11k| 0 | 0 | 0 |5711k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1498.06/1498.02 c 1379s| 5120k| 3011k| 0 | 0.0 |2230M| 97 | - | 192 | 11k| 0 | 0 | 0 |5723k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1503.96/1503.96 c 1385s| 5130k| 3015k| 0 | 0.0 |2235M| 97 | - | 192 | 11k| 0 | 0 | 0 |5737k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1509.56/1509.50 c 1390s| 5140k| 3020k| 0 | 0.0 |2239M| 97 | - | 192 | 11k| 0 | 0 | 0 |5750k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1514.77/1514.78 c 1395s| 5150k| 3024k| 0 | 0.0 |2244M| 97 | - | 192 | 11k| 0 | 0 | 0 |5763k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1520.46/1520.47 c 1401s| 5160k| 3028k| 0 | 0.0 |2248M| 97 | - | 192 | 12k| 0 | 0 | 0 |5777k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1526.36/1526.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1526.36/1526.35 c 1406s| 5170k| 3033k| 0 | 0.0 |2253M| 97 | - | 192 | 12k| 0 | 0 | 0 |5790k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1532.16/1532.11 c 1412s| 5180k| 3037k| 0 | 0.0 |2257M| 97 | - | 192 | 11k| 0 | 0 | 0 |5803k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1537.76/1537.72 c 1417s| 5190k| 3042k| 0 | 0.0 |2262M| 97 | - | 192 | 12k| 0 | 0 | 0 |5816k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1543.47/1543.44 c 1423s| 5200k| 3046k| 0 | 0.0 |2266M| 97 | - | 192 | 12k| 0 | 0 | 0 |5830k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1549.16/1549.13 c 1428s| 5210k| 3050k| 0 | 0.0 |2271M| 97 | - | 192 | 12k| 0 | 0 | 0 |5843k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1554.57/1554.56 c 1434s| 5220k| 3055k| 0 | 0.0 |2275M| 97 | - | 192 | 12k| 0 | 0 | 0 |5856k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1560.37/1560.34 c 1439s| 5230k| 3060k| 0 | 0.0 |2280M| 97 | - | 192 | 12k| 0 | 0 | 0 |5869k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1566.76/1566.74 c 1445s| 5240k| 3063k| 0 | 0.0 |2284M| 97 | - | 192 | 12k| 0 | 0 | 0 |5884k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1572.66/1572.69 c 1451s| 5250k| 3067k| 0 | 0.0 |2289M| 97 | - | 192 | 12k| 0 | 0 | 0 |5899k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1579.36/1579.34 c 1458s| 5260k| 3071k| 0 | 0.0 |2294M| 97 | - | 192 | 13k| 0 | 0 | 0 |5914k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1586.46/1586.47 c 1465s| 5270k| 3074k| 0 | 0.0 |2298M| 97 | - | 192 | 13k| 0 | 0 | 0 |5930k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1592.77/1592.74 c 1471s| 5280k| 3079k| 0 | 0.0 |2302M| 97 | - | 192 | 12k| 0 | 0 | 0 |5943k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1598.86/1598.89 c 1477s| 5290k| 3083k| 0 | 0.0 |2306M| 97 | - | 192 | 12k| 0 | 0 | 0 |5957k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1604.66/1604.68 c 1482s| 5300k| 3087k| 0 | 0.0 |2311M| 97 | - | 192 | 12k| 0 | 0 | 0 |5970k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1610.37/1610.36 c 1488s| 5310k| 3091k| 0 | 0.0 |2315M| 97 | - | 192 | 12k| 0 | 0 | 0 |5982k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1615.87/1615.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1615.87/1615.90 c 1493s| 5320k| 3096k| 0 | 0.0 |2319M| 97 | - | 192 | 12k| 0 | 0 | 0 |5994k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1621.67/1621.66 c 1498s| 5330k| 3100k| 0 | 0.0 |2324M| 97 | - | 192 | 11k| 0 | 0 | 0 |6007k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1627.37/1627.37 c 1504s| 5340k| 3105k| 0 | 0.0 |2328M| 97 | - | 192 | 11k| 0 | 0 | 0 |6019k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1633.37/1633.33 c 1510s| 5350k| 3109k| 0 | 0.0 |2333M| 97 | - | 192 | 11k| 0 | 0 | 0 |6032k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1639.36/1639.35 c 1516s| 5360k| 3113k| 0 | 0.0 |2337M| 97 | - | 192 | 12k| 0 | 0 | 0 |6045k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1645.37/1645.32 c 1521s| 5370k| 3118k| 0 | 0.0 |2342M| 97 | - | 192 | 11k| 0 | 0 | 0 |6058k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1650.97/1650.99 c 1527s| 5380k| 3122k| 0 | 0.0 |2346M| 97 | - | 192 | 11k| 0 | 0 | 0 |6070k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1657.27/1657.21 c 1533s| 5390k| 3126k| 0 | 0.0 |2351M| 97 | - | 192 | 12k| 0 | 0 | 0 |6084k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1663.47/1663.44 c 1539s| 5400k| 3130k| 0 | 0.0 |2355M| 97 | - | 192 | 12k| 0 | 0 | 0 |6098k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1669.67/1669.66 c 1545s| 5410k| 3134k| 0 | 0.0 |2360M| 97 | - | 192 | 12k| 0 | 0 | 0 |6112k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1675.97/1675.91 c 1551s| 5420k| 3138k| 0 | 0.0 |2365M| 97 | - | 192 | 12k| 0 | 0 | 0 |6126k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1682.17/1682.17 c 1557s| 5430k| 3142k| 0 | 0.0 |2369M| 97 | - | 192 | 12k| 0 | 0 | 0 |6140k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1688.87/1688.86 c 1563s| 5440k| 3146k| 0 | 0.0 |2374M| 97 | - | 192 | 12k| 0 | 0 | 0 |6153k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1694.77/1694.74 c 1569s| 5450k| 3151k| 0 | 0.0 |2378M| 97 | - | 192 | 12k| 0 | 0 | 0 |6167k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1700.77/1700.76 c 1575s| 5460k| 3155k| 0 | 0.0 |2383M| 97 | - | 192 | 12k| 0 | 0 | 0 |6181k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1706.87/1706.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1706.87/1706.81 c 1581s| 5470k| 3159k| 0 | 0.0 |2388M| 97 | - | 192 | 13k| 0 | 0 | 0 |6195k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1713.27/1713.20 c 1587s| 5480k| 3163k| 0 | 0.0 |2392M| 97 | - | 192 | 12k| 0 | 0 | 0 |6208k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1719.57/1719.50 c 1593s| 5490k| 3167k| 0 | 0.0 |2397M| 97 | - | 192 | 12k| 0 | 0 | 0 |6222k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1725.87/1725.84 c 1599s| 5500k| 3171k| 0 | 0.0 |2401M| 97 | - | 192 | 12k| 0 | 0 | 0 |6237k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1733.27/1733.22 c 1606s| 5510k| 3174k| 0 | 0.0 |2405M| 97 | - | 192 | 13k| 0 | 0 | 0 |6253k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1741.67/1741.68 c 1615s| 5520k| 3176k| 0 | 0.0 |2409M| 97 | - | 192 | 13k| 0 | 0 | 0 |6272k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1749.17/1749.14 c 1622s| 5530k| 3180k| 0 | 0.0 |2414M| 97 | - | 192 | 13k| 0 | 0 | 0 |6287k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1756.78/1756.76 c 1629s| 5540k| 3183k| 0 | 0.0 |2418M| 97 | - | 192 | 12k| 0 | 0 | 0 |6302k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1763.28/1763.21 c 1635s| 5550k| 3187k| 0 | 0.0 |2422M| 97 | - | 192 | 12k| 0 | 0 | 0 |6316k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1769.17/1769.12 c 1641s| 5560k| 3191k| 0 | 0.0 |2426M| 97 | - | 192 | 12k| 0 | 0 | 0 |6329k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1774.88/1774.87 c 1647s| 5570k| 3195k| 0 | 0.0 |2431M| 97 | - | 192 | 12k| 0 | 0 | 0 |6342k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1780.88/1780.87 c 1652s| 5580k| 3199k| 0 | 0.0 |2435M| 97 | - | 192 | 12k| 0 | 0 | 0 |6354k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1787.08/1787.02 c 1658s| 5590k| 3203k| 0 | 0.0 |2440M| 97 | - | 192 | 11k| 0 | 0 | 0 |6368k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1793.37/1793.30 c 1664s| 5600k| 3207k| 0 | 0.0 |2444M| 97 | - | 192 | 12k| 0 | 0 | 0 |6381k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1798.88/1798.84 c 1670s| 5610k| 3212k| 0 | 0.0 |2449M| 97 | - | 192 | 11k| 0 | 0 | 0 |6393k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.08/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.00 c
1800.08/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.00 c Solving Time (sec) : 1670.94
1800.08/1800.00 c Solving Nodes : 5611840
1800.08/1800.00 c Primal Bound : +2.00000000000000e+00 (8 solutions)
1800.08/1800.00 c Dual Bound : +0.00000000000000e+00
1800.08/1800.00 c Gap : infinite
1800.08/1800.00 s SATISFIABLE
1800.08/1800.00 v -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129
1800.08/1800.00 v -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108
1800.08/1800.00 v -x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 x84
1800.08/1800.00 v -x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59
1800.08/1800.00 v -x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33
1800.08/1800.00 v x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7
1800.08/1800.00 v -x6 x5 -x4 -x3 -x2 -x1
1800.08/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.00 c Solving Time : 1670.94
1800.08/1800.00 c Original Problem :
1800.08/1800.00 c Problem name : HOME/instance-2693775-1277892127.wbo
1800.08/1800.00 c Variables : 192 (171 binary, 0 integer, 0 implicit integer, 21 continuous)
1800.08/1800.00 c Constraints : 47 initial, 47 maximal
1800.08/1800.00 c Presolved Problem :
1800.08/1800.00 c Problem name : t_HOME/instance-2693775-1277892127.wbo
1800.08/1800.00 c Variables : 192 (171 binary, 0 integer, 0 implicit integer, 21 continuous)
1800.08/1800.00 c Constraints : 46 initial, 14780 maximal
1800.08/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.00 c linear : 0.00 0 0 0 21 0 1 0 0
1800.08/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.00 c root node : - 0 - - 0 - - - -
1800.08/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.00 c indicator : 21 0 1436734 0 596664 11204 1077009 0 0 0
1800.08/1800.00 c setppc : 4 0 10755978 0 4393521 332212 17826546 0 0 0
1800.08/1800.00 c linear : 21 0 11797090 0 4777408 713136 23712087 0 0 0
1800.08/1800.00 c logicor : 0+ 0 7426833 0 0 408787 11807210 0 0 0
1800.08/1800.00 c countsols : 0 0 0 0 4777415 0 0 0 0 0
1800.08/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.00 c indicator : 0.62 0.00 0.59 0.00 0.03
1800.08/1800.00 c setppc : 38.49 0.00 37.35 0.00 1.14
1800.08/1800.00 c linear : 120.47 0.00 120.36 0.00 0.11
1800.08/1800.00 c logicor : 620.73 0.00 620.73 0.00 0.00
1800.08/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.00 c vbounds : 0.01 2 0 0
1800.08/1800.00 c rootredcost : 0.00 0 0 0
1800.08/1800.00 c pseudoobj : 4.81 12143449 1708 1051989
1800.08/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.00 c propagation : 80.99 1455838 1455828 9534599 37.7 2994539 10.6 -
1800.08/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.00 c pseudo solution : 0.00 7 7 52 35.8 30 11.0 -
1800.08/1800.00 c applied globally : - - - 5987571 17.7 - - -
1800.08/1800.00 c applied locally : - - - 408282 35.7 - - -
1800.08/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.08/1800.00 c redcost : 0.00 0 0 0 0 0
1800.08/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.08/1800.00 c intobj : 0.00 0 0 0 0 0
1800.08/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.00 c gomory : 0.00 0 0 0 0 0
1800.08/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.08/1800.00 c cmir : 0.00 0 0 0 0 0
1800.08/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.00 c clique : 0.00 0 0 0 0 0
1800.08/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.00 c mcf : 0.00 0 0 0 0 0
1800.08/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.00 c Pricers : Time Calls Vars
1800.08/1800.00 c problem variables: 0.00 0 0
1800.08/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.08/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.00 c inference : 22.22 4777408 0 0 0 0 9554816
1800.08/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.00 c random : 0.00 0 0 0 0 0 0
1800.08/1800.00 c Primal Heuristics : Time Calls Found
1800.08/1800.00 c LP solutions : 0.00 - 0
1800.08/1800.00 c pseudo solutions : 0.01 - 7
1800.08/1800.00 c oneopt : 0.13 0 0
1800.08/1800.00 c trivial : 0.00 2 0
1800.08/1800.00 c simplerounding : 0.00 0 0
1800.08/1800.00 c zirounding : 0.00 0 0
1800.08/1800.00 c rounding : 0.00 0 0
1800.08/1800.00 c shifting : 0.00 0 0
1800.08/1800.00 c intshifting : 0.00 0 0
1800.08/1800.00 c twoopt : 0.00 0 0
1800.08/1800.00 c fixandinfer : 0.00 0 0
1800.08/1800.00 c feaspump : 0.00 0 0
1800.08/1800.00 c coefdiving : 0.00 0 0
1800.08/1800.00 c pscostdiving : 0.00 0 0
1800.08/1800.00 c fracdiving : 0.00 0 0
1800.08/1800.00 c veclendiving : 0.00 0 0
1800.08/1800.00 c intdiving : 0.00 0 0
1800.08/1800.00 c actconsdiving : 0.00 0 0
1800.08/1800.00 c objpscostdiving : 0.00 0 0
1800.08/1800.00 c rootsoldiving : 0.00 0 0
1800.08/1800.00 c linesearchdiving : 0.00 0 0
1800.08/1800.00 c guideddiving : 0.00 0 0
1800.08/1800.00 c octane : 0.00 0 0
1800.08/1800.00 c rens : 0.00 0 0
1800.08/1800.00 c rins : 0.00 0 0
1800.08/1800.00 c localbranching : 0.00 0 0
1800.08/1800.00 c mutation : 0.00 0 0
1800.08/1800.00 c crossover : 0.00 0 0
1800.08/1800.00 c dins : 0.00 0 0
1800.08/1800.00 c undercover : 0.00 0 0
1800.08/1800.00 c nlp : 0.00 0 0
1800.08/1800.00 c trysol : 0.02 1 1
1800.08/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.08/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.00 c (at root node) : - 0 0 0.00 -
1800.08/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.00 c B&B Tree :
1800.08/1800.00 c number of runs : 1
1800.08/1800.00 c nodes : 5611840
1800.08/1800.00 c nodes (total) : 5611840
1800.08/1800.00 c nodes left : 3212707
1800.08/1800.00 c max depth : 97
1800.08/1800.00 c max depth (total): 97
1800.08/1800.00 c backtracks : 737859 (13.1%)
1800.08/1800.00 c delayed cutoffs : 710019
1800.08/1800.00 c repropagations : 1661612 (18058496 domain reductions, 632629 cutoffs)
1800.08/1800.00 c avg switch length: 9.78
1800.08/1800.00 c switching time : 667.29
1800.08/1800.00 c Solution :
1800.08/1800.00 c Solutions found : 8 (8 improvements)
1800.08/1800.00 c First Solution : +8.76000000000000e+02 (in run 1, after 1 nodes, 0.00 seconds, depth 0, found by <trysol>)
1800.08/1800.00 c Primal Bound : +2.00000000000000e+00 (in run 1, after 364801 nodes, 26.08 seconds, depth 88, found by <relaxation>)
1800.08/1800.00 c Dual Bound : +0.00000000000000e+00
1800.08/1800.00 c Gap : infinite
1800.08/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.08/1800.00 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693775-1277892127/watcher-2693775-1277892127 -o /tmp/evaluation-result-2693775-1277892127/solver-2693775-1277892127 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693775-1277892127.wbo -t 1800 -m 3800
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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.24 4/178 11425
/proc/meminfo: memFree=28583968/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=8768 CPUtime=0
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 2057 0 0 0 0 0 0 0 21 0 1 0 130507892 8978432 1626 4089446400 4194304 7136930 140736005069472 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 2192 1627 286 719 0 1471 0
[startup+0.0427321 s]
/proc/loadavg: 2.00 2.00 2.24 4/178 11425
/proc/meminfo: memFree=28583968/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=12052 CPUtime=0.03
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 3738 0 0 0 3 0 0 0 21 0 1 0 130507892 12341248 2279 4089446400 4194304 7136930 140736005069472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 3013 2279 393 719 0 2292 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12052
[startup+0.100718 s]
/proc/loadavg: 2.00 2.00 2.24 4/178 11425
/proc/meminfo: memFree=28583968/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=12912 CPUtime=0.09
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 3961 0 0 0 6 3 0 0 21 0 1 0 130507892 13221888 2502 4089446400 4194304 7136930 140736005069472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 3228 2502 393 719 0 2507 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12912
[startup+0.30069 s]
/proc/loadavg: 2.00 2.00 2.24 4/178 11425
/proc/meminfo: memFree=28583968/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=15828 CPUtime=0.29
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 4712 0 0 0 19 10 0 0 21 0 1 0 130507892 16207872 3253 4089446400 4194304 7136930 140736005069472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 3957 3253 393 719 0 3236 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15828
[startup+0.700601 s]
/proc/loadavg: 2.00 2.00 2.24 4/178 11425
/proc/meminfo: memFree=28583968/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=18828 CPUtime=0.69
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 5468 0 0 0 47 22 0 0 22 0 1 0 130507892 19279872 4009 4089446400 4194304 7136930 140736005069472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 4707 4009 393 719 0 3986 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18828
[startup+1.50042 s]
/proc/loadavg: 2.00 2.00 2.24 3/179 11426
/proc/meminfo: memFree=28568212/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=23880 CPUtime=1.49
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 6765 0 0 0 101 48 0 0 25 0 1 0 130507892 24453120 5306 4089446400 4194304 7136930 140736005069472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 5970 5306 393 719 0 5249 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23880
[startup+3.10113 s]
/proc/loadavg: 2.00 2.00 2.24 3/179 11426
/proc/meminfo: memFree=28561144/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=33336 CPUtime=3.09
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 9227 0 0 0 212 97 0 0 25 0 1 0 130507892 34136064 7768 4089446400 4194304 7136930 140736005069472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 8334 7768 394 719 0 7613 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33336
[startup+6.30049 s]
/proc/loadavg: 2.00 2.00 2.24 3/179 11426
/proc/meminfo: memFree=28537628/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=57560 CPUtime=6.29
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 14939 0 0 0 410 219 0 0 25 0 1 0 130507892 58941440 13480 4089446400 4194304 7136930 140736005069472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 14390 13480 394 719 0 13669 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 57560
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.24 3/179 11426
/proc/meminfo: memFree=28499428/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=93472 CPUtime=12.69
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 24193 0 0 0 852 417 0 0 25 0 1 0 130507892 95715328 22734 4089446400 4194304 7136930 140736005069472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 23368 22734 394 719 0 22647 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 93472
[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 2.23 3/179 11426
/proc/meminfo: memFree=28449872/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=143608 CPUtime=25.49
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 35901 0 0 0 1860 689 0 0 25 0 1 0 130507892 147054592 34442 4089446400 4194304 7136930 140736005069472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 35902 34442 394 719 0 35181 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 143608
[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.23 3/179 11427
/proc/meminfo: memFree=28358000/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=234908 CPUtime=51.1
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 59327 0 0 0 3899 1211 0 0 25 0 1 0 130507892 240545792 57868 4089446400 4194304 7136930 140736005069472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 58727 57868 394 719 0 58006 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 234908
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.21 3/179 11428
/proc/meminfo: memFree=28164736/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=427884 CPUtime=102.3
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 106635 0 0 0 8148 2082 0 0 25 0 1 0 130507892 438153216 105176 4089446400 4194304 7136930 140736005069472 18446744073709551615 5000300 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 106971 105176 394 719 0 106250 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 427884
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.19 3/179 11430
/proc/meminfo: memFree=28007144/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=583292 CPUtime=162.3
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 146240 0 0 0 13395 2835 0 0 25 0 1 0 130507892 597291008 144781 4089446400 4194304 7136930 140736005069472 18446744073709551615 5000327 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 145823 144781 394 719 0 145102 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 583292
[startup+222.301 s]
/proc/loadavg: 2.03 2.01 2.18 3/179 11432
/proc/meminfo: memFree=27877612/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=724936 CPUtime=222.3
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 178099 0 0 0 18793 3437 0 0 25 0 1 0 130507892 742334464 176640 4089446400 4194304 7136930 140736005069472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 181234 176640 394 719 0 180513 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 724936
[startup+282.301 s]
/proc/loadavg: 2.01 2.01 2.17 3/179 11433
/proc/meminfo: memFree=27781188/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=819184 CPUtime=282.3
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 201974 0 0 0 24308 3922 0 0 25 0 1 0 130507892 838844416 200515 4089446400 4194304 7136930 140736005069472 18446744073709551615 4210441 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 204796 200515 394 719 0 204075 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 819184
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.16 3/179 11435
/proc/meminfo: memFree=27703980/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=896072 CPUtime=342.31
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 221335 0 0 0 29885 4346 0 0 25 0 1 0 130507892 917577728 219876 4089446400 4194304 7136930 140736005069472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 224018 219876 394 719 0 223297 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 896072
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.14 3/179 11436
/proc/meminfo: memFree=27650064/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=950344 CPUtime=402.31
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 234941 0 0 0 35487 4744 0 0 25 0 1 0 130507892 973152256 233482 4089446400 4194304 7136930 140736005069472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 237586 233482 394 719 0 236865 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 950344
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.13 3/179 11438
/proc/meminfo: memFree=27516688/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=1079592 CPUtime=462.31
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 268089 0 0 0 40695 5536 0 0 25 0 1 0 130507892 1105502208 266630 4089446400 4194304 7136930 140736005069472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 269898 266630 394 719 0 269177 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1079592
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.12 3/179 11440
/proc/meminfo: memFree=27401976/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=1191340 CPUtime=522.31
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 296625 0 0 0 46006 6225 0 0 25 0 1 0 130507892 1219932160 295166 4089446400 4194304 7136930 140736005069472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 297835 295166 394 719 0 297114 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1191340
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.11 3/179 11441
/proc/meminfo: memFree=27285068/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=1306352 CPUtime=582.32
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 325988 0 0 0 51395 6837 0 0 25 0 1 0 130507892 1337704448 324529 4089446400 4194304 7136930 140736005069472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 326588 324529 394 719 0 325867 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 1306352
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.10 3/197 11489
/proc/meminfo: memFree=30000808/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=1392428 CPUtime=642.33
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 348104 0 0 0 56894 7339 0 0 25 0 1 0 130507892 1425846272 346645 4089446400 4194304 7136930 140736005069472 18446744073709551615 4661598 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 348107 346645 394 719 0 347386 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 1392428
[startup+702.301 s]
################
# More data... #
################
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 459420 0 0 0 90441 9793 0 0 25 0 1 0 130507892 1905975296 457961 4089446400 4194304 7136930 140736005069472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 465326 457961 394 719 0 464605 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 1861304
[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.06 3/179 11528
/proc/meminfo: memFree=29692428/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=1923712 CPUtime=1062.34
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 475408 0 0 0 96149 10085 0 0 25 0 1 0 130507892 1969881088 473949 4089446400 4194304 7136930 140736005069472 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 480928 473949 394 719 0 480207 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 1923712
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 11530
/proc/meminfo: memFree=29623168/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=1990732 CPUtime=1122.35
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 492565 0 0 0 101854 10381 0 0 25 0 1 0 130507892 2038509568 491106 4089446400 4194304 7136930 140736005069472 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 497683 491106 394 719 0 496962 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 1990732
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 11531
/proc/meminfo: memFree=29560452/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=2053252 CPUtime=1182.35
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 508212 0 0 0 107581 10654 0 0 25 0 1 0 130507892 2102530048 506753 4089446400 4194304 7136930 140736005069472 18446744073709551615 4998235 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 513313 506753 394 719 0 512592 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 2053252
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 11533
/proc/meminfo: memFree=29492640/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=2119088 CPUtime=1242.35
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 525046 0 0 0 113305 10930 0 0 25 0 1 0 130507892 2169946112 523587 4089446400 4194304 7136930 140736005069472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 529772 523587 394 719 0 529051 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 2119088
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 11534
/proc/meminfo: memFree=29436116/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=2173928 CPUtime=1302.35
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 539052 0 0 0 119076 11159 0 0 25 0 1 0 130507892 2226102272 537593 4089446400 4194304 7136930 140736005069472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 543482 537593 394 719 0 542761 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 2173928
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 11536
/proc/meminfo: memFree=29385052/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=2224204 CPUtime=1362.36
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 551921 0 0 0 124839 11397 0 0 25 0 1 0 130507892 2277584896 550462 4089446400 4194304 7136930 140736005069472 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 556051 550462 394 719 0 555330 0
Current children cumulated CPU time (s) 1362.36
Current children cumulated vsize (KiB) 2224204
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 11538
/proc/meminfo: memFree=29339468/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=2268168 CPUtime=1422.37
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 563163 0 0 0 130628 11609 0 0 25 0 1 0 130507892 2322604032 561704 4089446400 4194304 7136930 140736005069472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 567042 561704 394 719 0 566321 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 2268168
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 11539
/proc/meminfo: memFree=29288088/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=2320460 CPUtime=1482.36
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 576117 0 0 0 136399 11837 0 0 25 0 1 0 130507892 2376151040 574658 4089446400 4194304 7136930 140736005069472 18446744073709551615 4208935 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 580115 574658 394 719 0 579394 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 2320460
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 11541
/proc/meminfo: memFree=29235912/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=2370696 CPUtime=1542.36
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 588927 0 0 0 142185 12051 0 0 25 0 1 0 130507892 2427592704 587468 4089446400 4194304 7136930 140736005069472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 592674 587468 394 719 0 591953 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 2370696
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 11542
/proc/meminfo: memFree=29194524/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=2414400 CPUtime=1602.37
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 600048 0 0 0 147980 12257 0 0 25 0 1 0 130507892 2472345600 598589 4089446400 4194304 7136930 140736005069472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 603600 598589 394 719 0 602879 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 2414400
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11544
/proc/meminfo: memFree=29149832/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=2454744 CPUtime=1662.37
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 610362 0 0 0 153772 12465 0 0 25 0 1 0 130507892 2513657856 608903 4089446400 4194304 7136930 140736005069472 18446744073709551615 5004470 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 613686 608903 394 719 0 612965 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 2454744
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11546
/proc/meminfo: memFree=29102284/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=2501104 CPUtime=1722.37
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 622166 0 0 0 159577 12660 0 0 25 0 1 0 130507892 2561130496 620707 4089446400 4194304 7136930 140736005069472 18446744073709551615 5001220 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 625276 620707 394 719 0 624555 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 2501104
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 11550
/proc/meminfo: memFree=29061744/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=2540272 CPUtime=1782.38
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 632144 0 0 0 165386 12852 0 0 25 0 1 0 130507892 2601238528 630685 4089446400 4194304 7136930 140736005069472 18446744073709551615 4219812 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 635068 630685 394 719 0 634347 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 2540272
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 11551
/proc/meminfo: memFree=29050948/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=2550892 CPUtime=1800.08
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 634864 0 0 0 167094 12914 0 0 25 0 1 0 130507892 2612113408 633405 4089446400 4194304 7136930 140736005069472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11425/statm: 637723 633405 394 719 0 637002 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2550892
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11425
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.06 2.01 2.00 3/180 11552
/proc/meminfo: memFree=29050940/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=2550892 CPUtime=1801.47
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 634871 0 0 0 167233 12914 0 0 19 0 1 0 130507892 2612113408 633412 4089446400 4194304 7136930 140736005069472 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/11425/statm: 637723 633412 399 719 0 637002 0
Current children cumulated CPU time (s) 1801.47
Current children cumulated vsize (KiB) 2550892
[startup+1801.81 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 11552
/proc/meminfo: memFree=29050940/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=2550892 CPUtime=1801.88
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 634871 0 0 0 167274 12914 0 0 20 0 1 0 130507892 2612113408 633412 4089446400 4194304 7136930 140736005069472 18446744073709551615 6166114 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/11425/statm: 637723 633412 399 719 0 637002 0
Current children cumulated CPU time (s) 1801.88
Current children cumulated vsize (KiB) 2550892
[startup+1802 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 11552
/proc/meminfo: memFree=29050940/32951124 swapFree=67111528/67111528
[pid=11425] ppid=11423 vsize=2550892 CPUtime=1802.07
/proc/11425/stat : 11425 (pbscip.linux.x8) R 11423 11425 9762 0 -1 4202496 634871 0 0 0 167293 12914 0 0 21 0 1 0 130507892 2612113408 633412 4089446400 4194304 7136930 140736005069472 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/11425/statm: 637723 633412 399 719 0 637002 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 2550892
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.09
CPU time (s): 1802.17
CPU user time (s): 1672.94
CPU system time (s): 129.226
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 2550892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1672.94
system time used= 129.226
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 634871
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= 2780
runsolver used 3.20851 second user time and 6.25205 second system time
The end
Begin job on node143 at 2010-06-30 12:02:07
IDJOB=2693775
IDBENCH=78712
IDSOLVER=1206
FILE ID=node143/2693775-1277892127
PBS_JOBID= 11197067
Free space on /tmp= 74208 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-15-10--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693775-1277892127/watcher-2693775-1277892127 -o /tmp/evaluation-result-2693775-1277892127/solver-2693775-1277892127 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693775-1277892127.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f8d5ed276152247cc0d8dd0253710bfc
RANDOM SEED=723108997
node143.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.07
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.77
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5285.38
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 28583752 kB
Buffers: 176424 kB
Cached: 959776 kB
SwapCached: 0 kB
Active: 3484696 kB
Inactive: 733136 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 28583752 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3280 kB
Writeback: 0 kB
AnonPages: 3081556 kB
Mapped: 16288 kB
Slab: 78748 kB
PageTables: 10600 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 3356888 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74204 MiB
End job on node143 at 2010-06-30 12:32:09