0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703536-1278562890.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.02 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.01
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.3
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 = 1790
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 # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
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 # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/indicator/addCouplingCons = 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.18 c 0.2s| 1 | 0 | 179 | - | 418k| 0 | 14 | 70 | 8 | 70 | 16 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.2s| 1 | 0 | 187 | - | 445k| 0 | 16 | 70 | 8 | 70 | 20 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.21 c 0.2s| 1 | 0 | 201 | - | 460k| 0 | 19 | 70 | 8 | 70 | 24 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 206 | - | 464k| 0 | 20 | 70 | 8 | 70 | 26 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 0 | 219 | - | 469k| 0 | 20 | 70 | 8 | 70 | 27 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.26 c 0.3s| 1 | 0 | 220 | - | 476k| 0 | 21 | 70 | 8 | 70 | 28 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.37 c 0.4s| 1 | 2 | 220 | - | 476k| 0 | 21 | 70 | 8 | 70 | 28 | 20 | 0 | 15 | 0.000000e+00 | -- | Inf
4.79/4.87 c 4.9s| 10000 | 5494 | 32884 | 3.3 |4179k| 61 | 8 | 70 |2165 | 70 | 21 | 20 |2737 | 643 | 0.000000e+00 | -- | Inf
9.59/9.64 c 9.6s| 20000 | 10010 | 67189 | 3.3 |6854k| 61 | 8 | 70 |1472 | 70 | 21 | 20 |6105 | 890 | 0.000000e+00 | -- | Inf
13.99/14.03 c 14.0s| 30000 | 14322 |100774 | 3.4 |9486k| 61 | 8 | 70 |1415 | 70 | 21 | 20 |9551 |1034 | 0.000000e+00 | -- | Inf
18.38/18.45 c 18.4s| 40000 | 18486 |133865 | 3.3 | 12M| 62 | 8 | 70 |1606 | 70 | 21 | 20 | 13k|1145 | 0.000000e+00 | -- | Inf
22.89/22.93 c 22.9s| 50000 | 22586 |167986 | 3.4 | 14M| 62 | 8 | 70 |1557 | 70 | 21 | 20 | 16k|1261 | 0.000000e+00 | -- | Inf
27.29/27.39 c 27.4s| 60000 | 26755 |201562 | 3.4 | 17M| 62 | 8 | 70 |1553 | 70 | 21 | 20 | 20k|1350 | 0.000000e+00 | -- | Inf
31.89/31.93 c 31.9s| 70000 | 30547 |234895 | 3.4 | 20M| 62 | 8 | 70 |1850 | 70 | 21 | 20 | 23k|1422 | 0.000000e+00 | -- | Inf
36.38/36.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.38/36.47 c 36.5s| 80000 | 34453 |268213 | 3.3 | 22M| 62 | - | 70 |1724 | 70 | 21 | 20 | 27k|1495 | 0.000000e+00 | -- | Inf
40.98/41.08 c 41.1s| 90000 | 38243 |301389 | 3.3 | 25M| 62 | 8 | 70 |2034 | 70 | 21 | 20 | 31k|1550 | 0.000000e+00 | -- | Inf
45.48/45.58 c 45.6s|100000 | 42111 |333933 | 3.3 | 27M| 62 | - | 70 |1948 | 70 | 21 | 20 | 35k|1598 | 0.000000e+00 | -- | Inf
50.18/50.22 c 50.2s|110000 | 45927 |368055 | 3.3 | 30M| 62 | 8 | 70 |2074 | 70 | 21 | 20 | 38k|1662 | 0.000000e+00 | -- | Inf
54.68/54.79 c 54.8s|120000 | 49764 |400688 | 3.3 | 32M| 62 | 8 | 70 |1884 | 70 | 21 | 20 | 42k|1703 | 0.000000e+00 | -- | Inf
59.28/59.31 c 59.3s|130000 | 53697 |433290 | 3.3 | 35M| 62 | 8 | 70 |1950 | 70 | 21 | 20 | 46k|1747 | 0.000000e+00 | -- | Inf
63.88/63.92 c 63.9s|140000 | 57452 |466236 | 3.3 | 38M| 62 | - | 70 |2175 | 0 | 0 | 20 | 50k|1775 | 0.000000e+00 | -- | Inf
68.48/68.52 c 68.5s|150000 | 61176 |499555 | 3.3 | 40M| 62 | 8 | 70 |2331 | 70 | 21 | 20 | 53k|1814 | 0.000000e+00 | -- | Inf
73.07/73.19 c 73.2s|160000 | 64765 |532714 | 3.3 | 43M| 62 | 8 | 70 |2277 | 70 | 21 | 20 | 57k|1849 | 0.000000e+00 | -- | Inf
77.87/77.98 c 78.0s|170000 | 68210 |566017 | 3.3 | 45M| 62 | 8 | 70 |2133 | 70 | 21 | 20 | 61k|1882 | 0.000000e+00 | -- | Inf
82.57/82.68 c 82.7s|180000 | 71616 |598657 | 3.3 | 48M| 62 | - | 70 |2207 | 70 | 21 | 20 | 65k|1914 | 0.000000e+00 | -- | Inf
87.37/87.43 c 87.4s|190000 | 75089 |631419 | 3.3 | 50M| 62 | - | 70 |2347 | 0 | 0 | 20 | 69k|1955 | 0.000000e+00 | -- | Inf
92.17/92.24 c 92.2s|200000 | 78574 |663985 | 3.3 | 53M| 62 | - | 70 |2276 | 70 | 21 | 20 | 73k|2006 | 0.000000e+00 | -- | Inf
96.87/96.97 c 97.0s|210000 | 82016 |697809 | 3.3 | 55M| 63 | - | 70 |2569 | 70 | 21 | 20 | 77k|2051 | 0.000000e+00 | -- | Inf
101.67/101.70 c 102s|220000 | 85609 |730051 | 3.3 | 58M| 63 | 8 | 70 |2530 | 70 | 21 | 20 | 81k|2081 | 0.000000e+00 | -- | Inf
106.37/106.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.37/106.44 c 106s|230000 | 89078 |763097 | 3.3 | 60M| 63 | - | 70 |2603 | 70 | 21 | 20 | 85k|2114 | 0.000000e+00 | -- | Inf
111.16/111.24 c 111s|240000 | 92534 |795437 | 3.3 | 63M| 63 | - | 70 |2165 | 0 | 0 | 20 | 89k|2145 | 0.000000e+00 | -- | Inf
115.86/115.93 c 116s|250000 | 96056 |828131 | 3.3 | 66M| 63 | - | 70 |2359 | 70 | 21 | 20 | 93k|2163 | 0.000000e+00 | -- | Inf
120.56/120.69 c 121s|260000 | 99515 |861421 | 3.3 | 68M| 63 | 8 | 70 |2524 | 70 | 21 | 20 | 97k|2192 | 0.000000e+00 | -- | Inf
125.37/125.48 c 125s|270000 |102964 |894709 | 3.3 | 71M| 63 | 8 | 70 |2724 | 70 | 21 | 20 | 101k|2224 | 0.000000e+00 | -- | Inf
130.26/130.35 c 130s|280000 |106289 |927334 | 3.3 | 73M| 63 | - | 70 |2642 | 70 | 21 | 20 | 106k|2267 | 0.000000e+00 | -- | Inf
135.17/135.23 c 135s|290000 |109635 |960290 | 3.3 | 76M| 63 | 8 | 70 |2440 | 70 | 21 | 20 | 110k|2300 | 0.000000e+00 | -- | Inf
139.96/140.07 c 140s|300000 |113046 |992248 | 3.3 | 78M| 63 | 8 | 70 |2429 | 70 | 21 | 20 | 114k|2326 | 0.000000e+00 | -- | Inf
144.75/144.84 c 145s|310000 |116579 | 1025k| 3.3 | 81M| 63 | - | 70 |2498 | 0 | 0 | 20 | 118k|2350 | 0.000000e+00 | -- | Inf
149.66/149.73 c 150s|320000 |119825 | 1058k| 3.3 | 83M| 63 | 8 | 70 |2571 | 70 | 21 | 20 | 122k|2379 | 0.000000e+00 | -- | Inf
154.46/154.59 c 155s|330000 |123077 | 1091k| 3.3 | 86M| 63 | - | 70 |3037 | 70 | 21 | 20 | 126k|2408 | 0.000000e+00 | -- | Inf
159.36/159.47 c 159s|340000 |126482 | 1124k| 3.3 | 88M| 63 | - | 70 |3125 | 70 | 21 | 20 | 130k|2437 | 0.000000e+00 | -- | Inf
164.25/164.35 c 164s|350000 |129824 | 1156k| 3.3 | 91M| 63 | 8 | 70 |3291 | 70 | 21 | 20 | 134k|2465 | 0.000000e+00 | -- | Inf
168.95/169.06 c 169s|360000 |133642 | 1188k| 3.3 | 93M| 63 | 8 | 70 |3432 | 70 | 21 | 20 | 138k|2485 | 0.000000e+00 | -- | Inf
173.95/174.06 c 174s|370000 |136979 | 1221k| 3.3 | 96M| 63 | 8 | 70 |2712 | 70 | 21 | 20 | 142k|2504 | 0.000000e+00 | -- | Inf
178.85/178.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.85/178.96 c 179s|380000 |140348 | 1255k| 3.3 | 98M| 63 | - | 70 |3073 | 70 | 21 | 20 | 146k|2530 | 0.000000e+00 | -- | Inf
183.55/183.63 c 184s|390000 |144396 | 1287k| 3.3 | 101M| 63 | 8 | 70 |3826 | 70 | 21 | 20 | 150k|2545 | 0.000000e+00 | -- | Inf
188.64/188.77 c 189s|400000 |147474 | 1320k| 3.3 | 103M| 63 | - | 70 |3078 | 70 | 21 | 20 | 154k|2570 | 0.000000e+00 | -- | Inf
193.56/193.64 c 194s|410000 |150738 | 1351k| 3.3 | 106M| 63 | 8 | 70 |2982 | 70 | 21 | 20 | 158k|2584 | 0.000000e+00 | -- | Inf
198.65/198.72 c 199s|420000 |154011 | 1384k| 3.3 | 108M| 63 | 8 | 70 |2970 | 70 | 21 | 20 | 162k|2611 | 0.000000e+00 | -- | Inf
203.64/203.78 c 204s|430000 |157280 | 1417k| 3.3 | 111M| 63 | 8 | 70 |3123 | 70 | 21 | 20 | 166k|2633 | 0.000000e+00 | -- | Inf
208.84/208.95 c 209s|440000 |160226 | 1450k| 3.3 | 113M| 63 | 8 | 70 |2838 | 70 | 21 | 20 | 170k|2654 | 0.000000e+00 | -- | Inf
213.74/213.81 c 214s|450000 |163615 | 1483k| 3.3 | 116M| 63 | 8 | 70 |3277 | 70 | 21 | 20 | 175k|2675 | 0.000000e+00 | -- | Inf
218.75/218.81 c 219s|460000 |166912 | 1515k| 3.3 | 118M| 63 | 8 | 70 |2972 | 70 | 21 | 20 | 179k|2704 | 0.000000e+00 | -- | Inf
223.73/223.81 c 224s|470000 |170159 | 1548k| 3.3 | 120M| 63 | - | 70 |3372 | 70 | 21 | 20 | 183k|2721 | 0.000000e+00 | -- | Inf
228.74/228.89 c 229s|480000 |173137 | 1580k| 3.3 | 123M| 63 | 8 | 70 |3769 | 70 | 21 | 20 | 187k|2733 | 0.000000e+00 | -- | Inf
233.63/233.76 c 234s|490000 |176832 | 1613k| 3.3 | 126M| 63 | 8 | 70 |4138 | 70 | 21 | 20 | 191k|2747 | 0.000000e+00 | -- | Inf
238.83/238.90 c 239s|500000 |180121 | 1646k| 3.3 | 128M| 63 | 8 | 70 |4116 | 70 | 21 | 20 | 195k|2752 | 0.000000e+00 | -- | Inf
244.04/244.19 c 244s|510000 |183244 | 1678k| 3.3 | 130M| 63 | - | 70 |3100 | 70 | 21 | 20 | 199k|2770 | 0.000000e+00 | -- | Inf
249.33/249.46 c 249s|520000 |186157 | 1711k| 3.3 | 133M| 63 | 8 | 70 |2810 | 70 | 21 | 20 | 204k|2780 | 0.000000e+00 | -- | Inf
254.33/254.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
254.33/254.50 c 254s|530000 |189232 | 1743k| 3.3 | 135M| 63 | 8 | 70 |3015 | 70 | 21 | 20 | 208k|2800 | 0.000000e+00 | -- | Inf
259.33/259.50 c 259s|540000 |192483 | 1776k| 3.3 | 138M| 63 | 8 | 70 |3188 | 70 | 21 | 20 | 212k|2815 | 0.000000e+00 | -- | Inf
264.33/264.42 c 264s|550000 |195799 | 1809k| 3.3 | 140M| 63 | 8 | 70 |3482 | 70 | 21 | 20 | 216k|2833 | 0.000000e+00 | -- | Inf
269.43/269.58 c 270s|560000 |198903 | 1841k| 3.3 | 142M| 63 | 8 | 70 |3021 | 70 | 21 | 20 | 220k|2853 | 0.000000e+00 | -- | Inf
274.62/274.72 c 275s|570000 |201950 | 1873k| 3.3 | 145M| 63 | - | 70 |3092 | 70 | 21 | 20 | 225k|2867 | 0.000000e+00 | -- | Inf
279.72/279.82 c 280s|580000 |205005 | 1906k| 3.3 | 147M| 63 | 8 | 70 |3611 | 70 | 21 | 20 | 229k|2879 | 0.000000e+00 | -- | Inf
284.92/285.06 c 285s|590000 |207933 | 1939k| 3.3 | 150M| 63 | 8 | 70 |3453 | 70 | 21 | 20 | 233k|2898 | 0.000000e+00 | -- | Inf
290.12/290.21 c 290s|600000 |211204 | 1971k| 3.3 | 152M| 63 | 8 | 70 |3050 | 70 | 21 | 20 | 237k|2912 | 0.000000e+00 | -- | Inf
294.63/294.78 c 295s|610000 |214950 | 2005k| 3.3 | 155M| 63 | 8 | 70 |4899 | 70 | 21 | 20 | 241k|2923 | 0.000000e+00 | -- | Inf
299.92/300.04 c 300s|620000 |218046 | 2037k| 3.3 | 157M| 63 | 8 | 70 |3786 | 70 | 21 | 20 | 245k|2937 | 0.000000e+00 | -- | Inf
305.22/305.34 c 305s|630000 |221152 | 2070k| 3.3 | 160M| 63 | 8 | 70 |3291 | 70 | 21 | 20 | 250k|2953 | 0.000000e+00 | -- | Inf
310.41/310.55 c 311s|640000 |224214 | 2102k| 3.3 | 162M| 63 | 8 | 70 |3182 | 70 | 21 | 20 | 254k|2967 | 0.000000e+00 | -- | Inf
315.42/315.52 c 316s|650000 |227704 | 2135k| 3.3 | 165M| 63 | 8 | 70 |3438 | 70 | 21 | 20 | 258k|2982 | 0.000000e+00 | -- | Inf
320.81/320.92 c 321s|660000 |230501 | 2168k| 3.3 | 167M| 63 | - | 70 |3251 | 70 | 21 | 20 | 262k|2991 | 0.000000e+00 | -- | Inf
326.01/326.12 c 326s|670000 |233574 | 2200k| 3.3 | 169M| 63 | 8 | 70 |3163 | 70 | 21 | 20 | 267k|3006 | 0.000000e+00 | -- | Inf
331.31/331.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
331.31/331.42 c 331s|680000 |236704 | 2233k| 3.3 | 172M| 63 | 8 | 70 |3135 | 70 | 21 | 20 | 271k|3022 | 0.000000e+00 | -- | Inf
336.52/336.67 c 337s|690000 |239857 | 2265k| 3.3 | 174M| 63 | 8 | 70 |2836 | 70 | 21 | 20 | 275k|3038 | 0.000000e+00 | -- | Inf
341.60/341.77 c 342s|700000 |242961 | 2299k| 3.3 | 177M| 63 | 8 | 70 |3317 | 70 | 21 | 20 | 279k|3057 | 0.000000e+00 | -- | Inf
346.50/346.66 c 347s|710000 |246471 | 2330k| 3.3 | 179M| 63 | 8 | 70 |3883 | 70 | 21 | 20 | 283k|3077 | 0.000000e+00 | -- | Inf
351.60/351.76 c 352s|720000 |249672 | 2363k| 3.3 | 182M| 63 | - | 70 |4206 | 70 | 21 | 20 | 287k|3094 | 0.000000e+00 | -- | Inf
356.70/356.85 c 357s|730000 |252861 | 2396k| 3.3 | 184M| 63 | - | 70 |5227 | 70 | 21 | 20 | 292k|3100 | 0.000000e+00 | -- | Inf
362.20/362.38 c 362s|740000 |256043 | 2429k| 3.3 | 186M| 63 | 8 | 70 |3589 | 70 | 21 | 20 | 296k|3109 | 0.000000e+00 | -- | Inf
367.70/367.86 c 368s|750000 |258775 | 2462k| 3.3 | 189M| 63 | 8 | 70 |3422 | 70 | 21 | 20 | 300k|3123 | 0.000000e+00 | -- | Inf
372.90/373.10 c 373s|760000 |261762 | 2495k| 3.3 | 191M| 63 | 8 | 70 |3352 | 70 | 21 | 20 | 305k|3132 | 0.000000e+00 | -- | Inf
378.21/378.35 c 378s|770000 |264717 | 2527k| 3.3 | 194M| 63 | 8 | 70 |3280 | 70 | 21 | 20 | 309k|3134 | 0.000000e+00 | -- | Inf
383.39/383.54 c 384s|780000 |267715 | 2560k| 3.3 | 196M| 63 | 8 | 70 |3434 | 70 | 21 | 20 | 313k|3134 | 0.000000e+00 | -- | Inf
388.79/388.95 c 389s|790000 |270701 | 2592k| 3.3 | 198M| 63 | 8 | 70 |3298 | 70 | 21 | 20 | 317k|3141 | 0.000000e+00 | -- | Inf
393.70/393.81 c 394s|800000 |274156 | 2624k| 3.3 | 201M| 63 | 8 | 70 |3749 | 70 | 21 | 20 | 321k|3145 | 0.000000e+00 | -- | Inf
399.10/399.23 c 399s|810000 |277355 | 2656k| 3.3 | 203M| 63 | - | 70 |3139 | 70 | 21 | 20 | 326k|3147 | 0.000000e+00 | -- | Inf
404.09/404.23 c 404s|820000 |280532 | 2688k| 3.3 | 206M| 63 | 8 | 70 |3754 | 70 | 21 | 20 | 330k|3153 | 0.000000e+00 | -- | Inf
409.29/409.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
409.29/409.42 c 409s|830000 |283826 | 2720k| 3.3 | 208M| 63 | 8 | 70 |3825 | 70 | 21 | 20 | 334k|3162 | 0.000000e+00 | -- | Inf
414.60/414.78 c 415s|840000 |287031 | 2753k| 3.3 | 211M| 63 | - | 70 |3680 | 70 | 21 | 20 | 338k|3177 | 0.000000e+00 | -- | Inf
419.88/420.07 c 420s|850000 |290117 | 2786k| 3.3 | 213M| 63 | 8 | 70 |3543 | 70 | 21 | 20 | 342k|3185 | 0.000000e+00 | -- | Inf
425.08/425.29 c 425s|860000 |293127 | 2818k| 3.3 | 215M| 63 | - | 70 |3603 | 70 | 21 | 20 | 347k|3196 | 0.000000e+00 | -- | Inf
430.18/430.36 c 430s|870000 |296359 | 2851k| 3.3 | 218M| 63 | 8 | 70 |4023 | 70 | 21 | 20 | 351k|3201 | 0.000000e+00 | -- | Inf
435.68/435.81 c 436s|880000 |299392 | 2884k| 3.3 | 220M| 63 | 8 | 70 |4058 | 70 | 21 | 20 | 355k|3207 | 0.000000e+00 | -- | Inf
440.99/441.19 c 441s|890000 |302531 | 2916k| 3.3 | 223M| 63 | 8 | 70 |4133 | 70 | 21 | 20 | 359k|3217 | 0.000000e+00 | -- | Inf
446.49/446.65 c 447s|900000 |305510 | 2948k| 3.3 | 225M| 63 | 8 | 70 |3907 | 70 | 21 | 20 | 364k|3227 | 0.000000e+00 | -- | Inf
451.77/451.96 c 452s|910000 |308664 | 2980k| 3.3 | 228M| 63 | 8 | 70 |3840 | 70 | 21 | 20 | 368k|3232 | 0.000000e+00 | -- | Inf
457.28/457.42 c 457s|920000 |311664 | 3013k| 3.3 | 230M| 63 | 8 | 70 |3302 | 70 | 21 | 20 | 372k|3232 | 0.000000e+00 | -- | Inf
462.48/462.60 c 463s|930000 |314621 | 3045k| 3.3 | 232M| 63 | 8 | 70 |3239 | 70 | 21 | 20 | 377k|3232 | 0.000000e+00 | -- | Inf
467.68/467.87 c 468s|940000 |317721 | 3078k| 3.3 | 235M| 63 | 8 | 70 |3525 | 70 | 21 | 20 | 381k|3232 | 0.000000e+00 | -- | Inf
473.08/473.21 c 473s|950000 |320785 | 3110k| 3.3 | 237M| 63 | 8 | 70 |3384 | 70 | 21 | 20 | 385k|3232 | 0.000000e+00 | -- | Inf
478.17/478.34 c 478s|960000 |323958 | 3141k| 3.3 | 240M| 63 | 8 | 70 |3442 | 70 | 21 | 20 | 389k|3232 | 0.000000e+00 | -- | Inf
483.47/483.68 c 484s|970000 |326945 | 3174k| 3.3 | 242M| 63 | 8 | 70 |3675 | 70 | 21 | 20 | 393k|3232 | 0.000000e+00 | -- | Inf
488.96/489.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
488.96/489.16 c 489s|980000 |329890 | 3206k| 3.3 | 244M| 63 | 8 | 70 |3503 | 70 | 21 | 20 | 398k|3232 | 0.000000e+00 | -- | Inf
494.27/494.47 c 494s|990000 |332916 | 3238k| 3.3 | 247M| 63 | - | 70 |3342 | 0 | 0 | 20 | 402k|3232 | 0.000000e+00 | -- | Inf
499.57/499.73 c 500s| 1000k|335950 | 3270k| 3.3 | 249M| 63 | 8 | 70 |3520 | 70 | 21 | 20 | 406k|3232 | 0.000000e+00 | -- | Inf
505.17/505.36 c 505s| 1010k|338663 | 3303k| 3.3 | 252M| 63 | - | 70 |3586 | 70 | 21 | 20 | 411k|3238 | 0.000000e+00 | -- | Inf
510.56/510.73 c 511s| 1020k|341559 | 3337k| 3.3 | 254M| 63 | 8 | 70 |3589 | 70 | 21 | 20 | 415k|3242 | 0.000000e+00 | -- | Inf
515.56/515.79 c 516s| 1030k|344767 | 3369k| 3.3 | 256M| 63 | 8 | 70 |3707 | 70 | 21 | 20 | 419k|3250 | 0.000000e+00 | -- | Inf
520.96/521.17 c 521s| 1040k|347845 | 3401k| 3.3 | 259M| 63 | - | 70 |3554 | 70 | 21 | 20 | 424k|3252 | 0.000000e+00 | -- | Inf
526.26/526.41 c 526s| 1050k|351007 | 3433k| 3.3 | 261M| 63 | 8 | 70 |3900 | 70 | 21 | 20 | 428k|3252 | 0.000000e+00 | -- | Inf
531.76/531.97 c 532s| 1060k|353881 | 3466k| 3.3 | 264M| 63 | 8 | 70 |3859 | 70 | 21 | 20 | 432k|3252 | 0.000000e+00 | -- | Inf
537.05/537.23 c 537s| 1070k|356852 | 3498k| 3.3 | 266M| 63 | - | 70 |4056 | 70 | 21 | 20 | 436k|3257 | 0.000000e+00 | -- | Inf
542.45/542.61 c 543s| 1080k|360010 | 3532k| 3.3 | 269M| 63 | 8 | 70 |4023 | 70 | 21 | 20 | 441k|3264 | 0.000000e+00 | -- | Inf
547.75/547.99 c 548s| 1090k|363039 | 3565k| 3.3 | 271M| 63 | 8 | 70 |4142 | 70 | 21 | 20 | 445k|3271 | 0.000000e+00 | -- | Inf
553.25/553.43 c 553s| 1100k|365958 | 3597k| 3.3 | 273M| 63 | 8 | 70 |3841 | 70 | 21 | 20 | 449k|3276 | 0.000000e+00 | -- | Inf
558.45/558.65 c 559s| 1110k|369234 | 3630k| 3.3 | 276M| 63 | 8 | 70 |4016 | 70 | 21 | 20 | 454k|3286 | 0.000000e+00 | -- | Inf
563.85/564.07 c 564s| 1120k|372355 | 3662k| 3.3 | 278M| 63 | 8 | 70 |3584 | 70 | 21 | 20 | 458k|3294 | 0.000000e+00 | -- | Inf
569.05/569.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
569.05/569.23 c 569s| 1130k|375568 | 3695k| 3.3 | 281M| 63 | - | 70 |3828 | 70 | 21 | 20 | 462k|3305 | 0.000000e+00 | -- | Inf
574.24/574.45 c 574s| 1140k|378653 | 3727k| 3.3 | 283M| 63 | - | 70 |4430 | 70 | 21 | 20 | 466k|3311 | 0.000000e+00 | -- | Inf
579.75/579.97 c 580s| 1150k|381681 | 3759k| 3.3 | 285M| 63 | 8 | 70 |4257 | 70 | 21 | 20 | 471k|3319 | 0.000000e+00 | -- | Inf
585.05/585.27 c 585s| 1160k|384794 | 3792k| 3.3 | 288M| 63 | - | 70 |4348 | 70 | 21 | 20 | 475k|3323 | 0.000000e+00 | -- | Inf
590.64/590.81 c 591s| 1170k|387814 | 3824k| 3.3 | 290M| 63 | 8 | 70 |4254 | 70 | 21 | 20 | 479k|3334 | 0.000000e+00 | -- | Inf
595.95/596.18 c 596s| 1180k|390792 | 3857k| 3.3 | 293M| 63 | 8 | 70 |4099 | 70 | 21 | 20 | 483k|3337 | 0.000000e+00 | -- | Inf
601.14/601.37 c 601s| 1190k|393954 | 3891k| 3.3 | 295M| 63 | 8 | 70 |4513 | 70 | 21 | 20 | 488k|3337 | 0.000000e+00 | -- | Inf
606.74/606.91 c 607s| 1200k|396928 | 3924k| 3.3 | 297M| 63 | 8 | 70 |4396 | 70 | 21 | 20 | 492k|3337 | 0.000000e+00 | -- | Inf
612.14/612.34 c 612s| 1210k|400028 | 3956k| 3.3 | 300M| 63 | - | 70 |4352 | 70 | 21 | 20 | 496k|3337 | 0.000000e+00 | -- | Inf
617.64/617.86 c 618s| 1220k|402854 | 3989k| 3.3 | 302M| 63 | 8 | 70 |4199 | 70 | 21 | 20 | 501k|3337 | 0.000000e+00 | -- | Inf
623.24/623.40 c 623s| 1230k|405874 | 4021k| 3.3 | 304M| 63 | 8 | 70 |3843 | 70 | 21 | 20 | 505k|3340 | 0.000000e+00 | -- | Inf
628.53/628.73 c 629s| 1240k|408838 | 4054k| 3.3 | 307M| 63 | 8 | 70 |4304 | 70 | 21 | 20 | 509k|3345 | 0.000000e+00 | -- | Inf
634.13/634.35 c 634s| 1250k|411639 | 4086k| 3.3 | 309M| 63 | 8 | 70 |3829 | 70 | 21 | 20 | 514k|3351 | 0.000000e+00 | -- | Inf
639.63/639.84 c 640s| 1260k|414435 | 4119k| 3.3 | 312M| 63 | 8 | 70 |3985 | 70 | 21 | 20 | 518k|3357 | 0.000000e+00 | -- | Inf
645.13/645.34 c 645s| 1270k|417299 | 4152k| 3.3 | 314M| 63 | 8 | 70 |4341 | 70 | 21 | 20 | 522k|3364 | 0.000000e+00 | -- | Inf
650.53/650.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
650.53/650.70 c 651s| 1280k|420476 | 4184k| 3.3 | 316M| 63 | 8 | 70 |3840 | 70 | 21 | 20 | 527k|3373 | 0.000000e+00 | -- | Inf
655.92/656.16 c 656s| 1290k|423441 | 4217k| 3.3 | 319M| 63 | 8 | 70 |3931 | 70 | 21 | 20 | 531k|3378 | 0.000000e+00 | -- | Inf
661.23/661.43 c 661s| 1300k|426522 | 4249k| 3.3 | 321M| 63 | - | 70 |4312 | 70 | 21 | 20 | 535k|3383 | 0.000000e+00 | -- | Inf
666.62/666.89 c 667s| 1310k|429499 | 4281k| 3.3 | 324M| 63 | 8 | 70 |4525 | 70 | 21 | 20 | 539k|3390 | 0.000000e+00 | -- | Inf
672.13/672.30 c 672s| 1320k|432617 | 4314k| 3.3 | 326M| 63 | - | 70 |4217 | 0 | 0 | 20 | 544k|3400 | 0.000000e+00 | -- | Inf
677.72/677.97 c 678s| 1330k|435350 | 4346k| 3.3 | 328M| 63 | 8 | 70 |4026 | 70 | 21 | 20 | 548k|3408 | 0.000000e+00 | -- | Inf
682.93/683.12 c 683s| 1340k|438711 | 4379k| 3.3 | 331M| 63 | 8 | 70 |5210 | 70 | 21 | 20 | 552k|3423 | 0.000000e+00 | -- | Inf
688.42/688.69 c 689s| 1350k|441792 | 4412k| 3.3 | 333M| 63 | - | 70 |4879 | 70 | 21 | 20 | 557k|3430 | 0.000000e+00 | -- | Inf
694.22/694.49 c 694s| 1360k|444581 | 4445k| 3.3 | 336M| 63 | 8 | 70 |3964 | 70 | 21 | 20 | 561k|3430 | 0.000000e+00 | -- | Inf
699.43/699.67 c 700s| 1370k|447713 | 4479k| 3.3 | 338M| 63 | 8 | 70 |4836 | 70 | 21 | 20 | 565k|3430 | 0.000000e+00 | -- | Inf
705.12/705.34 c 705s| 1380k|450748 | 4512k| 3.3 | 341M| 63 | - | 70 |4179 | 70 | 21 | 20 | 569k|3430 | 0.000000e+00 | -- | Inf
710.51/710.74 c 711s| 1390k|453826 | 4544k| 3.3 | 343M| 63 | 8 | 70 |4208 | 70 | 21 | 20 | 574k|3430 | 0.000000e+00 | -- | Inf
716.11/716.30 c 716s| 1400k|456691 | 4576k| 3.3 | 345M| 63 | - | 70 |4119 | 70 | 21 | 20 | 578k|3437 | 0.000000e+00 | -- | Inf
721.61/721.84 c 722s| 1410k|459611 | 4608k| 3.3 | 348M| 63 | 8 | 70 |4271 | 70 | 21 | 20 | 582k|3442 | 0.000000e+00 | -- | Inf
727.11/727.36 c 727s| 1420k|462414 | 4640k| 3.3 | 350M| 63 | 8 | 70 |3601 | 70 | 21 | 20 | 587k|3446 | 0.000000e+00 | -- | Inf
732.61/732.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
732.61/732.87 c 733s| 1430k|465389 | 4673k| 3.3 | 352M| 63 | - | 70 |3296 | 70 | 21 | 20 | 591k|3453 | 0.000000e+00 | -- | Inf
738.01/738.22 c 738s| 1440k|468254 | 4705k| 3.3 | 355M| 63 | 8 | 70 |3578 | 70 | 21 | 20 | 596k|3464 | 0.000000e+00 | -- | Inf
743.61/743.81 c 744s| 1450k|471053 | 4737k| 3.3 | 357M| 63 | 8 | 70 |3648 | 70 | 21 | 20 | 600k|3476 | 0.000000e+00 | -- | Inf
749.01/749.26 c 749s| 1460k|474117 | 4770k| 3.3 | 359M| 63 | 8 | 70 |3657 | 70 | 21 | 20 | 604k|3487 | 0.000000e+00 | -- | Inf
754.20/754.48 c 754s| 1470k|477175 | 4802k| 3.3 | 362M| 63 | 8 | 70 |4527 | 70 | 21 | 20 | 608k|3496 | 0.000000e+00 | -- | Inf
760.00/760.20 c 760s| 1480k|480157 | 4835k| 3.3 | 364M| 63 | 8 | 70 |4124 | 70 | 21 | 20 | 613k|3503 | 0.000000e+00 | -- | Inf
765.20/765.44 c 765s| 1490k|483270 | 4867k| 3.3 | 367M| 63 | 8 | 70 |4708 | 70 | 21 | 20 | 617k|3516 | 0.000000e+00 | -- | Inf
770.81/771.08 c 771s| 1500k|486133 | 4900k| 3.3 | 369M| 63 | 8 | 70 |4336 | 70 | 21 | 20 | 621k|3519 | 0.000000e+00 | -- | Inf
776.19/776.47 c 776s| 1510k|489220 | 4932k| 3.3 | 372M| 63 | 8 | 70 |4256 | 70 | 21 | 20 | 626k|3523 | 0.000000e+00 | -- | Inf
781.81/782.04 c 782s| 1520k|492055 | 4965k| 3.3 | 374M| 63 | 8 | 70 |4356 | 70 | 21 | 20 | 630k|3531 | 0.000000e+00 | -- | Inf
787.40/787.63 c 788s| 1530k|494794 | 4998k| 3.3 | 376M| 63 | - | 70 |4051 | 0 | 0 | 20 | 634k|3536 | 0.000000e+00 | -- | Inf
792.99/793.24 c 793s| 1540k|497566 | 5030k| 3.3 | 379M| 63 | 8 | 70 |3968 | 70 | 21 | 20 | 639k|3550 | 0.000000e+00 | -- | Inf
798.29/798.57 c 799s| 1550k|500551 | 5062k| 3.3 | 381M| 63 | 8 | 70 |4446 | 70 | 21 | 20 | 643k|3558 | 0.000000e+00 | -- | Inf
804.19/804.42 c 804s| 1560k|503451 | 5094k| 3.3 | 383M| 63 | 8 | 70 |3623 | 70 | 21 | 20 | 647k|3570 | 0.000000e+00 | -- | Inf
809.69/809.92 c 810s| 1570k|506274 | 5126k| 3.3 | 386M| 63 | 8 | 70 |3867 | 70 | 21 | 20 | 652k|3574 | 0.000000e+00 | -- | Inf
815.19/815.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
815.19/815.49 c 815s| 1580k|509106 | 5158k| 3.3 | 388M| 63 | 8 | 70 |3968 | 70 | 21 | 20 | 656k|3580 | 0.000000e+00 | -- | Inf
820.69/820.90 c 821s| 1590k|512044 | 5191k| 3.3 | 391M| 63 | 8 | 70 |4402 | 70 | 21 | 20 | 660k|3587 | 0.000000e+00 | -- | Inf
826.19/826.43 c 826s| 1600k|515124 | 5222k| 3.3 | 393M| 63 | 8 | 70 |4218 | 70 | 21 | 20 | 665k|3592 | 0.000000e+00 | -- | Inf
831.79/832.05 c 832s| 1610k|518005 | 5253k| 3.3 | 395M| 63 | 8 | 70 |3970 | 70 | 21 | 20 | 669k|3596 | 0.000000e+00 | -- | Inf
837.39/837.64 c 838s| 1620k|520910 | 5286k| 3.3 | 398M| 63 | - | 70 |4289 | 70 | 21 | 20 | 673k|3602 | 0.000000e+00 | -- | Inf
842.48/842.79 c 843s| 1630k|524533 | 5318k| 3.3 | 400M| 63 | 8 | 70 |4902 | 70 | 21 | 20 | 677k|3616 | 0.000000e+00 | -- | Inf
847.98/848.28 c 848s| 1640k|527766 | 5349k| 3.3 | 403M| 63 | 8 | 70 |4836 | 70 | 21 | 20 | 682k|3624 | 0.000000e+00 | -- | Inf
853.88/854.18 c 854s| 1650k|530394 | 5381k| 3.3 | 405M| 63 | 8 | 70 |4178 | 70 | 21 | 20 | 686k|3630 | 0.000000e+00 | -- | Inf
859.37/859.68 c 860s| 1660k|533210 | 5414k| 3.3 | 408M| 63 | - | 70 |4489 | 70 | 21 | 20 | 690k|3640 | 0.000000e+00 | -- | Inf
864.68/864.96 c 865s| 1670k|536287 | 5447k| 3.3 | 410M| 63 | 8 | 70 |5023 | 70 | 21 | 20 | 695k|3647 | 0.000000e+00 | -- | Inf
870.37/870.66 c 871s| 1680k|539021 | 5479k| 3.3 | 412M| 63 | 8 | 70 |4010 | 70 | 21 | 20 | 699k|3648 | 0.000000e+00 | -- | Inf
876.07/876.35 c 876s| 1690k|541775 | 5511k| 3.3 | 415M| 63 | 8 | 70 |3881 | 70 | 21 | 20 | 703k|3651 | 0.000000e+00 | -- | Inf
881.27/881.51 c 881s| 1700k|545107 | 5543k| 3.3 | 417M| 63 | 8 | 70 |4866 | 70 | 21 | 20 | 708k|3656 | 0.000000e+00 | -- | Inf
886.27/886.58 c 887s| 1710k|548315 | 5576k| 3.3 | 420M| 63 | 8 | 70 |6119 | 70 | 21 | 20 | 712k|3664 | 0.000000e+00 | -- | Inf
892.07/892.40 c 892s| 1720k|551311 | 5608k| 3.3 | 422M| 63 | - | 70 |5103 | 70 | 21 | 20 | 716k|3669 | 0.000000e+00 | -- | Inf
898.17/898.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
898.17/898.47 c 898s| 1730k|554003 | 5641k| 3.3 | 424M| 63 | - | 70 |3995 | 70 | 21 | 20 | 720k|3673 | 0.000000e+00 | -- | Inf
903.76/904.01 c 904s| 1740k|556917 | 5673k| 3.3 | 427M| 63 | 8 | 70 |3886 | 70 | 21 | 20 | 725k|3678 | 0.000000e+00 | -- | Inf
909.16/909.47 c 909s| 1750k|559852 | 5705k| 3.3 | 429M| 63 | 8 | 70 |3965 | 70 | 21 | 20 | 729k|3684 | 0.000000e+00 | -- | Inf
914.46/914.79 c 915s| 1760k|562917 | 5737k| 3.3 | 432M| 63 | 8 | 70 |4826 | 70 | 21 | 20 | 734k|3692 | 0.000000e+00 | -- | Inf
920.06/920.40 c 920s| 1770k|565708 | 5769k| 3.3 | 434M| 63 | 8 | 70 |4180 | 70 | 21 | 20 | 738k|3702 | 0.000000e+00 | -- | Inf
925.66/925.94 c 926s| 1780k|568678 | 5802k| 3.3 | 436M| 63 | 8 | 70 |4078 | 70 | 21 | 20 | 742k|3707 | 0.000000e+00 | -- | Inf
931.25/931.57 c 932s| 1790k|571554 | 5833k| 3.3 | 439M| 63 | 8 | 70 |3786 | 70 | 21 | 20 | 747k|3714 | 0.000000e+00 | -- | Inf
936.56/936.88 c 937s| 1800k|574646 | 5865k| 3.3 | 441M| 63 | 8 | 70 |4336 | 70 | 21 | 20 | 751k|3717 | 0.000000e+00 | -- | Inf
942.15/942.41 c 942s| 1810k|577662 | 5896k| 3.3 | 443M| 63 | 8 | 70 |3965 | 70 | 21 | 20 | 755k|3724 | 0.000000e+00 | -- | Inf
947.26/947.55 c 948s| 1820k|580755 | 5928k| 3.3 | 446M| 63 | - | 70 |4385 | 70 | 21 | 20 | 760k|3728 | 0.000000e+00 | -- | Inf
952.85/953.10 c 953s| 1830k|583708 | 5959k| 3.3 | 448M| 63 | - | 70 |4199 | 70 | 21 | 20 | 764k|3742 | 0.000000e+00 | -- | Inf
958.25/958.52 c 959s| 1840k|586755 | 5991k| 3.3 | 451M| 63 | 8 | 70 |4810 | 70 | 21 | 20 | 768k|3748 | 0.000000e+00 | -- | Inf
964.05/964.38 c 964s| 1850k|589426 | 6023k| 3.3 | 453M| 63 | 8 | 70 |4067 | 70 | 21 | 20 | 773k|3756 | 0.000000e+00 | -- | Inf
969.35/969.69 c 970s| 1860k|592453 | 6055k| 3.3 | 455M| 63 | - | 70 |4320 | 70 | 21 | 20 | 777k|3761 | 0.000000e+00 | -- | Inf
974.94/975.27 c 975s| 1870k|595309 | 6086k| 3.3 | 458M| 63 | 8 | 70 |4317 | 70 | 21 | 20 | 781k|3771 | 0.000000e+00 | -- | Inf
980.55/980.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
980.55/980.89 c 981s| 1880k|598307 | 6119k| 3.3 | 460M| 63 | 8 | 70 |4163 | 70 | 21 | 20 | 786k|3778 | 0.000000e+00 | -- | Inf
986.15/986.40 c 986s| 1890k|601106 | 6152k| 3.3 | 463M| 63 | - | 70 |4706 | 70 | 21 | 20 | 790k|3781 | 0.000000e+00 | -- | Inf
991.54/991.89 c 992s| 1900k|604015 | 6184k| 3.3 | 465M| 63 | - | 70 |4625 | 70 | 21 | 20 | 794k|3781 | 0.000000e+00 | -- | Inf
997.14/997.48 c 997s| 1910k|606907 | 6216k| 3.3 | 467M| 63 | - | 70 |4319 | 70 | 21 | 20 | 799k|3781 | 0.000000e+00 | -- | Inf
1002.95/1003.27 c 1003s| 1920k|609650 | 6249k| 3.3 | 470M| 63 | 8 | 70 |4203 | 70 | 21 | 20 | 803k|3782 | 0.000000e+00 | -- | Inf
1008.34/1008.67 c 1009s| 1930k|612704 | 6282k| 3.3 | 472M| 63 | 8 | 70 |4815 | 70 | 21 | 20 | 807k|3786 | 0.000000e+00 | -- | Inf
1013.95/1014.27 c 1014s| 1940k|615639 | 6315k| 3.3 | 474M| 63 | - | 70 |4202 | 70 | 21 | 20 | 812k|3791 | 0.000000e+00 | -- | Inf
1019.74/1020.00 c 1020s| 1950k|618363 | 6348k| 3.3 | 477M| 63 | 8 | 70 |4091 | 70 | 21 | 20 | 816k|3795 | 0.000000e+00 | -- | Inf
1025.03/1025.38 c 1025s| 1960k|621303 | 6380k| 3.3 | 479M| 63 | 8 | 70 |4512 | 70 | 21 | 20 | 821k|3795 | 0.000000e+00 | -- | Inf
1030.73/1031.01 c 1031s| 1970k|624106 | 6412k| 3.3 | 482M| 63 | 8 | 70 |4604 | 70 | 21 | 20 | 825k|3799 | 0.000000e+00 | -- | Inf
1036.33/1036.61 c 1037s| 1980k|626925 | 6444k| 3.3 | 484M| 63 | - | 70 |4028 | 70 | 21 | 20 | 829k|3806 | 0.000000e+00 | -- | Inf
1041.83/1042.13 c 1042s| 1990k|629912 | 6477k| 3.3 | 486M| 63 | - | 70 |4323 | 70 | 21 | 20 | 834k|3806 | 0.000000e+00 | -- | Inf
1047.32/1047.64 c 1048s| 2000k|632947 | 6509k| 3.3 | 489M| 63 | - | 70 |4751 | 70 | 21 | 20 | 838k|3811 | 0.000000e+00 | -- | Inf
1053.02/1053.35 c 1053s| 2010k|635885 | 6540k| 3.3 | 491M| 63 | - | 70 |4645 | 70 | 21 | 20 | 842k|3819 | 0.000000e+00 | -- | Inf
1058.93/1059.20 c 1059s| 2020k|638611 | 6572k| 3.3 | 493M| 63 | - | 70 |3994 | 70 | 21 | 20 | 847k|3825 | 0.000000e+00 | -- | Inf
1064.22/1064.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1064.22/1064.55 c 1065s| 2030k|641543 | 6605k| 3.3 | 496M| 63 | 8 | 70 |4535 | 70 | 21 | 20 | 851k|3828 | 0.000000e+00 | -- | Inf
1069.82/1070.11 c 1070s| 2040k|644366 | 6637k| 3.3 | 498M| 63 | 8 | 70 |4636 | 70 | 21 | 20 | 856k|3834 | 0.000000e+00 | -- | Inf
1075.53/1075.82 c 1076s| 2050k|647267 | 6670k| 3.3 | 501M| 63 | 8 | 70 |4330 | 70 | 21 | 20 | 860k|3840 | 0.000000e+00 | -- | Inf
1081.12/1081.49 c 1081s| 2060k|650228 | 6702k| 3.3 | 503M| 63 | - | 70 |4262 | 70 | 21 | 20 | 864k|3845 | 0.000000e+00 | -- | Inf
1086.53/1086.86 c 1087s| 2070k|653244 | 6734k| 3.3 | 506M| 63 | - | 70 |4887 | 70 | 21 | 20 | 869k|3849 | 0.000000e+00 | -- | Inf
1092.21/1092.56 c 1093s| 2080k|656042 | 6766k| 3.3 | 508M| 63 | - | 70 |4191 | 70 | 21 | 20 | 873k|3853 | 0.000000e+00 | -- | Inf
1097.91/1098.20 c 1098s| 2090k|658794 | 6798k| 3.3 | 510M| 63 | - | 70 |4505 | 70 | 21 | 20 | 878k|3863 | 0.000000e+00 | -- | Inf
1103.41/1103.76 c 1104s| 2100k|661590 | 6831k| 3.3 | 513M| 63 | 8 | 70 |4797 | 70 | 21 | 20 | 882k|3870 | 0.000000e+00 | -- | Inf
1109.11/1109.50 c 1109s| 2110k|664560 | 6863k| 3.3 | 515M| 63 | - | 70 |4609 | 70 | 21 | 20 | 886k|3873 | 0.000000e+00 | -- | Inf
1114.82/1115.12 c 1115s| 2120k|667464 | 6895k| 3.3 | 518M| 63 | 8 | 70 |4747 | 70 | 21 | 20 | 891k|3878 | 0.000000e+00 | -- | Inf
1120.41/1120.79 c 1121s| 2130k|670409 | 6928k| 3.3 | 520M| 63 | 8 | 70 |4665 | 70 | 21 | 20 | 895k|3881 | 0.000000e+00 | -- | Inf
1126.12/1126.48 c 1126s| 2140k|673339 | 6960k| 3.3 | 522M| 63 | 8 | 70 |4140 | 70 | 21 | 20 | 899k|3885 | 0.000000e+00 | -- | Inf
1131.52/1131.85 c 1132s| 2150k|676399 | 6992k| 3.3 | 525M| 63 | - | 70 |4839 | 0 | 0 | 20 | 904k|3888 | 0.000000e+00 | -- | Inf
1136.81/1137.15 c 1137s| 2160k|679437 | 7023k| 3.3 | 527M| 63 | 8 | 70 |5717 | 70 | 21 | 20 | 908k|3897 | 0.000000e+00 | -- | Inf
1142.90/1143.23 c 1143s| 2170k|682167 | 7055k| 3.3 | 530M| 63 | - | 70 |4763 | 0 | 0 | 20 | 912k|3904 | 0.000000e+00 | -- | Inf
1148.41/1148.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1148.41/1148.76 c 1149s| 2180k|685213 | 7088k| 3.3 | 532M| 63 | - | 70 |4968 | 70 | 21 | 20 | 917k|3910 | 0.000000e+00 | -- | Inf
1154.10/1154.49 c 1154s| 2190k|688171 | 7120k| 3.3 | 534M| 63 | 8 | 70 |4715 | 70 | 21 | 20 | 921k|3914 | 0.000000e+00 | -- | Inf
1159.90/1160.28 c 1160s| 2200k|691019 | 7152k| 3.3 | 537M| 63 | 8 | 70 |4150 | 70 | 21 | 20 | 925k|3918 | 0.000000e+00 | -- | Inf
1165.61/1165.92 c 1166s| 2210k|693815 | 7184k| 3.3 | 539M| 63 | - | 70 |4828 | 70 | 21 | 20 | 930k|3927 | 0.000000e+00 | -- | Inf
1171.29/1171.63 c 1172s| 2220k|696893 | 7216k| 3.3 | 542M| 63 | 8 | 70 |5466 | 70 | 21 | 20 | 934k|3930 | 0.000000e+00 | -- | Inf
1177.10/1177.49 c 1177s| 2230k|699777 | 7248k| 3.3 | 544M| 63 | 8 | 70 |4923 | 70 | 21 | 20 | 938k|3932 | 0.000000e+00 | -- | Inf
1183.00/1183.36 c 1183s| 2240k|702388 | 7281k| 3.3 | 546M| 63 | 8 | 70 |4504 | 70 | 21 | 20 | 943k|3937 | 0.000000e+00 | -- | Inf
1189.09/1189.41 c 1189s| 2250k|704924 | 7313k| 3.3 | 549M| 63 | 8 | 70 |4537 | 70 | 21 | 20 | 947k|3942 | 0.000000e+00 | -- | Inf
1194.89/1195.20 c 1195s| 2260k|707626 | 7345k| 3.3 | 551M| 63 | - | 70 |4257 | 70 | 21 | 20 | 952k|3949 | 0.000000e+00 | -- | Inf
1200.19/1200.56 c 1201s| 2270k|710722 | 7377k| 3.2 | 553M| 63 | - | 70 |4436 | 70 | 21 | 20 | 956k|3954 | 0.000000e+00 | -- | Inf
1205.59/1205.92 c 1206s| 2280k|713772 | 7409k| 3.2 | 556M| 63 | 8 | 70 |5339 | 70 | 21 | 20 | 960k|3959 | 0.000000e+00 | -- | Inf
1211.09/1211.44 c 1211s| 2290k|716863 | 7442k| 3.2 | 558M| 63 | 8 | 70 |5099 | 70 | 21 | 20 | 964k|3962 | 0.000000e+00 | -- | Inf
1216.89/1217.22 c 1217s| 2300k|719727 | 7474k| 3.2 | 560M| 63 | 8 | 70 |4624 | 70 | 21 | 20 | 969k|3965 | 0.000000e+00 | -- | Inf
1222.49/1222.82 c 1223s| 2310k|722705 | 7505k| 3.2 | 563M| 63 | 8 | 70 |4514 | 70 | 21 | 20 | 973k|3971 | 0.000000e+00 | -- | Inf
1227.68/1228.05 c 1228s| 2320k|725923 | 7537k| 3.2 | 566M| 63 | 8 | 70 |5736 | 70 | 21 | 20 | 977k|3977 | 0.000000e+00 | -- | Inf
1233.28/1233.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1233.28/1233.63 c 1234s| 2330k|729055 | 7569k| 3.2 | 568M| 63 | - | 70 |5188 | 70 | 21 | 20 | 981k|3981 | 0.000000e+00 | -- | Inf
1239.08/1239.45 c 1239s| 2340k|731865 | 7600k| 3.2 | 570M| 63 | - | 70 |4693 | 70 | 21 | 20 | 986k|3986 | 0.000000e+00 | -- | Inf
1244.58/1244.94 c 1245s| 2350k|734984 | 7632k| 3.2 | 573M| 63 | 8 | 70 |5033 | 70 | 21 | 20 | 990k|3995 | 0.000000e+00 | -- | Inf
1250.08/1250.49 c 1250s| 2360k|737691 | 7664k| 3.2 | 575M| 63 | - | 70 |5781 | 70 | 21 | 20 | 995k|3998 | 0.000000e+00 | -- | Inf
1256.17/1256.59 c 1257s| 2370k|740441 | 7696k| 3.2 | 577M| 63 | - | 70 |4700 | 70 | 21 | 20 | 999k|4005 | 0.000000e+00 | -- | Inf
1261.97/1262.31 c 1262s| 2380k|743214 | 7728k| 3.2 | 579M| 63 | 8 | 70 |4551 | 70 | 21 | 20 |1003k|4009 | 0.000000e+00 | -- | Inf
1267.27/1267.64 c 1268s| 2390k|746289 | 7760k| 3.2 | 582M| 63 | 8 | 70 |5574 | 70 | 21 | 20 |1008k|4011 | 0.000000e+00 | -- | Inf
1273.28/1273.66 c 1274s| 2400k|749312 | 7792k| 3.2 | 584M| 63 | 8 | 70 |3934 | 70 | 21 | 20 |1012k|4014 | 0.000000e+00 | -- | Inf
1278.87/1279.26 c 1279s| 2410k|752138 | 7824k| 3.2 | 587M| 63 | 8 | 70 |4033 | 70 | 21 | 20 |1016k|4017 | 0.000000e+00 | -- | Inf
1284.48/1284.87 c 1285s| 2420k|755110 | 7856k| 3.2 | 589M| 63 | 8 | 70 |3968 | 70 | 21 | 20 |1021k|4024 | 0.000000e+00 | -- | Inf
1289.87/1290.24 c 1290s| 2430k|758250 | 7888k| 3.2 | 591M| 63 | 8 | 70 |4366 | 70 | 21 | 20 |1025k|4031 | 0.000000e+00 | -- | Inf
1295.38/1295.80 c 1296s| 2440k|761232 | 7921k| 3.2 | 594M| 63 | 8 | 70 |4529 | 70 | 21 | 20 |1029k|4036 | 0.000000e+00 | -- | Inf
1301.07/1301.47 c 1301s| 2450k|764058 | 7954k| 3.2 | 596M| 63 | - | 70 |4853 | 70 | 21 | 20 |1034k|4043 | 0.000000e+00 | -- | Inf
1306.66/1307.06 c 1307s| 2460k|767221 | 7987k| 3.2 | 599M| 63 | 8 | 70 |5094 | 70 | 21 | 20 |1038k|4046 | 0.000000e+00 | -- | Inf
1312.56/1312.97 c 1313s| 2470k|769883 | 8018k| 3.2 | 601M| 63 | 8 | 70 |4642 | 70 | 21 | 20 |1042k|4052 | 0.000000e+00 | -- | Inf
1318.26/1318.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1318.26/1318.67 c 1319s| 2480k|772782 | 8051k| 3.2 | 603M| 63 | 8 | 70 |4893 | 70 | 21 | 20 |1047k|4057 | 0.000000e+00 | -- | Inf
1324.06/1324.43 c 1324s| 2490k|775676 | 8083k| 3.2 | 606M| 63 | 8 | 70 |4739 | 70 | 21 | 20 |1051k|4062 | 0.000000e+00 | -- | Inf
1329.95/1330.32 c 1330s| 2500k|778376 | 8115k| 3.2 | 608M| 63 | 8 | 70 |4161 | 70 | 21 | 20 |1056k|4068 | 0.000000e+00 | -- | Inf
1335.66/1336.04 c 1336s| 2510k|780874 | 8147k| 3.2 | 610M| 63 | 8 | 70 |4345 | 70 | 21 | 20 |1060k|4071 | 0.000000e+00 | -- | Inf
1341.45/1341.81 c 1342s| 2520k|783769 | 8179k| 3.2 | 613M| 63 | 8 | 70 |4367 | 70 | 21 | 20 |1064k|4077 | 0.000000e+00 | -- | Inf
1346.56/1346.99 c 1347s| 2530k|787356 | 8210k| 3.2 | 615M| 63 | 8 | 70 |4387 | 70 | 21 | 20 |1068k|4083 | 0.000000e+00 | -- | Inf
1352.36/1352.73 c 1353s| 2540k|790241 | 8241k| 3.2 | 618M| 63 | 8 | 70 |4279 | 70 | 21 | 20 |1073k|4087 | 0.000000e+00 | -- | Inf
1358.16/1358.59 c 1359s| 2550k|792989 | 8273k| 3.2 | 620M| 63 | 8 | 70 |4209 | 70 | 21 | 20 |1077k|4090 | 0.000000e+00 | -- | Inf
1363.55/1363.94 c 1364s| 2560k|796212 | 8305k| 3.2 | 622M| 63 | - | 70 |4999 | 70 | 21 | 20 |1081k|4095 | 0.000000e+00 | -- | Inf
1369.45/1369.82 c 1370s| 2570k|798955 | 8337k| 3.2 | 625M| 63 | 8 | 70 |4665 | 70 | 21 | 20 |1086k|4098 | 0.000000e+00 | -- | Inf
1374.65/1375.05 c 1375s| 2580k|802148 | 8369k| 3.2 | 627M| 63 | 8 | 70 |5430 | 70 | 21 | 20 |1090k|4098 | 0.000000e+00 | -- | Inf
1380.54/1380.95 c 1381s| 2590k|804984 | 8401k| 3.2 | 629M| 63 | - | 70 |4132 | 70 | 21 | 20 |1094k|4108 | 0.000000e+00 | -- | Inf
1386.14/1386.53 c 1387s| 2600k|807729 | 8434k| 3.2 | 632M| 63 | - | 70 |4861 | 70 | 21 | 20 |1099k|4113 | 0.000000e+00 | -- | Inf
1392.05/1392.47 c 1392s| 2610k|810540 | 8465k| 3.2 | 634M| 63 | - | 70 |4041 | 70 | 21 | 20 |1103k|4119 | 0.000000e+00 | -- | Inf
1397.65/1398.05 c 1398s| 2620k|813336 | 8496k| 3.2 | 637M| 63 | 8 | 70 |4493 | 70 | 21 | 20 |1107k|4124 | 0.000000e+00 | -- | Inf
1403.64/1404.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1403.64/1404.03 c 1404s| 2630k|816028 | 8528k| 3.2 | 639M| 63 | 8 | 70 |4126 | 70 | 21 | 20 |1112k|4128 | 0.000000e+00 | -- | Inf
1409.34/1409.70 c 1410s| 2640k|819042 | 8560k| 3.2 | 641M| 63 | - | 70 |4091 | 70 | 21 | 20 |1116k|4135 | 0.000000e+00 | -- | Inf
1415.25/1415.65 c 1416s| 2650k|821823 | 8593k| 3.2 | 644M| 63 | - | 70 |4240 | 70 | 21 | 20 |1121k|4139 | 0.000000e+00 | -- | Inf
1420.93/1421.39 c 1421s| 2660k|824699 | 8626k| 3.2 | 646M| 63 | 8 | 70 |4180 | 70 | 21 | 20 |1125k|4145 | 0.000000e+00 | -- | Inf
1426.63/1427.09 c 1427s| 2670k|827427 | 8657k| 3.2 | 648M| 63 | - | 70 |4423 | 70 | 21 | 20 |1129k|4150 | 0.000000e+00 | -- | Inf
1432.43/1432.82 c 1433s| 2680k|830232 | 8689k| 3.2 | 651M| 63 | - | 70 |3959 | 70 | 21 | 20 |1134k|4155 | 0.000000e+00 | -- | Inf
1438.13/1438.59 c 1439s| 2690k|832932 | 8721k| 3.2 | 653M| 63 | - | 70 |4188 | 70 | 21 | 20 |1138k|4159 | 0.000000e+00 | -- | Inf
1443.94/1444.33 c 1444s| 2700k|835834 | 8753k| 3.2 | 655M| 63 | 8 | 70 |4470 | 70 | 21 | 20 |1142k|4167 | 0.000000e+00 | -- | Inf
1449.52/1449.94 c 1450s| 2710k|838854 | 8784k| 3.2 | 658M| 63 | 8 | 70 |4716 | 70 | 21 | 20 |1147k|4170 | 0.000000e+00 | -- | Inf
1455.33/1455.77 c 1456s| 2720k|841678 | 8815k| 3.2 | 660M| 63 | 8 | 70 |4723 | 70 | 21 | 20 |1151k|4180 | 0.000000e+00 | -- | Inf
1461.23/1461.65 c 1462s| 2730k|844421 | 8847k| 3.2 | 662M| 63 | 8 | 70 |4472 | 70 | 21 | 20 |1156k|4188 | 0.000000e+00 | -- | Inf
1466.42/1466.80 c 1467s| 2740k|847687 | 8880k| 3.2 | 665M| 63 | 8 | 70 |5876 | 70 | 21 | 20 |1160k|4193 | 0.000000e+00 | -- | Inf
1472.32/1472.79 c 1473s| 2750k|850411 | 8913k| 3.2 | 667M| 63 | 8 | 70 |5064 | 70 | 21 | 20 |1164k|4199 | 0.000000e+00 | -- | Inf
1478.12/1478.51 c 1478s| 2760k|853303 | 8945k| 3.2 | 670M| 63 | - | 70 |5397 | 70 | 21 | 20 |1168k|4203 | 0.000000e+00 | -- | Inf
1483.62/1484.09 c 1484s| 2770k|856174 | 8977k| 3.2 | 672M| 63 | - | 70 |6015 | 70 | 21 | 20 |1173k|4206 | 0.000000e+00 | -- | Inf
1489.52/1489.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1489.52/1489.93 c 1490s| 2780k|859138 | 9010k| 3.2 | 675M| 63 | - | 70 |5178 | 70 | 21 | 20 |1177k|4208 | 0.000000e+00 | -- | Inf
1495.42/1495.89 c 1496s| 2790k|861967 | 9043k| 3.2 | 677M| 63 | - | 70 |4874 | 70 | 21 | 20 |1182k|4208 | 0.000000e+00 | -- | Inf
1501.02/1501.46 c 1501s| 2800k|865069 | 9074k| 3.2 | 679M| 63 | 8 | 70 |4836 | 70 | 21 | 20 |1186k|4208 | 0.000000e+00 | -- | Inf
1506.91/1507.34 c 1507s| 2810k|867673 | 9105k| 3.2 | 682M| 63 | 8 | 70 |4752 | 70 | 21 | 20 |1190k|4208 | 0.000000e+00 | -- | Inf
1512.61/1513.07 c 1513s| 2820k|870252 | 9138k| 3.2 | 684M| 63 | 8 | 70 |4790 | 70 | 21 | 20 |1195k|4208 | 0.000000e+00 | -- | Inf
1518.41/1518.82 c 1519s| 2830k|872971 | 9169k| 3.2 | 686M| 63 | 8 | 70 |4423 | 70 | 21 | 20 |1199k|4208 | 0.000000e+00 | -- | Inf
1523.81/1524.27 c 1524s| 2840k|876158 | 9202k| 3.2 | 689M| 63 | 8 | 70 |4614 | 70 | 21 | 20 |1204k|4208 | 0.000000e+00 | -- | Inf
1529.01/1529.45 c 1529s| 2850k|879533 | 9235k| 3.2 | 691M| 63 | - | 70 |5775 | 70 | 21 | 20 |1208k|4209 | 0.000000e+00 | -- | Inf
1534.70/1535.15 c 1535s| 2860k|882317 | 9270k| 3.2 | 694M| 63 | 8 | 70 |6296 | 70 | 21 | 20 |1212k|4212 | 0.000000e+00 | -- | Inf
1540.50/1540.99 c 1541s| 2870k|885060 | 9303k| 3.2 | 696M| 63 | - | 70 |6562 | 70 | 21 | 20 |1217k|4212 | 0.000000e+00 | -- | Inf
1547.01/1547.42 c 1547s| 2880k|887624 | 9336k| 3.2 | 698M| 63 | 8 | 70 |5584 | 70 | 21 | 20 |1221k|4217 | 0.000000e+00 | -- | Inf
1552.81/1553.24 c 1553s| 2890k|890574 | 9369k| 3.2 | 700M| 63 | - | 70 |5004 | 70 | 21 | 20 |1226k|4220 | 0.000000e+00 | -- | Inf
1558.21/1558.63 c 1559s| 2900k|893828 | 9404k| 3.2 | 703M| 63 | - | 70 |6379 | 70 | 21 | 20 |1230k|4227 | 0.000000e+00 | -- | Inf
1564.20/1564.61 c 1565s| 2910k|896804 | 9438k| 3.2 | 706M| 63 | 8 | 70 |5866 | 70 | 21 | 20 |1234k|4233 | 0.000000e+00 | -- | Inf
1569.80/1570.27 c 1570s| 2920k|899911 | 9470k| 3.2 | 708M| 63 | 8 | 70 |5724 | 70 | 21 | 20 |1238k|4238 | 0.000000e+00 | -- | Inf
1575.39/1575.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1575.39/1575.83 c 1576s| 2930k|902842 | 9502k| 3.2 | 710M| 63 | 8 | 70 |6335 | 70 | 21 | 20 |1242k|4245 | 0.000000e+00 | -- | Inf
1581.59/1582.08 c 1582s| 2940k|905461 | 9534k| 3.2 | 713M| 63 | - | 70 |5333 | 70 | 21 | 20 |1247k|4249 | 0.000000e+00 | -- | Inf
1587.59/1588.08 c 1588s| 2950k|908350 | 9566k| 3.2 | 715M| 63 | 8 | 70 |5042 | 70 | 21 | 20 |1251k|4252 | 0.000000e+00 | -- | Inf
1593.40/1593.83 c 1594s| 2960k|911145 | 9598k| 3.2 | 717M| 63 | 8 | 70 |5354 | 70 | 21 | 20 |1256k|4258 | 0.000000e+00 | -- | Inf
1599.39/1599.86 c 1600s| 2970k|913943 | 9631k| 3.2 | 720M| 63 | - | 70 |5139 | 70 | 21 | 20 |1260k|4260 | 0.000000e+00 | -- | Inf
1605.69/1606.14 c 1606s| 2980k|916519 | 9663k| 3.2 | 722M| 63 | 8 | 70 |4473 | 70 | 21 | 20 |1265k|4260 | 0.000000e+00 | -- | Inf
1611.29/1611.76 c 1612s| 2990k|919120 | 9695k| 3.2 | 724M| 63 | 8 | 70 |5310 | 70 | 21 | 20 |1269k|4260 | 0.000000e+00 | -- | Inf
1617.28/1617.77 c 1618s| 3000k|921793 | 9727k| 3.2 | 727M| 63 | 8 | 70 |4970 | 70 | 21 | 20 |1274k|4260 | 0.000000e+00 | -- | Inf
1622.98/1623.49 c 1623s| 3010k|924751 | 9760k| 3.2 | 729M| 63 | 8 | 70 |5192 | 70 | 21 | 20 |1278k|4266 | 0.000000e+00 | -- | Inf
1628.78/1629.27 c 1629s| 3020k|927523 | 9792k| 3.2 | 731M| 63 | - | 70 |5546 | 70 | 21 | 20 |1283k|4270 | 0.000000e+00 | -- | Inf
1634.09/1634.55 c 1635s| 3030k|931212 | 9824k| 3.2 | 734M| 63 | 8 | 70 |6590 | 70 | 21 | 20 |1286k|4273 | 0.000000e+00 | -- | Inf
1640.38/1640.81 c 1641s| 3040k|934100 | 9855k| 3.2 | 736M| 63 | 8 | 70 |5534 | 70 | 21 | 20 |1291k|4279 | 0.000000e+00 | -- | Inf
1646.38/1646.84 c 1647s| 3050k|936937 | 9888k| 3.2 | 739M| 63 | - | 70 |4976 | 70 | 21 | 20 |1295k|4281 | 0.000000e+00 | -- | Inf
1652.48/1652.99 c 1653s| 3060k|939567 | 9919k| 3.2 | 741M| 63 | - | 70 |4483 | 70 | 21 | 20 |1299k|4284 | 0.000000e+00 | -- | Inf
1658.38/1658.88 c 1659s| 3070k|942317 | 9951k| 3.2 | 743M| 63 | 8 | 70 |4835 | 70 | 21 | 20 |1304k|4290 | 0.000000e+00 | -- | Inf
1664.38/1664.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1664.38/1664.89 c 1665s| 3080k|945076 | 9983k| 3.2 | 746M| 63 | 8 | 70 |4692 | 70 | 21 | 20 |1308k|4294 | 0.000000e+00 | -- | Inf
1670.58/1671.02 c 1671s| 3090k|947711 | 10015k| 3.2 | 748M| 63 | 8 | 70 |4701 | 70 | 21 | 20 |1313k|4300 | 0.000000e+00 | -- | Inf
1675.77/1676.21 c 1676s| 3100k|951006 | 10049k| 3.2 | 751M| 63 | - | 70 |6470 | 70 | 21 | 20 |1317k|4306 | 0.000000e+00 | -- | Inf
1681.27/1681.79 c 1682s| 3110k|954289 | 10083k| 3.2 | 753M| 63 | 8 | 70 |6868 | 70 | 21 | 20 |1321k|4309 | 0.000000e+00 | -- | Inf
1687.16/1687.69 c 1688s| 3120k|957144 | 10116k| 3.2 | 756M| 63 | 8 | 70 |6985 | 70 | 21 | 20 |1326k|4317 | 0.000000e+00 | -- | Inf
1693.36/1693.85 c 1694s| 3130k|959961 | 10150k| 3.2 | 758M| 63 | - | 70 |5863 | 70 | 21 | 20 |1330k|4325 | 0.000000e+00 | -- | Inf
1699.37/1699.87 c 1700s| 3140k|962764 | 10181k| 3.2 | 760M| 63 | - | 70 |5293 | 70 | 21 | 20 |1334k|4329 | 0.000000e+00 | -- | Inf
1705.17/1705.65 c 1706s| 3150k|965656 | 10213k| 3.2 | 762M| 63 | - | 70 |5318 | 70 | 21 | 20 |1339k|4333 | 0.000000e+00 | -- | Inf
1711.26/1711.71 c 1712s| 3160k|968474 | 10246k| 3.2 | 765M| 63 | 8 | 70 |5035 | 70 | 21 | 20 |1343k|4342 | 0.000000e+00 | -- | Inf
1716.67/1717.13 c 1717s| 3170k|971710 | 10277k| 3.2 | 767M| 63 | - | 70 |5956 | 0 | 0 | 20 |1347k|4347 | 0.000000e+00 | -- | Inf
1722.66/1723.19 c 1723s| 3180k|974367 | 10309k| 3.2 | 770M| 63 | - | 70 |5303 | 70 | 21 | 20 |1352k|4355 | 0.000000e+00 | -- | Inf
1728.46/1728.93 c 1729s| 3190k|977428 | 10340k| 3.2 | 772M| 63 | 8 | 70 |5007 | 70 | 21 | 20 |1356k|4360 | 0.000000e+00 | -- | Inf
1734.35/1734.86 c 1735s| 3200k|980357 | 10373k| 3.2 | 774M| 63 | - | 70 |5098 | 70 | 21 | 20 |1361k|4370 | 0.000000e+00 | -- | Inf
1739.95/1740.42 c 1740s| 3210k|983554 | 10405k| 3.2 | 777M| 63 | 8 | 70 |5449 | 70 | 21 | 20 |1365k|4377 | 0.000000e+00 | -- | Inf
1745.55/1746.08 c 1746s| 3220k|986574 | 10437k| 3.2 | 779M| 63 | 8 | 70 |5366 | 70 | 21 | 20 |1369k|4378 | 0.000000e+00 | -- | Inf
1751.76/1752.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1751.76/1752.26 c 1752s| 3230k|989285 | 10469k| 3.2 | 781M| 63 | 8 | 70 |4556 | 70 | 21 | 20 |1374k|4383 | 0.000000e+00 | -- | Inf
1757.85/1758.36 c 1758s| 3240k|991784 | 10501k| 3.2 | 784M| 63 | 8 | 70 |4677 | 70 | 21 | 20 |1378k|4388 | 0.000000e+00 | -- | Inf
1763.85/1764.36 c 1764s| 3250k|994365 | 10533k| 3.2 | 786M| 63 | 8 | 70 |4672 | 70 | 21 | 20 |1383k|4392 | 0.000000e+00 | -- | Inf
1769.36/1769.87 c 1770s| 3260k|997183 | 10566k| 3.2 | 789M| 63 | 8 | 70 |5892 | 70 | 21 | 20 |1387k|4394 | 0.000000e+00 | -- | Inf
1775.55/1776.09 c 1776s| 3270k|999694 | 10597k| 3.2 | 791M| 63 | - | 70 |4925 | 70 | 21 | 20 |1392k|4398 | 0.000000e+00 | -- | Inf
1781.14/1781.67 c 1782s| 3280k| 1002k| 10630k| 3.2 | 793M| 63 | 8 | 70 |5554 | 70 | 21 | 20 |1396k|4401 | 0.000000e+00 | -- | Inf
1787.25/1787.73 c 1788s| 3290k| 1005k| 10661k| 3.2 | 795M| 63 | 8 | 70 |4702 | 70 | 21 | 20 |1401k|4407 | 0.000000e+00 | -- | Inf
1789.55/1790.01 c
1789.55/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.55/1790.01 c Solving Time (sec) : 1790.00
1789.55/1790.01 c Solving Nodes : 3294159
1789.55/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.55/1790.01 c Dual Bound : +0.00000000000000e+00
1789.55/1790.01 c Gap : infinite
1789.55/1790.01 s UNKNOWN
1789.55/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.55/1790.01 c Solving Time : 1790.00
1789.55/1790.01 c Original Problem :
1789.55/1790.01 c Problem name : HOME/instance-2703536-1278562890.opb
1789.55/1790.01 c Variables : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.55/1790.01 c Constraints : 17 initial, 17 maximal
1789.55/1790.01 c Presolved Problem :
1789.55/1790.01 c Problem name : t_HOME/instance-2703536-1278562890.opb
1789.55/1790.01 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.55/1790.01 c Constraints : 8 initial, 7329 maximal
1789.55/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.55/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.01 c dualfix : 0.00 1 0 0 0 0 0 0 0
1789.55/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1789.55/1790.01 c linear : 0.00 0 0 0 0 0 9 0 0
1789.55/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.01 c root node : - 0 - - 0 - - - -
1789.55/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.55/1790.01 c integral : 0 0 0 2156854 0 377 1551 0 0 4310146
1789.55/1790.01 c linear : 8 6 7689306 0 1 78029 2967890 0 0 0
1789.55/1790.01 c logicor : 0+ 0 3029843 0 0 2957 1050271 0 0 0
1789.55/1790.01 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.55/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.55/1790.01 c integral : 26.40 0.00 0.00 26.40 0.00
1789.55/1790.01 c linear : 454.17 0.00 454.17 0.00 0.00
1789.55/1790.01 c logicor : 234.94 0.00 234.94 0.00 0.00
1789.55/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.55/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.55/1790.01 c vbounds : 2.63 2 0 0
1789.55/1790.01 c rootredcost : 2.83 0 0 0
1789.55/1790.01 c pseudoobj : 2.27 0 0 0
1789.55/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.55/1790.01 c propagation : 15.16 80986 76124 306428 48.1 17 39.9 -
1789.55/1790.01 c infeasible LP : 78.17 1063267 1063224 2133095 32.7 11659 37.6 0
1789.55/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.55/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.55/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.55/1790.01 c applied globally : - - - 1089015 25.8 - - -
1789.55/1790.01 c applied locally : - - - 313903 39.1 - - -
1789.55/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.55/1790.01 c cut pool : 0.00 5 - - 3 - (maximal pool size: 55)
1789.55/1790.01 c redcost : 6.26 2156859 0 0 0 0
1789.55/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.55/1790.01 c intobj : 0.00 0 0 0 0 0
1789.55/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.55/1790.01 c gomory : 0.01 6 0 0 0 0
1789.55/1790.01 c strongcg : 0.01 6 0 0 18 0
1789.55/1790.01 c cmir : 0.04 6 0 0 20 0
1789.55/1790.01 c flowcover : 0.03 6 0 0 29 0
1789.55/1790.01 c clique : 0.00 1 0 0 0 0
1789.55/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.55/1790.01 c mcf : 0.00 1 0 0 0 0
1789.55/1790.01 c rapidlearning : 0.13 1 0 0 0 0
1789.55/1790.01 c Pricers : Time Calls Vars
1789.55/1790.01 c problem variables: 0.00 0 0
1789.55/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.55/1790.01 c relpscost : 24.22 2156854 377 1551 0 0 4310146
1789.55/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.55/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.55/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.55/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.55/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.55/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.55/1790.01 c random : 0.00 0 0 0 0 0 0
1789.55/1790.01 c Primal Heuristics : Time Calls Found
1789.55/1790.01 c LP solutions : 0.00 - 0
1789.55/1790.01 c pseudo solutions : 0.00 - 0
1789.55/1790.01 c oneopt : 2.18 0 0
1789.55/1790.01 c crossover : 1.14 0 0
1789.55/1790.01 c guideddiving : 0.11 0 0
1789.55/1790.01 c linesearchdiving : 0.16 39 0
1789.55/1790.01 c feaspump : 0.12 20 0
1789.55/1790.01 c objpscostdiving : 0.13 20 0
1789.55/1790.01 c rootsoldiving : 0.11 20 0
1789.55/1790.01 c coefdiving : 0.14 40 0
1789.55/1790.01 c pscostdiving : 0.18 40 0
1789.55/1790.01 c fracdiving : 0.16 40 0
1789.55/1790.01 c veclendiving : 0.13 40 0
1789.55/1790.01 c trivial : 0.00 2 0
1789.55/1790.01 c simplerounding : 0.82 0 0
1789.55/1790.01 c zirounding : 1.25 1000 0
1789.55/1790.01 c rounding : 2.62 20801 0
1789.55/1790.01 c shifting : 5.85 6555 0
1789.55/1790.01 c intshifting : 0.08 0 0
1789.55/1790.01 c twoopt : 0.00 0 0
1789.55/1790.01 c fixandinfer : 0.00 0 0
1789.55/1790.01 c intdiving : 0.00 0 0
1789.55/1790.01 c actconsdiving : 0.00 0 0
1789.55/1790.01 c octane : 0.00 0 0
1789.55/1790.01 c rens : 0.07 1 0
1789.55/1790.01 c rins : 0.00 0 0
1789.55/1790.01 c localbranching : 0.00 0 0
1789.55/1790.01 c mutation : 0.00 0 0
1789.55/1790.01 c dins : 0.00 0 0
1789.55/1790.01 c undercover : 0.00 0 0
1789.55/1790.01 c nlp : 1.07 0 0
1789.55/1790.01 c trysol : 1.64 0 0
1789.55/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.55/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.55/1790.01 c dual LP : 486.71 3163888 10670327 3.37 21923.56
1789.55/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.55/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.55/1790.01 c diving/probing LP: 0.24 1633 4086 2.50 17096.52
1789.55/1790.01 c strong branching : 1.45 4408 31123 7.06 21464.60
1789.55/1790.01 c (at root node) : - 15 737 49.13 -
1789.55/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.55/1790.01 c B&B Tree :
1789.55/1790.01 c number of runs : 1
1789.55/1790.01 c nodes : 3294159
1789.55/1790.01 c nodes (total) : 3294159
1789.55/1790.01 c nodes left : 1006532
1789.55/1790.01 c max depth : 63
1789.55/1790.01 c max depth (total): 63
1789.55/1790.01 c backtracks : 265526 (8.1%)
1789.55/1790.01 c delayed cutoffs : 9458
1789.55/1790.01 c repropagations : 3051588 (1083510 domain reductions, 5060 cutoffs)
1789.55/1790.01 c avg switch length: 5.40
1789.55/1790.01 c switching time : 242.27
1789.55/1790.01 c Solution :
1789.55/1790.01 c Solutions found : 0 (0 improvements)
1789.55/1790.01 c Primal Bound : -
1789.55/1790.01 c Dual Bound : +0.00000000000000e+00
1789.55/1790.01 c Gap : infinite
1789.55/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.55/1790.01 c Root Iterations : 220
1794.54/1795.00 c Time complete: 1794.55.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703536-1278562890/watcher-2703536-1278562890 -o /tmp/evaluation-result-2703536-1278562890/solver-2703536-1278562890 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703536-1278562890.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 31020
/proc/meminfo: memFree=1542488/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=7904 CPUtime=0
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 1075 0 0 0 0 0 0 0 20 0 1 0 24496834 8093696 986 1992294400 4194304 8395647 140735445280368 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31020/statm: 1976 995 365 1026 0 946 0
[startup+0.044889 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31020
/proc/meminfo: memFree=1542488/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=14712 CPUtime=0.03
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 3171 0 0 0 3 0 0 0 20 0 1 0 24496834 15065088 2729 1992294400 4194304 8395647 140735445280368 18446744073709551615 6201738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 3678 2729 574 1026 0 2648 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14712
[startup+0.100894 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31020
/proc/meminfo: memFree=1542488/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=22308 CPUtime=0.09
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 4804 0 0 0 8 1 0 0 20 0 1 0 24496834 22843392 4362 1992294400 4194304 8395647 140735445280368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 5577 4362 599 1026 0 4547 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22308
[startup+0.300914 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31020
/proc/meminfo: memFree=1542488/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=23656 CPUtime=0.29
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 6748 0 0 0 26 3 0 0 20 0 1 0 24496834 24223744 4711 1992294400 4194304 8395647 140735445280368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 5914 4711 619 1026 0 4884 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23656
[startup+0.700952 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31020
/proc/meminfo: memFree=1542488/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=14712 CPUtime=0.69
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 6754 0 0 0 62 7 0 0 20 0 1 0 24496834 15065088 2839 1992294400 4194304 8395647 140735445280368 18446744073709551615 6311236 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 3678 2839 622 1026 0 2648 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14712
[startup+1.50103 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31021
/proc/meminfo: memFree=1532932/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=15312 CPUtime=1.49
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 6902 0 0 0 139 10 0 0 22 0 1 0 24496834 15679488 2987 1992294400 4194304 8395647 140735445280368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 3828 2987 622 1026 0 2798 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15312
[startup+3.10119 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31021
/proc/meminfo: memFree=1531692/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=17492 CPUtime=3.09
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 7438 0 0 0 294 15 0 0 25 0 1 0 24496834 17911808 3523 1992294400 4194304 8395647 140735445280368 18446744073709551615 4243375 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 4373 3523 622 1026 0 3343 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17492
[startup+6.3015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31021
/proc/meminfo: memFree=1527476/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=20496 CPUtime=6.29
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 8207 0 0 0 602 27 0 0 25 0 1 0 24496834 20987904 4292 1992294400 4194304 8395647 140735445280368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 5124 4292 622 1026 0 4094 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20496
[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31021
/proc/meminfo: memFree=1523012/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=24780 CPUtime=12.69
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 9288 0 0 0 1220 49 0 0 25 0 1 0 24496834 25374720 5373 1992294400 4194304 8395647 140735445280368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 6195 5373 622 1026 0 5165 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24780
[startup+25.5004 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31021
/proc/meminfo: memFree=1514208/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=33272 CPUtime=25.49
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 11444 0 0 0 2453 96 0 0 25 0 1 0 24496834 34070528 7529 1992294400 4194304 8395647 140735445280368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 8318 7529 622 1026 0 7288 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 33272
[startup+51.1009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31023
/proc/meminfo: memFree=1499204/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=48360 CPUtime=51.08
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 15295 0 0 0 4926 182 0 0 25 0 1 0 24496834 49520640 11380 1992294400 4194304 8395647 140735445280368 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 12090 11380 622 1026 0 11060 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 48360
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31023
/proc/meminfo: memFree=1466964/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=81240 CPUtime=102.27
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 23264 0 0 0 9876 351 0 0 25 0 1 0 24496834 83189760 19349 1992294400 4194304 8395647 140735445280368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 20310 19349 622 1026 0 19280 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 81240
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31025
/proc/meminfo: memFree=1432492/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=115268 CPUtime=162.25
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 31912 0 0 0 15680 545 0 0 25 0 1 0 24496834 118034432 27997 1992294400 4194304 8395647 140735445280368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 28817 27997 622 1026 0 27787 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 115268
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31027
/proc/meminfo: memFree=1401244/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=145892 CPUtime=222.24
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 39619 0 0 0 21498 726 0 0 25 0 1 0 24496834 149393408 35704 1992294400 4194304 8395647 140735445280368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 36473 35704 622 1026 0 35443 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 145892
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31029
/proc/meminfo: memFree=1371608/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=179548 CPUtime=282.22
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 47140 0 0 0 27310 912 0 0 25 0 1 0 24496834 183857152 43225 1992294400 4194304 8395647 140735445280368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 44887 43225 622 1026 0 43857 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 179548
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31029
/proc/meminfo: memFree=1342220/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=208760 CPUtime=342.2
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 54584 0 0 0 33126 1094 0 0 25 0 1 0 24496834 213770240 50669 1992294400 4194304 8395647 140735445280368 18446744073709551615 5026436 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 52190 50669 622 1026 0 51160 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 208760
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31031
/proc/meminfo: memFree=1311964/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=238696 CPUtime=402.19
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 62169 0 0 0 38949 1270 0 0 25 0 1 0 24496834 244424704 58254 1992294400 4194304 8395647 140735445280368 18446744073709551615 5006653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 59674 58254 622 1026 0 58644 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 238696
[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31033
/proc/meminfo: memFree=1281460/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=267292 CPUtime=462.18
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 69437 0 0 0 44774 1444 0 0 25 0 1 0 24496834 273707008 65522 1992294400 4194304 8395647 140735445280368 18446744073709551615 4218227 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 66823 65522 622 1026 0 65793 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 267292
[startup+522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31035
/proc/meminfo: memFree=1253808/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=294104 CPUtime=522.16
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 76322 0 0 0 50604 1612 0 0 25 0 1 0 24496834 301162496 72407 1992294400 4194304 8395647 140735445280368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 73526 72407 622 1026 0 72496 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 294104
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31037
/proc/meminfo: memFree=1226776/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=320568 CPUtime=582.15
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 83020 0 0 0 56429 1786 0 0 25 0 1 0 24496834 328261632 79105 1992294400 4194304 8395647 140735445280368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 80142 79105 622 1026 0 79112 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 320568
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31037
/proc/meminfo: memFree=1199372/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=347120 CPUtime=642.14
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 89832 0 0 0 62263 1951 0 0 25 0 1 0 24496834 355450880 85917 1992294400 4194304 8395647 140735445280368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 86780 85917 622 1026 0 85750 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 347120
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=986836/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=562920 CPUtime=1122.01
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 142681 0 0 0 108911 3290 0 0 25 0 1 0 24496834 576430080 138766 1992294400 4194304 8395647 140735445280368 18446744073709551615 6262410 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 140730 138766 622 1026 0 139700 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 562920
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31053
/proc/meminfo: memFree=963276/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=586084 CPUtime=1182
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 148640 0 0 0 114753 3447 0 0 25 0 1 0 24496834 600150016 144725 1992294400 4194304 8395647 140735445280368 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 146521 144725 622 1026 0 145491 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 586084
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31053
/proc/meminfo: memFree=937112/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=611552 CPUtime=1241.98
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 154990 0 0 0 120589 3609 0 0 25 0 1 0 24496834 626229248 151075 1992294400 4194304 8395647 140735445280368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 152888 151075 622 1026 0 151858 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 611552
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31055
/proc/meminfo: memFree=911444/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=636460 CPUtime=1301.97
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 161381 0 0 0 126423 3774 0 0 25 0 1 0 24496834 651735040 157466 1992294400 4194304 8395647 140735445280368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 159115 157466 622 1026 0 158085 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 636460
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31057
/proc/meminfo: memFree=889000/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=658112 CPUtime=1361.95
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 166961 0 0 0 132258 3937 0 0 25 0 1 0 24496834 673906688 163046 1992294400 4194304 8395647 140735445280368 18446744073709551615 4629802 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 164528 163046 622 1026 0 163498 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 658112
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31059
/proc/meminfo: memFree=860976/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=685404 CPUtime=1421.95
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 173944 0 0 0 138100 4095 0 0 25 0 1 0 24496834 701853696 170029 1992294400 4194304 8395647 140735445280368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 171351 170029 622 1026 0 170321 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 685404
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31061
/proc/meminfo: memFree=834688/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=712108 CPUtime=1481.92
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 180589 0 0 0 143935 4257 0 0 25 0 1 0 24496834 729198592 176674 1992294400 4194304 8395647 140735445280368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 178027 176674 622 1026 0 176997 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 712108
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31061
/proc/meminfo: memFree=807904/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=738884 CPUtime=1541.9
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 187414 0 0 0 149773 4417 0 0 25 0 1 0 24496834 756617216 183499 1992294400 4194304 8395647 140735445280368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 184721 183499 622 1026 0 183691 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 738884
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31063
/proc/meminfo: memFree=784840/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=761008 CPUtime=1601.89
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 193109 0 0 0 155611 4578 0 0 25 0 1 0 24496834 779272192 189194 1992294400 4194304 8395647 140735445280368 18446744073709551615 5083749 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 190252 189194 622 1026 0 189222 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 761008
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31065
/proc/meminfo: memFree=760288/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=783824 CPUtime=1661.87
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 198970 0 0 0 161448 4739 0 0 25 0 1 0 24496834 802635776 195055 1992294400 4194304 8395647 140735445280368 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 195956 195055 622 1026 0 194926 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 783824
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31067
/proc/meminfo: memFree=735364/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=809052 CPUtime=1721.86
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 205441 0 0 0 167283 4903 0 0 25 0 1 0 24496834 828469248 201526 1992294400 4194304 8395647 140735445280368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 202263 201526 622 1026 0 201233 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 809052
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31069
/proc/meminfo: memFree=709448/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=850284 CPUtime=1781.84
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 211536 0 0 0 173123 5061 0 0 25 0 1 0 24496834 870690816 207621 1992294400 4194304 8395647 140735445280368 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 212571 207621 622 1026 0 211541 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 850284
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31069
/proc/meminfo: memFree=708084/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=851628 CPUtime=1785.05
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 211879 0 0 0 173436 5069 0 0 25 0 1 0 24496834 872067072 207964 1992294400 4194304 8395647 140735445280368 18446744073709551615 4625318 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31020/statm: 212907 207964 622 1026 0 211877 0
Current children cumulated CPU time (s) 1785.05
Current children cumulated vsize (KiB) 851628
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31069
/proc/meminfo: memFree=705728/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=853868 CPUtime=1791.45
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 212454 0 0 0 174064 5081 0 0 25 0 1 0 24496834 874360832 208539 1992294400 4194304 8395647 140735445280368 18446744073709551615 4219994 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31020/statm: 213467 208539 625 1026 0 212437 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 853868
[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31069
/proc/meminfo: memFree=705728/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=853868 CPUtime=1793.05
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 212454 0 0 0 174224 5081 0 0 25 0 1 0 24496834 874360832 208539 1992294400 4194304 8395647 140735445280368 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31020/statm: 213467 208539 625 1026 0 212437 0
Current children cumulated CPU time (s) 1793.05
Current children cumulated vsize (KiB) 853868
[startup+1794.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31069
/proc/meminfo: memFree=705728/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=853868 CPUtime=1793.85
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 212454 0 0 0 174304 5081 0 0 25 0 1 0 24496834 874360832 208539 1992294400 4194304 8395647 140735445280368 18446744073709551615 6345248 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31020/statm: 213467 208539 625 1026 0 212437 0
Current children cumulated CPU time (s) 1793.85
Current children cumulated vsize (KiB) 853868
[startup+1794.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31069
/proc/meminfo: memFree=705728/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=853868 CPUtime=1794.24
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 212454 0 0 0 174343 5081 0 0 25 0 1 0 24496834 874360832 208539 1992294400 4194304 8395647 140735445280368 18446744073709551615 4220157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31020/statm: 213467 208539 625 1026 0 212437 0
Current children cumulated CPU time (s) 1794.24
Current children cumulated vsize (KiB) 853868
[startup+1794.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31069
/proc/meminfo: memFree=705728/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=853868 CPUtime=1794.44
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 212454 0 0 0 174363 5081 0 0 25 0 1 0 24496834 874360832 208539 1992294400 4194304 8395647 140735445280368 18446744073709551615 6345229 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31020/statm: 213467 208539 625 1026 0 212437 0
Current children cumulated CPU time (s) 1794.44
Current children cumulated vsize (KiB) 853868
[startup+1795 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31069
/proc/meminfo: memFree=705728/2059040 swapFree=4144756/4192956
[pid=31020] ppid=31018 vsize=715344 CPUtime=1794.54
/proc/31020/stat : 31020 (pbscip.linux.x8) R 31018 31020 30908 0 -1 4202496 212454 0 0 0 174366 5088 0 0 25 0 1 0 24496834 732512256 16660 1992294400 4194304 8395647 140735445280368 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31020/statm: 178836 16660 625 1026 0 177806 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (KiB) 715344
Child status: 0
Real time (s): 1795.01
CPU time (s): 1794.56
CPU user time (s): 1743.66
CPU system time (s): 50.8933
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 853868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1743.66
system time used= 50.8933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212457
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= 1
involuntary context switches= 1001
runsolver used 3.12352 second user time and 8.33773 second system time
The end