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-2664235-1276612941.opb>
0.00/0.01 c original problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 16 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.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/198 (51.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (2 rounds):
0.00/0.04 c 0 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 0 implications, 0 cliques
0.00/0.04 c presolved problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.04 c 8 constraints of type <linear>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.01
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 = 1620
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.00/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.04 c 0.0s| 1 | 2 | 0 | - | 543k| 0 | - | 198 | 8 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.69/1.71 c 1.5s| 10000 | 9986 | 0 | 0.0 |4065k| 161 | - | 198 | 8 | 0 | 0 | 0 | 8 | 0 | 0.000000e+00 | -- | Inf
3.30/3.30 c 3.0s| 20000 | 19982 | 0 | 0.0 |8213k| 161 | - | 198 | 8 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
5.19/5.22 c 4.8s| 30000 | 29344 | 0 | 0.0 | 11M| 167 | - | 198 | 8 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
6.89/6.95 c 6.3s| 40000 | 39344 | 0 | 0.0 | 14M| 167 | - | 198 | 8 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
8.59/8.67 c 7.9s| 50000 | 49344 | 0 | 0.0 | 18M| 167 | - | 198 | 8 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
10.29/10.38 c 9.5s| 60000 | 59342 | 0 | 0.0 | 21M| 167 | - | 198 | 8 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
12.00/12.08 c 11.0s| 70000 | 69342 | 0 | 0.0 | 25M| 167 | - | 198 | 8 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
13.69/13.76 c 12.6s| 80000 | 79338 | 0 | 0.0 | 28M| 167 | - | 198 | 8 | 0 | 0 | 0 | 337 | 0 | 0.000000e+00 | -- | Inf
15.39/15.41 c 14.1s| 90000 | 89338 | 0 | 0.0 | 32M| 167 | - | 198 | 8 | 0 | 0 | 0 | 337 | 0 | 0.000000e+00 | -- | Inf
16.98/17.05 c 15.6s|100000 | 99338 | 0 | 0.0 | 36M| 167 | - | 198 | 8 | 0 | 0 | 0 | 337 | 0 | 0.000000e+00 | -- | Inf
18.60/18.68 c 17.1s|110000 |109336 | 0 | 0.0 | 39M| 167 | - | 198 | 8 | 0 | 0 | 0 | 338 | 0 | 0.000000e+00 | -- | Inf
20.28/20.30 c 18.6s|120000 |119336 | 0 | 0.0 | 43M| 167 | - | 198 | 8 | 0 | 0 | 0 | 338 | 0 | 0.000000e+00 | -- | Inf
21.89/21.92 c 20.0s|130000 |129336 | 0 | 0.0 | 47M| 167 | - | 198 | 8 | 0 | 0 | 0 | 338 | 0 | 0.000000e+00 | -- | Inf
23.49/23.51 c 21.5s|140000 |139336 | 0 | 0.0 | 51M| 167 | - | 198 | 8 | 0 | 0 | 0 | 338 | 0 | 0.000000e+00 | -- | Inf
24.99/25.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.99/25.08 c 22.9s|150000 |149334 | 0 | 0.0 | 54M| 167 | - | 198 | 8 | 0 | 0 | 0 | 339 | 0 | 0.000000e+00 | -- | Inf
26.59/26.64 c 24.4s|160000 |159332 | 0 | 0.0 | 58M| 167 | - | 198 | 8 | 0 | 0 | 0 | 340 | 0 | 0.000000e+00 | -- | Inf
28.09/28.17 c 25.8s|170000 |169330 | 0 | 0.0 | 62M| 167 | - | 198 | 8 | 0 | 0 | 0 | 341 | 0 | 0.000000e+00 | -- | Inf
29.59/29.69 c 27.1s|180000 |179324 | 0 | 0.0 | 66M| 167 | - | 198 | 8 | 0 | 0 | 0 | 344 | 0 | 0.000000e+00 | -- | Inf
31.09/31.18 c 28.5s|190000 |189321 | 0 | 0.0 | 70M| 167 | - | 198 | 8 | 0 | 0 | 0 | 346 | 0 | 0.000000e+00 | -- | Inf
32.59/32.62 c 29.8s|200000 |199312 | 0 | 0.0 | 75M| 167 | - | 198 | 8 | 0 | 0 | 0 | 351 | 0 | 0.000000e+00 | -- | Inf
34.48/34.57 c 31.6s|210000 |208070 | 0 | 0.0 | 78M| 167 | - | 198 | 8 | 0 | 0 | 0 |1025 | 0 | 0.000000e+00 | -- | Inf
37.47/37.57 c 34.4s|220000 |214225 | 0 | 0.0 | 81M| 172 | - | 198 | 8 | 0 | 0 | 0 |3113 | 0 | 0.000000e+00 | -- | Inf
39.28/39.37 c 36.0s|230000 |223844 | 0 | 0.0 | 85M| 172 | - | 198 | 8 | 0 | 0 | 0 |3186 | 0 | 0.000000e+00 | -- | Inf
41.38/41.45 c 38.0s|240000 |232508 | 0 | 0.0 | 89M| 172 | - | 198 | 8 | 0 | 0 | 0 |3749 | 0 | 0.000000e+00 | -- | Inf
44.18/44.26 c 40.6s|250000 |239475 | 0 | 0.0 | 92M| 172 | - | 198 | 8 | 0 | 0 | 0 |5415 | 0 | 0.000000e+00 | -- | Inf
47.07/47.18 c 43.4s|260000 |245975 | 0 | 0.0 | 95M| 172 | - | 198 | 8 | 0 | 0 | 0 |7325 | 0 | 0.000000e+00 | -- | Inf
48.87/48.91 c 45.0s|270000 |255971 | 0 | 0.0 | 98M| 172 | - | 198 | 8 | 0 | 0 | 0 |7327 | 0 | 0.000000e+00 | -- | Inf
50.57/50.63 c 46.5s|280000 |265967 | 0 | 0.0 | 101M| 172 | - | 198 | 8 | 0 | 0 | 0 |7329 | 0 | 0.000000e+00 | -- | Inf
52.27/52.38 c 48.2s|290000 |275967 | 0 | 0.0 | 105M| 172 | - | 198 | 8 | 0 | 0 | 0 |7329 | 0 | 0.000000e+00 | -- | Inf
54.07/54.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.07/54.11 c 49.8s|300000 |285967 | 0 | 0.0 | 108M| 172 | - | 198 | 8 | 0 | 0 | 0 |7329 | 0 | 0.000000e+00 | -- | Inf
55.77/55.83 c 51.3s|310000 |295967 | 0 | 0.0 | 112M| 172 | - | 198 | 8 | 0 | 0 | 0 |7329 | 0 | 0.000000e+00 | -- | Inf
57.47/57.56 c 52.9s|320000 |305967 | 0 | 0.0 | 115M| 172 | - | 198 | 8 | 0 | 0 | 0 |7329 | 0 | 0.000000e+00 | -- | Inf
59.17/59.25 c 54.5s|330000 |315967 | 0 | 0.0 | 119M| 172 | - | 198 | 8 | 0 | 0 | 0 |7329 | 0 | 0.000000e+00 | -- | Inf
60.87/60.98 c 56.0s|340000 |325967 | 0 | 0.0 | 122M| 172 | - | 198 | 8 | 0 | 0 | 0 |7329 | 0 | 0.000000e+00 | -- | Inf
62.57/62.69 c 57.6s|350000 |335967 | 0 | 0.0 | 126M| 172 | - | 198 | 8 | 0 | 0 | 0 |7329 | 0 | 0.000000e+00 | -- | Inf
64.37/64.42 c 59.2s|360000 |345967 | 0 | 0.0 | 129M| 172 | - | 198 | 8 | 0 | 0 | 0 |7329 | 0 | 0.000000e+00 | -- | Inf
66.07/66.12 c 60.8s|370000 |355967 | 0 | 0.0 | 133M| 172 | - | 198 | 8 | 0 | 0 | 0 |7329 | 0 | 0.000000e+00 | -- | Inf
67.76/67.85 c 62.3s|380000 |365967 | 0 | 0.0 | 136M| 172 | - | 198 | 8 | 0 | 0 | 0 |7329 | 0 | 0.000000e+00 | -- | Inf
69.47/69.56 c 63.9s|390000 |375967 | 0 | 0.0 | 140M| 172 | - | 198 | 8 | 0 | 0 | 0 |7329 | 0 | 0.000000e+00 | -- | Inf
71.17/71.27 c 65.4s|400000 |385967 | 0 | 0.0 | 144M| 172 | - | 198 | 8 | 0 | 0 | 0 |7329 | 0 | 0.000000e+00 | -- | Inf
72.86/72.96 c 67.0s|410000 |395967 | 0 | 0.0 | 147M| 172 | - | 198 | 8 | 0 | 0 | 0 |7329 | 0 | 0.000000e+00 | -- | Inf
74.57/74.68 c 68.5s|420000 |405967 | 0 | 0.0 | 151M| 172 | - | 198 | 8 | 0 | 0 | 0 |7329 | 0 | 0.000000e+00 | -- | Inf
76.36/76.40 c 70.1s|430000 |415967 | 0 | 0.0 | 154M| 172 | - | 198 | 8 | 0 | 0 | 0 |7329 | 0 | 0.000000e+00 | -- | Inf
77.98/78.10 c 71.7s|440000 |425967 | 0 | 0.0 | 158M| 172 | - | 198 | 8 | 0 | 0 | 0 |7329 | 0 | 0.000000e+00 | -- | Inf
79.76/79.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.76/79.81 c 73.2s|450000 |435967 | 0 | 0.0 | 162M| 172 | - | 198 | 8 | 0 | 0 | 0 |7329 | 0 | 0.000000e+00 | -- | Inf
81.38/81.49 c 74.8s|460000 |445963 | 0 | 0.0 | 165M| 172 | - | 198 | 8 | 0 | 0 | 0 |7331 | 0 | 0.000000e+00 | -- | Inf
83.16/83.20 c 76.3s|470000 |455959 | 0 | 0.0 | 169M| 172 | - | 198 | 8 | 0 | 0 | 0 |7333 | 0 | 0.000000e+00 | -- | Inf
84.86/84.90 c 77.9s|480000 |465959 | 0 | 0.0 | 173M| 172 | - | 198 | 8 | 0 | 0 | 0 |7333 | 0 | 0.000000e+00 | -- | Inf
86.56/86.60 c 79.5s|490000 |475959 | 0 | 0.0 | 176M| 172 | - | 198 | 8 | 0 | 0 | 0 |7333 | 0 | 0.000000e+00 | -- | Inf
88.26/88.30 c 81.0s|500000 |485959 | 0 | 0.0 | 180M| 172 | - | 198 | 8 | 0 | 0 | 0 |7333 | 0 | 0.000000e+00 | -- | Inf
89.97/90.01 c 82.6s|510000 |495959 | 0 | 0.0 | 184M| 172 | - | 198 | 8 | 0 | 0 | 0 |7333 | 0 | 0.000000e+00 | -- | Inf
91.66/91.73 c 84.2s|520000 |505955 | 0 | 0.0 | 188M| 172 | - | 198 | 8 | 0 | 0 | 0 |7335 | 0 | 0.000000e+00 | -- | Inf
93.37/93.43 c 85.7s|530000 |515955 | 0 | 0.0 | 191M| 172 | - | 198 | 8 | 0 | 0 | 0 |7335 | 0 | 0.000000e+00 | -- | Inf
95.06/95.13 c 87.3s|540000 |525955 | 0 | 0.0 | 195M| 172 | - | 198 | 8 | 0 | 0 | 0 |7335 | 0 | 0.000000e+00 | -- | Inf
96.67/96.80 c 88.8s|550000 |535955 | 0 | 0.0 | 199M| 172 | - | 198 | 8 | 0 | 0 | 0 |7335 | 0 | 0.000000e+00 | -- | Inf
98.36/98.46 c 90.3s|560000 |545955 | 0 | 0.0 | 203M| 172 | - | 198 | 8 | 0 | 0 | 0 |7335 | 0 | 0.000000e+00 | -- | Inf
100.07/100.12 c 91.8s|570000 |555953 | 0 | 0.0 | 206M| 172 | - | 198 | 8 | 0 | 0 | 0 |7336 | 0 | 0.000000e+00 | -- | Inf
101.66/101.78 c 93.3s|580000 |565953 | 0 | 0.0 | 210M| 172 | - | 198 | 8 | 0 | 0 | 0 |7336 | 0 | 0.000000e+00 | -- | Inf
103.37/103.45 c 94.9s|590000 |575953 | 0 | 0.0 | 214M| 172 | - | 198 | 8 | 0 | 0 | 0 |7336 | 0 | 0.000000e+00 | -- | Inf
105.06/105.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.06/105.10 c 96.4s|600000 |585953 | 0 | 0.0 | 218M| 172 | - | 198 | 8 | 0 | 0 | 0 |7336 | 0 | 0.000000e+00 | -- | Inf
106.66/106.76 c 97.9s|610000 |595953 | 0 | 0.0 | 221M| 172 | - | 198 | 8 | 0 | 0 | 0 |7336 | 0 | 0.000000e+00 | -- | Inf
108.36/108.43 c 99.4s|620000 |605953 | 0 | 0.0 | 225M| 172 | - | 198 | 8 | 0 | 0 | 0 |7336 | 0 | 0.000000e+00 | -- | Inf
109.96/110.08 c 101s|630000 |615951 | 0 | 0.0 | 229M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
111.66/111.75 c 102s|640000 |625951 | 0 | 0.0 | 233M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
113.26/113.40 c 104s|650000 |635951 | 0 | 0.0 | 236M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
114.96/115.04 c 105s|660000 |645951 | 0 | 0.0 | 240M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
116.56/116.69 c 107s|670000 |655951 | 0 | 0.0 | 244M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
118.26/118.33 c 108s|680000 |665951 | 0 | 0.0 | 248M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
119.87/119.98 c 110s|690000 |675951 | 0 | 0.0 | 252M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
121.55/121.63 c 111s|700000 |685951 | 0 | 0.0 | 256M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
123.16/123.29 c 113s|710000 |695951 | 0 | 0.0 | 259M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
124.85/124.94 c 114s|720000 |705951 | 0 | 0.0 | 263M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
126.46/126.57 c 116s|730000 |715951 | 0 | 0.0 | 267M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
128.06/128.18 c 117s|740000 |725951 | 0 | 0.0 | 271M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
129.76/129.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.76/129.82 c 119s|750000 |735951 | 0 | 0.0 | 275M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
131.36/131.45 c 120s|760000 |745951 | 0 | 0.0 | 278M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
132.96/133.09 c 122s|770000 |755951 | 0 | 0.0 | 282M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
134.65/134.71 c 123s|780000 |765951 | 0 | 0.0 | 286M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
136.26/136.34 c 125s|790000 |775951 | 0 | 0.0 | 290M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
137.85/137.97 c 126s|800000 |785951 | 0 | 0.0 | 294M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
139.56/139.60 c 128s|810000 |795951 | 0 | 0.0 | 298M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
141.15/141.23 c 129s|820000 |805951 | 0 | 0.0 | 302M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
142.75/142.86 c 131s|830000 |815951 | 0 | 0.0 | 305M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
144.35/144.49 c 132s|840000 |825951 | 0 | 0.0 | 309M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
146.05/146.12 c 134s|850000 |835951 | 0 | 0.0 | 313M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
147.65/147.76 c 135s|860000 |845951 | 0 | 0.0 | 317M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
149.35/149.40 c 137s|870000 |855951 | 0 | 0.0 | 321M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
150.95/151.03 c 138s|880000 |865951 | 0 | 0.0 | 325M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
152.55/152.67 c 140s|890000 |875951 | 0 | 0.0 | 329M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
154.25/154.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.25/154.31 c 141s|900000 |885951 | 0 | 0.0 | 333M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
155.85/155.96 c 143s|910000 |895951 | 0 | 0.0 | 337M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
157.55/157.62 c 144s|920000 |905951 | 0 | 0.0 | 340M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
159.14/159.25 c 146s|930000 |915951 | 0 | 0.0 | 344M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
160.85/160.93 c 147s|940000 |925951 | 0 | 0.0 | 348M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
162.55/162.61 c 149s|950000 |935951 | 0 | 0.0 | 352M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
164.14/164.30 c 150s|960000 |945951 | 0 | 0.0 | 356M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
165.84/165.94 c 152s|970000 |955951 | 0 | 0.0 | 360M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
167.55/167.61 c 153s|980000 |965951 | 0 | 0.0 | 364M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
169.14/169.26 c 155s|990000 |975951 | 0 | 0.0 | 368M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
170.84/170.93 c 156s| 1000k|985951 | 0 | 0.0 | 372M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
172.55/172.61 c 158s| 1010k|995951 | 0 | 0.0 | 376M| 172 | - | 198 | 8 | 0 | 0 | 0 |7337 | 0 | 0.000000e+00 | -- | Inf
174.15/174.26 c 159s| 1020k| 1005k| 0 | 0.0 | 380M| 172 | - | 198 | 8 | 0 | 0 | 0 |7338 | 0 | 0.000000e+00 | -- | Inf
175.85/175.92 c 161s| 1030k| 1015k| 0 | 0.0 | 384M| 172 | - | 198 | 8 | 0 | 0 | 0 |7338 | 0 | 0.000000e+00 | -- | Inf
177.44/177.58 c 162s| 1040k| 1025k| 0 | 0.0 | 388M| 172 | - | 198 | 8 | 0 | 0 | 0 |7338 | 0 | 0.000000e+00 | -- | Inf
179.15/179.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.15/179.23 c 164s| 1050k| 1035k| 0 | 0.0 | 392M| 172 | - | 198 | 8 | 0 | 0 | 0 |7338 | 0 | 0.000000e+00 | -- | Inf
180.74/180.89 c 165s| 1060k| 1045k| 0 | 0.0 | 396M| 172 | - | 198 | 8 | 0 | 0 | 0 |7338 | 0 | 0.000000e+00 | -- | Inf
182.45/182.54 c 167s| 1070k| 1055k| 0 | 0.0 | 400M| 172 | - | 198 | 8 | 0 | 0 | 0 |7338 | 0 | 0.000000e+00 | -- | Inf
184.04/184.16 c 168s| 1080k| 1065k| 0 | 0.0 | 404M| 172 | - | 198 | 8 | 0 | 0 | 0 |7338 | 0 | 0.000000e+00 | -- | Inf
185.64/185.79 c 170s| 1090k| 1075k| 0 | 0.0 | 408M| 172 | - | 198 | 8 | 0 | 0 | 0 |7338 | 0 | 0.000000e+00 | -- | Inf
187.33/187.41 c 171s| 1100k| 1085k| 0 | 0.0 | 412M| 172 | - | 198 | 8 | 0 | 0 | 0 |7338 | 0 | 0.000000e+00 | -- | Inf
188.94/189.03 c 173s| 1110k| 1095k| 0 | 0.0 | 416M| 172 | - | 198 | 8 | 0 | 0 | 0 |7338 | 0 | 0.000000e+00 | -- | Inf
190.54/190.68 c 174s| 1120k| 1105k| 0 | 0.0 | 420M| 172 | - | 198 | 8 | 0 | 0 | 0 |7338 | 0 | 0.000000e+00 | -- | Inf
192.14/192.28 c 176s| 1130k| 1115k| 0 | 0.0 | 424M| 172 | - | 198 | 8 | 0 | 0 | 0 |7338 | 0 | 0.000000e+00 | -- | Inf
193.74/193.88 c 177s| 1140k| 1125k| 0 | 0.0 | 428M| 172 | - | 198 | 8 | 0 | 0 | 0 |7338 | 0 | 0.000000e+00 | -- | Inf
195.34/195.49 c 179s| 1150k| 1135k| 0 | 0.0 | 432M| 172 | - | 198 | 8 | 0 | 0 | 0 |7338 | 0 | 0.000000e+00 | -- | Inf
197.04/197.11 c 180s| 1160k| 1145k| 0 | 0.0 | 436M| 172 | - | 198 | 8 | 0 | 0 | 0 |7338 | 0 | 0.000000e+00 | -- | Inf
198.64/198.73 c 182s| 1170k| 1155k| 0 | 0.0 | 440M| 172 | - | 198 | 8 | 0 | 0 | 0 |7339 | 0 | 0.000000e+00 | -- | Inf
200.23/200.35 c 183s| 1180k| 1165k| 0 | 0.0 | 444M| 172 | - | 198 | 8 | 0 | 0 | 0 |7339 | 0 | 0.000000e+00 | -- | Inf
201.83/201.97 c 185s| 1190k| 1175k| 0 | 0.0 | 448M| 172 | - | 198 | 8 | 0 | 0 | 0 |7339 | 0 | 0.000000e+00 | -- | Inf
203.44/203.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.44/203.59 c 186s| 1200k| 1185k| 0 | 0.0 | 452M| 172 | - | 198 | 8 | 0 | 0 | 0 |7339 | 0 | 0.000000e+00 | -- | Inf
205.13/205.20 c 188s| 1210k| 1195k| 0 | 0.0 | 456M| 172 | - | 198 | 8 | 0 | 0 | 0 |7339 | 0 | 0.000000e+00 | -- | Inf
206.75/206.82 c 189s| 1220k| 1205k| 0 | 0.0 | 460M| 172 | - | 198 | 8 | 0 | 0 | 0 |7340 | 0 | 0.000000e+00 | -- | Inf
208.34/208.41 c 190s| 1230k| 1215k| 0 | 0.0 | 464M| 172 | - | 198 | 8 | 0 | 0 | 0 |7340 | 0 | 0.000000e+00 | -- | Inf
209.94/210.01 c 192s| 1240k| 1225k| 0 | 0.0 | 469M| 172 | - | 198 | 8 | 0 | 0 | 0 |7340 | 0 | 0.000000e+00 | -- | Inf
211.54/211.60 c 193s| 1250k| 1235k| 0 | 0.0 | 473M| 172 | - | 198 | 8 | 0 | 0 | 0 |7340 | 0 | 0.000000e+00 | -- | Inf
213.14/213.20 c 195s| 1260k| 1245k| 0 | 0.0 | 477M| 172 | - | 198 | 8 | 0 | 0 | 0 |7342 | 0 | 0.000000e+00 | -- | Inf
214.73/214.80 c 196s| 1270k| 1255k| 0 | 0.0 | 481M| 172 | - | 198 | 8 | 0 | 0 | 0 |7343 | 0 | 0.000000e+00 | -- | Inf
216.34/216.41 c 198s| 1280k| 1265k| 0 | 0.0 | 485M| 172 | - | 198 | 8 | 0 | 0 | 0 |7344 | 0 | 0.000000e+00 | -- | Inf
217.93/218.02 c 199s| 1290k| 1275k| 0 | 0.0 | 489M| 172 | - | 198 | 8 | 0 | 0 | 0 |7344 | 0 | 0.000000e+00 | -- | Inf
219.53/219.63 c 201s| 1300k| 1285k| 0 | 0.0 | 493M| 172 | - | 198 | 8 | 0 | 0 | 0 |7344 | 0 | 0.000000e+00 | -- | Inf
221.13/221.23 c 202s| 1310k| 1295k| 0 | 0.0 | 497M| 172 | - | 198 | 8 | 0 | 0 | 0 |7347 | 0 | 0.000000e+00 | -- | Inf
222.73/222.84 c 204s| 1320k| 1305k| 0 | 0.0 | 501M| 172 | - | 198 | 8 | 0 | 0 | 0 |7347 | 0 | 0.000000e+00 | -- | Inf
224.34/224.44 c 205s| 1330k| 1315k| 0 | 0.0 | 505M| 172 | - | 198 | 8 | 0 | 0 | 0 |7347 | 0 | 0.000000e+00 | -- | Inf
225.93/226.02 c 206s| 1340k| 1325k| 0 | 0.0 | 509M| 172 | - | 198 | 8 | 0 | 0 | 0 |7347 | 0 | 0.000000e+00 | -- | Inf
227.54/227.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
227.54/227.61 c 208s| 1350k| 1335k| 0 | 0.0 | 513M| 172 | - | 198 | 8 | 0 | 0 | 0 |7348 | 0 | 0.000000e+00 | -- | Inf
229.03/229.19 c 209s| 1360k| 1345k| 0 | 0.0 | 518M| 172 | - | 198 | 8 | 0 | 0 | 0 |7348 | 0 | 0.000000e+00 | -- | Inf
230.63/230.78 c 211s| 1370k| 1355k| 0 | 0.0 | 522M| 172 | - | 198 | 8 | 0 | 0 | 0 |7348 | 0 | 0.000000e+00 | -- | Inf
232.23/232.37 c 212s| 1380k| 1365k| 0 | 0.0 | 526M| 172 | - | 198 | 8 | 0 | 0 | 0 |7351 | 0 | 0.000000e+00 | -- | Inf
233.83/233.95 c 214s| 1390k| 1375k| 0 | 0.0 | 530M| 172 | - | 198 | 8 | 0 | 0 | 0 |7351 | 0 | 0.000000e+00 | -- | Inf
235.43/235.53 c 215s| 1400k| 1385k| 0 | 0.0 | 534M| 172 | - | 198 | 8 | 0 | 0 | 0 |7351 | 0 | 0.000000e+00 | -- | Inf
237.03/237.12 c 217s| 1410k| 1395k| 0 | 0.0 | 538M| 172 | - | 198 | 8 | 0 | 0 | 0 |7351 | 0 | 0.000000e+00 | -- | Inf
238.53/238.69 c 218s| 1420k| 1405k| 0 | 0.0 | 542M| 172 | - | 198 | 8 | 0 | 0 | 0 |7351 | 0 | 0.000000e+00 | -- | Inf
240.12/240.29 c 219s| 1430k| 1415k| 0 | 0.0 | 547M| 172 | - | 198 | 8 | 0 | 0 | 0 |7352 | 0 | 0.000000e+00 | -- | Inf
241.73/241.87 c 221s| 1440k| 1425k| 0 | 0.0 | 551M| 172 | - | 198 | 8 | 0 | 0 | 0 |7352 | 0 | 0.000000e+00 | -- | Inf
243.32/243.45 c 222s| 1450k| 1435k| 0 | 0.0 | 555M| 172 | - | 198 | 8 | 0 | 0 | 0 |7352 | 0 | 0.000000e+00 | -- | Inf
244.92/245.02 c 224s| 1460k| 1445k| 0 | 0.0 | 559M| 172 | - | 198 | 8 | 0 | 0 | 0 |7353 | 0 | 0.000000e+00 | -- | Inf
246.43/246.60 c 225s| 1470k| 1455k| 0 | 0.0 | 563M| 172 | - | 198 | 8 | 0 | 0 | 0 |7353 | 0 | 0.000000e+00 | -- | Inf
248.03/248.18 c 227s| 1480k| 1465k| 0 | 0.0 | 568M| 172 | - | 198 | 8 | 0 | 0 | 0 |7353 | 0 | 0.000000e+00 | -- | Inf
249.63/249.75 c 228s| 1490k| 1475k| 0 | 0.0 | 572M| 172 | - | 198 | 8 | 0 | 0 | 0 |7353 | 0 | 0.000000e+00 | -- | Inf
251.22/251.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
251.22/251.37 c 229s| 1500k| 1485k| 0 | 0.0 | 576M| 172 | - | 198 | 8 | 0 | 0 | 0 |7353 | 0 | 0.000000e+00 | -- | Inf
252.83/252.97 c 231s| 1510k| 1495k| 0 | 0.0 | 580M| 172 | - | 198 | 8 | 0 | 0 | 0 |7353 | 0 | 0.000000e+00 | -- | Inf
254.43/254.57 c 232s| 1520k| 1505k| 0 | 0.0 | 584M| 172 | - | 198 | 8 | 0 | 0 | 0 |7353 | 0 | 0.000000e+00 | -- | Inf
256.02/256.18 c 234s| 1530k| 1515k| 0 | 0.0 | 589M| 172 | - | 198 | 8 | 0 | 0 | 0 |7353 | 0 | 0.000000e+00 | -- | Inf
257.62/257.78 c 235s| 1540k| 1525k| 0 | 0.0 | 593M| 172 | - | 198 | 8 | 0 | 0 | 0 |7353 | 0 | 0.000000e+00 | -- | Inf
259.22/259.38 c 237s| 1550k| 1535k| 0 | 0.0 | 597M| 172 | - | 198 | 8 | 0 | 0 | 0 |7353 | 0 | 0.000000e+00 | -- | Inf
260.82/260.97 c 238s| 1560k| 1545k| 0 | 0.0 | 601M| 172 | - | 198 | 8 | 0 | 0 | 0 |7353 | 0 | 0.000000e+00 | -- | Inf
262.42/262.54 c 240s| 1570k| 1555k| 0 | 0.0 | 606M| 172 | - | 198 | 8 | 0 | 0 | 0 |7353 | 0 | 0.000000e+00 | -- | Inf
264.02/264.10 c 241s| 1580k| 1565k| 0 | 0.0 | 610M| 172 | - | 198 | 8 | 0 | 0 | 0 |7353 | 0 | 0.000000e+00 | -- | Inf
265.52/265.67 c 242s| 1590k| 1575k| 0 | 0.0 | 614M| 172 | - | 198 | 8 | 0 | 0 | 0 |7353 | 0 | 0.000000e+00 | -- | Inf
267.13/267.26 c 244s| 1600k| 1585k| 0 | 0.0 | 618M| 172 | - | 198 | 8 | 0 | 0 | 0 |7353 | 0 | 0.000000e+00 | -- | Inf
268.72/268.82 c 245s| 1610k| 1595k| 0 | 0.0 | 623M| 172 | - | 198 | 8 | 0 | 0 | 0 |7353 | 0 | 0.000000e+00 | -- | Inf
270.22/270.37 c 247s| 1620k| 1605k| 0 | 0.0 | 627M| 172 | - | 198 | 8 | 0 | 0 | 0 |7354 | 0 | 0.000000e+00 | -- | Inf
271.82/271.97 c 248s| 1630k| 1615k| 0 | 0.0 | 631M| 172 | - | 198 | 8 | 0 | 0 | 0 |7354 | 0 | 0.000000e+00 | -- | Inf
273.42/273.52 c 249s| 1640k| 1625k| 0 | 0.0 | 635M| 172 | - | 198 | 8 | 0 | 0 | 0 |7354 | 0 | 0.000000e+00 | -- | Inf
274.93/275.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
274.93/275.09 c 251s| 1650k| 1635k| 0 | 0.0 | 640M| 172 | - | 198 | 8 | 0 | 0 | 0 |7354 | 0 | 0.000000e+00 | -- | Inf
276.52/276.67 c 252s| 1660k| 1645k| 0 | 0.0 | 644M| 172 | - | 198 | 8 | 0 | 0 | 0 |7354 | 0 | 0.000000e+00 | -- | Inf
278.12/278.21 c 254s| 1670k| 1655k| 0 | 0.0 | 648M| 172 | - | 198 | 8 | 0 | 0 | 0 |7354 | 0 | 0.000000e+00 | -- | Inf
279.62/279.75 c 255s| 1680k| 1665k| 0 | 0.0 | 653M| 172 | - | 198 | 8 | 0 | 0 | 0 |7354 | 0 | 0.000000e+00 | -- | Inf
281.12/281.29 c 256s| 1690k| 1675k| 0 | 0.0 | 657M| 172 | - | 198 | 8 | 0 | 0 | 0 |7354 | 0 | 0.000000e+00 | -- | Inf
282.72/282.84 c 258s| 1700k| 1685k| 0 | 0.0 | 661M| 172 | - | 198 | 8 | 0 | 0 | 0 |7354 | 0 | 0.000000e+00 | -- | Inf
284.21/284.37 c 259s| 1710k| 1695k| 0 | 0.0 | 666M| 172 | - | 198 | 8 | 0 | 0 | 0 |7354 | 0 | 0.000000e+00 | -- | Inf
285.83/285.90 c 261s| 1720k| 1705k| 0 | 0.0 | 670M| 172 | - | 198 | 8 | 0 | 0 | 0 |7354 | 0 | 0.000000e+00 | -- | Inf
287.31/287.42 c 262s| 1730k| 1715k| 0 | 0.0 | 674M| 172 | - | 198 | 8 | 0 | 0 | 0 |7356 | 0 | 0.000000e+00 | -- | Inf
288.82/288.97 c 263s| 1740k| 1725k| 0 | 0.0 | 679M| 172 | - | 198 | 8 | 0 | 0 | 0 |7356 | 0 | 0.000000e+00 | -- | Inf
290.41/290.51 c 265s| 1750k| 1735k| 0 | 0.0 | 683M| 172 | - | 198 | 8 | 0 | 0 | 0 |7356 | 0 | 0.000000e+00 | -- | Inf
291.92/292.07 c 266s| 1760k| 1745k| 0 | 0.0 | 687M| 172 | - | 198 | 8 | 0 | 0 | 0 |7356 | 0 | 0.000000e+00 | -- | Inf
293.41/293.60 c 267s| 1770k| 1755k| 0 | 0.0 | 692M| 172 | - | 198 | 8 | 0 | 0 | 0 |7356 | 0 | 0.000000e+00 | -- | Inf
295.02/295.13 c 269s| 1780k| 1765k| 0 | 0.0 | 696M| 172 | - | 198 | 8 | 0 | 0 | 0 |7356 | 0 | 0.000000e+00 | -- | Inf
296.52/296.65 c 270s| 1790k| 1775k| 0 | 0.0 | 701M| 172 | - | 198 | 8 | 0 | 0 | 0 |7356 | 0 | 0.000000e+00 | -- | Inf
298.02/298.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
298.02/298.19 c 272s| 1800k| 1785k| 0 | 0.0 | 705M| 172 | - | 198 | 8 | 0 | 0 | 0 |7356 | 0 | 0.000000e+00 | -- | Inf
299.61/299.72 c 273s| 1810k| 1795k| 0 | 0.0 | 709M| 172 | - | 198 | 8 | 0 | 0 | 0 |7356 | 0 | 0.000000e+00 | -- | Inf
301.12/301.25 c 274s| 1820k| 1805k| 0 | 0.0 | 714M| 172 | - | 198 | 8 | 0 | 0 | 0 |7357 | 0 | 0.000000e+00 | -- | Inf
302.61/302.79 c 276s| 1830k| 1815k| 0 | 0.0 | 718M| 172 | - | 198 | 8 | 0 | 0 | 0 |7357 | 0 | 0.000000e+00 | -- | Inf
304.21/304.31 c 277s| 1840k| 1825k| 0 | 0.0 | 722M| 172 | - | 198 | 8 | 0 | 0 | 0 |7357 | 0 | 0.000000e+00 | -- | Inf
305.72/305.87 c 279s| 1850k| 1835k| 0 | 0.0 | 727M| 172 | - | 198 | 8 | 0 | 0 | 0 |7357 | 0 | 0.000000e+00 | -- | Inf
307.21/307.39 c 280s| 1860k| 1845k| 0 | 0.0 | 731M| 172 | - | 198 | 8 | 0 | 0 | 0 |7357 | 0 | 0.000000e+00 | -- | Inf
308.81/308.92 c 281s| 1870k| 1855k| 0 | 0.0 | 735M| 172 | - | 198 | 8 | 0 | 0 | 0 |7357 | 0 | 0.000000e+00 | -- | Inf
310.31/310.44 c 283s| 1880k| 1865k| 0 | 0.0 | 740M| 172 | - | 198 | 8 | 0 | 0 | 0 |7357 | 0 | 0.000000e+00 | -- | Inf
312.01/312.14 c 284s| 1890k| 1875k| 0 | 0.0 | 744M| 172 | - | 198 | 8 | 0 | 0 | 0 |7643 | 0 | 0.000000e+00 | -- | Inf
315.31/315.41 c 287s| 1900k| 1880k| 0 | 0.0 | 746M| 172 | - | 198 | 8 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
318.82/318.97 c 291s| 1910k| 1885k| 0 | 0.0 | 749M| 172 | - | 198 | 8 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
321.91/322.07 c 294s| 1920k| 1891k| 0 | 0.0 | 752M| 172 | - | 198 | 8 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
325.20/325.36 c 297s| 1930k| 1896k| 0 | 0.0 | 755M| 175 | - | 198 | 8 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
328.72/328.89 c 300s| 1940k| 1900k| 0 | 0.0 | 758M| 175 | - | 198 | 8 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
332.50/332.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
332.50/332.65 c 304s| 1950k| 1904k| 0 | 0.0 | 761M| 179 | - | 198 | 8 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
336.60/336.75 c 308s| 1960k| 1907k| 0 | 0.0 | 764M| 179 | - | 198 | 8 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
340.50/340.67 c 311s| 1970k| 1910k| 0 | 0.0 | 766M| 179 | - | 198 | 8 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
342.40/342.50 c 313s| 1980k| 1920k| 0 | 0.0 | 770M| 179 | - | 198 | 8 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
344.21/344.35 c 315s| 1990k| 1930k| 0 | 0.0 | 773M| 179 | - | 198 | 8 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
346.00/346.15 c 316s| 2000k| 1940k| 0 | 0.0 | 777M| 179 | - | 198 | 8 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
347.80/348.00 c 318s| 2010k| 1949k| 0 | 0.0 | 780M| 179 | - | 198 | 8 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
349.71/349.82 c 320s| 2020k| 1959k| 0 | 0.0 | 784M| 179 | - | 198 | 8 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
351.60/351.70 c 321s| 2030k| 1968k| 0 | 0.0 | 788M| 179 | - | 198 | 8 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
353.40/353.50 c 323s| 2040k| 1978k| 0 | 0.0 | 791M| 179 | - | 198 | 8 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
355.21/355.33 c 325s| 2050k| 1988k| 0 | 0.0 | 795M| 179 | - | 198 | 8 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
357.00/357.18 c 326s| 2060k| 1997k| 0 | 0.0 | 799M| 179 | - | 198 | 8 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
358.90/359.04 c 328s| 2070k| 2006k| 0 | 0.0 | 802M| 179 | - | 198 | 8 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
360.70/360.86 c 330s| 2080k| 2016k| 0 | 0.0 | 806M| 179 | - | 198 | 8 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
362.50/362.68 c 331s| 2090k| 2025k| 0 | 0.0 | 810M| 179 | - | 198 | 8 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
364.40/364.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
364.40/364.51 c 333s| 2100k| 2035k| 0 | 0.0 | 814M| 179 | - | 198 | 8 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
366.20/366.32 c 335s| 2110k| 2044k| 0 | 0.0 | 818M| 179 | - | 198 | 8 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
368.00/368.17 c 336s| 2120k| 2053k| 0 | 0.0 | 822M| 179 | - | 198 | 8 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
369.89/370.02 c 338s| 2130k| 2062k| 0 | 0.0 | 826M| 179 | - | 198 | 8 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
371.70/371.85 c 340s| 2140k| 2072k| 0 | 0.0 | 830M| 179 | - | 198 | 8 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
373.50/373.70 c 342s| 2150k| 2081k| 0 | 0.0 | 834M| 179 | - | 198 | 8 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
375.39/375.56 c 343s| 2160k| 2090k| 0 | 0.0 | 838M| 179 | - | 198 | 8 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
377.30/377.46 c 345s| 2170k| 2099k| 0 | 0.0 | 842M| 179 | - | 198 | 8 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
379.40/379.57 c 347s| 2180k| 2107k| 0 | 0.0 | 846M| 179 | - | 198 | 8 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
381.89/382.04 c 349s| 2190k| 2115k| 0 | 0.0 | 850M| 179 | - | 198 | 8 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
384.90/385.05 c 352s| 2200k| 2122k| 0 | 0.0 | 853M| 179 | - | 198 | 8 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
388.39/388.52 c 355s| 2210k| 2128k| 0 | 0.0 | 857M| 179 | - | 198 | 8 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
391.79/391.92 c 359s| 2220k| 2133k| 0 | 0.0 | 860M| 179 | - | 198 | 8 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
395.29/395.47 c 362s| 2230k| 2138k| 0 | 0.0 | 862M| 179 | - | 198 | 8 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
398.58/398.75 c 365s| 2240k| 2144k| 0 | 0.0 | 865M| 179 | - | 198 | 8 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
401.98/402.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
401.98/402.16 c 368s| 2250k| 2149k| 0 | 0.0 | 868M| 179 | - | 198 | 8 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
405.59/405.74 c 372s| 2260k| 2154k| 0 | 0.0 | 871M| 179 | - | 198 | 8 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
408.99/409.19 c 375s| 2270k| 2159k| 0 | 0.0 | 874M| 179 | - | 198 | 8 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
412.09/412.22 c 378s| 2280k| 2165k| 0 | 0.0 | 877M| 179 | - | 198 | 8 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
414.09/414.27 c 380s| 2290k| 2174k| 0 | 0.0 | 880M| 179 | - | 198 | 8 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
416.29/416.40 c 382s| 2300k| 2183k| 0 | 0.0 | 884M| 179 | - | 198 | 8 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
418.58/418.70 c 384s| 2310k| 2191k| 0 | 0.0 | 887M| 179 | - | 198 | 8 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
421.09/421.28 c 386s| 2320k| 2199k| 0 | 0.0 | 891M| 179 | - | 198 | 8 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
424.08/424.21 c 389s| 2330k| 2206k| 0 | 0.0 | 895M| 179 | - | 198 | 8 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
427.28/427.42 c 392s| 2340k| 2212k| 0 | 0.0 | 898M| 179 | - | 198 | 8 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
430.58/430.75 c 395s| 2350k| 2218k| 0 | 0.0 | 901M| 179 | - | 198 | 8 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
434.09/434.27 c 399s| 2360k| 2223k| 0 | 0.0 | 904M| 179 | - | 198 | 8 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
437.47/437.68 c 402s| 2370k| 2228k| 0 | 0.0 | 907M| 179 | - | 198 | 8 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
440.78/440.93 c 405s| 2380k| 2233k| 0 | 0.0 | 910M| 179 | - | 198 | 8 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
444.19/444.39 c 408s| 2390k| 2238k| 0 | 0.0 | 913M| 179 | - | 198 | 8 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
447.68/447.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
447.68/447.87 c 412s| 2400k| 2243k| 0 | 0.0 | 915M| 179 | - | 198 | 8 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
451.07/451.28 c 415s| 2410k| 2248k| 0 | 0.0 | 918M| 179 | - | 198 | 8 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
453.97/454.10 c 417s| 2420k| 2255k| 0 | 0.0 | 921M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
455.67/455.82 c 419s| 2430k| 2265k| 0 | 0.0 | 924M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
457.39/457.54 c 420s| 2440k| 2275k| 0 | 0.0 | 927M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
459.08/459.24 c 422s| 2450k| 2285k| 0 | 0.0 | 931M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
460.78/460.93 c 424s| 2460k| 2295k| 0 | 0.0 | 934M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
462.47/462.63 c 425s| 2470k| 2305k| 0 | 0.0 | 937M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
464.17/464.35 c 427s| 2480k| 2315k| 0 | 0.0 | 940M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
465.87/466.06 c 428s| 2490k| 2325k| 0 | 0.0 | 944M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
467.57/467.76 c 430s| 2500k| 2335k| 0 | 0.0 | 947M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
469.27/469.45 c 431s| 2510k| 2345k| 0 | 0.0 | 950M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
470.97/471.16 c 433s| 2520k| 2355k| 0 | 0.0 | 954M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
472.67/472.85 c 435s| 2530k| 2365k| 0 | 0.0 | 957M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
474.37/474.55 c 436s| 2540k| 2375k| 0 | 0.0 | 960M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
476.08/476.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
476.08/476.24 c 438s| 2550k| 2385k| 0 | 0.0 | 964M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
477.78/477.94 c 439s| 2560k| 2395k| 0 | 0.0 | 967M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
479.47/479.62 c 441s| 2570k| 2405k| 0 | 0.0 | 970M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
481.17/481.31 c 442s| 2580k| 2415k| 0 | 0.0 | 974M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
482.77/482.99 c 444s| 2590k| 2425k| 0 | 0.0 | 977M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
484.47/484.68 c 445s| 2600k| 2435k| 0 | 0.0 | 980M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
486.17/486.39 c 447s| 2610k| 2445k| 0 | 0.0 | 984M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
487.87/488.08 c 449s| 2620k| 2455k| 0 | 0.0 | 987M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
489.56/489.76 c 450s| 2630k| 2465k| 0 | 0.0 | 990M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
491.26/491.43 c 452s| 2640k| 2475k| 0 | 0.0 | 994M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
492.97/493.11 c 453s| 2650k| 2485k| 0 | 0.0 | 997M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
494.57/494.77 c 455s| 2660k| 2495k| 0 | 0.0 |1001M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
496.26/496.45 c 456s| 2670k| 2505k| 0 | 0.0 |1004M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
497.96/498.14 c 458s| 2680k| 2515k| 0 | 0.0 |1007M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
499.66/499.83 c 459s| 2690k| 2525k| 0 | 0.0 |1011M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
501.37/501.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
501.37/501.51 c 461s| 2700k| 2535k| 0 | 0.0 |1014M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
503.06/503.20 c 462s| 2710k| 2545k| 0 | 0.0 |1017M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
504.67/504.89 c 464s| 2720k| 2555k| 0 | 0.0 |1021M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
506.36/506.57 c 466s| 2730k| 2565k| 0 | 0.0 |1024M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
508.07/508.26 c 467s| 2740k| 2575k| 0 | 0.0 |1028M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
509.76/509.92 c 469s| 2750k| 2585k| 0 | 0.0 |1031M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
511.37/511.58 c 470s| 2760k| 2595k| 0 | 0.0 |1034M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
513.06/513.24 c 472s| 2770k| 2605k| 0 | 0.0 |1038M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
514.76/514.96 c 473s| 2780k| 2615k| 0 | 0.0 |1041M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
516.46/516.65 c 475s| 2790k| 2625k| 0 | 0.0 |1045M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
518.16/518.33 c 476s| 2800k| 2635k| 0 | 0.0 |1048M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
519.76/519.99 c 478s| 2810k| 2645k| 0 | 0.0 |1051M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
521.46/521.67 c 479s| 2820k| 2655k| 0 | 0.0 |1055M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
523.16/523.34 c 481s| 2830k| 2665k| 0 | 0.0 |1058M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
524.85/525.02 c 482s| 2840k| 2675k| 0 | 0.0 |1062M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
526.46/526.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
526.46/526.69 c 484s| 2850k| 2685k| 0 | 0.0 |1065M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
528.15/528.35 c 486s| 2860k| 2695k| 0 | 0.0 |1069M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
529.86/530.04 c 487s| 2870k| 2705k| 0 | 0.0 |1072M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
531.55/531.70 c 489s| 2880k| 2715k| 0 | 0.0 |1075M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
533.16/533.38 c 490s| 2890k| 2725k| 0 | 0.0 |1079M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
534.86/535.06 c 492s| 2900k| 2735k| 0 | 0.0 |1082M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
536.57/536.76 c 493s| 2910k| 2745k| 0 | 0.0 |1086M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
538.25/538.44 c 495s| 2920k| 2755k| 0 | 0.0 |1089M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
539.97/540.10 c 496s| 2930k| 2765k| 0 | 0.0 |1092M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
541.56/541.77 c 498s| 2940k| 2775k| 0 | 0.0 |1096M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
543.26/543.43 c 499s| 2950k| 2785k| 0 | 0.0 |1099M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
544.95/545.11 c 501s| 2960k| 2795k| 0 | 0.0 |1103M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
546.56/546.77 c 502s| 2970k| 2805k| 0 | 0.0 |1106M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
548.26/548.44 c 504s| 2980k| 2815k| 0 | 0.0 |1110M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
549.95/550.14 c 506s| 2990k| 2825k| 0 | 0.0 |1113M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
551.65/551.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
551.65/551.83 c 507s| 3000k| 2835k| 0 | 0.0 |1117M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
553.35/553.52 c 509s| 3010k| 2845k| 0 | 0.0 |1120M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
555.05/555.25 c 510s| 3020k| 2855k| 0 | 0.0 |1123M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
556.75/556.92 c 512s| 3030k| 2865k| 0 | 0.0 |1127M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
558.35/558.59 c 513s| 3040k| 2875k| 0 | 0.0 |1130M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
560.05/560.27 c 515s| 3050k| 2885k| 0 | 0.0 |1134M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
561.75/561.96 c 516s| 3060k| 2895k| 0 | 0.0 |1137M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
563.45/563.64 c 518s| 3070k| 2905k| 0 | 0.0 |1141M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
565.16/565.33 c 519s| 3080k| 2915k| 0 | 0.0 |1144M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
566.85/567.05 c 521s| 3090k| 2925k| 0 | 0.0 |1148M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
568.55/568.72 c 523s| 3100k| 2935k| 0 | 0.0 |1151M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
570.25/570.40 c 524s| 3110k| 2945k| 0 | 0.0 |1154M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
571.85/572.06 c 526s| 3120k| 2955k| 0 | 0.0 |1158M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
573.55/573.74 c 527s| 3130k| 2965k| 0 | 0.0 |1161M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
575.25/575.40 c 529s| 3140k| 2975k| 0 | 0.0 |1165M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
576.84/577.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
576.84/577.08 c 530s| 3150k| 2985k| 0 | 0.0 |1168M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
578.54/578.74 c 532s| 3160k| 2995k| 0 | 0.0 |1172M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
580.25/580.40 c 533s| 3170k| 3005k| 0 | 0.0 |1175M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
581.85/582.06 c 535s| 3180k| 3015k| 0 | 0.0 |1179M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
583.54/583.72 c 536s| 3190k| 3025k| 0 | 0.0 |1182M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
585.24/585.40 c 538s| 3200k| 3035k| 0 | 0.0 |1185M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
586.95/587.11 c 539s| 3210k| 3045k| 0 | 0.0 |1189M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
588.65/588.80 c 541s| 3220k| 3055k| 0 | 0.0 |1192M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
590.24/590.49 c 543s| 3230k| 3065k| 0 | 0.0 |1196M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
592.04/592.22 c 544s| 3240k| 3075k| 0 | 0.0 |1199M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
593.65/593.89 c 546s| 3250k| 3085k| 0 | 0.0 |1203M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
595.35/595.56 c 547s| 3260k| 3095k| 0 | 0.0 |1206M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
597.05/597.23 c 549s| 3270k| 3105k| 0 | 0.0 |1210M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
598.65/598.89 c 550s| 3280k| 3115k| 0 | 0.0 |1213M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
600.35/600.57 c 552s| 3290k| 3125k| 0 | 0.0 |1217M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
602.04/602.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
602.04/602.25 c 553s| 3300k| 3135k| 0 | 0.0 |1220M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
603.75/603.96 c 555s| 3310k| 3145k| 0 | 0.0 |1224M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
605.44/605.63 c 556s| 3320k| 3155k| 0 | 0.0 |1227M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
607.13/607.31 c 558s| 3330k| 3165k| 0 | 0.0 |1231M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
608.84/609.02 c 559s| 3340k| 3175k| 0 | 0.0 |1234M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
610.54/610.71 c 561s| 3350k| 3185k| 0 | 0.0 |1238M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
612.14/612.39 c 563s| 3360k| 3195k| 0 | 0.0 |1241M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
613.83/614.07 c 564s| 3370k| 3205k| 0 | 0.0 |1245M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
615.54/615.75 c 566s| 3380k| 3215k| 0 | 0.0 |1248M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
617.24/617.41 c 567s| 3390k| 3225k| 0 | 0.0 |1252M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
618.84/619.07 c 569s| 3400k| 3235k| 0 | 0.0 |1255M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
620.53/620.74 c 570s| 3410k| 3245k| 0 | 0.0 |1259M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
622.24/622.41 c 572s| 3420k| 3255k| 0 | 0.0 |1262M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
623.94/624.10 c 573s| 3430k| 3265k| 0 | 0.0 |1266M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
625.64/625.80 c 575s| 3440k| 3275k| 0 | 0.0 |1269M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
627.24/627.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
627.24/627.48 c 576s| 3450k| 3285k| 0 | 0.0 |1273M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
628.94/629.17 c 578s| 3460k| 3295k| 0 | 0.0 |1276M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
630.63/630.87 c 580s| 3470k| 3305k| 0 | 0.0 |1280M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
632.34/632.55 c 581s| 3480k| 3315k| 0 | 0.0 |1283M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
634.03/634.27 c 583s| 3490k| 3325k| 0 | 0.0 |1287M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
635.73/635.96 c 584s| 3500k| 3335k| 0 | 0.0 |1290M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
637.43/637.69 c 586s| 3510k| 3345k| 0 | 0.0 |1294M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
639.14/639.38 c 587s| 3520k| 3355k| 0 | 0.0 |1297M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
640.83/641.05 c 589s| 3530k| 3365k| 0 | 0.0 |1301M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
642.53/642.74 c 590s| 3540k| 3375k| 0 | 0.0 |1304M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
644.13/644.37 c 592s| 3550k| 3385k| 0 | 0.0 |1308M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
645.83/646.04 c 593s| 3560k| 3395k| 0 | 0.0 |1311M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
647.43/647.68 c 595s| 3570k| 3405k| 0 | 0.0 |1315M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
649.13/649.38 c 596s| 3580k| 3415k| 0 | 0.0 |1318M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
650.83/651.03 c 598s| 3590k| 3425k| 0 | 0.0 |1322M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
652.43/652.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
652.43/652.69 c 600s| 3600k| 3435k| 0 | 0.0 |1325M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
654.12/654.36 c 601s| 3610k| 3445k| 0 | 0.0 |1329M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
655.83/656.03 c 603s| 3620k| 3455k| 0 | 0.0 |1332M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
657.43/657.69 c 604s| 3630k| 3465k| 0 | 0.0 |1336M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
659.12/659.37 c 606s| 3640k| 3475k| 0 | 0.0 |1339M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
660.83/661.02 c 607s| 3650k| 3485k| 0 | 0.0 |1343M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
662.42/662.68 c 609s| 3660k| 3495k| 0 | 0.0 |1346M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
664.13/664.32 c 610s| 3670k| 3505k| 0 | 0.0 |1350M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
665.72/665.97 c 612s| 3680k| 3515k| 0 | 0.0 |1353M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
667.43/667.61 c 613s| 3690k| 3525k| 0 | 0.0 |1357M| 179 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
668.23/668.42 c (node 3694913) switching to memory saving mode (mem: 1296.0M/1620.0M)
672.12/672.39 c 618s| 3700k| 3530k| 0 | 0.0 |1357M| 185 | - | 198 | 8 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
678.32/678.50 c 623s| 3710k| 3529k| 0 | 0.0 |1356M| 188 | - | 198 | 8 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
684.32/684.59 c 629s| 3720k| 3529k| 0 | 0.0 |1355M| 188 | - | 198 | 8 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
690.22/690.45 c 635s| 3730k| 3529k| 0 | 0.0 |1355M| 190 | - | 198 | 8 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
696.13/696.31 c 640s| 3740k| 3529k| 0 | 0.0 |1355M| 190 | - | 198 | 8 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
702.81/703.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
702.81/703.07 c 647s| 3750k| 3529k| 0 | 0.0 |1355M| 190 | - | 198 | 8 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
708.91/709.12 c 652s| 3760k| 3528k| 0 | 0.0 |1354M| 190 | - | 198 | 8 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
714.91/715.10 c 658s| 3770k| 3528k| 0 | 0.0 |1354M| 190 | - | 198 | 8 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
720.81/721.06 c 664s| 3780k| 3528k| 0 | 0.0 |1354M| 190 | - | 198 | 8 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
726.92/727.12 c 670s| 3790k| 3528k| 0 | 0.0 |1353M| 190 | - | 198 | 8 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
732.51/732.72 c 675s| 3800k| 3528k| 0 | 0.0 |1353M| 191 | - | 198 | 8 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
738.00/738.24 c 680s| 3810k| 3528k| 0 | 0.0 |1353M| 191 | - | 198 | 8 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
743.41/743.64 c 685s| 3820k| 3528k| 0 | 0.0 |1353M| 191 | - | 198 | 8 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
748.92/749.18 c 690s| 3830k| 3528k| 0 | 0.0 |1353M| 191 | - | 198 | 8 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
755.01/755.29 c 696s| 3840k| 3528k| 0 | 0.0 |1353M| 191 | - | 198 | 8 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
761.01/761.28 c 702s| 3850k| 3528k| 0 | 0.0 |1353M| 191 | - | 198 | 8 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
767.00/767.22 c 708s| 3860k| 3528k| 0 | 0.0 |1353M| 191 | - | 198 | 8 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
772.90/773.18 c 713s| 3870k| 3528k| 0 | 0.0 |1353M| 191 | - | 198 | 8 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
778.90/779.18 c 719s| 3880k| 3528k| 0 | 0.0 |1353M| 191 | - | 198 | 8 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
784.90/785.17 c 725s| 3890k| 3528k| 0 | 0.0 |1353M| 191 | - | 198 | 8 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
790.99/791.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
790.99/791.25 c 731s| 3900k| 3527k| 0 | 0.0 |1353M| 191 | - | 198 | 8 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
797.09/797.30 c 736s| 3910k| 3527k| 0 | 0.0 |1352M| 191 | - | 198 | 8 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
802.99/803.27 c 742s| 3920k| 3527k| 0 | 0.0 |1352M| 191 | - | 198 | 8 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
808.99/809.27 c 748s| 3930k| 3527k| 0 | 0.0 |1352M| 191 | - | 198 | 8 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
814.99/815.26 c 753s| 3940k| 3527k| 0 | 0.0 |1352M| 191 | - | 198 | 8 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
820.89/821.14 c 759s| 3950k| 3527k| 0 | 0.0 |1352M| 191 | - | 198 | 8 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
827.09/827.34 c 765s| 3960k| 3527k| 0 | 0.0 |1352M| 191 | - | 198 | 8 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
833.09/833.35 c 771s| 3970k| 3527k| 0 | 0.0 |1352M| 191 | - | 198 | 8 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
839.19/839.46 c 776s| 3980k| 3527k| 0 | 0.0 |1352M| 191 | - | 198 | 8 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
845.38/845.68 c 782s| 3990k| 3527k| 0 | 0.0 |1352M| 191 | - | 198 | 8 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
851.49/851.75 c 788s| 4000k| 3527k| 0 | 0.0 |1352M| 191 | - | 198 | 8 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
857.38/857.68 c 794s| 4010k| 3527k| 0 | 0.0 |1352M| 191 | - | 198 | 8 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
862.88/863.19 c 799s| 4020k| 3527k| 0 | 0.0 |1352M| 191 | - | 198 | 8 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
868.38/868.62 c 804s| 4030k| 3527k| 0 | 0.0 |1352M| 191 | - | 198 | 8 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
873.68/873.93 c 809s| 4040k| 3527k| 0 | 0.0 |1352M| 191 | - | 198 | 8 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
879.47/879.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
879.47/879.78 c 815s| 4050k| 3527k| 0 | 0.0 |1352M| 191 | - | 198 | 8 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
885.57/885.89 c 820s| 4060k| 3527k| 0 | 0.0 |1352M| 191 | - | 198 | 8 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
891.67/891.98 c 826s| 4070k| 3527k| 0 | 0.0 |1352M| 191 | - | 198 | 8 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
897.77/898.00 c 832s| 4080k| 3527k| 0 | 0.0 |1352M| 191 | - | 198 | 8 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
903.77/904.09 c 838s| 4090k| 3527k| 0 | 0.0 |1352M| 191 | - | 198 | 8 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
909.86/910.11 c 843s| 4100k| 3527k| 0 | 0.0 |1352M| 191 | - | 198 | 8 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
915.97/916.30 c 849s| 4110k| 3527k| 0 | 0.0 |1352M| 191 | - | 198 | 8 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
922.16/922.43 c 855s| 4120k| 3527k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
928.27/928.50 c 861s| 4130k| 3527k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
934.36/934.65 c 867s| 4140k| 3527k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
940.56/940.84 c 873s| 4150k| 3527k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
946.66/946.98 c 879s| 4160k| 3527k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
952.66/952.98 c 884s| 4170k| 3527k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | -- | Inf
958.25/958.55 c 890s| 4180k| 3527k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
964.26/964.56 c 895s| 4190k| 3527k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | -- | Inf
970.25/970.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
970.25/970.60 c 901s| 4200k| 3527k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | -- | Inf
975.85/976.17 c 906s| 4210k| 3527k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
981.65/981.92 c 912s| 4220k| 3527k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | -- | Inf
987.65/987.92 c 918s| 4230k| 3527k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | -- | Inf
993.75/994.05 c 923s| 4240k| 3527k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | -- | Inf
999.65/999.97 c 929s| 4250k| 3527k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | -- | Inf
1005.44/1005.77 c 934s| 4260k| 3527k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | -- | Inf
1011.44/1011.72 c 940s| 4270k| 3527k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | -- | Inf
1017.44/1017.70 c 946s| 4280k| 3527k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | -- | Inf
1023.44/1023.70 c 951s| 4290k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | -- | Inf
1029.04/1029.39 c 957s| 4300k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | -- | Inf
1034.93/1035.28 c 962s| 4310k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | -- | Inf
1040.84/1041.10 c 968s| 4320k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | -- | Inf
1046.64/1046.90 c 973s| 4330k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | -- | Inf
1052.13/1052.44 c 979s| 4340k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | -- | Inf
1058.13/1058.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1058.13/1058.43 c 984s| 4350k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | -- | Inf
1063.93/1064.23 c 990s| 4360k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | -- | Inf
1069.72/1070.02 c 995s| 4370k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | -- | Inf
1075.44/1075.72 c 1001s| 4380k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | -- | Inf
1081.33/1081.64 c 1006s| 4390k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | -- | Inf
1086.92/1087.25 c 1012s| 4400k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | -- | Inf
1092.92/1093.25 c 1017s| 4410k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | -- | Inf
1098.92/1099.25 c 1023s| 4420k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | -- | Inf
1104.62/1104.94 c 1028s| 4430k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | -- | Inf
1110.22/1110.50 c 1034s| 4440k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | -- | Inf
1116.02/1116.32 c 1039s| 4450k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | -- | Inf
1122.11/1122.46 c 1045s| 4460k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | -- | Inf
1128.11/1128.48 c 1051s| 4470k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | -- | Inf
1134.10/1134.43 c 1056s| 4480k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | -- | Inf
1139.80/1140.15 c 1062s| 4490k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | -- | Inf
1145.90/1146.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1145.90/1146.29 c 1068s| 4500k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | -- | Inf
1151.90/1152.24 c 1073s| 4510k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | -- | Inf
1158.00/1158.31 c 1079s| 4520k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | -- | Inf
1163.59/1163.95 c 1084s| 4530k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | -- | Inf
1169.29/1169.63 c 1090s| 4540k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | -- | Inf
1175.09/1175.41 c 1095s| 4550k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | -- | Inf
1180.79/1181.12 c 1101s| 4560k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | -- | Inf
1186.50/1186.83 c 1106s| 4570k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | -- | Inf
1192.58/1192.98 c 1112s| 4580k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | -- | Inf
1198.69/1199.06 c 1118s| 4590k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | -- | Inf
1204.68/1205.03 c 1123s| 4600k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | -- | Inf
1210.58/1210.95 c 1129s| 4610k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | -- | Inf
1215.98/1216.39 c 1134s| 4620k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | -- | Inf
1221.68/1222.08 c 1140s| 4630k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | -- | Inf
1227.77/1228.12 c 1145s| 4640k| 3526k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | -- | Inf
1233.48/1233.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1233.48/1233.89 c 1151s| 4650k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | -- | Inf
1239.58/1239.99 c 1157s| 4660k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | -- | Inf
1245.77/1246.12 c 1162s| 4670k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | -- | Inf
1251.67/1252.09 c 1168s| 4680k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | -- | Inf
1257.87/1258.25 c 1174s| 4690k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | -- | Inf
1263.67/1264.08 c 1179s| 4700k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | -- | Inf
1269.27/1269.68 c 1185s| 4710k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | -- | Inf
1275.27/1275.61 c 1190s| 4720k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | -- | Inf
1280.77/1281.11 c 1196s| 4730k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | -- | Inf
1286.67/1287.03 c 1201s| 4740k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | -- | Inf
1292.66/1293.04 c 1207s| 4750k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | -- | Inf
1298.86/1299.25 c 1213s| 4760k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | -- | Inf
1305.16/1305.59 c 1219s| 4770k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | -- | Inf
1310.87/1311.25 c 1224s| 4780k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 681k| 0 | 0.000000e+00 | -- | Inf
1316.85/1317.20 c 1230s| 4790k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | -- | Inf
1322.75/1323.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1322.75/1323.10 c 1236s| 4800k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 692k| 0 | 0.000000e+00 | -- | Inf
1328.46/1328.81 c 1241s| 4810k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | -- | Inf
1334.15/1334.55 c 1246s| 4820k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 703k| 0 | 0.000000e+00 | -- | Inf
1339.55/1339.93 c 1251s| 4830k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 708k| 0 | 0.000000e+00 | -- | Inf
1344.95/1345.37 c 1257s| 4840k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 713k| 0 | 0.000000e+00 | -- | Inf
1350.65/1351.01 c 1262s| 4850k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | -- | Inf
1356.64/1357.04 c 1268s| 4860k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | -- | Inf
1362.55/1362.97 c 1273s| 4870k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | -- | Inf
1368.44/1368.86 c 1279s| 4880k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | -- | Inf
1374.45/1374.87 c 1285s| 4890k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | -- | Inf
1380.54/1380.98 c 1290s| 4900k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 746k| 0 | 0.000000e+00 | -- | Inf
1386.75/1387.13 c 1296s| 4910k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | -- | Inf
1392.93/1393.31 c 1302s| 4920k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | -- | Inf
1398.93/1399.35 c 1308s| 4930k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | -- | Inf
1404.63/1405.04 c 1313s| 4940k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 768k| 0 | 0.000000e+00 | -- | Inf
1410.34/1410.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1410.34/1410.74 c 1319s| 4950k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | -- | Inf
1416.23/1416.68 c 1324s| 4960k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | -- | Inf
1422.43/1422.86 c 1330s| 4970k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | -- | Inf
1428.44/1428.86 c 1336s| 4980k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | -- | Inf
1434.22/1434.69 c 1341s| 4990k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 795k| 0 | 0.000000e+00 | -- | Inf
1439.93/1440.33 c 1347s| 5000k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | -- | Inf
1446.33/1446.70 c 1353s| 5010k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | -- | Inf
1452.42/1452.87 c 1359s| 5020k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | -- | Inf
1458.52/1458.95 c 1364s| 5030k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | -- | Inf
1464.22/1464.63 c 1370s| 5040k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | -- | Inf
1470.22/1470.68 c 1376s| 5050k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 828k| 0 | 0.000000e+00 | -- | Inf
1476.12/1476.58 c 1381s| 5060k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | -- | Inf
1482.43/1482.89 c 1387s| 5070k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | -- | Inf
1488.42/1488.84 c 1393s| 5080k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 844k| 0 | 0.000000e+00 | -- | Inf
1494.21/1494.66 c 1398s| 5090k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | -- | Inf
1500.02/1500.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1500.02/1500.46 c 1404s| 5100k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 855k| 0 | 0.000000e+00 | -- | Inf
1505.81/1506.26 c 1409s| 5110k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 860k| 0 | 0.000000e+00 | -- | Inf
1511.51/1511.98 c 1415s| 5120k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 865k| 0 | 0.000000e+00 | -- | Inf
1517.62/1518.03 c 1421s| 5130k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | -- | Inf
1523.71/1524.12 c 1426s| 5140k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 876k| 0 | 0.000000e+00 | -- | Inf
1529.50/1529.96 c 1432s| 5150k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | -- | Inf
1535.80/1536.21 c 1438s| 5160k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 887k| 0 | 0.000000e+00 | -- | Inf
1542.30/1542.70 c 1444s| 5170k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 893k| 0 | 0.000000e+00 | -- | Inf
1548.20/1548.64 c 1450s| 5180k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | -- | Inf
1554.00/1554.40 c 1455s| 5190k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 903k| 0 | 0.000000e+00 | -- | Inf
1559.99/1560.40 c 1461s| 5200k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 909k| 0 | 0.000000e+00 | -- | Inf
1565.69/1566.16 c 1466s| 5210k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | -- | Inf
1571.59/1572.04 c 1472s| 5220k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | -- | Inf
1577.50/1577.96 c 1477s| 5230k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 925k| 0 | 0.000000e+00 | -- | Inf
1583.79/1584.25 c 1483s| 5240k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 930k| 0 | 0.000000e+00 | -- | Inf
1589.69/1590.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1589.69/1590.17 c 1489s| 5250k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 936k| 0 | 0.000000e+00 | -- | Inf
1595.79/1596.26 c 1495s| 5260k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | -- | Inf
1601.88/1602.35 c 1501s| 5270k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | -- | Inf
1607.79/1608.22 c 1506s| 5280k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | -- | Inf
1613.98/1614.42 c 1512s| 5290k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | -- | Inf
1619.89/1620.32 c 1518s| 5300k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | -- | Inf
1626.08/1626.55 c 1523s| 5310k| 3526k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | -- | Inf
1632.18/1632.69 c 1529s| 5320k| 3525k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | -- | Inf
1638.28/1638.78 c 1535s| 5330k| 3525k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | -- | Inf
1644.38/1644.84 c 1541s| 5340k| 3525k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 985k| 0 | 0.000000e+00 | -- | Inf
1650.58/1651.05 c 1547s| 5350k| 3525k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 990k| 0 | 0.000000e+00 | -- | Inf
1656.68/1657.10 c 1553s| 5360k| 3525k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | -- | Inf
1662.88/1663.30 c 1558s| 5370k| 3525k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | -- | Inf
1669.08/1669.58 c 1564s| 5380k| 3525k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 |1007k| 0 | 0.000000e+00 | -- | Inf
1674.88/1675.31 c 1570s| 5390k| 3525k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | -- | Inf
1680.17/1680.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1680.17/1680.65 c 1575s| 5400k| 3525k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 |1018k| 0 | 0.000000e+00 | -- | Inf
1685.67/1686.10 c 1580s| 5410k| 3525k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | -- | Inf
1690.86/1691.35 c 1585s| 5420k| 3525k| 0 | 0.0 |1350M| 191 | - | 198 | 8 | 0 | 0 | 0 |1028k| 0 | 0.000000e+00 | -- | Inf
1696.57/1697.03 c 1591s| 5430k| 3525k| 0 | 0.0 |1349M| 191 | - | 198 | 8 | 0 | 0 | 0 |1034k| 0 | 0.000000e+00 | -- | Inf
1701.86/1702.33 c 1596s| 5440k| 3525k| 0 | 0.0 |1349M| 191 | - | 198 | 8 | 0 | 0 | 0 |1039k| 0 | 0.000000e+00 | -- | Inf
1707.17/1707.63 c 1601s| 5450k| 3525k| 0 | 0.0 |1349M| 191 | - | 198 | 8 | 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | -- | Inf
1712.46/1712.97 c 1606s| 5460k| 3525k| 0 | 0.0 |1349M| 191 | - | 198 | 8 | 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | -- | Inf
1718.06/1718.57 c 1611s| 5470k| 3525k| 0 | 0.0 |1349M| 191 | - | 198 | 8 | 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | -- | Inf
1724.26/1724.75 c 1617s| 5480k| 3525k| 0 | 0.0 |1349M| 191 | - | 198 | 8 | 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | -- | Inf
1730.26/1730.72 c 1623s| 5490k| 3525k| 0 | 0.0 |1349M| 191 | - | 198 | 8 | 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | -- | Inf
1736.06/1736.51 c 1628s| 5500k| 3525k| 0 | 0.0 |1349M| 191 | - | 198 | 8 | 0 | 0 | 0 |1072k| 0 | 0.000000e+00 | -- | Inf
1741.86/1742.31 c 1634s| 5510k| 3525k| 0 | 0.0 |1349M| 191 | - | 198 | 8 | 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | -- | Inf
1747.65/1748.16 c 1639s| 5520k| 3525k| 0 | 0.0 |1349M| 191 | - | 198 | 8 | 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | -- | Inf
1753.55/1754.05 c 1645s| 5530k| 3525k| 0 | 0.0 |1349M| 191 | - | 198 | 8 | 0 | 0 | 0 |1089k| 0 | 0.000000e+00 | -- | Inf
1759.25/1759.75 c 1650s| 5540k| 3525k| 0 | 0.0 |1349M| 191 | - | 198 | 8 | 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | -- | Inf
1765.25/1765.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1765.25/1765.70 c 1656s| 5550k| 3525k| 0 | 0.0 |1349M| 191 | - | 198 | 8 | 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | -- | Inf
1771.35/1771.86 c 1662s| 5560k| 3525k| 0 | 0.0 |1349M| 191 | - | 198 | 8 | 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | -- | Inf
1777.95/1778.46 c 1668s| 5570k| 3525k| 0 | 0.0 |1349M| 191 | - | 198 | 8 | 0 | 0 | 0 |1110k| 0 | 0.000000e+00 | -- | Inf
1784.15/1784.64 c 1674s| 5580k| 3525k| 0 | 0.0 |1349M| 191 | - | 198 | 8 | 0 | 0 | 0 |1116k| 0 | 0.000000e+00 | -- | Inf
1790.14/1790.62 c 1679s| 5590k| 3525k| 0 | 0.0 |1349M| 191 | - | 198 | 8 | 0 | 0 | 0 |1121k| 0 | 0.000000e+00 | -- | Inf
1796.14/1796.62 c 1685s| 5600k| 3525k| 0 | 0.0 |1349M| 191 | - | 198 | 8 | 0 | 0 | 0 |1127k| 0 | 0.000000e+00 | -- | Inf
1800.05/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.50 c
1800.05/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.50 c Solving Time (sec) : 1688.85
1800.05/1800.50 c Solving Nodes : 5606118
1800.05/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.50 c Dual Bound : +0.00000000000000e+00
1800.05/1800.50 c Gap : infinite
1800.05/1800.50 s UNKNOWN
1800.05/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.50 c Solving Time : 1688.85
1800.05/1800.50 c Original Problem :
1800.05/1800.50 c Problem name : HOME/instance-2664235-1276612941.opb
1800.05/1800.50 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.50 c Constraints : 16 initial, 16 maximal
1800.05/1800.50 c Presolved Problem :
1800.05/1800.50 c Problem name : t_HOME/instance-2664235-1276612941.opb
1800.05/1800.50 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.50 c Constraints : 8 initial, 8 maximal
1800.05/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.50 c linear : 0.00 0 0 0 0 0 8 0 0
1800.05/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c root node : - 0 - - 0 - - - -
1800.05/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.50 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.50 c linear : 8 0 13478355 0 4664590 1138796 21746924 0 0 0
1800.05/1800.50 c logicor : 0+ 0 1117772 0 0 0 1116772 0 0 0
1800.05/1800.50 c countsols : 0 0 0 0 4664590 0 0 0 0 0
1800.05/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.50 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.50 c linear : 1212.79 0.00 1209.53 0.00 3.26
1800.05/1800.50 c logicor : 6.57 0.00 6.57 0.00 0.00
1800.05/1800.50 c countsols : 2.01 0.00 0.00 0.00 2.01
1800.05/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.50 c vbounds : 5.93 2 0 0
1800.05/1800.50 c rootredcost : 6.20 0 0 0
1800.05/1800.50 c pseudoobj : 101.63 13478155 0 0
1800.05/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.50 c propagation : 558.30 1138796 1130656 3976906 120.5 8 103.6 -
1800.05/1800.50 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.50 c applied globally : - - - 0 0.0 - - -
1800.05/1800.50 c applied locally : - - - 1130656 84.0 - - -
1800.05/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.50 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.50 c redcost : 0.00 0 0 0 0 0
1800.05/1800.50 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.50 c intobj : 0.00 0 0 0 0 0
1800.05/1800.50 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.50 c gomory : 0.00 0 0 0 0 0
1800.05/1800.50 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.50 c cmir : 0.00 0 0 0 0 0
1800.05/1800.50 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.50 c clique : 0.00 0 0 0 0 0
1800.05/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.50 c mcf : 0.00 0 0 0 0 0
1800.05/1800.50 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.50 c Pricers : Time Calls Vars
1800.05/1800.50 c problem variables: 0.00 0 0
1800.05/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.50 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.50 c inference : 102.16 4664590 0 0 0 0 9329180
1800.05/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.50 c random : 0.00 0 0 0 0 0 0
1800.05/1800.50 c Primal Heuristics : Time Calls Found
1800.05/1800.50 c LP solutions : 0.00 - 0
1800.05/1800.50 c pseudo solutions : 0.00 - 0
1800.05/1800.50 c oneopt : 2.37 0 0
1800.05/1800.50 c trivial : 0.00 2 0
1800.05/1800.50 c simplerounding : 0.00 0 0
1800.05/1800.50 c zirounding : 0.00 0 0
1800.05/1800.50 c rounding : 0.00 0 0
1800.05/1800.50 c shifting : 0.00 0 0
1800.05/1800.50 c intshifting : 0.00 0 0
1800.05/1800.50 c twoopt : 0.00 0 0
1800.05/1800.50 c fixandinfer : 0.00 0 0
1800.05/1800.50 c feaspump : 0.00 0 0
1800.05/1800.50 c coefdiving : 0.00 0 0
1800.05/1800.50 c pscostdiving : 0.00 0 0
1800.05/1800.50 c fracdiving : 0.00 0 0
1800.05/1800.50 c veclendiving : 0.00 0 0
1800.05/1800.50 c intdiving : 0.00 0 0
1800.05/1800.50 c actconsdiving : 0.00 0 0
1800.05/1800.50 c objpscostdiving : 0.00 0 0
1800.05/1800.50 c rootsoldiving : 0.00 0 0
1800.05/1800.50 c linesearchdiving : 0.00 0 0
1800.05/1800.50 c guideddiving : 0.00 0 0
1800.05/1800.50 c octane : 0.00 0 0
1800.05/1800.50 c rens : 0.00 0 0
1800.05/1800.50 c rins : 0.00 0 0
1800.05/1800.50 c localbranching : 0.00 0 0
1800.05/1800.50 c mutation : 0.00 0 0
1800.05/1800.50 c crossover : 0.00 0 0
1800.05/1800.50 c dins : 0.00 0 0
1800.05/1800.50 c undercover : 0.00 0 0
1800.05/1800.50 c nlp : 2.84 0 0
1800.05/1800.50 c trysol : 2.39 0 0
1800.05/1800.50 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.50 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.50 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.50 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.50 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.50 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.50 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.50 c (at root node) : - 0 0 0.00 -
1800.05/1800.50 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.50 c B&B Tree :
1800.05/1800.50 c number of runs : 1
1800.05/1800.50 c nodes : 5606118
1800.05/1800.50 c nodes (total) : 5606118
1800.05/1800.50 c nodes left : 3525725
1800.05/1800.50 c max depth : 191
1800.05/1800.50 c max depth (total): 191
1800.05/1800.50 c backtracks : 318329 (5.7%)
1800.05/1800.50 c delayed cutoffs : 197338
1800.05/1800.50 c repropagations : 5088191 (2498593 domain reductions, 197268 cutoffs)
1800.05/1800.50 c avg switch length: 4.60
1800.05/1800.50 c switching time : 75.67
1800.05/1800.50 c Solution :
1800.05/1800.50 c Solutions found : 0 (0 improvements)
1800.05/1800.50 c Primal Bound : -
1800.05/1800.50 c Dual Bound : +0.00000000000000e+00
1800.05/1800.50 c Gap : infinite
1800.05/1800.50 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.50 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-2664235-1276612941/watcher-2664235-1276612941 -o /tmp/evaluation-result-2664235-1276612941/solver-2664235-1276612941 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664235-1276612941.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9925
/proc/meminfo: memFree=1739424/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=6584 CPUtime=0
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 961 0 0 0 0 0 0 0 20 0 1 0 2585715 6742016 884 1992294400 4194304 7136930 140734472715936 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9925/statm: 1646 892 254 719 0 925 0
[startup+0.0458971 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9925
/proc/meminfo: memFree=1739424/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=11224 CPUtime=0.04
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 2771 0 0 0 3 1 0 0 20 0 1 0 2585715 11493376 2084 1992294400 4194304 7136930 140734472715936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 2806 2084 374 719 0 2085 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11224
[startup+0.100901 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9925
/proc/meminfo: memFree=1739424/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=11488 CPUtime=0.09
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 2828 0 0 0 8 1 0 0 20 0 1 0 2585715 11763712 2141 1992294400 4194304 7136930 140734472715936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 2872 2141 383 719 0 2151 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11488
[startup+0.300917 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9925
/proc/meminfo: memFree=1739424/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=12256 CPUtime=0.29
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 3015 0 0 0 26 3 0 0 20 0 1 0 2585715 12550144 2328 1992294400 4194304 7136930 140734472715936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 3064 2328 383 719 0 2343 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12256
[startup+0.700953 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9925
/proc/meminfo: memFree=1739424/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=13168 CPUtime=0.69
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 3248 0 0 0 63 6 0 0 21 0 1 0 2585715 13484032 2561 1992294400 4194304 7136930 140734472715936 18446744073709551615 4979420 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 3292 2561 383 719 0 2571 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13168
[startup+1.50102 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9928
/proc/meminfo: memFree=1729868/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=15288 CPUtime=1.49
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 3828 0 0 0 135 14 0 0 23 0 1 0 2585715 15654912 3141 1992294400 4194304 7136930 140734472715936 18446744073709551615 4947551 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 3822 3141 383 719 0 3101 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15288
[startup+3.10116 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9928
/proc/meminfo: memFree=1726148/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=19844 CPUtime=3.09
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 4996 0 0 0 280 29 0 0 25 0 1 0 2585715 20320256 4309 1992294400 4194304 7136930 140734472715936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 4961 4309 383 719 0 4240 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19844
[startup+6.30144 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9928
/proc/meminfo: memFree=1718336/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=26440 CPUtime=6.29
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 6689 0 0 0 575 54 0 0 25 0 1 0 2585715 27074560 6002 1992294400 4194304 7136930 140734472715936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 6610 6002 383 719 0 5889 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26440
[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9928
/proc/meminfo: memFree=1702836/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=42692 CPUtime=12.69
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 10401 0 0 0 1160 109 0 0 25 0 1 0 2585715 43716608 9714 1992294400 4194304 7136930 140734472715936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 10673 9714 383 719 0 9952 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42692
[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9928
/proc/meminfo: memFree=1668736/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=76312 CPUtime=25.48
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 19098 0 0 0 2330 218 0 0 25 0 1 0 2585715 78143488 18411 1992294400 4194304 7136930 140734472715936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 19078 18411 383 719 0 18357 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 76312
[startup+51.1003 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9928
/proc/meminfo: memFree=1614796/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=131356 CPUtime=51.07
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 32291 0 0 0 4698 409 0 0 25 0 1 0 2585715 134508544 31604 1992294400 4194304 7136930 140734472715936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 32839 31604 383 719 0 32118 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 131356
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9930
/proc/meminfo: memFree=1495632/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=253264 CPUtime=102.27
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 61908 0 0 0 9382 845 0 0 25 0 1 0 2585715 259342336 61221 1992294400 4194304 7136930 140734472715936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 63316 61221 383 719 0 62595 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 253264
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9932
/proc/meminfo: memFree=1351172/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=391564 CPUtime=162.25
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 97915 0 0 0 14853 1372 0 0 25 0 1 0 2585715 400961536 97228 1992294400 4194304 7136930 140734472715936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 97891 97228 383 719 0 97170 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 391564
[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9932
/proc/meminfo: memFree=1195924/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=556268 CPUtime=222.24
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 136421 0 0 0 20302 1922 0 0 25 0 1 0 2585715 569618432 135734 1992294400 4194304 7136930 140734472715936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 139067 135734 383 719 0 138346 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 556268
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9934
/proc/meminfo: memFree=1030012/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=717544 CPUtime=282.22
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 178206 0 0 0 25730 2492 0 0 25 0 1 0 2585715 734765056 177519 1992294400 4194304 7136930 140734472715936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 179386 177519 383 719 0 178665 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 717544
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9936
/proc/meminfo: memFree=913700/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=828396 CPUtime=342.2
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 206838 0 0 0 31277 2943 0 0 25 0 1 0 2585715 848277504 206151 1992294400 4194304 7136930 140734472715936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 207099 206151 383 719 0 206378 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 828396
[startup+402.301 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 9938
/proc/meminfo: memFree=811896/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=959832 CPUtime=402.19
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 232418 0 0 0 36846 3373 0 0 25 0 1 0 2585715 982867968 231731 1992294400 4194304 7136930 140734472715936 18446744073709551615 4978973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 239958 231731 383 719 0 239237 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 959832
[startup+462.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 9940
/proc/meminfo: memFree=740224/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=1028396 CPUtime=462.17
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 250136 0 0 0 42488 3729 0 0 25 0 1 0 2585715 1053077504 249449 1992294400 4194304 7136930 140734472715936 18446744073709551615 4947397 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 257099 249449 383 719 0 256378 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1028396
[startup+522.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 9940
/proc/meminfo: memFree=618208/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=1145180 CPUtime=522.16
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 280731 0 0 0 47995 4221 0 0 25 0 1 0 2585715 1172664320 280044 1992294400 4194304 7136930 140734472715936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 286295 280044 383 719 0 285574 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1145180
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9942
/proc/meminfo: memFree=491852/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=1264880 CPUtime=582.15
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 312055 0 0 0 53504 4711 0 0 25 0 1 0 2585715 1295237120 311368 1992294400 4194304 7136930 140734472715936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 316220 311368 383 719 0 315499 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 1264880
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9944
/proc/meminfo: memFree=359916/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=1390472 CPUtime=642.14
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 344842 0 0 0 59000 5214 0 0 25 0 1 0 2585715 1423843328 344155 1992294400 4194304 7136930 140734472715936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 347618 344155 383 719 0 346897 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 1390472
[startup+702.301 s]
################
# More data... #
################
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 372888 0 0 0 93112 7093 0 0 25 0 1 0 2585715 1479802880 358410 1992294400 4194304 7136930 140734472715936 18446744073709551615 4947435 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 361280 358410 383 719 0 360559 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 1445120
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9956
/proc/meminfo: memFree=302008/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=1445120 CPUtime=1062.03
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 372892 0 0 0 98805 7398 0 0 25 0 1 0 2585715 1479802880 358414 1992294400 4194304 7136930 140734472715936 18446744073709551615 4978436 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 361280 358414 383 719 0 360559 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 1445120
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9965
/proc/meminfo: memFree=300644/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=1445120 CPUtime=1122
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 372904 0 0 0 104480 7720 0 0 25 0 1 0 2585715 1479802880 358426 1992294400 4194304 7136930 140734472715936 18446744073709551615 4978166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 361280 358426 383 719 0 360559 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1445120
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9967
/proc/meminfo: memFree=300768/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=1445120 CPUtime=1181.99
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 372904 0 0 0 110178 8021 0 0 25 0 1 0 2585715 1479802880 358426 1992294400 4194304 7136930 140734472715936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 361280 358426 383 719 0 360559 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 1445120
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9969
/proc/meminfo: memFree=300768/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=1445252 CPUtime=1241.98
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 372913 0 0 0 115874 8324 0 0 25 0 1 0 2585715 1479938048 358435 1992294400 4194304 7136930 140734472715936 18446744073709551615 5905979 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 361313 358435 383 719 0 360592 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1445252
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9971
/proc/meminfo: memFree=300768/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=1445252 CPUtime=1301.97
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 372913 0 0 0 121577 8620 0 0 25 0 1 0 2585715 1479938048 358435 1992294400 4194304 7136930 140734472715936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 361313 358435 383 719 0 360592 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1445252
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9973
/proc/meminfo: memFree=300768/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=1445252 CPUtime=1361.95
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 372913 0 0 0 127270 8925 0 0 25 0 1 0 2585715 1479938048 358435 1992294400 4194304 7136930 140734472715936 18446744073709551615 4978973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 361313 358435 383 719 0 360592 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1445252
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9973
/proc/meminfo: memFree=300644/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=1445252 CPUtime=1421.93
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 372913 0 0 0 132957 9236 0 0 25 0 1 0 2585715 1479938048 358435 1992294400 4194304 7136930 140734472715936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 361313 358435 383 719 0 360592 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1445252
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9975
/proc/meminfo: memFree=300520/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=1445252 CPUtime=1481.91
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 372913 0 0 0 138664 9527 0 0 25 0 1 0 2585715 1479938048 358435 1992294400 4194304 7136930 140734472715936 18446744073709551615 5909056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 361313 358435 383 719 0 360592 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1445252
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9977
/proc/meminfo: memFree=300396/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=1445252 CPUtime=1541.9
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 372913 0 0 0 144356 9834 0 0 25 0 1 0 2585715 1479938048 358435 1992294400 4194304 7136930 140734472715936 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 361313 358435 383 719 0 360592 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1445252
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9979
/proc/meminfo: memFree=300396/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=1445252 CPUtime=1601.88
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 372913 0 0 0 150046 10142 0 0 25 0 1 0 2585715 1479938048 358435 1992294400 4194304 7136930 140734472715936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 361313 358435 383 719 0 360592 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1445252
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9981
/proc/meminfo: memFree=300272/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=1445252 CPUtime=1661.87
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 372913 0 0 0 155752 10435 0 0 25 0 1 0 2585715 1479938048 358435 1992294400 4194304 7136930 140734472715936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 361313 358435 383 719 0 360592 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1445252
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9981
/proc/meminfo: memFree=300148/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=1445252 CPUtime=1721.86
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 372913 0 0 0 161452 10734 0 0 25 0 1 0 2585715 1479938048 358435 1992294400 4194304 7136930 140734472715936 18446744073709551615 4703937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 361313 358435 383 719 0 360592 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1445252
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9983
/proc/meminfo: memFree=299776/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=1445252 CPUtime=1781.84
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 372936 0 0 0 167153 11031 0 0 25 0 1 0 2585715 1479938048 358458 1992294400 4194304 7136930 140734472715936 18446744073709551615 5909069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 361313 358458 383 719 0 360592 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1445252
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9983
/proc/meminfo: memFree=299776/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=1445252 CPUtime=1800.05
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 372936 0 0 0 168885 11120 0 0 25 0 1 0 2585715 1479938048 358458 1992294400 4194304 7136930 140734472715936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9925/statm: 361313 358458 383 719 0 360592 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1445252
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9925
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9984
/proc/meminfo: memFree=299768/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=1445252 CPUtime=1800.95
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 372942 0 0 0 168975 11120 0 0 25 0 1 0 2585715 1479938048 358464 1992294400 4194304 7136930 140734472715936 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9925/statm: 361313 358464 389 719 0 360592 0
Current children cumulated CPU time (s) 1800.95
Current children cumulated vsize (KiB) 1445252
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9986
/proc/meminfo: memFree=299768/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=1445252 CPUtime=1801.74
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4202496 372942 0 0 0 169054 11120 0 0 25 0 1 0 2585715 1479938048 358464 1992294400 4194304 7136930 140734472715936 18446744073709551615 4670029 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9925/statm: 361313 358464 389 719 0 360592 0
Current children cumulated CPU time (s) 1801.74
Current children cumulated vsize (KiB) 1445252
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9986
/proc/meminfo: memFree=299768/2059040 swapFree=4165012/4192956
[pid=9925] ppid=9923 vsize=0 CPUtime=1802.14
/proc/9925/stat : 9925 (pbscip.linux.x8) R 9923 9925 9430 0 -1 4203524 372942 0 0 0 169085 11129 0 0 25 0 1 0 2585715 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9925/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.64
CPU time (s): 1802.19
CPU user time (s): 1690.86
CPU system time (s): 111.329
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 1507680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1690.86
system time used= 111.329
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 372942
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= 7679
runsolver used 3.15552 second user time and 8.36573 second system time
The end