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-2663888-1276671917.opb>
0.00/0.02 c original problem has 706 variables (706 bin, 0 int, 0 impl, 0 cont) and 757 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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 o 0
0.00/0.02 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.02 c presolving:
0.09/0.19 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 4948 impls, 100 clqs
0.19/0.22 c (0.1s) probing: 101/706 (14.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.22 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.22 c presolving (2 rounds):
0.19/0.22 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.22 c 4948 implications, 100 cliques
0.19/0.22 c presolved problem has 706 variables (706 bin, 0 int, 0 impl, 0 cont) and 757 constraints
0.19/0.22 c 100 constraints of type <setppc>
0.19/0.22 c 606 constraints of type <and>
0.19/0.22 c 1 constraints of type <linear>
0.19/0.22 c 50 constraints of type <logicor>
0.19/0.22 c transformed objective value is always integral (scale: 1)
0.19/0.22 c Presolving Time: 0.12
0.19/0.22 c - non default parameters ----------------------------------------------------------------------
0.19/0.22 c # SCIP version 1.2.1.2
0.19/0.22 c
0.19/0.22 c # frequency for displaying node information lines
0.19/0.22 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.22 c display/freq = 10000
0.19/0.22 c
0.19/0.22 c # maximal time in seconds to run
0.19/0.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.22 c limits/time = 1799.99
0.19/0.22 c
0.19/0.22 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.22 c limits/memory = 1620
0.19/0.22 c
0.19/0.22 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.22 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.22 c lp/solvefreq = -1
0.19/0.22 c
0.19/0.22 c # should presolving try to simplify inequalities
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c constraints/linear/simplifyinequalities = TRUE
0.19/0.22 c
0.19/0.22 c # should presolving try to simplify knapsacks
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.22 c
0.19/0.22 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.22 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.22 c heuristics/undercover/freq = 0
0.19/0.22 c
0.19/0.22 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.22 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.22 c separating/rapidlearning/freq = 0
0.19/0.22 c
0.19/0.22 c -----------------------------------------------------------------------------------------------
0.19/0.22 c start solving
0.19/0.22 c
0.19/0.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.22 c t 0.1s| 1 | 2 | 0 | - |2210k| 0 | - | 706 | 757 | 0 | 0 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.89/0.92 o -3
0.89/0.92 c * 0.8s| 2224 | 2007 | 0 | 0.0 |4738k| 52 | - | 706 | 893 | 0 | 0 | 0 | 136 | 0 |-4.900000e+01 |-3.000000e+00 | 93.88%
0.89/0.94 o -4
0.89/0.94 c * 0.8s| 2260 | 2035 | 0 | 0.0 |4784k| 52 | - | 706 | 897 | 0 | 0 | 0 | 140 | 0 |-4.900000e+01 |-4.000000e+00 | 91.84%
0.89/0.94 o -5
0.89/0.94 c * 0.8s| 2270 | 2041 | 0 | 0.0 |4798k| 52 | - | 706 | 898 | 0 | 0 | 0 | 141 | 0 |-4.900000e+01 |-5.000000e+00 | 89.80%
1.19/1.23 o -6
1.19/1.23 c * 1.0s| 2911 | 2378 | 0 | 0.0 |5581k| 52 | - | 706 |1008 | 0 | 0 | 0 | 260 | 0 |-4.800000e+01 |-6.000000e+00 | 87.50%
2.10/2.11 o -7
2.10/2.11 c * 1.9s| 5030 | 4000 | 0 | 0.0 |9482k| 59 | - | 706 |1004 | 0 | 0 | 0 | 517 | 0 |-4.800000e+01 |-7.000000e+00 | 85.42%
3.89/3.90 c 3.5s| 10000 | 8501 | 0 | 0.0 | 19M| 59 | - | 706 |1062 | 0 | 0 | 0 | 815 | 0 |-4.800000e+01 |-7.000000e+00 | 85.42%
5.09/5.13 o -8
5.09/5.13 c * 4.6s| 13254 | 11257 | 0 | 0.0 | 25M| 59 | - | 706 |1151 | 0 | 0 | 0 |1144 | 0 |-4.800000e+01 |-8.000000e+00 | 83.33%
7.79/7.89 c 7.2s| 20000 | 16090 | 0 | 0.0 | 34M| 61 | - | 706 |1451 | 0 | 0 | 0 |2541 | 0 |-4.800000e+01 |-8.000000e+00 | 83.33%
8.49/8.58 o -9
8.49/8.58 c * 7.8s| 21548 | 16828 | 0 | 0.0 | 36M| 61 | - | 706 |1527 | 0 | 0 | 0 |2987 | 0 |-4.700000e+01 |-9.000000e+00 | 80.85%
11.79/11.86 c 10.8s| 30000 | 24085 | 0 | 0.0 | 52M| 61 | - | 706 |1189 | 0 | 0 | 0 |3533 | 0 |-4.700000e+01 |-9.000000e+00 | 80.85%
15.58/15.69 c 14.3s| 40000 | 32888 | 0 | 0.0 | 71M| 61 | - | 706 |1372 | 0 | 0 | 0 |4254 | 0 |-4.700000e+01 |-9.000000e+00 | 80.85%
19.58/19.69 c 18.0s| 50000 | 40531 | 0 | 0.0 | 85M| 62 | - | 706 |1696 | 0 | 0 | 0 |5801 | 0 |-4.700000e+01 |-9.000000e+00 | 80.85%
23.38/23.43 c 21.4s| 60000 | 48592 | 0 | 0.0 | 99M| 62 | - | 706 |1306 | 0 | 0 | 0 |6771 | 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
27.39/27.46 c 25.1s| 70000 | 55415 | 0 | 0.0 | 110M| 62 | - | 706 |1600 | 0 | 0 | 0 |8526 | 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
31.58/31.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.58/31.70 c 29.1s| 80000 | 62578 | 0 | 0.0 | 126M| 63 | - | 706 |1395 | 0 | 0 | 0 |9629 | 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
35.28/35.38 c 32.4s| 90000 | 71815 | 0 | 0.0 | 144M| 63 | - | 706 |1475 | 0 | 0 | 0 | 10k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
39.28/39.30 c 36.0s|100000 | 80919 | 0 | 0.0 | 163M| 63 | - | 706 |1548 | 0 | 0 | 0 | 10k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
43.38/43.40 c 39.8s|110000 | 89142 | 0 | 0.0 | 178M| 63 | - | 706 |1789 | 0 | 0 | 0 | 11k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
47.58/47.65 c 43.8s|120000 | 96405 | 0 | 0.0 | 190M| 63 | - | 706 |2025 | 0 | 0 | 0 | 13k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
52.48/52.53 c 48.4s|130000 |101889 | 0 | 0.0 | 200M| 63 | - | 706 |2631 | 0 | 0 | 0 | 15k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
56.47/56.51 c 52.1s|140000 |109911 | 0 | 0.0 | 213M| 63 | - | 706 |1762 | 0 | 0 | 0 | 16k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
60.48/60.54 c 55.8s|150000 |117303 | 0 | 0.0 | 226M| 63 | - | 706 |1886 | 0 | 0 | 0 | 18k| 0 |-4.600000e+01 |-9.000000e+00 | 80.43%
65.18/65.21 c 60.1s|160000 |123000 | 0 | 0.0 | 235M| 63 | - | 706 |2223 | 0 | 0 | 0 | 20k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
69.87/69.99 c 64.6s|170000 |127512 | 0 | 0.0 | 242M| 63 | - | 706 |2137 | 0 | 0 | 0 | 22k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
74.07/74.16 c 68.5s|180000 |135636 | 0 | 0.0 | 261M| 63 | - | 706 |1492 | 0 | 0 | 0 | 23k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
77.87/77.97 c 72.0s|190000 |145093 | 0 | 0.0 | 279M| 63 | - | 706 |1517 | 0 | 0 | 0 | 23k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
81.77/81.84 c 75.5s|200000 |154389 | 0 | 0.0 | 297M| 63 | - | 706 |1570 | 0 | 0 | 0 | 23k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
85.57/85.62 c 79.0s|210000 |163689 | 0 | 0.0 | 314M| 63 | - | 706 |1619 | 0 | 0 | 0 | 24k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
89.37/89.49 c 82.6s|220000 |173058 | 0 | 0.0 | 332M| 63 | - | 706 |1648 | 0 | 0 | 0 | 24k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
93.38/93.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.38/93.50 c 86.3s|230000 |182369 | 0 | 0.0 | 350M| 63 | - | 706 |1719 | 0 | 0 | 0 | 25k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
97.56/97.69 c 90.1s|240000 |191347 | 0 | 0.0 | 368M| 63 | - | 706 |1836 | 0 | 0 | 0 | 25k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
101.76/101.82 c 94.0s|250000 |200006 | 0 | 0.0 | 383M| 63 | - | 706 |1943 | 0 | 0 | 0 | 26k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
105.86/105.95 c 97.8s|260000 |208337 | 0 | 0.0 | 397M| 63 | - | 706 |2032 | 0 | 0 | 0 | 27k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
110.26/110.33 c 102s|270000 |216153 | 0 | 0.0 | 410M| 63 | - | 706 |2056 | 0 | 0 | 0 | 29k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
114.75/114.88 c 106s|280000 |223415 | 0 | 0.0 | 422M| 63 | - | 706 |2269 | 0 | 0 | 0 | 30k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
119.65/119.72 c 111s|290000 |229855 | 0 | 0.0 | 432M| 63 | - | 706 |2562 | 0 | 0 | 0 | 32k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
124.96/125.06 c 116s|300000 |235549 | 0 | 0.0 | 441M| 63 | - | 706 |3091 | 0 | 0 | 0 | 35k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
130.76/130.90 c 121s|310000 |240858 | 0 | 0.0 | 450M| 63 | - | 706 |3525 | 0 | 0 | 0 | 37k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
136.95/137.06 c 127s|320000 |245442 | 0 | 0.0 | 458M| 63 | - | 706 |3571 | 0 | 0 | 0 | 40k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
142.86/142.97 c 133s|330000 |248168 | 0 | 0.0 | 463M| 63 | - | 706 |4026 | 0 | 0 | 0 | 41k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
147.05/147.13 c 137s|340000 |257327 | 0 | 0.0 | 478M| 63 | - | 706 |1842 | 0 | 0 | 0 | 42k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
151.05/151.13 c 140s|350000 |265550 | 0 | 0.0 | 492M| 63 | - | 706 |2038 | 0 | 0 | 0 | 43k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
155.14/155.23 c 144s|360000 |272960 | 0 | 0.0 | 503M| 63 | - | 706 |2257 | 0 | 0 | 0 | 45k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
159.65/159.75 c 148s|370000 |279457 | 0 | 0.0 | 513M| 63 | - | 706 |2509 | 0 | 0 | 0 | 47k| 0 |-4.500000e+01 |-9.000000e+00 | 80.00%
164.54/164.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.54/164.61 c 153s|380000 |285293 | 0 | 0.0 | 522M| 63 | - | 706 |2473 | 0 | 0 | 0 | 49k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
169.64/169.71 c 158s|390000 |290451 | 0 | 0.0 | 530M| 63 | - | 706 |2678 | 0 | 0 | 0 | 51k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
174.94/175.07 c 163s|400000 |295154 | 0 | 0.0 | 537M| 63 | - | 706 |3126 | 0 | 0 | 0 | 53k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
180.14/180.22 c 168s|410000 |298834 | 0 | 0.0 | 543M| 64 | - | 706 |2824 | 0 | 0 | 0 | 55k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
184.54/184.63 c 172s|420000 |306596 | 0 | 0.0 | 559M| 64 | - | 706 |1774 | 0 | 0 | 0 | 56k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
188.34/188.42 c 175s|430000 |316179 | 0 | 0.0 | 577M| 64 | - | 706 |1793 | 0 | 0 | 0 | 56k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
191.84/191.98 c 178s|440000 |325787 | 0 | 0.0 | 593M| 64 | - | 706 |1727 | 0 | 0 | 0 | 56k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
195.65/195.71 c 182s|450000 |335195 | 0 | 0.0 | 609M| 64 | - | 706 |1792 | 0 | 0 | 0 | 57k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
199.33/199.49 c 185s|460000 |344560 | 0 | 0.0 | 626M| 64 | - | 706 |1864 | 0 | 0 | 0 | 57k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
203.03/203.14 c 189s|470000 |354028 | 0 | 0.0 | 642M| 64 | - | 706 |1870 | 0 | 0 | 0 | 57k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
206.83/206.94 c 192s|480000 |363331 | 0 | 0.0 | 658M| 64 | - | 706 |1959 | 0 | 0 | 0 | 58k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
210.63/210.75 c 196s|490000 |372729 | 0 | 0.0 | 674M| 64 | - | 706 |1972 | 0 | 0 | 0 | 58k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
214.53/214.67 c 199s|500000 |382102 | 0 | 0.0 | 690M| 64 | - | 706 |2018 | 0 | 0 | 0 | 58k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
218.63/218.78 c 203s|510000 |391375 | 0 | 0.0 | 708M| 64 | - | 706 |2023 | 0 | 0 | 0 | 59k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
222.73/222.88 c 207s|520000 |400574 | 0 | 0.0 | 725M| 64 | - | 706 |2078 | 0 | 0 | 0 | 59k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
227.02/227.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
227.02/227.17 c 211s|530000 |409799 | 0 | 0.0 | 742M| 64 | - | 706 |2043 | 0 | 0 | 0 | 60k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
231.22/231.32 c 215s|540000 |418947 | 0 | 0.0 | 758M| 64 | - | 706 |2127 | 0 | 0 | 0 | 60k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
235.52/235.64 c 219s|550000 |428167 | 0 | 0.0 | 775M| 64 | - | 706 |2181 | 0 | 0 | 0 | 61k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
240.12/240.20 c 223s|560000 |437252 | 0 | 0.0 | 792M| 64 | - | 706 |2186 | 0 | 0 | 0 | 61k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
244.72/244.81 c 227s|570000 |446401 | 0 | 0.0 | 809M| 64 | - | 706 |2195 | 0 | 0 | 0 | 62k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
249.02/249.17 c 231s|580000 |455497 | 0 | 0.0 | 824M| 64 | - | 706 |2207 | 0 | 0 | 0 | 62k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
253.72/253.81 c 235s|590000 |464222 | 0 | 0.0 | 839M| 64 | - | 706 |2325 | 0 | 0 | 0 | 63k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
258.32/258.40 c 240s|600000 |472779 | 0 | 0.0 | 853M| 64 | - | 706 |2339 | 0 | 0 | 0 | 64k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
262.82/263.00 c 244s|610000 |481010 | 0 | 0.0 | 867M| 64 | - | 706 |2433 | 0 | 0 | 0 | 65k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
267.41/267.57 c 248s|620000 |489462 | 0 | 0.0 | 880M| 64 | - | 706 |2615 | 0 | 0 | 0 | 66k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
272.11/272.21 c 253s|630000 |497710 | 0 | 0.0 | 893M| 64 | - | 706 |2604 | 0 | 0 | 0 | 68k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
276.91/277.08 c 257s|640000 |505603 | 0 | 0.0 | 905M| 64 | - | 706 |2642 | 0 | 0 | 0 | 69k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
281.81/281.97 c 262s|650000 |513201 | 0 | 0.0 | 917M| 64 | - | 706 |3011 | 0 | 0 | 0 | 70k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
286.91/287.02 c 267s|660000 |520638 | 0 | 0.0 | 928M| 64 | - | 706 |3048 | 0 | 0 | 0 | 72k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
292.20/292.30 c 272s|670000 |527696 | 0 | 0.0 | 939M| 64 | - | 706 |2999 | 0 | 0 | 0 | 74k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
297.80/297.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
297.80/297.93 c 277s|680000 |534382 | 0 | 0.0 | 949M| 64 | - | 706 |3343 | 0 | 0 | 0 | 76k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
303.40/303.52 c 282s|690000 |540741 | 0 | 0.0 | 959M| 64 | - | 706 |3748 | 0 | 0 | 0 | 78k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
309.10/309.21 c 288s|700000 |547406 | 0 | 0.0 | 968M| 64 | - | 706 |3279 | 0 | 0 | 0 | 80k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
315.20/315.36 c 293s|710000 |553184 | 0 | 0.0 | 978M| 64 | - | 706 |4049 | 0 | 0 | 0 | 82k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
321.40/321.58 c 299s|720000 |558817 | 0 | 0.0 | 987M| 64 | - | 706 |4097 | 0 | 0 | 0 | 84k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
328.19/328.35 c 306s|730000 |564157 | 0 | 0.0 | 995M| 64 | - | 706 |4004 | 0 | 0 | 0 | 87k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
335.30/335.40 c 312s|740000 |569254 | 0 | 0.0 |1004M| 64 | - | 706 |4428 | 0 | 0 | 0 | 89k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
342.59/342.79 c 320s|750000 |573914 | 0 | 0.0 |1012M| 64 | - | 706 |5073 | 0 | 0 | 0 | 92k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
350.09/350.26 c 327s|760000 |578598 | 0 | 0.0 |1020M| 64 | - | 706 |5088 | 0 | 0 | 0 | 95k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
357.88/358.08 c 334s|770000 |583064 | 0 | 0.0 |1028M| 64 | - | 706 |5318 | 0 | 0 | 0 | 97k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
365.68/365.89 c 342s|780000 |587254 | 0 | 0.0 |1035M| 64 | - | 706 |5257 | 0 | 0 | 0 | 100k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
373.68/373.83 c 349s|790000 |591026 | 0 | 0.0 |1042M| 64 | - | 706 |5484 | 0 | 0 | 0 | 103k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
381.08/381.28 c 357s|800000 |594191 | 0 | 0.0 |1047M| 64 | - | 706 |5491 | 0 | 0 | 0 | 105k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
388.19/388.33 c 363s|810000 |596297 | 0 | 0.0 |1052M| 64 | - | 706 |5815 | 0 | 0 | 0 | 107k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
393.18/393.30 c 368s|820000 |604613 | 0 | 0.0 |1066M| 64 | - | 706 |2545 | 0 | 0 | 0 | 108k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
397.47/397.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
397.47/397.67 c 372s|830000 |613683 | 0 | 0.0 |1082M| 64 | - | 706 |2569 | 0 | 0 | 0 | 108k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
402.27/402.45 c 377s|840000 |622313 | 0 | 0.0 |1097M| 64 | - | 706 |2619 | 0 | 0 | 0 | 109k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
407.17/407.35 c 381s|850000 |630357 | 0 | 0.0 |1111M| 64 | - | 706 |2835 | 0 | 0 | 0 | 111k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
412.37/412.55 c 386s|860000 |637798 | 0 | 0.0 |1124M| 64 | - | 706 |2921 | 0 | 0 | 0 | 112k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
417.56/417.75 c 391s|870000 |644761 | 0 | 0.0 |1135M| 64 | - | 706 |3049 | 0 | 0 | 0 | 114k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
422.76/422.90 c 396s|880000 |651575 | 0 | 0.0 |1145M| 64 | - | 706 |3032 | 0 | 0 | 0 | 116k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
428.06/428.21 c 401s|890000 |657917 | 0 | 0.0 |1155M| 64 | - | 706 |3244 | 0 | 0 | 0 | 118k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
433.76/433.94 c 406s|900000 |663694 | 0 | 0.0 |1164M| 64 | - | 706 |3381 | 0 | 0 | 0 | 120k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
439.66/439.89 c 412s|910000 |668984 | 0 | 0.0 |1172M| 64 | - | 706 |3674 | 0 | 0 | 0 | 122k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
445.96/446.12 c 418s|920000 |673870 | 0 | 0.0 |1180M| 64 | - | 706 |4231 | 0 | 0 | 0 | 125k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
452.15/452.32 c 424s|930000 |678812 | 0 | 0.0 |1187M| 64 | - | 706 |4325 | 0 | 0 | 0 | 127k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
458.65/458.81 c 430s|940000 |683100 | 0 | 0.0 |1194M| 64 | - | 706 |4372 | 0 | 0 | 0 | 130k| 0 |-4.400000e+01 |-9.000000e+00 | 79.55%
465.35/465.57 c 436s|950000 |687315 | 0 | 0.0 |1201M| 64 | - | 706 |4442 | 0 | 0 | 0 | 132k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
471.76/471.93 c 442s|960000 |691227 | 0 | 0.0 |1207M| 65 | - | 706 |4094 | 0 | 0 | 0 | 135k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
477.55/477.72 c 448s|970000 |694478 | 0 | 0.0 |1212M| 65 | - | 706 |3867 | 0 | 0 | 0 | 137k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
483.25/483.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
483.25/483.46 c 453s|980000 |696567 | 0 | 0.0 |1216M| 65 | - | 706 |3526 | 0 | 0 | 0 | 139k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
487.94/488.19 c 458s|990000 |704617 | 0 | 0.0 |1232M| 65 | - | 706 |2609 | 0 | 0 | 0 | 140k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
492.04/492.22 c 462s| 1000k|714203 | 0 | 0.0 |1248M| 65 | - | 706 |2547 | 0 | 0 | 0 | 140k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
496.04/496.25 c 465s| 1010k|723744 | 0 | 0.0 |1264M| 65 | - | 706 |2545 | 0 | 0 | 0 | 140k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
499.84/500.07 c 469s| 1020k|733255 | 0 | 0.0 |1277M| 65 | - | 706 |2496 | 0 | 0 | 0 | 140k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
503.44/503.65 c 472s| 1030k|742875 | 0 | 0.0 |1290M| 65 | - | 706 |2402 | 0 | 0 | 0 | 141k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
507.23/507.41 c 475s| 1040k|752355 | 0 | 0.0 |1304M| 65 | - | 706 |2440 | 0 | 0 | 0 | 141k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
510.94/511.10 c 479s| 1050k|761913 | 0 | 0.0 |1318M| 65 | - | 706 |2443 | 0 | 0 | 0 | 141k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
514.73/514.92 c 482s| 1060k|771384 | 0 | 0.0 |1332M| 65 | - | 706 |2510 | 0 | 0 | 0 | 141k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
518.53/518.79 c 486s| 1070k|780852 | 0 | 0.0 |1346M| 65 | - | 706 |2558 | 0 | 0 | 0 | 142k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
522.13/522.34 c (node 1079507) switching to memory saving mode (mem: 1296.0M/1620.0M)
522.53/522.72 c 490s| 1080k|789898 | 0 | 0.0 |1359M| 90 | - | 706 |2678 | 0 | 0 | 0 | 142k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
527.13/527.33 c 494s| 1090k|789667 | 0 | 0.0 |1359M| 91 | - | 706 |4064 | 0 | 0 | 0 | 144k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
533.72/533.93 c 500s| 1100k|789436 | 0 | 0.0 |1359M| 91 | - | 706 |5428 | 0 | 0 | 0 | 147k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
540.93/541.13 c 507s| 1110k|789168 | 0 | 0.0 |1358M| 91 | - | 706 |4354 | 0 | 0 | 0 | 150k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
546.82/547.00 c 512s| 1120k|789038 | 0 | 0.0 |1357M| 91 | - | 706 |3813 | 0 | 0 | 0 | 154k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
551.82/552.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
551.82/552.06 c 517s| 1130k|788880 | 0 | 0.0 |1357M| 91 | - | 706 |4028 | 0 | 0 | 0 | 158k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
557.52/557.76 c 522s| 1140k|788567 | 0 | 0.0 |1356M| 91 | - | 706 |4614 | 0 | 0 | 0 | 161k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
563.02/563.26 c 527s| 1150k|788418 | 0 | 0.0 |1356M| 91 | - | 706 |4381 | 0 | 0 | 0 | 165k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
568.42/568.67 c 532s| 1160k|788280 | 0 | 0.0 |1356M| 91 | - | 706 |4177 | 0 | 0 | 0 | 169k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
573.31/573.55 c 537s| 1170k|788196 | 0 | 0.0 |1356M| 91 | - | 706 |4300 | 0 | 0 | 0 | 173k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
578.21/578.47 c 541s| 1180k|788125 | 0 | 0.0 |1355M| 91 | - | 706 |4209 | 0 | 0 | 0 | 177k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
583.82/584.03 c 546s| 1190k|788069 | 0 | 0.0 |1356M| 91 | - | 706 |4731 | 0 | 0 | 0 | 182k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
590.01/590.29 c 552s| 1200k|787785 | 0 | 0.0 |1355M| 91 | - | 706 |4692 | 0 | 0 | 0 | 186k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
596.41/596.61 c 558s| 1210k|787433 | 0 | 0.0 |1354M| 91 | - | 706 |5465 | 0 | 0 | 0 | 189k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
602.30/602.59 c 564s| 1220k|787393 | 0 | 0.0 |1354M| 91 | - | 706 |4845 | 0 | 0 | 0 | 193k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
607.80/608.01 c 569s| 1230k|787323 | 0 | 0.0 |1354M| 91 | - | 706 |4490 | 0 | 0 | 0 | 198k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
613.00/613.21 c 574s| 1240k|787257 | 0 | 0.0 |1354M| 91 | - | 706 |5513 | 0 | 0 | 0 | 202k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
618.01/618.24 c 578s| 1250k|787213 | 0 | 0.0 |1354M| 91 | - | 706 |5293 | 0 | 0 | 0 | 206k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
623.20/623.40 c 583s| 1260k|787142 | 0 | 0.0 |1354M| 91 | - | 706 |5017 | 0 | 0 | 0 | 210k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
628.91/629.16 c 588s| 1270k|787102 | 0 | 0.0 |1355M| 91 | - | 706 |5817 | 0 | 0 | 0 | 215k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
635.51/635.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
635.51/635.72 c 594s| 1280k|787096 | 0 | 0.0 |1356M| 91 | - | 706 |7455 | 0 | 0 | 0 | 220k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
641.59/641.85 c 600s| 1290k|787056 | 0 | 0.0 |1355M| 91 | - | 706 |6880 | 0 | 0 | 0 | 226k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
647.89/648.10 c 606s| 1300k|787023 | 0 | 0.0 |1355M| 91 | - | 706 |5645 | 0 | 0 | 0 | 230k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
652.89/653.11 c 611s| 1310k|786968 | 0 | 0.0 |1354M| 91 | - | 706 |5396 | 0 | 0 | 0 | 233k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
658.60/658.85 c 616s| 1320k|786941 | 0 | 0.0 |1355M| 91 | - | 706 |6252 | 0 | 0 | 0 | 238k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
664.19/664.49 c 621s| 1330k|786913 | 0 | 0.0 |1354M| 91 | - | 706 |5679 | 0 | 0 | 0 | 242k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
669.39/669.64 c 626s| 1340k|786869 | 0 | 0.0 |1354M| 91 | - | 706 |5680 | 0 | 0 | 0 | 246k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
675.98/676.20 c 632s| 1350k|786742 | 0 | 0.0 |1354M| 91 | - | 706 |5216 | 0 | 0 | 0 | 251k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
682.28/682.54 c 638s| 1360k|786499 | 0 | 0.0 |1354M| 91 | - | 706 |5386 | 0 | 0 | 0 | 255k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
688.48/688.72 c 644s| 1370k|786252 | 0 | 0.0 |1353M| 91 | - | 706 |5697 | 0 | 0 | 0 | 258k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
695.18/695.44 c 650s| 1380k|785939 | 0 | 0.0 |1352M| 91 | - | 706 |6296 | 0 | 0 | 0 | 262k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
701.28/701.53 c 656s| 1390k|785916 | 0 | 0.0 |1353M| 91 | - | 706 |7095 | 0 | 0 | 0 | 266k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
707.68/707.98 c 662s| 1400k|785879 | 0 | 0.0 |1353M| 91 | - | 706 |6731 | 0 | 0 | 0 | 269k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
713.58/713.87 c 668s| 1410k|785846 | 0 | 0.0 |1352M| 91 | - | 706 |5541 | 0 | 0 | 0 | 273k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
719.66/719.91 c 673s| 1420k|785799 | 0 | 0.0 |1353M| 91 | - | 706 |6574 | 0 | 0 | 0 | 278k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
725.17/725.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
725.17/725.49 c 679s| 1430k|785763 | 0 | 0.0 |1353M| 91 | - | 706 |6976 | 0 | 0 | 0 | 282k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
731.06/731.30 c 684s| 1440k|785698 | 0 | 0.0 |1353M| 91 | - | 706 |6950 | 0 | 0 | 0 | 287k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
737.96/738.26 c 691s| 1450k|785684 | 0 | 0.0 |1353M| 91 | - | 706 |7723 | 0 | 0 | 0 | 292k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
743.46/743.76 c 696s| 1460k|785654 | 0 | 0.0 |1352M| 91 | - | 706 |5873 | 0 | 0 | 0 | 295k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
747.25/747.57 c 699s| 1470k|785640 | 0 | 0.0 |1352M| 91 | - | 706 |5503 | 0 | 0 | 0 | 296k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
753.05/753.34 c 705s| 1480k|785605 | 0 | 0.0 |1352M| 91 | - | 706 |5681 | 0 | 0 | 0 | 301k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
757.86/758.18 c 709s| 1490k|785567 | 0 | 0.0 |1352M| 91 | - | 706 |5641 | 0 | 0 | 0 | 303k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
763.65/763.98 c 715s| 1500k|785558 | 0 | 0.0 |1353M| 91 | - | 706 |7483 | 0 | 0 | 0 | 308k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
770.15/770.48 c 721s| 1510k|785531 | 0 | 0.0 |1353M| 91 | - | 706 |6413 | 0 | 0 | 0 | 313k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
777.65/777.91 c 728s| 1520k|785504 | 0 | 0.0 |1353M| 91 | - | 706 |7679 | 0 | 0 | 0 | 319k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
784.84/785.17 c 735s| 1530k|785463 | 0 | 0.0 |1353M| 91 | - | 706 |6415 | 0 | 0 | 0 | 323k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
790.24/790.55 c 740s| 1540k|785433 | 0 | 0.0 |1353M| 91 | - | 706 |6967 | 0 | 0 | 0 | 326k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
796.34/796.63 c 746s| 1550k|785391 | 0 | 0.0 |1352M| 91 | - | 706 |6192 | 0 | 0 | 0 | 331k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
803.25/803.59 c 752s| 1560k|785392 | 0 | 0.0 |1354M| 91 | - | 706 |8575 | 0 | 0 | 0 | 337k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
812.24/812.50 c 761s| 1570k|785389 | 0 | 0.0 |1356M| 91 | - | 706 | 11k| 0 | 0 | 0 | 343k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
818.34/818.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
818.34/818.61 c 766s| 1580k|785353 | 0 | 0.0 |1352M| 91 | - | 706 |5624 | 0 | 0 | 0 | 345k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
823.04/823.32 c 771s| 1590k|785346 | 0 | 0.0 |1352M| 91 | - | 706 |6078 | 0 | 0 | 0 | 347k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
829.53/829.80 c 777s| 1600k|785333 | 0 | 0.0 |1353M| 91 | - | 706 |6725 | 0 | 0 | 0 | 352k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
835.13/835.46 c 782s| 1610k|785317 | 0 | 0.0 |1353M| 91 | - | 706 |7546 | 0 | 0 | 0 | 355k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
842.03/842.33 c 789s| 1620k|785304 | 0 | 0.0 |1353M| 91 | - | 706 |6760 | 0 | 0 | 0 | 360k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
848.43/848.75 c 795s| 1630k|785296 | 0 | 0.0 |1354M| 91 | - | 706 |7762 | 0 | 0 | 0 | 364k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
854.13/854.49 c 800s| 1640k|785297 | 0 | 0.0 |1354M| 91 | - | 706 |7976 | 0 | 0 | 0 | 365k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
859.32/859.61 c 805s| 1650k|785289 | 0 | 0.0 |1353M| 91 | - | 706 |7604 | 0 | 0 | 0 | 368k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
865.33/865.63 c 811s| 1660k|785282 | 0 | 0.0 |1354M| 91 | - | 706 |7808 | 0 | 0 | 0 | 370k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
872.23/872.58 c 818s| 1670k|785270 | 0 | 0.0 |1353M| 91 | - | 706 |7653 | 0 | 0 | 0 | 374k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
878.52/878.87 c 824s| 1680k|785239 | 0 | 0.0 |1353M| 91 | - | 706 |6376 | 0 | 0 | 0 | 378k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
885.01/885.32 c 830s| 1690k|785224 | 0 | 0.0 |1353M| 91 | - | 706 |6715 | 0 | 0 | 0 | 383k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
892.82/893.14 c 837s| 1700k|785223 | 0 | 0.0 |1354M| 91 | - | 706 |8271 | 0 | 0 | 0 | 388k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
902.61/902.90 c 846s| 1710k|785223 | 0 | 0.0 |1356M| 91 | - | 706 | 11k| 0 | 0 | 0 | 394k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
908.91/909.26 c 852s| 1720k|785207 | 0 | 0.0 |1353M| 91 | - | 706 |7065 | 0 | 0 | 0 | 397k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
914.82/915.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
914.82/915.11 c 858s| 1730k|785063 | 0 | 0.0 |1352M| 91 | - | 706 |5601 | 0 | 0 | 0 | 400k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
921.21/921.52 c 864s| 1740k|784865 | 0 | 0.0 |1352M| 91 | - | 706 |5932 | 0 | 0 | 0 | 404k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
927.01/927.31 c 869s| 1750k|784716 | 0 | 0.0 |1353M| 91 | - | 706 |7216 | 0 | 0 | 0 | 408k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
932.90/933.25 c 875s| 1760k|784624 | 0 | 0.0 |1353M| 91 | - | 706 |7717 | 0 | 0 | 0 | 412k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
939.60/939.96 c 881s| 1770k|784500 | 0 | 0.0 |1351M| 91 | - | 706 |6186 | 0 | 0 | 0 | 416k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
945.10/945.44 c 887s| 1780k|784376 | 0 | 0.0 |1351M| 91 | - | 706 |6055 | 0 | 0 | 0 | 420k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
951.39/951.78 c 893s| 1790k|784084 | 0 | 0.0 |1350M| 91 | - | 706 |6252 | 0 | 0 | 0 | 423k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
958.90/959.25 c 900s| 1800k|783868 | 0 | 0.0 |1351M| 91 | - | 706 |7715 | 0 | 0 | 0 | 427k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
967.19/967.56 c 908s| 1810k|783847 | 0 | 0.0 |1351M| 91 | - | 706 |8687 | 0 | 0 | 0 | 432k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
975.68/976.04 c 916s| 1820k|783831 | 0 | 0.0 |1352M| 91 | - | 706 |9194 | 0 | 0 | 0 | 436k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
985.08/985.41 c 925s| 1830k|783825 | 0 | 0.0 |1351M| 91 | - | 706 |8813 | 0 | 0 | 0 | 440k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
993.18/993.56 c 932s| 1840k|783812 | 0 | 0.0 |1351M| 91 | - | 706 |8714 | 0 | 0 | 0 | 444k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1001.58/1001.95 c 941s| 1850k|783787 | 0 | 0.0 |1351M| 91 | - | 706 |8411 | 0 | 0 | 0 | 447k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1009.68/1010.06 c 948s| 1860k|783781 | 0 | 0.0 |1351M| 91 | - | 706 |8558 | 0 | 0 | 0 | 450k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1016.87/1017.23 c 955s| 1870k|783765 | 0 | 0.0 |1351M| 91 | - | 706 |8010 | 0 | 0 | 0 | 453k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1023.27/1023.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1023.27/1023.69 c 961s| 1880k|783747 | 0 | 0.0 |1351M| 91 | - | 706 |8652 | 0 | 0 | 0 | 457k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1030.66/1031.05 c 968s| 1890k|783727 | 0 | 0.0 |1351M| 91 | - | 706 |8593 | 0 | 0 | 0 | 461k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1037.46/1037.81 c 975s| 1900k|783709 | 0 | 0.0 |1351M| 91 | - | 706 |8204 | 0 | 0 | 0 | 464k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1044.16/1044.52 c 981s| 1910k|783673 | 0 | 0.0 |1350M| 91 | - | 706 |6800 | 0 | 0 | 0 | 468k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1049.56/1049.92 c 986s| 1920k|783656 | 0 | 0.0 |1350M| 91 | - | 706 |7156 | 0 | 0 | 0 | 471k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1054.86/1055.28 c 991s| 1930k|783651 | 0 | 0.0 |1350M| 91 | - | 706 |6686 | 0 | 0 | 0 | 472k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1059.86/1060.29 c 996s| 1940k|783628 | 0 | 0.0 |1350M| 91 | - | 706 |6113 | 0 | 0 | 0 | 475k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1064.66/1065.04 c 1000s| 1950k|783601 | 0 | 0.0 |1350M| 91 | - | 706 |6794 | 0 | 0 | 0 | 478k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1070.65/1071.00 c 1006s| 1960k|783554 | 0 | 0.0 |1350M| 91 | - | 706 |7220 | 0 | 0 | 0 | 483k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1075.85/1076.25 c 1011s| 1970k|783544 | 0 | 0.0 |1350M| 91 | - | 706 |6943 | 0 | 0 | 0 | 485k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1080.25/1080.63 c 1015s| 1980k|783535 | 0 | 0.0 |1351M| 91 | - | 706 |7487 | 0 | 0 | 0 | 487k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1086.95/1087.35 c 1021s| 1990k|783524 | 0 | 0.0 |1352M| 91 | - | 706 |9931 | 0 | 0 | 0 | 492k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1096.04/1096.49 c 1030s| 2000k|783515 | 0 | 0.0 |1353M| 91 | - | 706 | 10k| 0 | 0 | 0 | 497k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1104.44/1104.83 c 1038s| 2010k|783499 | 0 | 0.0 |1352M| 91 | - | 706 |9337 | 0 | 0 | 0 | 501k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1114.44/1114.82 c 1048s| 2020k|783495 | 0 | 0.0 |1353M| 91 | - | 706 | 10k| 0 | 0 | 0 | 506k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1123.53/1123.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1123.53/1123.91 c 1056s| 2030k|783466 | 0 | 0.0 |1352M| 91 | - | 706 |9329 | 0 | 0 | 0 | 511k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1132.13/1132.57 c 1065s| 2040k|783438 | 0 | 0.0 |1352M| 91 | - | 706 |8836 | 0 | 0 | 0 | 517k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1139.24/1139.64 c 1071s| 2050k|783407 | 0 | 0.0 |1351M| 91 | - | 706 |7623 | 0 | 0 | 0 | 521k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1144.64/1145.01 c 1076s| 2060k|783384 | 0 | 0.0 |1351M| 91 | - | 706 |7851 | 0 | 0 | 0 | 524k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1151.13/1151.59 c 1083s| 2070k|783336 | 0 | 0.0 |1351M| 91 | - | 706 |7564 | 0 | 0 | 0 | 529k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1159.73/1160.10 c 1091s| 2080k|783335 | 0 | 0.0 |1353M| 91 | - | 706 | 10k| 0 | 0 | 0 | 535k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1169.93/1170.39 c 1101s| 2090k|783333 | 0 | 0.0 |1353M| 91 | - | 706 | 10k| 0 | 0 | 0 | 541k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1179.42/1179.81 c 1110s| 2100k|783319 | 0 | 0.0 |1352M| 91 | - | 706 |8770 | 0 | 0 | 0 | 545k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1190.92/1191.37 c 1121s| 2110k|783320 | 0 | 0.0 |1353M| 91 | - | 706 | 10k| 0 | 0 | 0 | 551k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1205.01/1205.43 c 1135s| 2120k|783321 | 0 | 0.0 |1355M| 91 | - | 706 | 12k| 0 | 0 | 0 | 556k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1218.61/1219.09 c 1148s| 2130k|783318 | 0 | 0.0 |1355M| 91 | - | 706 | 13k| 0 | 0 | 0 | 561k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1227.80/1228.26 c 1157s| 2140k|783307 | 0 | 0.0 |1351M| 91 | - | 706 |8122 | 0 | 0 | 0 | 565k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1233.30/1233.78 c 1162s| 2150k|783306 | 0 | 0.0 |1352M| 91 | - | 706 |8358 | 0 | 0 | 0 | 567k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1240.00/1240.48 c 1168s| 2160k|783299 | 0 | 0.0 |1352M| 91 | - | 706 |9305 | 0 | 0 | 0 | 571k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1248.60/1249.00 c 1176s| 2170k|783280 | 0 | 0.0 |1352M| 91 | - | 706 |9728 | 0 | 0 | 0 | 576k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1256.40/1256.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1256.40/1256.81 c 1184s| 2180k|783276 | 0 | 0.0 |1353M| 91 | - | 706 | 10k| 0 | 0 | 0 | 580k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1264.99/1265.41 c 1192s| 2190k|783257 | 0 | 0.0 |1352M| 91 | - | 706 |9011 | 0 | 0 | 0 | 585k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1270.59/1271.06 c 1198s| 2200k|783256 | 0 | 0.0 |1352M| 91 | - | 706 |9535 | 0 | 0 | 0 | 587k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1276.49/1276.92 c 1203s| 2210k|783256 | 0 | 0.0 |1353M| 91 | - | 706 | 10k| 0 | 0 | 0 | 590k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1283.20/1283.70 c 1210s| 2220k|783249 | 0 | 0.0 |1352M| 91 | - | 706 |9530 | 0 | 0 | 0 | 592k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1291.38/1291.89 c 1218s| 2230k|783235 | 0 | 0.0 |1352M| 91 | - | 706 |9373 | 0 | 0 | 0 | 598k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1298.08/1298.52 c 1224s| 2240k|783178 | 0 | 0.0 |1351M| 91 | - | 706 |6931 | 0 | 0 | 0 | 602k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1304.78/1305.21 c 1230s| 2250k|783157 | 0 | 0.0 |1350M| 91 | - | 706 |6297 | 0 | 0 | 0 | 607k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1309.18/1309.65 c 1234s| 2260k|783156 | 0 | 0.0 |1350M| 91 | - | 706 |6280 | 0 | 0 | 0 | 608k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1313.68/1314.17 c 1239s| 2270k|783156 | 0 | 0.0 |1350M| 91 | - | 706 |6511 | 0 | 0 | 0 | 609k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1318.78/1319.24 c 1244s| 2280k|783154 | 0 | 0.0 |1350M| 91 | - | 706 |6258 | 0 | 0 | 0 | 612k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1323.89/1324.35 c 1248s| 2290k|783127 | 0 | 0.0 |1351M| 91 | - | 706 |6727 | 0 | 0 | 0 | 615k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1329.67/1330.10 c 1254s| 2300k|783109 | 0 | 0.0 |1351M| 91 | - | 706 |7380 | 0 | 0 | 0 | 618k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1336.37/1336.89 c 1260s| 2310k|783075 | 0 | 0.0 |1351M| 91 | - | 706 |7653 | 0 | 0 | 0 | 623k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1344.37/1344.83 c 1268s| 2320k|783074 | 0 | 0.0 |1353M| 91 | - | 706 |9856 | 0 | 0 | 0 | 629k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1353.37/1353.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1353.37/1353.88 c 1276s| 2330k|783059 | 0 | 0.0 |1352M| 91 | - | 706 |9266 | 0 | 0 | 0 | 634k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1361.76/1362.25 c 1284s| 2340k|783055 | 0 | 0.0 |1353M| 91 | - | 706 | 10k| 0 | 0 | 0 | 639k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1371.97/1372.49 c 1294s| 2350k|783054 | 0 | 0.0 |1355M| 91 | - | 706 | 13k| 0 | 0 | 0 | 645k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1385.16/1385.68 c 1307s| 2360k|783054 | 0 | 0.0 |1356M| 91 | - | 706 | 14k| 0 | 0 | 0 | 651k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1401.15/1401.62 c 1323s| 2370k|783052 | 0 | 0.0 |1358M| 91 | - | 706 | 17k| 0 | 0 | 0 | 658k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1413.44/1413.93 c 1334s| 2380k|783042 | 0 | 0.0 |1355M| 91 | - | 706 | 12k| 0 | 0 | 0 | 663k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1423.55/1424.00 c 1344s| 2390k|783031 | 0 | 0.0 |1353M| 91 | - | 706 | 10k| 0 | 0 | 0 | 669k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1432.25/1432.74 c 1353s| 2400k|783020 | 0 | 0.0 |1354M| 91 | - | 706 | 10k| 0 | 0 | 0 | 673k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1439.74/1440.27 c 1360s| 2410k|783018 | 0 | 0.0 |1354M| 91 | - | 706 | 10k| 0 | 0 | 0 | 675k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1448.64/1449.18 c 1368s| 2420k|783010 | 0 | 0.0 |1354M| 91 | - | 706 | 10k| 0 | 0 | 0 | 679k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1455.54/1456.06 c 1375s| 2430k|783003 | 0 | 0.0 |1352M| 91 | - | 706 |8571 | 0 | 0 | 0 | 681k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1461.54/1462.05 c 1381s| 2440k|782996 | 0 | 0.0 |1353M| 91 | - | 706 |9195 | 0 | 0 | 0 | 683k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1470.24/1470.75 c 1389s| 2450k|782997 | 0 | 0.0 |1354M| 91 | - | 706 | 11k| 0 | 0 | 0 | 689k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1482.03/1482.53 c 1400s| 2460k|782998 | 0 | 0.0 |1355M| 91 | - | 706 | 12k| 0 | 0 | 0 | 694k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1493.43/1493.93 c 1411s| 2470k|782998 | 0 | 0.0 |1355M| 91 | - | 706 | 13k| 0 | 0 | 0 | 700k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1507.32/1507.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1507.32/1507.83 c 1425s| 2480k|782996 | 0 | 0.0 |1357M| 91 | - | 706 | 15k| 0 | 0 | 0 | 706k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1522.82/1523.33 c 1440s| 2490k|782997 | 0 | 0.0 |1359M| 91 | - | 706 | 17k| 0 | 0 | 0 | 712k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1533.01/1533.56 c 1450s| 2500k|782989 | 0 | 0.0 |1356M| 91 | - | 706 | 13k| 0 | 0 | 0 | 714k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1543.21/1543.73 c 1460s| 2510k|782976 | 0 | 0.0 |1353M| 91 | - | 706 |9452 | 0 | 0 | 0 | 718k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1550.90/1551.44 c 1467s| 2520k|782965 | 0 | 0.0 |1353M| 91 | - | 706 |9812 | 0 | 0 | 0 | 722k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1559.11/1559.63 c 1475s| 2530k|782963 | 0 | 0.0 |1353M| 91 | - | 706 |9274 | 0 | 0 | 0 | 724k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1566.80/1567.36 c 1482s| 2540k|782965 | 0 | 0.0 |1353M| 91 | - | 706 |9342 | 0 | 0 | 0 | 726k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1574.30/1574.88 c 1490s| 2550k|782964 | 0 | 0.0 |1353M| 91 | - | 706 |9505 | 0 | 0 | 0 | 728k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1581.70/1582.25 c 1497s| 2560k|782965 | 0 | 0.0 |1353M| 91 | - | 706 |9660 | 0 | 0 | 0 | 730k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1590.00/1590.57 c 1505s| 2570k|782965 | 0 | 0.0 |1353M| 91 | - | 706 |9759 | 0 | 0 | 0 | 732k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1598.40/1598.90 c 1513s| 2580k|782963 | 0 | 0.0 |1353M| 91 | - | 706 |9775 | 0 | 0 | 0 | 734k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1606.29/1606.88 c 1521s| 2590k|782964 | 0 | 0.0 |1353M| 91 | - | 706 |9862 | 0 | 0 | 0 | 736k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1614.39/1614.94 c 1528s| 2600k|782964 | 0 | 0.0 |1353M| 91 | - | 706 |9865 | 0 | 0 | 0 | 739k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1621.68/1622.26 c 1535s| 2610k|782963 | 0 | 0.0 |1353M| 91 | - | 706 | 10k| 0 | 0 | 0 | 741k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1630.08/1630.65 c 1543s| 2620k|782963 | 0 | 0.0 |1353M| 91 | - | 706 |9976 | 0 | 0 | 0 | 744k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1638.28/1638.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1638.28/1638.84 c 1551s| 2630k|782955 | 0 | 0.0 |1353M| 91 | - | 706 |9771 | 0 | 0 | 0 | 748k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1645.78/1646.37 c 1559s| 2640k|782951 | 0 | 0.0 |1353M| 91 | - | 706 | 10k| 0 | 0 | 0 | 750k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1652.68/1653.21 c 1565s| 2650k|782946 | 0 | 0.0 |1353M| 91 | - | 706 |9334 | 0 | 0 | 0 | 752k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1659.87/1660.40 c 1572s| 2660k|782906 | 0 | 0.0 |1351M| 91 | - | 706 |6709 | 0 | 0 | 0 | 755k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1667.37/1667.94 c 1579s| 2670k|782905 | 0 | 0.0 |1353M| 91 | - | 706 |9015 | 0 | 0 | 0 | 761k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1677.47/1678.01 c 1589s| 2680k|782905 | 0 | 0.0 |1355M| 91 | - | 706 | 11k| 0 | 0 | 0 | 767k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1686.27/1686.87 c 1597s| 2690k|782892 | 0 | 0.0 |1353M| 91 | - | 706 |9238 | 0 | 0 | 0 | 772k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1693.76/1694.39 c 1604s| 2700k|782878 | 0 | 0.0 |1353M| 91 | - | 706 |9668 | 0 | 0 | 0 | 776k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1701.96/1702.54 c 1612s| 2710k|782866 | 0 | 0.0 |1354M| 91 | - | 706 | 10k| 0 | 0 | 0 | 782k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1712.17/1712.73 c 1622s| 2720k|782862 | 0 | 0.0 |1355M| 91 | - | 706 | 12k| 0 | 0 | 0 | 787k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1720.86/1721.44 c 1630s| 2730k|782860 | 0 | 0.0 |1356M| 91 | - | 706 | 13k| 0 | 0 | 0 | 791k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1733.25/1733.84 c 1642s| 2740k|782768 | 0 | 0.0 |1352M| 91 | - | 706 |7006 | 0 | 0 | 0 | 796k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1740.66/1741.20 c 1649s| 2750k|782540 | 0 | 0.0 |1351M| 91 | - | 706 |6684 | 0 | 0 | 0 | 800k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1747.45/1748.05 c 1656s| 2760k|782412 | 0 | 0.0 |1351M| 91 | - | 706 |6662 | 0 | 0 | 0 | 804k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1754.05/1754.67 c 1662s| 2770k|782361 | 0 | 0.0 |1351M| 91 | - | 706 |7436 | 0 | 0 | 0 | 809k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1760.94/1761.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1760.94/1761.55 c 1669s| 2780k|782217 | 0 | 0.0 |1350M| 91 | - | 706 |6356 | 0 | 0 | 0 | 812k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1767.05/1767.62 c 1674s| 2790k|782083 | 0 | 0.0 |1350M| 91 | - | 706 |6859 | 0 | 0 | 0 | 815k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1773.04/1773.66 c 1680s| 2800k|782063 | 0 | 0.0 |1351M| 91 | - | 706 |7816 | 0 | 0 | 0 | 819k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1778.84/1779.47 c 1686s| 2810k|782044 | 0 | 0.0 |1351M| 91 | - | 706 |8066 | 0 | 0 | 0 | 821k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1785.74/1786.33 c 1692s| 2820k|781935 | 0 | 0.0 |1350M| 91 | - | 706 |7006 | 0 | 0 | 0 | 825k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1791.63/1792.23 c 1698s| 2830k|781836 | 0 | 0.0 |1350M| 91 | - | 706 |7257 | 0 | 0 | 0 | 829k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1798.33/1798.99 c 1704s| 2840k|781694 | 0 | 0.0 |1350M| 91 | - | 706 |7703 | 0 | 0 | 0 | 834k| 0 |-4.300000e+01 |-9.000000e+00 | 79.07%
1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.61 c
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time (sec) : 1705.76
1800.04/1800.61 c Solving Nodes : 2842080
1800.04/1800.61 c Primal Bound : -9.00000000000000e+00 (10 solutions)
1800.04/1800.61 c Dual Bound : -4.30000000000000e+01
1800.04/1800.61 c Gap : 79.07 %
1800.04/1800.61 s SATISFIABLE
1800.04/1800.61 v -x92 -x75 -x70 -x69 x90 -x54 x96 x81 -x57 -x86 -x64 x72 -x91 -x62 -x53 -x94 -x93 -x89 -x58 -x59 -x78 -x97 -x84 -x52 x98 -x68 x63
1800.04/1800.61 v -x55 -x80 -x65 -x87 -x79 -x99 -x51 -x95 x88 -x85 -x67 x60 -x56 -x82 -x74 -x100 -x71 -x83 x77 -x73 -x61 -x66 -x76 -x50 -x49
1800.04/1800.61 v -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 x29 -x28 -x27 x26 -x25 x24 -x23
1800.04/1800.61 v -x22 -x21 x20 x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time : 1705.76
1800.04/1800.61 c Original Problem :
1800.04/1800.61 c Problem name : HOME/instance-2663888-1276671917.opb
1800.04/1800.61 c Variables : 706 (706 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 757 initial, 757 maximal
1800.04/1800.61 c Presolved Problem :
1800.04/1800.61 c Problem name : t_HOME/instance-2663888-1276671917.opb
1800.04/1800.61 c Variables : 706 (706 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 757 initial, 18207 maximal
1800.04/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c probing : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c and : 0.09 0 0 0 0 0 0 0 0
1800.04/1800.61 c linear : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c root node : - 0 - - 0 - - - -
1800.04/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.61 c setppc : 100 0 8708680 0 1863742 15560 2591691 0 0 0
1800.04/1800.61 c and : 606 0 8756675 0 1876167 694 20304756 0 0 0
1800.04/1800.61 c linear : 1 0 8757860 0 1876542 194358 12239863 0 0 0
1800.04/1800.61 c logicor : 50+ 0 2263944 0 1631808 54474 1433711 0 0 0
1800.04/1800.61 c countsols : 0 0 0 0 1876549 0 0 0 0 0
1800.04/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.61 c setppc : 38.03 0.00 13.24 0.00 24.79
1800.04/1800.61 c and : 67.79 0.00 64.39 0.00 3.40
1800.04/1800.61 c linear : 161.32 0.00 159.83 0.00 1.49
1800.04/1800.61 c logicor : 418.00 0.00 413.50 0.00 4.50
1800.04/1800.61 c countsols : 0.85 0.00 0.00 0.00 0.85
1800.04/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.61 c vbounds : 4.23 2 0 0
1800.04/1800.61 c rootredcost : 4.59 0 0 0
1800.04/1800.61 c pseudoobj : 307.20 9603050 828813 1060468
1800.04/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.61 c propagation : 291.24 1093899 755525 5497673 70.0 121 15.6 -
1800.04/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.61 c applied globally : - - - 782329 56.9 - - -
1800.04/1800.61 c applied locally : - - - 52823 75.9 - - -
1800.04/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.61 c redcost : 0.00 0 0 0 0 0
1800.04/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.61 c intobj : 0.00 0 0 0 0 0
1800.04/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.61 c gomory : 0.00 0 0 0 0 0
1800.04/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.61 c cmir : 0.00 0 0 0 0 0
1800.04/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.61 c clique : 0.00 0 0 0 0 0
1800.04/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.61 c mcf : 0.00 0 0 0 0 0
1800.04/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.61 c Pricers : Time Calls Vars
1800.04/1800.61 c problem variables: 0.00 0 0
1800.04/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.61 c inference : 54.59 1876542 0 0 0 0 3753084
1800.04/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c random : 0.00 0 0 0 0 0 0
1800.04/1800.61 c Primal Heuristics : Time Calls Found
1800.04/1800.61 c LP solutions : 0.00 - 0
1800.04/1800.61 c pseudo solutions : 0.01 - 7
1800.04/1800.61 c oneopt : 2.44 0 0
1800.04/1800.61 c trivial : 0.00 2 3
1800.04/1800.61 c simplerounding : 0.00 0 0
1800.04/1800.61 c zirounding : 0.00 0 0
1800.04/1800.61 c rounding : 0.00 0 0
1800.04/1800.61 c shifting : 0.00 0 0
1800.04/1800.61 c intshifting : 0.00 0 0
1800.04/1800.61 c twoopt : 0.00 0 0
1800.04/1800.61 c fixandinfer : 0.00 0 0
1800.04/1800.61 c feaspump : 0.00 0 0
1800.04/1800.61 c coefdiving : 0.00 0 0
1800.04/1800.61 c pscostdiving : 0.00 0 0
1800.04/1800.61 c fracdiving : 0.00 0 0
1800.04/1800.61 c veclendiving : 0.00 0 0
1800.04/1800.61 c intdiving : 0.00 0 0
1800.04/1800.61 c actconsdiving : 0.00 0 0
1800.04/1800.61 c objpscostdiving : 0.00 0 0
1800.04/1800.61 c rootsoldiving : 0.00 0 0
1800.04/1800.61 c linesearchdiving : 0.00 0 0
1800.04/1800.61 c guideddiving : 0.00 0 0
1800.04/1800.61 c octane : 0.00 0 0
1800.04/1800.61 c rens : 0.00 0 0
1800.04/1800.61 c rins : 0.00 0 0
1800.04/1800.61 c localbranching : 0.00 0 0
1800.04/1800.61 c mutation : 0.00 0 0
1800.04/1800.61 c crossover : 0.00 0 0
1800.04/1800.61 c dins : 0.00 0 0
1800.04/1800.61 c undercover : 0.00 0 0
1800.04/1800.61 c nlp : 1.37 0 0
1800.04/1800.61 c trysol : 1.63 0 0
1800.04/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.61 c (at root node) : - 0 0 0.00 -
1800.04/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.61 c B&B Tree :
1800.04/1800.61 c number of runs : 1
1800.04/1800.61 c nodes : 2842080
1800.04/1800.61 c nodes (total) : 2842080
1800.04/1800.61 c nodes left : 781663
1800.04/1800.61 c max depth : 91
1800.04/1800.61 c max depth (total): 91
1800.04/1800.61 c backtracks : 243354 (8.6%)
1800.04/1800.61 c delayed cutoffs : 129342
1800.04/1800.61 c repropagations : 2971436 (3259815 domain reductions, 128368 cutoffs)
1800.04/1800.61 c avg switch length: 5.55
1800.04/1800.61 c switching time : 404.28
1800.04/1800.61 c Solution :
1800.04/1800.61 c Solutions found : 10 (8 improvements)
1800.04/1800.61 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.04/1800.61 c Primal Bound : -9.00000000000000e+00 (in run 1, after 21548 nodes, 7.81 seconds, depth 42, found by <relaxation>)
1800.04/1800.61 c Dual Bound : -4.30000000000000e+01
1800.04/1800.61 c Gap : 79.07 %
1800.04/1800.61 c Root Dual Bound : -5.00000000000000e+01
1800.04/1800.61 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-2663888-1276671917/watcher-2663888-1276671917 -o /tmp/evaluation-result-2663888-1276671917/solver-2663888-1276671917 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663888-1276671917.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.02 1.07 1.00 3/106 14880
/proc/meminfo: memFree=1763800/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=6584 CPUtime=0
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 1001 0 0 0 0 0 0 0 17 0 1 0 8484179 6742016 924 1992294400 4194304 7136930 140733754503008 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14880/statm: 1646 934 254 719 0 925 0
[startup+0.0753101 s]
/proc/loadavg: 1.02 1.07 1.00 3/106 14880
/proc/meminfo: memFree=1763800/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=12152 CPUtime=0.07
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 2936 0 0 0 4 3 0 0 17 0 1 0 8484179 12443648 2249 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 3038 2249 333 719 0 2317 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12152
[startup+0.101312 s]
/proc/loadavg: 1.02 1.07 1.00 3/106 14880
/proc/meminfo: memFree=1763800/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=12152 CPUtime=0.09
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 2936 0 0 0 5 4 0 0 17 0 1 0 8484179 12443648 2249 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 3038 2249 333 719 0 2317 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12152
[startup+0.301335 s]
/proc/loadavg: 1.02 1.07 1.00 3/106 14880
/proc/meminfo: memFree=1763800/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=14280 CPUtime=0.29
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 4837 0 0 0 20 9 0 0 17 0 1 0 8484179 14622720 2865 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 3570 2865 393 719 0 2849 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14280
[startup+0.700379 s]
/proc/loadavg: 1.02 1.07 1.00 3/106 14880
/proc/meminfo: memFree=1763800/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=16284 CPUtime=0.69
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 5308 0 0 0 57 12 0 0 17 0 1 0 8484179 16674816 3336 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 4071 3336 393 719 0 3350 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16284
[startup+1.50047 s]
/proc/loadavg: 1.02 1.07 1.00 2/107 14881
/proc/meminfo: memFree=1750524/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=19836 CPUtime=1.49
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 6191 0 0 0 129 20 0 0 18 0 1 0 8484179 20312064 4219 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 4959 4219 393 719 0 4238 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19836
[startup+3.10064 s]
/proc/loadavg: 1.02 1.07 1.00 2/107 14881
/proc/meminfo: memFree=1744324/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=31088 CPUtime=3.09
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 8872 0 0 0 277 32 0 0 21 0 1 0 8484179 31834112 6900 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 7772 6900 393 719 0 7051 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31088
[startup+6.301 s]
/proc/loadavg: 1.02 1.06 1.00 2/107 14881
/proc/meminfo: memFree=1721384/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=51792 CPUtime=6.29
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 13777 0 0 0 572 57 0 0 25 0 1 0 8484179 53035008 11805 1992294400 4194304 7136930 140733754503008 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 12948 11805 393 719 0 12227 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51792
[startup+12.7007 s]
/proc/loadavg: 1.02 1.06 1.00 2/107 14881
/proc/meminfo: memFree=1686292/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=88776 CPUtime=12.68
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 22559 0 0 0 1159 109 0 0 25 0 1 0 8484179 90906624 20587 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 22194 20587 393 719 0 21473 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 88776
[startup+25.5011 s]
/proc/loadavg: 1.01 1.06 1.00 2/107 14881
/proc/meminfo: memFree=1621564/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=151752 CPUtime=25.49
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 37879 0 0 0 2333 216 0 0 25 0 1 0 8484179 155394048 35907 1992294400 4194304 7136930 140733754503008 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 37938 35907 393 719 0 37217 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 151752
[startup+51.1019 s]
/proc/loadavg: 1.08 1.07 1.00 2/107 14883
/proc/meminfo: memFree=1509468/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=269600 CPUtime=51.07
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 65769 0 0 0 4701 406 0 0 25 0 1 0 8484179 276070400 63797 1992294400 4194304 7136930 140733754503008 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 67400 63797 393 719 0 66679 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 269600
[startup+102.309 s]
/proc/loadavg: 1.03 1.06 1.00 2/107 14883
/proc/meminfo: memFree=1293212/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=495344 CPUtime=102.27
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 119624 0 0 0 9441 786 0 0 25 0 1 0 8484179 507232256 117652 1992294400 4194304 7136930 140733754503008 18446744073709551615 4210013 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 123836 117652 393 719 0 123115 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 495344
[startup+162.301 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 14885
/proc/meminfo: memFree=1157184/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=632772 CPUtime=162.24
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 153901 0 0 0 15066 1158 0 0 25 0 1 0 8484179 647958528 151929 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 158193 151929 393 719 0 157472 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 632772
[startup+222.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 14887
/proc/meminfo: memFree=954940/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=836868 CPUtime=222.23
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 204242 0 0 0 20628 1595 0 0 25 0 1 0 8484179 856952832 202270 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 209217 202270 393 719 0 208496 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 836868
[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 14889
/proc/meminfo: memFree=761252/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=1036728 CPUtime=282.21
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 252591 0 0 0 26210 2011 0 0 25 0 1 0 8484179 1061609472 250619 1992294400 4194304 7136930 140733754503008 18446744073709551615 4660908 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 259182 250619 393 719 0 258461 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1036728
[startup+342.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 14889
/proc/meminfo: memFree=652504/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=1143360 CPUtime=342.19
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 279653 0 0 0 31909 2310 0 0 25 0 1 0 8484179 1170800640 277681 1992294400 4194304 7136930 140733754503008 18446744073709551615 4409177 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 285840 277681 393 719 0 285119 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1143360
[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 14891
/proc/meminfo: memFree=580832/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=1216368 CPUtime=402.17
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 298297 0 0 0 37638 2579 0 0 25 0 1 0 8484179 1245560832 296325 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 304092 296325 393 719 0 303371 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1216368
[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 14893
/proc/meminfo: memFree=473572/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=1320264 CPUtime=462.15
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 324222 0 0 0 43320 2895 0 0 25 0 1 0 8484179 1351950336 322250 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 330066 322250 393 719 0 329345 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1320264
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 14895
/proc/meminfo: memFree=312620/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=1480580 CPUtime=522.13
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 364978 0 0 0 48920 3293 0 0 25 0 1 0 8484179 1516113920 363006 1992294400 4194304 7136930 140733754503008 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 370145 363006 393 719 0 369424 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 1480580
[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14897
/proc/meminfo: memFree=306048/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=1483540 CPUtime=582.12
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 368790 0 0 0 54483 3729 0 0 25 0 1 0 8484179 1519144960 363731 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 370885 363731 393 719 0 370164 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1483540
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14897
/proc/meminfo: memFree=303072/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=1486524 CPUtime=642.1
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 369525 0 0 0 60064 4146 0 0 25 0 1 0 8484179 1522200576 364466 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 371631 364466 393 719 0 370910 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 1486524
[startup+702.301 s]
################
# More data... #
################
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 371208 0 0 0 99786 6410 0 0 25 0 1 0 8484179 1529036800 366149 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 373300 366149 393 719 0 372579 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 1493200
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14911
/proc/meminfo: memFree=295136/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=1493688 CPUtime=1121.94
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 371305 0 0 0 105490 6704 0 0 25 0 1 0 8484179 1529536512 366246 1992294400 4194304 7136930 140733754503008 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 373422 366246 393 719 0 372701 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 1493688
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14913
/proc/meminfo: memFree=294764/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=1493828 CPUtime=1181.92
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 371367 0 0 0 111221 6971 0 0 25 0 1 0 8484179 1529679872 366308 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 373457 366308 393 719 0 372736 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 1493828
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14913
/proc/meminfo: memFree=292408/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=1495904 CPUtime=1241.9
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 371919 0 0 0 117007 7183 0 0 25 0 1 0 8484179 1531805696 366860 1992294400 4194304 7136930 140733754503008 18446744073709551615 4209108 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 373976 366860 393 719 0 373255 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1495904
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14915
/proc/meminfo: memFree=291664/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=1496880 CPUtime=1301.89
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 372060 0 0 0 122742 7447 0 0 25 0 1 0 8484179 1532805120 367001 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 374220 367001 393 719 0 373499 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1496880
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14917
/proc/meminfo: memFree=291540/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=1497040 CPUtime=1361.87
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 372083 0 0 0 128453 7734 0 0 25 0 1 0 8484179 1532968960 367024 1992294400 4194304 7136930 140733754503008 18446744073709551615 5909069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 374260 367024 393 719 0 373539 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1497040
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14919
/proc/meminfo: memFree=290796/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=1497952 CPUtime=1421.86
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 372248 0 0 0 134255 7931 0 0 25 0 1 0 8484179 1533902848 367189 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 374488 367189 393 719 0 373767 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1497952
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14921
/proc/meminfo: memFree=290796/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=1497952 CPUtime=1481.83
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 372250 0 0 0 140019 8164 0 0 25 0 1 0 8484179 1533902848 367191 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 374488 367191 393 719 0 373767 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1497952
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14921
/proc/meminfo: memFree=289308/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=1499236 CPUtime=1541.81
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 372605 0 0 0 145836 8345 0 0 25 0 1 0 8484179 1535217664 367546 1992294400 4194304 7136930 140733754503008 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 374809 367546 393 719 0 374088 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1499236
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14923
/proc/meminfo: memFree=289308/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=1499236 CPUtime=1601.79
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 372605 0 0 0 151613 8566 0 0 25 0 1 0 8484179 1535217664 367546 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 374809 367546 393 719 0 374088 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1499236
[startup+1662.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 14928
/proc/meminfo: memFree=288316/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=1499236 CPUtime=1661.77
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 372605 0 0 0 157374 8803 0 0 25 0 1 0 8484179 1535217664 367546 1992294400 4194304 7136930 140733754503008 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 374809 367546 393 719 0 374088 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1499236
[startup+1722.3 s]
/proc/loadavg: 1.08 1.02 1.00 2/107 14930
/proc/meminfo: memFree=288316/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=1499236 CPUtime=1721.76
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 372630 0 0 0 163124 9052 0 0 25 0 1 0 8484179 1535217664 367571 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 374809 367571 393 719 0 374088 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1499236
[startup+1782.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/107 14932
/proc/meminfo: memFree=288192/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=1499236 CPUtime=1781.74
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 372648 0 0 0 168844 9330 0 0 25 0 1 0 8484179 1535217664 367589 1992294400 4194304 7136930 140733754503008 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 374809 367589 393 719 0 374088 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1499236
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 14932
/proc/meminfo: memFree=288192/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=1499236 CPUtime=1800.04
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 372650 0 0 0 170577 9427 0 0 25 0 1 0 8484179 1535217664 367591 1992294400 4194304 7136930 140733754503008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14880/statm: 374809 367591 393 719 0 374088 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1499236
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14880
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 14932
/proc/meminfo: memFree=288192/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=1499236 CPUtime=1800.83
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 372655 0 0 0 170656 9427 0 0 25 0 1 0 8484179 1535217664 367596 1992294400 4194304 7136930 140733754503008 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14880/statm: 374809 367596 398 719 0 374088 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (KiB) 1499236
[startup+1802.2 s]
/proc/loadavg: 1.02 1.02 1.00 2/108 14933
/proc/meminfo: memFree=288060/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=1499236 CPUtime=1801.63
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 372655 0 0 0 170736 9427 0 0 25 0 1 0 8484179 1535217664 367596 1992294400 4194304 7136930 140733754503008 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14880/statm: 374809 367596 398 719 0 374088 0
Current children cumulated CPU time (s) 1801.63
Current children cumulated vsize (KiB) 1499236
[startup+1802.6 s]
/proc/loadavg: 1.02 1.02 1.00 2/108 14933
/proc/meminfo: memFree=288060/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=1499236 CPUtime=1802.03
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4202496 372655 0 0 0 170776 9427 0 0 25 0 1 0 8484179 1535217664 367596 1992294400 4194304 7136930 140733754503008 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14880/statm: 374809 367596 398 719 0 374088 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 1499236
[startup+1802.7 s]
/proc/loadavg: 1.02 1.02 1.00 2/108 14933
/proc/meminfo: memFree=288060/2059040 swapFree=4192956/4192956
[pid=14880] ppid=14878 vsize=0 CPUtime=1802.13
/proc/14880/stat : 14880 (pbscip.linux.x8) R 14878 14880 14053 0 -1 4203524 372655 0 0 0 170777 9436 0 0 25 0 1 0 8484179 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/14880/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.76
CPU time (s): 1802.2
CPU user time (s): 1707.78
CPU system time (s): 94.4186
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 1499236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1707.78
system time used= 94.4186
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 372655
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 11195
runsolver used 2.97455 second user time and 8.5397 second system time
The end