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-2703525-1278561838.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 | 47 | - | 365k| 0 | 8 | 70 | 8 | 70 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.2s| 1 | 0 | 175 | - | 417k| 0 | 14 | 70 | 9 | 70 | 14 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.20 c 0.2s| 1 | 0 | 185 | - | 436k| 0 | 18 | 70 | 9 | 70 | 19 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.21 c 0.2s| 1 | 0 | 189 | - | 441k| 0 | 21 | 70 | 9 | 70 | 22 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.23 c 0.2s| 1 | 0 | 195 | - | 445k| 0 | 21 | 70 | 9 | 70 | 23 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.25 c 0.2s| 1 | 0 | 208 | - | 455k| 0 | 19 | 70 | 9 | 70 | 25 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.27 c 0.3s| 1 | 0 | 216 | - | 470k| 0 | 23 | 70 | 9 | 70 | 29 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.38 c 0.4s| 1 | 2 | 216 | - | 470k| 0 | 23 | 70 | 9 | 70 | 29 | 21 | 0 | 19 | 0.000000e+00 | -- | Inf
5.29/5.39 c 5.4s| 10000 | 4747 | 35384 | 3.5 |4256k| 60 | 8 | 70 |2539 | 70 | 23 | 21 |3253 | 551 | 0.000000e+00 | -- | Inf
10.19/10.27 c 10.3s| 20000 | 9126 | 69045 | 3.4 |6848k| 62 | 8 | 70 |1735 | 70 | 23 | 21 |6624 | 717 | 0.000000e+00 | -- | Inf
14.79/14.82 c 14.8s| 30000 | 13782 |102661 | 3.4 |9525k| 62 | 8 | 70 |1791 | 70 | 23 | 21 |9836 | 838 | 0.000000e+00 | -- | Inf
19.28/19.38 c 19.4s| 40000 | 18284 |136656 | 3.4 | 12M| 62 | 8 | 70 |1862 | 70 | 23 | 21 | 13k| 971 | 0.000000e+00 | -- | Inf
23.98/24.05 c 24.0s| 50000 | 22587 |170778 | 3.4 | 14M| 62 | 8 | 70 |2161 | 70 | 23 | 21 | 16k|1089 | 0.000000e+00 | -- | Inf
28.59/28.67 c 28.7s| 60000 | 27008 |203581 | 3.4 | 17M| 63 | 8 | 70 |2404 | 70 | 23 | 21 | 19k|1171 | 0.000000e+00 | -- | Inf
33.48/33.55 c 33.5s| 70000 | 31024 |237594 | 3.4 | 20M| 63 | - | 70 |2359 | 70 | 23 | 21 | 23k|1249 | 0.000000e+00 | -- | Inf
38.39/38.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.39/38.46 c 38.5s| 80000 | 35061 |271563 | 3.4 | 22M| 63 | 8 | 70 |2363 | 70 | 23 | 21 | 26k|1320 | 0.000000e+00 | -- | Inf
43.28/43.32 c 43.3s| 90000 | 39178 |304899 | 3.4 | 25M| 63 | 8 | 70 |2536 | 70 | 23 | 21 | 30k|1382 | 0.000000e+00 | -- | Inf
48.08/48.15 c 48.1s|100000 | 43334 |337791 | 3.4 | 27M| 63 | - | 70 |2535 | 70 | 23 | 21 | 33k|1457 | 0.000000e+00 | -- | Inf
52.87/52.94 c 52.9s|110000 | 47520 |370622 | 3.4 | 30M| 63 | 8 | 70 |2908 | 70 | 23 | 21 | 37k|1518 | 0.000000e+00 | -- | Inf
57.87/57.96 c 57.9s|120000 | 51536 |403725 | 3.4 | 33M| 63 | 8 | 70 |2855 | 70 | 23 | 21 | 40k|1586 | 0.000000e+00 | -- | Inf
62.77/62.85 c 62.8s|130000 | 55684 |436086 | 3.4 | 35M| 63 | 8 | 70 |3089 | 70 | 23 | 21 | 44k|1654 | 0.000000e+00 | -- | Inf
67.47/67.56 c 67.6s|140000 | 60379 |467491 | 3.3 | 38M| 63 | 8 | 70 |2906 | 70 | 23 | 21 | 47k|1710 | 0.000000e+00 | -- | Inf
72.17/72.25 c 72.2s|150000 | 64784 |499883 | 3.3 | 41M| 63 | - | 70 |3712 | 70 | 23 | 21 | 50k|1781 | 0.000000e+00 | -- | Inf
77.17/77.26 c 77.3s|160000 | 69135 |532644 | 3.3 | 43M| 63 | 8 | 70 |3214 | 70 | 23 | 21 | 54k|1824 | 0.000000e+00 | -- | Inf
82.07/82.13 c 82.1s|170000 | 73356 |564771 | 3.3 | 46M| 63 | 8 | 70 |3650 | 70 | 23 | 21 | 57k|1853 | 0.000000e+00 | -- | Inf
87.17/87.25 c 87.2s|180000 | 77609 |597019 | 3.3 | 49M| 63 | - | 70 |3261 | 70 | 23 | 21 | 60k|1878 | 0.000000e+00 | -- | Inf
92.27/92.30 c 92.3s|190000 | 81959 |629216 | 3.3 | 51M| 63 | 8 | 70 |3002 | 70 | 23 | 21 | 64k|1917 | 0.000000e+00 | -- | Inf
97.26/97.37 c 97.4s|200000 | 86069 |662419 | 3.3 | 54M| 63 | - | 70 |2875 | 70 | 23 | 21 | 67k|1951 | 0.000000e+00 | -- | Inf
102.06/102.13 c 102s|210000 | 90571 |694376 | 3.3 | 56M| 63 | 8 | 70 |3221 | 70 | 23 | 21 | 70k|1986 | 0.000000e+00 | -- | Inf
107.26/107.32 c 107s|220000 | 94660 |726835 | 3.3 | 59M| 63 | 8 | 70 |2997 | 70 | 23 | 21 | 74k|2022 | 0.000000e+00 | -- | Inf
112.17/112.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.17/112.26 c 112s|230000 | 98982 |759169 | 3.3 | 62M| 63 | 8 | 70 |3085 | 70 | 23 | 21 | 77k|2059 | 0.000000e+00 | -- | Inf
117.06/117.17 c 117s|240000 |103351 |791004 | 3.3 | 64M| 63 | 8 | 70 |3141 | 70 | 23 | 21 | 81k|2110 | 0.000000e+00 | -- | Inf
122.07/122.12 c 122s|250000 |107705 |823676 | 3.3 | 67M| 63 | 8 | 70 |3350 | 70 | 23 | 21 | 84k|2140 | 0.000000e+00 | -- | Inf
127.26/127.32 c 127s|260000 |111648 |857324 | 3.3 | 69M| 63 | 8 | 70 |2997 | 70 | 23 | 21 | 88k|2178 | 0.000000e+00 | -- | Inf
132.36/132.45 c 132s|270000 |115847 |889597 | 3.3 | 72M| 63 | 8 | 70 |2752 | 70 | 23 | 21 | 91k|2205 | 0.000000e+00 | -- | Inf
136.96/137.09 c 137s|280000 |120155 |921796 | 3.3 | 75M| 63 | - | 70 |3920 | 70 | 23 | 21 | 94k|2234 | 0.000000e+00 | -- | Inf
142.15/142.28 c 142s|290000 |124229 |953801 | 3.3 | 77M| 63 | 8 | 70 |3380 | 70 | 23 | 21 | 98k|2264 | 0.000000e+00 | -- | Inf
147.15/147.20 c 147s|300000 |128556 |986401 | 3.3 | 80M| 63 | 8 | 70 |3473 | 70 | 23 | 21 | 101k|2296 | 0.000000e+00 | -- | Inf
152.55/152.61 c 153s|310000 |132416 | 1019k| 3.3 | 83M| 63 | - | 70 |3450 | 70 | 23 | 21 | 105k|2342 | 0.000000e+00 | -- | Inf
157.75/157.82 c 158s|320000 |136560 | 1051k| 3.3 | 85M| 63 | - | 70 |3332 | 70 | 23 | 21 | 108k|2365 | 0.000000e+00 | -- | Inf
162.95/163.00 c 163s|330000 |140613 | 1084k| 3.3 | 88M| 63 | 8 | 70 |3383 | 70 | 23 | 21 | 112k|2386 | 0.000000e+00 | -- | Inf
168.15/168.23 c 168s|340000 |144627 | 1116k| 3.3 | 90M| 63 | - | 70 |3533 | 70 | 23 | 21 | 115k|2409 | 0.000000e+00 | -- | Inf
173.15/173.23 c 173s|350000 |148699 | 1148k| 3.3 | 93M| 63 | - | 70 |4057 | 70 | 23 | 21 | 119k|2438 | 0.000000e+00 | -- | Inf
178.44/178.51 c 179s|360000 |152709 | 1182k| 3.3 | 96M| 63 | - | 70 |3720 | 70 | 23 | 21 | 122k|2470 | 0.000000e+00 | -- | Inf
183.55/183.61 c 184s|370000 |156891 | 1213k| 3.3 | 98M| 63 | 8 | 70 |4035 | 70 | 23 | 21 | 126k|2489 | 0.000000e+00 | -- | Inf
188.94/189.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.94/189.08 c 189s|380000 |160889 | 1246k| 3.3 | 101M| 63 | 8 | 70 |3266 | 70 | 23 | 21 | 129k|2515 | 0.000000e+00 | -- | Inf
194.24/194.34 c 194s|390000 |164791 | 1280k| 3.3 | 103M| 63 | 8 | 70 |3482 | 70 | 23 | 21 | 133k|2531 | 0.000000e+00 | -- | Inf
199.54/199.61 c 200s|400000 |168735 | 1313k| 3.3 | 106M| 63 | - | 70 |3593 | 70 | 23 | 21 | 137k|2538 | 0.000000e+00 | -- | Inf
204.74/204.86 c 205s|410000 |172826 | 1345k| 3.3 | 108M| 63 | - | 70 |3574 | 70 | 23 | 21 | 140k|2558 | 0.000000e+00 | -- | Inf
210.23/210.34 c 210s|420000 |176797 | 1379k| 3.3 | 111M| 63 | 8 | 70 |3445 | 70 | 23 | 21 | 144k|2576 | 0.000000e+00 | -- | Inf
215.63/215.71 c 216s|430000 |180783 | 1411k| 3.3 | 113M| 63 | 8 | 70 |3703 | 70 | 23 | 21 | 147k|2587 | 0.000000e+00 | -- | Inf
220.83/220.90 c 221s|440000 |184819 | 1445k| 3.3 | 116M| 63 | 8 | 70 |3899 | 70 | 23 | 21 | 151k|2609 | 0.000000e+00 | -- | Inf
225.73/225.89 c 226s|450000 |188851 | 1477k| 3.3 | 119M| 63 | - | 70 |4411 | 70 | 23 | 21 | 154k|2625 | 0.000000e+00 | -- | Inf
231.13/231.29 c 231s|460000 |192723 | 1510k| 3.3 | 121M| 63 | 8 | 70 |3890 | 70 | 23 | 21 | 158k|2634 | 0.000000e+00 | -- | Inf
236.44/236.55 c 237s|470000 |196875 | 1542k| 3.3 | 124M| 63 | 8 | 70 |3947 | 70 | 23 | 21 | 161k|2650 | 0.000000e+00 | -- | Inf
241.93/242.05 c 242s|480000 |200770 | 1575k| 3.3 | 126M| 63 | 8 | 70 |3817 | 70 | 23 | 21 | 165k|2664 | 0.000000e+00 | -- | Inf
247.34/247.48 c 247s|490000 |204775 | 1608k| 3.3 | 129M| 63 | 8 | 70 |3757 | 70 | 23 | 21 | 169k|2676 | 0.000000e+00 | -- | Inf
252.53/252.66 c 253s|500000 |208872 | 1640k| 3.3 | 131M| 63 | 8 | 70 |3883 | 70 | 23 | 21 | 172k|2684 | 0.000000e+00 | -- | Inf
258.03/258.18 c 258s|510000 |212822 | 1674k| 3.3 | 134M| 63 | 8 | 70 |3860 | 70 | 23 | 21 | 176k|2700 | 0.000000e+00 | -- | Inf
262.83/262.94 c 263s|520000 |217336 | 1706k| 3.3 | 137M| 63 | 8 | 70 |4852 | 70 | 23 | 21 | 179k|2712 | 0.000000e+00 | -- | Inf
268.23/268.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.23/268.37 c 268s|530000 |221305 | 1738k| 3.3 | 139M| 63 | - | 70 |3978 | 70 | 23 | 21 | 183k|2726 | 0.000000e+00 | -- | Inf
273.73/273.81 c 274s|540000 |224949 | 1772k| 3.3 | 142M| 63 | 8 | 70 |3873 | 70 | 23 | 21 | 187k|2726 | 0.000000e+00 | -- | Inf
279.12/279.23 c 279s|550000 |228716 | 1806k| 3.3 | 144M| 63 | 8 | 70 |4050 | 70 | 23 | 21 | 190k|2726 | 0.000000e+00 | -- | Inf
284.73/284.88 c 285s|560000 |232434 | 1838k| 3.3 | 147M| 63 | 8 | 70 |3796 | 70 | 23 | 21 | 194k|2726 | 0.000000e+00 | -- | Inf
290.12/290.28 c 290s|570000 |236204 | 1871k| 3.3 | 149M| 63 | 8 | 70 |3771 | 70 | 23 | 21 | 198k|2739 | 0.000000e+00 | -- | Inf
295.41/295.53 c 296s|580000 |240217 | 1903k| 3.3 | 152M| 63 | 8 | 70 |3841 | 70 | 23 | 21 | 201k|2756 | 0.000000e+00 | -- | Inf
300.82/300.98 c 301s|590000 |244200 | 1936k| 3.3 | 154M| 63 | 8 | 70 |3459 | 70 | 23 | 21 | 205k|2768 | 0.000000e+00 | -- | Inf
306.21/306.31 c 306s|600000 |248212 | 1968k| 3.3 | 157M| 63 | 8 | 70 |3429 | 70 | 23 | 21 | 208k|2773 | 0.000000e+00 | -- | Inf
311.01/311.15 c 311s|610000 |252222 | 2000k| 3.3 | 160M| 63 | - | 70 |4897 | 70 | 23 | 21 | 212k|2775 | 0.000000e+00 | -- | Inf
316.21/316.36 c 316s|620000 |256025 | 2031k| 3.3 | 162M| 63 | 8 | 70 |4356 | 70 | 23 | 21 | 216k|2775 | 0.000000e+00 | -- | Inf
321.41/321.53 c 322s|630000 |260415 | 2063k| 3.3 | 165M| 63 | 8 | 70 |4107 | 70 | 23 | 21 | 219k|2775 | 0.000000e+00 | -- | Inf
326.71/326.88 c 327s|640000 |264414 | 2096k| 3.3 | 167M| 63 | 8 | 70 |3553 | 70 | 23 | 21 | 222k|2775 | 0.000000e+00 | -- | Inf
332.31/332.45 c 332s|650000 |268098 | 2128k| 3.3 | 170M| 63 | 8 | 70 |3887 | 70 | 23 | 21 | 226k|2775 | 0.000000e+00 | -- | Inf
337.90/338.02 c 338s|660000 |272067 | 2160k| 3.3 | 172M| 63 | - | 70 |3430 | 70 | 23 | 21 | 230k|2775 | 0.000000e+00 | -- | Inf
343.01/343.14 c 343s|670000 |276058 | 2192k| 3.3 | 175M| 63 | 8 | 70 |3729 | 70 | 23 | 21 | 233k|2775 | 0.000000e+00 | -- | Inf
348.30/348.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.30/348.40 c 348s|680000 |280109 | 2224k| 3.3 | 177M| 63 | - | 70 |3878 | 70 | 23 | 21 | 237k|2775 | 0.000000e+00 | -- | Inf
353.19/353.40 c 353s|690000 |284078 | 2258k| 3.3 | 180M| 63 | - | 70 |4651 | 0 | 0 | 21 | 241k|2775 | 0.000000e+00 | -- | Inf
359.10/359.20 c 359s|700000 |287777 | 2292k| 3.3 | 183M| 63 | - | 70 |4603 | 70 | 23 | 21 | 244k|2775 | 0.000000e+00 | -- | Inf
364.20/364.35 c 364s|710000 |292122 | 2324k| 3.3 | 185M| 63 | - | 70 |4781 | 70 | 23 | 21 | 248k|2775 | 0.000000e+00 | -- | Inf
369.89/370.09 c 370s|720000 |296140 | 2357k| 3.3 | 188M| 63 | 8 | 70 |3997 | 70 | 23 | 21 | 251k|2775 | 0.000000e+00 | -- | Inf
375.29/375.44 c 375s|730000 |300214 | 2389k| 3.3 | 190M| 63 | 8 | 70 |4238 | 70 | 23 | 21 | 255k|2775 | 0.000000e+00 | -- | Inf
380.69/380.85 c 381s|740000 |304107 | 2421k| 3.3 | 193M| 63 | 8 | 70 |3966 | 70 | 23 | 21 | 258k|2775 | 0.000000e+00 | -- | Inf
386.39/386.51 c 386s|750000 |307879 | 2454k| 3.3 | 195M| 63 | 8 | 70 |3862 | 70 | 23 | 21 | 262k|2775 | 0.000000e+00 | -- | Inf
391.89/392.01 c 392s|760000 |311596 | 2487k| 3.3 | 198M| 63 | 8 | 70 |4151 | 70 | 23 | 21 | 266k|2775 | 0.000000e+00 | -- | Inf
397.09/397.20 c 397s|770000 |315957 | 2518k| 3.3 | 200M| 63 | - | 70 |4216 | 70 | 23 | 21 | 269k|2775 | 0.000000e+00 | -- | Inf
402.88/403.05 c 403s|780000 |319488 | 2552k| 3.3 | 203M| 63 | 8 | 70 |4029 | 70 | 23 | 21 | 273k|2775 | 0.000000e+00 | -- | Inf
408.68/408.86 c 409s|790000 |322915 | 2585k| 3.3 | 205M| 63 | 8 | 70 |3826 | 70 | 23 | 21 | 277k|2775 | 0.000000e+00 | -- | Inf
414.38/414.51 c 414s|800000 |326583 | 2617k| 3.3 | 208M| 63 | - | 70 |3723 | 70 | 23 | 21 | 281k|2775 | 0.000000e+00 | -- | Inf
420.18/420.30 c 420s|810000 |330198 | 2649k| 3.3 | 210M| 63 | 8 | 70 |3493 | 70 | 23 | 21 | 284k|2775 | 0.000000e+00 | -- | Inf
425.98/426.17 c 426s|820000 |333796 | 2682k| 3.3 | 213M| 63 | 8 | 70 |3637 | 70 | 23 | 21 | 288k|2775 | 0.000000e+00 | -- | Inf
431.27/431.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
431.27/431.48 c 431s|830000 |337910 | 2714k| 3.3 | 215M| 63 | 8 | 70 |4090 | 70 | 23 | 21 | 292k|2775 | 0.000000e+00 | -- | Inf
436.28/436.45 c 436s|840000 |342110 | 2746k| 3.3 | 218M| 63 | 8 | 70 |4753 | 70 | 23 | 21 | 295k|2775 | 0.000000e+00 | -- | Inf
441.98/442.12 c 442s|850000 |345915 | 2779k| 3.3 | 220M| 63 | 8 | 70 |4509 | 70 | 23 | 21 | 299k|2775 | 0.000000e+00 | -- | Inf
447.48/447.64 c 448s|860000 |349765 | 2811k| 3.3 | 223M| 63 | 8 | 70 |4340 | 70 | 23 | 21 | 302k|2775 | 0.000000e+00 | -- | Inf
453.07/453.21 c 453s|870000 |353607 | 2844k| 3.3 | 225M| 63 | 8 | 70 |4133 | 70 | 23 | 21 | 306k|2775 | 0.000000e+00 | -- | Inf
458.48/458.66 c 459s|880000 |357512 | 2878k| 3.3 | 228M| 63 | - | 70 |4158 | 70 | 23 | 21 | 310k|2775 | 0.000000e+00 | -- | Inf
463.77/463.96 c 464s|890000 |361604 | 2910k| 3.3 | 231M| 63 | 8 | 70 |4241 | 70 | 23 | 21 | 313k|2775 | 0.000000e+00 | -- | Inf
469.37/469.52 c 470s|900000 |365435 | 2943k| 3.3 | 233M| 63 | 8 | 70 |4326 | 70 | 23 | 21 | 317k|2775 | 0.000000e+00 | -- | Inf
474.57/474.72 c 475s|910000 |369250 | 2977k| 3.3 | 236M| 63 | - | 70 |5107 | 70 | 23 | 21 | 321k|2776 | 0.000000e+00 | -- | Inf
480.47/480.61 c 481s|920000 |373111 | 3008k| 3.3 | 238M| 63 | - | 70 |4097 | 70 | 23 | 21 | 324k|2776 | 0.000000e+00 | -- | Inf
486.07/486.23 c 486s|930000 |377026 | 3040k| 3.3 | 241M| 63 | - | 70 |4229 | 70 | 23 | 21 | 328k|2776 | 0.000000e+00 | -- | Inf
491.86/492.09 c 492s|940000 |380770 | 3073k| 3.3 | 243M| 63 | 8 | 70 |4078 | 70 | 23 | 21 | 332k|2776 | 0.000000e+00 | -- | Inf
497.56/497.76 c 498s|950000 |384597 | 3106k| 3.3 | 246M| 63 | 8 | 70 |4007 | 70 | 23 | 21 | 335k|2777 | 0.000000e+00 | -- | Inf
502.35/502.55 c 503s|960000 |388891 | 3136k| 3.3 | 248M| 63 | - | 70 |5267 | 70 | 23 | 21 | 339k|2777 | 0.000000e+00 | -- | Inf
507.96/508.11 c 508s|970000 |392765 | 3168k| 3.3 | 251M| 63 | - | 70 |4705 | 0 | 0 | 21 | 342k|2777 | 0.000000e+00 | -- | Inf
513.75/513.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
513.75/513.97 c 514s|980000 |396503 | 3201k| 3.3 | 253M| 63 | 8 | 70 |4345 | 70 | 23 | 21 | 346k|2777 | 0.000000e+00 | -- | Inf
519.56/519.77 c 520s|990000 |400252 | 3234k| 3.3 | 256M| 63 | 8 | 70 |3989 | 70 | 23 | 21 | 350k|2777 | 0.000000e+00 | -- | Inf
525.35/525.55 c 526s| 1000k|403915 | 3266k| 3.3 | 258M| 63 | 8 | 70 |4253 | 70 | 23 | 21 | 353k|2777 | 0.000000e+00 | -- | Inf
531.06/531.21 c 531s| 1010k|407507 | 3300k| 3.3 | 261M| 63 | 8 | 70 |4967 | 70 | 23 | 21 | 357k|2777 | 0.000000e+00 | -- | Inf
536.74/536.96 c 537s| 1020k|411333 | 3333k| 3.3 | 263M| 63 | 8 | 70 |4588 | 70 | 23 | 21 | 361k|2777 | 0.000000e+00 | -- | Inf
542.25/542.41 c 542s| 1030k|415297 | 3366k| 3.3 | 266M| 63 | - | 70 |4579 | 70 | 23 | 21 | 364k|2777 | 0.000000e+00 | -- | Inf
548.05/548.25 c 548s| 1040k|419116 | 3399k| 3.3 | 268M| 63 | 8 | 70 |4360 | 70 | 23 | 21 | 368k|2777 | 0.000000e+00 | -- | Inf
553.94/554.14 c 554s| 1050k|422795 | 3432k| 3.3 | 271M| 63 | - | 70 |4293 | 70 | 23 | 21 | 372k|2777 | 0.000000e+00 | -- | Inf
559.35/559.55 c 560s| 1060k|426367 | 3465k| 3.3 | 274M| 63 | 8 | 70 |4900 | 70 | 23 | 21 | 376k|2777 | 0.000000e+00 | -- | Inf
565.04/565.25 c 565s| 1070k|430293 | 3498k| 3.3 | 276M| 63 | - | 70 |4578 | 70 | 23 | 21 | 379k|2777 | 0.000000e+00 | -- | Inf
570.74/570.97 c 571s| 1080k|434206 | 3530k| 3.3 | 278M| 63 | - | 70 |4334 | 70 | 23 | 21 | 383k|2777 | 0.000000e+00 | -- | Inf
576.34/576.50 c 576s| 1090k|438268 | 3562k| 3.3 | 281M| 63 | - | 70 |4740 | 70 | 23 | 21 | 386k|2777 | 0.000000e+00 | -- | Inf
582.43/582.60 c 583s| 1100k|441821 | 3596k| 3.3 | 283M| 63 | 8 | 70 |4378 | 70 | 23 | 21 | 390k|2777 | 0.000000e+00 | -- | Inf
587.94/588.11 c 588s| 1110k|445591 | 3629k| 3.3 | 286M| 63 | 8 | 70 |4893 | 70 | 23 | 21 | 394k|2777 | 0.000000e+00 | -- | Inf
593.74/593.92 c 594s| 1120k|449364 | 3661k| 3.3 | 288M| 63 | - | 70 |4580 | 70 | 23 | 21 | 398k|2780 | 0.000000e+00 | -- | Inf
599.53/599.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
599.53/599.75 c 600s| 1130k|453149 | 3695k| 3.3 | 291M| 63 | 8 | 70 |4364 | 70 | 23 | 21 | 401k|2782 | 0.000000e+00 | -- | Inf
605.33/605.60 c 606s| 1140k|456940 | 3728k| 3.3 | 293M| 63 | - | 70 |3930 | 70 | 23 | 21 | 405k|2785 | 0.000000e+00 | -- | Inf
610.73/610.95 c 611s| 1150k|460589 | 3760k| 3.3 | 296M| 63 | - | 70 |4704 | 70 | 23 | 21 | 409k|2793 | 0.000000e+00 | -- | Inf
617.03/617.26 c 617s| 1160k|464129 | 3793k| 3.3 | 298M| 63 | 8 | 70 |4181 | 70 | 23 | 21 | 413k|2804 | 0.000000e+00 | -- | Inf
622.63/622.85 c 623s| 1170k|467738 | 3826k| 3.3 | 301M| 63 | 8 | 70 |4910 | 70 | 23 | 21 | 416k|2811 | 0.000000e+00 | -- | Inf
627.63/627.89 c 628s| 1180k|471728 | 3859k| 3.3 | 304M| 63 | 8 | 70 |6000 | 70 | 23 | 21 | 420k|2813 | 0.000000e+00 | -- | Inf
633.43/633.63 c 634s| 1190k|475676 | 3892k| 3.3 | 306M| 63 | 8 | 70 |4757 | 70 | 23 | 21 | 424k|2819 | 0.000000e+00 | -- | Inf
639.53/639.77 c 640s| 1200k|479136 | 3926k| 3.3 | 309M| 63 | 8 | 70 |4152 | 70 | 23 | 21 | 428k|2821 | 0.000000e+00 | -- | Inf
645.53/645.72 c 646s| 1210k|482790 | 3959k| 3.3 | 311M| 63 | 8 | 70 |4205 | 70 | 23 | 21 | 431k|2821 | 0.000000e+00 | -- | Inf
650.72/650.96 c 651s| 1220k|487018 | 3991k| 3.3 | 314M| 63 | 8 | 70 |4758 | 70 | 23 | 21 | 435k|2829 | 0.000000e+00 | -- | Inf
655.92/656.15 c 656s| 1230k|491223 | 4022k| 3.3 | 316M| 63 | - | 70 |5081 | 70 | 23 | 21 | 438k|2835 | 0.000000e+00 | -- | Inf
662.03/662.29 c 662s| 1240k|494719 | 4055k| 3.3 | 319M| 63 | 8 | 70 |4312 | 70 | 23 | 21 | 442k|2838 | 0.000000e+00 | -- | Inf
667.32/667.58 c 668s| 1250k|498838 | 4088k| 3.3 | 321M| 63 | 8 | 70 |5072 | 70 | 23 | 21 | 446k|2846 | 0.000000e+00 | -- | Inf
672.81/673.08 c 673s| 1260k|502519 | 4122k| 3.3 | 324M| 63 | 8 | 70 |4965 | 70 | 23 | 21 | 449k|2846 | 0.000000e+00 | -- | Inf
678.82/679.04 c 679s| 1270k|506271 | 4154k| 3.3 | 326M| 63 | 8 | 70 |4280 | 70 | 23 | 21 | 453k|2846 | 0.000000e+00 | -- | Inf
684.31/684.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
684.31/684.58 c 685s| 1280k|510130 | 4186k| 3.3 | 329M| 63 | 8 | 70 |4388 | 70 | 23 | 21 | 457k|2846 | 0.000000e+00 | -- | Inf
689.21/689.46 c 689s| 1290k|514640 | 4218k| 3.3 | 332M| 63 | 8 | 70 |5177 | 70 | 23 | 21 | 460k|2846 | 0.000000e+00 | -- | Inf
693.91/694.16 c 694s| 1300k|519590 | 4249k| 3.3 | 335M| 63 | 8 | 70 |6181 | 70 | 23 | 21 | 463k|2846 | 0.000000e+00 | -- | Inf
699.01/699.20 c 699s| 1310k|524253 | 4280k| 3.3 | 337M| 63 | 8 | 70 |6218 | 70 | 23 | 21 | 466k|2846 | 0.000000e+00 | -- | Inf
704.10/704.30 c 704s| 1320k|528611 | 4312k| 3.3 | 340M| 63 | - | 70 |6351 | 70 | 23 | 21 | 470k|2846 | 0.000000e+00 | -- | Inf
709.50/709.71 c 710s| 1330k|532971 | 4342k| 3.3 | 342M| 63 | 8 | 70 |6318 | 70 | 23 | 21 | 473k|2846 | 0.000000e+00 | -- | Inf
714.80/715.01 c 715s| 1340k|537271 | 4372k| 3.3 | 345M| 63 | 8 | 70 |6425 | 70 | 23 | 21 | 476k|2846 | 0.000000e+00 | -- | Inf
719.80/720.01 c 720s| 1350k|541728 | 4403k| 3.3 | 348M| 63 | 8 | 70 |6723 | 70 | 23 | 21 | 480k|2846 | 0.000000e+00 | -- | Inf
725.20/725.41 c 725s| 1360k|545890 | 4434k| 3.3 | 350M| 63 | 8 | 70 |6511 | 70 | 23 | 21 | 483k|2846 | 0.000000e+00 | -- | Inf
730.60/730.82 c 731s| 1370k|550060 | 4464k| 3.3 | 353M| 63 | - | 70 |6430 | 70 | 23 | 21 | 487k|2846 | 0.000000e+00 | -- | Inf
736.50/736.79 c 737s| 1380k|554194 | 4495k| 3.3 | 355M| 63 | - | 70 |5349 | 70 | 23 | 21 | 490k|2846 | 0.000000e+00 | -- | Inf
742.49/742.75 c 743s| 1390k|558051 | 4527k| 3.3 | 358M| 63 | 8 | 70 |4446 | 70 | 23 | 21 | 494k|2846 | 0.000000e+00 | -- | Inf
748.00/748.26 c 748s| 1400k|562108 | 4560k| 3.3 | 360M| 63 | 8 | 70 |4666 | 70 | 23 | 21 | 497k|2846 | 0.000000e+00 | -- | Inf
753.99/754.26 c 754s| 1410k|565779 | 4593k| 3.3 | 363M| 63 | - | 70 |4544 | 70 | 23 | 21 | 501k|2846 | 0.000000e+00 | -- | Inf
759.59/759.81 c 760s| 1420k|569539 | 4625k| 3.3 | 365M| 63 | 8 | 70 |4779 | 70 | 23 | 21 | 505k|2846 | 0.000000e+00 | -- | Inf
765.09/765.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
765.09/765.36 c 765s| 1430k|573545 | 4657k| 3.3 | 368M| 63 | 8 | 70 |4722 | 70 | 23 | 21 | 508k|2846 | 0.000000e+00 | -- | Inf
770.99/771.20 c 771s| 1440k|577100 | 4691k| 3.3 | 370M| 63 | 8 | 70 |4545 | 70 | 23 | 21 | 512k|2846 | 0.000000e+00 | -- | Inf
776.48/776.72 c 777s| 1450k|580888 | 4724k| 3.3 | 373M| 63 | - | 70 |4785 | 70 | 23 | 21 | 516k|2846 | 0.000000e+00 | -- | Inf
782.38/782.62 c 783s| 1460k|584745 | 4755k| 3.3 | 375M| 63 | 8 | 70 |4181 | 70 | 23 | 21 | 519k|2846 | 0.000000e+00 | -- | Inf
788.08/788.36 c 788s| 1470k|588122 | 4789k| 3.3 | 378M| 63 | 8 | 70 |4734 | 70 | 23 | 21 | 523k|2846 | 0.000000e+00 | -- | Inf
794.18/794.43 c 794s| 1480k|591678 | 4821k| 3.3 | 380M| 63 | 8 | 70 |4229 | 70 | 23 | 21 | 527k|2846 | 0.000000e+00 | -- | Inf
800.08/800.39 c 800s| 1490k|595370 | 4853k| 3.3 | 383M| 63 | 8 | 70 |4009 | 70 | 23 | 21 | 531k|2846 | 0.000000e+00 | -- | Inf
805.58/805.81 c 806s| 1500k|599270 | 4885k| 3.3 | 385M| 63 | 8 | 70 |4341 | 70 | 23 | 21 | 534k|2846 | 0.000000e+00 | -- | Inf
811.28/811.52 c 812s| 1510k|603029 | 4918k| 3.3 | 388M| 63 | 8 | 70 |4595 | 70 | 23 | 21 | 538k|2846 | 0.000000e+00 | -- | Inf
817.09/817.31 c 817s| 1520k|606591 | 4951k| 3.3 | 390M| 63 | 8 | 70 |4763 | 70 | 23 | 21 | 542k|2846 | 0.000000e+00 | -- | Inf
822.97/823.26 c 823s| 1530k|610230 | 4983k| 3.3 | 393M| 63 | 8 | 70 |4607 | 70 | 23 | 21 | 546k|2846 | 0.000000e+00 | -- | Inf
828.98/829.22 c 829s| 1540k|613963 | 5015k| 3.3 | 395M| 63 | 8 | 70 |4381 | 70 | 23 | 21 | 550k|2846 | 0.000000e+00 | -- | Inf
835.17/835.43 c 835s| 1550k|617621 | 5048k| 3.3 | 398M| 63 | - | 70 |4407 | 70 | 23 | 21 | 553k|2846 | 0.000000e+00 | -- | Inf
840.87/841.20 c 841s| 1560k|621099 | 5081k| 3.3 | 400M| 63 | - | 70 |4955 | 70 | 23 | 21 | 557k|2846 | 0.000000e+00 | -- | Inf
847.06/847.34 c 847s| 1570k|624783 | 5114k| 3.3 | 403M| 63 | 8 | 70 |4537 | 70 | 23 | 21 | 561k|2846 | 0.000000e+00 | -- | Inf
852.46/852.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
852.46/852.78 c 853s| 1580k|628290 | 5147k| 3.3 | 405M| 63 | - | 70 |5630 | 70 | 23 | 21 | 565k|2846 | 0.000000e+00 | -- | Inf
858.77/859.03 c 859s| 1590k|631883 | 5180k| 3.3 | 408M| 63 | 8 | 70 |4781 | 70 | 23 | 21 | 568k|2846 | 0.000000e+00 | -- | Inf
864.67/864.98 c 865s| 1600k|635530 | 5212k| 3.3 | 410M| 63 | - | 70 |4897 | 70 | 23 | 21 | 572k|2846 | 0.000000e+00 | -- | Inf
870.16/870.47 c 870s| 1610k|639472 | 5244k| 3.3 | 413M| 63 | 8 | 70 |5734 | 70 | 23 | 21 | 576k|2846 | 0.000000e+00 | -- | Inf
875.86/876.13 c 876s| 1620k|643286 | 5277k| 3.3 | 415M| 63 | - | 70 |5681 | 70 | 23 | 21 | 580k|2846 | 0.000000e+00 | -- | Inf
882.26/882.52 c 883s| 1630k|646773 | 5310k| 3.3 | 418M| 63 | 8 | 70 |5084 | 70 | 23 | 21 | 583k|2846 | 0.000000e+00 | -- | Inf
888.47/888.76 c 889s| 1640k|650521 | 5342k| 3.3 | 420M| 63 | 8 | 70 |4455 | 70 | 23 | 21 | 587k|2846 | 0.000000e+00 | -- | Inf
894.56/894.83 c 895s| 1650k|653804 | 5377k| 3.3 | 423M| 63 | 8 | 70 |4866 | 70 | 23 | 21 | 591k|2846 | 0.000000e+00 | -- | Inf
900.66/900.94 c 901s| 1660k|657493 | 5409k| 3.3 | 425M| 63 | 8 | 70 |4522 | 70 | 23 | 21 | 595k|2846 | 0.000000e+00 | -- | Inf
906.06/906.34 c 906s| 1670k|661069 | 5442k| 3.3 | 428M| 63 | 8 | 70 |4927 | 70 | 23 | 21 | 599k|2846 | 0.000000e+00 | -- | Inf
911.85/912.19 c 912s| 1680k|664765 | 5475k| 3.3 | 430M| 63 | - | 70 |4726 | 70 | 23 | 21 | 602k|2846 | 0.000000e+00 | -- | Inf
917.75/918.04 c 918s| 1690k|668491 | 5507k| 3.3 | 433M| 63 | 8 | 70 |4593 | 70 | 23 | 21 | 606k|2846 | 0.000000e+00 | -- | Inf
923.65/923.96 c 924s| 1700k|672057 | 5540k| 3.3 | 435M| 63 | - | 70 |4864 | 70 | 23 | 21 | 610k|2846 | 0.000000e+00 | -- | Inf
929.54/929.89 c 930s| 1710k|675798 | 5572k| 3.3 | 438M| 63 | - | 70 |4440 | 70 | 23 | 21 | 614k|2846 | 0.000000e+00 | -- | Inf
935.35/935.69 c 936s| 1720k|679309 | 5605k| 3.3 | 440M| 63 | 8 | 70 |4730 | 70 | 23 | 21 | 617k|2846 | 0.000000e+00 | -- | Inf
941.25/941.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
941.25/941.52 c 942s| 1730k|683178 | 5637k| 3.3 | 443M| 63 | 8 | 70 |4611 | 70 | 23 | 21 | 621k|2846 | 0.000000e+00 | -- | Inf
947.34/947.66 c 948s| 1740k|686961 | 5668k| 3.3 | 445M| 63 | 8 | 70 |4473 | 70 | 23 | 21 | 625k|2846 | 0.000000e+00 | -- | Inf
952.94/953.23 c 953s| 1750k|690652 | 5703k| 3.3 | 448M| 63 | - | 70 |4789 | 70 | 23 | 21 | 629k|2846 | 0.000000e+00 | -- | Inf
958.54/958.85 c 959s| 1760k|694326 | 5736k| 3.3 | 450M| 63 | - | 70 |4638 | 70 | 23 | 21 | 632k|2846 | 0.000000e+00 | -- | Inf
964.53/964.88 c 965s| 1770k|697865 | 5768k| 3.3 | 452M| 63 | - | 70 |4361 | 70 | 23 | 21 | 636k|2846 | 0.000000e+00 | -- | Inf
970.23/970.58 c 971s| 1780k|701749 | 5800k| 3.3 | 455M| 63 | - | 70 |4619 | 70 | 23 | 21 | 640k|2846 | 0.000000e+00 | -- | Inf
976.44/976.71 c 977s| 1790k|705435 | 5832k| 3.3 | 458M| 63 | - | 70 |4502 | 70 | 23 | 21 | 643k|2846 | 0.000000e+00 | -- | Inf
982.24/982.57 c 983s| 1800k|709194 | 5864k| 3.3 | 460M| 63 | 8 | 70 |4550 | 70 | 23 | 21 | 647k|2846 | 0.000000e+00 | -- | Inf
988.24/988.57 c 989s| 1810k|712692 | 5898k| 3.3 | 462M| 63 | 8 | 70 |4638 | 70 | 23 | 21 | 651k|2846 | 0.000000e+00 | -- | Inf
994.33/994.63 c 995s| 1820k|716099 | 5930k| 3.3 | 465M| 63 | 8 | 70 |4958 | 70 | 23 | 21 | 655k|2846 | 0.000000e+00 | -- | Inf
1000.03/1000.36 c 1000s| 1830k|719895 | 5963k| 3.3 | 468M| 63 | 8 | 70 |5264 | 70 | 23 | 21 | 659k|2846 | 0.000000e+00 | -- | Inf
1005.53/1005.82 c 1006s| 1840k|723662 | 5996k| 3.3 | 470M| 63 | 8 | 70 |5485 | 70 | 23 | 21 | 662k|2846 | 0.000000e+00 | -- | Inf
1011.43/1011.73 c 1012s| 1850k|727379 | 6029k| 3.3 | 473M| 63 | - | 70 |5257 | 70 | 23 | 21 | 666k|2846 | 0.000000e+00 | -- | Inf
1017.43/1017.73 c 1018s| 1860k|730961 | 6062k| 3.3 | 475M| 63 | 8 | 70 |5118 | 70 | 23 | 21 | 670k|2846 | 0.000000e+00 | -- | Inf
1023.92/1024.20 c 1024s| 1870k|734468 | 6094k| 3.3 | 477M| 63 | 8 | 70 |4592 | 70 | 23 | 21 | 674k|2846 | 0.000000e+00 | -- | Inf
1029.92/1030.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1029.92/1030.26 c 1030s| 1880k|737833 | 6128k| 3.3 | 480M| 63 | - | 70 |4450 | 70 | 23 | 21 | 678k|2846 | 0.000000e+00 | -- | Inf
1035.02/1035.34 c 1035s| 1890k|741773 | 6160k| 3.3 | 483M| 63 | 8 | 70 |5640 | 70 | 23 | 21 | 681k|2846 | 0.000000e+00 | -- | Inf
1041.02/1041.37 c 1041s| 1900k|745301 | 6192k| 3.3 | 485M| 63 | - | 70 |4993 | 70 | 23 | 21 | 685k|2846 | 0.000000e+00 | -- | Inf
1046.52/1046.86 c 1047s| 1910k|749026 | 6225k| 3.3 | 488M| 63 | 8 | 70 |5827 | 70 | 23 | 21 | 689k|2846 | 0.000000e+00 | -- | Inf
1052.32/1052.67 c 1053s| 1920k|752704 | 6257k| 3.3 | 490M| 63 | 8 | 70 |5289 | 70 | 23 | 21 | 693k|2846 | 0.000000e+00 | -- | Inf
1057.82/1058.16 c 1058s| 1930k|756318 | 6289k| 3.3 | 493M| 63 | 8 | 70 |5794 | 70 | 23 | 21 | 696k|2846 | 0.000000e+00 | -- | Inf
1064.11/1064.47 c 1064s| 1940k|759862 | 6321k| 3.3 | 495M| 63 | - | 70 |5056 | 70 | 23 | 21 | 700k|2846 | 0.000000e+00 | -- | Inf
1070.11/1070.44 c 1070s| 1950k|763632 | 6353k| 3.3 | 498M| 63 | 8 | 70 |5035 | 70 | 23 | 21 | 704k|2846 | 0.000000e+00 | -- | Inf
1076.01/1076.34 c 1076s| 1960k|767273 | 6386k| 3.3 | 500M| 63 | 8 | 70 |5307 | 70 | 23 | 21 | 708k|2846 | 0.000000e+00 | -- | Inf
1082.11/1082.42 c 1082s| 1970k|771086 | 6418k| 3.3 | 502M| 63 | - | 70 |4731 | 70 | 23 | 21 | 711k|2846 | 0.000000e+00 | -- | Inf
1087.91/1088.23 c 1088s| 1980k|774702 | 6450k| 3.3 | 505M| 63 | - | 70 |4685 | 70 | 23 | 21 | 715k|2846 | 0.000000e+00 | -- | Inf
1093.80/1094.16 c 1094s| 1990k|778253 | 6484k| 3.3 | 507M| 63 | 8 | 70 |4919 | 70 | 23 | 21 | 719k|2846 | 0.000000e+00 | -- | Inf
1099.80/1100.19 c 1100s| 2000k|781696 | 6516k| 3.3 | 510M| 63 | 8 | 70 |4486 | 70 | 23 | 21 | 723k|2846 | 0.000000e+00 | -- | Inf
1105.60/1105.99 c 1106s| 2010k|785551 | 6549k| 3.3 | 512M| 63 | - | 70 |4757 | 70 | 23 | 21 | 727k|2846 | 0.000000e+00 | -- | Inf
1111.59/1111.97 c 1112s| 2020k|789123 | 6581k| 3.3 | 515M| 63 | - | 70 |5163 | 70 | 23 | 21 | 730k|2846 | 0.000000e+00 | -- | Inf
1118.00/1118.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1118.00/1118.35 c 1118s| 2030k|792733 | 6614k| 3.3 | 517M| 63 | - | 70 |4887 | 70 | 23 | 21 | 734k|2846 | 0.000000e+00 | -- | Inf
1123.39/1123.74 c 1124s| 2040k|797092 | 6646k| 3.3 | 520M| 63 | 8 | 70 |5027 | 70 | 23 | 21 | 738k|2846 | 0.000000e+00 | -- | Inf
1128.30/1128.65 c 1129s| 2050k|801359 | 6677k| 3.3 | 523M| 63 | - | 70 |5905 | 70 | 23 | 21 | 741k|2846 | 0.000000e+00 | -- | Inf
1133.39/1133.71 c 1134s| 2060k|805591 | 6708k| 3.3 | 525M| 63 | - | 70 |6383 | 70 | 23 | 21 | 744k|2846 | 0.000000e+00 | -- | Inf
1138.29/1138.66 c 1139s| 2070k|809992 | 6737k| 3.3 | 528M| 63 | 8 | 70 |7275 | 70 | 23 | 21 | 748k|2846 | 0.000000e+00 | -- | Inf
1143.99/1144.30 c 1144s| 2080k|814047 | 6767k| 3.3 | 531M| 63 | 8 | 70 |6696 | 70 | 23 | 21 | 751k|2846 | 0.000000e+00 | -- | Inf
1150.49/1150.81 c 1151s| 2090k|817790 | 6799k| 3.3 | 533M| 63 | - | 70 |4891 | 70 | 23 | 21 | 755k|2846 | 0.000000e+00 | -- | Inf
1156.89/1157.23 c 1157s| 2100k|821331 | 6832k| 3.3 | 535M| 63 | - | 70 |4273 | 70 | 23 | 21 | 758k|2846 | 0.000000e+00 | -- | Inf
1162.99/1163.39 c 1163s| 2110k|824768 | 6864k| 3.3 | 537M| 63 | - | 70 |4522 | 70 | 23 | 21 | 762k|2846 | 0.000000e+00 | -- | Inf
1168.99/1169.33 c 1169s| 2120k|828356 | 6896k| 3.3 | 540M| 63 | 8 | 70 |4975 | 70 | 23 | 21 | 766k|2846 | 0.000000e+00 | -- | Inf
1174.68/1175.09 c 1175s| 2130k|831951 | 6930k| 3.3 | 543M| 63 | 8 | 70 |5314 | 70 | 23 | 21 | 770k|2846 | 0.000000e+00 | -- | Inf
1180.98/1181.30 c 1181s| 2140k|835738 | 6962k| 3.3 | 545M| 63 | 8 | 70 |4585 | 70 | 23 | 21 | 774k|2846 | 0.000000e+00 | -- | Inf
1186.67/1187.09 c 1187s| 2150k|839635 | 6994k| 3.3 | 547M| 63 | 8 | 70 |4271 | 70 | 23 | 21 | 777k|2846 | 0.000000e+00 | -- | Inf
1192.47/1192.82 c 1193s| 2160k|843312 | 7027k| 3.3 | 550M| 63 | - | 70 |4532 | 70 | 23 | 21 | 781k|2846 | 0.000000e+00 | -- | Inf
1197.88/1198.28 c 1198s| 2170k|847329 | 7060k| 3.3 | 553M| 63 | 8 | 70 |4945 | 70 | 23 | 21 | 785k|2846 | 0.000000e+00 | -- | Inf
1202.98/1203.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1202.98/1203.39 c 1203s| 2180k|851198 | 7093k| 3.3 | 555M| 63 | 8 | 70 |5912 | 70 | 23 | 21 | 788k|2846 | 0.000000e+00 | -- | Inf
1208.48/1208.90 c 1209s| 2190k|854881 | 7126k| 3.3 | 558M| 63 | 8 | 70 |6135 | 70 | 23 | 21 | 792k|2846 | 0.000000e+00 | -- | Inf
1214.08/1214.44 c 1214s| 2200k|858527 | 7158k| 3.3 | 561M| 63 | - | 70 |6718 | 70 | 23 | 21 | 796k|2846 | 0.000000e+00 | -- | Inf
1220.68/1221.02 c 1221s| 2210k|862086 | 7191k| 3.3 | 563M| 63 | 8 | 70 |5294 | 70 | 23 | 21 | 800k|2846 | 0.000000e+00 | -- | Inf
1227.28/1227.62 c 1228s| 2220k|865487 | 7224k| 3.3 | 565M| 63 | - | 70 |4501 | 70 | 23 | 21 | 804k|2846 | 0.000000e+00 | -- | Inf
1233.67/1234.04 c 1234s| 2230k|868730 | 7257k| 3.3 | 567M| 63 | 8 | 70 |4471 | 70 | 23 | 21 | 808k|2846 | 0.000000e+00 | -- | Inf
1239.77/1240.18 c 1240s| 2240k|872215 | 7290k| 3.3 | 570M| 63 | 8 | 70 |4554 | 70 | 23 | 21 | 811k|2846 | 0.000000e+00 | -- | Inf
1246.36/1246.71 c 1247s| 2250k|875612 | 7323k| 3.3 | 572M| 63 | 8 | 70 |4254 | 70 | 23 | 21 | 815k|2846 | 0.000000e+00 | -- | Inf
1252.06/1252.47 c 1252s| 2260k|879207 | 7355k| 3.3 | 575M| 63 | 8 | 70 |4879 | 70 | 23 | 21 | 819k|2846 | 0.000000e+00 | -- | Inf
1258.07/1258.45 c 1258s| 2270k|882951 | 7388k| 3.3 | 577M| 63 | 8 | 70 |4677 | 70 | 23 | 21 | 823k|2846 | 0.000000e+00 | -- | Inf
1263.47/1263.89 c 1264s| 2280k|886649 | 7420k| 3.3 | 580M| 63 | 8 | 70 |5479 | 70 | 23 | 21 | 827k|2846 | 0.000000e+00 | -- | Inf
1269.86/1270.25 c 1270s| 2290k|890462 | 7452k| 3.3 | 582M| 63 | 8 | 70 |4577 | 70 | 23 | 21 | 830k|2846 | 0.000000e+00 | -- | Inf
1275.66/1276.03 c 1276s| 2300k|894169 | 7484k| 3.3 | 585M| 63 | - | 70 |5112 | 70 | 23 | 21 | 834k|2846 | 0.000000e+00 | -- | Inf
1281.76/1282.15 c 1282s| 2310k|897542 | 7517k| 3.3 | 587M| 63 | - | 70 |4619 | 70 | 23 | 21 | 838k|2846 | 0.000000e+00 | -- | Inf
1287.76/1288.16 c 1288s| 2320k|901288 | 7550k| 3.3 | 590M| 63 | 8 | 70 |4556 | 70 | 23 | 21 | 842k|2846 | 0.000000e+00 | -- | Inf
1293.05/1293.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1293.05/1293.49 c 1293s| 2330k|905284 | 7582k| 3.3 | 593M| 63 | - | 70 |5702 | 70 | 23 | 21 | 845k|2846 | 0.000000e+00 | -- | Inf
1299.25/1299.67 c 1300s| 2340k|908749 | 7615k| 3.3 | 595M| 63 | - | 70 |5242 | 70 | 23 | 21 | 849k|2846 | 0.000000e+00 | -- | Inf
1305.85/1306.23 c 1306s| 2350k|912113 | 7648k| 3.3 | 597M| 63 | - | 70 |4914 | 70 | 23 | 21 | 853k|2846 | 0.000000e+00 | -- | Inf
1311.45/1311.81 c 1312s| 2360k|916079 | 7680k| 3.3 | 600M| 63 | 8 | 70 |5778 | 70 | 23 | 21 | 857k|2846 | 0.000000e+00 | -- | Inf
1316.84/1317.29 c 1317s| 2370k|919908 | 7712k| 3.3 | 603M| 63 | 8 | 70 |6253 | 70 | 23 | 21 | 860k|2846 | 0.000000e+00 | -- | Inf
1323.24/1323.69 c 1324s| 2380k|923399 | 7744k| 3.3 | 605M| 63 | 8 | 70 |5434 | 70 | 23 | 21 | 864k|2846 | 0.000000e+00 | -- | Inf
1328.44/1328.86 c 1329s| 2390k|927561 | 7775k| 3.3 | 608M| 63 | 8 | 70 |6333 | 70 | 23 | 21 | 867k|2846 | 0.000000e+00 | -- | Inf
1335.05/1335.49 c 1335s| 2400k|931216 | 7807k| 3.3 | 610M| 63 | 8 | 70 |5010 | 70 | 23 | 21 | 871k|2846 | 0.000000e+00 | -- | Inf
1341.73/1342.10 c 1342s| 2410k|934620 | 7840k| 3.3 | 612M| 63 | 8 | 70 |4736 | 70 | 23 | 21 | 875k|2846 | 0.000000e+00 | -- | Inf
1347.33/1347.75 c 1348s| 2420k|938451 | 7871k| 3.3 | 615M| 63 | 8 | 70 |5311 | 70 | 23 | 21 | 879k|2846 | 0.000000e+00 | -- | Inf
1354.04/1354.43 c 1354s| 2430k|941879 | 7903k| 3.3 | 617M| 63 | - | 70 |4579 | 70 | 23 | 21 | 883k|2846 | 0.000000e+00 | -- | Inf
1359.53/1359.96 c 1360s| 2440k|945900 | 7935k| 3.3 | 620M| 63 | - | 70 |4955 | 70 | 23 | 21 | 886k|2846 | 0.000000e+00 | -- | Inf
1365.33/1365.76 c 1366s| 2450k|949660 | 7967k| 3.3 | 622M| 63 | 8 | 70 |4493 | 70 | 23 | 21 | 890k|2846 | 0.000000e+00 | -- | Inf
1371.43/1371.88 c 1372s| 2460k|953293 | 8000k| 3.3 | 625M| 63 | - | 70 |4276 | 70 | 23 | 21 | 894k|2846 | 0.000000e+00 | -- | Inf
1376.53/1376.93 c 1377s| 2470k|957234 | 8031k| 3.3 | 627M| 63 | 8 | 70 |5365 | 70 | 23 | 21 | 897k|2846 | 0.000000e+00 | -- | Inf
1381.83/1382.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1381.83/1382.26 c 1382s| 2480k|960795 | 8061k| 3.3 | 630M| 63 | 8 | 70 |5891 | 70 | 23 | 21 | 901k|2846 | 0.000000e+00 | -- | Inf
1388.63/1389.03 c 1389s| 2490k|963944 | 8093k| 3.3 | 632M| 63 | 8 | 70 |4717 | 70 | 23 | 21 | 905k|2846 | 0.000000e+00 | -- | Inf
1393.93/1394.35 c 1394s| 2500k|967935 | 8124k| 3.2 | 635M| 63 | - | 70 |5390 | 70 | 23 | 21 | 909k|2846 | 0.000000e+00 | -- | Inf
1400.13/1400.51 c 1401s| 2510k|971331 | 8157k| 3.2 | 637M| 63 | 8 | 70 |5284 | 70 | 23 | 21 | 913k|2846 | 0.000000e+00 | -- | Inf
1406.22/1406.68 c 1407s| 2520k|974833 | 8190k| 3.3 | 639M| 63 | 8 | 70 |4682 | 70 | 23 | 21 | 917k|2846 | 0.000000e+00 | -- | Inf
1412.03/1412.47 c 1412s| 2530k|978460 | 8223k| 3.3 | 642M| 63 | 8 | 70 |4878 | 70 | 23 | 21 | 921k|2846 | 0.000000e+00 | -- | Inf
1418.02/1418.49 c 1418s| 2540k|982182 | 8255k| 3.3 | 644M| 63 | 8 | 70 |4718 | 70 | 23 | 21 | 924k|2846 | 0.000000e+00 | -- | Inf
1423.61/1424.00 c 1424s| 2550k|985871 | 8286k| 3.2 | 647M| 63 | 8 | 70 |4891 | 70 | 23 | 21 | 928k|2846 | 0.000000e+00 | -- | Inf
1429.41/1429.88 c 1430s| 2560k|989441 | 8319k| 3.2 | 649M| 63 | 8 | 70 |4807 | 70 | 23 | 21 | 932k|2846 | 0.000000e+00 | -- | Inf
1435.61/1436.03 c 1436s| 2570k|992858 | 8352k| 3.2 | 652M| 63 | - | 70 |4423 | 70 | 23 | 21 | 936k|2846 | 0.000000e+00 | -- | Inf
1441.51/1441.98 c 1442s| 2580k|996414 | 8384k| 3.2 | 654M| 63 | - | 70 |4832 | 70 | 23 | 21 | 939k|2846 | 0.000000e+00 | -- | Inf
1447.31/1447.75 c 1448s| 2590k| 1000k| 8417k| 3.3 | 657M| 63 | - | 70 |5566 | 70 | 23 | 21 | 943k|2846 | 0.000000e+00 | -- | Inf
1453.30/1453.70 c 1454s| 2600k| 1003k| 8450k| 3.3 | 659M| 63 | - | 70 |5475 | 70 | 23 | 21 | 947k|2846 | 0.000000e+00 | -- | Inf
1459.61/1460.01 c 1460s| 2610k| 1007k| 8483k| 3.3 | 662M| 63 | 8 | 70 |4889 | 70 | 23 | 21 | 951k|2846 | 0.000000e+00 | -- | Inf
1465.40/1465.85 c 1466s| 2620k| 1010k| 8516k| 3.3 | 664M| 63 | - | 70 |5471 | 70 | 23 | 21 | 955k|2846 | 0.000000e+00 | -- | Inf
1472.00/1472.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1472.00/1472.43 c 1472s| 2630k| 1014k| 8547k| 3.2 | 667M| 63 | 8 | 70 |4467 | 70 | 23 | 21 | 959k|2846 | 0.000000e+00 | -- | Inf
1478.01/1478.49 c 1478s| 2640k| 1017k| 8582k| 3.3 | 669M| 63 | 8 | 70 |4993 | 70 | 23 | 21 | 963k|2846 | 0.000000e+00 | -- | Inf
1484.30/1484.70 c 1485s| 2650k| 1020k| 8615k| 3.3 | 672M| 63 | 8 | 70 |4759 | 70 | 23 | 21 | 967k|2846 | 0.000000e+00 | -- | Inf
1489.90/1490.36 c 1490s| 2660k| 1024k| 8647k| 3.3 | 674M| 63 | - | 70 |5323 | 70 | 23 | 21 | 971k|2846 | 0.000000e+00 | -- | Inf
1496.10/1496.51 c 1497s| 2670k| 1028k| 8680k| 3.3 | 677M| 63 | 8 | 70 |4862 | 70 | 23 | 21 | 974k|2846 | 0.000000e+00 | -- | Inf
1502.00/1502.46 c 1502s| 2680k| 1032k| 8712k| 3.3 | 679M| 63 | 8 | 70 |4916 | 70 | 23 | 21 | 978k|2846 | 0.000000e+00 | -- | Inf
1508.80/1509.25 c 1509s| 2690k| 1035k| 8744k| 3.3 | 681M| 63 | 8 | 70 |4368 | 70 | 23 | 21 | 982k|2846 | 0.000000e+00 | -- | Inf
1514.40/1514.87 c 1515s| 2700k| 1039k| 8777k| 3.3 | 684M| 63 | 8 | 70 |5212 | 70 | 23 | 21 | 986k|2846 | 0.000000e+00 | -- | Inf
1519.80/1520.23 c 1520s| 2710k| 1043k| 8808k| 3.3 | 687M| 63 | 8 | 70 |5497 | 70 | 23 | 21 | 989k|2846 | 0.000000e+00 | -- | Inf
1525.98/1526.48 c 1526s| 2720k| 1046k| 8841k| 3.3 | 689M| 63 | 8 | 70 |5404 | 70 | 23 | 21 | 993k|2846 | 0.000000e+00 | -- | Inf
1532.19/1532.61 c 1533s| 2730k| 1050k| 8874k| 3.3 | 691M| 63 | 8 | 70 |5261 | 70 | 23 | 21 | 997k|2846 | 0.000000e+00 | -- | Inf
1538.39/1538.86 c 1539s| 2740k| 1053k| 8906k| 3.3 | 694M| 63 | 8 | 70 |5406 | 70 | 23 | 21 |1001k|2846 | 0.000000e+00 | -- | Inf
1544.78/1545.23 c 1545s| 2750k| 1057k| 8938k| 3.3 | 696M| 63 | - | 70 |4853 | 70 | 23 | 21 |1004k|2846 | 0.000000e+00 | -- | Inf
1551.08/1551.57 c 1552s| 2760k| 1060k| 8971k| 3.3 | 699M| 63 | 8 | 70 |5128 | 70 | 23 | 21 |1008k|2846 | 0.000000e+00 | -- | Inf
1557.08/1557.51 c 1557s| 2770k| 1063k| 9005k| 3.3 | 701M| 63 | 8 | 70 |5482 | 70 | 23 | 21 |1012k|2846 | 0.000000e+00 | -- | Inf
1563.48/1563.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1563.48/1563.93 c 1564s| 2780k| 1067k| 9037k| 3.3 | 704M| 63 | - | 70 |5622 | 70 | 23 | 21 |1016k|2846 | 0.000000e+00 | -- | Inf
1570.18/1570.65 c 1571s| 2790k| 1070k| 9069k| 3.3 | 706M| 63 | - | 70 |4800 | 70 | 23 | 21 |1020k|2846 | 0.000000e+00 | -- | Inf
1576.68/1577.12 c 1577s| 2800k| 1074k| 9102k| 3.3 | 708M| 63 | - | 70 |4631 | 70 | 23 | 21 |1024k|2846 | 0.000000e+00 | -- | Inf
1582.88/1583.39 c 1583s| 2810k| 1077k| 9135k| 3.3 | 711M| 63 | 8 | 70 |4789 | 70 | 23 | 21 |1028k|2846 | 0.000000e+00 | -- | Inf
1589.18/1589.67 c 1590s| 2820k| 1081k| 9168k| 3.3 | 713M| 63 | 8 | 70 |5038 | 70 | 23 | 21 |1032k|2846 | 0.000000e+00 | -- | Inf
1595.47/1595.92 c 1596s| 2830k| 1084k| 9199k| 3.3 | 716M| 63 | 8 | 70 |5129 | 70 | 23 | 21 |1035k|2846 | 0.000000e+00 | -- | Inf
1601.77/1602.20 c 1602s| 2840k| 1088k| 9231k| 3.3 | 718M| 63 | 8 | 70 |5155 | 70 | 23 | 21 |1039k|2846 | 0.000000e+00 | -- | Inf
1607.77/1608.26 c 1608s| 2850k| 1092k| 9263k| 3.3 | 721M| 63 | - | 70 |5336 | 70 | 23 | 21 |1043k|2846 | 0.000000e+00 | -- | Inf
1613.76/1614.29 c 1614s| 2860k| 1095k| 9296k| 3.3 | 723M| 63 | 8 | 70 |5607 | 70 | 23 | 21 |1047k|2846 | 0.000000e+00 | -- | Inf
1619.96/1620.41 c 1620s| 2870k| 1098k| 9329k| 3.3 | 726M| 63 | 8 | 70 |5374 | 70 | 23 | 21 |1051k|2846 | 0.000000e+00 | -- | Inf
1626.37/1626.85 c 1627s| 2880k| 1102k| 9362k| 3.3 | 728M| 63 | - | 70 |5309 | 70 | 23 | 21 |1055k|2846 | 0.000000e+00 | -- | Inf
1632.36/1632.87 c 1633s| 2890k| 1105k| 9395k| 3.3 | 731M| 63 | 8 | 70 |5542 | 70 | 23 | 21 |1059k|2846 | 0.000000e+00 | -- | Inf
1637.66/1638.11 c 1638s| 2900k| 1109k| 9427k| 3.3 | 733M| 63 | 8 | 70 |6078 | 70 | 23 | 21 |1062k|2846 | 0.000000e+00 | -- | Inf
1643.36/1643.82 c 1644s| 2910k| 1113k| 9458k| 3.3 | 736M| 63 | 8 | 70 |5799 | 70 | 23 | 21 |1066k|2846 | 0.000000e+00 | -- | Inf
1649.26/1649.79 c 1650s| 2920k| 1117k| 9491k| 3.3 | 738M| 63 | - | 70 |6280 | 70 | 23 | 21 |1070k|2846 | 0.000000e+00 | -- | Inf
1654.85/1655.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1654.85/1655.32 c 1655s| 2930k| 1121k| 9522k| 3.2 | 741M| 63 | - | 70 |6867 | 70 | 23 | 21 |1073k|2846 | 0.000000e+00 | -- | Inf
1660.46/1660.90 c 1661s| 2940k| 1124k| 9551k| 3.2 | 744M| 63 | 8 | 70 |7876 | 70 | 23 | 21 |1077k|2846 | 0.000000e+00 | -- | Inf
1667.65/1668.12 c 1668s| 2950k| 1128k| 9585k| 3.2 | 746M| 63 | - | 70 |6042 | 70 | 23 | 21 |1081k|2846 | 0.000000e+00 | -- | Inf
1674.45/1674.91 c 1675s| 2960k| 1131k| 9617k| 3.2 | 748M| 63 | 8 | 70 |5505 | 70 | 23 | 21 |1085k|2846 | 0.000000e+00 | -- | Inf
1680.95/1681.48 c 1681s| 2970k| 1135k| 9650k| 3.2 | 751M| 63 | - | 70 |5412 | 70 | 23 | 21 |1089k|2846 | 0.000000e+00 | -- | Inf
1686.96/1687.48 c 1687s| 2980k| 1138k| 9682k| 3.2 | 753M| 63 | 8 | 70 |5463 | 70 | 23 | 21 |1093k|2846 | 0.000000e+00 | -- | Inf
1692.74/1693.28 c 1693s| 2990k| 1142k| 9715k| 3.2 | 756M| 63 | - | 70 |5780 | 70 | 23 | 21 |1097k|2846 | 0.000000e+00 | -- | Inf
1697.95/1698.46 c 1698s| 3000k| 1146k| 9745k| 3.2 | 758M| 63 | 8 | 70 |6109 | 70 | 23 | 21 |1100k|2846 | 0.000000e+00 | -- | Inf
1704.45/1704.97 c 1705s| 3010k| 1149k| 9778k| 3.2 | 760M| 63 | 8 | 70 |5073 | 70 | 23 | 21 |1104k|2846 | 0.000000e+00 | -- | Inf
1711.14/1711.63 c 1712s| 3020k| 1152k| 9810k| 3.2 | 763M| 63 | 8 | 70 |4669 | 70 | 23 | 21 |1108k|2846 | 0.000000e+00 | -- | Inf
1716.64/1717.18 c 1717s| 3030k| 1156k| 9843k| 3.2 | 765M| 63 | 8 | 70 |5761 | 70 | 23 | 21 |1112k|2846 | 0.000000e+00 | -- | Inf
1723.04/1723.59 c 1724s| 3040k| 1160k| 9876k| 3.2 | 768M| 63 | 8 | 70 |5256 | 70 | 23 | 21 |1115k|2846 | 0.000000e+00 | -- | Inf
1728.74/1729.24 c 1729s| 3050k| 1164k| 9909k| 3.2 | 771M| 63 | 8 | 70 |6165 | 70 | 23 | 21 |1119k|2846 | 0.000000e+00 | -- | Inf
1734.64/1735.18 c 1735s| 3060k| 1167k| 9942k| 3.2 | 773M| 63 | - | 70 |6388 | 70 | 23 | 21 |1123k|2846 | 0.000000e+00 | -- | Inf
1740.63/1741.14 c 1741s| 3070k| 1171k| 9974k| 3.2 | 776M| 63 | - | 70 |6504 | 70 | 23 | 21 |1127k|2846 | 0.000000e+00 | -- | Inf
1747.33/1747.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1747.33/1747.84 c 1748s| 3080k| 1174k| 10005k| 3.2 | 778M| 63 | 8 | 70 |5469 | 70 | 23 | 21 |1131k|2846 | 0.000000e+00 | -- | Inf
1753.43/1753.98 c 1754s| 3090k| 1177k| 10038k| 3.2 | 780M| 63 | - | 70 |6006 | 70 | 23 | 21 |1135k|2846 | 0.000000e+00 | -- | Inf
1759.43/1759.98 c 1760s| 3100k| 1181k| 10070k| 3.2 | 783M| 63 | 8 | 70 |6060 | 70 | 23 | 21 |1139k|2846 | 0.000000e+00 | -- | Inf
1765.63/1766.15 c 1766s| 3110k| 1185k| 10101k| 3.2 | 785M| 63 | 8 | 70 |5373 | 70 | 23 | 21 |1143k|2846 | 0.000000e+00 | -- | Inf
1771.53/1772.05 c 1772s| 3120k| 1188k| 10133k| 3.2 | 788M| 63 | 8 | 70 |5493 | 70 | 23 | 21 |1146k|2846 | 0.000000e+00 | -- | Inf
1778.02/1778.59 c 1779s| 3130k| 1192k| 10166k| 3.2 | 790M| 63 | - | 70 |5340 | 70 | 23 | 21 |1150k|2846 | 0.000000e+00 | -- | Inf
1784.62/1785.17 c 1785s| 3140k| 1195k| 10198k| 3.2 | 792M| 63 | 8 | 70 |5156 | 70 | 23 | 21 |1154k|2846 | 0.000000e+00 | -- | Inf
1789.52/1790.01 c
1789.52/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.52/1790.01 c Solving Time (sec) : 1790.00
1789.52/1790.01 c Solving Nodes : 3147141
1789.52/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.52/1790.01 c Dual Bound : +0.00000000000000e+00
1789.52/1790.01 c Gap : infinite
1789.52/1790.01 s UNKNOWN
1789.52/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.52/1790.01 c Solving Time : 1790.00
1789.52/1790.01 c Original Problem :
1789.52/1790.01 c Problem name : HOME/instance-2703525-1278561838.opb
1789.52/1790.01 c Variables : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.52/1790.01 c Constraints : 17 initial, 17 maximal
1789.52/1790.01 c Presolved Problem :
1789.52/1790.01 c Problem name : t_HOME/instance-2703525-1278561838.opb
1789.52/1790.01 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.52/1790.01 c Constraints : 8 initial, 8165 maximal
1789.52/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.52/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.52/1790.01 c dualfix : 0.00 1 0 0 0 0 0 0 0
1789.52/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.52/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.52/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.52/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1789.52/1790.01 c linear : 0.00 0 0 0 0 0 9 0 0
1789.52/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.52/1790.01 c root node : - 0 - - 0 - - - -
1789.52/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.52/1790.01 c integral : 0 0 0 2178357 0 180 1017 0 0 4354578
1789.52/1790.01 c linear : 8+ 7 6544450 0 2 12577 501271 0 0 0
1789.52/1790.01 c logicor : 0+ 0 2917107 0 0 1429 859535 0 0 0
1789.52/1790.01 c countsols : 0 0 0 0 2 0 0 0 0 0
1789.52/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.52/1790.01 c integral : 25.84 0.00 0.00 25.84 0.00
1789.52/1790.01 c linear : 412.90 0.00 412.90 0.00 0.00
1789.52/1790.01 c logicor : 269.30 0.00 269.30 0.00 0.00
1789.52/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.52/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.52/1790.01 c vbounds : 2.36 2 0 0
1789.52/1790.01 c rootredcost : 2.37 0 0 0
1789.52/1790.01 c pseudoobj : 2.01 0 0 0
1789.52/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.52/1790.01 c propagation : 2.27 14006 13100 50616 50.6 4 40.5 -
1789.52/1790.01 c infeasible LP : 70.63 959466 959436 1751609 31.8 12176 36.1 0
1789.52/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.52/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.52/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.52/1790.01 c applied globally : - - - 999321 25.8 - - -
1789.52/1790.01 c applied locally : - - - 158207 37.6 - - -
1789.52/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.52/1790.01 c cut pool : 0.00 5 - - 7 - (maximal pool size: 50)
1789.52/1790.01 c redcost : 6.28 2178362 0 0 0 0
1789.52/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.52/1790.01 c intobj : 0.00 0 0 0 0 0
1789.52/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.52/1790.01 c gomory : 0.01 6 0 0 0 0
1789.52/1790.01 c strongcg : 0.00 6 0 0 16 0
1789.52/1790.01 c cmir : 0.04 6 0 0 21 0
1789.52/1790.01 c flowcover : 0.04 6 0 0 24 0
1789.52/1790.01 c clique : 0.00 1 0 0 0 0
1789.52/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.52/1790.01 c mcf : 0.00 1 0 0 0 0
1789.52/1790.01 c rapidlearning : 0.14 1 0 0 0 1
1789.52/1790.01 c Pricers : Time Calls Vars
1789.52/1790.01 c problem variables: 0.00 0 0
1789.52/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.52/1790.01 c relpscost : 23.64 2178357 180 1017 0 0 4354578
1789.52/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.52/1790.01 c inference : 0.00 2 0 0 0 0 4
1789.52/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.52/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.52/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.52/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.52/1790.01 c random : 0.00 0 0 0 0 0 0
1789.52/1790.01 c Primal Heuristics : Time Calls Found
1789.52/1790.01 c LP solutions : 0.00 - 0
1789.52/1790.01 c pseudo solutions : 0.00 - 0
1789.52/1790.01 c oneopt : 2.16 0 0
1789.52/1790.01 c crossover : 1.09 0 0
1789.52/1790.01 c guideddiving : 0.14 0 0
1789.52/1790.01 c intshifting : 0.10 0 0
1789.52/1790.01 c pscostdiving : 0.13 21 0
1789.52/1790.01 c fracdiving : 0.14 21 0
1789.52/1790.01 c veclendiving : 0.14 21 0
1789.52/1790.01 c linesearchdiving : 0.13 21 0
1789.52/1790.01 c feaspump : 0.15 11 0
1789.52/1790.01 c objpscostdiving : 0.13 11 0
1789.52/1790.01 c rootsoldiving : 0.11 11 0
1789.52/1790.01 c coefdiving : 0.15 22 0
1789.52/1790.01 c trivial : 0.00 2 0
1789.52/1790.01 c simplerounding : 0.87 0 0
1789.52/1790.01 c zirounding : 1.24 1000 0
1789.52/1790.01 c rounding : 2.62 20853 0
1789.52/1790.01 c shifting : 5.72 6617 0
1789.52/1790.01 c twoopt : 0.00 0 0
1789.52/1790.01 c fixandinfer : 0.00 0 0
1789.52/1790.01 c intdiving : 0.00 0 0
1789.52/1790.01 c actconsdiving : 0.00 0 0
1789.52/1790.01 c octane : 0.00 0 0
1789.52/1790.01 c rens : 0.06 1 0
1789.52/1790.01 c rins : 0.00 0 0
1789.52/1790.01 c localbranching : 0.00 0 0
1789.52/1790.01 c mutation : 0.00 0 0
1789.52/1790.01 c dins : 0.00 0 0
1789.52/1790.01 c undercover : 0.00 0 0
1789.52/1790.01 c nlp : 1.00 0 0
1789.52/1790.01 c trysol : 1.48 0 0
1789.52/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.52/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.52/1790.01 c dual LP : 477.47 3090064 10220099 3.31 21404.76
1789.52/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.52/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.52/1790.01 c diving/probing LP: 0.16 1152 2529 2.20 16211.64
1789.52/1790.01 c strong branching : 1.11 2846 22992 8.08 20620.72
1789.52/1790.01 c (at root node) : - 19 1030 54.21 -
1789.52/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.52/1790.01 c B&B Tree :
1789.52/1790.01 c number of runs : 1
1789.52/1790.01 c nodes : 3147141
1789.52/1790.01 c nodes (total) : 3147141
1789.52/1790.01 c nodes left : 1197825
1789.52/1790.01 c max depth : 63
1789.52/1790.01 c max depth (total): 63
1789.52/1790.01 c backtracks : 292302 (9.3%)
1789.52/1790.01 c delayed cutoffs : 9617
1789.52/1790.01 c repropagations : 2491027 (870215 domain reductions, 3533 cutoffs)
1789.52/1790.01 c avg switch length: 5.87
1789.52/1790.01 c switching time : 266.93
1789.52/1790.01 c Solution :
1789.52/1790.01 c Solutions found : 0 (0 improvements)
1789.52/1790.01 c Primal Bound : -
1789.52/1790.01 c Dual Bound : +0.00000000000000e+00
1789.52/1790.01 c Gap : infinite
1789.52/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.52/1790.01 c Root Iterations : 216
1794.92/1795.43 c Time complete: 1794.96.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703525-1278561838/watcher-2703525-1278561838 -o /tmp/evaluation-result-2703525-1278561838/solver-2703525-1278561838 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703525-1278561838.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.85 0.97 0.99 3/106 29436
/proc/meminfo: memFree=1701304/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=7904 CPUtime=0
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 1141 0 0 0 0 0 0 0 20 0 1 0 24397378 8093696 1053 1992294400 4194304 8395647 140736812860752 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29436/statm: 1976 1061 365 1026 0 946 0
[startup+0.0848119 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 29436
/proc/meminfo: memFree=1701304/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=22172 CPUtime=0.07
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 4800 0 0 0 6 1 0 0 22 0 1 0 24397378 22704128 4359 1992294400 4194304 8395647 140736812860752 18446744073709551615 4767227 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 5543 4359 599 1026 0 4513 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 22172
[startup+0.101812 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 29436
/proc/meminfo: memFree=1701304/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=22304 CPUtime=0.09
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 4810 0 0 0 8 1 0 0 22 0 1 0 24397378 22839296 4369 1992294400 4194304 8395647 140736812860752 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 5576 4369 599 1026 0 4546 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22304
[startup+0.300836 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 29436
/proc/meminfo: memFree=1701304/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=23408 CPUtime=0.29
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 5417 0 0 0 27 2 0 0 22 0 1 0 24397378 23969792 4976 1992294400 4194304 8395647 140736812860752 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 5852 4976 619 1026 0 4822 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23408
[startup+0.70088 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 29436
/proc/meminfo: memFree=1701304/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=23408 CPUtime=0.69
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 5420 0 0 0 64 5 0 0 23 0 1 0 24397378 23969792 4979 1992294400 4194304 8395647 140736812860752 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 5852 4979 622 1026 0 4822 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23408
[startup+1.50097 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 29437
/proc/meminfo: memFree=1683688/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=23408 CPUtime=1.49
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 5424 0 0 0 141 8 0 0 25 0 1 0 24397378 23969792 4983 1992294400 4194304 8395647 140736812860752 18446744073709551615 5026530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 5852 4983 622 1026 0 4822 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23408
[startup+3.10115 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 29437
/proc/meminfo: memFree=1683440/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=23408 CPUtime=3.09
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 5431 0 0 0 295 14 0 0 25 0 1 0 24397378 23969792 4990 1992294400 4194304 8395647 140736812860752 18446744073709551615 5026907 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 5852 4990 622 1026 0 4822 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23408
[startup+6.30051 s]
/proc/loadavg: 0.86 0.97 0.99 2/107 29437
/proc/meminfo: memFree=1682944/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=23408 CPUtime=6.29
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 5443 0 0 0 604 25 0 0 25 0 1 0 24397378 23969792 5002 1992294400 4194304 8395647 140736812860752 18446744073709551615 5027255 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 5852 5002 622 1026 0 4822 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23408
[startup+12.7002 s]
/proc/loadavg: 0.87 0.97 0.99 2/107 29437
/proc/meminfo: memFree=1681704/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=24940 CPUtime=12.69
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 5847 0 0 0 1223 46 0 0 25 0 1 0 24397378 25538560 5406 1992294400 4194304 8395647 140736812860752 18446744073709551615 4220727 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 6235 5406 622 1026 0 5205 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24940
[startup+25.5017 s]
/proc/loadavg: 0.90 0.97 0.99 2/107 29437
/proc/meminfo: memFree=1673520/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=32708 CPUtime=25.49
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 7845 0 0 0 2459 90 0 0 25 0 1 0 24397378 33492992 7404 1992294400 4194304 8395647 140736812860752 18446744073709551615 6118691 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 8177 7404 622 1026 0 7147 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32708
[startup+51.1015 s]
/proc/loadavg: 0.93 0.97 0.99 2/107 29439
/proc/meminfo: memFree=1658268/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=47776 CPUtime=51.08
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 11687 0 0 0 4931 177 0 0 25 0 1 0 24397378 48922624 11246 1992294400 4194304 8395647 140736812860752 18446744073709551615 4616775 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 11944 11246 622 1026 0 10914 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 47776
[startup+102.308 s]
/proc/loadavg: 0.97 0.97 0.99 2/107 29439
/proc/meminfo: memFree=1628508/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=79484 CPUtime=102.27
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 19353 0 0 0 9892 335 0 0 25 0 1 0 24397378 81391616 18912 1992294400 4194304 8395647 140736812860752 18446744073709551615 5026725 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 19871 18912 622 1026 0 18841 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 79484
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29441
/proc/meminfo: memFree=1595400/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=110908 CPUtime=162.25
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 27355 0 0 0 15705 520 0 0 25 0 1 0 24397378 113569792 26914 1992294400 4194304 8395647 140736812860752 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 27727 26914 622 1026 0 26697 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 110908
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29443
/proc/meminfo: memFree=1563780/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=142344 CPUtime=222.23
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 35304 0 0 0 21515 708 0 0 25 0 1 0 24397378 145760256 34863 1992294400 4194304 8395647 140736812860752 18446744073709551615 6345759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 35586 34863 622 1026 0 34556 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 142344
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29445
/proc/meminfo: memFree=1534268/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=175336 CPUtime=282.22
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 42714 0 0 0 27341 881 0 0 25 0 1 0 24397378 179544064 42273 1992294400 4194304 8395647 140736812860752 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 43834 42273 622 1026 0 42804 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 175336
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29447
/proc/meminfo: memFree=1503516/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=204588 CPUtime=342.2
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 50199 0 0 0 33167 1053 0 0 25 0 1 0 24397378 209498112 49758 1992294400 4194304 8395647 140736812860752 18446744073709551615 6282078 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 51147 49758 622 1026 0 50117 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 204588
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29447
/proc/meminfo: memFree=1477600/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=230952 CPUtime=402.19
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 56942 0 0 0 38995 1224 0 0 25 0 1 0 24397378 236494848 56501 1992294400 4194304 8395647 140736812860752 18446744073709551615 5085604 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 57738 56501 622 1026 0 56708 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 230952
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29449
/proc/meminfo: memFree=1444368/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=262052 CPUtime=462.16
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 64888 0 0 0 44823 1393 0 0 25 0 1 0 24397378 268341248 64447 1992294400 4194304 8395647 140736812860752 18446744073709551615 5026706 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 65513 64447 622 1026 0 64483 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 262052
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29451
/proc/meminfo: memFree=1419940/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=286156 CPUtime=522.15
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 71076 0 0 0 50655 1560 0 0 25 0 1 0 24397378 293023744 70635 1992294400 4194304 8395647 140736812860752 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 71539 70635 622 1026 0 70509 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 286156
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29453
/proc/meminfo: memFree=1391668/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=313388 CPUtime=582.13
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 78006 0 0 0 56488 1725 0 0 25 0 1 0 24397378 320909312 77565 1992294400 4194304 8395647 140736812860752 18446744073709551615 6216979 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 78347 77565 622 1026 0 77317 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 313388
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29455
/proc/meminfo: memFree=1363892/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=348408 CPUtime=642.13
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 84905 0 0 0 62323 1890 0 0 25 0 1 0 24397378 356769792 84464 1992294400 4194304 8395647 140736812860752 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 87102 84464 622 1026 0 86072 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 348408
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1149496/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=557208 CPUtime=1122
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 138271 0 0 0 109045 3155 0 0 25 0 1 0 24397378 570580992 137830 1992294400 4194304 8395647 140736812860752 18446744073709551615 5620504 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 139302 137830 622 1026 0 138272 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 557208
[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29472
/proc/meminfo: memFree=1121844/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=584628 CPUtime=1181.98
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 145164 0 0 0 114873 3325 0 0 25 0 1 0 24397378 598659072 144723 1992294400 4194304 8395647 140736812860752 18446744073709551615 6068892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 146157 144723 622 1026 0 145127 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 584628
[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29474
/proc/meminfo: memFree=1095432/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=609684 CPUtime=1241.96
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 151606 0 0 0 120716 3480 0 0 25 0 1 0 24397378 624316416 151165 1992294400 4194304 8395647 140736812860752 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 152421 151165 622 1026 0 151391 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 609684
[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29474
/proc/meminfo: memFree=1071624/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=632520 CPUtime=1301.96
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 157502 0 0 0 126558 3638 0 0 25 0 1 0 24397378 647700480 157061 1992294400 4194304 8395647 140736812860752 18446744073709551615 4230933 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 158130 157061 622 1026 0 157100 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 632520
[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29476
/proc/meminfo: memFree=1042732/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=660784 CPUtime=1361.93
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 164753 0 0 0 132403 3790 0 0 25 0 1 0 24397378 676642816 164312 1992294400 4194304 8395647 140736812860752 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 165196 164312 622 1026 0 164166 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 660784
[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29478
/proc/meminfo: memFree=1016444/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=703184 CPUtime=1421.92
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 171253 0 0 0 138240 3952 0 0 25 0 1 0 24397378 720060416 170812 1992294400 4194304 8395647 140736812860752 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 175796 170812 622 1026 0 174766 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 703184
[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29480
/proc/meminfo: memFree=992512/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=728528 CPUtime=1481.9
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 177764 0 0 0 144085 4105 0 0 25 0 1 0 24397378 746012672 177323 1992294400 4194304 8395647 140736812860752 18446744073709551615 4232005 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 182132 177323 622 1026 0 181102 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 728528
[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29482
/proc/meminfo: memFree=966472/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=751472 CPUtime=1541.89
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 183677 0 0 0 149932 4257 0 0 25 0 1 0 24397378 769507328 183236 1992294400 4194304 8395647 140736812860752 18446744073709551615 4806353 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 187868 183236 622 1026 0 186838 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 751472
[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29482
/proc/meminfo: memFree=944400/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=773052 CPUtime=1601.87
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 189270 0 0 0 155779 4408 0 0 25 0 1 0 24397378 791605248 188829 1992294400 4194304 8395647 140736812860752 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 193263 188829 622 1026 0 192233 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 773052
[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29484
/proc/meminfo: memFree=919848/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=796384 CPUtime=1661.86
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 195264 0 0 0 161628 4558 0 0 25 0 1 0 24397378 815497216 194823 1992294400 4194304 8395647 140736812860752 18446744073709551615 5027200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 199096 194823 622 1026 0 198066 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 796384
[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29486
/proc/meminfo: memFree=898148/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=818160 CPUtime=1721.83
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 200650 0 0 0 167477 4706 0 0 25 0 1 0 24397378 837795840 200209 1992294400 4194304 8395647 140736812860752 18446744073709551615 6119675 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 204540 200209 622 1026 0 203510 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 818160
[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29488
/proc/meminfo: memFree=874588/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=840756 CPUtime=1781.82
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 206504 0 0 0 173325 4857 0 0 25 0 1 0 24397378 860934144 206063 1992294400 4194304 8395647 140736812860752 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 210189 206063 622 1026 0 209159 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 840756
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29488
/proc/meminfo: memFree=873968/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=842484 CPUtime=1785.03
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 206911 0 0 0 173639 4864 0 0 25 0 1 0 24397378 862703616 206470 1992294400 4194304 8395647 140736812860752 18446744073709551615 6262406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29436/statm: 210621 206470 622 1026 0 209591 0
Current children cumulated CPU time (s) 1785.03
Current children cumulated vsize (KiB) 842484
[startup+1791.91 s]
/proc/loadavg: 1.00 0.99 0.99 3/107 29488
/proc/meminfo: memFree=870620/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=844596 CPUtime=1791.43
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 207452 0 0 0 174266 4877 0 0 25 0 1 0 24397378 864866304 207011 1992294400 4194304 8395647 140736812860752 18446744073709551615 4666363 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29436/statm: 211149 207011 625 1026 0 210119 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (KiB) 844596
[startup+1793.5 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29488
/proc/meminfo: memFree=870620/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=844596 CPUtime=1793.02
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 207452 0 0 0 174425 4877 0 0 25 0 1 0 24397378 864866304 207011 1992294400 4194304 8395647 140736812860752 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29436/statm: 211149 207011 625 1026 0 210119 0
Current children cumulated CPU time (s) 1793.02
Current children cumulated vsize (KiB) 844596
[startup+1794.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29488
/proc/meminfo: memFree=870620/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=844596 CPUtime=1793.82
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 207452 0 0 0 174505 4877 0 0 25 0 1 0 24397378 864866304 207011 1992294400 4194304 8395647 140736812860752 18446744073709551615 6345797 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29436/statm: 211149 207011 625 1026 0 210119 0
Current children cumulated CPU time (s) 1793.82
Current children cumulated vsize (KiB) 844596
[startup+1795.1 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29488
/proc/meminfo: memFree=870620/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=844596 CPUtime=1794.63
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 207452 0 0 0 174586 4877 0 0 25 0 1 0 24397378 864866304 207011 1992294400 4194304 8395647 140736812860752 18446744073709551615 4723491 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29436/statm: 211149 207011 625 1026 0 210119 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 844596
[startup+1795.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29488
/proc/meminfo: memFree=870620/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=844596 CPUtime=1794.82
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 207452 0 0 0 174605 4877 0 0 25 0 1 0 24397378 864866304 207011 1992294400 4194304 8395647 140736812860752 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29436/statm: 211149 207011 625 1026 0 210119 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 844596
[startup+1795.4 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 29488
/proc/meminfo: memFree=870620/2059040 swapFree=4139412/4192956
[pid=29436] ppid=29434 vsize=756620 CPUtime=1794.92
/proc/29436/stat : 29436 (pbscip.linux.x8) R 29434 29436 29411 0 -1 4202496 207452 0 0 0 174611 4881 0 0 25 0 1 0 24397378 774778880 102216 1992294400 4194304 8395647 140736812860752 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29436/statm: 189155 101704 625 1026 0 188125 0
Current children cumulated CPU time (s) 1794.92
Current children cumulated vsize (KiB) 756620
Child status: 0
Real time (s): 1795.44
CPU time (s): 1794.97
CPU user time (s): 1746.11
CPU system time (s): 48.8536
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 844596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1746.11
system time used= 48.8536
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207455
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= 1328
runsolver used 3.01654 second user time and 8.45371 second system time
The end