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-2693744-1277973228.wbo>
0.00/0.01 c original problem has 2902 variables (2851 bin, 0 int, 0 impl, 51 cont) and 202 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 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.02 c presolving:
0.00/0.02 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 51 impls, 47 clqs
0.00/0.02 c (round 2) 0 del vars, 1 del conss, 51 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 51 impls, 47 clqs
0.00/0.02 c (round 3) 0 del vars, 1 del conss, 51 chg bounds, 0 chg sides, 0 chg coeffs, 52 upgd conss, 51 impls, 47 clqs
0.00/0.02 c (round 4) 0 del vars, 1 del conss, 51 chg bounds, 0 chg sides, 0 chg coeffs, 99 upgd conss, 51 impls, 47 clqs
0.00/0.04 c (0.0s) probing: 101/2851 (3.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (5 rounds):
0.00/0.04 c 0 deleted vars, 1 deleted constraints, 51 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 51 implications, 47 cliques
0.00/0.04 c presolved problem has 2902 variables (2851 bin, 0 int, 0 impl, 51 cont) and 201 constraints
0.00/0.04 c 51 constraints of type <indicator>
0.00/0.04 c 47 constraints of type <setppc>
0.00/0.04 c 51 constraints of type <linear>
0.00/0.04 c 52 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.02
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 1.2.1.2
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1800
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 3420
0.00/0.04 c
0.00/0.04 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c lp/solvefreq = -1
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.03/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.03/0.05 c 0.0s| 1 | 2 | 0 | - |5693k| 0 | - |2902 | 201 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.99/2.05 c 2.0s| 10000 | 9974 | 0 | 0.0 |9016k|1943 | - |2902 | 286 | 0 | 0 | 0 | 117 | 0 | 0.000000e+00 | -- | Inf
4.19/4.28 c 4.1s| 20000 | 19926 | 0 | 0.0 | 12M|1943 | - |2902 | 318 | 0 | 0 | 0 | 375 | 0 | 0.000000e+00 | -- | Inf
6.69/6.74 c 6.6s| 30000 | 29884 | 0 | 0.0 | 15M|1943 | - |2902 | 331 | 0 | 0 | 0 | 594 | 0 | 0.000000e+00 | -- | Inf
9.19/9.22 c 9.0s| 40000 | 39840 | 0 | 0.0 | 17M|1943 | - |2902 | 371 | 0 | 0 | 0 | 820 | 0 | 0.000000e+00 | -- | Inf
11.69/11.72 c 11.4s| 50000 | 49669 | 0 | 0.0 | 20M|1943 | - |2902 | 435 | 0 | 0 | 0 |1133 | 0 | 0.000000e+00 | -- | Inf
14.30/14.31 c 13.9s| 60000 | 59612 | 0 | 0.0 | 23M|1943 | - |2902 | 400 | 0 | 0 | 0 |1452 | 0 | 0.000000e+00 | -- | Inf
16.89/16.90 c 16.5s| 70000 | 69563 | 0 | 0.0 | 26M|1943 | - |2902 | 423 | 0 | 0 | 0 |1722 | 0 | 0.000000e+00 | -- | Inf
19.39/19.49 c 19.0s| 80000 | 79513 | 0 | 0.0 | 29M|1943 | - |2902 | 449 | 0 | 0 | 0 |2003 | 0 | 0.000000e+00 | -- | Inf
21.99/22.05 c 21.5s| 90000 | 89469 | 0 | 0.0 | 32M|1943 | - |2902 | 433 | 0 | 0 | 0 |2249 | 0 | 0.000000e+00 | -- | Inf
24.59/24.61 c 24.0s|100000 | 99428 | 0 | 0.0 | 35M|1943 | - |2902 | 459 | 0 | 0 | 0 |2497 | 0 | 0.000000e+00 | -- | Inf
27.09/27.18 c 26.5s|110000 |109378 | 0 | 0.0 | 37M|1943 | - |2902 | 473 | 0 | 0 | 0 |2811 | 0 | 0.000000e+00 | -- | Inf
29.69/29.75 c 29.0s|120000 |119314 | 0 | 0.0 | 40M|1943 | - |2902 | 519 | 0 | 0 | 0 |3156 | 0 | 0.000000e+00 | -- | Inf
32.29/32.30 c 31.5s|130000 |129261 | 0 | 0.0 | 43M|1943 | - |2902 | 537 | 0 | 0 | 0 |3462 | 0 | 0.000000e+00 | -- | Inf
34.79/34.82 c 34.0s|140000 |139205 | 0 | 0.0 | 46M|1943 | - |2902 | 558 | 0 | 0 | 0 |3768 | 0 | 0.000000e+00 | -- | Inf
37.29/37.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.29/37.32 c 36.4s|150000 |149151 | 0 | 0.0 | 49M|1943 | - |2902 | 558 | 0 | 0 | 0 |4064 | 0 | 0.000000e+00 | -- | Inf
39.80/39.83 c 38.9s|160000 |159097 | 0 | 0.0 | 52M|1943 | - |2902 | 557 | 0 | 0 | 0 |4359 | 0 | 0.000000e+00 | -- | Inf
42.29/42.33 c 41.3s|170000 |169033 | 0 | 0.0 | 55M|1943 | - |2902 | 653 | 0 | 0 | 0 |4718 | 0 | 0.000000e+00 | -- | Inf
44.79/44.81 c 43.8s|180000 |178974 | 0 | 0.0 | 58M|1943 | - |2902 | 557 | 0 | 0 | 0 |5032 | 0 | 0.000000e+00 | -- | Inf
47.19/47.26 c 46.1s|190000 |188907 | 0 | 0.0 | 61M|1943 | - |2902 | 652 | 0 | 0 | 0 |5412 | 0 | 0.000000e+00 | -- | Inf
49.69/49.72 c 48.5s|200000 |198846 | 0 | 0.0 | 63M|1943 | - |2902 | 628 | 0 | 0 | 0 |5747 | 0 | 0.000000e+00 | -- | Inf
52.10/52.13 c 50.9s|210000 |208789 | 0 | 0.0 | 66M|1943 | - |2902 | 628 | 0 | 0 | 0 |6071 | 0 | 0.000000e+00 | -- | Inf
54.49/54.56 c 53.3s|220000 |218720 | 0 | 0.0 | 69M|1943 | - |2902 | 675 | 0 | 0 | 0 |6453 | 0 | 0.000000e+00 | -- | Inf
56.89/56.97 c 55.6s|230000 |228649 | 0 | 0.0 | 72M|1943 | - |2902 | 706 | 0 | 0 | 0 |6855 | 0 | 0.000000e+00 | -- | Inf
59.30/59.36 c 58.0s|240000 |238581 | 0 | 0.0 | 75M|1943 | - |2902 | 748 | 0 | 0 | 0 |7217 | 0 | 0.000000e+00 | -- | Inf
61.69/61.74 c 60.3s|250000 |248515 | 0 | 0.0 | 78M|1943 | - |2902 | 718 | 0 | 0 | 0 |7594 | 0 | 0.000000e+00 | -- | Inf
64.09/64.11 c 62.6s|260000 |258448 | 0 | 0.0 | 81M|1943 | - |2902 | 768 | 0 | 0 | 0 |7978 | 0 | 0.000000e+00 | -- | Inf
66.40/66.49 c 64.9s|270000 |268359 | 0 | 0.0 | 84M|1943 | - |2902 | 840 | 0 | 0 | 0 |8482 | 0 | 0.000000e+00 | -- | Inf
68.79/68.86 c 67.2s|280000 |278276 | 0 | 0.0 | 87M|1943 | - |2902 | 839 | 0 | 0 | 0 |8955 | 0 | 0.000000e+00 | -- | Inf
71.09/71.17 c 69.5s|290000 |288203 | 0 | 0.0 | 90M|1943 | - |2902 | 860 | 0 | 0 | 0 |9345 | 0 | 0.000000e+00 | -- | Inf
73.49/73.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.49/73.51 c 71.7s|300000 |298126 | 0 | 0.0 | 93M|1943 | - |2902 | 868 | 0 | 0 | 0 |9761 | 0 | 0.000000e+00 | -- | Inf
75.80/75.87 c 74.0s|310000 |308037 | 0 | 0.0 | 96M|1943 | - |2902 | 908 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
78.10/78.19 c 76.3s|320000 |317957 | 0 | 0.0 | 99M|1943 | - |2902 | 956 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
80.49/80.55 c 78.6s|330000 |327857 | 0 | 0.0 | 102M|1943 | - |2902 | 974 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
82.79/82.84 c 80.7s|340000 |337772 | 0 | 0.0 | 105M|1943 | - |2902 | 970 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
85.09/85.16 c 82.9s|350000 |347672 | 0 | 0.0 | 108M|1943 | - |2902 |1007 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
87.39/87.47 c 85.1s|360000 |357579 | 0 | 0.0 | 111M|1943 | - |2902 |1030 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
89.69/89.78 c 87.2s|370000 |367492 | 0 | 0.0 | 114M|1943 | - |2902 |1053 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
92.09/92.11 c 89.4s|380000 |377394 | 0 | 0.0 | 117M|1943 | - |2902 |1055 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
94.40/94.46 c 91.6s|390000 |387297 | 0 | 0.0 | 120M|1943 | - |2902 |1029 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
96.70/96.77 c 93.8s|400000 |397189 | 0 | 0.0 | 123M|1943 | - |2902 |1074 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
99.09/99.12 c 96.0s|410000 |407071 | 0 | 0.0 | 127M|1943 | - |2902 |1074 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
101.49/101.54 c 98.3s|420000 |416954 | 0 | 0.0 | 130M|1943 | - |2902 |1066 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
103.90/103.96 c 101s|430000 |426854 | 0 | 0.0 | 133M|1943 | - |2902 |1063 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
106.29/106.36 c 103s|440000 |436754 | 0 | 0.0 | 136M|1943 | - |2902 |1074 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
108.69/108.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
108.69/108.75 c 105s|450000 |446649 | 0 | 0.0 | 139M|1943 | - |2902 |1062 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
110.99/111.10 c 107s|460000 |456546 | 0 | 0.0 | 143M|1943 | - |2902 |1092 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
113.39/113.45 c 109s|470000 |466421 | 0 | 0.0 | 146M|1943 | - |2902 |1056 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
115.70/115.74 c 112s|480000 |476320 | 0 | 0.0 | 149M|1943 | - |2902 |1053 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
117.99/118.01 c 114s|490000 |486220 | 0 | 0.0 | 152M|1943 | - |2902 |1023 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
120.19/120.26 c 116s|500000 |496114 | 0 | 0.0 | 155M|1943 | - |2902 |1056 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
122.39/122.49 c 118s|510000 |505989 | 0 | 0.0 | 159M|1943 | - |2902 |1103 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
124.69/124.71 c 120s|520000 |515857 | 0 | 0.0 | 162M|1943 | - |2902 |1063 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
126.79/126.88 c 122s|530000 |525747 | 0 | 0.0 | 165M|1943 | - |2902 |1058 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
129.00/129.03 c 124s|540000 |535620 | 0 | 0.0 | 168M|1943 | - |2902 |1055 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
131.09/131.14 c 126s|550000 |545504 | 0 | 0.0 | 172M|1943 | - |2902 |1060 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
133.20/133.20 c 128s|560000 |555388 | 0 | 0.0 | 175M|1943 | - |2902 |1093 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
135.20/135.27 c 130s|570000 |565253 | 0 | 0.0 | 178M|1943 | - |2902 |1082 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
137.29/137.30 c 132s|580000 |575099 | 0 | 0.0 | 182M|1943 | - |2902 |1165 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
139.29/139.32 c 134s|590000 |584908 | 0 | 0.0 | 185M|1943 | - |2902 |1231 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
141.19/141.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.19/141.29 c 135s|600000 |594728 | 0 | 0.0 | 189M|1943 | - |2902 |1252 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
143.19/143.20 c 137s|610000 |604527 | 0 | 0.0 | 193M|1943 | - |2902 |1299 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
144.99/145.08 c 139s|620000 |614277 | 0 | 0.0 | 197M|1943 | - |2902 |1299 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
146.99/147.04 c 141s|630000 |623964 | 0 | 0.0 | 201M|1943 | - |2902 |1331 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
149.60/149.62 c 143s|640000 |633910 | 0 | 0.0 | 203M|1943 | - |2902 | 858 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
152.09/152.19 c 146s|650000 |643844 | 0 | 0.0 | 206M|1943 | - |2902 | 893 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
154.59/154.68 c 148s|660000 |653786 | 0 | 0.0 | 208M|1943 | - |2902 | 792 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
157.09/157.19 c 150s|670000 |663723 | 0 | 0.0 | 211M|1943 | - |2902 | 797 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
159.69/159.74 c 153s|680000 |673663 | 0 | 0.0 | 214M|1943 | - |2902 | 733 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
162.29/162.30 c 155s|690000 |683605 | 0 | 0.0 | 217M|1943 | - |2902 | 730 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
164.80/164.86 c 157s|700000 |693551 | 0 | 0.0 | 220M|1943 | - |2902 | 664 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
167.40/167.42 c 160s|710000 |703492 | 0 | 0.0 | 223M|1943 | - |2902 | 646 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
169.90/169.99 c 162s|720000 |713429 | 0 | 0.0 | 226M|1943 | - |2902 | 634 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
172.49/172.57 c 165s|730000 |723374 | 0 | 0.0 | 228M|1943 | - |2902 | 600 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
175.10/175.14 c 167s|740000 |733317 | 0 | 0.0 | 231M|1943 | - |2902 | 587 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
177.70/177.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
177.70/177.70 c 169s|750000 |743260 | 0 | 0.0 | 234M|1943 | - |2902 | 580 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
180.19/180.27 c 172s|760000 |753200 | 0 | 0.0 | 237M|1943 | - |2902 | 569 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
182.79/182.85 c 174s|770000 |763141 | 0 | 0.0 | 239M|1943 | - |2902 | 561 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
185.39/185.42 c 176s|780000 |773094 | 0 | 0.0 | 242M|1943 | - |2902 | 578 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
187.89/187.98 c 179s|790000 |783048 | 0 | 0.0 | 245M|1943 | - |2902 | 590 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
190.49/190.56 c 181s|800000 |792996 | 0 | 0.0 | 248M|1943 | - |2902 | 603 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
193.09/193.15 c 184s|810000 |802935 | 0 | 0.0 | 251M|1943 | - |2902 | 587 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
195.70/195.72 c 186s|820000 |812875 | 0 | 0.0 | 253M|1943 | - |2902 | 604 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
198.19/198.29 c 188s|830000 |822829 | 0 | 0.0 | 256M|1943 | - |2902 | 592 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
200.79/200.85 c 191s|840000 |832778 | 0 | 0.0 | 259M|1943 | - |2902 | 613 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
203.40/203.42 c 193s|850000 |842731 | 0 | 0.0 | 262M|1943 | - |2902 | 614 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
205.89/205.98 c 195s|860000 |852687 | 0 | 0.0 | 265M|1943 | - |2902 | 599 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
208.49/208.55 c 198s|870000 |862634 | 0 | 0.0 | 268M|1943 | - |2902 | 593 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
211.10/211.13 c 200s|880000 |872578 | 0 | 0.0 | 270M|1943 | - |2902 | 597 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
213.69/213.71 c 203s|890000 |882528 | 0 | 0.0 | 273M|1943 | - |2902 | 594 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
216.20/216.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
216.20/216.29 c 205s|900000 |892474 | 0 | 0.0 | 276M|1943 | - |2902 | 553 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
218.80/218.84 c 207s|910000 |902426 | 0 | 0.0 | 279M|1943 | - |2902 | 569 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
221.40/221.41 c 210s|920000 |912361 | 0 | 0.0 | 281M|1943 | - |2902 | 592 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
223.99/224.00 c 212s|930000 |922297 | 0 | 0.0 | 284M|1943 | - |2902 | 584 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
226.60/226.61 c 215s|940000 |932226 | 0 | 0.0 | 287M|1943 | - |2902 | 612 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
229.09/229.18 c 217s|950000 |942178 | 0 | 0.0 | 290M|1943 | - |2902 | 619 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
231.70/231.78 c 220s|960000 |952103 | 0 | 0.0 | 293M|1943 | - |2902 | 683 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
234.30/234.33 c 222s|970000 |962054 | 0 | 0.0 | 295M|1943 | - |2902 | 636 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
236.90/236.91 c 224s|980000 |971998 | 0 | 0.0 | 298M|1943 | - |2902 | 611 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
239.49/239.50 c 227s|990000 |981931 | 0 | 0.0 | 301M|1943 | - |2902 | 662 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
242.00/242.04 c 229s| 1000k|991893 | 0 | 0.0 | 304M|1943 | - |2902 | 601 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
244.59/244.60 c 231s| 1010k| 1001k| 0 | 0.0 | 306M|1943 | - |2902 | 615 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
247.09/247.16 c 234s| 1020k| 1011k| 0 | 0.0 | 309M|1943 | - |2902 | 624 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
249.70/249.70 c 236s| 1030k| 1021k| 0 | 0.0 | 312M|1943 | - |2902 | 655 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
252.20/252.25 c 238s| 1040k| 1031k| 0 | 0.0 | 315M|1943 | - |2902 | 646 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
254.70/254.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
254.70/254.79 c 241s| 1050k| 1041k| 0 | 0.0 | 318M|1943 | - |2902 | 618 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
257.30/257.34 c 243s| 1060k| 1051k| 0 | 0.0 | 320M|1943 | - |2902 | 628 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
259.89/259.91 c 246s| 1070k| 1061k| 0 | 0.0 | 323M|1943 | - |2902 | 604 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
262.40/262.48 c 248s| 1080k| 1071k| 0 | 0.0 | 326M|1943 | - |2902 | 631 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
265.00/265.03 c 250s| 1090k| 1081k| 0 | 0.0 | 329M|1943 | - |2902 | 625 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
267.60/267.61 c 253s| 1100k| 1091k| 0 | 0.0 | 332M|1943 | - |2902 | 601 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
270.20/270.21 c 255s| 1110k| 1101k| 0 | 0.0 | 334M|1943 | - |2902 | 614 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
272.70/272.78 c 257s| 1120k| 1111k| 0 | 0.0 | 337M|1943 | - |2902 | 672 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
275.29/275.37 c 260s| 1130k| 1121k| 0 | 0.0 | 340M|1943 | - |2902 | 651 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
277.90/277.94 c 262s| 1140k| 1131k| 0 | 0.0 | 343M|1943 | - |2902 | 649 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
280.40/280.47 c 265s| 1150k| 1141k| 0 | 0.0 | 346M|1943 | - |2902 | 643 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
282.99/283.02 c 267s| 1160k| 1151k| 0 | 0.0 | 348M|1943 | - |2902 | 635 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
285.50/285.58 c 269s| 1170k| 1160k| 0 | 0.0 | 351M|1943 | - |2902 | 665 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
288.11/288.16 c 272s| 1180k| 1170k| 0 | 0.0 | 354M|1943 | - |2902 | 676 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
290.69/290.70 c 274s| 1190k| 1180k| 0 | 0.0 | 357M|1943 | - |2902 | 619 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
293.20/293.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
293.20/293.26 c 276s| 1200k| 1190k| 0 | 0.0 | 360M|1943 | - |2902 | 615 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
295.69/295.80 c 279s| 1210k| 1200k| 0 | 0.0 | 363M|1943 | - |2902 | 599 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
298.30/298.33 c 281s| 1220k| 1210k| 0 | 0.0 | 365M|1943 | - |2902 | 586 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
300.80/300.89 c 283s| 1230k| 1220k| 0 | 0.0 | 368M|1943 | - |2902 | 596 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
303.40/303.44 c 286s| 1240k| 1230k| 0 | 0.0 | 371M|1943 | - |2902 | 609 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
305.90/305.98 c 288s| 1250k| 1240k| 0 | 0.0 | 374M|1943 | - |2902 | 572 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
308.50/308.55 c 291s| 1260k| 1250k| 0 | 0.0 | 377M|1943 | - |2902 | 618 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
311.00/311.09 c 293s| 1270k| 1260k| 0 | 0.0 | 380M|1943 | - |2902 | 576 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
313.60/313.66 c 295s| 1280k| 1270k| 0 | 0.0 | 382M|1943 | - |2902 | 561 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
316.19/316.21 c 298s| 1290k| 1280k| 0 | 0.0 | 385M|1943 | - |2902 | 613 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
318.69/318.77 c 300s| 1300k| 1290k| 0 | 0.0 | 388M|1943 | - |2902 | 585 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
321.30/321.35 c 302s| 1310k| 1300k| 0 | 0.0 | 391M|1943 | - |2902 | 592 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
323.90/323.93 c 305s| 1320k| 1310k| 0 | 0.0 | 394M|1943 | - |2902 | 605 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
326.50/326.51 c 307s| 1330k| 1320k| 0 | 0.0 | 396M|1943 | - |2902 | 587 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
329.00/329.06 c 310s| 1340k| 1330k| 0 | 0.0 | 399M|1943 | - |2902 | 583 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
331.60/331.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
331.60/331.64 c 312s| 1350k| 1339k| 0 | 0.0 | 402M|1943 | - |2902 | 570 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
334.20/334.21 c 314s| 1360k| 1349k| 0 | 0.0 | 405M|1943 | - |2902 | 578 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
336.70/336.78 c 317s| 1370k| 1359k| 0 | 0.0 | 408M|1943 | - |2902 | 608 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
339.30/339.34 c 319s| 1380k| 1369k| 0 | 0.0 | 410M|1943 | - |2902 | 610 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
341.90/341.92 c 322s| 1390k| 1379k| 0 | 0.0 | 413M|1943 | - |2902 | 631 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
344.40/344.48 c 324s| 1400k| 1389k| 0 | 0.0 | 416M|1943 | - |2902 | 611 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
346.99/347.04 c 326s| 1410k| 1399k| 0 | 0.0 | 419M|1943 | - |2902 | 587 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
349.60/349.60 c 329s| 1420k| 1409k| 0 | 0.0 | 422M|1943 | - |2902 | 609 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
352.10/352.17 c 331s| 1430k| 1419k| 0 | 0.0 | 424M|1943 | - |2902 | 622 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
354.70/354.75 c 333s| 1440k| 1429k| 0 | 0.0 | 427M|1943 | - |2902 | 620 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
357.30/357.32 c 336s| 1450k| 1439k| 0 | 0.0 | 430M|1943 | - |2902 | 612 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
359.79/359.88 c 338s| 1460k| 1449k| 0 | 0.0 | 433M|1943 | - |2902 | 595 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
362.40/362.49 c 341s| 1470k| 1459k| 0 | 0.0 | 436M|1943 | - |2902 | 611 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
365.00/365.05 c 343s| 1480k| 1469k| 0 | 0.0 | 439M|1943 | - |2902 | 616 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
367.59/367.64 c 345s| 1490k| 1479k| 0 | 0.0 | 441M|1943 | - |2902 | 530 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
370.20/370.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
370.20/370.25 c 348s| 1500k| 1489k| 0 | 0.0 | 444M|1943 | - |2902 | 562 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
372.80/372.86 c 350s| 1510k| 1499k| 0 | 0.0 | 447M|1943 | - |2902 | 555 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
375.40/375.42 c 353s| 1520k| 1509k| 0 | 0.0 | 450M|1943 | - |2902 | 592 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
377.90/377.98 c 355s| 1530k| 1519k| 0 | 0.0 | 453M|1943 | - |2902 | 548 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
380.50/380.55 c 357s| 1540k| 1528k| 0 | 0.0 | 455M|1943 | - |2902 | 539 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
383.10/383.11 c 360s| 1550k| 1538k| 0 | 0.0 | 458M|1943 | - |2902 | 541 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
385.60/385.69 c 362s| 1560k| 1548k| 0 | 0.0 | 461M|1943 | - |2902 | 564 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
388.21/388.28 c 364s| 1570k| 1558k| 0 | 0.0 | 464M|1943 | - |2902 | 577 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
390.80/390.84 c 367s| 1580k| 1568k| 0 | 0.0 | 467M|1943 | - |2902 | 554 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
393.40/393.40 c 369s| 1590k| 1578k| 0 | 0.0 | 470M|1943 | - |2902 | 562 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
395.90/395.97 c 372s| 1600k| 1588k| 0 | 0.0 | 472M|1943 | - |2902 | 570 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
398.50/398.56 c 374s| 1610k| 1598k| 0 | 0.0 | 475M|1943 | - |2902 | 600 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
401.10/401.15 c 376s| 1620k| 1608k| 0 | 0.0 | 478M|1943 | - |2902 | 620 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
403.71/403.73 c 379s| 1630k| 1618k| 0 | 0.0 | 481M|1943 | - |2902 | 583 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
406.30/406.32 c 381s| 1640k| 1628k| 0 | 0.0 | 484M|1943 | - |2902 | 587 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
408.80/408.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
408.80/408.88 c 384s| 1650k| 1638k| 0 | 0.0 | 486M|1943 | - |2902 | 588 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
411.40/411.46 c 386s| 1660k| 1648k| 0 | 0.0 | 489M|1943 | - |2902 | 578 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
414.00/414.04 c 388s| 1670k| 1658k| 0 | 0.0 | 492M|1943 | - |2902 | 606 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
416.50/416.59 c 391s| 1680k| 1668k| 0 | 0.0 | 495M|1943 | - |2902 | 575 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
419.11/419.18 c 393s| 1690k| 1678k| 0 | 0.0 | 498M|1943 | - |2902 | 579 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
421.70/421.76 c 395s| 1700k| 1688k| 0 | 0.0 | 501M|1943 | - |2902 | 572 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
424.30/424.34 c 398s| 1710k| 1698k| 0 | 0.0 | 503M|1943 | - |2902 | 636 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
426.90/426.91 c 400s| 1720k| 1708k| 0 | 0.0 | 506M|1943 | - |2902 | 608 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
429.40/429.49 c 403s| 1730k| 1717k| 0 | 0.0 | 509M|1943 | - |2902 | 672 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
432.00/432.05 c 405s| 1740k| 1727k| 0 | 0.0 | 512M|1943 | - |2902 | 602 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
434.60/434.63 c 407s| 1750k| 1737k| 0 | 0.0 | 515M|1943 | - |2902 | 647 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
437.20/437.22 c 410s| 1760k| 1747k| 0 | 0.0 | 517M|1943 | - |2902 | 639 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
439.80/439.80 c 412s| 1770k| 1757k| 0 | 0.0 | 520M|1943 | - |2902 | 635 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
442.30/442.35 c 415s| 1780k| 1767k| 0 | 0.0 | 523M|1943 | - |2902 | 589 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
444.90/444.94 c 417s| 1790k| 1777k| 0 | 0.0 | 526M|1943 | - |2902 | 633 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
447.50/447.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
447.50/447.52 c 419s| 1800k| 1787k| 0 | 0.0 | 529M|1943 | - |2902 | 609 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
450.00/450.08 c 422s| 1810k| 1797k| 0 | 0.0 | 532M|1943 | - |2902 | 580 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
452.60/452.65 c 424s| 1820k| 1807k| 0 | 0.0 | 534M|1943 | - |2902 | 646 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
455.21/455.22 c 426s| 1830k| 1817k| 0 | 0.0 | 537M|1943 | - |2902 | 611 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
457.70/457.79 c 429s| 1840k| 1827k| 0 | 0.0 | 540M|1943 | - |2902 | 583 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
460.30/460.37 c 431s| 1850k| 1837k| 0 | 0.0 | 543M|1943 | - |2902 | 601 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
462.90/462.92 c 434s| 1860k| 1847k| 0 | 0.0 | 546M|1943 | - |2902 | 554 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
465.40/465.49 c 436s| 1870k| 1857k| 0 | 0.0 | 549M|1943 | - |2902 | 568 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
468.01/468.06 c 438s| 1880k| 1867k| 0 | 0.0 | 552M|1943 | - |2902 | 617 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
470.61/470.61 c 441s| 1890k| 1877k| 0 | 0.0 | 554M|1943 | - |2902 | 574 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
473.10/473.15 c 443s| 1900k| 1887k| 0 | 0.0 | 557M|1943 | - |2902 | 545 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
475.70/475.76 c 446s| 1910k| 1896k| 0 | 0.0 | 560M|1943 | - |2902 | 586 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
478.30/478.33 c 448s| 1920k| 1906k| 0 | 0.0 | 563M|1943 | - |2902 | 603 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
480.80/480.89 c 450s| 1930k| 1916k| 0 | 0.0 | 566M|1943 | - |2902 | 612 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
483.40/483.47 c 453s| 1940k| 1926k| 0 | 0.0 | 568M|1943 | - |2902 | 593 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
486.00/486.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
486.00/486.06 c 455s| 1950k| 1936k| 0 | 0.0 | 571M|1943 | - |2902 | 567 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
488.60/488.64 c 457s| 1960k| 1946k| 0 | 0.0 | 574M|1943 | - |2902 | 656 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
491.20/491.23 c 460s| 1970k| 1956k| 0 | 0.0 | 577M|1943 | - |2902 | 623 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
493.81/493.81 c 462s| 1980k| 1966k| 0 | 0.0 | 580M|1943 | - |2902 | 646 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
496.31/496.36 c 465s| 1990k| 1976k| 0 | 0.0 | 582M|1943 | - |2902 | 635 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
498.91/498.95 c 467s| 2000k| 1986k| 0 | 0.0 | 585M|1943 | - |2902 | 670 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
501.50/501.52 c 469s| 2010k| 1996k| 0 | 0.0 | 588M|1943 | - |2902 | 648 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
504.01/504.08 c 472s| 2020k| 2006k| 0 | 0.0 | 591M|1943 | - |2902 | 693 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
506.60/506.65 c 474s| 2030k| 2016k| 0 | 0.0 | 594M|1943 | - |2902 | 666 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
509.21/509.24 c 476s| 2040k| 2026k| 0 | 0.0 | 597M|1943 | - |2902 | 670 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
511.80/511.80 c 479s| 2050k| 2036k| 0 | 0.0 | 599M|1943 | - |2902 | 648 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
514.41/514.41 c 481s| 2060k| 2046k| 0 | 0.0 | 602M|1943 | - |2902 | 752 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
517.01/517.01 c 484s| 2070k| 2056k| 0 | 0.0 | 605M|1943 | - |2902 | 669 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
519.61/519.62 c 486s| 2080k| 2065k| 0 | 0.0 | 608M|1943 | - |2902 | 723 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
522.20/522.23 c 489s| 2090k| 2075k| 0 | 0.0 | 610M|1943 | - |2902 | 653 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
524.81/524.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
524.81/524.82 c 491s| 2100k| 2085k| 0 | 0.0 | 613M|1943 | - |2902 | 733 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
527.40/527.43 c 493s| 2110k| 2095k| 0 | 0.0 | 616M|1943 | - |2902 | 727 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
530.00/530.02 c 496s| 2120k| 2105k| 0 | 0.0 | 619M|1943 | - |2902 | 676 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
532.61/532.63 c 498s| 2130k| 2115k| 0 | 0.0 | 622M|1943 | - |2902 | 718 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
535.21/535.21 c 501s| 2140k| 2125k| 0 | 0.0 | 624M|1943 | - |2902 | 683 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
537.80/537.84 c 503s| 2150k| 2135k| 0 | 0.0 | 627M|1943 | - |2902 | 681 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
540.40/540.44 c 505s| 2160k| 2145k| 0 | 0.0 | 630M|1943 | - |2902 | 664 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
543.00/543.02 c 508s| 2170k| 2155k| 0 | 0.0 | 633M|1943 | - |2902 | 672 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
545.51/545.60 c 510s| 2180k| 2165k| 0 | 0.0 | 635M|1943 | - |2902 | 659 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
548.10/548.17 c 513s| 2190k| 2175k| 0 | 0.0 | 638M|1943 | - |2902 | 666 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
550.71/550.73 c 515s| 2200k| 2185k| 0 | 0.0 | 641M|1943 | - |2902 | 614 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
553.31/553.32 c 517s| 2210k| 2195k| 0 | 0.0 | 644M|1943 | - |2902 | 684 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
555.90/555.92 c 520s| 2220k| 2205k| 0 | 0.0 | 647M|1943 | - |2902 | 641 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
558.40/558.49 c 522s| 2230k| 2215k| 0 | 0.0 | 649M|1943 | - |2902 | 622 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
561.01/561.07 c 524s| 2240k| 2225k| 0 | 0.0 | 652M|1943 | - |2902 | 636 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
563.61/563.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
563.61/563.65 c 527s| 2250k| 2234k| 0 | 0.0 | 655M|1943 | - |2902 | 656 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
566.20/566.23 c 529s| 2260k| 2244k| 0 | 0.0 | 658M|1943 | - |2902 | 637 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
568.80/568.81 c 532s| 2270k| 2254k| 0 | 0.0 | 661M|1943 | - |2902 | 605 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
571.30/571.36 c 534s| 2280k| 2264k| 0 | 0.0 | 663M|1943 | - |2902 | 621 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
573.90/573.93 c 536s| 2290k| 2274k| 0 | 0.0 | 666M|1943 | - |2902 | 624 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
576.41/576.49 c 539s| 2300k| 2284k| 0 | 0.0 | 669M|1943 | - |2902 | 641 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
579.00/579.07 c 541s| 2310k| 2294k| 0 | 0.0 | 672M|1943 | - |2902 | 641 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
581.61/581.63 c 544s| 2320k| 2304k| 0 | 0.0 | 675M|1943 | - |2902 | 589 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
584.20/584.21 c 546s| 2330k| 2314k| 0 | 0.0 | 678M|1943 | - |2902 | 690 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
586.71/586.75 c 548s| 2340k| 2324k| 0 | 0.0 | 680M|1943 | - |2902 | 613 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
589.30/589.31 c 551s| 2350k| 2334k| 0 | 0.0 | 683M|1943 | - |2902 | 617 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
591.81/591.85 c 553s| 2360k| 2344k| 0 | 0.0 | 686M|1943 | - |2902 | 623 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
594.40/594.40 c 555s| 2370k| 2354k| 0 | 0.0 | 689M|1943 | - |2902 | 591 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
596.91/596.95 c 558s| 2380k| 2364k| 0 | 0.0 | 692M|1943 | - |2902 | 643 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
599.51/599.52 c 560s| 2390k| 2374k| 0 | 0.0 | 695M|1943 | - |2902 | 643 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
602.00/602.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
602.00/602.07 c 562s| 2400k| 2384k| 0 | 0.0 | 697M|1943 | - |2902 | 607 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
604.60/604.65 c 565s| 2410k| 2394k| 0 | 0.0 | 700M|1943 | - |2902 | 634 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
607.11/607.19 c 567s| 2420k| 2403k| 0 | 0.0 | 703M|1943 | - |2902 | 624 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
609.71/609.77 c 570s| 2430k| 2413k| 0 | 0.0 | 706M|1943 | - |2902 | 650 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
612.30/612.34 c 572s| 2440k| 2423k| 0 | 0.0 | 709M|1943 | - |2902 | 656 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
614.92/614.90 c 574s| 2450k| 2433k| 0 | 0.0 | 711M|1943 | - |2902 | 635 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
617.51/617.52 c 577s| 2460k| 2443k| 0 | 0.0 | 714M|1943 | - |2902 | 677 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
620.01/620.10 c 579s| 2470k| 2453k| 0 | 0.0 | 717M|1943 | - |2902 | 646 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
622.61/622.63 c 581s| 2480k| 2463k| 0 | 0.0 | 720M|1943 | - |2902 | 645 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
625.20/625.22 c 584s| 2490k| 2473k| 0 | 0.0 | 723M|1943 | - |2902 | 667 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
627.71/627.76 c 586s| 2500k| 2483k| 0 | 0.0 | 725M|1943 | - |2902 | 629 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
630.32/630.33 c 589s| 2510k| 2493k| 0 | 0.0 | 728M|1943 | - |2902 | 644 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
632.81/632.88 c 591s| 2520k| 2503k| 0 | 0.0 | 731M|1943 | - |2902 | 621 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
635.41/635.43 c 593s| 2530k| 2513k| 0 | 0.0 | 734M|1943 | - |2902 | 604 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
637.91/637.98 c 596s| 2540k| 2523k| 0 | 0.0 | 737M|1943 | - |2902 | 626 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
640.51/640.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
640.51/640.55 c 598s| 2550k| 2533k| 0 | 0.0 | 740M|1943 | - |2902 | 638 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
643.11/643.16 c 600s| 2560k| 2543k| 0 | 0.0 | 743M|1943 | - |2902 | 628 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
645.71/645.73 c 603s| 2570k| 2553k| 0 | 0.0 | 745M|1943 | - |2902 | 614 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
648.31/648.34 c 605s| 2580k| 2563k| 0 | 0.0 | 748M|1943 | - |2902 | 650 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
650.91/650.90 c 608s| 2590k| 2573k| 0 | 0.0 | 751M|1943 | - |2902 | 634 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
653.41/653.49 c 610s| 2600k| 2582k| 0 | 0.0 | 754M|1943 | - |2902 | 678 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
656.01/656.06 c 612s| 2610k| 2592k| 0 | 0.0 | 757M|1943 | - |2902 | 658 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
658.61/658.62 c 615s| 2620k| 2602k| 0 | 0.0 | 759M|1943 | - |2902 | 619 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
661.11/661.18 c 617s| 2630k| 2612k| 0 | 0.0 | 762M|1943 | - |2902 | 688 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
663.71/663.72 c 620s| 2640k| 2622k| 0 | 0.0 | 765M|1943 | - |2902 | 613 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
666.21/666.28 c 622s| 2650k| 2632k| 0 | 0.0 | 768M|1943 | - |2902 | 625 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
668.81/668.84 c 624s| 2660k| 2642k| 0 | 0.0 | 771M|1943 | - |2902 | 645 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
671.40/671.40 c 627s| 2670k| 2652k| 0 | 0.0 | 774M|1943 | - |2902 | 637 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
673.91/673.96 c 629s| 2680k| 2662k| 0 | 0.0 | 776M|1943 | - |2902 | 620 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
676.51/676.51 c 631s| 2690k| 2672k| 0 | 0.0 | 779M|1943 | - |2902 | 589 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
679.01/679.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
679.01/679.05 c 634s| 2700k| 2682k| 0 | 0.0 | 782M|1943 | - |2902 | 597 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
681.61/681.61 c 636s| 2710k| 2692k| 0 | 0.0 | 785M|1943 | - |2902 | 621 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
684.11/684.17 c 638s| 2720k| 2702k| 0 | 0.0 | 788M|1943 | - |2902 | 615 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
686.71/686.74 c 641s| 2730k| 2712k| 0 | 0.0 | 790M|1943 | - |2902 | 658 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
689.31/689.31 c 643s| 2740k| 2722k| 0 | 0.0 | 793M|1943 | - |2902 | 621 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
691.81/691.87 c 646s| 2750k| 2732k| 0 | 0.0 | 796M|1943 | - |2902 | 629 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
694.41/694.44 c 648s| 2760k| 2742k| 0 | 0.0 | 799M|1943 | - |2902 | 598 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
697.01/697.01 c 650s| 2770k| 2752k| 0 | 0.0 | 802M|1943 | - |2902 | 627 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
699.52/699.58 c 653s| 2780k| 2761k| 0 | 0.0 | 805M|1943 | - |2902 | 621 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
702.11/702.16 c 655s| 2790k| 2771k| 0 | 0.0 | 807M|1943 | - |2902 | 626 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
704.70/704.77 c 657s| 2800k| 2781k| 0 | 0.0 | 810M|1943 | - |2902 | 624 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
707.31/707.36 c 660s| 2810k| 2791k| 0 | 0.0 | 813M|1943 | - |2902 | 617 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
709.91/709.92 c 662s| 2820k| 2801k| 0 | 0.0 | 816M|1943 | - |2902 | 581 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
712.41/712.49 c 665s| 2830k| 2811k| 0 | 0.0 | 819M|1943 | - |2902 | 609 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
715.02/715.06 c 667s| 2840k| 2821k| 0 | 0.0 | 821M|1943 | - |2902 | 631 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
717.61/717.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
717.61/717.62 c 669s| 2850k| 2831k| 0 | 0.0 | 824M|1943 | - |2902 | 676 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
720.11/720.18 c 672s| 2860k| 2841k| 0 | 0.0 | 827M|1943 | - |2902 | 619 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
722.71/722.73 c 674s| 2870k| 2851k| 0 | 0.0 | 830M|1943 | - |2902 | 642 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
725.30/725.31 c 677s| 2880k| 2861k| 0 | 0.0 | 833M|1943 | - |2902 | 621 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
727.80/727.86 c 679s| 2890k| 2871k| 0 | 0.0 | 835M|1943 | - |2902 | 608 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
730.42/730.45 c 681s| 2900k| 2881k| 0 | 0.0 | 838M|1943 | - |2902 | 600 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
733.00/733.03 c 684s| 2910k| 2891k| 0 | 0.0 | 841M|1943 | - |2902 | 605 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
735.51/735.58 c 686s| 2920k| 2901k| 0 | 0.0 | 844M|1943 | - |2902 | 613 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
738.11/738.13 c 688s| 2930k| 2911k| 0 | 0.0 | 847M|1943 | - |2902 | 681 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
740.61/740.67 c 691s| 2940k| 2921k| 0 | 0.0 | 850M|1943 | - |2902 | 671 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
743.20/743.24 c 693s| 2950k| 2931k| 0 | 0.0 | 852M|1943 | - |2902 | 673 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
745.72/745.80 c 696s| 2960k| 2940k| 0 | 0.0 | 855M|1943 | - |2902 | 654 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
748.31/748.35 c 698s| 2970k| 2950k| 0 | 0.0 | 858M|1943 | - |2902 | 630 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
750.91/750.91 c 700s| 2980k| 2960k| 0 | 0.0 | 861M|1943 | - |2902 | 650 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
753.42/753.46 c 703s| 2990k| 2970k| 0 | 0.0 | 864M|1943 | - |2902 | 630 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
756.01/756.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
756.01/756.01 c 705s| 3000k| 2980k| 0 | 0.0 | 867M|1943 | - |2902 | 615 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
758.51/758.59 c 707s| 3010k| 2990k| 0 | 0.0 | 869M|1943 | - |2902 | 607 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
761.12/761.16 c 710s| 3020k| 3000k| 0 | 0.0 | 872M|1943 | - |2902 | 660 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
763.71/763.72 c 712s| 3030k| 3010k| 0 | 0.0 | 875M|1943 | - |2902 | 631 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
766.31/766.33 c 715s| 3040k| 3020k| 0 | 0.0 | 878M|1943 | - |2902 | 594 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
768.81/768.90 c 717s| 3050k| 3030k| 0 | 0.0 | 881M|1943 | - |2902 | 608 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
771.51/771.52 c 719s| 3060k| 3040k| 0 | 0.0 | 884M|1943 | - |2902 | 639 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
774.01/774.09 c 722s| 3070k| 3050k| 0 | 0.0 | 886M|1943 | - |2902 | 605 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
776.62/776.67 c 724s| 3080k| 3060k| 0 | 0.0 | 889M|1943 | - |2902 | 593 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
779.21/779.24 c 726s| 3090k| 3070k| 0 | 0.0 | 892M|1943 | - |2902 | 643 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
781.81/781.85 c 729s| 3100k| 3080k| 0 | 0.0 | 895M|1943 | - |2902 | 645 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
784.41/784.42 c 731s| 3110k| 3090k| 0 | 0.0 | 898M|1943 | - |2902 | 632 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
787.01/787.03 c 734s| 3120k| 3100k| 0 | 0.0 | 900M|1943 | - |2902 | 626 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
789.61/789.62 c 736s| 3130k| 3109k| 0 | 0.0 | 903M|1943 | - |2902 | 664 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
792.11/792.17 c 738s| 3140k| 3119k| 0 | 0.0 | 906M|1943 | - |2902 | 660 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
794.71/794.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
794.71/794.75 c 741s| 3150k| 3129k| 0 | 0.0 | 909M|1943 | - |2902 | 661 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
797.31/797.31 c 743s| 3160k| 3139k| 0 | 0.0 | 912M|1943 | - |2902 | 655 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
799.81/799.89 c 746s| 3170k| 3149k| 0 | 0.0 | 914M|1943 | - |2902 | 632 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
802.41/802.45 c 748s| 3180k| 3159k| 0 | 0.0 | 917M|1943 | - |2902 | 626 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
805.01/805.00 c 750s| 3190k| 3169k| 0 | 0.0 | 920M|1943 | - |2902 | 645 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
807.51/807.58 c 753s| 3200k| 3179k| 0 | 0.0 | 923M|1943 | - |2902 | 675 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
810.11/810.16 c 755s| 3210k| 3189k| 0 | 0.0 | 926M|1943 | - |2902 | 700 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
812.71/812.74 c 757s| 3220k| 3199k| 0 | 0.0 | 928M|1943 | - |2902 | 676 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
815.31/815.30 c 760s| 3230k| 3209k| 0 | 0.0 | 931M|1943 | - |2902 | 677 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
817.82/817.87 c 762s| 3240k| 3219k| 0 | 0.0 | 934M|1943 | - |2902 | 700 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
820.41/820.43 c 765s| 3250k| 3229k| 0 | 0.0 | 937M|1943 | - |2902 | 636 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
823.01/823.00 c 767s| 3260k| 3239k| 0 | 0.0 | 940M|1943 | - |2902 | 655 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
825.51/825.56 c 769s| 3270k| 3249k| 0 | 0.0 | 943M|1943 | - |2902 | 649 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
828.11/828.14 c 772s| 3280k| 3259k| 0 | 0.0 | 945M|1943 | - |2902 | 673 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
830.71/830.70 c 774s| 3290k| 3269k| 0 | 0.0 | 948M|1943 | - |2902 | 668 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
833.21/833.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
833.21/833.25 c 777s| 3300k| 3279k| 0 | 0.0 | 951M|1943 | - |2902 | 632 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
835.71/835.79 c 779s| 3310k| 3288k| 0 | 0.0 | 954M|1943 | - |2902 | 630 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
838.31/838.37 c 781s| 3320k| 3298k| 0 | 0.0 | 957M|1943 | - |2902 | 662 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
840.91/840.95 c 784s| 3330k| 3308k| 0 | 0.0 | 960M|1943 | - |2902 | 698 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
843.51/843.52 c 786s| 3340k| 3318k| 0 | 0.0 | 962M|1943 | - |2902 | 707 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
846.01/846.08 c 788s| 3350k| 3328k| 0 | 0.0 | 965M|1943 | - |2902 | 661 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
848.61/848.66 c 791s| 3360k| 3338k| 0 | 0.0 | 968M|1943 | - |2902 | 666 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
851.22/851.20 c 793s| 3370k| 3348k| 0 | 0.0 | 971M|1943 | - |2902 | 658 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
853.72/853.77 c 796s| 3380k| 3358k| 0 | 0.0 | 974M|1943 | - |2902 | 697 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
856.31/856.33 c 798s| 3390k| 3368k| 0 | 0.0 | 976M|1943 | - |2902 | 692 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
858.91/858.90 c 800s| 3400k| 3378k| 0 | 0.0 | 979M|1943 | - |2902 | 668 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
861.41/861.49 c 803s| 3410k| 3388k| 0 | 0.0 | 982M|1943 | - |2902 | 718 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
864.01/864.03 c 805s| 3420k| 3398k| 0 | 0.0 | 985M|1943 | - |2902 | 660 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
866.61/866.60 c 807s| 3430k| 3408k| 0 | 0.0 | 988M|1943 | - |2902 | 682 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
869.11/869.14 c 810s| 3440k| 3418k| 0 | 0.0 | 990M|1943 | - |2902 | 638 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
871.71/871.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
871.71/871.71 c 812s| 3450k| 3428k| 0 | 0.0 | 993M|1943 | - |2902 | 678 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
874.21/874.25 c 814s| 3460k| 3438k| 0 | 0.0 | 996M|1943 | - |2902 | 676 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
876.81/876.81 c 817s| 3470k| 3448k| 0 | 0.0 | 999M|1943 | - |2902 | 687 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
879.32/879.38 c 819s| 3480k| 3457k| 0 | 0.0 |1002M|1943 | - |2902 | 688 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
881.92/881.92 c 821s| 3490k| 3467k| 0 | 0.0 |1005M|1943 | - |2902 | 659 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
884.41/884.49 c 824s| 3500k| 3477k| 0 | 0.0 |1007M|1943 | - |2902 | 705 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
887.01/887.08 c 826s| 3510k| 3487k| 0 | 0.0 |1010M|1943 | - |2902 | 661 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
889.61/889.65 c 829s| 3520k| 3497k| 0 | 0.0 |1013M|1943 | - |2902 | 656 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
892.21/892.20 c 831s| 3530k| 3507k| 0 | 0.0 |1016M|1943 | - |2902 | 662 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
894.71/894.78 c 833s| 3540k| 3517k| 0 | 0.0 |1019M|1943 | - |2902 | 646 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
897.31/897.34 c 836s| 3550k| 3527k| 0 | 0.0 |1021M|1943 | - |2902 | 627 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
899.82/899.89 c 838s| 3560k| 3537k| 0 | 0.0 |1024M|1943 | - |2902 | 621 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
902.41/902.47 c 840s| 3570k| 3547k| 0 | 0.0 |1027M|1943 | - |2902 | 615 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
905.01/905.01 c 843s| 3580k| 3557k| 0 | 0.0 |1030M|1943 | - |2902 | 613 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
907.52/907.58 c 845s| 3590k| 3567k| 0 | 0.0 |1033M|1943 | - |2902 | 614 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
910.12/910.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
910.12/910.13 c 848s| 3600k| 3577k| 0 | 0.0 |1035M|1943 | - |2902 | 629 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
912.61/912.69 c 850s| 3610k| 3587k| 0 | 0.0 |1038M|1943 | - |2902 | 659 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
915.22/915.26 c 852s| 3620k| 3597k| 0 | 0.0 |1041M|1943 | - |2902 | 629 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
917.81/917.83 c 855s| 3630k| 3607k| 0 | 0.0 |1044M|1943 | - |2902 | 669 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
920.42/920.42 c 857s| 3640k| 3617k| 0 | 0.0 |1047M|1943 | - |2902 | 671 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
922.92/922.97 c 860s| 3650k| 3626k| 0 | 0.0 |1049M|1943 | - |2902 | 653 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
925.52/925.53 c 862s| 3660k| 3636k| 0 | 0.0 |1052M|1943 | - |2902 | 657 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
928.01/928.08 c 864s| 3670k| 3646k| 0 | 0.0 |1055M|1943 | - |2902 | 681 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
930.62/930.65 c 867s| 3680k| 3656k| 0 | 0.0 |1058M|1943 | - |2902 | 704 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
933.22/933.26 c 869s| 3690k| 3666k| 0 | 0.0 |1061M|1943 | - |2902 | 666 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
935.82/935.84 c 871s| 3700k| 3676k| 0 | 0.0 |1063M|1943 | - |2902 | 700 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
938.42/938.41 c 874s| 3710k| 3686k| 0 | 0.0 |1066M|1943 | - |2902 | 705 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
941.01/941.03 c 876s| 3720k| 3696k| 0 | 0.0 |1069M|1943 | - |2902 | 735 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
943.62/943.62 c 879s| 3730k| 3706k| 0 | 0.0 |1072M|1943 | - |2902 | 687 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
946.21/946.20 c 881s| 3740k| 3716k| 0 | 0.0 |1075M|1943 | - |2902 | 686 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
948.71/948.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
948.71/948.78 c 883s| 3750k| 3726k| 0 | 0.0 |1077M|1943 | - |2902 | 668 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
951.31/951.33 c 886s| 3760k| 3736k| 0 | 0.0 |1080M|1943 | - |2902 | 672 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
953.82/953.87 c 888s| 3770k| 3746k| 0 | 0.0 |1083M|1943 | - |2902 | 655 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
956.41/956.43 c 890s| 3780k| 3756k| 0 | 0.0 |1086M|1943 | - |2902 | 647 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
958.92/958.98 c 893s| 3790k| 3766k| 0 | 0.0 |1088M|1943 | - |2902 | 607 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
961.51/961.53 c 895s| 3800k| 3776k| 0 | 0.0 |1091M|1943 | - |2902 | 633 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
964.02/964.08 c 898s| 3810k| 3786k| 0 | 0.0 |1094M|1943 | - |2902 | 629 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
966.61/966.63 c 900s| 3820k| 3795k| 0 | 0.0 |1097M|1943 | - |2902 | 603 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
969.12/969.19 c 902s| 3830k| 3805k| 0 | 0.0 |1100M|1943 | - |2902 | 618 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
971.72/971.75 c 905s| 3840k| 3815k| 0 | 0.0 |1103M|1943 | - |2902 | 600 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
974.32/974.32 c 907s| 3850k| 3825k| 0 | 0.0 |1105M|1943 | - |2902 | 626 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
976.82/976.89 c 910s| 3860k| 3835k| 0 | 0.0 |1108M|1943 | - |2902 | 596 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
979.41/979.44 c 912s| 3870k| 3845k| 0 | 0.0 |1111M|1943 | - |2902 | 611 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
981.91/981.99 c 914s| 3880k| 3855k| 0 | 0.0 |1114M|1943 | - |2902 | 608 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
984.52/984.54 c 917s| 3890k| 3865k| 0 | 0.0 |1116M|1943 | - |2902 | 600 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
987.12/987.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
987.12/987.13 c 919s| 3900k| 3875k| 0 | 0.0 |1119M|1943 | - |2902 | 649 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
989.71/989.70 c 922s| 3910k| 3885k| 0 | 0.0 |1122M|1943 | - |2902 | 670 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
992.22/992.28 c 924s| 3920k| 3895k| 0 | 0.0 |1125M|1943 | - |2902 | 639 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
994.82/994.84 c 926s| 3930k| 3905k| 0 | 0.0 |1128M|1943 | - |2902 | 667 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
997.42/997.42 c 929s| 3940k| 3915k| 0 | 0.0 |1130M|1943 | - |2902 | 689 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
999.92/999.97 c 931s| 3950k| 3925k| 0 | 0.0 |1133M|1943 | - |2902 | 657 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1002.52/1002.52 c 933s| 3960k| 3935k| 0 | 0.0 |1136M|1943 | - |2902 | 705 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1005.12/1005.11 c 936s| 3970k| 3945k| 0 | 0.0 |1139M|1943 | - |2902 | 746 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1007.62/1007.67 c 938s| 3980k| 3954k| 0 | 0.0 |1142M|1943 | - |2902 | 704 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1010.21/1010.23 c 941s| 3990k| 3964k| 0 | 0.0 |1144M|1943 | - |2902 | 760 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1012.82/1012.83 c 943s| 4000k| 3974k| 0 | 0.0 |1147M|1943 | - |2902 | 727 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1015.41/1015.42 c 945s| 4010k| 3984k| 0 | 0.0 |1150M|1943 | - |2902 | 696 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1017.92/1017.97 c 948s| 4020k| 3994k| 0 | 0.0 |1153M|1943 | - |2902 | 706 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1020.42/1020.49 c 950s| 4030k| 4004k| 0 | 0.0 |1156M|1943 | - |2902 | 668 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1023.02/1023.03 c 952s| 4040k| 4014k| 0 | 0.0 |1158M|1943 | - |2902 | 682 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
1025.62/1025.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1025.62/1025.66 c 955s| 4050k| 4024k| 0 | 0.0 |1161M|1943 | - |2902 | 648 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1028.22/1028.22 c 957s| 4060k| 4034k| 0 | 0.0 |1164M|1943 | - |2902 | 638 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1030.73/1030.78 c 960s| 4070k| 4044k| 0 | 0.0 |1167M|1943 | - |2902 | 728 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1033.32/1033.34 c 962s| 4080k| 4054k| 0 | 0.0 |1170M|1943 | - |2902 | 681 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1035.92/1035.92 c 964s| 4090k| 4064k| 0 | 0.0 |1172M|1943 | - |2902 | 681 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1038.42/1038.49 c 967s| 4100k| 4074k| 0 | 0.0 |1175M|1943 | - |2902 | 652 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
1041.02/1041.02 c 969s| 4110k| 4084k| 0 | 0.0 |1178M|1943 | - |2902 | 648 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1043.62/1043.62 c 972s| 4120k| 4094k| 0 | 0.0 |1181M|1943 | - |2902 | 685 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1046.12/1046.17 c 974s| 4130k| 4104k| 0 | 0.0 |1184M|1943 | - |2902 | 647 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1048.71/1048.72 c 976s| 4140k| 4114k| 0 | 0.0 |1186M|1943 | - |2902 | 677 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1051.22/1051.27 c 979s| 4150k| 4123k| 0 | 0.0 |1189M|1943 | - |2902 | 683 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1053.82/1053.85 c 981s| 4160k| 4133k| 0 | 0.0 |1192M|1943 | - |2902 | 706 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1056.41/1056.44 c 983s| 4170k| 4143k| 0 | 0.0 |1195M|1943 | - |2902 | 674 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1059.02/1059.03 c 986s| 4180k| 4153k| 0 | 0.0 |1198M|1943 | - |2902 | 703 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1061.53/1061.57 c 988s| 4190k| 4163k| 0 | 0.0 |1200M|1943 | - |2902 | 654 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
1064.11/1064.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1064.11/1064.11 c 991s| 4200k| 4173k| 0 | 0.0 |1203M|1943 | - |2902 | 677 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1066.62/1066.66 c 993s| 4210k| 4183k| 0 | 0.0 |1206M|1943 | - |2902 | 691 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1069.12/1069.20 c 995s| 4220k| 4193k| 0 | 0.0 |1209M|1943 | - |2902 | 679 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1071.72/1071.76 c 998s| 4230k| 4203k| 0 | 0.0 |1212M|1943 | - |2902 | 679 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1074.32/1074.32 c 1000s| 4240k| 4213k| 0 | 0.0 |1214M|1943 | - |2902 | 717 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1076.83/1076.90 c 1002s| 4250k| 4223k| 0 | 0.0 |1217M|1943 | - |2902 | 706 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
1079.42/1079.45 c 1005s| 4260k| 4233k| 0 | 0.0 |1220M|1943 | - |2902 | 696 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1082.02/1082.00 c 1007s| 4270k| 4243k| 0 | 0.0 |1223M|1943 | - |2902 | 657 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1084.52/1084.55 c 1009s| 4280k| 4253k| 0 | 0.0 |1226M|1943 | - |2902 | 661 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1087.12/1087.12 c 1012s| 4290k| 4263k| 0 | 0.0 |1228M|1943 | - |2902 | 650 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1089.62/1089.68 c 1014s| 4300k| 4273k| 0 | 0.0 |1231M|1943 | - |2902 | 686 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1092.22/1092.24 c 1017s| 4310k| 4283k| 0 | 0.0 |1234M|1943 | - |2902 | 669 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1094.82/1094.80 c 1019s| 4320k| 4292k| 0 | 0.0 |1237M|1943 | - |2902 | 716 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1097.32/1097.36 c 1021s| 4330k| 4302k| 0 | 0.0 |1240M|1943 | - |2902 | 718 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1099.92/1099.91 c 1024s| 4340k| 4312k| 0 | 0.0 |1243M|1943 | - |2902 | 702 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1102.42/1102.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1102.42/1102.45 c 1026s| 4350k| 4322k| 0 | 0.0 |1245M|1943 | - |2902 | 693 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1105.02/1105.02 c 1028s| 4360k| 4332k| 0 | 0.0 |1248M|1943 | - |2902 | 694 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1107.52/1107.57 c 1031s| 4370k| 4342k| 0 | 0.0 |1251M|1943 | - |2902 | 687 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1110.12/1110.12 c 1033s| 4380k| 4352k| 0 | 0.0 |1254M|1943 | - |2902 | 687 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1112.62/1112.69 c 1036s| 4390k| 4362k| 0 | 0.0 |1257M|1943 | - |2902 | 708 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
1115.22/1115.25 c 1038s| 4400k| 4372k| 0 | 0.0 |1259M|1943 | - |2902 | 674 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
1117.72/1117.78 c 1040s| 4410k| 4382k| 0 | 0.0 |1262M|1943 | - |2902 | 666 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
1120.32/1120.33 c 1043s| 4420k| 4392k| 0 | 0.0 |1265M|1943 | - |2902 | 703 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
1122.82/1122.88 c 1045s| 4430k| 4402k| 0 | 0.0 |1268M|1943 | - |2902 | 671 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
1125.42/1125.44 c 1047s| 4440k| 4412k| 0 | 0.0 |1271M|1943 | - |2902 | 684 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
1127.92/1127.99 c 1050s| 4450k| 4422k| 0 | 0.0 |1273M|1943 | - |2902 | 682 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
1130.52/1130.56 c 1052s| 4460k| 4432k| 0 | 0.0 |1276M|1943 | - |2902 | 707 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
1133.12/1133.11 c 1055s| 4470k| 4442k| 0 | 0.0 |1279M|1943 | - |2902 | 681 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
1135.62/1135.66 c 1057s| 4480k| 4452k| 0 | 0.0 |1282M|1943 | - |2902 | 709 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
1138.21/1138.22 c 1059s| 4490k| 4461k| 0 | 0.0 |1285M|1943 | - |2902 | 710 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
1140.72/1140.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1140.72/1140.75 c 1062s| 4500k| 4471k| 0 | 0.0 |1288M|1943 | - |2902 | 675 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
1143.32/1143.32 c 1064s| 4510k| 4481k| 0 | 0.0 |1290M|1943 | - |2902 | 700 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
1145.82/1145.87 c 1066s| 4520k| 4491k| 0 | 0.0 |1293M|1943 | - |2902 | 718 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1148.43/1148.40 c 1069s| 4530k| 4501k| 0 | 0.0 |1296M|1943 | - |2902 | 697 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1150.92/1150.94 c 1071s| 4540k| 4511k| 0 | 0.0 |1299M|1943 | - |2902 | 683 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1153.42/1153.50 c 1073s| 4550k| 4521k| 0 | 0.0 |1302M|1943 | - |2902 | 680 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1156.03/1156.05 c 1076s| 4560k| 4531k| 0 | 0.0 |1304M|1943 | - |2902 | 697 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1158.53/1158.59 c 1078s| 4570k| 4541k| 0 | 0.0 |1307M|1943 | - |2902 | 653 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1161.12/1161.17 c 1080s| 4580k| 4551k| 0 | 0.0 |1310M|1943 | - |2902 | 671 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1163.72/1163.71 c 1083s| 4590k| 4561k| 0 | 0.0 |1313M|1943 | - |2902 | 658 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1166.33/1166.31 c 1085s| 4600k| 4571k| 0 | 0.0 |1316M|1943 | - |2902 | 678 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1168.82/1168.87 c 1088s| 4610k| 4581k| 0 | 0.0 |1319M|1943 | - |2902 | 655 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1171.42/1171.42 c 1090s| 4620k| 4591k| 0 | 0.0 |1321M|1943 | - |2902 | 635 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1174.02/1174.01 c 1092s| 4630k| 4601k| 0 | 0.0 |1324M|1943 | - |2902 | 664 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1176.52/1176.54 c 1095s| 4640k| 4611k| 0 | 0.0 |1327M|1943 | - |2902 | 636 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1179.02/1179.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1179.02/1179.10 c 1097s| 4650k| 4621k| 0 | 0.0 |1330M|1943 | - |2902 | 613 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1181.62/1181.66 c 1099s| 4660k| 4631k| 0 | 0.0 |1333M|1943 | - |2902 | 645 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1184.22/1184.21 c 1102s| 4670k| 4640k| 0 | 0.0 |1335M|1943 | - |2902 | 621 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1186.73/1186.76 c 1104s| 4680k| 4650k| 0 | 0.0 |1338M|1943 | - |2902 | 665 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1189.32/1189.35 c 1107s| 4690k| 4660k| 0 | 0.0 |1341M|1943 | - |2902 | 647 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1191.92/1191.92 c 1109s| 4700k| 4670k| 0 | 0.0 |1344M|1943 | - |2902 | 663 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1194.42/1194.48 c 1111s| 4710k| 4680k| 0 | 0.0 |1347M|1943 | - |2902 | 612 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
1197.02/1197.05 c 1114s| 4720k| 4690k| 0 | 0.0 |1349M|1943 | - |2902 | 619 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
1199.62/1199.63 c 1116s| 4730k| 4700k| 0 | 0.0 |1352M|1943 | - |2902 | 663 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
1202.12/1202.18 c 1118s| 4740k| 4710k| 0 | 0.0 |1355M|1943 | - |2902 | 644 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
1204.72/1204.75 c 1121s| 4750k| 4720k| 0 | 0.0 |1358M|1943 | - |2902 | 631 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
1207.33/1207.34 c 1123s| 4760k| 4730k| 0 | 0.0 |1361M|1943 | - |2902 | 648 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
1209.83/1209.89 c 1126s| 4770k| 4740k| 0 | 0.0 |1364M|1943 | - |2902 | 640 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1212.42/1212.46 c 1128s| 4780k| 4750k| 0 | 0.0 |1366M|1943 | - |2902 | 633 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1215.02/1215.05 c 1130s| 4790k| 4760k| 0 | 0.0 |1369M|1943 | - |2902 | 639 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1217.63/1217.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1217.63/1217.60 c 1133s| 4800k| 4770k| 0 | 0.0 |1372M|1943 | - |2902 | 608 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1220.12/1220.17 c 1135s| 4810k| 4780k| 0 | 0.0 |1375M|1943 | - |2902 | 611 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
1222.72/1222.74 c 1137s| 4820k| 4790k| 0 | 0.0 |1378M|1943 | - |2902 | 612 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
1225.22/1225.30 c 1140s| 4830k| 4800k| 0 | 0.0 |1380M|1943 | - |2902 | 657 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1227.82/1227.88 c 1142s| 4840k| 4810k| 0 | 0.0 |1383M|1943 | - |2902 | 636 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1230.42/1230.46 c 1145s| 4850k| 4819k| 0 | 0.0 |1386M|1943 | - |2902 | 638 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1233.03/1233.05 c 1147s| 4860k| 4829k| 0 | 0.0 |1389M|1943 | - |2902 | 619 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1235.62/1235.61 c 1149s| 4870k| 4839k| 0 | 0.0 |1392M|1943 | - |2902 | 638 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
1238.13/1238.15 c 1152s| 4880k| 4849k| 0 | 0.0 |1394M|1943 | - |2902 | 635 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
1240.73/1240.73 c 1154s| 4890k| 4859k| 0 | 0.0 |1397M|1943 | - |2902 | 669 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
1243.22/1243.28 c 1156s| 4900k| 4869k| 0 | 0.0 |1400M|1943 | - |2902 | 632 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1245.82/1245.85 c 1159s| 4910k| 4879k| 0 | 0.0 |1403M|1943 | - |2902 | 663 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1248.32/1248.40 c 1161s| 4920k| 4889k| 0 | 0.0 |1406M|1943 | - |2902 | 645 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1250.92/1250.99 c 1164s| 4930k| 4899k| 0 | 0.0 |1408M|1943 | - |2902 | 669 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1253.52/1253.54 c 1166s| 4940k| 4909k| 0 | 0.0 |1411M|1943 | - |2902 | 642 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1256.12/1256.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1256.12/1256.10 c 1168s| 4950k| 4919k| 0 | 0.0 |1414M|1943 | - |2902 | 640 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1258.62/1258.66 c 1171s| 4960k| 4929k| 0 | 0.0 |1417M|1943 | - |2902 | 643 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1261.32/1261.31 c 1173s| 4970k| 4939k| 0 | 0.0 |1420M|1943 | - |2902 | 641 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1263.82/1263.88 c 1176s| 4980k| 4949k| 0 | 0.0 |1422M|1943 | - |2902 | 626 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1266.42/1266.43 c 1178s| 4990k| 4959k| 0 | 0.0 |1425M|1943 | - |2902 | 651 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1269.02/1269.02 c 1180s| 5000k| 4969k| 0 | 0.0 |1428M|1943 | - |2902 | 658 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1271.53/1271.58 c 1183s| 5010k| 4979k| 0 | 0.0 |1431M|1943 | - |2902 | 627 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1274.13/1274.17 c 1185s| 5020k| 4989k| 0 | 0.0 |1434M|1943 | - |2902 | 683 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1276.73/1276.72 c 1188s| 5030k| 4998k| 0 | 0.0 |1436M|1943 | - |2902 | 648 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1279.23/1279.26 c 1190s| 5040k| 5008k| 0 | 0.0 |1439M|1943 | - |2902 | 659 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1281.83/1281.82 c 1192s| 5050k| 5018k| 0 | 0.0 |1442M|1943 | - |2902 | 727 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1284.32/1284.37 c 1195s| 5060k| 5028k| 0 | 0.0 |1445M|1943 | - |2902 | 653 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1286.93/1286.97 c 1197s| 5070k| 5038k| 0 | 0.0 |1448M|1943 | - |2902 | 671 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1289.52/1289.51 c 1199s| 5080k| 5048k| 0 | 0.0 |1450M|1943 | - |2902 | 673 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1292.03/1292.09 c 1202s| 5090k| 5058k| 0 | 0.0 |1453M|1943 | - |2902 | 717 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1294.63/1294.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1294.63/1294.64 c 1204s| 5100k| 5068k| 0 | 0.0 |1456M|1943 | - |2902 | 668 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1297.13/1297.15 c 1206s| 5110k| 5078k| 0 | 0.0 |1459M|1943 | - |2902 | 654 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1299.72/1299.70 c 1209s| 5120k| 5088k| 0 | 0.0 |1462M|1943 | - |2902 | 674 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1302.22/1302.25 c 1211s| 5130k| 5098k| 0 | 0.0 |1464M|1943 | - |2902 | 688 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1304.72/1304.77 c 1214s| 5140k| 5108k| 0 | 0.0 |1467M|1943 | - |2902 | 721 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1307.32/1307.31 c 1216s| 5150k| 5118k| 0 | 0.0 |1470M|1943 | - |2902 | 731 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1309.82/1309.88 c 1218s| 5160k| 5128k| 0 | 0.0 |1473M|1943 | - |2902 | 746 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1312.43/1312.44 c 1221s| 5170k| 5138k| 0 | 0.0 |1476M|1943 | - |2902 | 726 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1315.02/1315.01 c 1223s| 5180k| 5148k| 0 | 0.0 |1479M|1943 | - |2902 | 771 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1317.52/1317.55 c 1225s| 5190k| 5158k| 0 | 0.0 |1481M|1943 | - |2902 | 740 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1320.13/1320.11 c 1228s| 5200k| 5167k| 0 | 0.0 |1484M|1943 | - |2902 | 747 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1322.63/1322.66 c 1230s| 5210k| 5177k| 0 | 0.0 |1487M|1943 | - |2902 | 705 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1325.13/1325.18 c 1232s| 5220k| 5187k| 0 | 0.0 |1490M|1943 | - |2902 | 683 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1327.73/1327.74 c 1235s| 5230k| 5197k| 0 | 0.0 |1493M|1943 | - |2902 | 708 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1330.32/1330.31 c 1237s| 5240k| 5207k| 0 | 0.0 |1495M|1943 | - |2902 | 741 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1332.83/1332.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1332.83/1332.89 c 1240s| 5250k| 5217k| 0 | 0.0 |1498M|1943 | - |2902 | 715 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1335.43/1335.43 c 1242s| 5260k| 5227k| 0 | 0.0 |1501M|1943 | - |2902 | 666 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1337.92/1337.96 c 1244s| 5270k| 5237k| 0 | 0.0 |1504M|1943 | - |2902 | 631 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1340.52/1340.50 c 1247s| 5280k| 5247k| 0 | 0.0 |1507M|1943 | - |2902 | 654 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1343.03/1343.04 c 1249s| 5290k| 5257k| 0 | 0.0 |1509M|1943 | - |2902 | 624 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1345.63/1345.61 c 1251s| 5300k| 5267k| 0 | 0.0 |1512M|1943 | - |2902 | 679 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1348.13/1348.15 c 1254s| 5310k| 5277k| 0 | 0.0 |1515M|1943 | - |2902 | 633 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1350.73/1350.71 c 1256s| 5320k| 5287k| 0 | 0.0 |1518M|1943 | - |2902 | 608 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1353.32/1353.32 c 1259s| 5330k| 5297k| 0 | 0.0 |1521M|1943 | - |2902 | 663 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1355.83/1355.87 c 1261s| 5340k| 5307k| 0 | 0.0 |1524M|1943 | - |2902 | 682 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1358.43/1358.42 c 1263s| 5350k| 5317k| 0 | 0.0 |1526M|1943 | - |2902 | 668 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1360.93/1360.94 c 1266s| 5360k| 5327k| 0 | 0.0 |1529M|1943 | - |2902 | 684 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1363.43/1363.47 c 1268s| 5370k| 5337k| 0 | 0.0 |1532M|1943 | - |2902 | 697 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1366.03/1366.01 c 1270s| 5380k| 5346k| 0 | 0.0 |1535M|1943 | - |2902 | 689 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1368.52/1368.53 c 1273s| 5390k| 5356k| 0 | 0.0 |1538M|1943 | - |2902 | 693 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1371.13/1371.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1371.13/1371.10 c 1275s| 5400k| 5366k| 0 | 0.0 |1540M|1943 | - |2902 | 691 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1373.63/1373.62 c 1277s| 5410k| 5376k| 0 | 0.0 |1543M|1943 | - |2902 | 741 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1376.13/1376.13 c 1280s| 5420k| 5386k| 0 | 0.0 |1546M|1943 | - |2902 | 703 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1378.63/1378.67 c 1282s| 5430k| 5396k| 0 | 0.0 |1549M|1943 | - |2902 | 741 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1381.13/1381.19 c 1284s| 5440k| 5406k| 0 | 0.0 |1552M|1943 | - |2902 | 715 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1383.73/1383.72 c 1287s| 5450k| 5416k| 0 | 0.0 |1555M|1943 | - |2902 | 747 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1386.23/1386.23 c 1289s| 5460k| 5426k| 0 | 0.0 |1557M|1943 | - |2902 | 730 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1388.73/1388.78 c 1291s| 5470k| 5436k| 0 | 0.0 |1560M|1943 | - |2902 | 767 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1391.32/1391.30 c 1294s| 5480k| 5446k| 0 | 0.0 |1563M|1943 | - |2902 | 719 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1393.83/1393.86 c 1296s| 5490k| 5456k| 0 | 0.0 |1566M|1943 | - |2902 | 729 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1396.33/1396.40 c 1299s| 5500k| 5466k| 0 | 0.0 |1569M|1943 | - |2902 | 693 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1398.92/1398.93 c 1301s| 5510k| 5476k| 0 | 0.0 |1572M|1943 | - |2902 | 682 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1401.43/1401.48 c 1303s| 5520k| 5486k| 0 | 0.0 |1574M|1943 | - |2902 | 704 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1404.03/1404.05 c 1306s| 5530k| 5496k| 0 | 0.0 |1577M|1943 | - |2902 | 721 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1406.52/1406.58 c 1308s| 5540k| 5506k| 0 | 0.0 |1580M|1943 | - |2902 | 704 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1409.14/1409.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1409.14/1409.15 c 1310s| 5550k| 5515k| 0 | 0.0 |1583M|1943 | - |2902 | 743 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1411.73/1411.76 c 1313s| 5560k| 5525k| 0 | 0.0 |1586M|1943 | - |2902 | 730 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1414.23/1414.28 c 1315s| 5570k| 5535k| 0 | 0.0 |1588M|1943 | - |2902 | 686 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1416.84/1416.85 c 1317s| 5580k| 5545k| 0 | 0.0 |1591M|1943 | - |2902 | 718 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1419.33/1419.39 c 1320s| 5590k| 5555k| 0 | 0.0 |1594M|1943 | - |2902 | 700 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1421.93/1421.96 c 1322s| 5600k| 5565k| 0 | 0.0 |1597M|1943 | - |2902 | 693 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1424.43/1424.50 c 1324s| 5610k| 5575k| 0 | 0.0 |1600M|1943 | - |2902 | 690 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1427.03/1427.03 c 1327s| 5620k| 5585k| 0 | 0.0 |1603M|1943 | - |2902 | 715 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1429.53/1429.58 c 1329s| 5630k| 5595k| 0 | 0.0 |1605M|1943 | - |2902 | 707 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1432.14/1432.12 c 1332s| 5640k| 5605k| 0 | 0.0 |1608M|1943 | - |2902 | 692 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1434.63/1434.66 c 1334s| 5650k| 5615k| 0 | 0.0 |1611M|1943 | - |2902 | 700 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1437.22/1437.21 c 1336s| 5660k| 5625k| 0 | 0.0 |1614M|1943 | - |2902 | 640 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1439.73/1439.74 c 1339s| 5670k| 5635k| 0 | 0.0 |1617M|1943 | - |2902 | 626 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1442.23/1442.28 c 1341s| 5680k| 5645k| 0 | 0.0 |1619M|1943 | - |2902 | 642 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1444.83/1444.83 c 1343s| 5690k| 5655k| 0 | 0.0 |1622M|1943 | - |2902 | 629 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1447.33/1447.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1447.33/1447.37 c 1346s| 5700k| 5665k| 0 | 0.0 |1625M|1943 | - |2902 | 619 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
1449.93/1449.91 c 1348s| 5710k| 5675k| 0 | 0.0 |1628M|1943 | - |2902 | 613 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
1452.43/1452.46 c 1350s| 5720k| 5685k| 0 | 0.0 |1631M|1943 | - |2902 | 586 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
1454.93/1454.98 c 1353s| 5730k| 5695k| 0 | 0.0 |1634M|1943 | - |2902 | 602 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
1457.53/1457.51 c 1355s| 5740k| 5704k| 0 | 0.0 |1636M|1943 | - |2902 | 599 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
1460.03/1460.06 c 1357s| 5750k| 5714k| 0 | 0.0 |1639M|1943 | - |2902 | 660 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
1462.53/1462.59 c 1360s| 5760k| 5724k| 0 | 0.0 |1642M|1943 | - |2902 | 647 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
1465.14/1465.16 c 1362s| 5770k| 5734k| 0 | 0.0 |1645M|1943 | - |2902 | 675 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
1467.73/1467.73 c 1365s| 5780k| 5744k| 0 | 0.0 |1648M|1943 | - |2902 | 686 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
1470.23/1470.29 c 1367s| 5790k| 5754k| 0 | 0.0 |1650M|1943 | - |2902 | 643 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
1472.83/1472.81 c 1369s| 5800k| 5764k| 0 | 0.0 |1653M|1943 | - |2902 | 635 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
1475.33/1475.33 c 1372s| 5810k| 5774k| 0 | 0.0 |1656M|1943 | - |2902 | 644 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
1477.93/1477.90 c 1374s| 5820k| 5784k| 0 | 0.0 |1659M|1943 | - |2902 | 691 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
1480.43/1480.46 c 1376s| 5830k| 5794k| 0 | 0.0 |1662M|1943 | - |2902 | 703 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
1483.03/1483.00 c 1379s| 5840k| 5804k| 0 | 0.0 |1665M|1943 | - |2902 | 667 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
1485.53/1485.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1485.53/1485.56 c 1381s| 5850k| 5814k| 0 | 0.0 |1667M|1943 | - |2902 | 683 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
1488.13/1488.14 c 1384s| 5860k| 5824k| 0 | 0.0 |1670M|1943 | - |2902 | 672 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
1490.63/1490.69 c 1386s| 5870k| 5834k| 0 | 0.0 |1673M|1943 | - |2902 | 712 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
1493.13/1493.19 c 1388s| 5880k| 5844k| 0 | 0.0 |1676M|1943 | - |2902 | 685 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
1495.73/1495.73 c 1391s| 5890k| 5854k| 0 | 0.0 |1679M|1943 | - |2902 | 732 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
1498.23/1498.25 c 1393s| 5900k| 5864k| 0 | 0.0 |1681M|1943 | - |2902 | 716 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
1500.73/1500.78 c 1395s| 5910k| 5873k| 0 | 0.0 |1684M|1943 | - |2902 | 722 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
1503.33/1503.37 c 1398s| 5920k| 5883k| 0 | 0.0 |1687M|1943 | - |2902 | 696 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
1505.84/1505.89 c 1400s| 5930k| 5893k| 0 | 0.0 |1690M|1943 | - |2902 | 689 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
1508.42/1508.42 c 1402s| 5940k| 5903k| 0 | 0.0 |1693M|1943 | - |2902 | 731 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
1511.03/1511.02 c 1405s| 5950k| 5913k| 0 | 0.0 |1695M|1943 | - |2902 | 767 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
1513.53/1513.56 c 1407s| 5960k| 5923k| 0 | 0.0 |1698M|1943 | - |2902 | 728 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
1516.13/1516.15 c 1409s| 5970k| 5933k| 0 | 0.0 |1701M|1943 | - |2902 | 725 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
1518.73/1518.75 c 1412s| 5980k| 5943k| 0 | 0.0 |1704M|1943 | - |2902 | 699 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
1521.34/1521.31 c 1414s| 5990k| 5953k| 0 | 0.0 |1707M|1943 | - |2902 | 730 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
1523.83/1523.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1523.83/1523.86 c 1417s| 6000k| 5963k| 0 | 0.0 |1709M|1943 | - |2902 | 698 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
1526.34/1526.39 c 1419s| 6010k| 5973k| 0 | 0.0 |1712M|1943 | - |2902 | 729 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
1528.94/1528.94 c 1421s| 6020k| 5983k| 0 | 0.0 |1715M|1943 | - |2902 | 741 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
1531.53/1531.51 c 1424s| 6030k| 5993k| 0 | 0.0 |1718M|1943 | - |2902 | 762 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
1534.03/1534.07 c 1426s| 6040k| 6003k| 0 | 0.0 |1721M|1943 | - |2902 | 717 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
1536.64/1536.60 c 1428s| 6050k| 6013k| 0 | 0.0 |1723M|1943 | - |2902 | 783 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
1539.13/1539.19 c 1431s| 6060k| 6023k| 0 | 0.0 |1726M|1943 | - |2902 | 734 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
1541.74/1541.75 c 1433s| 6070k| 6033k| 0 | 0.0 |1729M|1943 | - |2902 | 755 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
1544.33/1544.34 c 1436s| 6080k| 6042k| 0 | 0.0 |1732M|1943 | - |2902 | 708 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
1546.93/1546.92 c 1438s| 6090k| 6052k| 0 | 0.0 |1735M|1943 | - |2902 | 690 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
1549.43/1549.47 c 1440s| 6100k| 6062k| 0 | 0.0 |1737M|1943 | - |2902 | 725 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
1552.03/1552.05 c 1443s| 6110k| 6072k| 0 | 0.0 |1740M|1943 | - |2902 | 760 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
1554.53/1554.58 c 1445s| 6120k| 6082k| 0 | 0.0 |1743M|1943 | - |2902 | 704 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
1557.13/1557.16 c 1447s| 6130k| 6092k| 0 | 0.0 |1746M|1943 | - |2902 | 713 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
1559.63/1559.70 c 1450s| 6140k| 6102k| 0 | 0.0 |1749M|1943 | - |2902 | 675 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
1562.33/1562.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1562.33/1562.30 c 1452s| 6150k| 6112k| 0 | 0.0 |1751M|1943 | - |2902 | 662 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
1564.83/1564.81 c 1455s| 6160k| 6122k| 0 | 0.0 |1754M|1943 | - |2902 | 654 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
1567.44/1567.41 c 1457s| 6170k| 6132k| 0 | 0.0 |1757M|1943 | - |2902 | 719 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
1569.93/1569.96 c 1459s| 6180k| 6142k| 0 | 0.0 |1760M|1943 | - |2902 | 693 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
1572.54/1572.56 c 1462s| 6190k| 6152k| 0 | 0.0 |1763M|1943 | - |2902 | 724 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
1575.03/1575.10 c 1464s| 6200k| 6162k| 0 | 0.0 |1766M|1943 | - |2902 | 698 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
1577.64/1577.63 c 1466s| 6210k| 6172k| 0 | 0.0 |1768M|1943 | - |2902 | 677 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
1580.13/1580.17 c 1469s| 6220k| 6182k| 0 | 0.0 |1771M|1943 | - |2902 | 724 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
1582.73/1582.71 c 1471s| 6230k| 6192k| 0 | 0.0 |1774M|1943 | - |2902 | 735 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
1585.24/1585.23 c 1474s| 6240k| 6202k| 0 | 0.0 |1777M|1943 | - |2902 | 738 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
1587.73/1587.76 c 1476s| 6250k| 6211k| 0 | 0.0 |1780M|1943 | - |2902 | 760 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
1590.23/1590.28 c 1478s| 6260k| 6221k| 0 | 0.0 |1782M|1943 | - |2902 | 729 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
1592.84/1592.81 c 1481s| 6270k| 6231k| 0 | 0.0 |1785M|1943 | - |2902 | 756 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
1595.34/1595.37 c 1483s| 6280k| 6241k| 0 | 0.0 |1788M|1943 | - |2902 | 748 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
1597.84/1597.89 c 1485s| 6290k| 6251k| 0 | 0.0 |1791M|1943 | - |2902 | 721 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
1600.43/1600.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1600.43/1600.48 c 1488s| 6300k| 6261k| 0 | 0.0 |1794M|1943 | - |2902 | 750 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
1603.03/1603.08 c 1490s| 6310k| 6271k| 0 | 0.0 |1797M|1943 | - |2902 | 762 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
1605.64/1605.68 c 1492s| 6320k| 6281k| 0 | 0.0 |1800M|1943 | - |2902 | 760 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
1608.24/1608.26 c 1495s| 6330k| 6291k| 0 | 0.0 |1802M|1943 | - |2902 | 757 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
1610.83/1610.81 c 1497s| 6340k| 6301k| 0 | 0.0 |1805M|1943 | - |2902 | 740 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
1613.34/1613.39 c 1500s| 6350k| 6311k| 0 | 0.0 |1808M|1943 | - |2902 | 736 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
1615.94/1615.93 c 1502s| 6360k| 6321k| 0 | 0.0 |1811M|1943 | - |2902 | 733 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
1618.53/1618.53 c 1504s| 6370k| 6331k| 0 | 0.0 |1814M|1943 | - |2902 | 727 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
1621.03/1621.07 c 1507s| 6380k| 6341k| 0 | 0.0 |1816M|1943 | - |2902 | 713 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
1623.64/1623.63 c 1509s| 6390k| 6351k| 0 | 0.0 |1819M|1943 | - |2902 | 770 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
1626.13/1626.17 c 1512s| 6400k| 6361k| 0 | 0.0 |1822M|1943 | - |2902 | 747 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
1628.73/1628.72 c 1514s| 6410k| 6370k| 0 | 0.0 |1825M|1943 | - |2902 | 758 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
1631.24/1631.27 c 1516s| 6420k| 6380k| 0 | 0.0 |1828M|1943 | - |2902 | 731 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
1633.83/1633.82 c 1519s| 6430k| 6390k| 0 | 0.0 |1831M|1943 | - |2902 | 747 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
1636.33/1636.35 c 1521s| 6440k| 6400k| 0 | 0.0 |1833M|1943 | - |2902 | 720 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
1638.84/1638.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1638.84/1638.89 c 1523s| 6450k| 6410k| 0 | 0.0 |1836M|1943 | - |2902 | 711 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
1641.44/1641.43 c 1526s| 6460k| 6420k| 0 | 0.0 |1839M|1943 | - |2902 | 735 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
1644.04/1644.01 c 1528s| 6470k| 6430k| 0 | 0.0 |1842M|1943 | - |2902 | 745 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
1646.53/1646.59 c 1530s| 6480k| 6440k| 0 | 0.0 |1845M|1943 | - |2902 | 722 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
1649.13/1649.12 c 1533s| 6490k| 6450k| 0 | 0.0 |1848M|1943 | - |2902 | 676 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
1651.63/1651.64 c 1535s| 6500k| 6460k| 0 | 0.0 |1850M|1943 | - |2902 | 686 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
1654.13/1654.17 c 1537s| 6510k| 6470k| 0 | 0.0 |1853M|1943 | - |2902 | 677 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
1656.74/1656.73 c 1540s| 6520k| 6480k| 0 | 0.0 |1856M|1943 | - |2902 | 738 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1659.33/1659.32 c 1542s| 6530k| 6490k| 0 | 0.0 |1859M|1943 | - |2902 | 728 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1661.84/1661.84 c 1545s| 6540k| 6500k| 0 | 0.0 |1862M|1943 | - |2902 | 667 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1664.34/1664.39 c 1547s| 6550k| 6510k| 0 | 0.0 |1864M|1943 | - |2902 | 658 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
1666.93/1666.93 c 1549s| 6560k| 6520k| 0 | 0.0 |1867M|1943 | - |2902 | 673 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
1669.44/1669.46 c 1552s| 6570k| 6530k| 0 | 0.0 |1870M|1943 | - |2902 | 660 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
1672.04/1672.04 c 1554s| 6580k| 6540k| 0 | 0.0 |1873M|1943 | - |2902 | 688 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
1674.63/1674.60 c 1556s| 6590k| 6549k| 0 | 0.0 |1876M|1943 | - |2902 | 679 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
1677.14/1677.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1677.14/1677.12 c 1559s| 6600k| 6559k| 0 | 0.0 |1879M|1943 | - |2902 | 653 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
1679.64/1679.65 c 1561s| 6610k| 6569k| 0 | 0.0 |1881M|1943 | - |2902 | 668 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
1682.14/1682.18 c 1563s| 6620k| 6579k| 0 | 0.0 |1884M|1943 | - |2902 | 653 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1684.74/1684.71 c 1566s| 6630k| 6589k| 0 | 0.0 |1887M|1943 | - |2902 | 684 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1687.24/1687.25 c 1568s| 6640k| 6599k| 0 | 0.0 |1890M|1943 | - |2902 | 665 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1689.73/1689.77 c 1570s| 6650k| 6609k| 0 | 0.0 |1893M|1943 | - |2902 | 638 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
1692.24/1692.29 c 1573s| 6660k| 6619k| 0 | 0.0 |1896M|1943 | - |2902 | 667 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
1694.84/1694.86 c 1575s| 6670k| 6629k| 0 | 0.0 |1899M|1943 | - |2902 | 672 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
1697.44/1697.47 c 1578s| 6680k| 6639k| 0 | 0.0 |1901M|1943 | - |2902 | 738 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
1700.03/1700.03 c 1580s| 6690k| 6649k| 0 | 0.0 |1904M|1943 | - |2902 | 716 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
1702.64/1702.60 c 1582s| 6700k| 6659k| 0 | 0.0 |1907M|1943 | - |2902 | 692 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
1705.14/1705.16 c 1585s| 6710k| 6669k| 0 | 0.0 |1910M|1943 | - |2902 | 699 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
1707.63/1707.69 c 1587s| 6720k| 6679k| 0 | 0.0 |1913M|1943 | - |2902 | 672 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
1710.24/1710.25 c 1590s| 6730k| 6689k| 0 | 0.0 |1915M|1943 | - |2902 | 669 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
1712.83/1712.80 c 1592s| 6740k| 6699k| 0 | 0.0 |1918M|1943 | - |2902 | 670 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
1715.44/1715.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1715.44/1715.40 c 1594s| 6750k| 6709k| 0 | 0.0 |1921M|1943 | - |2902 | 712 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
1717.94/1717.93 c 1597s| 6760k| 6718k| 0 | 0.0 |1924M|1943 | - |2902 | 698 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
1720.53/1720.50 c 1599s| 6770k| 6728k| 0 | 0.0 |1927M|1943 | - |2902 | 712 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
1723.03/1723.02 c 1601s| 6780k| 6738k| 0 | 0.0 |1930M|1943 | - |2902 | 684 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
1725.53/1725.58 c 1604s| 6790k| 6748k| 0 | 0.0 |1932M|1943 | - |2902 | 713 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
1728.14/1728.12 c 1606s| 6800k| 6758k| 0 | 0.0 |1935M|1943 | - |2902 | 645 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
1730.64/1730.65 c 1608s| 6810k| 6768k| 0 | 0.0 |1938M|1943 | - |2902 | 683 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
1733.14/1733.19 c 1611s| 6820k| 6778k| 0 | 0.0 |1941M|1943 | - |2902 | 674 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
1735.74/1735.73 c 1613s| 6830k| 6788k| 0 | 0.0 |1944M|1943 | - |2902 | 683 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
1738.24/1738.26 c 1615s| 6840k| 6798k| 0 | 0.0 |1946M|1943 | - |2902 | 659 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
1740.84/1740.84 c 1618s| 6850k| 6808k| 0 | 0.0 |1949M|1943 | - |2902 | 678 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
1743.44/1743.43 c 1620s| 6860k| 6818k| 0 | 0.0 |1952M|1943 | - |2902 | 713 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
1745.94/1745.97 c 1623s| 6870k| 6828k| 0 | 0.0 |1955M|1943 | - |2902 | 678 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
1748.54/1748.53 c 1625s| 6880k| 6838k| 0 | 0.0 |1958M|1943 | - |2902 | 700 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
1751.04/1751.06 c 1627s| 6890k| 6848k| 0 | 0.0 |1961M|1943 | - |2902 | 671 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
1753.64/1753.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1753.64/1753.60 c 1630s| 6900k| 6858k| 0 | 0.0 |1963M|1943 | - |2902 | 698 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
1756.14/1756.11 c 1632s| 6910k| 6868k| 0 | 0.0 |1966M|1943 | - |2902 | 671 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
1758.64/1758.66 c 1634s| 6920k| 6878k| 0 | 0.0 |1969M|1943 | - |2902 | 708 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
1761.24/1761.20 c 1637s| 6930k| 6888k| 0 | 0.0 |1972M|1943 | - |2902 | 723 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
1763.73/1763.72 c 1639s| 6940k| 6897k| 0 | 0.0 |1975M|1943 | - |2902 | 673 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
1766.24/1766.29 c 1641s| 6950k| 6907k| 0 | 0.0 |1977M|1943 | - |2902 | 697 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
1768.84/1768.83 c 1644s| 6960k| 6917k| 0 | 0.0 |1980M|1943 | - |2902 | 681 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
1771.34/1771.39 c 1646s| 6970k| 6927k| 0 | 0.0 |1983M|1943 | - |2902 | 734 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
1773.94/1773.91 c 1648s| 6980k| 6937k| 0 | 0.0 |1986M|1943 | - |2902 | 697 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
1776.45/1776.42 c 1651s| 6990k| 6947k| 0 | 0.0 |1989M|1943 | - |2902 | 667 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
1778.94/1778.97 c 1653s| 7000k| 6957k| 0 | 0.0 |1992M|1943 | - |2902 | 669 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
1781.54/1781.50 c 1655s| 7010k| 6967k| 0 | 0.0 |1994M|1943 | - |2902 | 679 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
1784.03/1784.06 c 1658s| 7020k| 6977k| 0 | 0.0 |1997M|1943 | - |2902 | 633 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
1786.64/1786.65 c 1660s| 7030k| 6987k| 0 | 0.0 |2000M|1943 | - |2902 | 644 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
1789.14/1789.19 c 1663s| 7040k| 6997k| 0 | 0.0 |2003M|1943 | - |2902 | 655 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
1791.73/1791.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1791.73/1791.76 c 1665s| 7050k| 7007k| 0 | 0.0 |2006M|1943 | - |2902 | 612 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
1794.34/1794.32 c 1667s| 7060k| 7017k| 0 | 0.0 |2009M|1943 | - |2902 | 648 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
1796.84/1796.89 c 1670s| 7070k| 7027k| 0 | 0.0 |2011M|1943 | - |2902 | 643 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
1799.44/1799.43 c 1672s| 7080k| 7037k| 0 | 0.0 |2014M|1943 | - |2902 | 653 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1672.57
1800.05/1800.00 c Solving Nodes : 7082200
1800.05/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 s UNKNOWN
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time : 1672.57
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-2693744-1277973228.wbo
1800.05/1800.00 c Variables : 2902 (2851 binary, 0 integer, 0 implicit integer, 51 continuous)
1800.05/1800.00 c Constraints : 202 initial, 202 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-2693744-1277973228.wbo
1800.05/1800.00 c Variables : 2902 (2851 binary, 0 integer, 0 implicit integer, 51 continuous)
1800.05/1800.00 c Constraints : 201 initial, 1428 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.00 0 0 0 51 0 1 0 0
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 0 - - 0 - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 51 0 1347 0 1112 0 95 0 0 0
1800.05/1800.00 c setppc : 47 0 7583318 0 7064407 14391 3002050 0 0 0
1800.05/1800.00 c linear : 51 0 7568927 0 7064407 6491 1409011 0 0 0
1800.05/1800.00 c logicor : 52+ 0 1425595 0 7064407 3765 283803 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 7064407 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c setppc : 193.75 0.00 24.31 0.00 169.44
1800.05/1800.00 c linear : 24.38 0.00 24.04 0.00 0.34
1800.05/1800.00 c logicor : 146.21 0.00 8.37 0.00 137.84
1800.05/1800.00 c countsols : 0.07 0.00 0.00 0.00 0.07
1800.05/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.00 c vbounds : 0.12 2 0 0
1800.05/1800.00 c rootredcost : 0.08 0 0 0
1800.05/1800.00 c pseudoobj : 8.78 7583118 0 0
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 37.36 24647 24647 466440 279.1 208151 33.6 -
1800.05/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 235246 53.0 - - -
1800.05/1800.00 c applied locally : - - - 1654 337.5 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.00 c redcost : 0.00 0 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.00 c cmir : 0.00 0 0 0 0 0
1800.05/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.00 c clique : 0.00 0 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 1240.61 7064407 0 0 0 0 14128814
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 0
1800.05/1800.00 c oneopt : 0.07 0 0
1800.05/1800.00 c trivial : 0.01 2 0
1800.05/1800.00 c simplerounding : 0.00 0 0
1800.05/1800.00 c zirounding : 0.00 0 0
1800.05/1800.00 c rounding : 0.00 0 0
1800.05/1800.00 c shifting : 0.00 0 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c coefdiving : 0.00 0 0
1800.05/1800.00 c pscostdiving : 0.00 0 0
1800.05/1800.00 c fracdiving : 0.00 0 0
1800.05/1800.00 c veclendiving : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 0.00 0 0
1800.05/1800.00 c rootsoldiving : 0.00 0 0
1800.05/1800.00 c linesearchdiving : 0.00 0 0
1800.05/1800.00 c guideddiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.00 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c crossover : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c nlp : 0.07 0 0
1800.05/1800.00 c trysol : 0.03 1 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.00 c (at root node) : - 0 0 0.00 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 7082200
1800.05/1800.00 c nodes (total) : 7082200
1800.05/1800.00 c nodes left : 7039367
1800.05/1800.00 c max depth : 1943
1800.05/1800.00 c max depth (total): 1943
1800.05/1800.00 c backtracks : 9825 (0.1%)
1800.05/1800.00 c delayed cutoffs : 7248
1800.05/1800.00 c repropagations : 24889 (306671 domain reductions, 6854 cutoffs)
1800.05/1800.00 c avg switch length: 2.34
1800.05/1800.00 c switching time : 27.67
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 0 (0 improvements)
1800.05/1800.00 c Primal Bound : -
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/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-2693744-1277973228/watcher-2693744-1277973228 -o /tmp/evaluation-result-2693744-1277973228/solver-2693744-1277973228 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693744-1277973228.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.06 2.00 1.66 4/178 19255
/proc/meminfo: memFree=28200936/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=8536 CPUtime=0
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 1617 0 0 0 0 0 0 0 25 0 1 0 138618021 8740864 1540 4089446400 4194304 7136930 140737248865024 18446744073709551615 6350076 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19255/statm: 2134 1540 275 719 0 1413 0
[startup+0.0497369 s]
/proc/loadavg: 2.06 2.00 1.66 4/178 19255
/proc/meminfo: memFree=28200936/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=18976 CPUtime=0.03
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 5737 0 0 0 3 0 0 0 25 0 1 0 138618021 19431424 4021 4089446400 4194304 7136930 140737248865024 18446744073709551615 4329683 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19255/statm: 4744 4021 384 719 0 4023 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18976
[startup+0.100726 s]
/proc/loadavg: 2.06 2.00 1.66 4/178 19255
/proc/meminfo: memFree=28200936/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=19648 CPUtime=0.08
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 5896 0 0 0 8 0 0 0 25 0 1 0 138618021 20119552 4180 4089446400 4194304 7136930 140737248865024 18446744073709551615 4575455 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19255/statm: 4912 4180 390 719 0 4191 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19648
[startup+0.300691 s]
/proc/loadavg: 2.06 2.00 1.66 4/178 19255
/proc/meminfo: memFree=28200936/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=20064 CPUtime=0.29
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 5991 0 0 0 28 1 0 0 25 0 1 0 138618021 20545536 4275 4089446400 4194304 7136930 140737248865024 18446744073709551615 4642165 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19255/statm: 5016 4275 390 719 0 4295 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20064
[startup+0.70062 s]
/proc/loadavg: 2.06 2.00 1.66 4/178 19255
/proc/meminfo: memFree=28200936/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=21128 CPUtime=0.68
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 6270 0 0 0 67 1 0 0 25 0 1 0 138618021 21635072 4554 4089446400 4194304 7136930 140737248865024 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19255/statm: 5282 4554 394 719 0 4561 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21128
[startup+1.50047 s]
/proc/loadavg: 2.05 2.00 1.66 3/179 19256
/proc/meminfo: memFree=28184188/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=22708 CPUtime=1.49
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 6672 0 0 0 145 4 0 0 25 0 1 0 138618021 23252992 4956 4089446400 4194304 7136930 140737248865024 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19255/statm: 5677 4956 394 719 0 4956 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22708
[startup+3.10019 s]
/proc/loadavg: 2.05 2.00 1.66 3/179 19256
/proc/meminfo: memFree=28182412/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=25440 CPUtime=3.09
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 7408 0 0 0 299 10 0 0 25 0 1 0 138618021 26050560 5692 4089446400 4194304 7136930 140737248865024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19255/statm: 6360 5692 394 719 0 5639 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25440
[startup+6.30062 s]
/proc/loadavg: 2.05 2.00 1.66 3/179 19256
/proc/meminfo: memFree=28176848/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=29532 CPUtime=6.29
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 8483 0 0 0 612 17 0 0 25 0 1 0 138618021 30240768 6767 4089446400 4194304 7136930 140737248865024 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19255/statm: 7383 6767 394 719 0 6662 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29532
[startup+12.7005 s]
/proc/loadavg: 2.04 2.00 1.67 3/179 19256
/proc/meminfo: memFree=28167692/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=38920 CPUtime=12.69
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 10914 0 0 0 1236 33 0 0 25 0 1 0 138618021 39854080 9198 4089446400 4194304 7136930 140737248865024 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19255/statm: 9730 9198 394 719 0 9009 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38920
[startup+25.5002 s]
/proc/loadavg: 2.04 2.00 1.67 3/179 19257
/proc/meminfo: memFree=28151744/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=55804 CPUtime=25.49
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 14806 0 0 0 2487 62 0 0 25 0 1 0 138618021 57143296 13090 4089446400 4194304 7136930 140737248865024 18446744073709551615 5892363 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19255/statm: 13951 13090 394 719 0 13230 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55804
[startup+51.1006 s]
/proc/loadavg: 2.02 2.00 1.68 3/179 19258
/proc/meminfo: memFree=28119120/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=91912 CPUtime=51.09
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 23221 0 0 0 4989 120 0 0 25 0 1 0 138618021 94117888 21505 4089446400 4194304 7136930 140737248865024 18446744073709551615 4643174 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19255/statm: 22978 21505 394 719 0 22257 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 91912
[startup+102.306 s]
/proc/loadavg: 2.04 2.01 1.70 3/179 19314
/proc/meminfo: memFree=31087004/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=160848 CPUtime=102.3
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 41284 0 0 0 9897 333 0 0 25 0 1 0 138618021 164708352 39568 4089446400 4194304 7136930 140737248865024 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19255/statm: 40212 39568 394 719 0 39491 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 160848
[startup+162.301 s]
/proc/loadavg: 2.08 2.02 1.72 3/179 19315
/proc/meminfo: memFree=30984132/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=267712 CPUtime=162.29
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 66931 0 0 0 15498 731 0 0 25 0 1 0 138618021 274137088 65215 4089446400 4194304 7136930 140737248865024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19255/statm: 66928 65215 394 719 0 66207 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 267712
[startup+222.301 s]
/proc/loadavg: 2.03 2.02 1.74 3/179 19317
/proc/meminfo: memFree=30917848/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=330184 CPUtime=222.3
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 83424 0 0 0 21066 1164 0 0 25 0 1 0 138618021 338108416 81708 4089446400 4194304 7136930 140737248865024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19255/statm: 82546 81708 394 719 0 81825 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 330184
[startup+282.301 s]
/proc/loadavg: 2.05 2.03 1.75 3/179 19319
/proc/meminfo: memFree=30845868/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=415504 CPUtime=282.29
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 101572 0 0 0 26627 1602 0 0 25 0 1 0 138618021 425476096 99856 4089446400 4194304 7136930 140737248865024 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19255/statm: 103876 99856 394 719 0 103155 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 415504
[startup+342.3 s]
/proc/loadavg: 2.08 2.04 1.77 3/179 19321
/proc/meminfo: memFree=30777480/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=479116 CPUtime=342.3
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 118351 0 0 0 32186 2044 0 0 25 0 1 0 138618021 490614784 116635 4089446400 4194304 7136930 140737248865024 18446744073709551615 5892210 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19255/statm: 119779 116635 394 719 0 119058 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 479116
[startup+402.301 s]
/proc/loadavg: 2.03 2.03 1.78 3/179 19322
/proc/meminfo: memFree=30711436/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=542248 CPUtime=402.3
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 135071 0 0 0 37747 2483 0 0 25 0 1 0 138618021 555261952 133355 4089446400 4194304 7136930 140737248865024 18446744073709551615 4641950 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19255/statm: 135562 133355 394 719 0 134841 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 542248
[startup+462.301 s]
/proc/loadavg: 2.11 2.05 1.80 3/179 19323
/proc/meminfo: memFree=30636344/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=612624 CPUtime=462.31
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 153571 0 0 0 43303 2928 0 0 25 0 1 0 138618021 627326976 151855 4089446400 4194304 7136930 140737248865024 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19255/statm: 153156 151855 394 719 0 152435 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 612624
[startup+522.301 s]
/proc/loadavg: 2.10 2.05 1.82 3/179 19325
/proc/meminfo: memFree=30566824/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=712016 CPUtime=522.3
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 171111 0 0 0 48857 3373 0 0 25 0 1 0 138618021 729104384 169395 4089446400 4194304 7136930 140737248865024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19255/statm: 178004 169395 394 719 0 177283 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 712016
[startup+582.3 s]
/proc/loadavg: 2.04 2.04 1.83 3/179 19327
/proc/meminfo: memFree=30500152/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=773764 CPUtime=582.31
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 187473 0 0 0 54416 3815 0 0 25 0 1 0 138618021 792334336 185757 4089446400 4194304 7136930 140737248865024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19255/statm: 193441 185757 394 719 0 192720 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 773764
[startup+642.3 s]
/proc/loadavg: 2.05 2.05 1.84 3/179 19329
/proc/meminfo: memFree=30431256/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=839076 CPUtime=642.31
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 204688 0 0 0 59969 4262 0 0 25 0 1 0 138618021 859213824 202972 4089446400 4194304 7136930 140737248865024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19255/statm: 209769 202972 394 719 0 209048 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 839076
[startup+702.301 s]
################
# More data... #
################
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 308564 0 0 0 93317 6914 0 0 25 0 1 0 138618021 1262477312 306848 4089446400 4194304 7136930 140737248865024 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19255/statm: 308222 306848 394 719 0 307501 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1232888
[startup+1062.3 s]
/proc/loadavg: 2.11 2.07 1.91 3/179 19339
/proc/meminfo: memFree=29946520/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=1364048 CPUtime=1062.32
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 325893 0 0 0 98883 7349 0 0 25 0 1 0 138618021 1396785152 324177 4089446400 4194304 7136930 140737248865024 18446744073709551615 4407949 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19255/statm: 341012 324177 394 719 0 340291 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1364048
[startup+1122.3 s]
/proc/loadavg: 2.04 2.05 1.91 3/179 19341
/proc/meminfo: memFree=29878636/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=1427344 CPUtime=1122.32
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 342628 0 0 0 104450 7782 0 0 25 0 1 0 138618021 1461600256 340912 4089446400 4194304 7136930 140737248865024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19255/statm: 356836 340912 394 719 0 356115 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1427344
[startup+1182.3 s]
/proc/loadavg: 2.05 2.06 1.92 3/179 19343
/proc/meminfo: memFree=29808640/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=1494088 CPUtime=1182.32
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 360209 0 0 0 110000 8232 0 0 25 0 1 0 138618021 1529946112 358493 4089446400 4194304 7136930 140737248865024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19255/statm: 373522 358493 394 719 0 372801 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1494088
[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 1.92 3/179 19345
/proc/meminfo: memFree=29738012/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=1560280 CPUtime=1242.32
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 377674 0 0 0 115558 8674 0 0 25 0 1 0 138618021 1597726720 375958 4089446400 4194304 7136930 140737248865024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19255/statm: 390070 375958 394 719 0 389349 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1560280
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 1.92 3/179 19346
/proc/meminfo: memFree=29669128/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=1624196 CPUtime=1302.33
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 394550 0 0 0 121124 9109 0 0 25 0 1 0 138618021 1663176704 392834 4089446400 4194304 7136930 140737248865024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19255/statm: 406049 392834 394 719 0 405328 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1624196
[startup+1362.3 s]
/proc/loadavg: 2.07 2.05 1.93 3/179 19347
/proc/meminfo: memFree=29598244/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=1692400 CPUtime=1362.32
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 412501 0 0 0 126692 9540 0 0 25 0 1 0 138618021 1733017600 410785 4089446400 4194304 7136930 140737248865024 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19255/statm: 423100 410785 394 719 0 422379 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1692400
[startup+1422.31 s]
/proc/loadavg: 2.02 2.04 1.93 3/179 19349
/proc/meminfo: memFree=29525120/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=1760616 CPUtime=1422.34
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 430496 0 0 0 132247 9987 0 0 25 0 1 0 138618021 1802870784 428780 4089446400 4194304 7136930 140737248865024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19255/statm: 440154 428780 394 719 0 439433 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1760616
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 1.93 3/179 19351
/proc/meminfo: memFree=29455364/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=1827948 CPUtime=1482.33
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 448223 0 0 0 137805 10428 0 0 25 0 1 0 138618021 1871818752 446507 4089446400 4194304 7136930 140737248865024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19255/statm: 456987 446507 394 719 0 456266 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1827948
[startup+1542.3 s]
/proc/loadavg: 2.04 2.04 1.94 3/179 19353
/proc/meminfo: memFree=29389332/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=1889184 CPUtime=1542.33
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 464458 0 0 0 143366 10867 0 0 25 0 1 0 138618021 1934524416 462742 4089446400 4194304 7136930 140737248865024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19255/statm: 472296 462742 394 719 0 471575 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1889184
[startup+1602.3 s]
/proc/loadavg: 2.06 2.04 1.94 3/179 19354
/proc/meminfo: memFree=29319572/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=1956016 CPUtime=1602.33
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 482048 0 0 0 148934 11299 0 0 25 0 1 0 138618021 2002960384 480332 4089446400 4194304 7136930 140737248865024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19255/statm: 489004 480332 394 719 0 488283 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1956016
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 1.94 3/179 19364
/proc/meminfo: memFree=29247972/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=2021812 CPUtime=1662.33
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 499414 0 0 0 154498 11735 0 0 25 0 1 0 138618021 2070335488 497698 4089446400 4194304 7136930 140737248865024 18446744073709551615 5909102 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19255/statm: 505453 497698 394 719 0 504732 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2021812
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/179 19366
/proc/meminfo: memFree=29179296/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=2087756 CPUtime=1722.34
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 516848 0 0 0 160068 12166 0 0 25 0 1 0 138618021 2137862144 515132 4089446400 4194304 7136930 140737248865024 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19255/statm: 521939 515132 394 719 0 521218 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2087756
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/179 19368
/proc/meminfo: memFree=29109792/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=2152932 CPUtime=1782.34
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 534058 0 0 0 165620 12614 0 0 25 0 1 0 138618021 2204602368 532342 4089446400 4194304 7136930 140737248865024 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19255/statm: 538233 532342 394 719 0 537512 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2152932
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 1.94 3/179 19368
/proc/meminfo: memFree=29090292/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=2170448 CPUtime=1800.05
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 538705 0 0 0 167257 12748 0 0 25 0 1 0 138618021 2222538752 536989 4089446400 4194304 7136930 140737248865024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19255/statm: 542612 536989 394 719 0 541891 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2170448
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -19255
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.02 1.94 3/180 19369
/proc/meminfo: memFree=29090160/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=2170448 CPUtime=1801.44
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 538724 0 0 0 167396 12748 0 0 19 0 1 0 138618021 2222538752 537008 4089446400 4194304 7136930 140737248865024 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/19255/statm: 542612 537008 399 719 0 541891 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 2170448
[startup+1801.81 s]
/proc/loadavg: 2.00 2.02 1.94 3/180 19369
/proc/meminfo: memFree=29090276/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=2170448 CPUtime=1801.85
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 538724 0 0 0 167437 12748 0 0 20 0 1 0 138618021 2222538752 537008 4089446400 4194304 7136930 140737248865024 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/19255/statm: 542612 537008 399 719 0 541891 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 2170448
[startup+1802 s]
/proc/loadavg: 2.00 2.02 1.94 3/180 19369
/proc/meminfo: memFree=29090276/32951124 swapFree=67111528/67111528
[pid=19255] ppid=19253 vsize=2170448 CPUtime=1802.04
/proc/19255/stat : 19255 (pbscip.linux.x8) R 19253 19255 19037 0 -1 4202496 538724 0 0 0 167456 12748 0 0 21 0 1 0 138618021 2222538752 537008 4089446400 4194304 7136930 140737248865024 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/19255/statm: 542612 537008 399 719 0 541891 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 2170448
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.08
CPU time (s): 1802.13
CPU user time (s): 1674.57
CPU system time (s): 127.553
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2170448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1674.57
system time used= 127.553
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 538724
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= 4
involuntary context switches= 1431
runsolver used 2.67759 second user time and 5.9021 second system time
The end
Begin job on node145 at 2010-07-01 10:33:48
IDJOB=2693744
IDBENCH=78698
IDSOLVER=1206
FILE ID=node145/2693744-1277973228
PBS_JOBID= 11197877
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-PB05/aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr--soft-66-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-2693744-1277973228/watcher-2693744-1277973228 -o /tmp/evaluation-result-2693744-1277973228/solver-2693744-1277973228 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693744-1277973228.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= fb4b4aad89d54269a5ce80fb177bfc09
RANDOM SEED=1680468421
node145.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.851
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.70
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.851
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 : 5332.75
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.851
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.82
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.851
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.75
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.851
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 : 5332.82
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.851
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.67
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.851
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.82
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.851
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 28201464 kB
Buffers: 219396 kB
Cached: 1269736 kB
SwapCached: 0 kB
Active: 3596048 kB
Inactive: 1001324 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 28201464 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3304 kB
Writeback: 0 kB
AnonPages: 3108572 kB
Mapped: 16064 kB
Slab: 82180 kB
PageTables: 11184 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 3381680 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= 74208 MiB
End job on node145 at 2010-07-01 11:03:51