0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2666881-1276618031.opb>
0.00/0.01 c original problem has 71 variables (71 bin, 0 int, 0 impl, 0 cont) and 17 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 1 del vars, 9 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c presolving (3 rounds):
0.00/0.03 c 1 deleted vars, 9 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 70 variables (70 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.03 c 8 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 51 | - | 364k| 0 | 8 | 70 | 8 | 70 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.17 c 0.1s| 1 | 0 | 179 | - | 417k| 0 | 14 | 70 | 8 | 70 | 16 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.2s| 1 | 0 | 187 | - | 444k| 0 | 16 | 70 | 8 | 70 | 20 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 c 0.2s| 1 | 0 | 201 | - | 459k| 0 | 19 | 70 | 8 | 70 | 24 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 206 | - | 463k| 0 | 20 | 70 | 8 | 70 | 26 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 0 | 219 | - | 468k| 0 | 20 | 70 | 8 | 70 | 27 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.26 c 0.2s| 1 | 0 | 220 | - | 475k| 0 | 21 | 70 | 8 | 70 | 28 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.36 c 0.3s| 1 | 2 | 220 | - | 475k| 0 | 21 | 70 | 8 | 70 | 28 | 20 | 0 | 15 | 0.000000e+00 | -- | Inf
4.99/5.03 c 4.6s| 10000 | 5494 | 32884 | 3.3 |4178k| 61 | 8 | 70 |2165 | 70 | 21 | 20 |2737 | 643 | 0.000000e+00 | -- | Inf
9.99/10.00 c 9.2s| 20000 | 10010 | 67189 | 3.3 |6853k| 61 | 8 | 70 |1472 | 70 | 21 | 20 |6105 | 890 | 0.000000e+00 | -- | Inf
14.58/14.61 c 13.4s| 30000 | 14322 |100774 | 3.4 |9485k| 61 | 8 | 70 |1415 | 70 | 21 | 20 |9551 |1034 | 0.000000e+00 | -- | Inf
19.18/19.23 c 17.6s| 40000 | 18486 |133865 | 3.3 | 12M| 62 | 8 | 70 |1606 | 70 | 21 | 20 | 13k|1145 | 0.000000e+00 | -- | Inf
23.88/23.92 c 21.9s| 50000 | 22586 |167986 | 3.4 | 14M| 62 | 8 | 70 |1557 | 70 | 21 | 20 | 16k|1261 | 0.000000e+00 | -- | Inf
28.49/28.59 c 26.2s| 60000 | 26755 |201562 | 3.4 | 17M| 62 | 8 | 70 |1553 | 70 | 21 | 20 | 20k|1350 | 0.000000e+00 | -- | Inf
33.28/33.34 c 30.6s| 70000 | 30547 |234895 | 3.4 | 20M| 62 | 8 | 70 |1850 | 70 | 21 | 20 | 23k|1422 | 0.000000e+00 | -- | Inf
37.98/38.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.98/38.08 c 34.9s| 80000 | 34453 |268213 | 3.3 | 22M| 62 | - | 70 |1724 | 70 | 21 | 20 | 27k|1495 | 0.000000e+00 | -- | Inf
42.79/42.89 c 39.4s| 90000 | 38243 |301389 | 3.3 | 25M| 62 | 8 | 70 |2034 | 70 | 21 | 20 | 31k|1550 | 0.000000e+00 | -- | Inf
47.48/47.59 c 43.7s|100000 | 42111 |333933 | 3.3 | 27M| 62 | - | 70 |1948 | 70 | 21 | 20 | 35k|1598 | 0.000000e+00 | -- | Inf
52.38/52.43 c 48.2s|110000 | 45927 |368055 | 3.3 | 30M| 62 | 8 | 70 |2074 | 70 | 21 | 20 | 38k|1662 | 0.000000e+00 | -- | Inf
57.08/57.19 c 52.6s|120000 | 49764 |400688 | 3.3 | 32M| 62 | 8 | 70 |1884 | 70 | 21 | 20 | 42k|1703 | 0.000000e+00 | -- | Inf
61.88/61.91 c 56.9s|130000 | 53697 |433290 | 3.3 | 35M| 62 | 8 | 70 |1950 | 70 | 21 | 20 | 46k|1747 | 0.000000e+00 | -- | Inf
66.67/66.70 c 61.3s|140000 | 57452 |466236 | 3.3 | 38M| 62 | - | 70 |2175 | 0 | 0 | 20 | 50k|1775 | 0.000000e+00 | -- | Inf
71.38/71.48 c 65.7s|150000 | 61176 |499555 | 3.3 | 40M| 62 | 8 | 70 |2331 | 70 | 21 | 20 | 53k|1814 | 0.000000e+00 | -- | Inf
76.27/76.32 c 70.2s|160000 | 64765 |532714 | 3.3 | 43M| 62 | 8 | 70 |2277 | 70 | 21 | 20 | 57k|1849 | 0.000000e+00 | -- | Inf
81.27/81.30 c 74.8s|170000 | 68210 |566017 | 3.3 | 45M| 62 | 8 | 70 |2133 | 70 | 21 | 20 | 61k|1882 | 0.000000e+00 | -- | Inf
86.06/86.20 c 79.3s|180000 | 71616 |598657 | 3.3 | 48M| 62 | - | 70 |2207 | 70 | 21 | 20 | 65k|1914 | 0.000000e+00 | -- | Inf
91.07/91.14 c 83.8s|190000 | 75089 |631419 | 3.3 | 50M| 62 | - | 70 |2347 | 0 | 0 | 20 | 69k|1955 | 0.000000e+00 | -- | Inf
96.07/96.12 c 88.4s|200000 | 78574 |663985 | 3.3 | 53M| 62 | - | 70 |2276 | 70 | 21 | 20 | 73k|2006 | 0.000000e+00 | -- | Inf
100.96/101.05 c 92.9s|210000 | 82016 |697809 | 3.3 | 55M| 63 | - | 70 |2569 | 70 | 21 | 20 | 77k|2051 | 0.000000e+00 | -- | Inf
105.86/105.96 c 97.4s|220000 | 85609 |730051 | 3.3 | 58M| 63 | 8 | 70 |2530 | 70 | 21 | 20 | 81k|2081 | 0.000000e+00 | -- | Inf
110.76/110.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.76/110.89 c 102s|230000 | 89078 |763097 | 3.3 | 60M| 63 | - | 70 |2603 | 70 | 21 | 20 | 85k|2114 | 0.000000e+00 | -- | Inf
115.76/115.89 c 107s|240000 | 92534 |795437 | 3.3 | 63M| 63 | - | 70 |2165 | 0 | 0 | 20 | 89k|2145 | 0.000000e+00 | -- | Inf
120.66/120.78 c 111s|250000 | 96056 |828131 | 3.3 | 66M| 63 | - | 70 |2359 | 70 | 21 | 20 | 93k|2163 | 0.000000e+00 | -- | Inf
125.66/125.75 c 116s|260000 | 99515 |861421 | 3.3 | 68M| 63 | 8 | 70 |2524 | 70 | 21 | 20 | 97k|2192 | 0.000000e+00 | -- | Inf
130.65/130.73 c 120s|270000 |102964 |894709 | 3.3 | 71M| 63 | 8 | 70 |2724 | 70 | 21 | 20 | 101k|2224 | 0.000000e+00 | -- | Inf
135.76/135.80 c 125s|280000 |106289 |927334 | 3.3 | 73M| 63 | - | 70 |2642 | 70 | 21 | 20 | 106k|2267 | 0.000000e+00 | -- | Inf
140.77/140.87 c 130s|290000 |109635 |960290 | 3.3 | 76M| 63 | 8 | 70 |2440 | 70 | 21 | 20 | 110k|2300 | 0.000000e+00 | -- | Inf
145.85/145.91 c 134s|300000 |113046 |992248 | 3.3 | 78M| 63 | 8 | 70 |2429 | 70 | 21 | 20 | 114k|2326 | 0.000000e+00 | -- | Inf
150.75/150.89 c 139s|310000 |116579 | 1025k| 3.3 | 81M| 63 | - | 70 |2498 | 0 | 0 | 20 | 118k|2350 | 0.000000e+00 | -- | Inf
155.85/155.98 c 144s|320000 |119825 | 1058k| 3.3 | 83M| 63 | 8 | 70 |2571 | 70 | 21 | 20 | 122k|2379 | 0.000000e+00 | -- | Inf
160.95/161.04 c 148s|330000 |123077 | 1091k| 3.3 | 86M| 63 | - | 70 |3037 | 70 | 21 | 20 | 126k|2408 | 0.000000e+00 | -- | Inf
166.06/166.11 c 153s|340000 |126482 | 1124k| 3.3 | 88M| 63 | - | 70 |3125 | 70 | 21 | 20 | 130k|2437 | 0.000000e+00 | -- | Inf
171.05/171.19 c 158s|350000 |129824 | 1156k| 3.3 | 91M| 63 | 8 | 70 |3291 | 70 | 21 | 20 | 134k|2465 | 0.000000e+00 | -- | Inf
175.95/176.09 c 162s|360000 |133642 | 1188k| 3.3 | 93M| 63 | 8 | 70 |3432 | 70 | 21 | 20 | 138k|2485 | 0.000000e+00 | -- | Inf
181.14/181.28 c 167s|370000 |136979 | 1221k| 3.3 | 96M| 63 | 8 | 70 |2712 | 70 | 21 | 20 | 142k|2504 | 0.000000e+00 | -- | Inf
186.24/186.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
186.24/186.37 c 172s|380000 |140348 | 1255k| 3.3 | 98M| 63 | - | 70 |3073 | 70 | 21 | 20 | 146k|2530 | 0.000000e+00 | -- | Inf
191.14/191.21 c 176s|390000 |144396 | 1287k| 3.3 | 101M| 63 | 8 | 70 |3826 | 70 | 21 | 20 | 150k|2545 | 0.000000e+00 | -- | Inf
196.44/196.55 c 181s|400000 |147474 | 1320k| 3.3 | 103M| 63 | - | 70 |3078 | 70 | 21 | 20 | 154k|2570 | 0.000000e+00 | -- | Inf
201.54/201.60 c 186s|410000 |150738 | 1351k| 3.3 | 106M| 63 | 8 | 70 |2982 | 70 | 21 | 20 | 158k|2584 | 0.000000e+00 | -- | Inf
206.74/206.86 c 191s|420000 |154011 | 1384k| 3.3 | 108M| 63 | 8 | 70 |2970 | 70 | 21 | 20 | 162k|2611 | 0.000000e+00 | -- | Inf
211.94/212.08 c 195s|430000 |157280 | 1417k| 3.3 | 111M| 63 | 8 | 70 |3123 | 70 | 21 | 20 | 166k|2633 | 0.000000e+00 | -- | Inf
217.33/217.43 c 200s|440000 |160226 | 1450k| 3.3 | 113M| 63 | 8 | 70 |2838 | 70 | 21 | 20 | 170k|2654 | 0.000000e+00 | -- | Inf
222.33/222.47 c 205s|450000 |163615 | 1483k| 3.3 | 116M| 63 | 8 | 70 |3277 | 70 | 21 | 20 | 175k|2675 | 0.000000e+00 | -- | Inf
227.54/227.67 c 210s|460000 |166912 | 1515k| 3.3 | 118M| 63 | 8 | 70 |2972 | 70 | 21 | 20 | 179k|2704 | 0.000000e+00 | -- | Inf
232.74/232.85 c 215s|470000 |170159 | 1548k| 3.3 | 120M| 63 | - | 70 |3372 | 70 | 21 | 20 | 183k|2721 | 0.000000e+00 | -- | Inf
238.03/238.12 c 220s|480000 |173137 | 1580k| 3.3 | 123M| 63 | 8 | 70 |3769 | 70 | 21 | 20 | 187k|2733 | 0.000000e+00 | -- | Inf
243.04/243.18 c 224s|490000 |176832 | 1613k| 3.3 | 126M| 63 | 8 | 70 |4138 | 70 | 21 | 20 | 191k|2747 | 0.000000e+00 | -- | Inf
248.33/248.49 c 229s|500000 |180121 | 1646k| 3.3 | 128M| 63 | 8 | 70 |4116 | 70 | 21 | 20 | 195k|2752 | 0.000000e+00 | -- | Inf
253.83/253.96 c 234s|510000 |183244 | 1678k| 3.3 | 130M| 63 | - | 70 |3100 | 70 | 21 | 20 | 199k|2770 | 0.000000e+00 | -- | Inf
259.33/259.41 c 239s|520000 |186157 | 1711k| 3.3 | 133M| 63 | 8 | 70 |2810 | 70 | 21 | 20 | 204k|2780 | 0.000000e+00 | -- | Inf
264.52/264.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
264.52/264.64 c 244s|530000 |189232 | 1743k| 3.3 | 135M| 63 | 8 | 70 |3015 | 70 | 21 | 20 | 208k|2800 | 0.000000e+00 | -- | Inf
269.72/269.84 c 249s|540000 |192483 | 1776k| 3.3 | 138M| 63 | 8 | 70 |3188 | 70 | 21 | 20 | 212k|2815 | 0.000000e+00 | -- | Inf
274.83/274.92 c 254s|550000 |195799 | 1809k| 3.3 | 140M| 63 | 8 | 70 |3482 | 70 | 21 | 20 | 216k|2833 | 0.000000e+00 | -- | Inf
280.12/280.26 c 259s|560000 |198903 | 1841k| 3.3 | 142M| 63 | 8 | 70 |3021 | 70 | 21 | 20 | 220k|2853 | 0.000000e+00 | -- | Inf
285.52/285.60 c 264s|570000 |201950 | 1873k| 3.3 | 145M| 63 | - | 70 |3092 | 70 | 21 | 20 | 225k|2867 | 0.000000e+00 | -- | Inf
290.82/290.91 c 269s|580000 |205005 | 1906k| 3.3 | 147M| 63 | 8 | 70 |3611 | 70 | 21 | 20 | 229k|2879 | 0.000000e+00 | -- | Inf
296.22/296.34 c 274s|590000 |207933 | 1939k| 3.3 | 150M| 63 | 8 | 70 |3453 | 70 | 21 | 20 | 233k|2898 | 0.000000e+00 | -- | Inf
301.52/301.68 c 279s|600000 |211204 | 1971k| 3.3 | 152M| 63 | 8 | 70 |3050 | 70 | 21 | 20 | 237k|2912 | 0.000000e+00 | -- | Inf
306.31/306.45 c 283s|610000 |214950 | 2005k| 3.3 | 155M| 63 | 8 | 70 |4899 | 70 | 21 | 20 | 241k|2923 | 0.000000e+00 | -- | Inf
311.71/311.89 c 288s|620000 |218046 | 2037k| 3.3 | 157M| 63 | 8 | 70 |3786 | 70 | 21 | 20 | 245k|2937 | 0.000000e+00 | -- | Inf
317.21/317.39 c 293s|630000 |221152 | 2070k| 3.3 | 160M| 63 | 8 | 70 |3291 | 70 | 21 | 20 | 250k|2953 | 0.000000e+00 | -- | Inf
322.60/322.78 c 298s|640000 |224214 | 2102k| 3.3 | 162M| 63 | 8 | 70 |3182 | 70 | 21 | 20 | 254k|2967 | 0.000000e+00 | -- | Inf
327.80/327.95 c 303s|650000 |227704 | 2135k| 3.3 | 165M| 63 | 8 | 70 |3438 | 70 | 21 | 20 | 258k|2982 | 0.000000e+00 | -- | Inf
333.41/333.53 c 308s|660000 |230501 | 2168k| 3.3 | 167M| 63 | - | 70 |3251 | 70 | 21 | 20 | 262k|2991 | 0.000000e+00 | -- | Inf
338.80/338.91 c 313s|670000 |233574 | 2200k| 3.3 | 169M| 63 | 8 | 70 |3163 | 70 | 21 | 20 | 267k|3006 | 0.000000e+00 | -- | Inf
344.21/344.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
344.21/344.40 c 318s|680000 |236704 | 2233k| 3.3 | 172M| 63 | 8 | 70 |3135 | 70 | 21 | 20 | 271k|3022 | 0.000000e+00 | -- | Inf
349.70/349.82 c 323s|690000 |239857 | 2265k| 3.3 | 174M| 63 | 8 | 70 |2836 | 70 | 21 | 20 | 275k|3038 | 0.000000e+00 | -- | Inf
355.00/355.11 c 328s|700000 |242961 | 2299k| 3.3 | 177M| 63 | 8 | 70 |3317 | 70 | 21 | 20 | 279k|3057 | 0.000000e+00 | -- | Inf
360.00/360.19 c 333s|710000 |246471 | 2330k| 3.3 | 179M| 63 | 8 | 70 |3883 | 70 | 21 | 20 | 283k|3077 | 0.000000e+00 | -- | Inf
365.30/365.49 c 338s|720000 |249672 | 2363k| 3.3 | 182M| 63 | - | 70 |4206 | 70 | 21 | 20 | 287k|3094 | 0.000000e+00 | -- | Inf
370.60/370.79 c 343s|730000 |252861 | 2396k| 3.3 | 184M| 63 | - | 70 |5227 | 70 | 21 | 20 | 292k|3100 | 0.000000e+00 | -- | Inf
376.39/376.50 c 348s|740000 |256043 | 2429k| 3.3 | 186M| 63 | 8 | 70 |3589 | 70 | 21 | 20 | 296k|3109 | 0.000000e+00 | -- | Inf
381.99/382.15 c 353s|750000 |258775 | 2462k| 3.3 | 189M| 63 | 8 | 70 |3422 | 70 | 21 | 20 | 300k|3123 | 0.000000e+00 | -- | Inf
387.39/387.56 c 358s|760000 |261762 | 2495k| 3.3 | 191M| 63 | 8 | 70 |3352 | 70 | 21 | 20 | 305k|3132 | 0.000000e+00 | -- | Inf
392.89/393.00 c 363s|770000 |264717 | 2527k| 3.3 | 194M| 63 | 8 | 70 |3280 | 70 | 21 | 20 | 309k|3134 | 0.000000e+00 | -- | Inf
398.19/398.38 c 368s|780000 |267715 | 2560k| 3.3 | 196M| 63 | 8 | 70 |3434 | 70 | 21 | 20 | 313k|3134 | 0.000000e+00 | -- | Inf
403.79/403.95 c 374s|790000 |270701 | 2592k| 3.3 | 198M| 63 | 8 | 70 |3298 | 70 | 21 | 20 | 317k|3141 | 0.000000e+00 | -- | Inf
408.78/408.99 c 378s|800000 |274156 | 2624k| 3.3 | 201M| 63 | 8 | 70 |3749 | 70 | 21 | 20 | 321k|3145 | 0.000000e+00 | -- | Inf
414.38/414.57 c 383s|810000 |277355 | 2656k| 3.3 | 203M| 63 | - | 70 |3139 | 70 | 21 | 20 | 326k|3147 | 0.000000e+00 | -- | Inf
419.59/419.77 c 388s|820000 |280532 | 2688k| 3.3 | 206M| 63 | 8 | 70 |3754 | 70 | 21 | 20 | 330k|3153 | 0.000000e+00 | -- | Inf
424.98/425.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
424.98/425.14 c 393s|830000 |283826 | 2720k| 3.3 | 208M| 63 | 8 | 70 |3825 | 70 | 21 | 20 | 334k|3162 | 0.000000e+00 | -- | Inf
430.58/430.70 c 398s|840000 |287031 | 2753k| 3.3 | 211M| 63 | - | 70 |3680 | 70 | 21 | 20 | 338k|3177 | 0.000000e+00 | -- | Inf
435.97/436.18 c 403s|850000 |290117 | 2786k| 3.3 | 213M| 63 | 8 | 70 |3543 | 70 | 21 | 20 | 342k|3185 | 0.000000e+00 | -- | Inf
441.37/441.59 c 408s|860000 |293127 | 2818k| 3.3 | 215M| 63 | - | 70 |3603 | 70 | 21 | 20 | 347k|3196 | 0.000000e+00 | -- | Inf
446.67/446.85 c 413s|870000 |296359 | 2851k| 3.3 | 218M| 63 | 8 | 70 |4023 | 70 | 21 | 20 | 351k|3201 | 0.000000e+00 | -- | Inf
452.27/452.49 c 419s|880000 |299392 | 2884k| 3.3 | 220M| 63 | 8 | 70 |4058 | 70 | 21 | 20 | 355k|3207 | 0.000000e+00 | -- | Inf
457.87/458.05 c 424s|890000 |302531 | 2916k| 3.3 | 223M| 63 | 8 | 70 |4133 | 70 | 21 | 20 | 359k|3217 | 0.000000e+00 | -- | Inf
463.47/463.68 c 429s|900000 |305510 | 2948k| 3.3 | 225M| 63 | 8 | 70 |3907 | 70 | 21 | 20 | 364k|3227 | 0.000000e+00 | -- | Inf
468.97/469.17 c 434s|910000 |308664 | 2980k| 3.3 | 228M| 63 | 8 | 70 |3840 | 70 | 21 | 20 | 368k|3232 | 0.000000e+00 | -- | Inf
474.66/474.81 c 439s|920000 |311664 | 3013k| 3.3 | 230M| 63 | 8 | 70 |3302 | 70 | 21 | 20 | 372k|3232 | 0.000000e+00 | -- | Inf
480.07/480.20 c 444s|930000 |314621 | 3045k| 3.3 | 232M| 63 | 8 | 70 |3239 | 70 | 21 | 20 | 377k|3232 | 0.000000e+00 | -- | Inf
485.47/485.64 c 449s|940000 |317721 | 3078k| 3.3 | 235M| 63 | 8 | 70 |3525 | 70 | 21 | 20 | 381k|3232 | 0.000000e+00 | -- | Inf
490.96/491.17 c 454s|950000 |320785 | 3110k| 3.3 | 237M| 63 | 8 | 70 |3384 | 70 | 21 | 20 | 385k|3232 | 0.000000e+00 | -- | Inf
496.26/496.49 c 459s|960000 |323958 | 3141k| 3.3 | 240M| 63 | 8 | 70 |3442 | 70 | 21 | 20 | 389k|3232 | 0.000000e+00 | -- | Inf
501.86/502.01 c 465s|970000 |326945 | 3174k| 3.3 | 242M| 63 | 8 | 70 |3675 | 70 | 21 | 20 | 393k|3232 | 0.000000e+00 | -- | Inf
507.46/507.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
507.46/507.67 c 470s|980000 |329890 | 3206k| 3.3 | 244M| 63 | 8 | 70 |3503 | 70 | 21 | 20 | 398k|3232 | 0.000000e+00 | -- | Inf
512.96/513.14 c 475s|990000 |332916 | 3238k| 3.3 | 247M| 63 | - | 70 |3342 | 0 | 0 | 20 | 402k|3232 | 0.000000e+00 | -- | Inf
518.36/518.56 c 480s| 1000k|335950 | 3270k| 3.3 | 249M| 63 | 8 | 70 |3520 | 70 | 21 | 20 | 406k|3232 | 0.000000e+00 | -- | Inf
524.16/524.35 c 485s| 1010k|338663 | 3303k| 3.3 | 252M| 63 | - | 70 |3586 | 70 | 21 | 20 | 411k|3238 | 0.000000e+00 | -- | Inf
529.75/529.92 c 491s| 1020k|341559 | 3337k| 3.3 | 254M| 63 | 8 | 70 |3589 | 70 | 21 | 20 | 415k|3242 | 0.000000e+00 | -- | Inf
534.95/535.17 c 495s| 1030k|344767 | 3369k| 3.3 | 256M| 63 | 8 | 70 |3707 | 70 | 21 | 20 | 419k|3250 | 0.000000e+00 | -- | Inf
540.55/540.71 c 501s| 1040k|347845 | 3401k| 3.3 | 259M| 63 | - | 70 |3554 | 70 | 21 | 20 | 424k|3252 | 0.000000e+00 | -- | Inf
545.94/546.14 c 506s| 1050k|351007 | 3433k| 3.3 | 261M| 63 | 8 | 70 |3900 | 70 | 21 | 20 | 428k|3252 | 0.000000e+00 | -- | Inf
551.65/551.87 c 511s| 1060k|353881 | 3466k| 3.3 | 264M| 63 | 8 | 70 |3859 | 70 | 21 | 20 | 432k|3252 | 0.000000e+00 | -- | Inf
557.15/557.33 c 516s| 1070k|356852 | 3498k| 3.3 | 266M| 63 | - | 70 |4056 | 70 | 21 | 20 | 436k|3257 | 0.000000e+00 | -- | Inf
562.64/562.86 c 521s| 1080k|360010 | 3532k| 3.3 | 269M| 63 | 8 | 70 |4023 | 70 | 21 | 20 | 441k|3264 | 0.000000e+00 | -- | Inf
568.24/568.42 c 526s| 1090k|363039 | 3565k| 3.3 | 271M| 63 | 8 | 70 |4142 | 70 | 21 | 20 | 445k|3271 | 0.000000e+00 | -- | Inf
573.84/574.04 c 532s| 1100k|365958 | 3597k| 3.3 | 273M| 63 | 8 | 70 |3841 | 70 | 21 | 20 | 449k|3276 | 0.000000e+00 | -- | Inf
579.24/579.45 c 537s| 1110k|369234 | 3630k| 3.3 | 276M| 63 | 8 | 70 |4016 | 70 | 21 | 20 | 454k|3286 | 0.000000e+00 | -- | Inf
584.84/585.06 c 542s| 1120k|372355 | 3662k| 3.3 | 278M| 63 | 8 | 70 |3584 | 70 | 21 | 20 | 458k|3294 | 0.000000e+00 | -- | Inf
590.24/590.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
590.24/590.42 c 547s| 1130k|375568 | 3695k| 3.3 | 281M| 63 | - | 70 |3828 | 70 | 21 | 20 | 462k|3305 | 0.000000e+00 | -- | Inf
595.64/595.82 c 552s| 1140k|378653 | 3727k| 3.3 | 283M| 63 | - | 70 |4430 | 70 | 21 | 20 | 466k|3311 | 0.000000e+00 | -- | Inf
601.33/601.51 c 557s| 1150k|381681 | 3759k| 3.3 | 285M| 63 | 8 | 70 |4257 | 70 | 21 | 20 | 471k|3319 | 0.000000e+00 | -- | Inf
606.83/607.02 c 562s| 1160k|384794 | 3792k| 3.3 | 288M| 63 | - | 70 |4348 | 70 | 21 | 20 | 475k|3323 | 0.000000e+00 | -- | Inf
612.54/612.75 c 568s| 1170k|387814 | 3824k| 3.3 | 290M| 63 | 8 | 70 |4254 | 70 | 21 | 20 | 479k|3334 | 0.000000e+00 | -- | Inf
618.13/618.31 c 573s| 1180k|390792 | 3857k| 3.3 | 293M| 63 | 8 | 70 |4099 | 70 | 21 | 20 | 483k|3337 | 0.000000e+00 | -- | Inf
623.44/623.70 c 578s| 1190k|393954 | 3891k| 3.3 | 295M| 63 | 8 | 70 |4513 | 70 | 21 | 20 | 488k|3337 | 0.000000e+00 | -- | Inf
629.23/629.43 c 583s| 1200k|396928 | 3924k| 3.3 | 297M| 63 | 8 | 70 |4396 | 70 | 21 | 20 | 492k|3337 | 0.000000e+00 | -- | Inf
634.82/635.05 c 588s| 1210k|400028 | 3956k| 3.3 | 300M| 63 | - | 70 |4352 | 70 | 21 | 20 | 496k|3337 | 0.000000e+00 | -- | Inf
640.52/640.76 c 594s| 1220k|402854 | 3989k| 3.3 | 302M| 63 | 8 | 70 |4199 | 70 | 21 | 20 | 501k|3337 | 0.000000e+00 | -- | Inf
646.22/646.49 c 599s| 1230k|405874 | 4021k| 3.3 | 304M| 63 | 8 | 70 |3843 | 70 | 21 | 20 | 505k|3340 | 0.000000e+00 | -- | Inf
651.82/652.01 c 604s| 1240k|408838 | 4054k| 3.3 | 307M| 63 | 8 | 70 |4304 | 70 | 21 | 20 | 509k|3345 | 0.000000e+00 | -- | Inf
657.63/657.83 c 610s| 1250k|411639 | 4086k| 3.3 | 309M| 63 | 8 | 70 |3829 | 70 | 21 | 20 | 514k|3351 | 0.000000e+00 | -- | Inf
663.22/663.50 c 615s| 1260k|414435 | 4119k| 3.3 | 312M| 63 | 8 | 70 |3985 | 70 | 21 | 20 | 518k|3357 | 0.000000e+00 | -- | Inf
668.91/669.19 c 620s| 1270k|417299 | 4152k| 3.3 | 314M| 63 | 8 | 70 |4341 | 70 | 21 | 20 | 522k|3364 | 0.000000e+00 | -- | Inf
674.52/674.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
674.52/674.74 c 625s| 1280k|420476 | 4184k| 3.3 | 316M| 63 | 8 | 70 |3840 | 70 | 21 | 20 | 527k|3373 | 0.000000e+00 | -- | Inf
680.12/680.38 c 631s| 1290k|423441 | 4217k| 3.3 | 319M| 63 | 8 | 70 |3931 | 70 | 21 | 20 | 531k|3378 | 0.000000e+00 | -- | Inf
685.62/685.84 c 636s| 1300k|426522 | 4249k| 3.3 | 321M| 63 | - | 70 |4312 | 70 | 21 | 20 | 535k|3383 | 0.000000e+00 | -- | Inf
691.21/691.47 c 641s| 1310k|429499 | 4281k| 3.3 | 324M| 63 | 8 | 70 |4525 | 70 | 21 | 20 | 539k|3390 | 0.000000e+00 | -- | Inf
696.81/697.06 c 646s| 1320k|432617 | 4314k| 3.3 | 326M| 63 | - | 70 |4217 | 0 | 0 | 20 | 544k|3400 | 0.000000e+00 | -- | Inf
702.72/702.93 c 652s| 1330k|435350 | 4346k| 3.3 | 328M| 63 | 8 | 70 |4026 | 70 | 21 | 20 | 548k|3408 | 0.000000e+00 | -- | Inf
708.00/708.27 c 656s| 1340k|438711 | 4379k| 3.3 | 331M| 63 | 8 | 70 |5210 | 70 | 21 | 20 | 552k|3423 | 0.000000e+00 | -- | Inf
713.80/714.05 c 662s| 1350k|441792 | 4412k| 3.3 | 333M| 63 | - | 70 |4879 | 70 | 21 | 20 | 557k|3430 | 0.000000e+00 | -- | Inf
719.80/720.05 c 667s| 1360k|444581 | 4445k| 3.3 | 336M| 63 | 8 | 70 |3964 | 70 | 21 | 20 | 561k|3430 | 0.000000e+00 | -- | Inf
725.20/725.44 c 672s| 1370k|447713 | 4479k| 3.3 | 338M| 63 | 8 | 70 |4836 | 70 | 21 | 20 | 565k|3430 | 0.000000e+00 | -- | Inf
731.10/731.30 c 678s| 1380k|450748 | 4512k| 3.3 | 341M| 63 | - | 70 |4179 | 70 | 21 | 20 | 569k|3430 | 0.000000e+00 | -- | Inf
736.60/736.88 c 683s| 1390k|453826 | 4544k| 3.3 | 343M| 63 | 8 | 70 |4208 | 70 | 21 | 20 | 574k|3430 | 0.000000e+00 | -- | Inf
742.39/742.63 c 688s| 1400k|456691 | 4576k| 3.3 | 345M| 63 | - | 70 |4119 | 70 | 21 | 20 | 578k|3437 | 0.000000e+00 | -- | Inf
748.09/748.36 c 694s| 1410k|459611 | 4608k| 3.3 | 348M| 63 | 8 | 70 |4271 | 70 | 21 | 20 | 582k|3442 | 0.000000e+00 | -- | Inf
753.79/754.08 c 699s| 1420k|462414 | 4640k| 3.3 | 350M| 63 | 8 | 70 |3601 | 70 | 21 | 20 | 587k|3446 | 0.000000e+00 | -- | Inf
759.49/759.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
759.49/759.78 c 704s| 1430k|465389 | 4673k| 3.3 | 352M| 63 | - | 70 |3296 | 70 | 21 | 20 | 591k|3453 | 0.000000e+00 | -- | Inf
765.09/765.33 c 710s| 1440k|468254 | 4705k| 3.3 | 355M| 63 | 8 | 70 |3578 | 70 | 21 | 20 | 596k|3464 | 0.000000e+00 | -- | Inf
770.90/771.11 c 715s| 1450k|471053 | 4737k| 3.3 | 357M| 63 | 8 | 70 |3648 | 70 | 21 | 20 | 600k|3476 | 0.000000e+00 | -- | Inf
776.49/776.75 c 720s| 1460k|474117 | 4770k| 3.3 | 359M| 63 | 8 | 70 |3657 | 70 | 21 | 20 | 604k|3487 | 0.000000e+00 | -- | Inf
781.89/782.14 c 725s| 1470k|477175 | 4802k| 3.3 | 362M| 63 | 8 | 70 |4527 | 70 | 21 | 20 | 608k|3496 | 0.000000e+00 | -- | Inf
787.79/788.02 c 731s| 1480k|480157 | 4835k| 3.3 | 364M| 63 | 8 | 70 |4124 | 70 | 21 | 20 | 613k|3503 | 0.000000e+00 | -- | Inf
793.19/793.42 c 736s| 1490k|483270 | 4867k| 3.3 | 367M| 63 | 8 | 70 |4708 | 70 | 21 | 20 | 617k|3516 | 0.000000e+00 | -- | Inf
798.98/799.21 c 741s| 1500k|486133 | 4900k| 3.3 | 369M| 63 | 8 | 70 |4336 | 70 | 21 | 20 | 621k|3519 | 0.000000e+00 | -- | Inf
804.48/804.77 c 746s| 1510k|489220 | 4932k| 3.3 | 372M| 63 | 8 | 70 |4256 | 70 | 21 | 20 | 626k|3523 | 0.000000e+00 | -- | Inf
810.28/810.50 c 752s| 1520k|492055 | 4965k| 3.3 | 374M| 63 | 8 | 70 |4356 | 70 | 21 | 20 | 630k|3531 | 0.000000e+00 | -- | Inf
815.98/816.26 c 757s| 1530k|494794 | 4998k| 3.3 | 376M| 63 | - | 70 |4051 | 0 | 0 | 20 | 634k|3536 | 0.000000e+00 | -- | Inf
821.78/822.03 c 762s| 1540k|497566 | 5030k| 3.3 | 379M| 63 | 8 | 70 |3968 | 70 | 21 | 20 | 639k|3550 | 0.000000e+00 | -- | Inf
827.28/827.54 c 768s| 1550k|500551 | 5062k| 3.3 | 381M| 63 | 8 | 70 |4446 | 70 | 21 | 20 | 643k|3558 | 0.000000e+00 | -- | Inf
833.28/833.52 c 773s| 1560k|503451 | 5094k| 3.3 | 383M| 63 | 8 | 70 |3623 | 70 | 21 | 20 | 647k|3570 | 0.000000e+00 | -- | Inf
838.87/839.20 c 778s| 1570k|506274 | 5126k| 3.3 | 386M| 63 | 8 | 70 |3867 | 70 | 21 | 20 | 652k|3574 | 0.000000e+00 | -- | Inf
844.66/844.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
844.66/844.94 c 784s| 1580k|509106 | 5158k| 3.3 | 388M| 63 | 8 | 70 |3968 | 70 | 21 | 20 | 656k|3580 | 0.000000e+00 | -- | Inf
850.27/850.54 c 789s| 1590k|512044 | 5191k| 3.3 | 391M| 63 | 8 | 70 |4402 | 70 | 21 | 20 | 660k|3587 | 0.000000e+00 | -- | Inf
855.96/856.22 c 794s| 1600k|515124 | 5222k| 3.3 | 393M| 63 | 8 | 70 |4218 | 70 | 21 | 20 | 665k|3592 | 0.000000e+00 | -- | Inf
861.76/862.02 c 800s| 1610k|518005 | 5253k| 3.3 | 395M| 63 | 8 | 70 |3970 | 70 | 21 | 20 | 669k|3596 | 0.000000e+00 | -- | Inf
867.46/867.78 c 805s| 1620k|520910 | 5286k| 3.3 | 398M| 63 | - | 70 |4289 | 70 | 21 | 20 | 673k|3602 | 0.000000e+00 | -- | Inf
872.86/873.11 c 810s| 1630k|524533 | 5318k| 3.3 | 400M| 63 | 8 | 70 |4902 | 70 | 21 | 20 | 677k|3616 | 0.000000e+00 | -- | Inf
878.46/878.74 c 815s| 1640k|527766 | 5349k| 3.3 | 403M| 63 | 8 | 70 |4836 | 70 | 21 | 20 | 682k|3624 | 0.000000e+00 | -- | Inf
884.46/884.78 c 821s| 1650k|530394 | 5381k| 3.3 | 405M| 63 | 8 | 70 |4178 | 70 | 21 | 20 | 686k|3630 | 0.000000e+00 | -- | Inf
890.16/890.47 c 826s| 1660k|533210 | 5414k| 3.3 | 408M| 63 | - | 70 |4489 | 70 | 21 | 20 | 690k|3640 | 0.000000e+00 | -- | Inf
895.66/895.95 c 831s| 1670k|536287 | 5447k| 3.3 | 410M| 63 | 8 | 70 |5023 | 70 | 21 | 20 | 695k|3647 | 0.000000e+00 | -- | Inf
901.56/901.83 c 837s| 1680k|539021 | 5479k| 3.3 | 412M| 63 | 8 | 70 |4010 | 70 | 21 | 20 | 699k|3648 | 0.000000e+00 | -- | Inf
907.35/907.68 c 842s| 1690k|541775 | 5511k| 3.3 | 415M| 63 | 8 | 70 |3881 | 70 | 21 | 20 | 703k|3651 | 0.000000e+00 | -- | Inf
912.76/913.01 c 847s| 1700k|545107 | 5543k| 3.3 | 417M| 63 | 8 | 70 |4866 | 70 | 21 | 20 | 708k|3656 | 0.000000e+00 | -- | Inf
917.95/918.26 c 852s| 1710k|548315 | 5576k| 3.3 | 420M| 63 | 8 | 70 |6119 | 70 | 21 | 20 | 712k|3664 | 0.000000e+00 | -- | Inf
923.95/924.23 c 858s| 1720k|551311 | 5608k| 3.3 | 422M| 63 | - | 70 |5103 | 70 | 21 | 20 | 716k|3669 | 0.000000e+00 | -- | Inf
930.14/930.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
930.14/930.46 c 864s| 1730k|554003 | 5641k| 3.3 | 424M| 63 | - | 70 |3995 | 70 | 21 | 20 | 720k|3673 | 0.000000e+00 | -- | Inf
935.86/936.19 c 869s| 1740k|556917 | 5673k| 3.3 | 427M| 63 | 8 | 70 |3886 | 70 | 21 | 20 | 725k|3678 | 0.000000e+00 | -- | Inf
941.54/941.83 c 874s| 1750k|559852 | 5705k| 3.3 | 429M| 63 | 8 | 70 |3965 | 70 | 21 | 20 | 729k|3684 | 0.000000e+00 | -- | Inf
947.04/947.33 c 879s| 1760k|562917 | 5737k| 3.3 | 432M| 63 | 8 | 70 |4826 | 70 | 21 | 20 | 734k|3692 | 0.000000e+00 | -- | Inf
952.84/953.11 c 885s| 1770k|565708 | 5769k| 3.3 | 434M| 63 | 8 | 70 |4180 | 70 | 21 | 20 | 738k|3702 | 0.000000e+00 | -- | Inf
958.54/958.82 c 890s| 1780k|568678 | 5802k| 3.3 | 436M| 63 | 8 | 70 |4078 | 70 | 21 | 20 | 742k|3707 | 0.000000e+00 | -- | Inf
964.35/964.61 c 895s| 1790k|571554 | 5833k| 3.3 | 439M| 63 | 8 | 70 |3786 | 70 | 21 | 20 | 747k|3714 | 0.000000e+00 | -- | Inf
969.84/970.10 c 900s| 1800k|574646 | 5865k| 3.3 | 441M| 63 | 8 | 70 |4336 | 70 | 21 | 20 | 751k|3717 | 0.000000e+00 | -- | Inf
975.54/975.80 c 906s| 1810k|577662 | 5896k| 3.3 | 443M| 63 | 8 | 70 |3965 | 70 | 21 | 20 | 755k|3724 | 0.000000e+00 | -- | Inf
980.84/981.12 c 911s| 1820k|580755 | 5928k| 3.3 | 446M| 63 | - | 70 |4385 | 70 | 21 | 20 | 760k|3728 | 0.000000e+00 | -- | Inf
986.53/986.84 c 916s| 1830k|583708 | 5959k| 3.3 | 448M| 63 | - | 70 |4199 | 70 | 21 | 20 | 764k|3742 | 0.000000e+00 | -- | Inf
992.13/992.43 c 921s| 1840k|586755 | 5991k| 3.3 | 451M| 63 | 8 | 70 |4810 | 70 | 21 | 20 | 768k|3748 | 0.000000e+00 | -- | Inf
998.13/998.45 c 927s| 1850k|589426 | 6023k| 3.3 | 453M| 63 | 8 | 70 |4067 | 70 | 21 | 20 | 773k|3756 | 0.000000e+00 | -- | Inf
1003.63/1003.94 c 932s| 1860k|592453 | 6055k| 3.3 | 455M| 63 | - | 70 |4320 | 70 | 21 | 20 | 777k|3761 | 0.000000e+00 | -- | Inf
1009.33/1009.70 c 937s| 1870k|595309 | 6086k| 3.3 | 458M| 63 | 8 | 70 |4317 | 70 | 21 | 20 | 781k|3771 | 0.000000e+00 | -- | Inf
1015.23/1015.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1015.23/1015.50 c 943s| 1880k|598307 | 6119k| 3.3 | 460M| 63 | 8 | 70 |4163 | 70 | 21 | 20 | 786k|3778 | 0.000000e+00 | -- | Inf
1020.92/1021.20 c 948s| 1890k|601106 | 6152k| 3.3 | 463M| 63 | - | 70 |4706 | 70 | 21 | 20 | 790k|3781 | 0.000000e+00 | -- | Inf
1026.53/1026.87 c 953s| 1900k|604015 | 6184k| 3.3 | 465M| 63 | - | 70 |4625 | 70 | 21 | 20 | 794k|3781 | 0.000000e+00 | -- | Inf
1032.32/1032.64 c 959s| 1910k|606907 | 6216k| 3.3 | 467M| 63 | - | 70 |4319 | 70 | 21 | 20 | 799k|3781 | 0.000000e+00 | -- | Inf
1038.22/1038.59 c 964s| 1920k|609650 | 6249k| 3.3 | 470M| 63 | 8 | 70 |4203 | 70 | 21 | 20 | 803k|3782 | 0.000000e+00 | -- | Inf
1043.81/1044.18 c 970s| 1930k|612704 | 6282k| 3.3 | 472M| 63 | 8 | 70 |4815 | 70 | 21 | 20 | 807k|3786 | 0.000000e+00 | -- | Inf
1049.62/1049.95 c 975s| 1940k|615639 | 6315k| 3.3 | 474M| 63 | - | 70 |4202 | 70 | 21 | 20 | 812k|3791 | 0.000000e+00 | -- | Inf
1055.52/1055.87 c 980s| 1950k|618363 | 6348k| 3.3 | 477M| 63 | 8 | 70 |4091 | 70 | 21 | 20 | 816k|3795 | 0.000000e+00 | -- | Inf
1061.12/1061.43 c 986s| 1960k|621303 | 6380k| 3.3 | 479M| 63 | 8 | 70 |4512 | 70 | 21 | 20 | 821k|3795 | 0.000000e+00 | -- | Inf
1066.91/1067.23 c 991s| 1970k|624106 | 6412k| 3.3 | 482M| 63 | 8 | 70 |4604 | 70 | 21 | 20 | 825k|3799 | 0.000000e+00 | -- | Inf
1072.71/1073.02 c 996s| 1980k|626925 | 6444k| 3.3 | 484M| 63 | - | 70 |4028 | 70 | 21 | 20 | 829k|3806 | 0.000000e+00 | -- | Inf
1078.41/1078.71 c 1002s| 1990k|629912 | 6477k| 3.3 | 486M| 63 | - | 70 |4323 | 70 | 21 | 20 | 834k|3806 | 0.000000e+00 | -- | Inf
1084.00/1084.39 c 1007s| 2000k|632947 | 6509k| 3.3 | 489M| 63 | - | 70 |4751 | 70 | 21 | 20 | 838k|3811 | 0.000000e+00 | -- | Inf
1089.91/1090.28 c 1013s| 2010k|635885 | 6540k| 3.3 | 491M| 63 | - | 70 |4645 | 70 | 21 | 20 | 842k|3819 | 0.000000e+00 | -- | Inf
1096.01/1096.30 c 1018s| 2020k|638611 | 6572k| 3.3 | 493M| 63 | - | 70 |3994 | 70 | 21 | 20 | 847k|3825 | 0.000000e+00 | -- | Inf
1101.50/1101.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1101.50/1101.84 c 1023s| 2030k|641543 | 6605k| 3.3 | 496M| 63 | 8 | 70 |4535 | 70 | 21 | 20 | 851k|3828 | 0.000000e+00 | -- | Inf
1107.20/1107.60 c 1029s| 2040k|644366 | 6637k| 3.3 | 498M| 63 | 8 | 70 |4636 | 70 | 21 | 20 | 856k|3834 | 0.000000e+00 | -- | Inf
1113.10/1113.48 c 1034s| 2050k|647267 | 6670k| 3.3 | 501M| 63 | 8 | 70 |4330 | 70 | 21 | 20 | 860k|3840 | 0.000000e+00 | -- | Inf
1119.00/1119.33 c 1040s| 2060k|650228 | 6702k| 3.3 | 503M| 63 | - | 70 |4262 | 70 | 21 | 20 | 864k|3845 | 0.000000e+00 | -- | Inf
1124.50/1124.88 c 1045s| 2070k|653244 | 6734k| 3.3 | 506M| 63 | - | 70 |4887 | 70 | 21 | 20 | 869k|3849 | 0.000000e+00 | -- | Inf
1130.40/1130.76 c 1050s| 2080k|656042 | 6766k| 3.3 | 508M| 63 | - | 70 |4191 | 70 | 21 | 20 | 873k|3853 | 0.000000e+00 | -- | Inf
1136.19/1136.58 c 1056s| 2090k|658794 | 6798k| 3.3 | 510M| 63 | - | 70 |4505 | 70 | 21 | 20 | 878k|3863 | 0.000000e+00 | -- | Inf
1141.99/1142.34 c 1061s| 2100k|661590 | 6831k| 3.3 | 513M| 63 | 8 | 70 |4797 | 70 | 21 | 20 | 882k|3870 | 0.000000e+00 | -- | Inf
1147.89/1148.25 c 1067s| 2110k|664560 | 6863k| 3.3 | 515M| 63 | - | 70 |4609 | 70 | 21 | 20 | 886k|3873 | 0.000000e+00 | -- | Inf
1153.69/1154.06 c 1072s| 2120k|667464 | 6895k| 3.3 | 518M| 63 | 8 | 70 |4747 | 70 | 21 | 20 | 891k|3878 | 0.000000e+00 | -- | Inf
1159.59/1159.92 c 1078s| 2130k|670409 | 6928k| 3.3 | 520M| 63 | 8 | 70 |4665 | 70 | 21 | 20 | 895k|3881 | 0.000000e+00 | -- | Inf
1165.39/1165.79 c 1083s| 2140k|673339 | 6960k| 3.3 | 522M| 63 | 8 | 70 |4140 | 70 | 21 | 20 | 899k|3885 | 0.000000e+00 | -- | Inf
1170.99/1171.35 c 1088s| 2150k|676399 | 6992k| 3.3 | 525M| 63 | - | 70 |4839 | 0 | 0 | 20 | 904k|3888 | 0.000000e+00 | -- | Inf
1176.48/1176.83 c 1093s| 2160k|679437 | 7023k| 3.3 | 527M| 63 | 8 | 70 |5717 | 70 | 21 | 20 | 908k|3897 | 0.000000e+00 | -- | Inf
1182.68/1183.08 c 1099s| 2170k|682167 | 7055k| 3.3 | 530M| 63 | - | 70 |4763 | 0 | 0 | 20 | 912k|3904 | 0.000000e+00 | -- | Inf
1188.48/1188.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1188.48/1188.80 c 1105s| 2180k|685213 | 7088k| 3.3 | 532M| 63 | - | 70 |4968 | 70 | 21 | 20 | 917k|3910 | 0.000000e+00 | -- | Inf
1194.38/1194.72 c 1110s| 2190k|688171 | 7120k| 3.3 | 534M| 63 | 8 | 70 |4715 | 70 | 21 | 20 | 921k|3914 | 0.000000e+00 | -- | Inf
1200.38/1200.71 c 1116s| 2200k|691019 | 7152k| 3.3 | 537M| 63 | 8 | 70 |4150 | 70 | 21 | 20 | 925k|3918 | 0.000000e+00 | -- | Inf
1206.17/1206.52 c 1121s| 2210k|693815 | 7184k| 3.3 | 539M| 63 | - | 70 |4828 | 70 | 21 | 20 | 930k|3927 | 0.000000e+00 | -- | Inf
1212.07/1212.41 c 1126s| 2220k|696893 | 7216k| 3.3 | 542M| 63 | 8 | 70 |5466 | 70 | 21 | 20 | 934k|3930 | 0.000000e+00 | -- | Inf
1218.08/1218.44 c 1132s| 2230k|699777 | 7248k| 3.3 | 544M| 63 | 8 | 70 |4923 | 70 | 21 | 20 | 938k|3932 | 0.000000e+00 | -- | Inf
1224.17/1224.51 c 1138s| 2240k|702388 | 7281k| 3.3 | 546M| 63 | 8 | 70 |4504 | 70 | 21 | 20 | 943k|3937 | 0.000000e+00 | -- | Inf
1230.37/1230.74 c 1144s| 2250k|704924 | 7313k| 3.3 | 549M| 63 | 8 | 70 |4537 | 70 | 21 | 20 | 947k|3942 | 0.000000e+00 | -- | Inf
1236.37/1236.71 c 1149s| 2260k|707626 | 7345k| 3.3 | 551M| 63 | - | 70 |4257 | 70 | 21 | 20 | 952k|3949 | 0.000000e+00 | -- | Inf
1241.86/1242.26 c 1154s| 2270k|710722 | 7377k| 3.2 | 553M| 63 | - | 70 |4436 | 70 | 21 | 20 | 956k|3954 | 0.000000e+00 | -- | Inf
1247.46/1247.81 c 1160s| 2280k|713772 | 7409k| 3.2 | 556M| 63 | 8 | 70 |5339 | 70 | 21 | 20 | 960k|3959 | 0.000000e+00 | -- | Inf
1253.16/1253.52 c 1165s| 2290k|716863 | 7442k| 3.2 | 558M| 63 | 8 | 70 |5099 | 70 | 21 | 20 | 964k|3962 | 0.000000e+00 | -- | Inf
1259.07/1259.48 c 1171s| 2300k|719727 | 7474k| 3.2 | 560M| 63 | 8 | 70 |4624 | 70 | 21 | 20 | 969k|3965 | 0.000000e+00 | -- | Inf
1264.86/1265.26 c 1176s| 2310k|722705 | 7505k| 3.2 | 563M| 63 | 8 | 70 |4514 | 70 | 21 | 20 | 973k|3971 | 0.000000e+00 | -- | Inf
1270.26/1270.68 c 1181s| 2320k|725923 | 7537k| 3.2 | 566M| 63 | 8 | 70 |5736 | 70 | 21 | 20 | 977k|3977 | 0.000000e+00 | -- | Inf
1276.05/1276.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1276.05/1276.42 c 1186s| 2330k|729055 | 7569k| 3.2 | 568M| 63 | - | 70 |5188 | 70 | 21 | 20 | 981k|3981 | 0.000000e+00 | -- | Inf
1282.05/1282.41 c 1192s| 2340k|731865 | 7600k| 3.2 | 570M| 63 | - | 70 |4693 | 70 | 21 | 20 | 986k|3986 | 0.000000e+00 | -- | Inf
1287.66/1288.08 c 1197s| 2350k|734984 | 7632k| 3.2 | 573M| 63 | 8 | 70 |5033 | 70 | 21 | 20 | 990k|3995 | 0.000000e+00 | -- | Inf
1293.45/1293.82 c 1203s| 2360k|737691 | 7664k| 3.2 | 575M| 63 | - | 70 |5781 | 70 | 21 | 20 | 995k|3998 | 0.000000e+00 | -- | Inf
1299.65/1300.09 c 1208s| 2370k|740441 | 7696k| 3.2 | 577M| 63 | - | 70 |4700 | 70 | 21 | 20 | 999k|4005 | 0.000000e+00 | -- | Inf
1305.55/1305.99 c 1214s| 2380k|743214 | 7728k| 3.2 | 579M| 63 | 8 | 70 |4551 | 70 | 21 | 20 |1003k|4009 | 0.000000e+00 | -- | Inf
1311.14/1311.51 c 1219s| 2390k|746289 | 7760k| 3.2 | 582M| 63 | 8 | 70 |5574 | 70 | 21 | 20 |1008k|4011 | 0.000000e+00 | -- | Inf
1317.25/1317.69 c 1225s| 2400k|749312 | 7792k| 3.2 | 584M| 63 | 8 | 70 |3934 | 70 | 21 | 20 |1012k|4014 | 0.000000e+00 | -- | Inf
1323.05/1323.48 c 1230s| 2410k|752138 | 7824k| 3.2 | 587M| 63 | 8 | 70 |4033 | 70 | 21 | 20 |1016k|4017 | 0.000000e+00 | -- | Inf
1328.84/1329.26 c 1236s| 2420k|755110 | 7856k| 3.2 | 589M| 63 | 8 | 70 |3968 | 70 | 21 | 20 |1021k|4024 | 0.000000e+00 | -- | Inf
1334.44/1334.81 c 1241s| 2430k|758250 | 7888k| 3.2 | 591M| 63 | 8 | 70 |4366 | 70 | 21 | 20 |1025k|4031 | 0.000000e+00 | -- | Inf
1340.14/1340.56 c 1246s| 2440k|761232 | 7921k| 3.2 | 594M| 63 | 8 | 70 |4529 | 70 | 21 | 20 |1029k|4036 | 0.000000e+00 | -- | Inf
1346.05/1346.40 c 1252s| 2450k|764058 | 7954k| 3.2 | 596M| 63 | - | 70 |4853 | 70 | 21 | 20 |1034k|4043 | 0.000000e+00 | -- | Inf
1351.74/1352.18 c 1257s| 2460k|767221 | 7987k| 3.2 | 599M| 63 | 8 | 70 |5094 | 70 | 21 | 20 |1038k|4046 | 0.000000e+00 | -- | Inf
1357.84/1358.27 c 1263s| 2470k|769883 | 8018k| 3.2 | 601M| 63 | 8 | 70 |4642 | 70 | 21 | 20 |1042k|4052 | 0.000000e+00 | -- | Inf
1363.73/1364.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1363.73/1364.16 c 1268s| 2480k|772782 | 8051k| 3.2 | 603M| 63 | 8 | 70 |4893 | 70 | 21 | 20 |1047k|4057 | 0.000000e+00 | -- | Inf
1369.73/1370.10 c 1274s| 2490k|775676 | 8083k| 3.2 | 606M| 63 | 8 | 70 |4739 | 70 | 21 | 20 |1051k|4062 | 0.000000e+00 | -- | Inf
1375.73/1376.17 c 1279s| 2500k|778376 | 8115k| 3.2 | 608M| 63 | 8 | 70 |4161 | 70 | 21 | 20 |1056k|4068 | 0.000000e+00 | -- | Inf
1381.63/1382.08 c 1285s| 2510k|780874 | 8147k| 3.2 | 610M| 63 | 8 | 70 |4345 | 70 | 21 | 20 |1060k|4071 | 0.000000e+00 | -- | Inf
1387.63/1388.02 c 1291s| 2520k|783769 | 8179k| 3.2 | 613M| 63 | 8 | 70 |4367 | 70 | 21 | 20 |1064k|4077 | 0.000000e+00 | -- | Inf
1392.92/1393.38 c 1296s| 2530k|787356 | 8210k| 3.2 | 615M| 63 | 8 | 70 |4387 | 70 | 21 | 20 |1068k|4083 | 0.000000e+00 | -- | Inf
1398.92/1399.30 c 1301s| 2540k|790241 | 8241k| 3.2 | 618M| 63 | 8 | 70 |4279 | 70 | 21 | 20 |1073k|4087 | 0.000000e+00 | -- | Inf
1404.92/1405.34 c 1307s| 2550k|792989 | 8273k| 3.2 | 620M| 63 | 8 | 70 |4209 | 70 | 21 | 20 |1077k|4090 | 0.000000e+00 | -- | Inf
1410.42/1410.87 c 1312s| 2560k|796212 | 8305k| 3.2 | 622M| 63 | - | 70 |4999 | 70 | 21 | 20 |1081k|4095 | 0.000000e+00 | -- | Inf
1416.52/1416.94 c 1318s| 2570k|798955 | 8337k| 3.2 | 625M| 63 | 8 | 70 |4665 | 70 | 21 | 20 |1086k|4098 | 0.000000e+00 | -- | Inf
1421.92/1422.35 c 1323s| 2580k|802148 | 8369k| 3.2 | 627M| 63 | 8 | 70 |5430 | 70 | 21 | 20 |1090k|4098 | 0.000000e+00 | -- | Inf
1428.02/1428.41 c 1328s| 2590k|804984 | 8401k| 3.2 | 629M| 63 | - | 70 |4132 | 70 | 21 | 20 |1094k|4108 | 0.000000e+00 | -- | Inf
1433.71/1434.18 c 1334s| 2600k|807729 | 8434k| 3.2 | 632M| 63 | - | 70 |4861 | 70 | 21 | 20 |1099k|4113 | 0.000000e+00 | -- | Inf
1439.81/1440.29 c 1339s| 2610k|810540 | 8465k| 3.2 | 634M| 63 | - | 70 |4041 | 70 | 21 | 20 |1103k|4119 | 0.000000e+00 | -- | Inf
1445.61/1446.05 c 1345s| 2620k|813336 | 8496k| 3.2 | 637M| 63 | 8 | 70 |4493 | 70 | 21 | 20 |1107k|4124 | 0.000000e+00 | -- | Inf
1451.81/1452.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1451.81/1452.20 c 1350s| 2630k|816028 | 8528k| 3.2 | 639M| 63 | 8 | 70 |4126 | 70 | 21 | 20 |1112k|4128 | 0.000000e+00 | -- | Inf
1457.61/1458.06 c 1356s| 2640k|819042 | 8560k| 3.2 | 641M| 63 | - | 70 |4091 | 70 | 21 | 20 |1116k|4135 | 0.000000e+00 | -- | Inf
1463.72/1464.19 c 1362s| 2650k|821823 | 8593k| 3.2 | 644M| 63 | - | 70 |4240 | 70 | 21 | 20 |1121k|4139 | 0.000000e+00 | -- | Inf
1469.70/1470.10 c 1367s| 2660k|824699 | 8626k| 3.2 | 646M| 63 | 8 | 70 |4180 | 70 | 21 | 20 |1125k|4145 | 0.000000e+00 | -- | Inf
1475.50/1475.99 c 1373s| 2670k|827427 | 8657k| 3.2 | 648M| 63 | - | 70 |4423 | 70 | 21 | 20 |1129k|4150 | 0.000000e+00 | -- | Inf
1481.40/1481.90 c 1378s| 2680k|830232 | 8689k| 3.2 | 651M| 63 | - | 70 |3959 | 70 | 21 | 20 |1134k|4155 | 0.000000e+00 | -- | Inf
1487.40/1487.85 c 1384s| 2690k|832932 | 8721k| 3.2 | 653M| 63 | - | 70 |4188 | 70 | 21 | 20 |1138k|4159 | 0.000000e+00 | -- | Inf
1493.31/1493.79 c 1389s| 2700k|835834 | 8753k| 3.2 | 655M| 63 | 8 | 70 |4470 | 70 | 21 | 20 |1142k|4167 | 0.000000e+00 | -- | Inf
1499.10/1499.58 c 1395s| 2710k|838854 | 8784k| 3.2 | 658M| 63 | 8 | 70 |4716 | 70 | 21 | 20 |1147k|4170 | 0.000000e+00 | -- | Inf
1505.10/1505.60 c 1400s| 2720k|841678 | 8815k| 3.2 | 660M| 63 | 8 | 70 |4723 | 70 | 21 | 20 |1151k|4180 | 0.000000e+00 | -- | Inf
1511.19/1511.66 c 1406s| 2730k|844421 | 8847k| 3.2 | 662M| 63 | 8 | 70 |4472 | 70 | 21 | 20 |1156k|4188 | 0.000000e+00 | -- | Inf
1516.50/1516.98 c 1411s| 2740k|847687 | 8880k| 3.2 | 665M| 63 | 8 | 70 |5876 | 70 | 21 | 20 |1160k|4193 | 0.000000e+00 | -- | Inf
1522.70/1523.14 c 1417s| 2750k|850411 | 8913k| 3.2 | 667M| 63 | 8 | 70 |5064 | 70 | 21 | 20 |1164k|4199 | 0.000000e+00 | -- | Inf
1528.60/1529.04 c 1422s| 2760k|853303 | 8945k| 3.2 | 670M| 63 | - | 70 |5397 | 70 | 21 | 20 |1168k|4203 | 0.000000e+00 | -- | Inf
1534.29/1534.80 c 1428s| 2770k|856174 | 8977k| 3.2 | 672M| 63 | - | 70 |6015 | 70 | 21 | 20 |1173k|4206 | 0.000000e+00 | -- | Inf
1540.39/1540.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1540.39/1540.80 c 1433s| 2780k|859138 | 9010k| 3.2 | 675M| 63 | - | 70 |5178 | 70 | 21 | 20 |1177k|4208 | 0.000000e+00 | -- | Inf
1546.48/1546.94 c 1439s| 2790k|861967 | 9043k| 3.2 | 677M| 63 | - | 70 |4874 | 70 | 21 | 20 |1182k|4208 | 0.000000e+00 | -- | Inf
1552.19/1552.68 c 1444s| 2800k|865069 | 9074k| 3.2 | 679M| 63 | 8 | 70 |4836 | 70 | 21 | 20 |1186k|4208 | 0.000000e+00 | -- | Inf
1558.29/1558.74 c 1450s| 2810k|867673 | 9105k| 3.2 | 682M| 63 | 8 | 70 |4752 | 70 | 21 | 20 |1190k|4208 | 0.000000e+00 | -- | Inf
1564.18/1564.65 c 1456s| 2820k|870252 | 9138k| 3.2 | 684M| 63 | 8 | 70 |4790 | 70 | 21 | 20 |1195k|4208 | 0.000000e+00 | -- | Inf
1570.08/1570.57 c 1461s| 2830k|872971 | 9169k| 3.2 | 686M| 63 | 8 | 70 |4423 | 70 | 21 | 20 |1199k|4208 | 0.000000e+00 | -- | Inf
1575.78/1576.22 c 1466s| 2840k|876158 | 9202k| 3.2 | 689M| 63 | 8 | 70 |4614 | 70 | 21 | 20 |1204k|4208 | 0.000000e+00 | -- | Inf
1581.08/1581.59 c 1471s| 2850k|879533 | 9235k| 3.2 | 691M| 63 | - | 70 |5775 | 70 | 21 | 20 |1208k|4209 | 0.000000e+00 | -- | Inf
1586.97/1587.49 c 1477s| 2860k|882317 | 9270k| 3.2 | 694M| 63 | 8 | 70 |6296 | 70 | 21 | 20 |1212k|4212 | 0.000000e+00 | -- | Inf
1593.07/1593.51 c 1482s| 2870k|885060 | 9303k| 3.2 | 696M| 63 | - | 70 |6562 | 70 | 21 | 20 |1217k|4212 | 0.000000e+00 | -- | Inf
1599.67/1600.10 c 1489s| 2880k|887624 | 9336k| 3.2 | 698M| 63 | 8 | 70 |5584 | 70 | 21 | 20 |1221k|4217 | 0.000000e+00 | -- | Inf
1605.57/1606.09 c 1494s| 2890k|890574 | 9369k| 3.2 | 700M| 63 | - | 70 |5004 | 70 | 21 | 20 |1226k|4220 | 0.000000e+00 | -- | Inf
1611.17/1611.67 c 1499s| 2900k|893828 | 9404k| 3.2 | 703M| 63 | - | 70 |6379 | 70 | 21 | 20 |1230k|4227 | 0.000000e+00 | -- | Inf
1617.37/1617.83 c 1505s| 2910k|896804 | 9438k| 3.2 | 706M| 63 | 8 | 70 |5866 | 70 | 21 | 20 |1234k|4233 | 0.000000e+00 | -- | Inf
1623.17/1623.66 c 1511s| 2920k|899911 | 9470k| 3.2 | 708M| 63 | 8 | 70 |5724 | 70 | 21 | 20 |1238k|4238 | 0.000000e+00 | -- | Inf
1628.96/1629.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1628.96/1629.40 c 1516s| 2930k|902842 | 9502k| 3.2 | 710M| 63 | 8 | 70 |6335 | 70 | 21 | 20 |1242k|4245 | 0.000000e+00 | -- | Inf
1635.36/1635.83 c 1522s| 2940k|905461 | 9534k| 3.2 | 713M| 63 | - | 70 |5333 | 70 | 21 | 20 |1247k|4249 | 0.000000e+00 | -- | Inf
1641.56/1642.00 c 1528s| 2950k|908350 | 9566k| 3.2 | 715M| 63 | 8 | 70 |5042 | 70 | 21 | 20 |1251k|4252 | 0.000000e+00 | -- | Inf
1647.46/1647.94 c 1533s| 2960k|911145 | 9598k| 3.2 | 717M| 63 | 8 | 70 |5354 | 70 | 21 | 20 |1256k|4258 | 0.000000e+00 | -- | Inf
1653.65/1654.14 c 1539s| 2970k|913943 | 9631k| 3.2 | 720M| 63 | - | 70 |5139 | 70 | 21 | 20 |1260k|4260 | 0.000000e+00 | -- | Inf
1660.15/1660.60 c 1545s| 2980k|916519 | 9663k| 3.2 | 722M| 63 | 8 | 70 |4473 | 70 | 21 | 20 |1265k|4260 | 0.000000e+00 | -- | Inf
1665.96/1666.41 c 1551s| 2990k|919120 | 9695k| 3.2 | 724M| 63 | 8 | 70 |5310 | 70 | 21 | 20 |1269k|4260 | 0.000000e+00 | -- | Inf
1672.15/1672.61 c 1556s| 3000k|921793 | 9727k| 3.2 | 727M| 63 | 8 | 70 |4970 | 70 | 21 | 20 |1274k|4260 | 0.000000e+00 | -- | Inf
1678.06/1678.50 c 1562s| 3010k|924751 | 9760k| 3.2 | 729M| 63 | 8 | 70 |5192 | 70 | 21 | 20 |1278k|4266 | 0.000000e+00 | -- | Inf
1683.95/1684.46 c 1567s| 3020k|927523 | 9792k| 3.2 | 731M| 63 | - | 70 |5546 | 70 | 21 | 20 |1283k|4270 | 0.000000e+00 | -- | Inf
1689.45/1689.92 c 1573s| 3030k|931212 | 9824k| 3.2 | 734M| 63 | 8 | 70 |6590 | 70 | 21 | 20 |1286k|4273 | 0.000000e+00 | -- | Inf
1695.85/1696.33 c 1579s| 3040k|934100 | 9855k| 3.2 | 736M| 63 | 8 | 70 |5534 | 70 | 21 | 20 |1291k|4279 | 0.000000e+00 | -- | Inf
1702.04/1702.53 c 1584s| 3050k|936937 | 9888k| 3.2 | 739M| 63 | - | 70 |4976 | 70 | 21 | 20 |1295k|4281 | 0.000000e+00 | -- | Inf
1708.34/1708.85 c 1590s| 3060k|939567 | 9919k| 3.2 | 741M| 63 | - | 70 |4483 | 70 | 21 | 20 |1299k|4284 | 0.000000e+00 | -- | Inf
1714.45/1714.91 c 1596s| 3070k|942317 | 9951k| 3.2 | 743M| 63 | 8 | 70 |4835 | 70 | 21 | 20 |1304k|4290 | 0.000000e+00 | -- | Inf
1720.54/1721.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1720.54/1721.09 c 1602s| 3080k|945076 | 9983k| 3.2 | 746M| 63 | 8 | 70 |4692 | 70 | 21 | 20 |1308k|4294 | 0.000000e+00 | -- | Inf
1726.84/1727.39 c 1608s| 3090k|947711 | 10015k| 3.2 | 748M| 63 | 8 | 70 |4701 | 70 | 21 | 20 |1313k|4300 | 0.000000e+00 | -- | Inf
1732.24/1732.79 c 1613s| 3100k|951006 | 10049k| 3.2 | 751M| 63 | - | 70 |6470 | 70 | 21 | 20 |1317k|4306 | 0.000000e+00 | -- | Inf
1738.04/1738.54 c 1618s| 3110k|954289 | 10083k| 3.2 | 753M| 63 | 8 | 70 |6868 | 70 | 21 | 20 |1321k|4309 | 0.000000e+00 | -- | Inf
1744.14/1744.62 c 1624s| 3120k|957144 | 10116k| 3.2 | 756M| 63 | 8 | 70 |6985 | 70 | 21 | 20 |1326k|4317 | 0.000000e+00 | -- | Inf
1750.43/1750.95 c 1629s| 3130k|959961 | 10150k| 3.2 | 758M| 63 | - | 70 |5863 | 70 | 21 | 20 |1330k|4325 | 0.000000e+00 | -- | Inf
1756.63/1757.14 c 1635s| 3140k|962764 | 10181k| 3.2 | 760M| 63 | - | 70 |5293 | 70 | 21 | 20 |1334k|4329 | 0.000000e+00 | -- | Inf
1762.53/1763.09 c 1641s| 3150k|965656 | 10213k| 3.2 | 762M| 63 | - | 70 |5318 | 70 | 21 | 20 |1339k|4333 | 0.000000e+00 | -- | Inf
1768.82/1769.33 c 1647s| 3160k|968474 | 10246k| 3.2 | 765M| 63 | 8 | 70 |5035 | 70 | 21 | 20 |1343k|4342 | 0.000000e+00 | -- | Inf
1774.43/1774.93 c 1652s| 3170k|971710 | 10277k| 3.2 | 767M| 63 | - | 70 |5956 | 0 | 0 | 20 |1347k|4347 | 0.000000e+00 | -- | Inf
1780.63/1781.15 c 1658s| 3180k|974367 | 10309k| 3.2 | 770M| 63 | - | 70 |5303 | 70 | 21 | 20 |1352k|4355 | 0.000000e+00 | -- | Inf
1786.52/1787.07 c 1663s| 3190k|977428 | 10340k| 3.2 | 772M| 63 | 8 | 70 |5007 | 70 | 21 | 20 |1356k|4360 | 0.000000e+00 | -- | Inf
1792.62/1793.17 c 1669s| 3200k|980357 | 10373k| 3.2 | 774M| 63 | - | 70 |5098 | 70 | 21 | 20 |1361k|4370 | 0.000000e+00 | -- | Inf
1798.42/1798.91 c 1674s| 3210k|983554 | 10405k| 3.2 | 777M| 63 | 8 | 70 |5449 | 70 | 21 | 20 |1365k|4377 | 0.000000e+00 | -- | Inf
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.50 c
1800.03/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.50 c Solving Time (sec) : 1675.85
1800.03/1800.50 c Solving Nodes : 3212935
1800.03/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.50 c Dual Bound : +0.00000000000000e+00
1800.03/1800.50 c Gap : infinite
1800.03/1800.51 s UNKNOWN
1800.03/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.51 c Solving Time : 1675.85
1800.03/1800.51 c Original Problem :
1800.03/1800.51 c Problem name : HOME/instance-2666881-1276618031.opb
1800.03/1800.51 c Variables : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51 c Constraints : 17 initial, 17 maximal
1800.03/1800.51 c Presolved Problem :
1800.03/1800.51 c Problem name : t_HOME/instance-2666881-1276618031.opb
1800.03/1800.51 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51 c Constraints : 8 initial, 7329 maximal
1800.03/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.03/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c probing : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.51 c linear : 0.01 0 0 0 0 0 9 0 0
1800.03/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c root node : - 0 - - 0 - - - -
1800.03/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c integral : 0 0 0 2105095 0 375 1539 0 0 4206656
1800.03/1800.51 c linear : 8 6 7492713 0 0 75876 2888461 0 0 0
1800.03/1800.51 c logicor : 0+ 0 2954221 0 0 2872 1022475 0 0 0
1800.03/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.51 c integral : 26.59 0.00 0.00 26.59 0.00
1800.03/1800.51 c linear : 441.08 0.00 441.08 0.00 0.00
1800.03/1800.51 c logicor : 219.80 0.00 219.80 0.00 0.00
1800.03/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.51 c vbounds : 3.19 2 0 0
1800.03/1800.51 c rootredcost : 2.96 0 0 0
1800.03/1800.51 c pseudoobj : 2.91 0 0 0
1800.03/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.51 c propagation : 13.68 78748 74021 298063 48.1 15 39.6 -
1800.03/1800.51 c infeasible LP : 73.62 1035886 1035843 2076961 32.7 11353 37.6 0
1800.03/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.51 c applied globally : - - - 1061152 25.8 - - -
1800.03/1800.51 c applied locally : - - - 305353 39.1 - - -
1800.03/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.51 c cut pool : 0.00 5 - - 3 - (maximal pool size: 55)
1800.03/1800.51 c redcost : 5.68 2105100 0 0 0 0
1800.03/1800.51 c impliedbounds : 0.00 6 0 0 0 0
1800.03/1800.51 c intobj : 0.00 0 0 0 0 0
1800.03/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.51 c gomory : 0.01 6 0 0 0 0
1800.03/1800.51 c strongcg : 0.00 6 0 0 18 0
1800.03/1800.51 c cmir : 0.05 6 0 0 20 0
1800.03/1800.51 c flowcover : 0.02 6 0 0 29 0
1800.03/1800.51 c clique : 0.00 1 0 0 0 0
1800.03/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.51 c mcf : 0.00 1 0 0 0 0
1800.03/1800.51 c rapidlearning : 0.12 1 0 0 0 0
1800.03/1800.51 c Pricers : Time Calls Vars
1800.03/1800.51 c problem variables: 0.00 0 0
1800.03/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c relpscost : 23.93 2105095 375 1539 0 0 4206656
1800.03/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.51 c inference : 0.00 0 0 0 0 0 0
1800.03/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c random : 0.00 0 0 0 0 0 0
1800.03/1800.51 c Primal Heuristics : Time Calls Found
1800.03/1800.51 c LP solutions : 0.00 - 0
1800.03/1800.51 c pseudo solutions : 0.00 - 0
1800.03/1800.51 c oneopt : 3.13 0 0
1800.03/1800.51 c crossover : 1.70 0 0
1800.03/1800.51 c guideddiving : 0.11 0 0
1800.03/1800.51 c intshifting : 0.11 0 0
1800.03/1800.51 c fracdiving : 0.22 39 0
1800.03/1800.51 c veclendiving : 0.20 39 0
1800.03/1800.51 c linesearchdiving : 0.13 39 0
1800.03/1800.51 c feaspump : 0.13 20 0
1800.03/1800.51 c objpscostdiving : 0.11 20 0
1800.03/1800.51 c rootsoldiving : 0.16 20 0
1800.03/1800.51 c coefdiving : 0.20 40 0
1800.03/1800.51 c pscostdiving : 0.21 40 0
1800.03/1800.51 c trivial : 0.00 2 0
1800.03/1800.51 c simplerounding : 1.13 0 0
1800.03/1800.51 c zirounding : 1.52 1000 0
1800.03/1800.51 c rounding : 2.45 20556 0
1800.03/1800.51 c shifting : 5.57 6480 0
1800.03/1800.51 c twoopt : 0.00 0 0
1800.03/1800.51 c fixandinfer : 0.00 0 0
1800.03/1800.51 c intdiving : 0.00 0 0
1800.03/1800.51 c actconsdiving : 0.00 0 0
1800.03/1800.51 c octane : 0.00 0 0
1800.03/1800.51 c rens : 0.05 1 0
1800.03/1800.51 c rins : 0.00 0 0
1800.03/1800.51 c localbranching : 0.00 0 0
1800.03/1800.51 c mutation : 0.00 0 0
1800.03/1800.51 c dins : 0.00 0 0
1800.03/1800.51 c undercover : 0.00 0 0
1800.03/1800.51 c nlp : 1.39 0 0
1800.03/1800.51 c trysol : 1.99 0 0
1800.03/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.51 c dual LP : 418.36 3086224 10411011 3.37 24885.29
1800.03/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.51 c diving/probing LP: 0.15 1615 4057 2.51 27046.67
1800.03/1800.51 c strong branching : 1.35 4377 30864 7.05 22862.22
1800.03/1800.51 c (at root node) : - 15 737 49.13 -
1800.03/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.51 c B&B Tree :
1800.03/1800.51 c number of runs : 1
1800.03/1800.51 c nodes : 3212935
1800.03/1800.51 c nodes (total) : 3212935
1800.03/1800.51 c nodes left : 984517
1800.03/1800.51 c max depth : 63
1800.03/1800.51 c max depth (total): 63
1800.03/1800.51 c backtracks : 258552 (8.0%)
1800.03/1800.51 c delayed cutoffs : 9205
1800.03/1800.51 c repropagations : 2971341 (1055423 domain reductions, 4922 cutoffs)
1800.03/1800.51 c avg switch length: 5.40
1800.03/1800.51 c switching time : 229.24
1800.03/1800.51 c Solution :
1800.03/1800.51 c Solutions found : 0 (0 improvements)
1800.03/1800.51 c Primal Bound : -
1800.03/1800.51 c Dual Bound : +0.00000000000000e+00
1800.03/1800.51 c Gap : infinite
1800.03/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.51 c Root Iterations : 220
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666881-1276618031/watcher-2666881-1276618031 -o /tmp/evaluation-result-2666881-1276618031/solver-2666881-1276618031 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666881-1276618031.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: 0.99 0.97 0.99 3/105 11921
/proc/meminfo: memFree=1396432/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=8752 CPUtime=0
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 1338 0 0 0 0 0 0 0 25 0 1 0 3096858 8962048 1257 1992294400 4194304 8223781 140737016836800 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11921/statm: 2188 1266 348 984 0 1201 0
[startup+0.0918219 s]
/proc/loadavg: 0.99 0.97 0.99 3/105 11921
/proc/meminfo: memFree=1396432/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=20112 CPUtime=0.08
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 5012 0 0 0 7 1 0 0 18 0 1 0 3096858 20594688 3785 1992294400 4194304 8223781 140737016836800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 5028 3785 568 984 0 4041 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20112
[startup+0.100823 s]
/proc/loadavg: 0.99 0.97 0.99 3/105 11921
/proc/meminfo: memFree=1396432/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=20112 CPUtime=0.09
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 5014 0 0 0 8 1 0 0 18 0 1 0 3096858 20594688 3787 1992294400 4194304 8223781 140737016836800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 5028 3787 568 984 0 4041 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20112
[startup+0.300845 s]
/proc/loadavg: 0.99 0.97 0.99 3/105 11921
/proc/meminfo: memFree=1396432/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=20572 CPUtime=0.29
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 8298 0 0 0 26 3 0 0 18 0 1 0 3096858 21065728 3947 1992294400 4194304 8223781 140737016836800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 5143 3947 584 984 0 4156 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20572
[startup+0.700889 s]
/proc/loadavg: 0.99 0.97 0.99 3/105 11921
/proc/meminfo: memFree=1396432/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=13484 CPUtime=0.69
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 8302 0 0 0 62 7 0 0 18 0 1 0 3096858 13807616 2535 1992294400 4194304 8223781 140737016836800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 3371 2535 588 984 0 2384 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13484
[startup+1.50098 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11922
/proc/meminfo: memFree=1387868/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=14132 CPUtime=1.49
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 8465 0 0 0 135 14 0 0 19 0 1 0 3096858 14471168 2698 1992294400 4194304 8223781 140737016836800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 3533 2698 588 984 0 2546 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14132
[startup+3.10115 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11922
/proc/meminfo: memFree=1386628/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=16256 CPUtime=3.09
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 8978 0 0 0 282 27 0 0 25 0 1 0 3096858 16646144 3211 1992294400 4194304 8223781 140737016836800 18446744073709551615 4979046 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 4064 3211 588 984 0 3077 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16256
[startup+6.30051 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11922
/proc/meminfo: memFree=1382660/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=19240 CPUtime=6.29
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 9733 0 0 0 578 51 0 0 25 0 1 0 3096858 19701760 3966 1992294400 4194304 8223781 140737016836800 18446744073709551615 5437844 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 4810 3966 588 984 0 3823 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19240
[startup+12.7012 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11922
/proc/meminfo: memFree=1377948/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=23552 CPUtime=12.68
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 10858 0 0 0 1167 101 0 0 25 0 1 0 3096858 24117248 5091 1992294400 4194304 8223781 140737016836800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 5888 5091 588 984 0 4901 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 23552
[startup+25.5006 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11924
/proc/meminfo: memFree=1369888/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=32008 CPUtime=25.49
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 13004 0 0 0 2341 208 0 0 25 0 1 0 3096858 32776192 7237 1992294400 4194304 8223781 140737016836800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 8002 7237 588 984 0 7015 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32008
[startup+51.1015 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11924
/proc/meminfo: memFree=1354016/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=47012 CPUtime=51.08
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 16824 0 0 0 4697 411 0 0 25 0 1 0 3096858 48140288 11057 1992294400 4194304 8223781 140737016836800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 11753 11057 588 984 0 10766 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 47012
[startup+102.308 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 11926
/proc/meminfo: memFree=1323512/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=78636 CPUtime=102.27
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 24357 0 0 0 9409 818 0 0 25 0 1 0 3096858 80523264 18590 1992294400 4194304 8223781 140737016836800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 19659 18590 588 984 0 18672 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 78636
[startup+162.301 s]
/proc/loadavg: 1.06 0.99 0.99 2/106 11926
/proc/meminfo: memFree=1291024/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=110804 CPUtime=162.24
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 32536 0 0 0 14949 1275 0 0 25 0 1 0 3096858 113463296 26769 1992294400 4194304 8223781 140737016836800 18446744073709551615 4978425 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 27701 26769 588 984 0 26714 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 110804
[startup+222.301 s]
/proc/loadavg: 1.08 1.00 1.00 2/106 11928
/proc/meminfo: memFree=1259776/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=141088 CPUtime=222.23
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 40229 0 0 0 20490 1733 0 0 25 0 1 0 3096858 144474112 34462 1992294400 4194304 8223781 140737016836800 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 35272 34462 588 984 0 34285 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 141088
[startup+282.301 s]
/proc/loadavg: 1.08 1.01 1.00 2/106 11930
/proc/meminfo: memFree=1228900/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=175384 CPUtime=282.22
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 47920 0 0 0 26050 2172 0 0 25 0 1 0 3096858 179593216 42153 1992294400 4194304 8223781 140737016836800 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 43846 42153 588 984 0 42859 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 175384
[startup+342.301 s]
/proc/loadavg: 1.08 1.02 1.00 2/106 11932
/proc/meminfo: memFree=1200752/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=202776 CPUtime=342.2
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 54907 0 0 0 31631 2589 0 0 25 0 1 0 3096858 207642624 49140 1992294400 4194304 8223781 140737016836800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 50694 49140 588 984 0 49707 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 202776
[startup+402.301 s]
/proc/loadavg: 1.07 1.03 1.00 2/106 11934
/proc/meminfo: memFree=1172852/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=230760 CPUtime=402.18
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 61989 0 0 0 37202 3016 0 0 25 0 1 0 3096858 236298240 56222 1992294400 4194304 8223781 140737016836800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 57690 56222 588 984 0 56703 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 230760
[startup+462.301 s]
/proc/loadavg: 1.07 1.04 1.00 2/106 11934
/proc/meminfo: memFree=1141604/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=261732 CPUtime=462.17
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 69898 0 0 0 42772 3445 0 0 25 0 1 0 3096858 268013568 64131 1992294400 4194304 8223781 140737016836800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 65433 64131 588 984 0 64446 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 261732
[startup+522.301 s]
/proc/loadavg: 1.06 1.04 1.00 2/106 11936
/proc/meminfo: memFree=1115564/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=286540 CPUtime=522.15
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 76212 0 0 0 48350 3865 0 0 25 0 1 0 3096858 293416960 70445 1992294400 4194304 8223781 140737016836800 18446744073709551615 5000156 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 71635 70445 588 984 0 70648 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 286540
[startup+582.301 s]
/proc/loadavg: 1.06 1.05 1.00 2/106 11938
/proc/meminfo: memFree=1088036/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=313092 CPUtime=582.14
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 82920 0 0 0 53919 4295 0 0 25 0 1 0 3096858 320606208 77153 1992294400 4194304 8223781 140737016836800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 78273 77153 588 984 0 77286 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 313092
[startup+642.301 s]
/proc/loadavg: 1.13 1.07 1.01 2/106 11940
/proc/meminfo: memFree=1061872/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=338412 CPUtime=642.13
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 89424 0 0 0 59512 4701 0 0 25 0 1 0 3096858 346533888 83657 1992294400 4194304 8223781 140737016836800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 84603 83657 588 984 0 83616 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 338412
[startup+702.301 s]
################
# More data... #
################
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 135065 0 0 0 98642 7559 0 0 25 0 1 0 3096858 538738688 129298 1992294400 4194304 8223781 140737016836800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 131528 129298 588 984 0 130541 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 526112
[startup+1122.3 s]
/proc/loadavg: 1.12 1.09 1.01 2/106 11952
/proc/meminfo: memFree=852188/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=552640 CPUtime=1121.99
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 141844 0 0 0 104245 7954 0 0 25 0 1 0 3096858 565903360 136077 1992294400 4194304 8223781 140737016836800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 138160 136077 588 984 0 137173 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 552640
[startup+1182.3 s]
/proc/loadavg: 1.15 1.10 1.02 2/106 11954
/proc/meminfo: memFree=829000/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=573408 CPUtime=1181.98
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 147227 0 0 0 109846 8352 0 0 25 0 1 0 3096858 587169792 141460 1992294400 4194304 8223781 140737016836800 18446744073709551615 4947379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 143352 141460 588 984 0 142365 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 573408
[startup+1242.3 s]
/proc/loadavg: 1.16 1.11 1.02 2/106 11956
/proc/meminfo: memFree=804696/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=597656 CPUtime=1241.97
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 153255 0 0 0 115449 8748 0 0 25 0 1 0 3096858 611999744 147488 1992294400 4194304 8223781 140737016836800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 149414 147488 588 984 0 148427 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 597656
[startup+1302.3 s]
/proc/loadavg: 1.09 1.10 1.02 2/106 11958
/proc/meminfo: memFree=780392/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=620972 CPUtime=1301.95
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 159250 0 0 0 121045 9150 0 0 25 0 1 0 3096858 635875328 153483 1992294400 4194304 8223781 140737016836800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 155243 153483 588 984 0 154256 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 620972
[startup+1362.3 s]
/proc/loadavg: 1.03 1.08 1.02 2/106 11958
/proc/meminfo: memFree=755716/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=644976 CPUtime=1361.94
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 165410 0 0 0 126649 9545 0 0 25 0 1 0 3096858 660455424 159643 1992294400 4194304 8223781 140737016836800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 161244 159643 588 984 0 160257 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 644976
[startup+1422.31 s]
/proc/loadavg: 1.01 1.06 1.01 2/106 11960
/proc/meminfo: memFree=732776/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=667512 CPUtime=1421.92
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 171190 0 0 0 132253 9939 0 0 25 0 1 0 3096858 683532288 165423 1992294400 4194304 8223781 140737016836800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 166878 165423 588 984 0 165891 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 667512
[startup+1482.3 s]
/proc/loadavg: 1.00 1.05 1.00 2/106 11962
/proc/meminfo: memFree=704752/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=694412 CPUtime=1481.9
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 178067 0 0 0 137863 10327 0 0 25 0 1 0 3096858 711077888 172300 1992294400 4194304 8223781 140737016836800 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 173603 172300 588 984 0 172616 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 694412
[startup+1542.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/106 11967
/proc/meminfo: memFree=679332/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=719924 CPUtime=1541.88
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 184377 0 0 0 143462 10726 0 0 25 0 1 0 3096858 737202176 178610 1992294400 4194304 8223781 140737016836800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 179981 178610 588 984 0 178994 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 719924
[startup+1602.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/106 11969
/proc/meminfo: memFree=650688/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=747536 CPUtime=1601.87
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 191467 0 0 0 149060 11127 0 0 25 0 1 0 3096858 765476864 185700 1992294400 4194304 8223781 140737016836800 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 186884 185700 588 984 0 185897 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 747536
[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 11969
/proc/meminfo: memFree=629112/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=768628 CPUtime=1661.86
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 196868 0 0 0 154677 11509 0 0 25 0 1 0 3096858 787075072 191101 1992294400 4194304 8223781 140737016836800 18446744073709551615 4221361 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 192157 191101 588 984 0 191170 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 768628
[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 11971
/proc/meminfo: memFree=606916/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=789900 CPUtime=1721.84
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 202372 0 0 0 160277 11907 0 0 25 0 1 0 3096858 808857600 196605 1992294400 4194304 8223781 140737016836800 18446744073709551615 4212307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 197475 196605 588 984 0 196488 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 789900
[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 11973
/proc/meminfo: memFree=579636/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=816792 CPUtime=1781.82
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 209254 0 0 0 165884 12298 0 0 25 0 1 0 3096858 836395008 203487 1992294400 4194304 8223781 140737016836800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 204198 203487 588 984 0 203211 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 816792
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 11973
/proc/meminfo: memFree=571328/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=841660 CPUtime=1800.03
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 211151 0 0 0 167585 12418 0 0 25 0 1 0 3096858 861859840 205384 1992294400 4194304 8223781 140737016836800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11921/statm: 210415 205384 588 984 0 209428 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 841660
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11921
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11974
/proc/meminfo: memFree=571320/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=841660 CPUtime=1800.92
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 211152 0 0 0 167674 12418 0 0 25 0 1 0 3096858 861859840 205385 1992294400 4194304 8223781 140737016836800 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11921/statm: 210415 205385 589 984 0 209428 0
Current children cumulated CPU time (s) 1800.92
Current children cumulated vsize (KiB) 841660
[startup+1802.2 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11974
/proc/meminfo: memFree=571320/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=841660 CPUtime=1801.72
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 211152 0 0 0 167754 12418 0 0 25 0 1 0 3096858 861859840 205385 1992294400 4194304 8223781 140737016836800 18446744073709551615 4212183 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11921/statm: 210415 205385 589 984 0 209428 0
Current children cumulated CPU time (s) 1801.72
Current children cumulated vsize (KiB) 841660
[startup+1802.4 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11974
/proc/meminfo: memFree=571320/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=841660 CPUtime=1801.92
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 211152 0 0 0 167774 12418 0 0 25 0 1 0 3096858 861859840 205385 1992294400 4194304 8223781 140737016836800 18446744073709551615 6206658 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11921/statm: 210415 205385 589 984 0 209428 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 841660
[startup+1802.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11974
/proc/meminfo: memFree=571320/2059040 swapFree=4192956/4192956
[pid=11921] ppid=11919 vsize=841660 CPUtime=1802.02
/proc/11921/stat : 11921 (pbscip.linux.x8) R 11919 11921 11840 0 -1 4202496 211152 0 0 0 167784 12418 0 0 25 0 1 0 3096858 861859840 205385 1992294400 4194304 8223781 140737016836800 18446744073709551615 6162078 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11921/statm: 210415 205385 589 984 0 209428 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 841660
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.58
CPU time (s): 1802.11
CPU user time (s): 1677.85
CPU system time (s): 124.254
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 841660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1677.85
system time used= 124.254
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211152
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= 3
involuntary context switches= 1031
runsolver used 3.03754 second user time and 8.47771 second system time
The end