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-2703534-1278562734.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 | 44 | - | 365k| 0 | 8 | 70 | 8 | 70 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.16 c 0.1s| 1 | 0 | 179 | - | 414k| 0 | 14 | 70 | 8 | 70 | 15 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.17 c 0.2s| 1 | 0 | 189 | - | 445k| 0 | 18 | 70 | 8 | 70 | 18 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.19 c 0.2s| 1 | 0 | 201 | - | 464k| 0 | 22 | 70 | 8 | 70 | 22 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.21 c 0.2s| 1 | 0 | 213 | - | 476k| 0 | 23 | 70 | 8 | 70 | 25 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.23 c 0.2s| 1 | 0 | 216 | - | 480k| 0 | 23 | 70 | 8 | 70 | 26 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.36 c 0.4s| 1 | 2 | 216 | - | 481k| 0 | 23 | 70 | 8 | 70 | 26 | 18 | 0 | 9 | 0.000000e+00 | -- | Inf
5.29/5.30 c 5.3s| 10000 | 5247 | 33429 | 3.3 |4318k| 57 | - | 70 |2344 | 70 | 23 | 18 |2970 | 705 | 0.000000e+00 | -- | Inf
10.09/10.13 c 10.1s| 20000 | 9781 | 65771 | 3.3 |6921k| 59 | 8 | 70 |1563 | 70 | 23 | 18 |6355 | 914 | 0.000000e+00 | -- | Inf
14.78/14.87 c 14.9s| 30000 | 13734 | 98632 | 3.3 |9573k| 60 | - | 70 |1823 | 0 | 0 | 18 | 10k|1076 | 0.000000e+00 | -- | Inf
19.69/19.71 c 19.7s| 40000 | 17466 |131958 | 3.3 | 12M| 60 | 8 | 70 |1986 | 70 | 23 | 18 | 14k|1228 | 0.000000e+00 | -- | Inf
24.48/24.54 c 24.5s| 50000 | 20963 |164893 | 3.3 | 14M| 60 | 8 | 70 |2269 | 70 | 23 | 18 | 18k|1330 | 0.000000e+00 | -- | Inf
29.08/29.19 c 29.2s| 60000 | 25006 |197869 | 3.3 | 17M| 60 | - | 70 |2377 | 70 | 23 | 18 | 21k|1405 | 0.000000e+00 | -- | Inf
33.99/34.03 c 34.0s| 70000 | 28718 |230212 | 3.3 | 19M| 61 | - | 70 |2014 | 70 | 23 | 18 | 25k|1466 | 0.000000e+00 | -- | Inf
38.78/38.84 c 38.8s| 80000 | 32347 |263514 | 3.3 | 22M| 61 | 8 | 70 |1897 | 70 | 23 | 18 | 29k|1534 | 0.000000e+00 | -- | Inf
43.38/43.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.38/43.43 c 43.4s| 90000 | 36250 |295855 | 3.3 | 24M| 61 | - | 70 |2422 | 70 | 23 | 18 | 33k|1595 | 0.000000e+00 | -- | Inf
48.17/48.27 c 48.3s|100000 | 39976 |328383 | 3.3 | 27M| 61 | - | 70 |2169 | 70 | 23 | 18 | 37k|1655 | 0.000000e+00 | -- | Inf
53.08/53.14 c 53.1s|110000 | 43317 |360694 | 3.3 | 30M| 61 | 8 | 70 |2347 | 70 | 23 | 18 | 41k|1694 | 0.000000e+00 | -- | Inf
57.88/57.92 c 57.9s|120000 | 46938 |392421 | 3.3 | 32M| 61 | 8 | 70 |2333 | 70 | 23 | 18 | 45k|1739 | 0.000000e+00 | -- | Inf
62.57/62.69 c 62.7s|130000 | 50666 |424803 | 3.3 | 35M| 61 | - | 70 |2257 | 0 | 0 | 18 | 49k|1769 | 0.000000e+00 | -- | Inf
67.48/67.53 c 67.5s|140000 | 54173 |457397 | 3.3 | 37M| 62 | 8 | 70 |2634 | 70 | 23 | 18 | 53k|1804 | 0.000000e+00 | -- | Inf
72.47/72.51 c 72.5s|150000 | 57477 |490064 | 3.3 | 40M| 62 | 8 | 70 |2352 | 70 | 23 | 18 | 57k|1842 | 0.000000e+00 | -- | Inf
77.27/77.34 c 77.3s|160000 | 60993 |522165 | 3.3 | 42M| 62 | 8 | 70 |2582 | 70 | 23 | 18 | 61k|1882 | 0.000000e+00 | -- | Inf
82.17/82.26 c 82.2s|170000 | 64295 |554523 | 3.3 | 45M| 62 | 8 | 70 |2714 | 70 | 23 | 18 | 66k|1917 | 0.000000e+00 | -- | Inf
87.07/87.15 c 87.1s|180000 | 67687 |586292 | 3.3 | 47M| 62 | - | 70 |2443 | 70 | 23 | 18 | 70k|1957 | 0.000000e+00 | -- | Inf
91.97/92.02 c 92.0s|190000 | 70910 |618082 | 3.3 | 50M| 62 | 8 | 70 |2586 | 70 | 23 | 18 | 74k|1987 | 0.000000e+00 | -- | Inf
96.96/97.04 c 97.0s|200000 | 74166 |650544 | 3.3 | 52M| 62 | - | 70 |2735 | 70 | 23 | 18 | 78k|2017 | 0.000000e+00 | -- | Inf
101.97/102.04 c 102s|210000 | 77446 |682154 | 3.2 | 55M| 62 | 8 | 70 |2697 | 70 | 23 | 18 | 82k|2041 | 0.000000e+00 | -- | Inf
106.97/107.06 c 107s|220000 | 80698 |714799 | 3.2 | 57M| 62 | - | 70 |3009 | 70 | 23 | 18 | 87k|2072 | 0.000000e+00 | -- | Inf
112.06/112.15 c 112s|230000 | 83854 |746986 | 3.2 | 60M| 62 | 8 | 70 |3027 | 70 | 23 | 18 | 91k|2109 | 0.000000e+00 | -- | Inf
117.16/117.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.16/117.27 c 117s|240000 | 87018 |779278 | 3.2 | 62M| 62 | - | 70 |2863 | 70 | 23 | 18 | 95k|2145 | 0.000000e+00 | -- | Inf
122.26/122.34 c 122s|250000 | 90108 |810373 | 3.2 | 64M| 62 | 8 | 70 |2790 | 70 | 23 | 18 | 100k|2166 | 0.000000e+00 | -- | Inf
127.37/127.43 c 127s|260000 | 93346 |842258 | 3.2 | 67M| 62 | 8 | 70 |2743 | 70 | 23 | 18 | 104k|2193 | 0.000000e+00 | -- | Inf
132.26/132.38 c 132s|270000 | 96476 |873754 | 3.2 | 69M| 62 | - | 70 |3197 | 0 | 0 | 18 | 108k|2215 | 0.000000e+00 | -- | Inf
137.36/137.42 c 137s|280000 | 99834 |906155 | 3.2 | 72M| 62 | 8 | 70 |3200 | 70 | 23 | 18 | 112k|2237 | 0.000000e+00 | -- | Inf
142.46/142.57 c 143s|290000 |103126 |937669 | 3.2 | 74M| 62 | - | 70 |3342 | 70 | 23 | 18 | 116k|2266 | 0.000000e+00 | -- | Inf
147.85/147.91 c 148s|300000 |106046 |969905 | 3.2 | 77M| 62 | - | 70 |2977 | 0 | 0 | 18 | 121k|2295 | 0.000000e+00 | -- | Inf
152.87/152.95 c 153s|310000 |109305 | 1001k| 3.2 | 79M| 62 | - | 70 |3303 | 70 | 23 | 18 | 125k|2318 | 0.000000e+00 | -- | Inf
157.75/157.88 c 158s|320000 |112769 | 1033k| 3.2 | 81M| 62 | 8 | 70 |3226 | 70 | 23 | 18 | 129k|2338 | 0.000000e+00 | -- | Inf
162.86/162.93 c 163s|330000 |116246 | 1066k| 3.2 | 84M| 62 | - | 70 |3225 | 70 | 23 | 18 | 133k|2360 | 0.000000e+00 | -- | Inf
167.85/167.97 c 168s|340000 |119526 | 1098k| 3.2 | 86M| 62 | - | 70 |3464 | 70 | 23 | 18 | 138k|2381 | 0.000000e+00 | -- | Inf
172.95/173.06 c 173s|350000 |122742 | 1130k| 3.2 | 89M| 62 | 8 | 70 |3147 | 70 | 23 | 18 | 142k|2403 | 0.000000e+00 | -- | Inf
178.05/178.13 c 178s|360000 |125897 | 1161k| 3.2 | 91M| 62 | 8 | 70 |3170 | 70 | 23 | 18 | 146k|2423 | 0.000000e+00 | -- | Inf
182.95/183.01 c 183s|370000 |129221 | 1192k| 3.2 | 94M| 62 | 8 | 70 |3849 | 70 | 23 | 18 | 150k|2444 | 0.000000e+00 | -- | Inf
188.24/188.38 c 188s|380000 |132375 | 1224k| 3.2 | 96M| 62 | 8 | 70 |2978 | 70 | 23 | 18 | 155k|2460 | 0.000000e+00 | -- | Inf
193.45/193.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
193.45/193.56 c 194s|390000 |135208 | 1256k| 3.2 | 99M| 62 | 8 | 70 |3148 | 70 | 23 | 18 | 159k|2483 | 0.000000e+00 | -- | Inf
198.64/198.79 c 199s|400000 |138190 | 1288k| 3.2 | 101M| 62 | 8 | 70 |3322 | 70 | 23 | 18 | 164k|2502 | 0.000000e+00 | -- | Inf
203.84/203.95 c 204s|410000 |141379 | 1319k| 3.2 | 103M| 62 | 8 | 70 |3437 | 70 | 23 | 18 | 168k|2515 | 0.000000e+00 | -- | Inf
208.95/209.07 c 209s|420000 |144517 | 1350k| 3.2 | 106M| 62 | - | 70 |3455 | 70 | 23 | 18 | 172k|2532 | 0.000000e+00 | -- | Inf
214.14/214.20 c 214s|430000 |147565 | 1382k| 3.2 | 108M| 62 | 8 | 70 |4177 | 70 | 23 | 18 | 176k|2545 | 0.000000e+00 | -- | Inf
219.54/219.65 c 220s|440000 |150382 | 1414k| 3.2 | 111M| 62 | 8 | 70 |3846 | 70 | 23 | 18 | 181k|2562 | 0.000000e+00 | -- | Inf
224.94/225.09 c 225s|450000 |153239 | 1446k| 3.2 | 113M| 62 | 8 | 70 |3526 | 70 | 23 | 18 | 185k|2580 | 0.000000e+00 | -- | Inf
230.33/230.48 c 230s|460000 |156209 | 1477k| 3.2 | 115M| 62 | 8 | 70 |3498 | 70 | 23 | 18 | 190k|2599 | 0.000000e+00 | -- | Inf
235.73/235.88 c 236s|470000 |159085 | 1509k| 3.2 | 118M| 62 | - | 70 |3341 | 70 | 23 | 18 | 194k|2621 | 0.000000e+00 | -- | Inf
241.03/241.15 c 241s|480000 |162072 | 1541k| 3.2 | 120M| 62 | 8 | 70 |3386 | 70 | 23 | 18 | 199k|2637 | 0.000000e+00 | -- | Inf
246.33/246.47 c 246s|490000 |164963 | 1573k| 3.2 | 122M| 62 | 8 | 70 |3334 | 70 | 23 | 18 | 203k|2658 | 0.000000e+00 | -- | Inf
251.63/251.77 c 252s|500000 |167776 | 1605k| 3.2 | 125M| 62 | - | 70 |3803 | 70 | 23 | 18 | 208k|2676 | 0.000000e+00 | -- | Inf
257.03/257.14 c 257s|510000 |170777 | 1636k| 3.2 | 127M| 62 | 8 | 70 |4020 | 70 | 23 | 18 | 212k|2688 | 0.000000e+00 | -- | Inf
262.02/262.10 c 262s|520000 |174353 | 1666k| 3.2 | 130M| 62 | 8 | 70 |4497 | 70 | 23 | 18 | 216k|2696 | 0.000000e+00 | -- | Inf
267.43/267.58 c 268s|530000 |177378 | 1697k| 3.2 | 132M| 62 | - | 70 |3966 | 70 | 23 | 18 | 221k|2707 | 0.000000e+00 | -- | Inf
272.62/272.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
272.62/272.79 c 273s|540000 |180152 | 1729k| 3.2 | 135M| 62 | 8 | 70 |4195 | 70 | 23 | 18 | 225k|2718 | 0.000000e+00 | -- | Inf
278.23/278.35 c 278s|550000 |182845 | 1761k| 3.2 | 137M| 62 | 8 | 70 |4056 | 70 | 23 | 18 | 230k|2733 | 0.000000e+00 | -- | Inf
283.73/283.90 c 284s|560000 |185613 | 1793k| 3.2 | 139M| 62 | 8 | 70 |3637 | 70 | 23 | 18 | 234k|2742 | 0.000000e+00 | -- | Inf
289.12/289.20 c 289s|570000 |188708 | 1825k| 3.2 | 142M| 62 | 8 | 70 |3650 | 70 | 23 | 18 | 238k|2756 | 0.000000e+00 | -- | Inf
294.12/294.20 c 294s|580000 |192263 | 1857k| 3.2 | 144M| 62 | 8 | 70 |4556 | 70 | 23 | 18 | 242k|2764 | 0.000000e+00 | -- | Inf
299.52/299.61 c 300s|590000 |195169 | 1889k| 3.2 | 147M| 62 | 8 | 70 |4189 | 70 | 23 | 18 | 247k|2775 | 0.000000e+00 | -- | Inf
305.12/305.21 c 305s|600000 |198030 | 1920k| 3.2 | 149M| 62 | 8 | 70 |3556 | 70 | 23 | 18 | 251k|2789 | 0.000000e+00 | -- | Inf
310.22/310.38 c 310s|610000 |201005 | 1952k| 3.2 | 152M| 62 | - | 70 |4593 | 70 | 23 | 18 | 256k|2806 | 0.000000e+00 | -- | Inf
315.52/315.62 c 316s|620000 |204518 | 1983k| 3.2 | 154M| 62 | - | 70 |4738 | 70 | 23 | 18 | 260k|2819 | 0.000000e+00 | -- | Inf
320.61/320.77 c 321s|630000 |207817 | 2015k| 3.2 | 157M| 62 | 8 | 70 |5400 | 70 | 23 | 18 | 264k|2826 | 0.000000e+00 | -- | Inf
326.01/326.19 c 326s|640000 |211075 | 2047k| 3.2 | 159M| 62 | - | 70 |5358 | 70 | 23 | 18 | 268k|2834 | 0.000000e+00 | -- | Inf
331.91/332.05 c 332s|650000 |213876 | 2078k| 3.2 | 161M| 62 | - | 70 |3998 | 70 | 23 | 18 | 272k|2845 | 0.000000e+00 | -- | Inf
337.51/337.63 c 338s|660000 |216719 | 2110k| 3.2 | 164M| 62 | 8 | 70 |4003 | 70 | 23 | 18 | 277k|2856 | 0.000000e+00 | -- | Inf
343.12/343.23 c 343s|670000 |219622 | 2142k| 3.2 | 166M| 62 | 8 | 70 |3969 | 70 | 23 | 18 | 281k|2872 | 0.000000e+00 | -- | Inf
348.41/348.53 c 349s|680000 |222950 | 2174k| 3.2 | 169M| 62 | 8 | 70 |4388 | 70 | 23 | 18 | 286k|2888 | 0.000000e+00 | -- | Inf
353.81/353.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
353.81/353.92 c 354s|690000 |226097 | 2206k| 3.2 | 171M| 62 | 8 | 70 |4473 | 70 | 23 | 18 | 290k|2900 | 0.000000e+00 | -- | Inf
359.01/359.11 c 359s|700000 |229417 | 2237k| 3.2 | 173M| 62 | 8 | 70 |4315 | 70 | 23 | 18 | 294k|2915 | 0.000000e+00 | -- | Inf
363.80/363.97 c 364s|710000 |233506 | 2269k| 3.2 | 176M| 62 | 8 | 70 |4555 | 70 | 23 | 18 | 298k|2927 | 0.000000e+00 | -- | Inf
369.21/369.30 c 369s|720000 |236760 | 2303k| 3.2 | 179M| 62 | 8 | 70 |5115 | 70 | 23 | 18 | 302k|2936 | 0.000000e+00 | -- | Inf
374.30/374.47 c 374s|730000 |240348 | 2335k| 3.2 | 181M| 62 | 8 | 70 |5769 | 70 | 23 | 18 | 306k|2948 | 0.000000e+00 | -- | Inf
380.00/380.18 c 380s|740000 |243657 | 2368k| 3.2 | 184M| 62 | 8 | 70 |4863 | 70 | 23 | 18 | 310k|2960 | 0.000000e+00 | -- | Inf
385.89/386.06 c 386s|750000 |246365 | 2399k| 3.2 | 186M| 62 | - | 70 |4551 | 70 | 23 | 18 | 315k|2965 | 0.000000e+00 | -- | Inf
391.80/391.93 c 392s|760000 |249027 | 2431k| 3.2 | 188M| 62 | 8 | 70 |3793 | 70 | 23 | 18 | 319k|2972 | 0.000000e+00 | -- | Inf
397.11/397.22 c 397s|770000 |252184 | 2463k| 3.2 | 191M| 62 | 8 | 70 |4277 | 70 | 23 | 18 | 324k|2980 | 0.000000e+00 | -- | Inf
402.69/402.83 c 403s|780000 |254970 | 2496k| 3.2 | 193M| 62 | 8 | 70 |3569 | 70 | 23 | 18 | 328k|2986 | 0.000000e+00 | -- | Inf
408.19/408.34 c 408s|790000 |257747 | 2528k| 3.2 | 195M| 62 | 8 | 70 |3896 | 70 | 23 | 18 | 333k|2991 | 0.000000e+00 | -- | Inf
413.30/413.49 c 413s|800000 |260820 | 2559k| 3.2 | 198M| 62 | - | 70 |3989 | 70 | 23 | 18 | 337k|2998 | 0.000000e+00 | -- | Inf
418.89/419.03 c 419s|810000 |263661 | 2591k| 3.2 | 200M| 62 | 8 | 70 |3502 | 70 | 23 | 18 | 341k|3005 | 0.000000e+00 | -- | Inf
424.29/424.45 c 424s|820000 |266535 | 2623k| 3.2 | 202M| 62 | 8 | 70 |3907 | 70 | 23 | 18 | 346k|3018 | 0.000000e+00 | -- | Inf
429.69/429.84 c 430s|830000 |269426 | 2654k| 3.2 | 205M| 62 | 8 | 70 |4296 | 70 | 23 | 18 | 350k|3028 | 0.000000e+00 | -- | Inf
435.39/435.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
435.39/435.57 c 436s|840000 |272127 | 2686k| 3.2 | 207M| 62 | - | 70 |3705 | 70 | 23 | 18 | 355k|3043 | 0.000000e+00 | -- | Inf
440.79/440.95 c 441s|850000 |275124 | 2717k| 3.2 | 209M| 62 | 8 | 70 |4179 | 70 | 23 | 18 | 359k|3060 | 0.000000e+00 | -- | Inf
446.39/446.57 c 447s|860000 |278105 | 2749k| 3.2 | 212M| 62 | 8 | 70 |3998 | 70 | 23 | 18 | 364k|3067 | 0.000000e+00 | -- | Inf
451.99/452.19 c 452s|870000 |280966 | 2781k| 3.2 | 214M| 62 | 8 | 70 |3691 | 70 | 23 | 18 | 368k|3072 | 0.000000e+00 | -- | Inf
457.38/457.56 c 458s|880000 |283867 | 2813k| 3.2 | 217M| 62 | 8 | 70 |4418 | 70 | 23 | 18 | 373k|3083 | 0.000000e+00 | -- | Inf
462.88/463.07 c 463s|890000 |286866 | 2844k| 3.2 | 219M| 62 | 8 | 70 |3956 | 70 | 23 | 18 | 377k|3096 | 0.000000e+00 | -- | Inf
468.48/468.67 c 469s|900000 |289635 | 2875k| 3.2 | 221M| 62 | - | 70 |4096 | 70 | 23 | 18 | 382k|3109 | 0.000000e+00 | -- | Inf
474.08/474.26 c 474s|910000 |292629 | 2907k| 3.2 | 224M| 62 | - | 70 |4232 | 70 | 23 | 18 | 386k|3116 | 0.000000e+00 | -- | Inf
479.58/479.72 c 480s|920000 |295653 | 2938k| 3.2 | 226M| 62 | 8 | 70 |4842 | 70 | 23 | 18 | 390k|3126 | 0.000000e+00 | -- | Inf
485.08/485.24 c 485s|930000 |298855 | 2971k| 3.2 | 229M| 62 | 8 | 70 |5031 | 70 | 23 | 18 | 395k|3137 | 0.000000e+00 | -- | Inf
490.67/490.80 c 491s|940000 |301976 | 3003k| 3.2 | 231M| 63 | - | 70 |5080 | 0 | 0 | 18 | 399k|3151 | 0.000000e+00 | -- | Inf
496.37/496.56 c 497s|950000 |304696 | 3034k| 3.2 | 233M| 63 | 8 | 70 |4631 | 70 | 23 | 18 | 403k|3161 | 0.000000e+00 | -- | Inf
501.77/501.93 c 502s|960000 |307850 | 3066k| 3.2 | 236M| 63 | 8 | 70 |5213 | 70 | 23 | 18 | 408k|3170 | 0.000000e+00 | -- | Inf
507.57/507.70 c 508s|970000 |310626 | 3098k| 3.2 | 238M| 63 | - | 70 |5007 | 70 | 23 | 18 | 412k|3178 | 0.000000e+00 | -- | Inf
513.17/513.39 c 513s|980000 |313432 | 3130k| 3.2 | 240M| 63 | 8 | 70 |4360 | 70 | 23 | 18 | 417k|3188 | 0.000000e+00 | -- | Inf
518.87/519.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
518.87/519.08 c 519s|990000 |316080 | 3161k| 3.2 | 243M| 63 | 8 | 70 |4236 | 70 | 23 | 18 | 421k|3199 | 0.000000e+00 | -- | Inf
524.67/524.83 c 525s| 1000k|318799 | 3192k| 3.2 | 245M| 63 | - | 70 |4078 | 70 | 23 | 18 | 426k|3209 | 0.000000e+00 | -- | Inf
530.17/530.34 c 530s| 1010k|321666 | 3224k| 3.2 | 248M| 63 | 8 | 70 |4764 | 70 | 23 | 18 | 430k|3224 | 0.000000e+00 | -- | Inf
535.67/535.86 c 536s| 1020k|324681 | 3255k| 3.2 | 250M| 63 | 8 | 70 |5031 | 70 | 23 | 18 | 435k|3233 | 0.000000e+00 | -- | Inf
541.46/541.62 c 542s| 1030k|327592 | 3288k| 3.2 | 252M| 63 | 8 | 70 |4927 | 70 | 23 | 18 | 439k|3248 | 0.000000e+00 | -- | Inf
547.36/547.51 c 547s| 1040k|330268 | 3319k| 3.2 | 255M| 63 | 8 | 70 |4435 | 70 | 23 | 18 | 444k|3260 | 0.000000e+00 | -- | Inf
553.06/553.26 c 553s| 1050k|333017 | 3351k| 3.2 | 257M| 63 | 8 | 70 |4239 | 70 | 23 | 18 | 448k|3269 | 0.000000e+00 | -- | Inf
558.67/558.83 c 559s| 1060k|335958 | 3382k| 3.2 | 259M| 63 | - | 70 |4670 | 70 | 23 | 18 | 453k|3274 | 0.000000e+00 | -- | Inf
564.35/564.56 c 565s| 1070k|338775 | 3414k| 3.2 | 262M| 63 | - | 70 |4824 | 70 | 23 | 18 | 457k|3284 | 0.000000e+00 | -- | Inf
570.05/570.29 c 570s| 1080k|341739 | 3445k| 3.2 | 264M| 63 | 8 | 70 |4388 | 70 | 23 | 18 | 461k|3287 | 0.000000e+00 | -- | Inf
575.26/575.45 c 575s| 1090k|345165 | 3477k| 3.2 | 267M| 63 | - | 70 |5344 | 70 | 23 | 18 | 466k|3287 | 0.000000e+00 | -- | Inf
580.86/581.07 c 581s| 1100k|348082 | 3509k| 3.2 | 269M| 63 | 8 | 70 |4789 | 70 | 23 | 18 | 470k|3287 | 0.000000e+00 | -- | Inf
586.55/586.73 c 587s| 1110k|351025 | 3541k| 3.2 | 271M| 63 | 8 | 70 |4705 | 70 | 23 | 18 | 474k|3287 | 0.000000e+00 | -- | Inf
592.45/592.64 c 593s| 1120k|353523 | 3572k| 3.2 | 274M| 63 | 8 | 70 |4371 | 70 | 23 | 18 | 479k|3297 | 0.000000e+00 | -- | Inf
598.04/598.22 c 598s| 1130k|356283 | 3603k| 3.2 | 276M| 63 | 8 | 70 |4263 | 70 | 23 | 18 | 484k|3308 | 0.000000e+00 | -- | Inf
603.64/603.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
603.64/603.81 c 604s| 1140k|359105 | 3635k| 3.2 | 278M| 63 | 8 | 70 |4204 | 70 | 23 | 18 | 488k|3310 | 0.000000e+00 | -- | Inf
609.04/609.29 c 609s| 1150k|362062 | 3667k| 3.2 | 281M| 63 | - | 70 |4209 | 70 | 23 | 18 | 493k|3316 | 0.000000e+00 | -- | Inf
614.65/614.83 c 615s| 1160k|364769 | 3699k| 3.2 | 283M| 63 | - | 70 |4657 | 70 | 23 | 18 | 497k|3324 | 0.000000e+00 | -- | Inf
620.14/620.37 c 620s| 1170k|367818 | 3731k| 3.2 | 285M| 63 | 8 | 70 |4412 | 70 | 23 | 18 | 502k|3333 | 0.000000e+00 | -- | Inf
625.44/625.69 c 626s| 1180k|370884 | 3762k| 3.2 | 288M| 63 | 8 | 70 |5495 | 70 | 23 | 18 | 506k|3336 | 0.000000e+00 | -- | Inf
631.35/631.55 c 632s| 1190k|373722 | 3793k| 3.2 | 290M| 63 | - | 70 |4855 | 0 | 0 | 18 | 510k|3338 | 0.000000e+00 | -- | Inf
637.03/637.22 c 637s| 1200k|376496 | 3825k| 3.2 | 293M| 63 | - | 70 |4427 | 70 | 23 | 18 | 515k|3338 | 0.000000e+00 | -- | Inf
642.73/642.90 c 643s| 1210k|379170 | 3858k| 3.2 | 295M| 63 | 8 | 70 |4629 | 70 | 23 | 18 | 519k|3338 | 0.000000e+00 | -- | Inf
648.44/648.63 c 649s| 1220k|381886 | 3889k| 3.2 | 297M| 63 | - | 70 |4627 | 70 | 23 | 18 | 524k|3338 | 0.000000e+00 | -- | Inf
653.34/653.59 c 654s| 1230k|385578 | 3920k| 3.2 | 300M| 63 | 8 | 70 |6076 | 70 | 23 | 18 | 528k|3342 | 0.000000e+00 | -- | Inf
658.74/658.96 c 659s| 1240k|389128 | 3951k| 3.2 | 303M| 63 | - | 70 |6372 | 70 | 23 | 18 | 532k|3357 | 0.000000e+00 | -- | Inf
664.34/664.57 c 665s| 1250k|392594 | 3982k| 3.2 | 305M| 63 | 8 | 70 |5900 | 70 | 23 | 18 | 536k|3364 | 0.000000e+00 | -- | Inf
670.53/670.73 c 671s| 1260k|395064 | 4014k| 3.2 | 307M| 63 | 8 | 70 |5366 | 70 | 23 | 18 | 541k|3373 | 0.000000e+00 | -- | Inf
676.53/676.74 c 677s| 1270k|397778 | 4046k| 3.2 | 309M| 63 | - | 70 |4999 | 70 | 23 | 18 | 545k|3374 | 0.000000e+00 | -- | Inf
682.33/682.57 c 683s| 1280k|400522 | 4077k| 3.2 | 312M| 63 | 8 | 70 |4953 | 70 | 23 | 18 | 550k|3376 | 0.000000e+00 | -- | Inf
688.03/688.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
688.03/688.28 c 688s| 1290k|403389 | 4109k| 3.2 | 314M| 63 | - | 70 |4546 | 70 | 23 | 18 | 554k|3382 | 0.000000e+00 | -- | Inf
693.94/694.16 c 694s| 1300k|406110 | 4141k| 3.2 | 316M| 63 | 8 | 70 |4319 | 70 | 23 | 18 | 559k|3382 | 0.000000e+00 | -- | Inf
699.83/700.06 c 700s| 1310k|408766 | 4173k| 3.2 | 319M| 63 | - | 70 |3953 | 70 | 23 | 18 | 563k|3385 | 0.000000e+00 | -- | Inf
705.62/705.85 c 706s| 1320k|411459 | 4205k| 3.2 | 321M| 63 | - | 70 |3587 | 70 | 23 | 18 | 568k|3392 | 0.000000e+00 | -- | Inf
710.72/710.90 c 711s| 1330k|414663 | 4237k| 3.2 | 324M| 63 | 8 | 70 |5055 | 70 | 23 | 18 | 572k|3402 | 0.000000e+00 | -- | Inf
716.61/716.88 c 717s| 1340k|417185 | 4269k| 3.2 | 326M| 63 | 8 | 70 |4871 | 70 | 23 | 18 | 577k|3408 | 0.000000e+00 | -- | Inf
722.52/722.77 c 723s| 1350k|419823 | 4301k| 3.2 | 328M| 63 | - | 70 |4738 | 70 | 23 | 18 | 581k|3419 | 0.000000e+00 | -- | Inf
728.41/728.65 c 729s| 1360k|422560 | 4331k| 3.2 | 331M| 63 | 8 | 70 |4522 | 70 | 23 | 18 | 586k|3431 | 0.000000e+00 | -- | Inf
734.21/734.42 c 734s| 1370k|425295 | 4363k| 3.2 | 333M| 63 | 8 | 70 |4485 | 70 | 23 | 18 | 590k|3437 | 0.000000e+00 | -- | Inf
739.71/739.93 c 740s| 1380k|428165 | 4397k| 3.2 | 336M| 63 | - | 70 |5843 | 70 | 23 | 18 | 595k|3443 | 0.000000e+00 | -- | Inf
745.91/746.11 c 746s| 1390k|430749 | 4430k| 3.2 | 338M| 63 | 8 | 70 |5246 | 70 | 23 | 18 | 599k|3453 | 0.000000e+00 | -- | Inf
752.01/752.25 c 752s| 1400k|433376 | 4462k| 3.2 | 340M| 63 | - | 70 |4713 | 0 | 0 | 18 | 604k|3464 | 0.000000e+00 | -- | Inf
757.51/757.78 c 758s| 1410k|436300 | 4494k| 3.2 | 342M| 63 | - | 70 |5041 | 70 | 23 | 18 | 608k|3468 | 0.000000e+00 | -- | Inf
763.50/763.72 c 764s| 1420k|439114 | 4526k| 3.2 | 345M| 63 | 8 | 70 |4801 | 70 | 23 | 18 | 613k|3471 | 0.000000e+00 | -- | Inf
768.90/769.19 c 769s| 1430k|442053 | 4558k| 3.2 | 347M| 63 | 8 | 70 |5686 | 70 | 23 | 18 | 617k|3476 | 0.000000e+00 | -- | Inf
774.71/774.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
774.71/774.92 c 775s| 1440k|445194 | 4590k| 3.2 | 350M| 63 | - | 70 |6004 | 70 | 23 | 18 | 622k|3481 | 0.000000e+00 | -- | Inf
780.70/780.94 c 781s| 1450k|447962 | 4623k| 3.2 | 352M| 63 | 8 | 70 |4809 | 70 | 23 | 18 | 626k|3483 | 0.000000e+00 | -- | Inf
786.41/786.63 c 787s| 1460k|450886 | 4655k| 3.2 | 354M| 63 | - | 70 |4924 | 70 | 23 | 18 | 630k|3483 | 0.000000e+00 | -- | Inf
792.20/792.48 c 792s| 1470k|453537 | 4686k| 3.2 | 357M| 63 | 8 | 70 |4619 | 70 | 23 | 18 | 635k|3483 | 0.000000e+00 | -- | Inf
798.20/798.42 c 798s| 1480k|456179 | 4717k| 3.2 | 359M| 63 | - | 70 |4232 | 70 | 23 | 18 | 640k|3483 | 0.000000e+00 | -- | Inf
804.00/804.21 c 804s| 1490k|459028 | 4748k| 3.2 | 361M| 63 | 8 | 70 |4178 | 70 | 23 | 18 | 644k|3483 | 0.000000e+00 | -- | Inf
809.69/809.92 c 810s| 1500k|461695 | 4780k| 3.2 | 364M| 63 | - | 70 |4517 | 70 | 23 | 18 | 649k|3486 | 0.000000e+00 | -- | Inf
815.50/815.71 c 816s| 1510k|464417 | 4811k| 3.2 | 366M| 63 | 8 | 70 |4502 | 70 | 23 | 18 | 653k|3492 | 0.000000e+00 | -- | Inf
821.29/821.57 c 822s| 1520k|466982 | 4842k| 3.2 | 368M| 63 | - | 70 |4989 | 70 | 23 | 18 | 658k|3497 | 0.000000e+00 | -- | Inf
827.39/827.60 c 828s| 1530k|469581 | 4874k| 3.2 | 371M| 63 | - | 70 |4671 | 70 | 23 | 18 | 662k|3503 | 0.000000e+00 | -- | Inf
832.99/833.26 c 833s| 1540k|472453 | 4905k| 3.2 | 373M| 63 | 8 | 70 |5040 | 70 | 23 | 18 | 667k|3510 | 0.000000e+00 | -- | Inf
838.59/838.87 c 839s| 1550k|475336 | 4937k| 3.2 | 375M| 63 | 8 | 70 |5144 | 70 | 23 | 18 | 671k|3517 | 0.000000e+00 | -- | Inf
844.19/844.45 c 844s| 1560k|478161 | 4969k| 3.2 | 378M| 63 | 8 | 70 |5821 | 70 | 23 | 18 | 676k|3519 | 0.000000e+00 | -- | Inf
850.09/850.33 c 850s| 1570k|481009 | 4999k| 3.2 | 380M| 63 | 8 | 70 |4845 | 70 | 23 | 18 | 680k|3519 | 0.000000e+00 | -- | Inf
855.98/856.24 c 856s| 1580k|483541 | 5031k| 3.2 | 382M| 63 | 8 | 70 |5111 | 70 | 23 | 18 | 685k|3519 | 0.000000e+00 | -- | Inf
861.78/862.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
861.78/862.07 c 862s| 1590k|486272 | 5062k| 3.2 | 385M| 63 | 8 | 70 |4662 | 70 | 23 | 18 | 690k|3519 | 0.000000e+00 | -- | Inf
867.58/867.81 c 868s| 1600k|489254 | 5094k| 3.2 | 387M| 63 | 8 | 70 |4775 | 70 | 23 | 18 | 694k|3519 | 0.000000e+00 | -- | Inf
873.48/873.70 c 874s| 1610k|492001 | 5125k| 3.2 | 389M| 63 | 8 | 70 |4563 | 70 | 23 | 18 | 698k|3519 | 0.000000e+00 | -- | Inf
879.18/879.41 c 879s| 1620k|494920 | 5157k| 3.2 | 392M| 63 | - | 70 |4674 | 70 | 23 | 18 | 703k|3519 | 0.000000e+00 | -- | Inf
885.08/885.34 c 885s| 1630k|497616 | 5190k| 3.2 | 394M| 63 | - | 70 |4714 | 70 | 23 | 18 | 707k|3519 | 0.000000e+00 | -- | Inf
890.78/891.07 c 891s| 1640k|500589 | 5221k| 3.2 | 397M| 63 | 8 | 70 |4897 | 70 | 23 | 18 | 712k|3519 | 0.000000e+00 | -- | Inf
896.78/897.04 c 897s| 1650k|503264 | 5252k| 3.2 | 399M| 63 | - | 70 |4883 | 70 | 23 | 18 | 716k|3519 | 0.000000e+00 | -- | Inf
902.57/902.82 c 903s| 1660k|506023 | 5284k| 3.2 | 401M| 63 | - | 70 |5668 | 70 | 23 | 18 | 721k|3525 | 0.000000e+00 | -- | Inf
908.57/908.81 c 909s| 1670k|508856 | 5314k| 3.2 | 404M| 63 | 8 | 70 |5273 | 70 | 23 | 18 | 725k|3529 | 0.000000e+00 | -- | Inf
914.47/914.79 c 915s| 1680k|511529 | 5345k| 3.2 | 406M| 63 | 8 | 70 |5090 | 70 | 23 | 18 | 730k|3530 | 0.000000e+00 | -- | Inf
920.37/920.64 c 921s| 1690k|514385 | 5377k| 3.2 | 408M| 63 | 8 | 70 |4842 | 70 | 23 | 18 | 734k|3531 | 0.000000e+00 | -- | Inf
926.47/926.77 c 927s| 1700k|516917 | 5408k| 3.2 | 410M| 63 | 8 | 70 |4689 | 70 | 23 | 18 | 739k|3531 | 0.000000e+00 | -- | Inf
931.97/932.25 c 932s| 1710k|519882 | 5440k| 3.2 | 413M| 63 | 8 | 70 |5152 | 70 | 23 | 18 | 743k|3531 | 0.000000e+00 | -- | Inf
937.57/937.80 c 938s| 1720k|522965 | 5472k| 3.2 | 415M| 63 | 8 | 70 |4866 | 70 | 23 | 18 | 747k|3531 | 0.000000e+00 | -- | Inf
943.37/943.68 c 944s| 1730k|525519 | 5504k| 3.2 | 418M| 63 | - | 70 |4505 | 70 | 23 | 18 | 752k|3531 | 0.000000e+00 | -- | Inf
949.07/949.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
949.07/949.33 c 949s| 1740k|528376 | 5537k| 3.2 | 420M| 63 | 8 | 70 |5074 | 70 | 23 | 18 | 757k|3531 | 0.000000e+00 | -- | Inf
954.57/954.89 c 955s| 1750k|531310 | 5569k| 3.2 | 423M| 63 | 8 | 70 |5907 | 70 | 23 | 18 | 761k|3531 | 0.000000e+00 | -- | Inf
960.56/960.80 c 961s| 1760k|534221 | 5600k| 3.2 | 425M| 63 | 8 | 70 |5690 | 70 | 23 | 18 | 765k|3531 | 0.000000e+00 | -- | Inf
966.77/967.03 c 967s| 1770k|536923 | 5632k| 3.2 | 427M| 63 | 8 | 70 |5464 | 70 | 23 | 18 | 770k|3531 | 0.000000e+00 | -- | Inf
972.45/972.73 c 973s| 1780k|539864 | 5664k| 3.2 | 430M| 63 | - | 70 |6228 | 70 | 23 | 18 | 774k|3531 | 0.000000e+00 | -- | Inf
978.35/978.65 c 979s| 1790k|542729 | 5696k| 3.2 | 432M| 63 | 8 | 70 |5627 | 70 | 23 | 18 | 779k|3531 | 0.000000e+00 | -- | Inf
984.36/984.67 c 985s| 1800k|545444 | 5727k| 3.2 | 434M| 63 | 8 | 70 |5019 | 70 | 23 | 18 | 783k|3531 | 0.000000e+00 | -- | Inf
990.15/990.47 c 990s| 1810k|548573 | 5758k| 3.2 | 437M| 63 | 8 | 70 |5647 | 70 | 23 | 18 | 787k|3531 | 0.000000e+00 | -- | Inf
996.36/996.68 c 997s| 1820k|551387 | 5790k| 3.2 | 439M| 63 | - | 70 |4853 | 70 | 23 | 18 | 792k|3531 | 0.000000e+00 | -- | Inf
1002.45/1002.70 c 1003s| 1830k|554025 | 5822k| 3.2 | 441M| 63 | 8 | 70 |4870 | 70 | 23 | 18 | 796k|3531 | 0.000000e+00 | -- | Inf
1008.55/1008.85 c 1009s| 1840k|556569 | 5854k| 3.2 | 443M| 63 | 8 | 70 |4623 | 70 | 23 | 18 | 801k|3539 | 0.000000e+00 | -- | Inf
1014.14/1014.46 c 1014s| 1850k|560037 | 5888k| 3.2 | 446M| 63 | - | 70 |5610 | 70 | 23 | 18 | 805k|3937 | 0.000000e+00 | -- | Inf
1020.35/1020.60 c 1021s| 1860k|562730 | 5922k| 3.2 | 449M| 63 | 8 | 70 |6152 | 70 | 23 | 18 | 810k|4337 | 0.000000e+00 | -- | Inf
1026.44/1026.71 c 1027s| 1870k|565428 | 5955k| 3.2 | 451M| 63 | - | 70 |6364 | 0 | 0 | 18 | 815k|4450 | 0.000000e+00 | -- | Inf
1032.54/1032.82 c 1033s| 1880k|568294 | 5987k| 3.2 | 453M| 63 | 8 | 70 |6601 | 70 | 23 | 18 | 819k|4450 | 0.000000e+00 | -- | Inf
1038.64/1038.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1038.64/1038.99 c 1039s| 1890k|571118 | 6019k| 3.2 | 456M| 63 | 8 | 70 |6012 | 70 | 23 | 18 | 824k|4450 | 0.000000e+00 | -- | Inf
1045.04/1045.35 c 1045s| 1900k|573653 | 6051k| 3.2 | 458M| 63 | 8 | 70 |5677 | 70 | 23 | 18 | 828k|4450 | 0.000000e+00 | -- | Inf
1050.93/1051.26 c 1051s| 1910k|576588 | 6083k| 3.2 | 460M| 63 | 8 | 70 |5874 | 70 | 23 | 18 | 833k|4450 | 0.000000e+00 | -- | Inf
1057.14/1057.41 c 1057s| 1920k|579110 | 6114k| 3.2 | 463M| 63 | 8 | 70 |5498 | 70 | 23 | 18 | 837k|4450 | 0.000000e+00 | -- | Inf
1062.83/1063.14 c 1063s| 1930k|581947 | 6145k| 3.2 | 465M| 63 | 8 | 70 |6397 | 70 | 23 | 18 | 842k|4450 | 0.000000e+00 | -- | Inf
1069.13/1069.50 c 1069s| 1940k|584691 | 6177k| 3.2 | 467M| 63 | - | 70 |5390 | 70 | 23 | 18 | 846k|4450 | 0.000000e+00 | -- | Inf
1075.54/1075.82 c 1076s| 1950k|587140 | 6209k| 3.2 | 469M| 63 | 8 | 70 |4781 | 70 | 23 | 18 | 851k|4450 | 0.000000e+00 | -- | Inf
1081.63/1081.98 c 1082s| 1960k|589891 | 6240k| 3.2 | 472M| 63 | 8 | 70 |4579 | 70 | 23 | 18 | 855k|4450 | 0.000000e+00 | -- | Inf
1087.23/1087.55 c 1088s| 1970k|592774 | 6270k| 3.2 | 474M| 63 | 8 | 70 |5349 | 70 | 23 | 18 | 860k|4450 | 0.000000e+00 | -- | Inf
1093.03/1093.35 c 1093s| 1980k|595591 | 6303k| 3.2 | 477M| 63 | 8 | 70 |5722 | 70 | 23 | 18 | 864k|4450 | 0.000000e+00 | -- | Inf
1098.92/1099.24 c 1099s| 1990k|598499 | 6334k| 3.2 | 479M| 63 | 8 | 70 |5280 | 70 | 23 | 18 | 869k|4450 | 0.000000e+00 | -- | Inf
1104.43/1104.73 c 1105s| 2000k|601452 | 6366k| 3.2 | 482M| 63 | - | 70 |6541 | 0 | 0 | 18 | 873k|4450 | 0.000000e+00 | -- | Inf
1110.52/1110.81 c 1111s| 2010k|604399 | 6398k| 3.2 | 484M| 63 | 8 | 70 |6487 | 70 | 23 | 18 | 877k|4450 | 0.000000e+00 | -- | Inf
1117.02/1117.36 c 1117s| 2020k|607017 | 6430k| 3.2 | 486M| 63 | - | 70 |5484 | 70 | 23 | 18 | 882k|4450 | 0.000000e+00 | -- | Inf
1123.52/1123.81 c 1124s| 2030k|609475 | 6461k| 3.2 | 488M| 63 | 8 | 70 |4719 | 70 | 23 | 18 | 887k|4450 | 0.000000e+00 | -- | Inf
1129.32/1129.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1129.32/1129.67 c 1130s| 2040k|612168 | 6493k| 3.2 | 491M| 63 | 8 | 70 |5167 | 70 | 23 | 18 | 891k|4450 | 0.000000e+00 | -- | Inf
1135.32/1135.69 c 1136s| 2050k|614923 | 6525k| 3.2 | 493M| 63 | - | 70 |5545 | 70 | 23 | 18 | 896k|4450 | 0.000000e+00 | -- | Inf
1140.61/1140.92 c 1141s| 2060k|618453 | 6556k| 3.2 | 496M| 63 | 8 | 70 |6913 | 70 | 23 | 18 | 900k|4450 | 0.000000e+00 | -- | Inf
1145.62/1145.91 c 1146s| 2070k|622695 | 6587k| 3.2 | 499M| 63 | 8 | 70 |7941 | 70 | 23 | 18 | 903k|4450 | 0.000000e+00 | -- | Inf
1151.11/1151.44 c 1151s| 2080k|626296 | 6617k| 3.2 | 501M| 63 | 8 | 70 |8344 | 70 | 23 | 18 | 907k|4450 | 0.000000e+00 | -- | Inf
1157.92/1158.22 c 1158s| 2090k|629047 | 6648k| 3.2 | 503M| 63 | 8 | 70 |6554 | 70 | 23 | 18 | 912k|4450 | 0.000000e+00 | -- | Inf
1164.11/1164.40 c 1164s| 2100k|631993 | 6679k| 3.2 | 506M| 63 | - | 70 |6111 | 70 | 23 | 18 | 916k|4450 | 0.000000e+00 | -- | Inf
1170.31/1170.69 c 1171s| 2110k|634657 | 6710k| 3.2 | 508M| 63 | - | 70 |5640 | 70 | 23 | 18 | 921k|4450 | 0.000000e+00 | -- | Inf
1177.00/1177.33 c 1177s| 2120k|637175 | 6742k| 3.2 | 510M| 63 | 8 | 70 |5233 | 70 | 23 | 18 | 926k|4450 | 0.000000e+00 | -- | Inf
1182.91/1183.27 c 1183s| 2130k|639878 | 6773k| 3.2 | 512M| 63 | 8 | 70 |4970 | 70 | 23 | 18 | 930k|4450 | 0.000000e+00 | -- | Inf
1189.10/1189.41 c 1189s| 2140k|642555 | 6805k| 3.2 | 514M| 63 | 8 | 70 |4476 | 70 | 23 | 18 | 935k|4450 | 0.000000e+00 | -- | Inf
1194.70/1195.05 c 1195s| 2150k|645274 | 6838k| 3.2 | 517M| 63 | - | 70 |5281 | 70 | 23 | 18 | 939k|4450 | 0.000000e+00 | -- | Inf
1200.30/1200.62 c 1201s| 2160k|648362 | 6869k| 3.2 | 520M| 63 | - | 70 |6122 | 70 | 23 | 18 | 943k|4450 | 0.000000e+00 | -- | Inf
1206.71/1207.07 c 1207s| 2170k|651037 | 6901k| 3.2 | 522M| 63 | 8 | 70 |5480 | 70 | 23 | 18 | 948k|4450 | 0.000000e+00 | -- | Inf
1212.20/1212.58 c 1213s| 2180k|654117 | 6933k| 3.2 | 524M| 63 | - | 70 |6654 | 70 | 23 | 18 | 952k|4450 | 0.000000e+00 | -- | Inf
1218.39/1218.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1218.39/1218.73 c 1219s| 2190k|656868 | 6964k| 3.2 | 527M| 63 | 8 | 70 |5909 | 70 | 23 | 18 | 957k|4450 | 0.000000e+00 | -- | Inf
1224.49/1224.81 c 1225s| 2200k|659702 | 6997k| 3.2 | 529M| 63 | 8 | 70 |5875 | 70 | 23 | 18 | 961k|4450 | 0.000000e+00 | -- | Inf
1230.61/1230.97 c 1231s| 2210k|662261 | 7029k| 3.2 | 531M| 63 | - | 70 |5608 | 70 | 23 | 18 | 966k|4450 | 0.000000e+00 | -- | Inf
1236.99/1237.31 c 1237s| 2220k|664820 | 7060k| 3.2 | 533M| 63 | 8 | 70 |4712 | 70 | 23 | 18 | 971k|4450 | 0.000000e+00 | -- | Inf
1242.50/1242.90 c 1243s| 2230k|667804 | 7092k| 3.2 | 536M| 63 | - | 70 |5545 | 70 | 23 | 18 | 975k|4450 | 0.000000e+00 | -- | Inf
1248.49/1248.82 c 1249s| 2240k|670360 | 7124k| 3.2 | 538M| 63 | 8 | 70 |5801 | 70 | 23 | 18 | 980k|4450 | 0.000000e+00 | -- | Inf
1254.69/1255.02 c 1255s| 2250k|673315 | 7155k| 3.2 | 540M| 63 | 8 | 70 |4930 | 70 | 23 | 18 | 984k|4450 | 0.000000e+00 | -- | Inf
1260.79/1261.17 c 1261s| 2260k|675805 | 7186k| 3.2 | 543M| 63 | 8 | 70 |4569 | 70 | 23 | 18 | 989k|4450 | 0.000000e+00 | -- | Inf
1266.79/1267.15 c 1267s| 2270k|678525 | 7218k| 3.2 | 545M| 63 | - | 70 |4725 | 70 | 23 | 18 | 993k|4450 | 0.000000e+00 | -- | Inf
1272.78/1273.14 c 1273s| 2280k|681055 | 7249k| 3.2 | 547M| 63 | 8 | 70 |4396 | 70 | 23 | 18 | 998k|4450 | 0.000000e+00 | -- | Inf
1278.78/1279.17 c 1279s| 2290k|683572 | 7280k| 3.2 | 549M| 63 | - | 70 |4519 | 70 | 23 | 18 |1003k|4451 | 0.000000e+00 | -- | Inf
1284.78/1285.10 c 1285s| 2300k|686191 | 7312k| 3.2 | 552M| 63 | - | 70 |4688 | 70 | 23 | 18 |1007k|4454 | 0.000000e+00 | -- | Inf
1290.68/1291.06 c 1291s| 2310k|688960 | 7344k| 3.2 | 554M| 63 | 8 | 70 |5259 | 70 | 23 | 18 |1012k|4454 | 0.000000e+00 | -- | Inf
1296.59/1296.91 c 1297s| 2320k|691812 | 7376k| 3.2 | 557M| 63 | 8 | 70 |5485 | 70 | 23 | 18 |1016k|4459 | 0.000000e+00 | -- | Inf
1302.28/1302.60 c 1303s| 2330k|694710 | 7407k| 3.2 | 559M| 63 | 8 | 70 |5570 | 70 | 23 | 18 |1021k|4459 | 0.000000e+00 | -- | Inf
1307.87/1308.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1307.87/1308.28 c 1308s| 2340k|697567 | 7439k| 3.2 | 562M| 63 | - | 70 |6134 | 70 | 23 | 18 |1025k|4459 | 0.000000e+00 | -- | Inf
1313.67/1314.05 c 1314s| 2350k|700475 | 7472k| 3.2 | 564M| 63 | 8 | 70 |6795 | 70 | 23 | 18 |1030k|4459 | 0.000000e+00 | -- | Inf
1320.37/1320.70 c 1321s| 2360k|702955 | 7505k| 3.2 | 566M| 63 | 8 | 70 |5959 | 70 | 23 | 18 |1034k|4459 | 0.000000e+00 | -- | Inf
1326.67/1327.08 c 1327s| 2370k|705737 | 7537k| 3.2 | 568M| 63 | - | 70 |5765 | 70 | 23 | 18 |1039k|4460 | 0.000000e+00 | -- | Inf
1333.07/1333.45 c 1333s| 2380k|708166 | 7568k| 3.2 | 570M| 63 | 8 | 70 |4436 | 70 | 23 | 18 |1044k|4464 | 0.000000e+00 | -- | Inf
1338.77/1339.12 c 1339s| 2390k|710955 | 7600k| 3.2 | 573M| 63 | 8 | 70 |5524 | 70 | 23 | 18 |1048k|4464 | 0.000000e+00 | -- | Inf
1345.27/1345.61 c 1346s| 2400k|713449 | 7631k| 3.2 | 575M| 63 | - | 70 |4928 | 70 | 23 | 18 |1053k|4465 | 0.000000e+00 | -- | Inf
1351.26/1351.62 c 1352s| 2410k|716357 | 7663k| 3.2 | 578M| 63 | - | 70 |5102 | 70 | 23 | 18 |1057k|4469 | 0.000000e+00 | -- | Inf
1357.27/1357.66 c 1358s| 2420k|719181 | 7693k| 3.2 | 580M| 63 | - | 70 |5024 | 70 | 23 | 18 |1062k|4471 | 0.000000e+00 | -- | Inf
1363.16/1363.56 c 1364s| 2430k|722055 | 7725k| 3.2 | 583M| 63 | 8 | 70 |6119 | 70 | 23 | 18 |1066k|4471 | 0.000000e+00 | -- | Inf
1369.06/1369.41 c 1369s| 2440k|725078 | 7756k| 3.2 | 585M| 63 | 8 | 70 |5506 | 70 | 23 | 18 |1070k|4471 | 0.000000e+00 | -- | Inf
1375.06/1375.48 c 1375s| 2450k|727855 | 7787k| 3.2 | 587M| 63 | 8 | 70 |5188 | 70 | 23 | 18 |1075k|4476 | 0.000000e+00 | -- | Inf
1381.46/1381.80 c 1382s| 2460k|730416 | 7818k| 3.2 | 589M| 63 | 8 | 70 |4966 | 70 | 23 | 18 |1079k|4476 | 0.000000e+00 | -- | Inf
1387.46/1387.89 c 1388s| 2470k|733102 | 7849k| 3.2 | 592M| 63 | - | 70 |4976 | 70 | 23 | 18 |1084k|4476 | 0.000000e+00 | -- | Inf
1393.66/1394.05 c 1394s| 2480k|735771 | 7880k| 3.2 | 594M| 63 | 8 | 70 |4703 | 70 | 23 | 18 |1089k|4477 | 0.000000e+00 | -- | Inf
1399.55/1399.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1399.55/1399.93 c 1400s| 2490k|738536 | 7911k| 3.2 | 596M| 63 | 8 | 70 |5147 | 70 | 23 | 18 |1093k|4487 | 0.000000e+00 | -- | Inf
1405.57/1405.91 c 1406s| 2500k|741303 | 7941k| 3.2 | 599M| 63 | 8 | 70 |5403 | 70 | 23 | 18 |1098k|4487 | 0.000000e+00 | -- | Inf
1411.95/1412.37 c 1412s| 2510k|743786 | 7973k| 3.2 | 601M| 63 | 8 | 70 |4684 | 70 | 23 | 18 |1102k|4487 | 0.000000e+00 | -- | Inf
1417.95/1418.39 c 1418s| 2520k|746386 | 8005k| 3.2 | 603M| 63 | 8 | 70 |5325 | 70 | 23 | 18 |1107k|4487 | 0.000000e+00 | -- | Inf
1424.16/1424.54 c 1425s| 2530k|749026 | 8035k| 3.2 | 606M| 63 | - | 70 |5429 | 70 | 23 | 18 |1111k|4503 | 0.000000e+00 | -- | Inf
1429.76/1430.14 c 1430s| 2540k|751942 | 8068k| 3.2 | 608M| 63 | 8 | 70 |6331 | 70 | 23 | 18 |1116k|4503 | 0.000000e+00 | -- | Inf
1435.95/1436.38 c 1436s| 2550k|754760 | 8099k| 3.2 | 610M| 63 | 8 | 70 |5678 | 70 | 23 | 18 |1120k|4503 | 0.000000e+00 | -- | Inf
1442.14/1442.54 c 1443s| 2560k|757486 | 8131k| 3.2 | 613M| 63 | 8 | 70 |5750 | 70 | 23 | 18 |1125k|4504 | 0.000000e+00 | -- | Inf
1448.25/1448.64 c 1449s| 2570k|760217 | 8164k| 3.2 | 615M| 63 | 8 | 70 |5694 | 70 | 23 | 18 |1129k|4549 | 0.000000e+00 | -- | Inf
1454.34/1454.74 c 1455s| 2580k|762911 | 8195k| 3.2 | 617M| 63 | - | 70 |5434 | 70 | 23 | 18 |1134k|4549 | 0.000000e+00 | -- | Inf
1460.74/1461.15 c 1461s| 2590k|765446 | 8227k| 3.2 | 620M| 63 | 8 | 70 |4999 | 70 | 23 | 18 |1138k|4549 | 0.000000e+00 | -- | Inf
1466.14/1466.58 c 1467s| 2600k|768616 | 8260k| 3.2 | 622M| 63 | 8 | 70 |6486 | 70 | 23 | 18 |1143k|4549 | 0.000000e+00 | -- | Inf
1472.54/1472.99 c 1473s| 2610k|771195 | 8292k| 3.2 | 625M| 63 | 8 | 70 |6222 | 70 | 23 | 18 |1147k|4550 | 0.000000e+00 | -- | Inf
1478.84/1479.22 c 1479s| 2620k|773883 | 8324k| 3.2 | 627M| 63 | 8 | 70 |5501 | 70 | 23 | 18 |1152k|4555 | 0.000000e+00 | -- | Inf
1485.33/1485.76 c 1486s| 2630k|776252 | 8356k| 3.2 | 629M| 63 | 8 | 70 |5343 | 70 | 23 | 18 |1157k|4555 | 0.000000e+00 | -- | Inf
1491.43/1491.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1491.43/1491.82 c 1492s| 2640k|778971 | 8388k| 3.2 | 631M| 63 | - | 70 |5075 | 70 | 23 | 18 |1161k|4556 | 0.000000e+00 | -- | Inf
1497.43/1497.90 c 1498s| 2650k|781675 | 8419k| 3.2 | 634M| 63 | 8 | 70 |5179 | 70 | 23 | 18 |1166k|4557 | 0.000000e+00 | -- | Inf
1502.93/1503.30 c 1503s| 2660k|785127 | 8450k| 3.2 | 637M| 63 | - | 70 |6690 | 70 | 23 | 18 |1170k|4557 | 0.000000e+00 | -- | Inf
1508.63/1509.04 c 1509s| 2670k|788173 | 8481k| 3.2 | 639M| 63 | 8 | 70 |7626 | 70 | 23 | 18 |1174k|4557 | 0.000000e+00 | -- | Inf
1515.23/1515.65 c 1516s| 2680k|790999 | 8513k| 3.2 | 641M| 63 | 8 | 70 |6800 | 70 | 23 | 18 |1179k|4559 | 0.000000e+00 | -- | Inf
1521.42/1521.82 c 1522s| 2690k|793734 | 8545k| 3.2 | 644M| 63 | - | 70 |6887 | 70 | 23 | 18 |1183k|4559 | 0.000000e+00 | -- | Inf
1528.02/1528.47 c 1528s| 2700k|796401 | 8576k| 3.2 | 646M| 63 | - | 70 |5890 | 70 | 23 | 18 |1188k|4565 | 0.000000e+00 | -- | Inf
1534.52/1534.94 c 1535s| 2710k|798964 | 8608k| 3.2 | 648M| 63 | - | 70 |6053 | 0 | 0 | 18 |1192k|4565 | 0.000000e+00 | -- | Inf
1540.83/1541.26 c 1541s| 2720k|801465 | 8640k| 3.2 | 650M| 63 | - | 70 |5467 | 70 | 23 | 18 |1197k|4567 | 0.000000e+00 | -- | Inf
1547.01/1547.48 c 1547s| 2730k|804044 | 8671k| 3.2 | 653M| 63 | - | 70 |5674 | 70 | 23 | 18 |1202k|4567 | 0.000000e+00 | -- | Inf
1553.01/1553.47 c 1553s| 2740k|806820 | 8702k| 3.2 | 655M| 63 | - | 70 |5679 | 70 | 23 | 18 |1206k|4567 | 0.000000e+00 | -- | Inf
1559.32/1559.70 c 1560s| 2750k|809546 | 8733k| 3.2 | 657M| 63 | 8 | 70 |4873 | 70 | 23 | 18 |1211k|4568 | 0.000000e+00 | -- | Inf
1565.21/1565.60 c 1566s| 2760k|812195 | 8765k| 3.2 | 660M| 63 | 8 | 70 |5476 | 70 | 23 | 18 |1215k|4568 | 0.000000e+00 | -- | Inf
1571.42/1571.80 c 1572s| 2770k|814896 | 8796k| 3.2 | 662M| 63 | - | 70 |5374 | 70 | 23 | 18 |1220k|4568 | 0.000000e+00 | -- | Inf
1576.91/1577.36 c 1577s| 2780k|818231 | 8827k| 3.2 | 665M| 63 | 8 | 70 |6168 | 70 | 23 | 18 |1224k|4568 | 0.000000e+00 | -- | Inf
1583.01/1583.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1583.01/1583.40 c 1583s| 2790k|821284 | 8858k| 3.2 | 667M| 63 | - | 70 |5309 | 70 | 23 | 18 |1228k|4568 | 0.000000e+00 | -- | Inf
1589.40/1589.86 c 1590s| 2800k|823841 | 8889k| 3.2 | 669M| 63 | 8 | 70 |4534 | 70 | 23 | 18 |1232k|4572 | 0.000000e+00 | -- | Inf
1595.50/1595.96 c 1596s| 2810k|826301 | 8920k| 3.2 | 671M| 63 | 8 | 70 |4869 | 70 | 23 | 18 |1237k|4621 | 0.000000e+00 | -- | Inf
1601.71/1602.12 c 1602s| 2820k|828821 | 8951k| 3.2 | 674M| 63 | - | 70 |4659 | 70 | 23 | 18 |1242k|4622 | 0.000000e+00 | -- | Inf
1607.70/1608.11 c 1608s| 2830k|831531 | 8982k| 3.2 | 676M| 63 | 8 | 70 |4918 | 70 | 23 | 18 |1246k|4626 | 0.000000e+00 | -- | Inf
1613.20/1613.68 c 1614s| 2840k|834566 | 9013k| 3.2 | 679M| 63 | 8 | 70 |5595 | 70 | 23 | 18 |1251k|4626 | 0.000000e+00 | -- | Inf
1619.70/1620.15 c 1620s| 2850k|837127 | 9044k| 3.2 | 681M| 63 | - | 70 |5054 | 70 | 23 | 18 |1255k|4627 | 0.000000e+00 | -- | Inf
1625.60/1626.06 c 1626s| 2860k|839973 | 9076k| 3.2 | 683M| 63 | - | 70 |5817 | 70 | 23 | 18 |1260k|4627 | 0.000000e+00 | -- | Inf
1631.70/1632.19 c 1632s| 2870k|842741 | 9107k| 3.2 | 685M| 63 | 8 | 70 |5755 | 70 | 23 | 18 |1264k|4627 | 0.000000e+00 | -- | Inf
1637.40/1637.81 c 1638s| 2880k|846011 | 9137k| 3.2 | 688M| 63 | 8 | 70 |6744 | 70 | 23 | 18 |1268k|4627 | 0.000000e+00 | -- | Inf
1643.70/1644.11 c 1644s| 2890k|848961 | 9169k| 3.2 | 690M| 63 | - | 70 |6319 | 70 | 23 | 18 |1273k|4629 | 0.000000e+00 | -- | Inf
1649.99/1650.43 c 1650s| 2900k|851755 | 9202k| 3.2 | 693M| 63 | 8 | 70 |6099 | 70 | 23 | 18 |1277k|4634 | 0.000000e+00 | -- | Inf
1656.79/1657.23 c 1657s| 2910k|854169 | 9233k| 3.2 | 695M| 63 | 8 | 70 |5335 | 70 | 23 | 18 |1282k|4661 | 0.000000e+00 | -- | Inf
1663.19/1663.65 c 1664s| 2920k|856587 | 9265k| 3.2 | 697M| 63 | - | 70 |5234 | 70 | 23 | 18 |1287k|4661 | 0.000000e+00 | -- | Inf
1669.29/1669.77 c 1670s| 2930k|859237 | 9297k| 3.2 | 699M| 63 | 8 | 70 |5286 | 70 | 23 | 18 |1291k|4668 | 0.000000e+00 | -- | Inf
1675.19/1675.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1675.19/1675.68 c 1676s| 2940k|861855 | 9328k| 3.2 | 702M| 63 | 8 | 70 |5999 | 70 | 23 | 18 |1296k|4674 | 0.000000e+00 | -- | Inf
1681.59/1682.06 c 1682s| 2950k|864457 | 9359k| 3.2 | 704M| 63 | - | 70 |5589 | 70 | 23 | 18 |1300k|4677 | 0.000000e+00 | -- | Inf
1687.99/1688.48 c 1688s| 2960k|866993 | 9391k| 3.2 | 706M| 63 | 8 | 70 |5477 | 70 | 23 | 18 |1305k|4683 | 0.000000e+00 | -- | Inf
1694.08/1694.50 c 1694s| 2970k|869646 | 9423k| 3.2 | 709M| 63 | - | 70 |6100 | 70 | 23 | 18 |1310k|4694 | 0.000000e+00 | -- | Inf
1699.79/1700.28 c 1700s| 2980k|872620 | 9455k| 3.2 | 711M| 63 | - | 70 |7149 | 70 | 23 | 18 |1314k|4694 | 0.000000e+00 | -- | Inf
1705.98/1706.44 c 1706s| 2990k|875085 | 9486k| 3.2 | 714M| 63 | 8 | 70 |7679 | 70 | 23 | 18 |1319k|4698 | 0.000000e+00 | -- | Inf
1712.98/1713.47 c 1713s| 3000k|877536 | 9518k| 3.2 | 716M| 63 | 8 | 70 |5816 | 70 | 23 | 18 |1324k|4706 | 0.000000e+00 | -- | Inf
1719.77/1720.28 c 1720s| 3010k|879987 | 9549k| 3.2 | 718M| 63 | 8 | 70 |4959 | 70 | 23 | 18 |1328k|4712 | 0.000000e+00 | -- | Inf
1725.37/1725.88 c 1726s| 3020k|883212 | 9581k| 3.2 | 720M| 63 | 8 | 70 |6291 | 70 | 23 | 18 |1332k|4717 | 0.000000e+00 | -- | Inf
1731.58/1732.08 c 1732s| 3030k|886125 | 9613k| 3.2 | 723M| 63 | - | 70 |5912 | 70 | 23 | 18 |1337k|4718 | 0.000000e+00 | -- | Inf
1737.77/1738.28 c 1738s| 3040k|888802 | 9645k| 3.2 | 725M| 63 | - | 70 |6094 | 70 | 23 | 18 |1341k|4718 | 0.000000e+00 | -- | Inf
1743.77/1744.27 c 1744s| 3050k|891724 | 9677k| 3.2 | 728M| 63 | 8 | 70 |6461 | 70 | 23 | 18 |1346k|4718 | 0.000000e+00 | -- | Inf
1749.68/1750.15 c 1750s| 3060k|894506 | 9711k| 3.2 | 730M| 63 | - | 70 |7028 | 70 | 23 | 18 |1350k|4724 | 0.000000e+00 | -- | Inf
1755.76/1756.27 c 1756s| 3070k|897248 | 9742k| 3.2 | 732M| 63 | 8 | 70 |6797 | 70 | 23 | 18 |1355k|4728 | 0.000000e+00 | -- | Inf
1762.57/1763.07 c 1763s| 3080k|899837 | 9774k| 3.2 | 734M| 63 | 8 | 70 |5272 | 70 | 23 | 18 |1360k|4738 | 0.000000e+00 | -- | Inf
1768.56/1769.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1768.56/1769.05 c 1769s| 3090k|902716 | 9804k| 3.2 | 737M| 63 | - | 70 |5493 | 0 | 0 | 18 |1364k|4749 | 0.000000e+00 | -- | Inf
1774.76/1775.28 c 1775s| 3100k|905205 | 9836k| 3.2 | 739M| 63 | 8 | 70 |6127 | 70 | 23 | 18 |1369k|4753 | 0.000000e+00 | -- | Inf
1780.96/1781.46 c 1781s| 3110k|907799 | 9869k| 3.2 | 741M| 63 | 8 | 70 |6247 | 70 | 23 | 18 |1373k|4759 | 0.000000e+00 | -- | Inf
1787.06/1787.58 c 1788s| 3120k|910626 | 9901k| 3.2 | 744M| 63 | 8 | 70 |6732 | 70 | 23 | 18 |1378k|4763 | 0.000000e+00 | -- | Inf
1789.56/1790.01 c
1789.56/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.56/1790.01 c Solving Time (sec) : 1790.00
1789.56/1790.01 c Solving Nodes : 3123799
1789.56/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.56/1790.01 c Dual Bound : +0.00000000000000e+00
1789.56/1790.01 c Gap : infinite
1789.56/1790.01 s UNKNOWN
1789.56/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.56/1790.01 c Solving Time : 1790.00
1789.56/1790.01 c Original Problem :
1789.56/1790.01 c Problem name : HOME/instance-2703534-1278562734.opb
1789.56/1790.01 c Variables : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.56/1790.01 c Constraints : 17 initial, 17 maximal
1789.56/1790.01 c Presolved Problem :
1789.56/1790.01 c Problem name : t_HOME/instance-2703534-1278562734.opb
1789.56/1790.01 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.56/1790.01 c Constraints : 8 initial, 8414 maximal
1789.56/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.56/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.01 c dualfix : 0.00 1 0 0 0 0 0 0 0
1789.56/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1789.56/1790.01 c linear : 0.00 0 0 0 0 0 9 0 0
1789.56/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.01 c root node : - 0 - - 0 - - - -
1789.56/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.56/1790.01 c integral : 0 0 0 2024154 0 369 1561 0 0 4044646
1789.56/1790.01 c linear : 8 6 7430941 0 1 90287 3684512 0 0 0
1789.56/1790.01 c logicor : 0+ 0 2795497 0 0 6047 1020140 0 0 0
1789.56/1790.01 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.56/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.56/1790.01 c integral : 25.86 0.00 0.00 25.86 0.00
1789.56/1790.01 c linear : 450.32 0.00 450.32 0.00 0.00
1789.56/1790.01 c logicor : 251.75 0.00 251.75 0.00 0.00
1789.56/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.56/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.56/1790.01 c vbounds : 2.55 2 0 0
1789.56/1790.01 c rootredcost : 2.65 0 0 0
1789.56/1790.01 c pseudoobj : 2.26 0 0 0
1789.56/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.56/1790.01 c propagation : 18.02 96334 88743 341007 47.9 25 40.3 -
1789.56/1790.01 c infeasible LP : 80.28 1010902 1010871 2063640 33.0 10693 38.0 0
1789.56/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.56/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.56/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.56/1790.01 c applied globally : - - - 1036676 25.8 - - -
1789.56/1790.01 c applied locally : - - - 343310 39.6 - - -
1789.56/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.56/1790.01 c cut pool : 0.00 5 - - 11 - (maximal pool size: 56)
1789.56/1790.01 c redcost : 6.19 2024159 0 0 0 0
1789.56/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.56/1790.01 c intobj : 0.00 0 0 0 0 0
1789.56/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.56/1790.01 c gomory : 0.01 6 0 0 0 0
1789.56/1790.01 c strongcg : 0.00 6 0 0 22 0
1789.56/1790.01 c cmir : 0.04 6 0 0 19 0
1789.56/1790.01 c flowcover : 0.04 6 0 0 22 0
1789.56/1790.01 c clique : 0.00 1 0 0 0 0
1789.56/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.56/1790.01 c mcf : 0.00 1 0 0 0 0
1789.56/1790.01 c rapidlearning : 0.11 1 0 0 0 0
1789.56/1790.01 c Pricers : Time Calls Vars
1789.56/1790.01 c problem variables: 0.00 0 0
1789.56/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.56/1790.01 c relpscost : 23.73 2024154 369 1561 0 0 4044646
1789.56/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.56/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.56/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.56/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.56/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.56/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.56/1790.01 c random : 0.00 0 0 0 0 0 0
1789.56/1790.01 c Primal Heuristics : Time Calls Found
1789.56/1790.01 c LP solutions : 0.00 - 0
1789.56/1790.01 c pseudo solutions : 0.00 - 0
1789.56/1790.01 c oneopt : 1.93 0 0
1789.56/1790.01 c crossover : 1.13 0 0
1789.56/1790.01 c guideddiving : 0.11 0 0
1789.56/1790.01 c linesearchdiving : 0.15 37 0
1789.56/1790.01 c feaspump : 0.12 19 0
1789.56/1790.01 c objpscostdiving : 0.11 19 0
1789.56/1790.01 c rootsoldiving : 0.12 19 0
1789.56/1790.01 c coefdiving : 0.17 38 0
1789.56/1790.01 c pscostdiving : 0.16 38 0
1789.56/1790.01 c fracdiving : 0.17 38 0
1789.56/1790.01 c veclendiving : 0.12 38 0
1789.56/1790.01 c trivial : 0.00 2 0
1789.56/1790.01 c simplerounding : 0.74 0 0
1789.56/1790.01 c zirounding : 1.20 1000 0
1789.56/1790.01 c rounding : 2.62 20225 0
1789.56/1790.01 c shifting : 6.17 6335 0
1789.56/1790.01 c intshifting : 0.08 0 0
1789.56/1790.01 c twoopt : 0.00 0 0
1789.56/1790.01 c fixandinfer : 0.00 0 0
1789.56/1790.01 c intdiving : 0.00 0 0
1789.56/1790.01 c actconsdiving : 0.00 0 0
1789.56/1790.01 c octane : 0.00 0 0
1789.56/1790.01 c rens : 0.10 1 0
1789.56/1790.01 c rins : 0.00 0 0
1789.56/1790.01 c localbranching : 0.00 0 0
1789.56/1790.01 c mutation : 0.00 0 0
1789.56/1790.01 c dins : 0.00 0 0
1789.56/1790.01 c undercover : 0.00 0 0
1789.56/1790.01 c nlp : 0.91 0 0
1789.56/1790.01 c trysol : 1.47 0 0
1789.56/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.56/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.56/1790.01 c dual LP : 467.21 2981342 9909654 3.32 21210.42
1789.56/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.56/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.56/1790.01 c diving/probing LP: 0.23 1595 3754 2.35 16043.01
1789.56/1790.01 c strong branching : 1.63 4764 31820 6.68 19534.00
1789.56/1790.01 c (at root node) : - 9 430 47.78 -
1789.56/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.56/1790.01 c B&B Tree :
1789.56/1790.01 c number of runs : 1
1789.56/1790.01 c nodes : 3123799
1789.56/1790.01 c nodes (total) : 3123799
1789.56/1790.01 c nodes left : 911559
1789.56/1790.01 c max depth : 63
1789.56/1790.01 c max depth (total): 63
1789.56/1790.01 c backtracks : 247955 (7.9%)
1789.56/1790.01 c delayed cutoffs : 9291
1789.56/1790.01 c repropagations : 2922450 (1064361 domain reductions, 5681 cutoffs)
1789.56/1790.01 c avg switch length: 5.22
1789.56/1790.01 c switching time : 250.21
1789.56/1790.01 c Solution :
1789.56/1790.01 c Solutions found : 0 (0 improvements)
1789.56/1790.01 c Primal Bound : -
1789.56/1790.01 c Dual Bound : +0.00000000000000e+00
1789.56/1790.01 c Gap : infinite
1789.56/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.56/1790.01 c Root Iterations : 216
1794.06/1794.51 c Time complete: 1794.08.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703534-1278562734/watcher-2703534-1278562734 -o /tmp/evaluation-result-2703534-1278562734/solver-2703534-1278562734 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703534-1278562734.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 26617
/proc/meminfo: memFree=1687676/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=7904 CPUtime=0
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 1044 0 0 0 0 0 0 0 22 0 1 0 24480734 8093696 955 1992294400 4194304 8395647 140736296543920 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26617/statm: 1976 963 365 1026 0 946 0
[startup+0.106102 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 26617
/proc/meminfo: memFree=1687676/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=22172 CPUtime=0.1
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 4797 0 0 0 8 2 0 0 22 0 1 0 24480734 22704128 4355 1992294400 4194304 8395647 140736296543920 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 5543 4355 599 1026 0 4513 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 22172
[startup+0.201109 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 26617
/proc/meminfo: memFree=1687676/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=22316 CPUtime=0.19
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 4836 0 0 0 17 2 0 0 22 0 1 0 24480734 22851584 4394 1992294400 4194304 8395647 140736296543920 18446744073709551615 6200138 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 5579 4394 608 1026 0 4549 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 22316
[startup+0.301118 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 26617
/proc/meminfo: memFree=1687676/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=22676 CPUtime=0.29
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 5242 0 0 0 26 3 0 0 22 0 1 0 24480734 23220224 4800 1992294400 4194304 8395647 140736296543920 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 5669 4800 619 1026 0 4639 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22676
[startup+0.701153 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 26617
/proc/meminfo: memFree=1687676/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=22676 CPUtime=0.69
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 5246 0 0 0 63 6 0 0 23 0 1 0 24480734 23220224 4804 1992294400 4194304 8395647 140736296543920 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 5669 4804 622 1026 0 4639 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22676
[startup+1.50122 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 26618
/proc/meminfo: memFree=1670804/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=22676 CPUtime=1.49
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 5251 0 0 0 140 9 0 0 25 0 1 0 24480734 23220224 4809 1992294400 4194304 8395647 140736296543920 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 5669 4809 622 1026 0 4639 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22676
[startup+3.10037 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 26618
/proc/meminfo: memFree=1670060/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=22676 CPUtime=3.08
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 5258 0 0 0 295 13 0 0 25 0 1 0 24480734 23220224 4816 1992294400 4194304 8395647 140736296543920 18446744073709551615 18446744073699065947 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 5669 4816 622 1026 0 4639 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 22676
[startup+6.30065 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 26618
/proc/meminfo: memFree=1669936/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=22676 CPUtime=6.29
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 5289 0 0 0 606 23 0 0 25 0 1 0 24480734 23220224 4847 1992294400 4194304 8395647 140736296543920 18446744073709551615 5005904 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 5669 4847 622 1026 0 4639 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22676
[startup+12.7012 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 26619
/proc/meminfo: memFree=1668076/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=24776 CPUtime=12.68
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 5817 0 0 0 1225 43 0 0 25 0 1 0 24480734 25370624 5375 1992294400 4194304 8395647 140736296543920 18446744073709551615 4243396 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 6194 5375 622 1026 0 5164 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24776
[startup+25.5014 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 26619
/proc/meminfo: memFree=1660512/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=32268 CPUtime=25.48
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 7712 0 0 0 2466 82 0 0 25 0 1 0 24480734 33042432 7270 1992294400 4194304 8395647 140736296543920 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 8067 7270 622 1026 0 7037 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32268
[startup+51.1016 s]
/proc/loadavg: 0.99 0.97 0.99 3/108 26623
/proc/meminfo: memFree=1623924/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=46700 CPUtime=51.08
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 11400 0 0 0 4943 165 0 0 25 0 1 0 24480734 47820800 10958 1992294400 4194304 8395647 140736296543920 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 11675 10958 622 1026 0 10645 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 46700
[startup+102.301 s]
/proc/loadavg: 1.03 0.99 0.99 2/107 26624
/proc/meminfo: memFree=1614880/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=78160 CPUtime=102.27
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 18981 0 0 0 9901 326 0 0 25 0 1 0 24480734 80035840 18538 1992294400 4194304 8395647 140736296543920 18446744073709551615 4218227 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 19540 18538 622 1026 0 18510 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 78160
[startup+162.302 s]
/proc/loadavg: 1.01 0.99 0.99 2/107 26626
/proc/meminfo: memFree=1583136/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=109524 CPUtime=162.25
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 26920 0 0 0 15720 505 0 0 25 0 1 0 24480734 112152576 26477 1992294400 4194304 8395647 140736296543920 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 27381 26477 622 1026 0 26351 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 109524
[startup+222.309 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 26627
/proc/meminfo: memFree=1551392/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=140740 CPUtime=222.25
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 34841 0 0 0 21540 685 0 0 25 0 1 0 24480734 144117760 34398 1992294400 4194304 8395647 140736296543920 18446744073709551615 4241004 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 35185 34398 622 1026 0 34155 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 140740
[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 26629
/proc/meminfo: memFree=1525104/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=166780 CPUtime=282.22
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 41392 0 0 0 27370 852 0 0 25 0 1 0 24480734 170782720 40949 1992294400 4194304 8395647 140736296543920 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 41695 40949 622 1026 0 40665 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 166780
[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 26631
/proc/meminfo: memFree=1497824/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=197652 CPUtime=342.21
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 48207 0 0 0 33197 1024 0 0 25 0 1 0 24480734 202395648 47764 1992294400 4194304 8395647 140736296543920 18446744073709551615 6039104 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 49413 47764 622 1026 0 48383 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 197652
[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 26632
/proc/meminfo: memFree=1472032/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=222908 CPUtime=402.19
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 54598 0 0 0 39022 1197 0 0 25 0 1 0 24480734 228257792 54155 1992294400 4194304 8395647 140736296543920 18446744073709551615 5029366 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 55727 54155 622 1026 0 54697 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 222908
[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 26634
/proc/meminfo: memFree=1436692/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=257480 CPUtime=462.18
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 63411 0 0 0 44857 1361 0 0 25 0 1 0 24480734 263659520 62968 1992294400 4194304 8395647 140736296543920 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 64370 62968 622 1026 0 63340 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 257480
[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 26635
/proc/meminfo: memFree=1411396/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=282120 CPUtime=522.17
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 69674 0 0 0 50700 1517 0 0 25 0 1 0 24480734 288890880 69231 1992294400 4194304 8395647 140736296543920 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 70530 69231 622 1026 0 69500 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 282120
[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 26637
/proc/meminfo: memFree=1387340/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=305808 CPUtime=582.15
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 75632 0 0 0 56540 1675 0 0 25 0 1 0 24480734 313147392 75189 1992294400 4194304 8395647 140736296543920 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 76452 75189 622 1026 0 75422 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 305808
[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 26639
/proc/meminfo: memFree=1362292/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=330040 CPUtime=642.14
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 81853 0 0 0 62382 1832 0 0 25 0 1 0 24480734 337960960 81410 1992294400 4194304 8395647 140736296543920 18446744073709551615 4217138 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 82510 81410 622 1026 0 81480 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 330040
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1163272/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=532632 CPUtime=1122.02
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 131332 0 0 0 109136 3066 0 0 25 0 1 0 24480734 545415168 130886 1992294400 4194304 8395647 140736296543920 18446744073709551615 6108043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 133158 130886 622 1026 0 132128 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 532632
[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 26653
/proc/meminfo: memFree=1142564/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=552796 CPUtime=1182.01
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 136465 0 0 0 114982 3219 0 0 25 0 1 0 24480734 566063104 136019 1992294400 4194304 8395647 140736296543920 18446744073709551615 4217182 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 138199 136019 622 1026 0 137169 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 552796
[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 26655
/proc/meminfo: memFree=1118632/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=575804 CPUtime=1242
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 142368 0 0 0 120828 3372 0 0 25 0 1 0 24480734 589623296 141922 1992294400 4194304 8395647 140736296543920 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 143951 141922 622 1026 0 142921 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 575804
[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 26656
/proc/meminfo: memFree=1095568/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=599236 CPUtime=1301.98
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 148219 0 0 0 126669 3529 0 0 25 0 1 0 24480734 613617664 147773 1992294400 4194304 8395647 140736296543920 18446744073709551615 5026819 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 149809 147773 622 1026 0 148779 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 599236
[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 26658
/proc/meminfo: memFree=1072380/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=621384 CPUtime=1361.96
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 153872 0 0 0 132516 3680 0 0 25 0 1 0 24480734 636297216 153426 1992294400 4194304 8395647 140736296543920 18446744073709551615 5085445 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 155346 153426 622 1026 0 154316 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 621384
[startup+1422.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 26659
/proc/meminfo: memFree=1042992/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=650176 CPUtime=1421.96
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 161216 0 0 0 138365 3831 0 0 25 0 1 0 24480734 665780224 160770 1992294400 4194304 8395647 140736296543920 18446744073709551615 6262410 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 162544 160770 622 1026 0 161514 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 650176
[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 26661
/proc/meminfo: memFree=1020672/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=671748 CPUtime=1481.94
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 166756 0 0 0 144212 3982 0 0 25 0 1 0 24480734 687869952 166310 1992294400 4194304 8395647 140736296543920 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 167937 166310 622 1026 0 166907 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 671748
[startup+1542.31 s]
/proc/loadavg: 1.09 1.02 1.00 2/107 26663
/proc/meminfo: memFree=997112/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=696564 CPUtime=1541.93
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 172889 0 0 0 150061 4132 0 0 25 0 1 0 24480734 713281536 172443 1992294400 4194304 8395647 140736296543920 18446744073709551615 5026819 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 174141 172443 622 1026 0 173111 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 696564
[startup+1602.3 s]
/proc/loadavg: 1.03 1.01 1.00 3/107 26664
/proc/meminfo: memFree=975660/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=716532 CPUtime=1601.9
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 178026 0 0 0 155907 4283 0 0 25 0 1 0 24480734 733728768 177580 1992294400 4194304 8395647 140736296543920 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 179133 177580 622 1026 0 178103 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 716532
[startup+1662.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 26666
/proc/meminfo: memFree=953960/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=737364 CPUtime=1661.89
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 183351 0 0 0 161760 4429 0 0 25 0 1 0 24480734 755060736 182905 1992294400 4194304 8395647 140736296543920 18446744073709551615 5083719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 184341 182905 622 1026 0 183311 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 737364
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26667
/proc/meminfo: memFree=934244/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=756388 CPUtime=1721.87
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 188235 0 0 0 167612 4575 0 0 25 0 1 0 24480734 774541312 187789 1992294400 4194304 8395647 140736296543920 18446744073709551615 6311236 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 189097 187789 622 1026 0 188067 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 756388
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26669
/proc/meminfo: memFree=910312/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=779440 CPUtime=1781.86
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 194145 0 0 0 173460 4726 0 0 25 0 1 0 24480734 798146560 193699 1992294400 4194304 8395647 140736296543920 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 194860 193699 622 1026 0 193830 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 779440
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26669
/proc/meminfo: memFree=908824/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=780848 CPUtime=1785.16
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 194507 0 0 0 173783 4733 0 0 25 0 1 0 24480734 799588352 194061 1992294400 4194304 8395647 140736296543920 18446744073709551615 5006730 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 195212 194061 622 1026 0 194182 0
Current children cumulated CPU time (s) 1785.16
Current children cumulated vsize (KiB) 780848
[startup+1788.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26669
/proc/meminfo: memFree=908204/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=781420 CPUtime=1788.36
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 194658 0 0 0 174095 4741 0 0 25 0 1 0 24480734 800174080 194212 1992294400 4194304 8395647 140736296543920 18446744073709551615 6262410 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26617/statm: 195355 194212 622 1026 0 194325 0
Current children cumulated CPU time (s) 1788.36
Current children cumulated vsize (KiB) 781420
[startup+1792.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26669
/proc/meminfo: memFree=908080/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=781420 CPUtime=1791.56
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 194696 0 0 0 174411 4745 0 0 25 0 1 0 24480734 800174080 194250 1992294400 4194304 8395647 140736296543920 18446744073709551615 6310374 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26617/statm: 195355 194250 625 1026 0 194325 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (KiB) 781420
[startup+1793.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26669
/proc/meminfo: memFree=908080/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=781420 CPUtime=1793.16
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 194696 0 0 0 174571 4745 0 0 25 0 1 0 24480734 800174080 194250 1992294400 4194304 8395647 140736296543920 18446744073709551615 4665936 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26617/statm: 195355 194250 625 1026 0 194325 0
Current children cumulated CPU time (s) 1793.16
Current children cumulated vsize (KiB) 781420
[startup+1794 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26669
/proc/meminfo: memFree=908080/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=781420 CPUtime=1793.56
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 194696 0 0 0 174611 4745 0 0 25 0 1 0 24480734 800174080 194250 1992294400 4194304 8395647 140736296543920 18446744073709551615 6345227 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26617/statm: 195355 194250 625 1026 0 194325 0
Current children cumulated CPU time (s) 1793.56
Current children cumulated vsize (KiB) 781420
[startup+1794.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26669
/proc/meminfo: memFree=908080/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=781420 CPUtime=1793.96
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 194696 0 0 0 174651 4745 0 0 25 0 1 0 24480734 800174080 194250 1992294400 4194304 8395647 140736296543920 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26617/statm: 195355 194250 625 1026 0 194325 0
Current children cumulated CPU time (s) 1793.96
Current children cumulated vsize (KiB) 781420
[startup+1794.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26669
/proc/meminfo: memFree=908080/2059040 swapFree=4139712/4192956
[pid=26617] ppid=26615 vsize=476996 CPUtime=1794.06
/proc/26617/stat : 26617 (pbscip.linux.x8) R 26615 26617 26481 0 -1 4202496 194696 0 0 0 174655 4751 0 0 25 0 1 0 24480734 488443904 46275 1992294400 4194304 8395647 140736296543920 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26617/statm: 119249 45763 625 1026 0 118219 0
Current children cumulated CPU time (s) 1794.06
Current children cumulated vsize (KiB) 476996
Child status: 0
Real time (s): 1794.52
CPU time (s): 1794.09
CPU user time (s): 1746.55
CPU system time (s): 47.5358
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 781420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1746.55
system time used= 47.5358
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194699
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= 3324
runsolver used 3.04554 second user time and 8.40672 second system time
The end