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-2703523-1278561701.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 | 43 | - | 364k| 0 | 8 | 70 | 8 | 70 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.2s| 1 | 0 | 147 | - | 447k| 0 | 15 | 70 | 21 | 70 | 17 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 c 0.2s| 1 | 0 | 158 | - | 473k| 0 | 16 | 70 | 21 | 70 | 20 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.21 c 0.2s| 1 | 0 | 163 | - | 494k| 0 | 16 | 70 | 21 | 70 | 23 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.23 c 0.2s| 1 | 0 | 176 | - | 496k| 0 | 16 | 70 | 21 | 70 | 24 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.25 c 0.2s| 1 | 0 | 178 | - | 502k| 0 | 17 | 70 | 21 | 70 | 26 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.27 c 0.3s| 1 | 0 | 180 | - | 503k| 0 | 19 | 70 | 21 | 70 | 27 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.32 c 0.3s| 1 | 2 | 180 | - | 504k| 0 | 19 | 70 | 21 | 70 | 27 | 19 | 0 | 9 | 0.000000e+00 | -- | Inf
5.09/5.19 c 5.2s| 10000 | 5333 | 37252 | 3.7 |4373k| 61 | 8 | 70 |2342 | 70 | 19 | 19 |2898 | 709 | 0.000000e+00 | -- | Inf
9.99/10.04 c 10.0s| 20000 | 9800 | 72916 | 3.6 |6962k| 61 | 8 | 70 |1588 | 70 | 19 | 19 |6266 | 959 | 0.000000e+00 | -- | Inf
14.69/14.71 c 14.7s| 30000 | 13919 |109176 | 3.6 |9617k| 62 | 8 | 70 |1682 | 70 | 19 | 19 |9925 |1142 | 0.000000e+00 | -- | Inf
19.29/19.30 c 19.3s| 40000 | 18084 |145394 | 3.6 | 12M| 62 | - | 70 |1731 | 70 | 19 | 19 | 13k|1276 | 0.000000e+00 | -- | Inf
23.88/23.97 c 24.0s| 50000 | 21996 |181218 | 3.6 | 14M| 62 | 8 | 70 |1882 | 70 | 19 | 19 | 17k|1390 | 0.000000e+00 | -- | Inf
28.59/28.68 c 28.7s| 60000 | 25803 |217050 | 3.6 | 17M| 63 | 8 | 70 |2005 | 70 | 19 | 19 | 20k|1476 | 0.000000e+00 | -- | Inf
33.38/33.43 c 33.4s| 70000 | 29698 |253169 | 3.6 | 20M| 63 | - | 70 |1971 | 70 | 19 | 19 | 24k|1558 | 0.000000e+00 | -- | Inf
38.18/38.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.18/38.26 c 38.2s| 80000 | 33306 |288767 | 3.6 | 22M| 63 | 8 | 70 |2232 | 70 | 19 | 19 | 28k|1640 | 0.000000e+00 | -- | Inf
42.88/42.99 c 43.0s| 90000 | 37109 |324536 | 3.6 | 25M| 63 | 8 | 70 |2450 | 70 | 19 | 19 | 32k|1723 | 0.000000e+00 | -- | Inf
47.87/47.91 c 47.9s|100000 | 40680 |361135 | 3.6 | 27M| 63 | - | 70 |2147 | 70 | 19 | 19 | 36k|1796 | 0.000000e+00 | -- | Inf
52.68/52.77 c 52.8s|110000 | 44254 |397682 | 3.6 | 30M| 63 | 8 | 70 |2534 | 70 | 19 | 19 | 40k|1873 | 0.000000e+00 | -- | Inf
57.48/57.60 c 57.6s|120000 | 47771 |432596 | 3.6 | 33M| 63 | 8 | 70 |2544 | 70 | 19 | 19 | 44k|1940 | 0.000000e+00 | -- | Inf
62.37/62.41 c 62.4s|130000 | 51228 |468465 | 3.6 | 35M| 63 | - | 70 |2578 | 70 | 19 | 19 | 48k|1998 | 0.000000e+00 | -- | Inf
67.17/67.25 c 67.2s|140000 | 54881 |505011 | 3.6 | 38M| 63 | 8 | 70 |2681 | 70 | 19 | 19 | 52k|2054 | 0.000000e+00 | -- | Inf
72.07/72.15 c 72.1s|150000 | 58408 |540796 | 3.6 | 40M| 63 | 8 | 70 |2777 | 70 | 19 | 19 | 56k|2112 | 0.000000e+00 | -- | Inf
76.97/77.10 c 77.1s|160000 | 61735 |576357 | 3.6 | 43M| 63 | 8 | 70 |2657 | 70 | 19 | 19 | 60k|2178 | 0.000000e+00 | -- | Inf
81.96/82.05 c 82.0s|170000 | 65127 |612496 | 3.6 | 45M| 63 | 8 | 70 |2748 | 70 | 19 | 19 | 64k|2229 | 0.000000e+00 | -- | Inf
87.06/87.13 c 87.1s|180000 | 68386 |648362 | 3.6 | 48M| 63 | 8 | 70 |2771 | 70 | 19 | 19 | 68k|2282 | 0.000000e+00 | -- | Inf
91.96/92.05 c 92.0s|190000 | 71786 |684110 | 3.6 | 50M| 63 | - | 70 |3073 | 70 | 19 | 19 | 72k|2332 | 0.000000e+00 | -- | Inf
96.95/97.09 c 97.1s|200000 | 75157 |720502 | 3.6 | 53M| 63 | - | 70 |2982 | 70 | 19 | 19 | 76k|2378 | 0.000000e+00 | -- | Inf
102.05/102.13 c 102s|210000 | 78608 |755963 | 3.6 | 55M| 63 | 8 | 70 |2624 | 70 | 19 | 19 | 80k|2424 | 0.000000e+00 | -- | Inf
107.15/107.25 c 107s|220000 | 81758 |791150 | 3.6 | 58M| 63 | 8 | 70 |3178 | 70 | 19 | 19 | 84k|2458 | 0.000000e+00 | -- | Inf
112.35/112.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.35/112.45 c 112s|230000 | 85141 |827290 | 3.6 | 60M| 63 | 8 | 70 |2907 | 70 | 19 | 19 | 88k|2502 | 0.000000e+00 | -- | Inf
117.35/117.44 c 117s|240000 | 88600 |862950 | 3.6 | 63M| 63 | - | 70 |3510 | 70 | 19 | 19 | 92k|2546 | 0.000000e+00 | -- | Inf
122.44/122.55 c 123s|250000 | 91975 |899273 | 3.6 | 66M| 63 | - | 70 |3451 | 70 | 19 | 19 | 96k|2586 | 0.000000e+00 | -- | Inf
127.65/127.78 c 128s|260000 | 95086 |935387 | 3.6 | 68M| 63 | 8 | 70 |3316 | 70 | 19 | 19 | 100k|2634 | 0.000000e+00 | -- | Inf
132.84/132.95 c 133s|270000 | 98394 |970571 | 3.6 | 71M| 63 | 8 | 70 |3563 | 70 | 19 | 19 | 105k|2680 | 0.000000e+00 | -- | Inf
138.04/138.11 c 138s|280000 |101600 | 1006k| 3.6 | 73M| 63 | - | 70 |2907 | 70 | 19 | 19 | 109k|2722 | 0.000000e+00 | -- | Inf
143.14/143.24 c 143s|290000 |104864 | 1041k| 3.6 | 76M| 63 | 8 | 70 |2943 | 70 | 19 | 19 | 113k|2757 | 0.000000e+00 | -- | Inf
148.24/148.36 c 148s|300000 |108062 | 1077k| 3.6 | 78M| 63 | 8 | 70 |3200 | 70 | 19 | 19 | 117k|2801 | 0.000000e+00 | -- | Inf
153.14/153.26 c 153s|310000 |111585 | 1112k| 3.6 | 81M| 63 | - | 70 |3900 | 70 | 19 | 19 | 121k|2828 | 0.000000e+00 | -- | Inf
158.43/158.56 c 159s|320000 |114814 | 1146k| 3.6 | 83M| 63 | - | 70 |3181 | 70 | 19 | 19 | 125k|2876 | 0.000000e+00 | -- | Inf
163.63/163.71 c 164s|330000 |118019 | 1181k| 3.6 | 86M| 63 | - | 70 |3508 | 70 | 19 | 19 | 129k|2909 | 0.000000e+00 | -- | Inf
168.93/169.01 c 169s|340000 |121037 | 1216k| 3.6 | 88M| 63 | 8 | 70 |3157 | 70 | 19 | 19 | 134k|2940 | 0.000000e+00 | -- | Inf
173.93/174.08 c 174s|350000 |124258 | 1251k| 3.6 | 91M| 63 | 8 | 70 |3464 | 70 | 19 | 19 | 138k|2969 | 0.000000e+00 | -- | Inf
179.03/179.20 c 179s|360000 |127712 | 1286k| 3.6 | 93M| 63 | 8 | 70 |3320 | 70 | 19 | 19 | 142k|3012 | 0.000000e+00 | -- | Inf
184.12/184.27 c 184s|370000 |130983 | 1322k| 3.6 | 96M| 63 | - | 70 |3775 | 70 | 19 | 19 | 146k|3042 | 0.000000e+00 | -- | Inf
189.52/189.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
189.52/189.68 c 190s|380000 |134063 | 1357k| 3.6 | 98M| 63 | - | 70 |3625 | 70 | 19 | 19 | 150k|3075 | 0.000000e+00 | -- | Inf
194.63/194.73 c 195s|390000 |137739 | 1392k| 3.6 | 101M| 63 | 8 | 70 |4087 | 70 | 19 | 19 | 154k|3095 | 0.000000e+00 | -- | Inf
199.92/200.09 c 200s|400000 |140964 | 1428k| 3.6 | 103M| 63 | 8 | 70 |3575 | 70 | 19 | 19 | 158k|3113 | 0.000000e+00 | -- | Inf
205.32/205.45 c 205s|410000 |144125 | 1463k| 3.6 | 106M| 63 | - | 70 |3300 | 70 | 19 | 19 | 162k|3141 | 0.000000e+00 | -- | Inf
210.61/210.71 c 211s|420000 |147260 | 1498k| 3.6 | 108M| 63 | - | 70 |2973 | 70 | 19 | 19 | 167k|3173 | 0.000000e+00 | -- | Inf
215.71/215.81 c 216s|430000 |150380 | 1533k| 3.6 | 111M| 63 | - | 70 |4014 | 70 | 19 | 19 | 171k|3198 | 0.000000e+00 | -- | Inf
221.11/221.26 c 221s|440000 |153269 | 1568k| 3.6 | 113M| 63 | - | 70 |3593 | 70 | 19 | 19 | 175k|3220 | 0.000000e+00 | -- | Inf
226.41/226.55 c 227s|450000 |156579 | 1604k| 3.6 | 116M| 63 | 8 | 70 |3657 | 70 | 19 | 19 | 179k|3264 | 0.000000e+00 | -- | Inf
231.60/231.75 c 232s|460000 |159964 | 1640k| 3.6 | 118M| 63 | - | 70 |3968 | 70 | 19 | 19 | 184k|3289 | 0.000000e+00 | -- | Inf
236.80/236.90 c 237s|470000 |163432 | 1676k| 3.6 | 121M| 63 | 8 | 70 |4686 | 70 | 19 | 19 | 187k|3315 | 0.000000e+00 | -- | Inf
242.31/242.41 c 242s|480000 |166541 | 1712k| 3.6 | 124M| 63 | 8 | 70 |4804 | 70 | 19 | 19 | 192k|3341 | 0.000000e+00 | -- | Inf
247.50/247.60 c 248s|490000 |170044 | 1746k| 3.6 | 126M| 63 | - | 70 |4462 | 70 | 19 | 19 | 196k|3366 | 0.000000e+00 | -- | Inf
252.91/253.02 c 253s|500000 |173413 | 1781k| 3.6 | 129M| 63 | - | 70 |3819 | 70 | 19 | 19 | 200k|3392 | 0.000000e+00 | -- | Inf
258.30/258.49 c 258s|510000 |176564 | 1817k| 3.6 | 131M| 63 | 8 | 70 |3405 | 70 | 19 | 19 | 204k|3418 | 0.000000e+00 | -- | Inf
263.39/263.58 c 264s|520000 |180272 | 1851k| 3.6 | 134M| 63 | 8 | 70 |4022 | 70 | 19 | 19 | 208k|3440 | 0.000000e+00 | -- | Inf
268.58/268.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.58/268.78 c 269s|530000 |183645 | 1885k| 3.6 | 136M| 63 | - | 70 |3730 | 70 | 19 | 19 | 212k|3460 | 0.000000e+00 | -- | Inf
273.69/273.83 c 274s|540000 |187265 | 1920k| 3.6 | 139M| 63 | 8 | 70 |4838 | 70 | 19 | 19 | 216k|3483 | 0.000000e+00 | -- | Inf
279.38/279.57 c 280s|550000 |190211 | 1955k| 3.6 | 141M| 63 | 8 | 70 |3463 | 70 | 19 | 19 | 220k|3513 | 0.000000e+00 | -- | Inf
284.48/284.61 c 285s|560000 |193806 | 1990k| 3.6 | 144M| 63 | 8 | 70 |4387 | 70 | 19 | 19 | 224k|3534 | 0.000000e+00 | -- | Inf
289.77/289.92 c 290s|570000 |197306 | 2026k| 3.6 | 146M| 63 | 8 | 70 |4454 | 70 | 19 | 19 | 228k|3554 | 0.000000e+00 | -- | Inf
295.18/295.35 c 295s|580000 |200443 | 2061k| 3.6 | 149M| 63 | - | 70 |3861 | 70 | 19 | 19 | 232k|3573 | 0.000000e+00 | -- | Inf
300.48/300.61 c 301s|590000 |203768 | 2096k| 3.6 | 151M| 63 | 8 | 70 |3870 | 70 | 19 | 19 | 237k|3597 | 0.000000e+00 | -- | Inf
305.67/305.89 c 306s|600000 |207217 | 2131k| 3.6 | 154M| 63 | - | 70 |4036 | 70 | 19 | 19 | 240k|3616 | 0.000000e+00 | -- | Inf
311.17/311.31 c 311s|610000 |210443 | 2166k| 3.6 | 156M| 63 | - | 70 |3576 | 70 | 19 | 19 | 245k|3639 | 0.000000e+00 | -- | Inf
316.37/316.54 c 317s|620000 |213808 | 2202k| 3.6 | 159M| 63 | - | 70 |3973 | 70 | 19 | 19 | 249k|3657 | 0.000000e+00 | -- | Inf
321.46/321.62 c 322s|630000 |217454 | 2236k| 3.5 | 161M| 63 | 8 | 70 |4311 | 70 | 19 | 19 | 253k|3676 | 0.000000e+00 | -- | Inf
327.06/327.26 c 327s|640000 |220400 | 2271k| 3.5 | 164M| 63 | 8 | 70 |3612 | 70 | 19 | 19 | 257k|3694 | 0.000000e+00 | -- | Inf
332.36/332.53 c 333s|650000 |223694 | 2305k| 3.5 | 166M| 63 | 8 | 70 |3508 | 70 | 19 | 19 | 261k|3707 | 0.000000e+00 | -- | Inf
337.36/337.58 c 338s|660000 |227241 | 2340k| 3.5 | 169M| 63 | 8 | 70 |4512 | 70 | 19 | 19 | 265k|3723 | 0.000000e+00 | -- | Inf
343.07/343.26 c 343s|670000 |230447 | 2375k| 3.5 | 171M| 63 | - | 70 |4488 | 70 | 19 | 19 | 269k|3741 | 0.000000e+00 | -- | Inf
348.66/348.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.66/348.80 c 349s|680000 |233692 | 2410k| 3.5 | 174M| 63 | 8 | 70 |3864 | 70 | 19 | 19 | 273k|3774 | 0.000000e+00 | -- | Inf
353.96/354.17 c 354s|690000 |236940 | 2445k| 3.5 | 176M| 63 | 8 | 70 |3903 | 70 | 19 | 19 | 277k|3827 | 0.000000e+00 | -- | Inf
359.35/359.51 c 360s|700000 |240223 | 2479k| 3.5 | 179M| 63 | 8 | 70 |4220 | 70 | 19 | 19 | 281k|3842 | 0.000000e+00 | -- | Inf
364.96/365.12 c 365s|710000 |243235 | 2514k| 3.5 | 181M| 63 | 8 | 70 |3676 | 70 | 19 | 19 | 286k|3859 | 0.000000e+00 | -- | Inf
370.24/370.49 c 370s|720000 |246448 | 2548k| 3.5 | 184M| 63 | 8 | 70 |3311 | 70 | 19 | 19 | 290k|3874 | 0.000000e+00 | -- | Inf
375.65/375.87 c 376s|730000 |249576 | 2582k| 3.5 | 186M| 63 | - | 70 |3385 | 70 | 19 | 19 | 294k|3899 | 0.000000e+00 | -- | Inf
381.04/381.26 c 381s|740000 |252577 | 2617k| 3.5 | 189M| 63 | - | 70 |3640 | 70 | 19 | 19 | 298k|3917 | 0.000000e+00 | -- | Inf
386.44/386.65 c 387s|750000 |255795 | 2652k| 3.5 | 191M| 63 | 8 | 70 |4107 | 70 | 19 | 19 | 302k|3937 | 0.000000e+00 | -- | Inf
392.04/392.29 c 392s|760000 |258902 | 2687k| 3.5 | 194M| 63 | 8 | 70 |4466 | 70 | 19 | 19 | 307k|3959 | 0.000000e+00 | -- | Inf
397.64/397.83 c 398s|770000 |262172 | 2722k| 3.5 | 196M| 63 | 8 | 70 |4093 | 70 | 19 | 19 | 311k|4046 | 0.000000e+00 | -- | Inf
402.83/403.04 c 403s|780000 |265740 | 2757k| 3.5 | 199M| 63 | 8 | 70 |5271 | 70 | 19 | 19 | 315k|4132 | 0.000000e+00 | -- | Inf
408.53/408.71 c 409s|790000 |268854 | 2792k| 3.5 | 201M| 63 | 8 | 70 |4765 | 70 | 19 | 19 | 319k|4132 | 0.000000e+00 | -- | Inf
414.23/414.44 c 414s|800000 |271877 | 2828k| 3.5 | 204M| 63 | - | 70 |3692 | 70 | 19 | 19 | 324k|4132 | 0.000000e+00 | -- | Inf
419.63/419.81 c 420s|810000 |274974 | 2862k| 3.5 | 206M| 63 | - | 70 |3777 | 70 | 19 | 19 | 328k|4139 | 0.000000e+00 | -- | Inf
424.63/424.87 c 425s|820000 |278328 | 2896k| 3.5 | 209M| 63 | 8 | 70 |5027 | 70 | 19 | 19 | 332k|4156 | 0.000000e+00 | -- | Inf
430.23/430.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
430.23/430.42 c 430s|830000 |281568 | 2931k| 3.5 | 211M| 63 | 8 | 70 |4013 | 70 | 19 | 19 | 336k|4165 | 0.000000e+00 | -- | Inf
435.72/435.98 c 436s|840000 |284633 | 2967k| 3.5 | 213M| 63 | 8 | 70 |3740 | 70 | 19 | 19 | 340k|4180 | 0.000000e+00 | -- | Inf
441.22/441.46 c 441s|850000 |287762 | 3001k| 3.5 | 216M| 63 | 8 | 70 |3949 | 70 | 19 | 19 | 344k|4198 | 0.000000e+00 | -- | Inf
446.42/446.69 c 447s|860000 |291217 | 3036k| 3.5 | 218M| 63 | - | 70 |4066 | 70 | 19 | 19 | 348k|4214 | 0.000000e+00 | -- | Inf
451.82/452.07 c 452s|870000 |294379 | 3071k| 3.5 | 221M| 63 | 8 | 70 |3977 | 70 | 19 | 19 | 353k|4234 | 0.000000e+00 | -- | Inf
457.32/457.57 c 458s|880000 |297388 | 3105k| 3.5 | 223M| 63 | - | 70 |3769 | 70 | 19 | 19 | 357k|4252 | 0.000000e+00 | -- | Inf
462.61/462.86 c 463s|890000 |300644 | 3141k| 3.5 | 226M| 63 | 8 | 70 |4112 | 70 | 19 | 19 | 361k|4268 | 0.000000e+00 | -- | Inf
467.91/468.19 c 468s|900000 |303775 | 3176k| 3.5 | 228M| 63 | 8 | 70 |4317 | 70 | 19 | 19 | 365k|4279 | 0.000000e+00 | -- | Inf
473.31/473.59 c 474s|910000 |306797 | 3210k| 3.5 | 231M| 63 | 8 | 70 |4420 | 70 | 19 | 19 | 369k|4295 | 0.000000e+00 | -- | Inf
478.71/478.96 c 479s|920000 |310222 | 3245k| 3.5 | 233M| 63 | 8 | 70 |4074 | 70 | 19 | 19 | 373k|4315 | 0.000000e+00 | -- | Inf
484.11/484.35 c 484s|930000 |313509 | 3279k| 3.5 | 236M| 63 | 8 | 70 |3867 | 70 | 19 | 19 | 378k|4330 | 0.000000e+00 | -- | Inf
489.51/489.76 c 490s|940000 |316678 | 3314k| 3.5 | 238M| 63 | 8 | 70 |4200 | 70 | 19 | 19 | 382k|4348 | 0.000000e+00 | -- | Inf
495.00/495.29 c 495s|950000 |319813 | 3349k| 3.5 | 241M| 63 | 8 | 70 |4193 | 70 | 19 | 19 | 386k|4365 | 0.000000e+00 | -- | Inf
500.60/500.86 c 501s|960000 |322959 | 3384k| 3.5 | 243M| 63 | 8 | 70 |3823 | 70 | 19 | 19 | 390k|4383 | 0.000000e+00 | -- | Inf
506.10/506.34 c 506s|970000 |325881 | 3419k| 3.5 | 246M| 63 | 8 | 70 |3934 | 70 | 19 | 19 | 394k|4396 | 0.000000e+00 | -- | Inf
511.59/511.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
511.59/511.87 c 512s|980000 |328989 | 3454k| 3.5 | 248M| 63 | - | 70 |3587 | 70 | 19 | 19 | 399k|4411 | 0.000000e+00 | -- | Inf
516.70/516.95 c 517s|990000 |332484 | 3489k| 3.5 | 251M| 63 | - | 70 |4282 | 70 | 19 | 19 | 403k|4425 | 0.000000e+00 | -- | Inf
522.20/522.49 c 522s| 1000k|335667 | 3524k| 3.5 | 253M| 63 | - | 70 |3781 | 70 | 19 | 19 | 407k|4447 | 0.000000e+00 | -- | Inf
527.69/527.98 c 528s| 1010k|338604 | 3559k| 3.5 | 256M| 63 | 8 | 70 |4001 | 70 | 19 | 19 | 411k|4464 | 0.000000e+00 | -- | Inf
533.19/533.45 c 533s| 1020k|341646 | 3594k| 3.5 | 258M| 63 | - | 70 |3942 | 70 | 19 | 19 | 415k|4474 | 0.000000e+00 | -- | Inf
538.58/538.82 c 539s| 1030k|344912 | 3629k| 3.5 | 261M| 63 | 8 | 70 |4427 | 70 | 19 | 19 | 419k|4488 | 0.000000e+00 | -- | Inf
544.07/544.35 c 544s| 1040k|348025 | 3664k| 3.5 | 263M| 63 | 8 | 70 |4368 | 70 | 19 | 19 | 424k|4499 | 0.000000e+00 | -- | Inf
549.28/549.58 c 550s| 1050k|351249 | 3700k| 3.5 | 266M| 63 | - | 70 |5232 | 70 | 19 | 19 | 428k|4509 | 0.000000e+00 | -- | Inf
554.48/554.70 c 555s| 1060k|355186 | 3732k| 3.5 | 269M| 63 | - | 70 |5874 | 70 | 19 | 19 | 431k|4517 | 0.000000e+00 | -- | Inf
560.47/560.71 c 561s| 1070k|358146 | 3766k| 3.5 | 271M| 63 | 8 | 70 |4685 | 70 | 19 | 19 | 436k|4522 | 0.000000e+00 | -- | Inf
565.97/566.22 c 566s| 1080k|361286 | 3801k| 3.5 | 273M| 63 | - | 70 |5137 | 70 | 19 | 19 | 440k|4526 | 0.000000e+00 | -- | Inf
571.37/571.64 c 572s| 1090k|364792 | 3836k| 3.5 | 276M| 63 | 8 | 70 |5804 | 70 | 19 | 19 | 444k|4534 | 0.000000e+00 | -- | Inf
576.97/577.27 c 577s| 1100k|367978 | 3870k| 3.5 | 278M| 63 | 8 | 70 |5597 | 70 | 19 | 19 | 448k|4547 | 0.000000e+00 | -- | Inf
582.87/583.13 c 583s| 1110k|370987 | 3905k| 3.5 | 281M| 63 | - | 70 |5133 | 70 | 19 | 19 | 452k|4558 | 0.000000e+00 | -- | Inf
587.96/588.26 c 588s| 1120k|374687 | 3940k| 3.5 | 283M| 63 | 8 | 70 |5586 | 70 | 19 | 19 | 456k|4565 | 0.000000e+00 | -- | Inf
593.46/593.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
593.46/593.78 c 594s| 1130k|378000 | 3975k| 3.5 | 286M| 63 | 8 | 70 |4956 | 70 | 19 | 19 | 461k|4574 | 0.000000e+00 | -- | Inf
599.26/599.57 c 600s| 1140k|381011 | 4010k| 3.5 | 288M| 63 | 8 | 70 |3896 | 70 | 19 | 19 | 465k|4583 | 0.000000e+00 | -- | Inf
604.56/604.84 c 605s| 1150k|384449 | 4046k| 3.5 | 291M| 63 | 8 | 70 |4782 | 70 | 19 | 19 | 469k|4591 | 0.000000e+00 | -- | Inf
610.05/610.40 c 610s| 1160k|387759 | 4080k| 3.5 | 293M| 63 | - | 70 |4090 | 70 | 19 | 19 | 473k|4600 | 0.000000e+00 | -- | Inf
615.76/616.04 c 616s| 1170k|390800 | 4115k| 3.5 | 296M| 63 | 8 | 70 |4148 | 70 | 19 | 19 | 477k|4611 | 0.000000e+00 | -- | Inf
621.35/621.61 c 622s| 1180k|393950 | 4150k| 3.5 | 298M| 63 | 8 | 70 |4398 | 70 | 19 | 19 | 481k|4626 | 0.000000e+00 | -- | Inf
627.05/627.38 c 627s| 1190k|396894 | 4184k| 3.5 | 301M| 63 | 8 | 70 |4279 | 70 | 19 | 19 | 485k|4642 | 0.000000e+00 | -- | Inf
632.65/632.93 c 633s| 1200k|400063 | 4220k| 3.5 | 303M| 63 | 8 | 70 |3957 | 70 | 19 | 19 | 490k|4653 | 0.000000e+00 | -- | Inf
637.95/638.29 c 638s| 1210k|403309 | 4254k| 3.5 | 306M| 63 | - | 70 |4540 | 70 | 19 | 19 | 494k|4664 | 0.000000e+00 | -- | Inf
643.54/643.87 c 644s| 1220k|406410 | 4288k| 3.5 | 308M| 63 | 8 | 70 |4487 | 70 | 19 | 19 | 498k|4673 | 0.000000e+00 | -- | Inf
648.94/649.26 c 649s| 1230k|409680 | 4322k| 3.5 | 311M| 63 | 8 | 70 |4734 | 70 | 19 | 19 | 502k|4689 | 0.000000e+00 | -- | Inf
654.53/654.86 c 655s| 1240k|412785 | 4357k| 3.5 | 313M| 63 | 8 | 70 |4857 | 70 | 19 | 19 | 506k|4702 | 0.000000e+00 | -- | Inf
660.23/660.50 c 660s| 1250k|416129 | 4391k| 3.5 | 316M| 63 | 8 | 70 |4666 | 70 | 19 | 19 | 510k|4719 | 0.000000e+00 | -- | Inf
665.63/665.90 c 666s| 1260k|419474 | 4426k| 3.5 | 318M| 63 | 8 | 70 |5077 | 70 | 19 | 19 | 514k|4730 | 0.000000e+00 | -- | Inf
671.33/671.61 c 672s| 1270k|422602 | 4460k| 3.5 | 321M| 63 | - | 70 |4322 | 70 | 19 | 19 | 518k|4739 | 0.000000e+00 | -- | Inf
676.63/676.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
676.63/676.91 c 677s| 1280k|425966 | 4495k| 3.5 | 323M| 63 | - | 70 |4761 | 70 | 19 | 19 | 523k|4750 | 0.000000e+00 | -- | Inf
682.43/682.80 c 683s| 1290k|428971 | 4529k| 3.5 | 326M| 63 | 8 | 70 |4123 | 70 | 19 | 19 | 527k|4760 | 0.000000e+00 | -- | Inf
687.83/688.18 c 688s| 1300k|432324 | 4563k| 3.5 | 328M| 63 | - | 70 |4412 | 70 | 19 | 19 | 531k|4769 | 0.000000e+00 | -- | Inf
693.42/693.71 c 694s| 1310k|435348 | 4599k| 3.5 | 331M| 63 | 8 | 70 |4578 | 70 | 19 | 19 | 535k|4783 | 0.000000e+00 | -- | Inf
699.12/699.40 c 699s| 1320k|438285 | 4633k| 3.5 | 333M| 63 | 8 | 70 |4096 | 70 | 19 | 19 | 539k|4792 | 0.000000e+00 | -- | Inf
704.92/705.24 c 705s| 1330k|441111 | 4668k| 3.5 | 335M| 63 | - | 70 |3908 | 70 | 19 | 19 | 544k|4799 | 0.000000e+00 | -- | Inf
710.32/710.66 c 711s| 1340k|444249 | 4702k| 3.5 | 338M| 63 | 8 | 70 |4415 | 70 | 19 | 19 | 548k|4808 | 0.000000e+00 | -- | Inf
716.11/716.48 c 716s| 1350k|447117 | 4737k| 3.5 | 340M| 63 | 8 | 70 |4286 | 70 | 19 | 19 | 552k|4818 | 0.000000e+00 | -- | Inf
721.91/722.21 c 722s| 1360k|450143 | 4772k| 3.5 | 343M| 63 | - | 70 |4173 | 70 | 19 | 19 | 557k|4831 | 0.000000e+00 | -- | Inf
727.61/727.96 c 728s| 1370k|452988 | 4806k| 3.5 | 345M| 63 | - | 70 |4000 | 70 | 19 | 19 | 561k|4842 | 0.000000e+00 | -- | Inf
733.20/733.51 c 733s| 1380k|456116 | 4841k| 3.5 | 348M| 63 | 8 | 70 |4533 | 70 | 19 | 19 | 565k|4850 | 0.000000e+00 | -- | Inf
738.71/739.04 c 739s| 1390k|459418 | 4875k| 3.5 | 350M| 63 | 8 | 70 |4863 | 70 | 19 | 19 | 569k|4867 | 0.000000e+00 | -- | Inf
744.41/744.75 c 745s| 1400k|462494 | 4910k| 3.5 | 353M| 63 | 8 | 70 |4310 | 70 | 19 | 19 | 573k|4876 | 0.000000e+00 | -- | Inf
749.90/750.25 c 750s| 1410k|465795 | 4946k| 3.5 | 355M| 63 | - | 70 |4832 | 0 | 0 | 19 | 578k|4887 | 0.000000e+00 | -- | Inf
755.50/755.86 c 756s| 1420k|469012 | 4981k| 3.5 | 358M| 63 | 8 | 70 |4864 | 70 | 19 | 19 | 582k|4895 | 0.000000e+00 | -- | Inf
761.40/761.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
761.40/761.75 c 762s| 1430k|471971 | 5016k| 3.5 | 360M| 63 | 8 | 70 |4659 | 70 | 19 | 19 | 586k|4907 | 0.000000e+00 | -- | Inf
767.00/767.38 c 767s| 1440k|475163 | 5051k| 3.5 | 363M| 63 | 8 | 70 |4657 | 70 | 19 | 19 | 590k|4920 | 0.000000e+00 | -- | Inf
772.50/772.89 c 773s| 1450k|478448 | 5085k| 3.5 | 365M| 63 | 8 | 70 |4577 | 70 | 19 | 19 | 594k|4934 | 0.000000e+00 | -- | Inf
778.39/778.71 c 779s| 1460k|481452 | 5120k| 3.5 | 368M| 63 | 8 | 70 |4617 | 70 | 19 | 19 | 598k|4947 | 0.000000e+00 | -- | Inf
783.99/784.36 c 784s| 1470k|484680 | 5155k| 3.5 | 370M| 63 | 8 | 70 |4667 | 70 | 19 | 19 | 603k|4957 | 0.000000e+00 | -- | Inf
789.69/790.01 c 790s| 1480k|487872 | 5190k| 3.5 | 372M| 63 | 8 | 70 |4246 | 70 | 19 | 19 | 607k|4968 | 0.000000e+00 | -- | Inf
795.08/795.45 c 795s| 1490k|491052 | 5224k| 3.5 | 375M| 63 | - | 70 |4367 | 70 | 19 | 19 | 611k|4981 | 0.000000e+00 | -- | Inf
800.68/801.04 c 801s| 1500k|494073 | 5258k| 3.5 | 377M| 63 | - | 70 |4540 | 70 | 19 | 19 | 615k|4987 | 0.000000e+00 | -- | Inf
806.58/806.94 c 807s| 1510k|497119 | 5293k| 3.5 | 380M| 63 | 8 | 70 |4508 | 70 | 19 | 19 | 619k|4996 | 0.000000e+00 | -- | Inf
812.28/812.60 c 813s| 1520k|500114 | 5328k| 3.5 | 382M| 63 | - | 70 |4743 | 70 | 19 | 19 | 623k|5006 | 0.000000e+00 | -- | Inf
817.98/818.34 c 818s| 1530k|503210 | 5362k| 3.5 | 385M| 63 | 8 | 70 |4574 | 70 | 19 | 19 | 628k|5016 | 0.000000e+00 | -- | Inf
823.67/824.05 c 824s| 1540k|506421 | 5396k| 3.5 | 387M| 63 | - | 70 |4709 | 70 | 19 | 19 | 632k|5030 | 0.000000e+00 | -- | Inf
829.47/829.83 c 830s| 1550k|509476 | 5431k| 3.5 | 390M| 63 | - | 70 |4092 | 70 | 19 | 19 | 636k|5038 | 0.000000e+00 | -- | Inf
835.17/835.53 c 836s| 1560k|512404 | 5465k| 3.5 | 392M| 63 | - | 70 |4216 | 70 | 19 | 19 | 640k|5054 | 0.000000e+00 | -- | Inf
840.87/841.20 c 841s| 1570k|515540 | 5500k| 3.5 | 395M| 63 | - | 70 |4605 | 70 | 19 | 19 | 645k|5068 | 0.000000e+00 | -- | Inf
846.27/846.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
846.27/846.62 c 847s| 1580k|518744 | 5534k| 3.5 | 397M| 63 | 8 | 70 |5061 | 70 | 19 | 19 | 649k|5078 | 0.000000e+00 | -- | Inf
851.96/852.35 c 852s| 1590k|522003 | 5569k| 3.5 | 400M| 63 | 8 | 70 |5267 | 70 | 19 | 19 | 653k|5088 | 0.000000e+00 | -- | Inf
857.75/858.14 c 858s| 1600k|525385 | 5604k| 3.5 | 402M| 63 | 8 | 70 |5016 | 70 | 19 | 19 | 657k|5100 | 0.000000e+00 | -- | Inf
863.76/864.10 c 864s| 1610k|528483 | 5638k| 3.5 | 405M| 63 | 8 | 70 |4612 | 70 | 19 | 19 | 661k|5106 | 0.000000e+00 | -- | Inf
869.45/869.86 c 870s| 1620k|531483 | 5673k| 3.5 | 407M| 63 | - | 70 |4878 | 70 | 19 | 19 | 665k|5115 | 0.000000e+00 | -- | Inf
875.15/875.55 c 876s| 1630k|534623 | 5707k| 3.5 | 410M| 63 | - | 70 |4763 | 70 | 19 | 19 | 669k|5128 | 0.000000e+00 | -- | Inf
880.85/881.23 c 881s| 1640k|537638 | 5742k| 3.5 | 412M| 63 | - | 70 |4744 | 70 | 19 | 19 | 674k|5141 | 0.000000e+00 | -- | Inf
886.45/886.84 c 887s| 1650k|540873 | 5776k| 3.5 | 415M| 63 | 8 | 70 |4717 | 70 | 19 | 19 | 678k|5148 | 0.000000e+00 | -- | Inf
892.14/892.58 c 893s| 1660k|544053 | 5811k| 3.5 | 417M| 63 | 8 | 70 |4926 | 70 | 19 | 19 | 682k|5162 | 0.000000e+00 | -- | Inf
898.15/898.54 c 899s| 1670k|547177 | 5845k| 3.5 | 419M| 63 | - | 70 |4500 | 70 | 19 | 19 | 686k|5169 | 0.000000e+00 | -- | Inf
904.04/904.47 c 904s| 1680k|550208 | 5880k| 3.5 | 422M| 63 | 8 | 70 |4470 | 70 | 19 | 19 | 690k|5181 | 0.000000e+00 | -- | Inf
909.73/910.17 c 910s| 1690k|553397 | 5914k| 3.5 | 424M| 63 | 8 | 70 |4546 | 70 | 19 | 19 | 694k|5188 | 0.000000e+00 | -- | Inf
915.53/915.92 c 916s| 1700k|556476 | 5948k| 3.5 | 427M| 63 | - | 70 |4753 | 70 | 19 | 19 | 699k|5205 | 0.000000e+00 | -- | Inf
921.34/921.74 c 922s| 1710k|559400 | 5982k| 3.5 | 429M| 63 | 8 | 70 |4637 | 70 | 19 | 19 | 703k|5211 | 0.000000e+00 | -- | Inf
926.63/927.02 c 927s| 1720k|562685 | 6016k| 3.5 | 432M| 63 | 8 | 70 |5878 | 70 | 19 | 19 | 707k|5219 | 0.000000e+00 | -- | Inf
932.33/932.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
932.33/932.79 c 933s| 1730k|565981 | 6049k| 3.5 | 434M| 63 | 8 | 70 |5083 | 70 | 19 | 19 | 711k|5228 | 0.000000e+00 | -- | Inf
937.72/938.16 c 938s| 1740k|569733 | 6082k| 3.5 | 437M| 63 | 8 | 70 |4819 | 70 | 19 | 19 | 715k|5232 | 0.000000e+00 | -- | Inf
943.02/943.41 c 943s| 1750k|573279 | 6117k| 3.5 | 440M| 63 | 8 | 70 |5287 | 70 | 19 | 19 | 719k|5237 | 0.000000e+00 | -- | Inf
948.82/949.20 c 949s| 1760k|576700 | 6152k| 3.5 | 442M| 63 | 8 | 70 |4789 | 70 | 19 | 19 | 723k|5244 | 0.000000e+00 | -- | Inf
954.61/955.02 c 955s| 1770k|579807 | 6186k| 3.5 | 444M| 63 | 8 | 70 |4574 | 70 | 19 | 19 | 727k|5249 | 0.000000e+00 | -- | Inf
960.21/960.68 c 961s| 1780k|582926 | 6221k| 3.5 | 447M| 63 | 8 | 70 |5406 | 70 | 19 | 19 | 731k|5253 | 0.000000e+00 | -- | Inf
966.11/966.54 c 967s| 1790k|586153 | 6256k| 3.5 | 449M| 63 | 8 | 70 |4446 | 70 | 19 | 19 | 735k|5257 | 0.000000e+00 | -- | Inf
971.61/972.05 c 972s| 1800k|589113 | 6292k| 3.5 | 452M| 63 | 8 | 70 |5473 | 70 | 19 | 19 | 740k|5262 | 0.000000e+00 | -- | Inf
977.21/977.69 c 978s| 1810k|592148 | 6327k| 3.5 | 454M| 63 | 8 | 70 |5618 | 70 | 19 | 19 | 744k|5268 | 0.000000e+00 | -- | Inf
983.31/983.73 c 984s| 1820k|595129 | 6362k| 3.5 | 457M| 63 | 8 | 70 |4581 | 70 | 19 | 19 | 748k|5271 | 0.000000e+00 | -- | Inf
988.60/989.06 c 989s| 1830k|598729 | 6396k| 3.5 | 459M| 63 | - | 70 |4808 | 70 | 19 | 19 | 752k|5275 | 0.000000e+00 | -- | Inf
994.40/994.82 c 995s| 1840k|601872 | 6431k| 3.5 | 462M| 63 | 8 | 70 |4272 | 70 | 19 | 19 | 756k|5282 | 0.000000e+00 | -- | Inf
999.50/999.92 c 1000s| 1850k|605422 | 6465k| 3.5 | 465M| 63 | 8 | 70 |5637 | 70 | 19 | 19 | 760k|5288 | 0.000000e+00 | -- | Inf
1005.60/1006.03 c 1006s| 1860k|608376 | 6499k| 3.5 | 467M| 63 | - | 70 |4523 | 70 | 19 | 19 | 765k|5295 | 0.000000e+00 | -- | Inf
1011.20/1011.66 c 1012s| 1870k|611468 | 6534k| 3.5 | 469M| 63 | 8 | 70 |4993 | 70 | 19 | 19 | 769k|5299 | 0.000000e+00 | -- | Inf
1017.29/1017.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1017.29/1017.74 c 1018s| 1880k|614507 | 6569k| 3.5 | 471M| 63 | - | 70 |3854 | 70 | 19 | 19 | 773k|5306 | 0.000000e+00 | -- | Inf
1022.50/1023.00 c 1023s| 1890k|617802 | 6604k| 3.5 | 474M| 63 | 8 | 70 |4715 | 70 | 19 | 19 | 777k|5313 | 0.000000e+00 | -- | Inf
1027.79/1028.29 c 1028s| 1900k|621288 | 6637k| 3.5 | 477M| 63 | 8 | 70 |5583 | 70 | 19 | 19 | 781k|5316 | 0.000000e+00 | -- | Inf
1033.89/1034.36 c 1034s| 1910k|624334 | 6672k| 3.5 | 479M| 63 | 8 | 70 |4732 | 70 | 19 | 19 | 786k|5324 | 0.000000e+00 | -- | Inf
1039.78/1040.29 c 1040s| 1920k|627289 | 6706k| 3.5 | 481M| 63 | - | 70 |4081 | 70 | 19 | 19 | 790k|5330 | 0.000000e+00 | -- | Inf
1045.39/1045.85 c 1046s| 1930k|630545 | 6742k| 3.5 | 484M| 63 | 8 | 70 |4517 | 70 | 19 | 19 | 794k|5337 | 0.000000e+00 | -- | Inf
1050.58/1051.05 c 1051s| 1940k|633975 | 6776k| 3.5 | 487M| 63 | 8 | 70 |6064 | 70 | 19 | 19 | 798k|5342 | 0.000000e+00 | -- | Inf
1056.18/1056.69 c 1057s| 1950k|637337 | 6811k| 3.5 | 489M| 63 | 8 | 70 |6623 | 70 | 19 | 19 | 802k|5356 | 0.000000e+00 | -- | Inf
1062.47/1062.92 c 1063s| 1960k|640682 | 6844k| 3.5 | 492M| 63 | 8 | 70 |5991 | 70 | 19 | 19 | 806k|5358 | 0.000000e+00 | -- | Inf
1068.18/1068.62 c 1069s| 1970k|644043 | 6879k| 3.5 | 494M| 63 | 8 | 70 |5680 | 70 | 19 | 19 | 810k|5360 | 0.000000e+00 | -- | Inf
1074.07/1074.52 c 1075s| 1980k|647169 | 6913k| 3.5 | 497M| 63 | - | 70 |5318 | 70 | 19 | 19 | 815k|5364 | 0.000000e+00 | -- | Inf
1080.17/1080.67 c 1081s| 1990k|650163 | 6948k| 3.5 | 499M| 63 | - | 70 |4734 | 70 | 19 | 19 | 819k|5367 | 0.000000e+00 | -- | Inf
1085.96/1086.47 c 1086s| 2000k|653212 | 6982k| 3.5 | 502M| 63 | 8 | 70 |5004 | 70 | 19 | 19 | 823k|5371 | 0.000000e+00 | -- | Inf
1091.88/1092.32 c 1092s| 2010k|656310 | 7017k| 3.5 | 504M| 63 | 8 | 70 |4538 | 70 | 19 | 19 | 827k|5376 | 0.000000e+00 | -- | Inf
1096.96/1097.47 c 1097s| 2020k|660007 | 7051k| 3.5 | 507M| 63 | 8 | 70 |5445 | 70 | 19 | 19 | 831k|5385 | 0.000000e+00 | -- | Inf
1102.66/1103.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1102.66/1103.18 c 1103s| 2030k|663095 | 7086k| 3.5 | 509M| 63 | - | 70 |4935 | 0 | 0 | 19 | 835k|5390 | 0.000000e+00 | -- | Inf
1108.37/1108.84 c 1109s| 2040k|666110 | 7121k| 3.5 | 512M| 63 | 8 | 70 |4488 | 70 | 19 | 19 | 840k|5393 | 0.000000e+00 | -- | Inf
1113.76/1114.30 c 1114s| 2050k|669473 | 7156k| 3.5 | 514M| 63 | - | 70 |4672 | 70 | 19 | 19 | 844k|5399 | 0.000000e+00 | -- | Inf
1119.75/1120.28 c 1120s| 2060k|672464 | 7191k| 3.5 | 516M| 63 | 8 | 70 |4396 | 70 | 19 | 19 | 848k|5404 | 0.000000e+00 | -- | Inf
1125.75/1126.26 c 1126s| 2070k|675353 | 7225k| 3.5 | 519M| 63 | 8 | 70 |4207 | 70 | 19 | 19 | 852k|5404 | 0.000000e+00 | -- | Inf
1131.46/1131.97 c 1132s| 2080k|678483 | 7260k| 3.5 | 521M| 63 | 8 | 70 |4627 | 70 | 19 | 19 | 856k|5404 | 0.000000e+00 | -- | Inf
1137.34/1137.81 c 1138s| 2090k|681399 | 7295k| 3.5 | 524M| 63 | 8 | 70 |4835 | 70 | 19 | 19 | 861k|5404 | 0.000000e+00 | -- | Inf
1143.04/1143.55 c 1144s| 2100k|684437 | 7329k| 3.5 | 526M| 63 | 8 | 70 |5145 | 70 | 19 | 19 | 865k|5408 | 0.000000e+00 | -- | Inf
1148.54/1149.07 c 1149s| 2110k|687847 | 7364k| 3.5 | 529M| 63 | - | 70 |5338 | 70 | 19 | 19 | 869k|5414 | 0.000000e+00 | -- | Inf
1154.44/1154.98 c 1155s| 2120k|690874 | 7398k| 3.5 | 531M| 63 | 8 | 70 |5566 | 70 | 19 | 19 | 873k|5423 | 0.000000e+00 | -- | Inf
1160.64/1161.10 c 1161s| 2130k|694052 | 7432k| 3.5 | 534M| 63 | - | 70 |4675 | 70 | 19 | 19 | 877k|5428 | 0.000000e+00 | -- | Inf
1166.23/1166.75 c 1167s| 2140k|697342 | 7466k| 3.5 | 536M| 63 | 8 | 70 |4874 | 70 | 19 | 19 | 881k|5439 | 0.000000e+00 | -- | Inf
1172.14/1172.66 c 1173s| 2150k|700381 | 7501k| 3.5 | 539M| 63 | 8 | 70 |4986 | 70 | 19 | 19 | 885k|5443 | 0.000000e+00 | -- | Inf
1177.83/1178.40 c 1178s| 2160k|703433 | 7535k| 3.5 | 541M| 63 | 8 | 70 |5049 | 70 | 19 | 19 | 890k|5450 | 0.000000e+00 | -- | Inf
1183.53/1184.01 c 1184s| 2170k|706820 | 7569k| 3.5 | 544M| 63 | - | 70 |4885 | 70 | 19 | 19 | 894k|5456 | 0.000000e+00 | -- | Inf
1189.52/1190.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1189.52/1190.08 c 1190s| 2180k|709744 | 7604k| 3.5 | 546M| 63 | 8 | 70 |4557 | 70 | 19 | 19 | 898k|5462 | 0.000000e+00 | -- | Inf
1195.32/1195.81 c 1196s| 2190k|712809 | 7639k| 3.5 | 549M| 63 | - | 70 |5047 | 70 | 19 | 19 | 902k|5466 | 0.000000e+00 | -- | Inf
1200.92/1201.46 c 1201s| 2200k|715918 | 7674k| 3.5 | 551M| 63 | - | 70 |5573 | 70 | 19 | 19 | 906k|5474 | 0.000000e+00 | -- | Inf
1206.92/1207.40 c 1207s| 2210k|719107 | 7709k| 3.5 | 554M| 63 | - | 70 |4968 | 70 | 19 | 19 | 910k|5478 | 0.000000e+00 | -- | Inf
1212.62/1213.14 c 1213s| 2220k|722455 | 7743k| 3.5 | 556M| 63 | 8 | 70 |4765 | 70 | 19 | 19 | 914k|5483 | 0.000000e+00 | -- | Inf
1218.51/1219.06 c 1219s| 2230k|725326 | 7777k| 3.5 | 558M| 63 | - | 70 |5022 | 0 | 0 | 19 | 919k|5491 | 0.000000e+00 | -- | Inf
1224.61/1225.10 c 1225s| 2240k|728293 | 7812k| 3.5 | 561M| 63 | - | 70 |4664 | 70 | 19 | 19 | 923k|5496 | 0.000000e+00 | -- | Inf
1230.41/1230.96 c 1231s| 2250k|731471 | 7845k| 3.5 | 563M| 63 | 8 | 70 |4249 | 70 | 19 | 19 | 927k|5504 | 0.000000e+00 | -- | Inf
1236.10/1236.62 c 1237s| 2260k|734621 | 7880k| 3.5 | 566M| 63 | 8 | 70 |4864 | 70 | 19 | 19 | 931k|5510 | 0.000000e+00 | -- | Inf
1242.01/1242.52 c 1243s| 2270k|737693 | 7914k| 3.5 | 568M| 63 | 8 | 70 |4443 | 70 | 19 | 19 | 936k|5514 | 0.000000e+00 | -- | Inf
1247.71/1248.27 c 1248s| 2280k|740723 | 7949k| 3.5 | 571M| 63 | 8 | 70 |4422 | 70 | 19 | 19 | 940k|5517 | 0.000000e+00 | -- | Inf
1253.70/1254.24 c 1254s| 2290k|743766 | 7982k| 3.5 | 573M| 63 | 8 | 70 |4100 | 70 | 19 | 19 | 944k|5523 | 0.000000e+00 | -- | Inf
1259.50/1260.02 c 1260s| 2300k|746814 | 8017k| 3.5 | 576M| 63 | 8 | 70 |4108 | 70 | 19 | 19 | 948k|5529 | 0.000000e+00 | -- | Inf
1265.09/1265.66 c 1266s| 2310k|749850 | 8051k| 3.5 | 578M| 63 | 8 | 70 |4737 | 70 | 19 | 19 | 953k|5534 | 0.000000e+00 | -- | Inf
1270.69/1271.23 c 1271s| 2320k|753063 | 8086k| 3.5 | 581M| 63 | 8 | 70 |5340 | 70 | 19 | 19 | 957k|5542 | 0.000000e+00 | -- | Inf
1276.89/1277.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1276.89/1277.42 c 1277s| 2330k|755992 | 8121k| 3.5 | 583M| 63 | 8 | 70 |4576 | 70 | 19 | 19 | 961k|5546 | 0.000000e+00 | -- | Inf
1282.39/1282.93 c 1283s| 2340k|759366 | 8155k| 3.5 | 586M| 63 | 8 | 70 |5496 | 70 | 19 | 19 | 965k|5551 | 0.000000e+00 | -- | Inf
1288.49/1289.05 c 1289s| 2350k|762310 | 8189k| 3.5 | 588M| 63 | - | 70 |5220 | 70 | 19 | 19 | 969k|5555 | 0.000000e+00 | -- | Inf
1294.48/1295.08 c 1295s| 2360k|765331 | 8223k| 3.5 | 590M| 63 | 8 | 70 |4398 | 70 | 19 | 19 | 973k|5561 | 0.000000e+00 | -- | Inf
1300.38/1300.98 c 1301s| 2370k|768364 | 8258k| 3.5 | 593M| 63 | 8 | 70 |4438 | 70 | 19 | 19 | 978k|5566 | 0.000000e+00 | -- | Inf
1306.38/1306.93 c 1307s| 2380k|771155 | 8293k| 3.5 | 595M| 63 | 8 | 70 |4164 | 70 | 19 | 19 | 982k|5573 | 0.000000e+00 | -- | Inf
1311.78/1312.36 c 1312s| 2390k|774337 | 8328k| 3.5 | 598M| 63 | 8 | 70 |5176 | 70 | 19 | 19 | 986k|5579 | 0.000000e+00 | -- | Inf
1317.68/1318.20 c 1318s| 2400k|777415 | 8362k| 3.5 | 601M| 63 | - | 70 |5582 | 70 | 19 | 19 | 991k|5584 | 0.000000e+00 | -- | Inf
1323.67/1324.27 c 1324s| 2410k|780410 | 8397k| 3.5 | 603M| 63 | - | 70 |5086 | 70 | 19 | 19 | 995k|5589 | 0.000000e+00 | -- | Inf
1329.77/1330.37 c 1330s| 2420k|783352 | 8432k| 3.5 | 605M| 63 | 8 | 70 |4919 | 70 | 19 | 19 | 999k|5597 | 0.000000e+00 | -- | Inf
1335.57/1336.17 c 1336s| 2430k|786422 | 8466k| 3.5 | 608M| 63 | 8 | 70 |4991 | 70 | 19 | 19 |1003k|5604 | 0.000000e+00 | -- | Inf
1341.67/1342.21 c 1342s| 2440k|789493 | 8500k| 3.5 | 610M| 63 | 8 | 70 |4889 | 70 | 19 | 19 |1008k|5611 | 0.000000e+00 | -- | Inf
1347.57/1348.11 c 1348s| 2450k|792707 | 8535k| 3.5 | 613M| 63 | - | 70 |4775 | 70 | 19 | 19 |1012k|5615 | 0.000000e+00 | -- | Inf
1353.47/1354.03 c 1354s| 2460k|795736 | 8570k| 3.5 | 615M| 63 | 8 | 70 |4802 | 70 | 19 | 19 |1016k|5620 | 0.000000e+00 | -- | Inf
1359.16/1359.79 c 1360s| 2470k|798820 | 8605k| 3.5 | 618M| 63 | - | 70 |4743 | 70 | 19 | 19 |1020k|5627 | 0.000000e+00 | -- | Inf
1365.26/1365.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1365.26/1365.80 c 1366s| 2480k|801676 | 8640k| 3.5 | 620M| 63 | 8 | 70 |4730 | 70 | 19 | 19 |1025k|5630 | 0.000000e+00 | -- | Inf
1370.96/1371.55 c 1372s| 2490k|804882 | 8674k| 3.5 | 623M| 63 | - | 70 |5222 | 70 | 19 | 19 |1029k|5635 | 0.000000e+00 | -- | Inf
1377.05/1377.60 c 1378s| 2500k|807825 | 8708k| 3.5 | 625M| 63 | 8 | 70 |4412 | 70 | 19 | 19 |1033k|5641 | 0.000000e+00 | -- | Inf
1383.05/1383.67 c 1384s| 2510k|810461 | 8742k| 3.5 | 627M| 63 | 8 | 70 |4242 | 70 | 19 | 19 |1038k|5645 | 0.000000e+00 | -- | Inf
1388.95/1389.55 c 1390s| 2520k|813417 | 8777k| 3.5 | 630M| 63 | 8 | 70 |4804 | 70 | 19 | 19 |1042k|5648 | 0.000000e+00 | -- | Inf
1394.74/1395.35 c 1395s| 2530k|816750 | 8811k| 3.5 | 632M| 63 | - | 70 |5264 | 70 | 19 | 19 |1046k|5656 | 0.000000e+00 | -- | Inf
1400.75/1401.34 c 1401s| 2540k|819795 | 8846k| 3.5 | 635M| 63 | 8 | 70 |5344 | 70 | 19 | 19 |1050k|5660 | 0.000000e+00 | -- | Inf
1406.94/1407.53 c 1408s| 2550k|822693 | 8880k| 3.5 | 637M| 63 | 8 | 70 |5017 | 70 | 19 | 19 |1054k|5663 | 0.000000e+00 | -- | Inf
1412.95/1413.51 c 1413s| 2560k|825674 | 8915k| 3.5 | 640M| 63 | 8 | 70 |5297 | 70 | 19 | 19 |1059k|5667 | 0.000000e+00 | -- | Inf
1418.94/1419.56 c 1420s| 2570k|828807 | 8948k| 3.5 | 642M| 63 | - | 70 |4955 | 70 | 19 | 19 |1063k|5670 | 0.000000e+00 | -- | Inf
1424.73/1425.39 c 1425s| 2580k|831911 | 8983k| 3.5 | 645M| 63 | 8 | 70 |5381 | 70 | 19 | 19 |1067k|5675 | 0.000000e+00 | -- | Inf
1430.34/1430.95 c 1431s| 2590k|835398 | 9016k| 3.5 | 647M| 63 | - | 70 |5569 | 70 | 19 | 19 |1071k|5683 | 0.000000e+00 | -- | Inf
1436.43/1437.02 c 1437s| 2600k|838471 | 9051k| 3.5 | 649M| 63 | 8 | 70 |4850 | 70 | 19 | 19 |1075k|5691 | 0.000000e+00 | -- | Inf
1442.13/1442.79 c 1443s| 2610k|841497 | 9084k| 3.5 | 652M| 63 | 8 | 70 |4754 | 70 | 19 | 19 |1079k|5696 | 0.000000e+00 | -- | Inf
1448.04/1448.63 c 1449s| 2620k|844374 | 9119k| 3.5 | 654M| 63 | 8 | 70 |5255 | 70 | 19 | 19 |1084k|5704 | 0.000000e+00 | -- | Inf
1454.23/1454.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1454.23/1454.83 c 1455s| 2630k|847281 | 9154k| 3.5 | 657M| 63 | - | 70 |4774 | 70 | 19 | 19 |1088k|5709 | 0.000000e+00 | -- | Inf
1460.13/1460.74 c 1461s| 2640k|850383 | 9188k| 3.5 | 659M| 63 | - | 70 |4675 | 70 | 19 | 19 |1092k|5713 | 0.000000e+00 | -- | Inf
1465.32/1465.97 c 1466s| 2650k|854211 | 9222k| 3.5 | 662M| 63 | 8 | 70 |5781 | 70 | 19 | 19 |1096k|5718 | 0.000000e+00 | -- | Inf
1470.92/1471.53 c 1472s| 2660k|857712 | 9256k| 3.5 | 665M| 63 | - | 70 |6056 | 70 | 19 | 19 |1100k|5723 | 0.000000e+00 | -- | Inf
1477.21/1477.86 c 1478s| 2670k|860675 | 9291k| 3.5 | 667M| 63 | 8 | 70 |5261 | 70 | 19 | 19 |1104k|5726 | 0.000000e+00 | -- | Inf
1482.82/1483.41 c 1483s| 2680k|864093 | 9325k| 3.5 | 669M| 63 | 8 | 70 |5677 | 70 | 19 | 19 |1108k|5730 | 0.000000e+00 | -- | Inf
1488.82/1489.46 c 1489s| 2690k|867207 | 9359k| 3.5 | 672M| 63 | - | 70 |5208 | 70 | 19 | 19 |1112k|5734 | 0.000000e+00 | -- | Inf
1495.01/1495.68 c 1496s| 2700k|870123 | 9394k| 3.5 | 674M| 63 | 8 | 70 |4933 | 70 | 19 | 19 |1116k|5737 | 0.000000e+00 | -- | Inf
1501.01/1501.64 c 1502s| 2710k|873123 | 9429k| 3.5 | 677M| 63 | - | 70 |4928 | 70 | 19 | 19 |1121k|5742 | 0.000000e+00 | -- | Inf
1506.91/1507.56 c 1508s| 2720k|876049 | 9465k| 3.5 | 679M| 63 | 8 | 70 |5352 | 70 | 19 | 19 |1125k|5745 | 0.000000e+00 | -- | Inf
1513.10/1513.75 c 1514s| 2730k|879047 | 9499k| 3.5 | 682M| 63 | - | 70 |5253 | 70 | 19 | 19 |1129k|5746 | 0.000000e+00 | -- | Inf
1519.20/1519.89 c 1520s| 2740k|881939 | 9533k| 3.5 | 684M| 63 | 8 | 70 |5103 | 70 | 19 | 19 |1133k|5750 | 0.000000e+00 | -- | Inf
1525.40/1526.04 c 1526s| 2750k|884700 | 9568k| 3.5 | 687M| 63 | 8 | 70 |5080 | 70 | 19 | 19 |1138k|5754 | 0.000000e+00 | -- | Inf
1531.49/1532.10 c 1532s| 2760k|887788 | 9603k| 3.5 | 689M| 63 | - | 70 |5204 | 70 | 19 | 19 |1142k|5759 | 0.000000e+00 | -- | Inf
1537.59/1538.20 c 1538s| 2770k|890615 | 9638k| 3.5 | 692M| 63 | - | 70 |5504 | 70 | 19 | 19 |1146k|5765 | 0.000000e+00 | -- | Inf
1543.29/1543.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1543.29/1543.99 c 1544s| 2780k|893839 | 9672k| 3.5 | 694M| 63 | - | 70 |5543 | 70 | 19 | 19 |1150k|5772 | 0.000000e+00 | -- | Inf
1549.59/1550.26 c 1550s| 2790k|896783 | 9707k| 3.5 | 696M| 63 | 8 | 70 |5230 | 70 | 19 | 19 |1155k|5783 | 0.000000e+00 | -- | Inf
1555.79/1556.41 c 1556s| 2800k|899914 | 9741k| 3.5 | 699M| 63 | 8 | 70 |4513 | 70 | 19 | 19 |1159k|5793 | 0.000000e+00 | -- | Inf
1561.48/1562.11 c 1562s| 2810k|903065 | 9776k| 3.5 | 701M| 63 | 8 | 70 |5117 | 70 | 19 | 19 |1163k|5800 | 0.000000e+00 | -- | Inf
1567.18/1567.86 c 1568s| 2820k|906522 | 9811k| 3.5 | 704M| 63 | 8 | 70 |5014 | 70 | 19 | 19 |1167k|5804 | 0.000000e+00 | -- | Inf
1572.08/1572.73 c 1573s| 2830k|910890 | 9845k| 3.5 | 707M| 63 | 8 | 70 |6117 | 70 | 19 | 19 |1170k|5809 | 0.000000e+00 | -- | Inf
1577.48/1578.10 c 1578s| 2840k|914795 | 9878k| 3.5 | 709M| 63 | 8 | 70 |6625 | 70 | 19 | 19 |1174k|5816 | 0.000000e+00 | -- | Inf
1583.18/1583.89 c 1584s| 2850k|918345 | 9913k| 3.5 | 712M| 63 | 8 | 70 |7039 | 70 | 19 | 19 |1178k|5824 | 0.000000e+00 | -- | Inf
1589.37/1590.08 c 1590s| 2860k|921754 | 9948k| 3.5 | 714M| 63 | 8 | 70 |5967 | 70 | 19 | 19 |1182k|5832 | 0.000000e+00 | -- | Inf
1595.87/1596.54 c 1597s| 2870k|924755 | 9982k| 3.5 | 716M| 63 | 8 | 70 |5639 | 70 | 19 | 19 |1186k|5837 | 0.000000e+00 | -- | Inf
1602.07/1602.73 c 1603s| 2880k|927925 | 10017k| 3.5 | 719M| 63 | - | 70 |5681 | 70 | 19 | 19 |1190k|5841 | 0.000000e+00 | -- | Inf
1608.06/1608.79 c 1609s| 2890k|931007 | 10052k| 3.5 | 721M| 63 | 8 | 70 |5327 | 70 | 19 | 19 |1194k|5851 | 0.000000e+00 | -- | Inf
1614.26/1614.92 c 1615s| 2900k|933918 | 10086k| 3.5 | 724M| 63 | - | 70 |4944 | 70 | 19 | 19 |1199k|5857 | 0.000000e+00 | -- | Inf
1620.06/1620.72 c 1621s| 2910k|937273 | 10121k| 3.5 | 726M| 63 | - | 70 |5337 | 70 | 19 | 19 |1203k|5866 | 0.000000e+00 | -- | Inf
1625.65/1626.35 c 1626s| 2920k|940632 | 10154k| 3.5 | 729M| 63 | 8 | 70 |5792 | 70 | 19 | 19 |1207k|5877 | 0.000000e+00 | -- | Inf
1631.66/1632.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1631.66/1632.40 c 1632s| 2930k|943695 | 10188k| 3.5 | 731M| 63 | 8 | 70 |5166 | 70 | 19 | 19 |1211k|5885 | 0.000000e+00 | -- | Inf
1637.75/1638.41 c 1638s| 2940k|946967 | 10223k| 3.5 | 734M| 63 | 8 | 70 |5206 | 70 | 19 | 19 |1215k|5893 | 0.000000e+00 | -- | Inf
1643.45/1644.14 c 1644s| 2950k|950276 | 10258k| 3.5 | 736M| 63 | 8 | 70 |5952 | 70 | 19 | 19 |1219k|5893 | 0.000000e+00 | -- | Inf
1649.26/1649.96 c 1650s| 2960k|953345 | 10293k| 3.5 | 739M| 63 | - | 70 |6485 | 70 | 19 | 19 |1223k|5898 | 0.000000e+00 | -- | Inf
1655.05/1655.78 c 1656s| 2970k|956922 | 10326k| 3.5 | 741M| 63 | - | 70 |6879 | 70 | 19 | 19 |1227k|5903 | 0.000000e+00 | -- | Inf
1661.74/1662.45 c 1662s| 2980k|959986 | 10360k| 3.5 | 744M| 63 | 8 | 70 |5248 | 70 | 19 | 19 |1231k|5907 | 0.000000e+00 | -- | Inf
1666.64/1667.30 c 1667s| 2990k|963749 | 10394k| 3.5 | 747M| 63 | - | 70 |6960 | 70 | 19 | 19 |1235k|5910 | 0.000000e+00 | -- | Inf
1672.74/1673.48 c 1673s| 3000k|966691 | 10427k| 3.5 | 749M| 63 | 8 | 70 |6035 | 70 | 19 | 19 |1239k|5910 | 0.000000e+00 | -- | Inf
1678.94/1679.66 c 1680s| 3010k|969867 | 10462k| 3.5 | 751M| 63 | - | 70 |5048 | 70 | 19 | 19 |1243k|5910 | 0.000000e+00 | -- | Inf
1685.04/1685.71 c 1686s| 3020k|972857 | 10497k| 3.5 | 754M| 63 | 8 | 70 |5475 | 70 | 19 | 19 |1248k|5910 | 0.000000e+00 | -- | Inf
1691.14/1691.83 c 1692s| 3030k|976034 | 10532k| 3.5 | 756M| 63 | 8 | 70 |5379 | 70 | 19 | 19 |1252k|5910 | 0.000000e+00 | -- | Inf
1696.93/1697.69 c 1698s| 3040k|979151 | 10567k| 3.5 | 759M| 63 | 8 | 70 |5377 | 70 | 19 | 19 |1256k|5910 | 0.000000e+00 | -- | Inf
1703.24/1703.94 c 1704s| 3050k|982190 | 10602k| 3.5 | 761M| 63 | 8 | 70 |4771 | 70 | 19 | 19 |1260k|5910 | 0.000000e+00 | -- | Inf
1709.63/1710.35 c 1710s| 3060k|984955 | 10636k| 3.5 | 763M| 63 | - | 70 |4814 | 70 | 19 | 19 |1264k|5910 | 0.000000e+00 | -- | Inf
1715.63/1716.30 c 1716s| 3070k|988058 | 10670k| 3.5 | 766M| 63 | - | 70 |5148 | 70 | 19 | 19 |1269k|5910 | 0.000000e+00 | -- | Inf
1721.22/1721.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1721.22/1721.96 c 1722s| 3080k|991472 | 10705k| 3.5 | 769M| 63 | - | 70 |5626 | 70 | 19 | 19 |1273k|5910 | 0.000000e+00 | -- | Inf
1727.33/1728.08 c 1728s| 3090k|994609 | 10739k| 3.5 | 771M| 63 | 8 | 70 |5061 | 70 | 19 | 19 |1277k|5910 | 0.000000e+00 | -- | Inf
1733.01/1733.78 c 1734s| 3100k|997760 | 10773k| 3.5 | 773M| 63 | 8 | 70 |5317 | 70 | 19 | 19 |1281k|5910 | 0.000000e+00 | -- | Inf
1739.52/1740.22 c 1740s| 3110k| 1000k| 10807k| 3.5 | 776M| 63 | 8 | 70 |4554 | 70 | 19 | 19 |1285k|5910 | 0.000000e+00 | -- | Inf
1745.02/1745.76 c 1746s| 3120k| 1003k| 10842k| 3.5 | 779M| 63 | - | 70 |6279 | 70 | 19 | 19 |1289k|5910 | 0.000000e+00 | -- | Inf
1751.52/1752.24 c 1752s| 3130k| 1006k| 10876k| 3.5 | 781M| 63 | 8 | 70 |5482 | 70 | 19 | 19 |1294k|5910 | 0.000000e+00 | -- | Inf
1757.41/1758.18 c 1758s| 3140k| 1009k| 10911k| 3.5 | 783M| 63 | - | 70 |5428 | 70 | 19 | 19 |1298k|5910 | 0.000000e+00 | -- | Inf
1763.61/1764.37 c 1764s| 3150k| 1012k| 10945k| 3.5 | 786M| 63 | 8 | 70 |5257 | 70 | 19 | 19 |1302k|5910 | 0.000000e+00 | -- | Inf
1769.40/1770.12 c 1770s| 3160k| 1016k| 10979k| 3.5 | 788M| 63 | 8 | 70 |5948 | 70 | 19 | 19 |1306k|5910 | 0.000000e+00 | -- | Inf
1775.61/1776.33 c 1776s| 3170k| 1019k| 11013k| 3.5 | 791M| 63 | 8 | 70 |5227 | 70 | 19 | 19 |1310k|5910 | 0.000000e+00 | -- | Inf
1780.50/1781.26 c 1781s| 3180k| 1023k| 11046k| 3.5 | 794M| 63 | 8 | 70 |6606 | 70 | 19 | 19 |1314k|5910 | 0.000000e+00 | -- | Inf
1785.61/1786.39 c 1786s| 3190k| 1028k| 11078k| 3.5 | 796M| 63 | 8 | 70 |7411 | 70 | 19 | 19 |1317k|5910 | 0.000000e+00 | -- | Inf
1789.29/1790.01 c
1789.29/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.29/1790.01 c Solving Time (sec) : 1790.00
1789.29/1790.01 c Solving Nodes : 3196541
1789.29/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.29/1790.01 c Dual Bound : +0.00000000000000e+00
1789.29/1790.01 c Gap : infinite
1789.29/1790.01 s UNKNOWN
1789.29/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.29/1790.01 c Solving Time : 1790.00
1789.29/1790.01 c Original Problem :
1789.29/1790.01 c Problem name : HOME/instance-2703523-1278561701.opb
1789.29/1790.01 c Variables : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.29/1790.01 c Constraints : 17 initial, 17 maximal
1789.29/1790.01 c Presolved Problem :
1789.29/1790.01 c Problem name : t_HOME/instance-2703523-1278561701.opb
1789.29/1790.01 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.29/1790.01 c Constraints : 8 initial, 7731 maximal
1789.29/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.29/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.29/1790.01 c dualfix : 0.00 1 0 0 0 0 0 0 0
1789.29/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.29/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.29/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.29/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1789.29/1790.01 c linear : 0.00 0 0 0 0 0 9 0 0
1789.29/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.29/1790.01 c root node : - 0 - - 0 - - - -
1789.29/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.29/1790.01 c integral : 0 0 0 2120007 0 383 1702 0 0 4236134
1789.29/1790.01 c linear : 8+ 7 7526564 0 1 47929 1924551 0 0 0
1789.29/1790.01 c logicor : 0+ 0 2941943 0 0 2319 999124 0 0 0
1789.29/1790.01 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.29/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.29/1790.01 c integral : 26.28 0.00 0.00 26.28 0.00
1789.29/1790.01 c linear : 434.00 0.00 434.00 0.00 0.00
1789.29/1790.01 c logicor : 242.55 0.00 242.55 0.00 0.00
1789.29/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.29/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.29/1790.01 c vbounds : 2.67 2 0 0
1789.29/1790.01 c rootredcost : 2.74 0 0 0
1789.29/1790.01 c pseudoobj : 2.26 0 0 0
1789.29/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.29/1790.01 c propagation : 9.22 50248 47272 191562 47.7 11 37.4 -
1789.29/1790.01 c infeasible LP : 76.11 1032381 1032343 2000818 31.8 10752 36.2 0
1789.29/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.29/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.29/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.29/1790.01 c applied globally : - - - 1096339 25.3 - - -
1789.29/1790.01 c applied locally : - - - 223281 38.5 - - -
1789.29/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.29/1790.01 c cut pool : 0.00 5 - - 2 - (maximal pool size: 46)
1789.29/1790.01 c redcost : 6.27 2120011 0 0 0 0
1789.29/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.29/1790.01 c intobj : 0.00 0 0 0 0 0
1789.29/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.29/1790.01 c gomory : 0.00 6 0 0 0 0
1789.29/1790.01 c strongcg : 0.01 6 0 0 20 0
1789.29/1790.01 c cmir : 0.04 6 0 0 10 0
1789.29/1790.01 c flowcover : 0.04 6 0 0 17 0
1789.29/1790.01 c clique : 0.00 1 0 0 0 0
1789.29/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.29/1790.01 c mcf : 0.00 1 0 0 0 0
1789.29/1790.01 c rapidlearning : 0.14 1 0 0 0 13
1789.29/1790.01 c Pricers : Time Calls Vars
1789.29/1790.01 c problem variables: 0.00 0 0
1789.29/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.29/1790.01 c relpscost : 24.03 2120007 383 1702 0 0 4236134
1789.29/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.29/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.29/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.29/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.29/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.29/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.29/1790.01 c random : 0.00 0 0 0 0 0 0
1789.29/1790.01 c Primal Heuristics : Time Calls Found
1789.29/1790.01 c LP solutions : 0.00 - 0
1789.29/1790.01 c pseudo solutions : 0.00 - 0
1789.29/1790.01 c oneopt : 2.04 0 0
1789.29/1790.01 c crossover : 1.09 0 0
1789.29/1790.01 c guideddiving : 0.09 0 0
1789.29/1790.01 c objpscostdiving : 0.11 20 0
1789.29/1790.01 c rootsoldiving : 0.10 20 0
1789.29/1790.01 c coefdiving : 0.14 40 0
1789.29/1790.01 c pscostdiving : 0.17 40 0
1789.29/1790.01 c fracdiving : 0.14 40 0
1789.29/1790.01 c veclendiving : 0.15 40 0
1789.29/1790.01 c linesearchdiving : 0.15 40 0
1789.29/1790.01 c feaspump : 0.11 21 0
1789.29/1790.01 c trivial : 0.00 2 0
1789.29/1790.01 c simplerounding : 0.82 0 0
1789.29/1790.01 c zirounding : 1.21 1000 0
1789.29/1790.01 c rounding : 2.49 20607 0
1789.29/1790.01 c shifting : 5.86 6475 0
1789.29/1790.01 c intshifting : 0.08 0 0
1789.29/1790.01 c twoopt : 0.00 0 0
1789.29/1790.01 c fixandinfer : 0.00 0 0
1789.29/1790.01 c intdiving : 0.00 0 0
1789.29/1790.01 c actconsdiving : 0.00 0 0
1789.29/1790.01 c octane : 0.00 0 0
1789.29/1790.01 c rens : 0.03 1 0
1789.29/1790.01 c rins : 0.00 0 0
1789.29/1790.01 c localbranching : 0.00 0 0
1789.29/1790.01 c mutation : 0.00 0 0
1789.29/1790.01 c dins : 0.00 0 0
1789.29/1790.01 c undercover : 0.00 0 0
1789.29/1790.01 c nlp : 1.04 0 0
1789.29/1790.01 c trysol : 1.46 0 0
1789.29/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.29/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.29/1790.01 c dual LP : 485.19 3107330 11095669 3.57 22868.80
1789.29/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.29/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.29/1790.01 c diving/probing LP: 0.21 1682 4043 2.40 18981.22
1789.29/1790.01 c strong branching : 1.77 5910 35009 5.92 19816.23
1789.29/1790.01 c (at root node) : - 9 341 37.89 -
1789.29/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.29/1790.01 c B&B Tree :
1789.29/1790.01 c number of runs : 1
1789.29/1790.01 c nodes : 3196541
1789.29/1790.01 c nodes (total) : 3196541
1789.29/1790.01 c nodes left : 1031240
1789.29/1790.01 c max depth : 63
1789.29/1790.01 c max depth (total): 63
1789.29/1790.01 c backtracks : 235244 (7.4%)
1789.29/1790.01 c delayed cutoffs : 8356
1789.29/1790.01 c repropagations : 3137652 (1010446 domain reductions, 4053 cutoffs)
1789.29/1790.01 c avg switch length: 5.39
1789.29/1790.01 c switching time : 261.64
1789.29/1790.01 c Solution :
1789.29/1790.01 c Solutions found : 0 (0 improvements)
1789.29/1790.01 c Primal Bound : -
1789.29/1790.01 c Dual Bound : +0.00000000000000e+00
1789.29/1790.01 c Gap : infinite
1789.29/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.29/1790.01 c Root Iterations : 180
1794.30/1795.03 c Time complete: 1794.33.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703523-1278561701/watcher-2703523-1278561701 -o /tmp/evaluation-result-2703523-1278561701/solver-2703523-1278561701 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703523-1278561701.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.92 0.98 0.99 3/106 26749
/proc/meminfo: memFree=1663828/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=7904 CPUtime=0
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 1209 0 0 0 0 0 0 0 18 0 1 0 24383325 8093696 1121 1992294400 4194304 8395647 140733875408544 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26749/statm: 1976 1129 365 1026 0 946 0
[startup+0.012279 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 26749
/proc/meminfo: memFree=1663828/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=9964 CPUtime=0
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 1801 0 0 0 0 0 0 0 20 0 1 0 24383325 10203136 1713 1992294400 4194304 8395647 140733875408544 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26749/statm: 2504 1719 375 1026 0 1474 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9964
[startup+0.101294 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 26749
/proc/meminfo: memFree=1663828/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=22280 CPUtime=0.09
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 4797 0 0 0 8 1 0 0 20 0 1 0 24383325 22814720 4356 1992294400 4194304 8395647 140733875408544 18446744073709551615 6024218 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 5570 4356 599 1026 0 4540 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22280
[startup+0.300332 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 26749
/proc/meminfo: memFree=1663828/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=23432 CPUtime=0.29
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 5426 0 0 0 26 3 0 0 20 0 1 0 24383325 23994368 4985 1992294400 4194304 8395647 140733875408544 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 5858 4985 620 1026 0 4828 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23432
[startup+0.700408 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 26749
/proc/meminfo: memFree=1663828/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=23432 CPUtime=0.69
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 5428 0 0 0 63 6 0 0 20 0 1 0 24383325 23994368 4987 1992294400 4194304 8395647 140733875408544 18446744073709551615 7185537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 5858 4987 622 1026 0 4828 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23432
[startup+1.50056 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 26750
/proc/meminfo: memFree=1646212/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=23432 CPUtime=1.49
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 5432 0 0 0 141 8 0 0 23 0 1 0 24383325 23994368 4991 1992294400 4194304 8395647 140733875408544 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 5858 4991 622 1026 0 4828 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23432
[startup+3.10087 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 26750
/proc/meminfo: memFree=1645964/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=23432 CPUtime=3.09
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 5440 0 0 0 295 14 0 0 25 0 1 0 24383325 23994368 4999 1992294400 4194304 8395647 140733875408544 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 5858 4999 622 1026 0 4828 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23432
[startup+6.30048 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 26750
/proc/meminfo: memFree=1645476/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=23432 CPUtime=6.29
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 5452 0 0 0 603 26 0 0 25 0 1 0 24383325 23994368 5011 1992294400 4194304 8395647 140733875408544 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 5858 5011 622 1026 0 4828 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23432
[startup+12.7017 s]
/proc/loadavg: 0.94 0.98 0.99 2/107 26752
/proc/meminfo: memFree=1644616/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=24604 CPUtime=12.69
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 5769 0 0 0 1220 49 0 0 25 0 1 0 24383325 25194496 5328 1992294400 4194304 8395647 140733875408544 18446744073709551615 6025728 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 6151 5328 622 1026 0 5121 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24604
[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 26752
/proc/meminfo: memFree=1636060/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=32844 CPUtime=25.49
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 7868 0 0 0 2457 92 0 0 25 0 1 0 24383325 33632256 7427 1992294400 4194304 8395647 140733875408544 18446744073709551615 5026824 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 8211 7427 622 1026 0 7181 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32844
[startup+51.101 s]
/proc/loadavg: 0.97 0.98 0.99 2/107 26752
/proc/meminfo: memFree=1620436/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=48916 CPUtime=51.07
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 11960 0 0 0 4931 176 0 0 25 0 1 0 24383325 50089984 11519 1992294400 4194304 8395647 140733875408544 18446744073709551615 4995765 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 12229 11519 622 1026 0 11199 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 48916
[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 26754
/proc/meminfo: memFree=1589436/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=79824 CPUtime=102.26
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 19411 0 0 0 9881 345 0 0 25 0 1 0 24383325 81739776 18970 1992294400 4194304 8395647 140733875408544 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 19956 18970 622 1026 0 18926 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 79824
[startup+162.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26756
/proc/meminfo: memFree=1560296/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=108712 CPUtime=162.23
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 26759 0 0 0 15696 527 0 0 25 0 1 0 24383325 111321088 26318 1992294400 4194304 8395647 140733875408544 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 27178 26318 622 1026 0 26148 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 108712
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26756
/proc/meminfo: memFree=1528180/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=140292 CPUtime=222.21
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 34695 0 0 0 21504 717 0 0 25 0 1 0 24383325 143659008 34254 1992294400 4194304 8395647 140733875408544 18446744073709551615 4432390 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 35073 34254 622 1026 0 34043 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 140292
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26758
/proc/meminfo: memFree=1499164/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=169708 CPUtime=282.18
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 42151 0 0 0 27317 901 0 0 25 0 1 0 24383325 173780992 41710 1992294400 4194304 8395647 140733875408544 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 42427 41710 622 1026 0 41397 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 169708
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26760
/proc/meminfo: memFree=1467544/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=203880 CPUtime=342.16
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 49805 0 0 0 33136 1080 0 0 25 0 1 0 24383325 208773120 49364 1992294400 4194304 8395647 140733875408544 18446744073709551615 6015905 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 50970 49364 622 1026 0 49940 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 203880
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26762
/proc/meminfo: memFree=1442620/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=228236 CPUtime=402.13
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 56021 0 0 0 38957 1256 0 0 25 0 1 0 24383325 233713664 55580 1992294400 4194304 8395647 140733875408544 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 57059 55580 622 1026 0 56029 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 228236
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26764
/proc/meminfo: memFree=1410876/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=259440 CPUtime=462.11
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 63926 0 0 0 44783 1428 0 0 25 0 1 0 24383325 265666560 63485 1992294400 4194304 8395647 140733875408544 18446744073709551615 4622952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 64860 63485 622 1026 0 63830 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 259440
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26764
/proc/meminfo: memFree=1381116/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=288808 CPUtime=522.09
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 71453 0 0 0 50608 1601 0 0 25 0 1 0 24383325 295739392 71012 1992294400 4194304 8395647 140733875408544 18446744073709551615 6119573 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 72202 71012 622 1026 0 71172 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 288808
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26766
/proc/meminfo: memFree=1352968/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=316384 CPUtime=582.06
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 78422 0 0 0 56432 1774 0 0 25 0 1 0 24383325 323977216 77981 1992294400 4194304 8395647 140733875408544 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 79096 77981 622 1026 0 78066 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 316384
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26768
/proc/meminfo: memFree=1324200/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=343604 CPUtime=642.05
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 85420 0 0 0 62251 1954 0 0 25 0 1 0 24383325 351850496 84979 1992294400 4194304 8395647 140733875408544 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 85901 84979 622 1026 0 84871 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 343604
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1111292/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=560136 CPUtime=1121.85
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 138452 0 0 0 108865 3320 0 0 25 0 1 0 24383325 573579264 138011 1992294400 4194304 8395647 140733875408544 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 140034 138011 622 1026 0 139004 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 560136
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26785
/proc/meminfo: memFree=1086616/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=584076 CPUtime=1181.83
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 144421 0 0 0 114702 3481 0 0 25 0 1 0 24383325 598093824 143980 1992294400 4194304 8395647 140733875408544 18446744073709551615 5006653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 146019 143980 622 1026 0 144989 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 584076
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26787
/proc/meminfo: memFree=1057104/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=612604 CPUtime=1241.8
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 151754 0 0 0 120534 3646 0 0 25 0 1 0 24383325 627306496 151313 1992294400 4194304 8395647 140733875408544 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 153151 151313 622 1026 0 152121 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 612604
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26789
/proc/meminfo: memFree=1035280/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=633704 CPUtime=1301.79
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 157165 0 0 0 126371 3808 0 0 25 0 1 0 24383325 648912896 156724 1992294400 4194304 8395647 140733875408544 18446744073709551615 4449025 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 158426 156724 622 1026 0 157396 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 633704
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26791
/proc/meminfo: memFree=1009736/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=659924 CPUtime=1361.76
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 163888 0 0 0 132199 3977 0 0 25 0 1 0 24383325 675762176 163447 1992294400 4194304 8395647 140733875408544 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 164981 163447 622 1026 0 163951 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 659924
[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26791
/proc/meminfo: memFree=986176/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=682168 CPUtime=1421.74
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 169385 0 0 0 138038 4136 0 0 25 0 1 0 24383325 698540032 168944 1992294400 4194304 8395647 140733875408544 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 170542 168944 622 1026 0 169512 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 682168
[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26793
/proc/meminfo: memFree=960384/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=707148 CPUtime=1481.71
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 175838 0 0 0 143876 4295 0 0 25 0 1 0 24383325 724119552 175397 1992294400 4194304 8395647 140733875408544 18446744073709551615 5085604 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 176787 175397 622 1026 0 175757 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 707148
[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26795
/proc/meminfo: memFree=935708/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=732292 CPUtime=1541.69
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 182254 0 0 0 149710 4459 0 0 25 0 1 0 24383325 749867008 181813 1992294400 4194304 8395647 140733875408544 18446744073709551615 4231077 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 183073 181813 622 1026 0 182043 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 732292
[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26797
/proc/meminfo: memFree=909792/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=756184 CPUtime=1601.67
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 188421 0 0 0 155542 4625 0 0 25 0 1 0 24383325 774332416 187980 1992294400 4194304 8395647 140733875408544 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 189046 187980 622 1026 0 188016 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 756184
[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26799
/proc/meminfo: memFree=883380/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=782012 CPUtime=1661.65
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 195046 0 0 0 161380 4785 0 0 25 0 1 0 24383325 800780288 194605 1992294400 4194304 8395647 140733875408544 18446744073709551615 5029575 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 195503 194605 622 1026 0 194473 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 782012
[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26799
/proc/meminfo: memFree=856100/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=824900 CPUtime=1721.62
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 201823 0 0 0 167212 4950 0 0 25 0 1 0 24383325 844697600 201382 1992294400 4194304 8395647 140733875408544 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 206225 201382 622 1026 0 205195 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 824900
[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26801
/proc/meminfo: memFree=829192/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=851608 CPUtime=1781.6
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 208410 0 0 0 173048 5112 0 0 25 0 1 0 24383325 872046592 207969 1992294400 4194304 8395647 140733875408544 18446744073709551615 4635054 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 212902 207969 622 1026 0 211872 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 851608
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26801
/proc/meminfo: memFree=827952/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=852824 CPUtime=1784.8
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 208729 0 0 0 173359 5121 0 0 25 0 1 0 24383325 873291776 208288 1992294400 4194304 8395647 140733875408544 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26749/statm: 213206 208288 622 1026 0 212176 0
Current children cumulated CPU time (s) 1784.8
Current children cumulated vsize (KiB) 852824
[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26801
/proc/meminfo: memFree=826092/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=854556 CPUtime=1791.2
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 209197 0 0 0 173989 5131 0 0 25 0 1 0 24383325 875065344 208756 1992294400 4194304 8395647 140733875408544 18446744073709551615 4665344 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26749/statm: 213639 208756 625 1026 0 212609 0
Current children cumulated CPU time (s) 1791.2
Current children cumulated vsize (KiB) 854556
[startup+1793.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26801
/proc/meminfo: memFree=826092/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=854556 CPUtime=1792.79
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 209197 0 0 0 174148 5131 0 0 25 0 1 0 24383325 875065344 208756 1992294400 4194304 8395647 140733875408544 18446744073709551615 5088427 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26749/statm: 213639 208756 625 1026 0 212609 0
Current children cumulated CPU time (s) 1792.79
Current children cumulated vsize (KiB) 854556
[startup+1794.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26801
/proc/meminfo: memFree=826092/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=854556 CPUtime=1793.59
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 209197 0 0 0 174228 5131 0 0 25 0 1 0 24383325 875065344 208756 1992294400 4194304 8395647 140733875408544 18446744073709551615 6345370 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26749/statm: 213639 208756 625 1026 0 212609 0
Current children cumulated CPU time (s) 1793.59
Current children cumulated vsize (KiB) 854556
[startup+1794.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26801
/proc/meminfo: memFree=826092/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=854556 CPUtime=1793.99
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 209197 0 0 0 174268 5131 0 0 25 0 1 0 24383325 875065344 208756 1992294400 4194304 8395647 140733875408544 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26749/statm: 213639 208756 625 1026 0 212609 0
Current children cumulated CPU time (s) 1793.99
Current children cumulated vsize (KiB) 854556
[startup+1794.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26801
/proc/meminfo: memFree=826092/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=854556 CPUtime=1794.19
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 209197 0 0 0 174288 5131 0 0 25 0 1 0 24383325 875065344 208756 1992294400 4194304 8395647 140733875408544 18446744073709551615 6345199 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26749/statm: 213639 208756 625 1026 0 212609 0
Current children cumulated CPU time (s) 1794.19
Current children cumulated vsize (KiB) 854556
[startup+1795 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26801
/proc/meminfo: memFree=826092/2059040 swapFree=4134964/4192956
[pid=26749] ppid=26747 vsize=813176 CPUtime=1794.3
/proc/26749/stat : 26749 (pbscip.linux.x8) R 26747 26749 26724 0 -1 4202496 209197 0 0 0 174294 5136 0 0 25 0 1 0 24383325 832692224 92239 1992294400 4194304 8395647 140733875408544 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26749/statm: 203294 92239 625 1026 0 202264 0
Current children cumulated CPU time (s) 1794.3
Current children cumulated vsize (KiB) 813176
Child status: 0
Real time (s): 1795.04
CPU time (s): 1794.34
CPU user time (s): 1742.94
CPU system time (s): 51.3982
CPU usage (%): 99.9612
Max. virtual memory (cumulated for all children) (KiB): 854556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1742.94
system time used= 51.3982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209200
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 2166
runsolver used 3.16952 second user time and 8.28774 second system time
The end