0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4432664-1721097251.opb>
0.20/0.22 c original problem has 8883 variables (8883 bin, 0 int, 0 impl, 0 cont) and 17459 constraints
0.20/0.22 c problem read in 0.22
0.30/0.34 c presolving:
0.41/0.46 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 0 upgd conss, 0 impls, 153 clqs
0.59/0.62 c (0.6s) running MILP presolver
0.98/1.09 c (1.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.98/1.09 c (round 2, medium) 0 del vars, 17459 del conss, 8891 add conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 0 upgd conss, 0 impls, 153 clqs
1.08/1.17 c (round 3, exhaustive) 0 del vars, 17459 del conss, 8891 add conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 170 upgd conss, 0 impls, 153 clqs
1.08/1.18 c (round 4, exhaustive) 0 del vars, 17459 del conss, 8891 add conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 323 upgd conss, 0 impls, 170 clqs
1.26/1.35 c (1.3s) probing: 234/8883 (2.6%) - 0 fixings, 0 aggregations, 49 implications, 0 bound changes
1.26/1.35 c (1.3s) probing aborted: 50/50 successive totally useless probings
1.36/1.44 c (1.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.46/1.55 c (1.5s) symmetry computation finished: 1500 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.04)
1.67/1.72 c dynamic symmetry handling statistics:
1.67/1.72 c orbitopal reduction: no components
1.67/1.72 c orbital reduction: no components
1.67/1.72 c lexicographic reduction: no permutations
1.67/1.72 c handled 1500 out of 1500 symmetry components
1.67/1.72 c (round 5, exhaustive) 0 del vars, 17459 del conss, 10391 add conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 323 upgd conss, 0 impls, 1719 clqs
1.67/1.75 c (round 6, exhaustive) 0 del vars, 17459 del conss, 10391 add conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 1823 upgd conss, 0 impls, 1719 clqs
1.76/1.80 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
1.76/1.80 c 0 deleted vars, 17459 deleted constraints, 10391 added constraints, 0 tightened bounds, 0 added holes, 306 changed sides, 306 changed coefficients
1.76/1.80 c 0 implications, 1719 cliques
1.76/1.80 c presolved problem has 8883 variables (8883 bin, 0 int, 0 impl, 0 cont) and 10391 constraints
1.76/1.80 c 323 constraints of type <knapsack>
1.76/1.80 c 1500 constraints of type <setppc>
1.76/1.80 c 8568 constraints of type <linear>
1.76/1.80 c transformed objective value is always integral (scale: 1)
1.76/1.80 c Presolving Time: 1.46
1.76/1.80 c - non default parameters ----------------------------------------------------------------------
1.76/1.80 c # SCIP version 10.0.0
1.76/1.80 c
1.76/1.80 c # maximal time in seconds to run
1.76/1.80 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.76/1.80 c limits/time = 3596.993128
1.76/1.80 c
1.76/1.80 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.76/1.80 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.76/1.80 c limits/memory = 27900
1.76/1.80 c
1.76/1.80 c # belongs reading time to solving time?
1.76/1.80 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.76/1.80 c timing/reading = TRUE
1.76/1.80 c
1.76/1.80 c -----------------------------------------------------------------------------------------------
1.76/1.80 c start solving
1.76/1.81 c
2.66/2.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.66/2.73 c 2.7s| 1 | 0 | 9723 | - | 394M | 0 |8883 | 10k| 10k| 0 | 0 | 24 | 0 | 1.700000e+01 | -- | Inf | unknown
4.85/4.96 c 5.0s| 1 | 0 | 18423 | - | 409M | 0 |8883 | 10k| 10k| 14 | 1 | 24 | 0 | 1.700000e+01 | -- | Inf | unknown
5.07/5.16 c 5.2s| 1 | 0 | 18441 | - | 411M | 0 |8883 | 10k| 10k| 29 | 2 | 24 | 0 | 1.700000e+01 | -- | Inf | unknown
5.25/5.39 c 5.4s| 1 | 0 | 18462 | - | 414M | 0 |8883 | 10k| 10k| 42 | 3 | 24 | 0 | 1.700000e+01 | -- | Inf | unknown
5.45/5.59 c 5.6s| 1 | 0 | 18483 | - | 416M | 0 |8883 | 10k| 10k| 57 | 4 | 24 | 0 | 1.700000e+01 | -- | Inf | unknown
5.76/5.81 c 5.8s| 1 | 0 | 18503 | - | 419M | 0 |8883 | 10k| 10k| 71 | 5 | 24 | 0 | 1.700000e+01 | -- | Inf | unknown
5.97/6.05 c 6.0s| 1 | 0 | 18526 | - | 421M | 0 |8883 | 10k| 10k| 86 | 6 | 24 | 0 | 1.700000e+01 | -- | Inf | unknown
6.26/6.32 c 6.3s| 1 | 0 | 18560 | - | 425M | 0 |8883 | 10k| 10k| 101 | 7 | 24 | 0 | 1.700000e+01 | -- | Inf | unknown
6.45/6.56 c 6.6s| 1 | 0 | 18579 | - | 429M | 0 |8883 | 10k| 10k| 115 | 8 | 24 | 0 | 1.700000e+01 | -- | Inf | unknown
6.75/6.84 c 6.8s| 1 | 0 | 18606 | - | 433M | 0 |8883 | 10k| 10k| 129 | 9 | 24 | 0 | 1.700000e+01 | -- | Inf | unknown
6.96/7.09 c 7.1s| 1 | 0 | 18648 | - | 435M | 0 |8883 | 10k| 10k| 144 | 10 | 24 | 0 | 1.700000e+01 | -- | Inf | unknown
7.25/7.32 c 7.3s| 1 | 0 | 18676 | - | 439M | 0 |8883 | 10k| 10k| 160 | 11 | 27 | 0 | 1.700000e+01 | -- | Inf | unknown
12.84/12.93 c 12.9s| 1 | 2 | 36893 | - | 441M | 0 |8883 | 10k| 10k| 160 | 11 | 47 | 36 | 1.800000e+01 | -- | Inf | unknown
57.02/57.25 c 57.2s| 100 | 97 |353027 |3377.3 | 460M | 23 |8883 | 10k| 10k| 304 | 2 | 341 | 36 | 1.800000e+01 | -- | Inf | unknown
69.49/69.79 c 69.8s| 200 | 188 |461222 |2223.8 | 462M | 37 |8883 | 10k| 10k| 384 | 1 | 547 | 36 | 1.800000e+01 | -- | Inf | unknown
74.18/74.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
74.18/74.43 c 74.4s| 300 | 238 |490221 |1577.1 | 463M | 39 |8883 | 10k| 0 | 515 | 0 | 601 | 36 | 1.800000e+01 | -- | Inf | unknown
82.36/82.65 c 82.6s| 400 | 318 |570318 |1382.6 | 465M | 39 |8883 | 11k| 10k| 567 | 1 | 695 | 36 | 1.800000e+01 | -- | Inf | unknown
97.51/97.88 c 97.9s| 500 | 396 |675833 |1316.9 | 474M | 44 |8883 | 11k| 10k| 667 | 1 |1193 | 36 | 1.800000e+01 | -- | Inf | unknown
102.81/103.15 c 103s| 600 | 447 |707127 |1149.3 | 476M | 44 |8883 | 11k| 10k| 693 | 1 |1331 | 36 | 1.800000e+01 | -- | Inf | unknown
110.18/110.51 c 111s| 700 | 499 |771489 |1077.0 | 480M | 44 |8883 | 11k| 10k| 754 | 2 |1459 | 36 | 1.800000e+01 | -- | Inf | unknown
117.46/117.82 c 118s| 800 | 561 |838035 |1025.5 | 482M | 46 |8883 | 11k| 0 | 804 | 0 |1580 | 36 | 1.800000e+01 | -- | Inf | unknown
124.94/125.31 c 125s| 900 | 618 |881149 | 959.4 | 483M | 48 |8883 | 11k| 10k| 849 | 1 |1673 | 36 | 1.800000e+01 | -- | Inf | unknown
132.12/132.56 c 133s| 1000 | 649 |953551 | 935.8 | 488M | 48 |8883 | 12k| 10k| 951 | 1 |1788 | 36 | 1.800000e+01 | -- | Inf | unknown
137.11/137.51 c 138s| 1100 | 679 |976108 | 871.2 | 490M | 48 |8883 | 12k| 10k|1068 | 1 |1817 | 36 | 1.800000e+01 | -- | Inf | unknown
142.71/143.13 c 143s| 1200 | 705 | 1018k| 834.3 | 492M | 48 |8883 | 12k| 10k|1164 | 1 |1873 | 36 | 1.800000e+01 | -- | Inf | unknown
150.77/151.28 c 151s| 1300 | 739 | 1065k| 805.5 | 493M | 48 |8883 | 12k| 10k|1222 | 1 |1898 | 36 | 1.800000e+01 | -- | Inf | unknown
163.84/164.39 c 164s| 1400 | 826 | 1192k| 839.4 | 495M | 48 |8883 | 12k| 10k|1321 | 1 |1983 | 36 | 1.800000e+01 | -- | Inf | unknown
175.01/175.53 c 176s| 1500 | 907 | 1303k| 856.9 | 497M | 48 |8883 | 12k| 0 |1428 | 0 |2089 | 36 | 1.800000e+01 | -- | Inf | unknown
180.29/180.82 c 181s| 1600 | 950 | 1341k| 827.2 | 499M | 48 |8883 | 12k| 10k|1505 | 1 |2137 | 36 | 1.800000e+01 | -- | Inf | unknown
186.77/187.33 c 187s| 1700 | 976 | 1379k| 800.9 | 500M | 48 |8883 | 12k| 0 |1593 | 0 |2227 | 36 | 1.800000e+01 | -- | Inf | unknown
192.35/192.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
192.35/192.94 c 193s| 1800 | 1004 | 1421k| 779.5 | 501M | 48 |8883 | 12k| 10k|1694 | 1 |2344 | 36 | 1.800000e+01 | -- | Inf | unknown
198.44/199.03 c 199s| 1900 | 1040 | 1460k| 759.2 | 502M | 48 |8883 | 12k| 10k|1831 | 1 |2396 | 36 | 1.800000e+01 | -- | Inf | unknown
203.02/203.63 c 204s| 2000 | 1050 | 1484k| 733.4 | 504M | 48 |8883 | 12k| 0 |1908 | 0 |2449 | 36 | 1.800000e+01 | -- | Inf | unknown
208.21/208.83 c 209s| 2100 | 1065 | 1526k| 718.2 | 505M | 48 |8883 | 12k| 10k|1993 | 2 |2503 | 36 | 1.800000e+01 | -- | Inf | unknown
216.68/217.34 c 217s| 2200 | 1088 | 1603k| 720.6 | 507M | 48 |8883 | 11k| 0 |2084 | 0 |2551 | 36 | 1.800000e+01 | -- | Inf | unknown
221.57/222.25 c 222s| 2300 | 1114 | 1637k| 704.3 | 508M | 48 |8883 | 11k| 10k|2189 | 1 |2599 | 36 | 1.800000e+01 | -- | Inf | unknown
227.56/228.26 c 228s| 2400 | 1133 | 1685k| 694.7 | 509M | 48 |8883 | 11k| 0 |2227 | 0 |2650 | 36 | 1.800000e+01 | -- | Inf | unknown
233.45/234.19 c 234s| 2500 | 1157 | 1724k| 682.6 | 509M | 48 |8883 | 11k| 10k|2270 | 1 |2681 | 36 | 1.800000e+01 | -- | Inf | unknown
242.22/242.96 c 243s| 2600 | 1234 | 1808k| 688.8 | 512M | 48 |8883 | 11k| 10k|2336 | 1 |2829 | 36 | 1.800000e+01 | -- | Inf | unknown
249.99/250.77 c 251s| 2700 | 1270 | 1897k| 696.2 | 513M | 49 |8883 | 11k| 0 |2392 | 0 |2918 | 36 | 1.800000e+01 | -- | Inf | unknown
256.18/256.93 c 257s| 2800 | 1295 | 1950k| 690.1 | 514M | 51 |8883 | 11k| 10k|2436 | 1 |2976 | 36 | 1.800000e+01 | -- | Inf | unknown
259.77/260.54 c 261s| 2900 | 1296 | 1976k| 675.5 | 514M | 51 |8883 | 11k| 10k|2498 | 1 |3020 | 36 | 1.800000e+01 | -- | Inf | unknown
268.65/269.47 c 269s| 3000 | 1328 | 2059k| 680.4 | 515M | 51 |8883 | 11k| 10k|2601 | 1 |3088 | 36 | 1.800000e+01 | -- | Inf | unknown
275.53/276.37 c 276s| 3100 | 1370 | 2104k| 673.0 | 516M | 51 |8883 | 11k| 10k|2744 | 1 |3135 | 36 | 1.800000e+01 | -- | Inf | unknown
282.32/283.16 c 283s| 3200 | 1392 | 2165k| 671.1 | 520M | 51 |8883 | 11k| 0 |2811 | 0 |3271 | 36 | 1.800000e+01 | -- | Inf | unknown
288.40/289.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
288.40/289.26 c 289s| 3300 | 1423 | 2219k| 667.2 | 521M | 51 |8883 | 11k| 10k|2907 | 0 |3309 | 36 | 1.800000e+01 | -- | Inf | unknown
293.98/294.87 c 295s| 3400 | 1474 | 2260k| 659.5 | 522M | 51 |8883 | 11k| 10k|3068 | 1 |3368 | 36 | 1.800000e+01 | -- | Inf | unknown
299.87/300.70 c 301s| 3500 | 1505 | 2304k| 653.3 | 524M | 51 |8883 | 11k| 0 |3168 | 0 |3562 | 36 | 1.800000e+01 | -- | Inf | unknown
304.05/304.90 c 305s| 3600 | 1511 | 2326k| 641.4 | 525M | 51 |8883 | 11k| 10k|3228 | 1 |3719 | 36 | 1.800000e+01 | -- | Inf | unknown
310.15/311.09 c 311s| 3700 | 1535 | 2380k| 638.6 | 526M | 51 |8883 | 11k| 0 |3297 | 0 |3821 | 36 | 1.800000e+01 | -- | Inf | unknown
318.23/319.15 c 319s| 3800 | 1564 | 2450k| 640.2 | 527M | 51 |8883 | 11k| 10k|3361 | 1 |3937 | 36 | 1.800000e+01 | -- | Inf | unknown
329.89/330.86 c 331s| 3900 | 1591 | 2532k| 644.7 | 528M | 51 |8883 | 11k| 10k|3428 | 1 |3989 | 36 | 1.800000e+01 | -- | Inf | unknown
336.08/337.03 c 337s| 4000 | 1628 | 2584k| 641.7 | 529M | 51 |8883 | 11k| 10k|3482 | 1 |4073 | 36 | 1.800000e+01 | -- | Inf | unknown
346.16/347.13 c 347s| 4100 | 1698 | 2693k| 652.5 | 530M | 51 |8883 | 11k| 10k|3525 | 1 |4179 | 36 | 1.800000e+01 | -- | Inf | unknown
351.23/352.28 c 352s| 4200 | 1710 | 2722k| 643.8 | 533M | 51 |8883 | 11k| 10k|3580 | 1 |4246 | 36 | 1.800000e+01 | -- | Inf | unknown
357.91/358.90 c 359s| 4300 | 1742 | 2766k| 639.1 | 535M | 51 |8883 | 11k| 10k|3684 | 1 |4354 | 36 | 1.800000e+01 | -- | Inf | unknown
364.11/365.18 c 365s| 4400 | 1754 | 2814k| 635.6 | 538M | 51 |8883 | 11k| 10k|3777 | 1 |4449 | 36 | 1.800000e+01 | -- | Inf | unknown
378.97/380.02 c 380s| 4500 | 1845 | 2950k| 651.7 | 539M | 51 |8883 | 11k| 10k|3872 | 1 |4585 | 36 | 1.800000e+01 | -- | Inf | unknown
389.63/390.75 c 391s| 4600 | 1927 | 3044k| 658.0 | 544M | 51 |8883 | 11k| 10k|3986 | 0 |4659 | 36 | 1.800000e+01 | -- | Inf | unknown
401.60/402.75 c 403s| 4700 | 2014 | 3164k| 669.4 | 545M | 51 |8883 | 11k| 10k|4116 | 1 |4884 | 36 | 1.800000e+01 | -- | Inf | unknown
407.59/408.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
407.59/408.77 c 409s| 4800 | 2058 | 3215k| 666.2 | 546M | 51 |8883 | 11k| 0 |4197 | 0 |4938 | 36 | 1.800000e+01 | -- | Inf | unknown
411.48/412.60 c 413s| 4900 | 2091 | 3240k| 657.6 | 546M | 51 |8883 | 11k| 10k|4261 | 1 |4975 | 36 | 1.800000e+01 | -- | Inf | unknown
416.27/417.44 c 417s| 5000 | 2105 | 3266k| 649.7 | 547M | 51 |8883 | 11k| 10k|4296 | 1 |5133 | 36 | 1.800000e+01 | -- | Inf | unknown
420.46/421.61 c 422s| 5100 | 2131 | 3292k| 642.1 | 549M | 51 |8883 | 11k| 10k|4361 | 2 |5212 | 36 | 1.800000e+01 | -- | Inf | unknown
425.85/427.07 c 427s| 5200 | 2179 | 3318k| 634.8 | 549M | 51 |8883 | 11k| 0 |4470 | 0 |5247 | 36 | 1.800000e+01 | -- | Inf | unknown
429.73/430.93 c 431s| 5300 | 2175 | 3351k| 629.0 | 550M | 51 |8883 | 11k| 10k|4499 | 1 |5299 | 36 | 1.800000e+01 | -- | Inf | unknown
435.32/436.52 c 437s| 5400 | 2211 | 3396k| 625.6 | 551M | 51 |8883 | 11k| 10k|4573 | 1 |5413 | 36 | 1.800000e+01 | -- | Inf | unknown
439.51/440.74 c 441s| 5500 | 2240 | 3428k| 620.1 | 551M | 51 |8883 | 11k| 10k|4650 | 1 |5446 | 36 | 1.800000e+01 | -- | Inf | unknown
442.81/444.07 c 444s| 5600 | 2260 | 3449k| 612.8 | 552M | 51 |8883 | 11k| 10k|4727 | 1 |5496 | 36 | 1.800000e+01 | -- | Inf | unknown
444.99/446.26 c 446s| 5700 | 2248 | 3459k| 603.8 | 552M | 51 |8883 | 11k| 0 |4762 | 0 |5542 | 36 | 1.800000e+01 | -- | Inf | unknown
449.28/450.59 c 451s| 5800 | 2271 | 3488k| 598.4 | 553M | 51 |8883 | 11k| 10k|4832 | 1 |5649 | 36 | 1.800000e+01 | -- | Inf | unknown
454.17/455.43 c 455s| 5900 | 2309 | 3516k| 593.0 | 555M | 51 |8883 | 11k| 10k|4922 | 1 |5720 | 36 | 1.800000e+01 | -- | Inf | unknown
460.36/461.67 c 462s| 6000 | 2330 | 3559k| 590.2 | 556M | 51 |8883 | 11k| 0 |4982 | 0 |5906 | 36 | 1.800000e+01 | -- | Inf | unknown
465.25/466.53 c 467s| 6100 | 2341 | 3596k| 586.5 | 557M | 51 |8883 | 11k| 0 |5014 | 0 |6026 | 36 | 1.800000e+01 | -- | Inf | unknown
471.63/472.95 c 473s| 6200 | 2381 | 3649k| 585.8 | 558M | 51 |8883 | 11k| 0 |5076 | 0 |6099 | 36 | 1.800000e+01 | -- | Inf | unknown
476.52/477.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
476.52/477.82 c 478s| 6300 | 2403 | 3695k| 583.8 | 559M | 51 |8883 | 11k| 0 |5141 | 0 |6151 | 36 | 1.800000e+01 | -- | Inf | unknown
482.40/483.78 c 484s| 6400 | 2423 | 3731k| 580.3 | 560M | 51 |8883 | 11k| 10k|5170 | 1 |6193 | 36 | 1.800000e+01 | -- | Inf | unknown
488.39/489.72 c 490s| 6500 | 2436 | 3774k| 578.0 | 560M | 51 |8883 | 11k| 10k|5182 | 1 |6237 | 36 | 1.800000e+01 | -- | Inf | unknown
492.58/493.97 c 494s| 6600 | 2466 | 3806k| 574.0 | 561M | 51 |8883 | 11k| 10k|5230 | 1 |6264 | 36 | 1.800000e+01 | -- | Inf | unknown
499.16/500.54 c 501s| 6700 | 2491 | 3870k| 575.0 | 562M | 51 |8883 | 11k| 0 |5251 | 0 |6378 | 36 | 1.800000e+01 | -- | Inf | unknown
509.34/510.79 c 511s| 6800 | 2501 | 3938k| 576.6 | 562M | 51 |8883 | 11k| 10k|5275 | 1 |6409 | 36 | 1.800000e+01 | -- | Inf | unknown
515.42/516.88 c 517s| 6900 | 2551 | 3982k| 574.6 | 563M | 51 |8883 | 11k| 0 |5380 | 0 |6531 | 36 | 1.800000e+01 | -- | Inf | unknown
521.41/522.85 c 523s| 7000 | 2595 | 4029k| 573.0 | 564M | 51 |8883 | 11k| 10k|5509 | 1 |6566 | 36 | 1.800000e+01 | -- | Inf | unknown
524.90/526.33 c 526s| 7100 | 2603 | 4048k| 567.7 | 564M | 51 |8883 | 11k| 10k|5589 | 1 |6651 | 36 | 1.800000e+01 | -- | Inf | unknown
530.38/531.85 c 532s| 7200 | 2628 | 4093k| 566.1 | 564M | 51 |8883 | 11k| 0 |5643 | 0 |6738 | 36 | 1.800000e+01 | -- | Inf | unknown
535.87/537.31 c 537s| 7300 | 2640 | 4127k| 563.0 | 565M | 51 |8883 | 11k| 10k|5713 | 1 |6799 | 36 | 1.800000e+01 | -- | Inf | unknown
542.85/544.36 c 544s| 7400 | 2688 | 4184k| 563.0 | 566M | 51 |8883 | 11k| 0 |5804 | 0 |6938 | 36 | 1.800000e+01 | -- | Inf | unknown
548.24/549.78 c 550s| 7500 | 2715 | 4229k| 561.5 | 566M | 51 |8883 | 11k| 0 |5866 | 0 |6979 | 36 | 1.800000e+01 | -- | Inf | unknown
554.43/555.91 c 556s| 7600 | 2739 | 4281k| 561.0 | 567M | 51 |8883 | 11k| 10k|5910 | 1 |7037 | 36 | 1.800000e+01 | -- | Inf | unknown
558.91/560.47 c 560s| 7700 | 2744 | 4315k| 558.1 | 567M | 51 |8883 | 11k| 10k|5997 | 1 |7106 | 36 | 1.800000e+01 | -- | Inf | unknown
563.10/564.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
563.10/564.62 c 565s| 7800 | 2760 | 4338k| 553.9 | 568M | 51 |8883 | 11k| 0 |6004 | 0 |7125 | 36 | 1.800000e+01 | -- | Inf | unknown
569.79/571.32 c 571s| 7900 | 2786 | 4396k| 554.2 | 569M | 51 |8883 | 11k| 0 |6047 | 0 |7193 | 36 | 1.800000e+01 | -- | Inf | unknown
577.07/578.67 c 579s| 8000 | 2826 | 4465k| 555.9 | 571M | 51 |8883 | 11k| 10k|6120 | 1 |7256 | 36 | 1.800000e+01 | -- | Inf | unknown
581.36/582.98 c 583s| 8100 | 2829 | 4482k| 551.1 | 572M | 51 |8883 | 11k| 0 |6176 | 0 |7353 | 36 | 1.800000e+01 | -- | Inf | unknown
587.15/588.74 c 589s| 8200 | 2867 | 4533k| 550.7 | 572M | 51 |8883 | 11k| 10k|6217 | 1 |7413 | 36 | 1.800000e+01 | -- | Inf | unknown
592.83/594.43 c 594s| 8300 | 2897 | 4579k| 549.6 | 573M | 51 |8883 | 11k| 0 |6228 | 0 |7476 | 36 | 1.800000e+01 | -- | Inf | unknown
600.11/601.77 c 602s| 8400 | 2931 | 4657k| 552.3 | 574M | 51 |8883 | 11k| 0 |6290 | 0 |7573 | 36 | 1.862500e+01 | -- | Inf | unknown
608.40/610.03 c 610s| 8500 | 2940 | 4713k| 552.4 | 575M | 51 |8883 | 11k| 10k|6332 | 1 |7658 | 36 | 1.900000e+01 | -- | Inf | unknown
615.58/617.21 c 617s| 8600 | 2973 | 4777k| 553.5 | 575M | 51 |8883 | 11k| 10k|6410 | 2 |7715 | 36 | 1.900000e+01 | -- | Inf | unknown
627.74/629.46 c 629s| 8700 | 3061 | 4911k| 562.5 | 580M | 51 |8883 | 11k| 10k|6476 | 1 |7790 | 36 | 1.900000e+01 | -- | Inf | unknown
642.61/644.35 c 644s| 8800 | 3150 | 5061k| 573.1 | 582M | 51 |8883 | 11k| 10k|6689 | 2 |7900 | 36 | 1.900000e+01 | -- | Inf | unknown
652.98/654.74 c 655s| 8900 | 3209 | 5174k| 579.4 | 583M | 51 |8883 | 11k| 10k|6833 | 1 |8016 | 36 | 1.900000e+01 | -- | Inf | unknown
656.77/658.53 c 659s| 9000 | 3220 | 5204k| 576.2 | 584M | 51 |8883 | 11k| 10k|6924 | 1 |8079 | 36 | 1.900000e+01 | -- | Inf | unknown
664.27/666.11 c 666s| 9100 | 3236 | 5269k| 577.0 | 587M | 51 |8883 | 11k| 10k|7042 | 1 |8222 | 36 | 1.900000e+01 | -- | Inf | unknown
671.26/673.10 c 673s| 9200 | 3274 | 5332k| 577.7 | 588M | 51 |8883 | 11k| 0 |7198 | 0 |8310 | 36 | 1.900000e+01 | -- | Inf | unknown
675.63/677.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
675.63/677.44 c 677s| 9300 | 3282 | 5363k| 574.8 | 588M | 51 |8883 | 11k| 0 |7260 | 0 |8382 | 36 | 1.900000e+01 | -- | Inf | unknown
682.42/684.20 c 684s| 9400 | 3307 | 5420k| 574.7 | 589M | 51 |8883 | 11k| 0 |7353 | 0 |8477 | 36 | 1.900000e+01 | -- | Inf | unknown
687.50/689.39 c 689s| 9500 | 3320 | 5468k| 573.7 | 589M | 51 |8883 | 11k| 10k|7378 | 1 |8598 | 36 | 1.900000e+01 | -- | Inf | unknown
692.59/694.49 c 694s| 9600 | 3331 | 5495k| 570.6 | 590M | 51 |8883 | 11k| 0 |7478 | 0 |8646 | 36 | 1.900000e+01 | -- | Inf | unknown
705.96/707.85 c 708s| 9700 | 3425 | 5645k| 580.1 | 593M | 51 |8883 | 11k| 10k|7588 | 1 |8719 | 36 | 1.900000e+01 | -- | Inf | unknown
717.93/719.83 c 720s| 9800 | 3512 | 5767k| 586.7 | 594M | 51 |8883 | 11k| 10k|7665 | 1 |8839 | 36 | 1.900000e+01 | -- | Inf | unknown
731.79/733.75 c 734s| 9900 | 3612 | 5919k| 596.1 | 597M | 51 |8883 | 11k| 10k|7829 | 1 |8976 | 36 | 1.900000e+01 | -- | Inf | unknown
747.55/749.53 c 750s| 10000 | 3702 | 6070k| 605.2 | 601M | 51 |8883 | 11k| 10k|7950 | 1 |9114 | 36 | 1.900000e+01 | -- | Inf | unknown
759.82/761.85 c 762s| 10100 | 3786 | 6193k| 611.5 | 606M | 51 |8883 | 11k| 10k|8057 | 1 |9228 | 36 | 1.900000e+01 | -- | Inf | unknown
773.48/775.51 c 776s| 10200 | 3866 | 6341k| 619.9 | 608M | 51 |8883 | 11k| 0 |8160 | 0 |9371 | 36 | 1.900000e+01 | -- | Inf | unknown
792.94/795.10 c 795s| 10300 | 3943 | 6499k| 629.2 | 612M | 51 |8883 | 11k| 10k|8245 | 1 |9466 | 36 | 1.900000e+01 | -- | Inf | unknown
801.81/803.97 c 804s| 10400 | 3981 | 6571k| 630.1 | 614M | 51 |8883 | 11k| 10k|8380 | 1 |9552 | 36 | 1.900000e+01 | -- | Inf | unknown
812.69/814.80 c 815s| 10500 | 4034 | 6679k| 634.5 | 617M | 51 |8883 | 11k| 10k|8557 | 1 |9628 | 36 | 1.900000e+01 | -- | Inf | unknown
824.97/827.17 c 827s| 10600 | 4118 | 6814k| 641.2 | 624M | 51 |8883 | 11k| 0 |8652 | 0 |9767 | 36 | 1.900000e+01 | -- | Inf | unknown
838.72/841.00 c 841s| 10700 | 4184 | 6934k| 646.4 | 627M | 51 |8883 | 11k| 0 |8851 | 0 |9907 | 36 | 1.900000e+01 | -- | Inf | unknown
851.29/853.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
851.29/853.56 c 854s| 10800 | 4258 | 7073k| 653.3 | 629M | 51 |8883 | 11k| 10k|8978 | 1 | 10k| 36 | 1.900000e+01 | -- | Inf | unknown
857.98/860.21 c 860s| 10900 | 4288 | 7127k| 652.2 | 630M | 51 |8883 | 11k| 10k|9077 | 1 | 10k| 36 | 1.900000e+01 | -- | Inf | unknown
866.15/868.49 c 868s| 11000 | 4305 | 7190k| 652.0 | 632M | 51 |8883 | 11k| 10k|9187 | 1 | 10k| 36 | 1.900000e+01 | -- | Inf | unknown
875.34/877.61 c 878s| 11100 | 4344 | 7272k| 653.5 | 634M | 51 |8883 | 11k| 10k|9310 | 1 | 10k| 36 | 1.900000e+01 | -- | Inf | unknown
886.61/889.00 c 889s| 11200 | 4403 | 7356k| 655.3 | 635M | 51 |8883 | 11k| 10k|9401 | 1 | 10k| 36 | 1.900000e+01 | -- | Inf | unknown
898.38/900.72 c 901s| 11300 | 4462 | 7466k| 659.2 | 636M | 51 |8883 | 11k| 0 |9572 | 0 | 10k| 36 | 1.900000e+01 | -- | Inf | unknown
907.66/910.09 c 910s| 11400 | 4519 | 7551k| 660.8 | 639M | 51 |8883 | 11k| 10k|9685 | 1 | 10k| 36 | 1.900000e+01 | -- | Inf | unknown
914.54/916.99 c 917s| 11500 | 4561 | 7614k| 660.6 | 640M | 51 |8883 | 11k| 10k|9768 | 1 | 10k| 36 | 1.900000e+01 | -- | Inf | unknown
919.12/921.50 c 921s| 11600 | 4587 | 7655k| 658.4 | 640M | 51 |8883 | 11k| 10k|9815 | 1 | 10k| 36 | 1.900000e+01 | -- | Inf | unknown
922.91/925.37 c 925s| 11700 | 4572 | 7678k| 654.7 | 640M | 51 |8883 | 11k| 10k|9869 | 1 | 10k| 36 | 1.900000e+01 | -- | Inf | unknown
931.39/933.83 c 934s| 11800 | 4622 | 7756k| 655.8 | 641M | 51 |8883 | 11k| 10k| 10k| 1 | 10k| 36 | 1.900000e+01 | -- | Inf | unknown
943.77/946.20 c 946s| 11900 | 4720 | 7898k| 662.3 | 644M | 51 |8883 | 11k| 10k| 10k| 1 | 11k| 36 | 1.900000e+01 | -- | Inf | unknown
957.55/960.07 c 960s| 12000 | 4807 | 8032k| 667.9 | 646M | 51 |8883 | 11k| 10k| 10k| 1 | 11k| 36 | 1.900000e+01 | -- | Inf | unknown
970.30/972.86 c 973s| 12100 | 4905 | 8168k| 673.6 | 651M | 51 |8883 | 11k| 10k| 10k| 1 | 11k| 36 | 1.900000e+01 | -- | Inf | unknown
981.97/984.56 c 985s| 12200 | 4993 | 8301k| 679.0 | 653M | 51 |8883 | 11k| 10k| 10k| 1 | 11k| 36 | 1.900000e+01 | -- | Inf | unknown
995.33/997.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
995.33/997.99 c 998s| 12300 | 5061 | 8425k| 683.5 | 656M | 51 |8883 | 11k| 0 | 10k| 0 | 11k| 36 | 1.900000e+01 | -- | Inf | unknown
1004.52/1007.18 c 1007s| 12400 | 5126 | 8512k| 685.0 | 658M | 51 |8883 | 11k| 10k| 10k| 1 | 11k| 36 | 1.900000e+01 | -- | Inf | unknown
1014.09/1016.75 c 1017s| 12500 | 5165 | 8600k| 686.6 | 659M | 51 |8883 | 11k| 10k| 10k| 1 | 11k| 36 | 1.900000e+01 | -- | Inf | unknown
1029.75/1032.40 c 1032s| 12600 | 5221 | 8726k| 691.2 | 661M | 51 |8883 | 11k| 10k| 10k| 1 | 11k| 36 | 1.900000e+01 | -- | Inf | unknown
1043.51/1046.25 c 1046s| 12700 | 5313 | 8883k| 698.0 | 667M | 51 |8883 | 11k| 10k| 10k| 1 | 11k| 36 | 1.900000e+01 | -- | Inf | unknown
1059.08/1061.89 c 1062s| 12800 | 5409 | 9038k| 704.8 | 671M | 51 |8883 | 11k| 10k| 11k| 2 | 11k| 36 | 1.900000e+01 | -- | Inf | unknown
1072.44/1075.21 c 1075s| 12900 | 5501 | 9186k| 710.7 | 673M | 51 |8883 | 11k| 10k| 11k| 1 | 12k| 36 | 1.900000e+01 | -- | Inf | unknown
1085.50/1088.35 c 1088s| 13000 | 5576 | 9324k| 715.9 | 675M | 51 |8883 | 11k| 10k| 11k| 1 | 12k| 36 | 1.900000e+01 | -- | Inf | unknown
1091.48/1094.35 c 1094s| 13100 | 5596 | 9386k| 715.2 | 675M | 51 |8883 | 11k| 10k| 11k| 1 | 12k| 36 | 1.900000e+01 | -- | Inf | unknown
1101.65/1104.54 c 1105s| 13200 | 5646 | 9481k| 717.0 | 679M | 51 |8883 | 11k| 0 | 11k| 0 | 12k| 36 | 1.900000e+01 | -- | Inf | unknown
1112.02/1114.97 c 1115s| 13300 | 5697 | 9580k| 719.0 | 680M | 51 |8883 | 11k| 10k| 11k| 1 | 12k| 36 | 1.900000e+01 | -- | Inf | unknown
1121.88/1124.84 c 1125s| 13400 | 5751 | 9679k| 721.0 | 681M | 51 |8883 | 11k| 10k| 11k| 1 | 12k| 36 | 1.900000e+01 | -- | Inf | unknown
1127.08/1130.11 c 1130s| 13500 | 5773 | 9718k| 718.5 | 682M | 51 |8883 | 11k| 0 | 11k| 0 | 12k| 36 | 1.900000e+01 | -- | Inf | unknown
1139.54/1142.53 c 1143s| 13600 | 5860 | 9850k| 722.9 | 685M | 51 |8883 | 11k| 10k| 11k| 1 | 12k| 36 | 1.900000e+01 | -- | Inf | unknown
1151.89/1154.99 c 1155s| 13700 | 5940 | 9978k| 727.1 | 688M | 51 |8883 | 11k| 10k| 12k| 1 | 12k| 36 | 1.900000e+01 | -- | Inf | unknown
1165.25/1168.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1165.25/1168.38 c 1168s| 13800 | 6032 | 10130k| 732.8 | 689M | 51 |8883 | 11k| 10k| 12k| 1 | 13k| 36 | 1.900000e+01 | -- | Inf | unknown
1173.33/1176.41 c 1176s| 13900 | 6075 | 10205k| 732.9 | 691M | 51 |8883 | 11k| 10k| 12k| 1 | 13k| 36 | 1.900000e+01 | -- | Inf | unknown
1187.18/1190.34 c 1190s| 14000 | 6151 | 10339k| 737.3 | 692M | 51 |8883 | 11k| 10k| 12k| 1 | 13k| 36 | 1.900000e+01 | -- | Inf | unknown
1194.76/1197.99 c 1198s| 14100 | 6191 | 10414k| 737.4 | 695M | 51 |8883 | 11k| 10k| 12k| 1 | 13k| 36 | 1.900000e+01 | -- | Inf | unknown
1206.83/1210.04 c 1210s| 14200 | 6261 | 10540k| 741.0 | 697M | 51 |8883 | 11k| 10k| 12k| 1 | 13k| 36 | 1.900000e+01 | -- | Inf | unknown
1220.47/1223.74 c 1224s| 14300 | 6334 | 10663k| 744.5 | 701M | 51 |8883 | 11k| 10k| 12k| 1 | 13k| 36 | 1.900000e+01 | -- | Inf | unknown
1232.43/1235.74 c 1236s| 14400 | 6418 | 10792k| 748.3 | 702M | 51 |8883 | 11k| 0 | 12k| 0 | 13k| 36 | 1.900000e+01 | -- | Inf | unknown
1246.19/1249.59 c 1250s| 14500 | 6497 | 10946k| 753.7 | 704M | 51 |8883 | 11k| 10k| 12k| 1 | 13k| 36 | 1.900000e+01 | -- | Inf | unknown
1261.34/1264.76 c 1265s| 14600 | 6585 | 11108k| 759.6 | 705M | 51 |8883 | 11k| 10k| 12k| 1 | 13k| 36 | 1.900000e+01 | -- | Inf | unknown
1271.12/1274.50 c 1274s| 14700 | 6627 | 11210k| 761.4 | 707M | 51 |8883 | 11k| 0 | 13k| 0 | 13k| 36 | 1.900000e+01 | -- | Inf | unknown
1286.17/1289.66 c 1290s| 14800 | 6700 | 11342k| 765.2 | 709M | 51 |8883 | 11k| 10k| 13k| 1 | 13k| 36 | 1.900000e+01 | -- | Inf | unknown
1298.03/1301.51 c 1302s| 14900 | 6764 | 11454k| 767.5 | 714M | 51 |8883 | 11k| 10k| 13k| 1 | 14k| 36 | 1.900000e+01 | -- | Inf | unknown
1314.17/1317.74 c 1318s| 15000 | 6808 | 11548k| 768.7 | 719M | 51 |8883 | 11k| 10k| 13k| 1 | 14k| 36 | 1.900000e+01 | -- | Inf | unknown
1322.64/1326.22 c 1326s| 15100 | 6849 | 11630k| 769.0 | 721M | 51 |8883 | 11k| 10k| 13k| 1 | 14k| 36 | 1.900000e+01 | -- | Inf | unknown
1336.60/1340.23 c 1340s| 15200 | 6928 | 11765k| 772.9 | 722M | 51 |8883 | 11k| 10k| 13k| 1 | 14k| 36 | 1.900000e+01 | -- | Inf | unknown
1350.95/1354.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1350.95/1354.64 c 1355s| 15300 | 7026 | 11918k| 777.8 | 724M | 51 |8883 | 11k| 10k| 13k| 1 | 14k| 36 | 1.900000e+01 | -- | Inf | unknown
1364.42/1368.15 c 1368s| 15400 | 7111 | 12052k| 781.5 | 727M | 51 |8883 | 11k| 10k| 13k| 1 | 14k| 36 | 1.900000e+01 | -- | Inf | unknown
1376.98/1380.74 c 1381s| 15500 | 7203 | 12192k| 785.5 | 729M | 51 |8883 | 11k| 10k| 13k| 2 | 14k| 36 | 1.900000e+01 | -- | Inf | unknown
1389.74/1393.55 c 1394s| 15600 | 7294 | 12334k| 789.5 | 734M | 51 |8883 | 11k| 10k| 13k| 1 | 14k| 36 | 1.900000e+01 | -- | Inf | unknown
1402.89/1406.71 c 1407s| 15700 | 7384 | 12479k| 793.8 | 735M | 51 |8883 | 11k| 10k| 14k| 1 | 14k| 36 | 1.900000e+01 | -- | Inf | unknown
1413.96/1417.88 c 1418s| 15800 | 7449 | 12600k| 796.4 | 737M | 51 |8883 | 11k| 10k| 14k| 1 | 14k| 36 | 1.900000e+01 | -- | Inf | unknown
1438.88/1442.82 c 1443s| 15900 | 7523 | 12780k| 802.7 | 743M | 51 |8883 | 11k| 10k| 14k| 1 | 15k| 36 | 1.900000e+01 | -- | Inf | unknown
1454.63/1458.64 c 1459s| 16000 | 7617 | 12946k| 808.0 | 744M | 51 |8883 | 11k| 10k| 14k| 1 | 15k| 36 | 1.900000e+01 | -- | Inf | unknown
1463.70/1467.77 c 1468s| 16100 | 7659 | 13030k| 808.2 | 746M | 51 |8883 | 11k| 0 | 14k| 0 | 15k| 36 | 1.900000e+01 | -- | Inf | unknown
1476.07/1480.19 c 1480s| 16200 | 7737 | 13167k| 811.7 | 749M | 51 |8883 | 11k| 10k| 14k| 1 | 15k| 36 | 1.900000e+01 | -- | Inf | unknown
1485.42/1489.52 c 1490s| 16300 | 7791 | 13247k| 811.6 | 751M | 51 |8883 | 11k| 10k| 14k| 2 | 15k| 36 | 1.900000e+01 | -- | Inf | unknown
1489.51/1493.64 c 1494s| 16400 | 7816 | 13281k| 808.7 | 752M | 51 |8883 | 11k| 10k| 14k| 1 | 15k| 36 | 1.900000e+01 | -- | Inf | unknown
1499.48/1503.62 c 1504s| 16500 | 7880 | 13371k| 809.3 | 759M | 51 |8883 | 11k| 10k| 14k| 1 | 15k| 36 | 1.900000e+01 | -- | Inf | unknown
1511.74/1515.94 c 1516s| 16600 | 7970 | 13517k| 813.2 | 761M | 51 |8883 | 11k| 10k| 14k| 1 | 15k| 36 | 1.900000e+01 | -- | Inf | unknown
1520.92/1525.14 c 1525s| 16700 | 8033 | 13611k| 814.0 | 763M | 51 |8883 | 11k| 10k| 14k| 1 | 15k| 36 | 1.900000e+01 | -- | Inf | unknown
1535.16/1539.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1535.16/1539.46 c 1539s| 16800 | 8119 | 13785k| 819.5 | 765M | 51 |8883 | 11k| 10k| 15k| 1 | 16k| 36 | 1.900000e+01 | -- | Inf | unknown
1549.83/1554.17 c 1554s| 16900 | 8215 | 13959k| 825.0 | 768M | 51 |8883 | 11k| 10k| 15k| 2 | 16k| 36 | 1.900000e+01 | -- | Inf | unknown
1558.29/1562.68 c 1563s| 17000 | 8269 | 14046k| 825.2 | 770M | 51 |8883 | 11k| 0 | 15k| 0 | 16k| 36 | 1.900000e+01 | -- | Inf | unknown
1566.26/1570.61 c 1571s| 17100 | 8291 | 14113k| 824.3 | 772M | 51 |8883 | 11k| 0 | 15k| 0 | 16k| 36 | 1.900000e+01 | -- | Inf | unknown
1581.12/1585.54 c 1586s| 17200 | 8373 | 14255k| 827.7 | 773M | 51 |8883 | 11k| 10k| 15k| 1 | 16k| 36 | 1.900000e+01 | -- | Inf | unknown
1597.58/1602.06 c 1602s| 17300 | 8471 | 14430k| 833.1 | 776M | 51 |8883 | 11k| 10k| 15k| 1 | 16k| 36 | 1.900000e+01 | -- | Inf | unknown
1611.83/1616.37 c 1616s| 17400 | 8563 | 14592k| 837.6 | 779M | 51 |8883 | 11k| 10k| 15k| 1 | 16k| 36 | 1.900000e+01 | -- | Inf | unknown
1620.20/1624.75 c 1625s| 17500 | 8604 | 14663k| 836.9 | 781M | 51 |8883 | 11k| 10k| 15k| 1 | 16k| 36 | 2.000000e+01 | -- | Inf | unknown
1629.07/1633.67 c 1634s| 17600 | 8642 | 14753k| 837.2 | 782M | 51 |8883 | 11k| 10k| 15k| 1 | 16k| 36 | 2.000000e+01 | -- | Inf | unknown
1642.02/1646.67 c 1647s| 17700 | 8727 | 14877k| 839.5 | 784M | 51 |8883 | 11k| 10k| 16k| 1 | 16k| 36 | 2.000000e+01 | -- | Inf | unknown
1655.49/1660.17 c 1660s| 17800 | 8823 | 15030k| 843.4 | 786M | 51 |8883 | 11k| 10k| 16k| 1 | 17k| 36 | 2.000000e+01 | -- | Inf | unknown
1670.45/1675.16 c 1675s| 17900 | 8921 | 15173k| 846.7 | 788M | 51 |8883 | 11k| 10k| 16k| 1 | 17k| 36 | 2.000000e+01 | -- | Inf | unknown
1686.29/1691.06 c 1691s| 18000 | 9016 | 15335k| 851.0 | 793M | 51 |8883 | 11k| 10k| 16k| 1 | 17k| 36 | 2.000000e+01 | -- | Inf | unknown
1700.25/1705.03 c 1705s| 18100 | 9114 | 15487k| 854.7 | 794M | 51 |8883 | 11k| 10k| 16k| 1 | 17k| 36 | 2.000000e+01 | -- | Inf | unknown
1710.81/1715.61 c 1716s| 18200 | 9185 | 15597k| 856.0 | 797M | 51 |8883 | 11k| 10k| 16k| 1 | 17k| 36 | 2.000000e+01 | -- | Inf | unknown
1721.67/1726.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1721.67/1726.51 c 1727s| 18300 | 9243 | 15694k| 856.7 | 798M | 51 |8883 | 11k| 10k| 16k| 1 | 17k| 36 | 2.000000e+01 | -- | Inf | unknown
1733.84/1738.74 c 1739s| 18400 | 9297 | 15823k| 859.0 | 799M | 51 |8883 | 11k| 10k| 16k| 1 | 17k| 36 | 2.000000e+01 | -- | Inf | unknown
1745.91/1750.87 c 1751s| 18500 | 9361 | 15941k| 860.7 | 801M | 51 |8883 | 11k| 10k| 17k| 1 | 17k| 36 | 2.000000e+01 | -- | Inf | unknown
1753.39/1758.37 c 1758s| 18600 | 9410 | 16010k| 859.8 | 804M | 51 |8883 | 11k| 0 | 17k| 0 | 17k| 36 | 2.000000e+01 | -- | Inf | unknown
1759.47/1764.45 c 1764s| 18700 | 9428 | 16071k| 858.5 | 806M | 51 |8883 | 11k| 10k| 17k| 1 | 17k| 36 | 2.000000e+01 | -- | Inf | unknown
1769.24/1774.25 c 1774s| 18800 | 9460 | 16146k| 857.9 | 807M | 52 |8883 | 11k| 10k| 17k| 1 | 18k| 36 | 2.000000e+01 | -- | Inf | unknown
1774.63/1779.61 c 1780s| 18900 | 9472 | 16195k| 855.9 | 808M | 52 |8883 | 11k| 10k| 17k| 1 | 18k| 36 | 2.000000e+01 | -- | Inf | unknown
1781.31/1786.34 c 1786s| 19000 | 9505 | 16256k| 854.7 | 810M | 52 |8883 | 11k| 10k| 17k| 1 | 18k| 36 | 2.000000e+01 | -- | Inf | unknown
1789.39/1794.47 c 1794s| 19100 | 9564 | 16331k| 854.1 | 810M | 52 |8883 | 11k| 10k| 17k| 2 | 18k| 36 | 2.000000e+01 | -- | Inf | unknown
1793.99/1799.05 c 1799s| 19200 | 9581 | 16365k| 851.4 | 811M | 52 |8883 | 11k| 0 | 17k| 0 | 18k| 36 | 2.000000e+01 | -- | Inf | unknown
1799.08/1804.12 c 1804s| 19300 | 9608 | 16398k| 848.8 | 812M | 52 |8883 | 11k| 0 | 17k| 0 | 18k| 36 | 2.000000e+01 | -- | Inf | unknown
1805.96/1811.04 c 1811s| 19400 | 9633 | 16462k| 847.7 | 813M | 52 |8883 | 11k| 0 | 17k| 0 | 18k| 36 | 2.000000e+01 | -- | Inf | unknown
1811.05/1816.18 c 1816s| 19500 | 9660 | 16504k| 845.4 | 813M | 52 |8883 | 11k| 10k| 17k| 2 | 18k| 36 | 2.000000e+01 | -- | Inf | unknown
1816.22/1821.31 c 1821s| 19600 | 9674 | 16545k| 843.2 | 814M | 52 |8883 | 11k| 0 | 17k| 0 | 18k| 36 | 2.062500e+01 | -- | Inf | unknown
1821.31/1826.41 c 1826s| 19700 | 9688 | 16591k| 841.3 | 815M | 52 |8883 | 11k| 0 | 17k| 0 | 18k| 36 | 2.075000e+01 | -- | Inf | unknown
1825.20/1830.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1825.20/1830.30 c 1830s| 19800 | 9694 | 16614k| 838.2 | 815M | 52 |8883 | 11k| 10k| 18k| 1 | 18k| 36 | 2.075000e+01 | -- | Inf | unknown
1830.29/1835.46 c 1835s| 19900 | 9716 | 16651k| 835.8 | 816M | 52 |8883 | 11k| 10k| 18k| 2 | 18k| 36 | 2.100000e+01 | -- | Inf | unknown
1834.07/1839.29 c 1839s| 20000 | 9747 | 16674k| 832.8 | 816M | 52 |8883 | 11k| 10k| 18k| 1 | 18k| 36 | 2.100000e+01 | -- | Inf | unknown
1835.27/1840.48 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1835.37/1840.54 c (run 1, node 20044) performing user restart
1835.37/1840.54 c
1835.37/1840.56 c (restart) converted 7 cuts from the global cut pool into linear constraints
1835.37/1840.56 c
1835.48/1840.68 c presolving:
1835.58/1840.70 c (round 1, fast) 0 del vars, 188 del conss, 1 add conss, 0 chg bounds, 5 chg sides, 45 chg coeffs, 0 upgd conss, 0 impls, 1822 clqs
1835.58/1840.70 c (round 2, medium) 26 del vars, 188 del conss, 2 add conss, 0 chg bounds, 17 chg sides, 58 chg coeffs, 0 upgd conss, 0 impls, 1769 clqs
1835.58/1840.70 c (round 3, fast) 26 del vars, 244 del conss, 2 add conss, 0 chg bounds, 17 chg sides, 58 chg coeffs, 0 upgd conss, 0 impls, 1769 clqs
1835.58/1840.73 c (round 4, exhaustive) 26 del vars, 270 del conss, 2 add conss, 0 chg bounds, 17 chg sides, 58 chg coeffs, 0 upgd conss, 0 impls, 1769 clqs
1835.58/1840.74 c (round 5, exhaustive) 26 del vars, 270 del conss, 2 add conss, 0 chg bounds, 17 chg sides, 58 chg coeffs, 11 upgd conss, 0 impls, 1769 clqs
1835.58/1840.76 c (round 6, exhaustive) 26 del vars, 323 del conss, 2 add conss, 0 chg bounds, 17 chg sides, 539 chg coeffs, 11 upgd conss, 0 impls, 1769 clqs
1835.68/1840.86 c presolving (7 rounds: 7 fast, 5 medium, 4 exhaustive):
1835.68/1840.86 c 26 deleted vars, 328 deleted constraints, 2 added constraints, 0 tightened bounds, 0 added holes, 17 changed sides, 539 changed coefficients
1835.68/1840.86 c 0 implications, 1769 cliques
1835.68/1840.86 c presolved problem has 8857 variables (8857 bin, 0 int, 0 impl, 0 cont) and 11507 constraints
1835.68/1840.86 c 332 constraints of type <knapsack>
1835.68/1840.86 c 1551 constraints of type <setppc>
1835.68/1840.86 c 8547 constraints of type <linear>
1835.68/1840.86 c 1077 constraints of type <logicor>
1835.68/1840.86 c transformed objective value is always integral (scale: 1)
1835.68/1840.86 c Presolving Time: 1.64
1835.68/1840.86 c
1836.38/1841.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1836.38/1841.58 c 1842s| 1 | 0 | 16689k| - | 824M | 0 |8857 | 11k| 10k| 0 | 0 | 18k| 36 | 2.100000e+01 | -- | Inf | unknown
1836.58/1841.74 c 1842s| 1 | 0 | 16689k| - | 828M | 0 |8857 | 11k| 10k| 16 | 1 | 18k| 36 | 2.100000e+01 | -- | Inf | unknown
1836.78/1841.93 c 1842s| 1 | 0 | 16689k| - | 829M | 0 |8857 | 11k| 10k| 34 | 2 | 18k| 36 | 2.100000e+01 | -- | Inf | unknown
1836.99/1842.13 c 1842s| 1 | 0 | 16689k| - | 831M | 0 |8857 | 11k| 10k| 50 | 3 | 18k| 36 | 2.100000e+01 | -- | Inf | unknown
1837.18/1842.32 c 1842s| 1 | 0 | 16689k| - | 832M | 0 |8857 | 11k| 10k| 64 | 4 | 18k| 36 | 2.100000e+01 | -- | Inf | unknown
1837.38/1842.53 c 1843s| 1 | 0 | 16689k| - | 833M | 0 |8857 | 11k| 10k| 79 | 5 | 18k| 36 | 2.100000e+01 | -- | Inf | unknown
1837.58/1842.73 c 1843s| 1 | 0 | 16689k| - | 834M | 0 |8857 | 11k| 10k| 94 | 6 | 18k| 36 | 2.100000e+01 | -- | Inf | unknown
1837.78/1842.94 c 1843s| 1 | 0 | 16689k| - | 836M | 0 |8857 | 11k| 10k| 109 | 7 | 18k| 36 | 2.100000e+01 | -- | Inf | unknown
1837.99/1843.16 c 1843s| 1 | 0 | 16689k| - | 838M | 0 |8857 | 11k| 10k| 123 | 8 | 18k| 36 | 2.100000e+01 | -- | Inf | unknown
1838.17/1843.35 c 1843s| 1 | 0 | 16690k| - | 839M | 0 |8857 | 11k| 10k| 136 | 9 | 18k| 36 | 2.100000e+01 | -- | Inf | unknown
1838.37/1843.58 c 1844s| 1 | 0 | 16690k| - | 840M | 0 |8857 | 11k| 10k| 150 | 10 | 18k| 36 | 2.100000e+01 | -- | Inf | unknown
1838.57/1843.76 c 1844s| 1 | 0 | 16690k| - | 841M | 0 |8857 | 11k| 10k| 164 | 11 | 18k| 36 | 2.100000e+01 | -- | Inf | unknown
1841.66/1846.87 c 1847s| 1 | 2 | 16705k| - | 841M | 0 |8857 | 11k| 10k| 164 | 11 | 18k| 55 | 2.100000e+01 | -- | Inf | unknown
1861.61/1866.85 c 1867s| 100 | 99 | 16928k| 839.1 | 850M | 21 |8857 | 11k| 10k| 411 | 1 | 19k| 55 | 2.100000e+01 | -- | Inf | unknown
1885.25/1890.57 c 1891s| 200 | 199 | 17192k| 847.9 | 854M | 23 |8857 | 11k| 10k| 616 | 1 | 19k| 55 | 2.100000e+01 | -- | Inf | unknown
1912.28/1917.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1912.28/1917.67 c 1918s| 300 | 299 | 17514k| 859.6 | 856M | 27 |8857 | 11k| 10k| 890 | 1 | 19k| 55 | 2.100000e+01 | -- | Inf | unknown
1952.19/1957.67 c 1958s| 400 | 395 | 17902k| 874.4 | 857M | 27 |8857 | 11k| 10k|1112 | 1 | 19k| 55 | 2.100000e+01 | -- | Inf | unknown
1986.01/1991.55 c 1992s| 500 | 493 | 18265k| 887.8 | 859M | 28 |8857 | 11k| 10k|1333 | 1 | 19k| 55 | 2.100000e+01 | -- | Inf | unknown
2011.56/2017.19 c 2017s| 600 | 593 | 18580k| 898.8 | 861M | 28 |8857 | 11k| 10k|1492 | 1 | 19k| 55 | 2.100000e+01 | -- | Inf | unknown
2022.23/2027.87 c 2028s| 700 | 658 | 18699k| 900.1 | 869M | 34 |8857 | 11k| 10k|1587 | 1 | 19k| 55 | 2.100000e+01 | -- | Inf | unknown
2030.52/2036.15 c 2036s| 800 | 713 | 18787k| 900.1 | 871M | 34 |8857 | 11k| 10k|1666 | 1 | 19k| 55 | 2.100000e+01 | -- | Inf | unknown
2037.80/2043.40 c 2043s| 900 | 745 | 18865k| 899.5 | 872M | 35 |8857 | 11k| 10k|1735 | 1 | 19k| 55 | 2.100000e+01 | -- | Inf | unknown
2047.97/2053.63 c 2054s| 1000 | 788 | 18968k| 900.1 | 873M | 35 |8857 | 11k| 0 |1804 | 0 | 20k| 55 | 2.100000e+01 | -- | Inf | unknown
2053.76/2059.42 c 2059s| 1100 | 807 | 19022k| 898.4 | 873M | 36 |8857 | 11k| 10k|1893 | 1 | 20k| 55 | 2.100000e+01 | -- | Inf | unknown
2060.35/2066.08 c 2066s| 1200 | 821 | 19090k| 897.4 | 873M | 37 |8857 | 11k| 10k|2012 | 1 | 20k| 55 | 2.100000e+01 | -- | Inf | unknown
2064.34/2070.01 c 2070s| 1300 | 823 | 19130k| 895.1 | 874M | 37 |8857 | 11k| 10k|2031 | 1 | 20k| 55 | 2.100000e+01 | -- | Inf | unknown
2068.22/2073.95 c 2074s| 1400 | 819 | 19168k| 892.7 | 874M | 37 |8857 | 11k| 0 |2069 | 0 | 20k| 55 | 2.100000e+01 | -- | Inf | unknown
2073.61/2079.35 c 2079s| 1500 | 833 | 19220k| 890.9 | 874M | 37 |8857 | 11k| 0 |2116 | 0 | 20k| 55 | 2.100000e+01 | -- | Inf | unknown
2081.09/2086.86 c 2087s| 1600 | 865 | 19297k| 890.4 | 874M | 37 |8857 | 11k| 0 |2179 | 0 | 20k| 55 | 2.100000e+01 | -- | Inf | unknown
2088.57/2094.34 c 2094s| 1700 | 890 | 19365k| 889.4 | 875M | 37 |8857 | 11k| 10k|2265 | 2 | 21k| 55 | 2.100000e+01 | -- | Inf | unknown
2096.05/2101.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2096.05/2101.82 c 2102s| 1800 | 893 | 19443k| 888.9 | 875M | 38 |8857 | 11k| 10k|2311 | 1 | 21k| 55 | 2.100000e+01 | -- | Inf | unknown
2114.91/2120.76 c 2121s| 1900 | 909 | 19529k| 888.7 | 875M | 38 |8857 | 11k| 10k|2380 | 1 | 21k| 55 | 2.100000e+01 | -- | Inf | unknown
2124.88/2130.71 c 2131s| 2000 | 943 | 19637k| 889.6 | 877M | 38 |8857 | 11k| 10k|2446 | 1 | 21k| 55 | 2.100000e+01 | -- | Inf | unknown
2133.76/2139.67 c 2140s| 2100 | 981 | 19745k| 890.5 | 879M | 38 |8857 | 11k| 10k|2465 | 1 | 21k| 55 | 2.100000e+01 | -- | Inf | unknown
2142.74/2148.63 c 2149s| 2200 | 1018 | 19855k| 891.4 | 879M | 38 |8857 | 11k| 10k|2542 | 1 | 21k| 55 | 2.100000e+01 | -- | Inf | unknown
2152.82/2158.77 c 2159s| 2300 | 1041 | 19965k| 892.3 | 881M | 38 |8857 | 11k| 0 |2638 | 0 | 21k| 55 | 2.100000e+01 | -- | Inf | unknown
2161.21/2167.14 c 2167s| 2400 | 1051 | 20051k| 892.2 | 882M | 38 |8857 | 11k| 10k|2713 | 2 | 22k| 55 | 2.100000e+01 | -- | Inf | unknown
2170.78/2176.77 c 2177s| 2500 | 1083 | 20149k| 892.6 | 882M | 38 |8857 | 11k| 10k|2832 | 1 | 22k| 55 | 2.100000e+01 | -- | Inf | unknown
2182.25/2188.24 c 2188s| 2600 | 1134 | 20307k| 895.6 | 883M | 38 |8857 | 11k| 0 |2854 | 0 | 22k| 55 | 2.100000e+01 | -- | Inf | unknown
2188.33/2194.30 c 2194s| 2700 | 1143 | 20374k| 894.6 | 884M | 39 |8857 | 11k| 10k|2872 | 1 | 22k| 55 | 2.100000e+01 | -- | Inf | unknown
2193.92/2199.99 c 2200s| 2800 | 1149 | 20434k| 893.4 | 884M | 39 |8857 | 11k| 10k|2922 | 1 | 22k| 55 | 2.100000e+01 | -- | Inf | unknown
2198.12/2204.11 c 2204s| 2900 | 1164 | 20474k| 891.2 | 884M | 39 |8857 | 11k| 0 |2929 | 0 | 22k| 55 | 2.100000e+01 | -- | Inf | unknown
2203.01/2209.04 c 2209s| 3000 | 1169 | 20519k| 889.3 | 886M | 39 |8857 | 11k| 10k|3018 | 1 | 22k| 55 | 2.100000e+01 | -- | Inf | unknown
2213.57/2219.67 c 2220s| 3100 | 1207 | 20646k| 890.9 | 886M | 39 |8857 | 11k| 10k|3064 | 2 | 22k| 55 | 2.100000e+01 | -- | Inf | unknown
2224.75/2230.80 c 2231s| 3200 | 1255 | 20779k| 892.8 | 886M | 39 |8857 | 11k| 10k|3194 | 1 | 22k| 55 | 2.100000e+01 | -- | Inf | unknown
2237.61/2243.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2237.61/2243.71 c 2244s| 3300 | 1317 | 20948k| 896.2 | 888M | 39 |8857 | 11k| 10k|3257 | 1 | 22k| 55 | 2.100000e+01 | -- | Inf | unknown
2249.58/2255.71 c 2256s| 3400 | 1331 | 21094k| 898.7 | 888M | 39 |8857 | 11k| 0 |3408 | 0 | 22k| 55 | 2.100000e+01 | -- | Inf | unknown
2261.05/2267.27 c 2267s| 3500 | 1361 | 21209k| 899.7 | 889M | 39 |8857 | 11k| 10k|3485 | 1 | 23k| 55 | 2.100000e+01 | -- | Inf | unknown
2271.13/2277.38 c 2277s| 3600 | 1425 | 21328k| 900.9 | 890M | 39 |8857 | 11k| 10k|3516 | 1 | 23k| 55 | 2.100000e+01 | -- | Inf | unknown
2279.51/2285.71 c 2286s| 3700 | 1448 | 21430k| 901.4 | 892M | 40 |8857 | 11k| 10k|3563 | 2 | 23k| 55 | 2.100000e+01 | -- | Inf | unknown
2290.49/2296.79 c 2297s| 3800 | 1468 | 21557k| 903.0 | 895M | 44 |8857 | 11k| 10k|3613 | 1 | 23k| 55 | 2.200000e+01 | -- | Inf | unknown
2306.05/2312.33 c 2312s| 3900 | 1551 | 21764k| 907.9 | 896M | 44 |8857 | 11k| 10k|3716 | 1 | 23k| 55 | 2.200000e+01 | -- | Inf | unknown
2320.31/2326.67 c 2327s| 4000 | 1598 | 21951k| 911.9 | 897M | 44 |8857 | 12k| 0 |3799 | 0 | 23k| 55 | 2.200000e+01 | -- | Inf | unknown
2332.38/2338.70 c 2339s| 4100 | 1647 | 22109k| 914.6 | 897M | 44 |8857 | 12k| 10k|3873 | 1 | 23k| 55 | 2.200000e+01 | -- | Inf | unknown
2339.07/2345.44 c 2345s| 4200 | 1679 | 22183k| 913.9 | 898M | 44 |8857 | 12k| 10k|3936 | 1 | 23k| 55 | 2.200000e+01 | -- | Inf | unknown
2345.25/2351.60 c 2352s| 4300 | 1693 | 22245k| 912.7 | 898M | 44 |8857 | 12k| 0 |4043 | 0 | 24k| 55 | 2.200000e+01 | -- | Inf | unknown
2351.54/2357.93 c 2358s| 4400 | 1704 | 22301k| 911.3 | 900M | 44 |8857 | 11k| 10k|4126 | 1 | 24k| 55 | 2.200000e+01 | -- | Inf | unknown
2358.63/2365.10 c 2365s| 4500 | 1739 | 22380k| 910.8 | 901M | 44 |8857 | 11k| 0 |4176 | 0 | 24k| 55 | 2.200000e+01 | -- | Inf | unknown
2372.69/2379.12 c 2379s| 4600 | 1758 | 22469k| 910.7 | 901M | 44 |8857 | 11k| 10k|4233 | 2 | 24k| 55 | 2.200000e+01 | -- | Inf | unknown
2378.37/2384.80 c 2385s| 4700 | 1764 | 22526k| 909.3 | 902M | 44 |8857 | 11k| 0 |4298 | 0 | 24k| 55 | 2.200000e+01 | -- | Inf | unknown
2386.56/2393.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2386.56/2393.06 c 2393s| 4800 | 1781 | 22598k| 908.5 | 902M | 44 |8857 | 11k| 10k|4385 | 1 | 24k| 55 | 2.200000e+01 | -- | Inf | unknown
2393.23/2399.71 c 2400s| 4900 | 1804 | 22673k| 907.9 | 902M | 44 |8857 | 11k| 0 |4398 | 0 | 24k| 55 | 2.200000e+01 | -- | Inf | unknown
2397.54/2404.09 c 2404s| 5000 | 1794 | 22709k| 905.7 | 902M | 44 |8857 | 11k| 0 |4439 | 0 | 24k| 55 | 2.200000e+01 | -- | Inf | unknown
2402.42/2409.01 c 2409s| 5100 | 1811 | 22752k| 903.8 | 902M | 44 |8857 | 11k| 0 |4538 | 0 | 24k| 55 | 2.240775e+01 | -- | Inf | unknown
2409.90/2416.43 c 2416s| 5200 | 1819 | 22803k| 902.3 | 903M | 44 |8857 | 11k| 10k|4565 | 1 | 24k| 55 | 2.240775e+01 | -- | Inf | unknown
2416.49/2423.07 c 2423s| 5300 | 1828 | 22877k| 901.6 | 903M | 44 |8857 | 11k| 0 |4656 | 0 | 24k| 55 | 2.240775e+01 | -- | Inf | unknown
2423.86/2430.48 c 2430s| 5400 | 1854 | 22965k| 901.5 | 903M | 44 |8857 | 11k| 10k|4720 | 1 | 24k| 55 | 2.300000e+01 | -- | Inf | unknown
2430.25/2436.81 c 2437s| 5500 | 1892 | 23033k| 900.7 | 904M | 44 |8857 | 11k| 10k|4758 | 1 | 24k| 55 | 2.300000e+01 | -- | Inf | unknown
2436.63/2443.25 c 2443s| 5600 | 1929 | 23101k| 899.8 | 904M | 44 |8857 | 11k| 10k|4869 | 2 | 25k| 55 | 2.300000e+01 | -- | Inf | unknown
2440.62/2447.27 c 2447s| 5700 | 1955 | 23131k| 897.5 | 905M | 44 |8857 | 12k| 0 |4963 | 0 | 25k| 55 | 2.300000e+01 | -- | Inf | unknown
2444.42/2451.08 c 2451s| 5800 | 1961 | 23162k| 895.2 | 905M | 44 |8857 | 12k| 0 |5045 | 0 | 25k| 55 | 2.300000e+01 | -- | Inf | unknown
2449.41/2456.08 c 2456s| 5900 | 1986 | 23213k| 893.7 | 906M | 44 |8857 | 12k| 10k|5128 | 1 | 25k| 55 | 2.300000e+01 | -- | Inf | unknown
2454.40/2461.08 c 2461s| 6000 | 2001 | 23258k| 892.0 | 906M | 44 |8857 | 12k| 0 |5216 | 0 | 25k| 55 | 2.300000e+01 | -- | Inf | unknown
2458.97/2465.64 c 2466s| 6100 | 2015 | 23300k| 890.2 | 907M | 44 |8857 | 12k| 10k|5252 | 1 | 25k| 55 | 2.300000e+01 | -- | Inf | unknown
2464.66/2471.33 c 2471s| 6200 | 2032 | 23365k| 889.3 | 907M | 44 |8857 | 11k| 0 |5293 | 0 | 25k| 55 | 2.300000e+01 | -- | Inf | unknown
2470.14/2476.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2470.14/2476.87 c 2477s| 6300 | 2053 | 23420k| 888.0 | 907M | 44 |8857 | 11k| 10k|5343 | 1 | 25k| 55 | 2.300000e+01 | -- | Inf | unknown
2478.12/2484.83 c 2485s| 6400 | 2092 | 23520k| 888.4 | 907M | 44 |8857 | 12k| 10k|5418 | 2 | 25k| 55 | 2.300000e+01 | -- | Inf | unknown
2485.42/2492.19 c 2492s| 6500 | 2100 | 23601k| 888.1 | 907M | 44 |8857 | 11k| 0 |5521 | 0 | 25k| 55 | 2.300000e+01 | -- | Inf | unknown
2491.09/2497.80 c 2498s| 6600 | 2095 | 23657k| 886.9 | 908M | 44 |8857 | 11k| 10k|5606 | 2 | 25k| 55 | 2.300000e+01 | -- | Inf | unknown
2497.08/2503.86 c 2504s| 6700 | 2108 | 23717k| 885.8 | 908M | 44 |8857 | 11k| 10k|5697 | 2 | 26k| 55 | 2.300000e+01 | -- | Inf | unknown
2501.67/2508.48 c 2508s| 6800 | 2143 | 23758k| 884.1 | 910M | 44 |8857 | 11k| 0 |5739 | 0 | 26k| 55 | 2.400000e+01 | -- | Inf | unknown
2506.55/2513.31 c 2513s| 6900 | 2169 | 23792k| 882.1 | 911M | 44 |8857 | 11k| 10k|5826 | 1 | 26k| 55 | 2.400000e+01 | -- | Inf | unknown
2511.25/2518.08 c 2518s| 7000 | 2202 | 23826k| 880.0 | 913M | 44 |8857 | 12k| 10k|5938 | 1 | 26k| 55 | 2.400000e+01 | -- | Inf | unknown
2516.34/2523.18 c 2523s| 7100 | 2235 | 23861k| 878.1 | 913M | 44 |8857 | 12k| 10k|6112 | 1 | 26k| 55 | 2.400000e+01 | -- | Inf | unknown
2526.50/2533.38 c 2533s| 7200 | 2288 | 23967k| 878.8 | 913M | 44 |8857 | 12k| 10k|6184 | 1 | 26k| 55 | 2.400000e+01 | -- | Inf | unknown
2531.79/2538.67 c 2539s| 7300 | 2309 | 24006k| 877.0 | 914M | 44 |8857 | 12k| 10k|6301 | 0 | 26k| 55 | 2.400000e+01 | -- | Inf | unknown
2537.57/2544.48 c 2544s| 7400 | 2327 | 24049k| 875.3 | 915M | 44 |8857 | 12k| 10k|6441 | 1 | 26k| 55 | 2.400000e+01 | -- | Inf | unknown
2543.76/2550.67 c 2551s| 7500 | 2339 | 24120k| 874.7 | 915M | 47 |8857 | 12k| 10k|6525 | 2 | 26k| 55 | 2.400000e+01 | -- | Inf | unknown
2550.16/2557.03 c 2557s| 7600 | 2349 | 24179k| 873.7 | 918M | 47 |8857 | 12k| 0 |6640 | 0 | 26k| 55 | 2.400000e+01 | -- | Inf | unknown
2557.24/2564.14 c 2564s| 7700 | 2358 | 24239k| 872.7 | 921M | 47 |8857 | 12k| 10k|6746 | 1 | 26k| 55 | 2.400000e+01 | -- | Inf | unknown
2563.81/2570.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2563.81/2570.78 c 2571s| 7800 | 2382 | 24301k| 871.8 | 921M | 47 |8857 | 11k| 10k|6846 | 1 | 26k| 55 | 2.400000e+01 | -- | Inf | unknown
2568.80/2575.79 c 2576s| 7900 | 2375 | 24344k| 870.2 | 925M | 48 |8857 | 11k| 10k|6947 | 1 | 26k| 55 | 2.400000e+01 | -- | Inf | unknown
2574.28/2581.28 c 2581s| 8000 | 2379 | 24391k| 868.8 | 925M | 48 |8857 | 11k| 10k|6983 | 2 | 27k| 55 | 2.400000e+01 | -- | Inf | unknown
2577.97/2584.96 c 2585s| 8100 | 2389 | 24416k| 866.6 | 925M | 48 |8857 | 11k| 10k|7070 | 1 | 27k| 55 | 2.400000e+01 | -- | Inf | unknown
2582.46/2589.43 c 2589s| 8200 | 2391 | 24453k| 864.9 | 925M | 48 |8857 | 11k| 10k|7118 | 2 | 27k| 55 | 2.400000e+01 | -- | Inf | unknown
2589.84/2596.87 c 2597s| 8300 | 2441 | 24533k| 864.6 | 926M | 48 |8857 | 11k| 10k|7251 | 1 | 27k| 55 | 2.400000e+01 | -- | Inf | unknown
2594.04/2601.07 c 2601s| 8400 | 2455 | 24562k| 862.6 | 926M | 48 |8857 | 11k| 10k|7356 | 1 | 27k| 55 | 2.400000e+01 | -- | Inf | unknown
2600.42/2607.43 c 2607s| 8500 | 2466 | 24620k| 861.6 | 927M | 48 |8857 | 11k| 10k|7492 | 1 | 27k| 55 | 2.400000e+01 | -- | Inf | unknown
2607.70/2614.79 c 2615s| 8600 | 2480 | 24661k| 860.0 | 927M | 48 |8857 | 11k| 10k|7538 | 1 | 27k| 55 | 2.400000e+01 | -- | Inf | unknown
2612.19/2619.22 c 2619s| 8700 | 2501 | 24697k| 858.3 | 927M | 48 |8857 | 12k| 10k|7618 | 2 | 27k| 55 | 2.400000e+01 | -- | Inf | unknown
2616.18/2623.25 c 2623s| 8800 | 2538 | 24728k| 856.4 | 927M | 48 |8857 | 12k| 0 |7715 | 0 | 27k| 55 | 2.400000e+01 | -- | Inf | unknown
2621.56/2628.63 c 2629s| 8900 | 2557 | 24766k| 854.8 | 927M | 48 |8857 | 12k| 0 |7782 | 0 | 28k| 55 | 2.400000e+01 | -- | Inf | unknown
2627.07/2634.14 c 2634s| 9000 | 2565 | 24818k| 853.6 | 927M | 48 |8857 | 12k| 0 |7866 | 0 | 28k| 55 | 2.400000e+01 | -- | Inf | unknown
2630.35/2637.48 c 2637s| 9100 | 2565 | 24843k| 851.5 | 927M | 48 |8857 | 12k| 10k|7943 | 1 | 28k| 55 | 2.400000e+01 | -- | Inf | unknown
2634.44/2641.52 c 2642s| 9200 | 2566 | 24874k| 849.7 | 927M | 48 |8857 | 12k| 0 |8020 | 0 | 28k| 55 | 2.400000e+01 | -- | Inf | unknown
2640.53/2647.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2640.53/2647.67 c 2648s| 9300 | 2585 | 24924k| 848.5 | 928M | 48 |8857 | 11k| 10k|8133 | 1 | 28k| 55 | 2.400000e+01 | -- | Inf | unknown
2646.02/2653.17 c 2653s| 9400 | 2588 | 24977k| 847.4 | 928M | 48 |8857 | 11k| 10k|8189 | 1 | 28k| 55 | 2.400000e+01 | -- | Inf | unknown
2650.02/2657.11 c 2657s| 9500 | 2592 | 25000k| 845.3 | 928M | 48 |8857 | 11k| 0 |8330 | 0 | 28k| 55 | 2.400000e+01 | -- | Inf | unknown
2657.38/2664.56 c 2665s| 9600 | 2605 | 25041k| 843.8 | 928M | 48 |8857 | 11k| 0 |8422 | 0 | 28k| 55 | 2.400000e+01 | -- | Inf | unknown
2660.89/2668.06 c 2668s| 9700 | 2603 | 25061k| 841.7 | 928M | 48 |8857 | 11k| 10k|8534 | 2 | 28k| 55 | 2.400000e+01 | -- | Inf | unknown
2663.77/2670.95 c 2671s| 9800 | 2611 | 25078k| 839.4 | 928M | 48 |8857 | 11k| 0 |8616 | 0 | 28k| 55 | 2.400000e+01 | -- | Inf | unknown
2666.66/2673.86 c 2674s| 9900 | 2600 | 25098k| 837.3 | 928M | 48 |8857 | 11k| 10k|8668 | 1 | 29k| 55 | 2.400000e+01 | -- | Inf | unknown
2670.75/2677.90 c 2678s| 10000 | 2613 | 25124k| 835.4 | 928M | 48 |8857 | 11k| 10k|8803 | 1 | 29k| 55 | 2.400000e+01 | -- | Inf | unknown
2674.24/2681.49 c 2681s| 10100 | 2627 | 25148k| 833.4 | 928M | 48 |8857 | 11k| 0 |8897 | 0 | 29k| 55 | 2.400000e+01 | -- | Inf | unknown
2678.73/2685.96 c 2686s| 10200 | 2637 | 25183k| 831.8 | 929M | 48 |8857 | 11k| 10k|8962 | 1 | 29k| 55 | 2.400000e+01 | -- | Inf | unknown
2684.22/2691.42 c 2691s| 10300 | 2656 | 25237k| 830.8 | 929M | 48 |8857 | 11k| 0 |9047 | 0 | 29k| 55 | 2.400000e+01 | -- | Inf | unknown
2689.31/2696.55 c 2697s| 10400 | 2654 | 25274k| 829.3 | 929M | 48 |8857 | 12k| 10k|9092 | 1 | 29k| 55 | 2.400000e+01 | -- | Inf | unknown
2692.81/2700.07 c 2700s| 10500 | 2652 | 25297k| 827.4 | 929M | 48 |8857 | 12k| 10k|9130 | 1 | 29k| 55 | 2.400000e+01 | -- | Inf | unknown
2698.08/2705.36 c 2705s| 10600 | 2664 | 25350k| 826.4 | 930M | 48 |8857 | 12k| 10k|9172 | 1 | 29k| 55 | 2.400310e+01 | -- | Inf | unknown
2707.77/2715.09 c 2715s| 10700 | 2735 | 25466k| 827.5 | 930M | 48 |8857 | 12k| 10k|9258 | 1 | 29k| 55 | 2.402208e+01 | -- | Inf | unknown
2714.45/2721.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2714.45/2721.70 c 2722s| 10800 | 2773 | 25525k| 826.7 | 930M | 48 |8857 | 12k| 0 |9399 | 0 | 29k| 55 | 2.450000e+01 | -- | Inf | unknown
2721.84/2729.13 c 2729s| 10900 | 2831 | 25593k| 826.2 | 932M | 48 |8857 | 12k| 10k|9527 | 1 | 30k| 55 | 2.498296e+01 | -- | Inf | unknown
2733.00/2740.36 c 2740s| 11000 | 2880 | 25675k| 826.2 | 932M | 48 |8857 | 12k| 10k|9608 | 1 | 30k| 55 | 2.500000e+01 | -- | Inf | unknown
2739.08/2746.42 c 2746s| 11100 | 2879 | 25737k| 825.5 | 932M | 48 |8857 | 12k| 10k|9649 | 1 | 30k| 55 | 2.500000e+01 | -- | Inf | unknown
2744.07/2751.49 c 2751s| 11200 | 2905 | 25779k| 824.3 | 932M | 48 |8857 | 12k| 0 |9697 | 0 | 30k| 55 | 2.500000e+01 | -- | Inf | unknown
2754.15/2761.51 c 2761s| 11300 | 2924 | 25894k| 825.3 | 933M | 48 |8857 | 12k| 0 |9828 | 0 | 30k| 55 | 2.500000e+01 | -- | Inf | unknown
2760.03/2767.49 c 2767s| 11400 | 2931 | 25948k| 824.4 | 934M | 48 |8857 | 12k| 10k|9907 | 1 | 30k| 55 | 2.500000e+01 | -- | Inf | unknown
2766.92/2774.38 c 2774s| 11500 | 2956 | 26018k| 824.0 | 935M | 48 |8857 | 12k| 10k|9985 | 1 | 30k| 55 | 2.500000e+01 | -- | Inf | unknown
2771.40/2778.88 c 2779s| 11600 | 2963 | 26057k| 822.6 | 936M | 48 |8857 | 12k| 0 | 10k| 0 | 30k| 55 | 2.500000e+01 | -- | Inf | unknown
2775.71/2783.18 c 2783s| 11700 | 2988 | 26092k| 821.1 | 936M | 48 |8857 | 12k| 10k| 10k| 1 | 31k| 55 | 2.500000e+01 | -- | Inf | unknown
2779.98/2787.49 c 2787s| 11800 | 3009 | 26118k| 819.4 | 936M | 48 |8857 | 12k| 0 | 10k| 0 | 31k| 55 | 2.500000e+01 | -- | Inf | unknown
2783.87/2791.34 c 2791s| 11900 | 3012 | 26145k| 817.6 | 936M | 48 |8857 | 12k| 10k| 10k| 1 | 31k| 55 | 2.500000e+01 | -- | Inf | unknown
2787.68/2795.16 c 2795s| 12000 | 3032 | 26170k| 815.9 | 936M | 48 |8857 | 12k| 0 | 10k| 0 | 31k| 55 | 2.500000e+01 | -- | Inf | unknown
2793.85/2801.36 c 2801s| 12100 | 3051 | 26225k| 815.0 | 937M | 48 |8857 | 12k| 0 | 10k| 0 | 31k| 55 | 2.500000e+01 | -- | Inf | unknown
2796.65/2804.18 c 2804s| 12200 | 3048 | 26246k| 813.2 | 937M | 48 |8857 | 12k| 0 | 10k| 0 | 31k| 55 | 2.500000e+01 | -- | Inf | unknown
2800.43/2807.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2800.43/2807.93 c 2808s| 12300 | 3055 | 26266k| 811.3 | 943M | 48 |8857 | 12k| 10k| 10k| 1 | 31k| 55 | 2.500000e+01 | -- | Inf | unknown
2805.02/2812.51 c 2813s| 12400 | 3076 | 26301k| 809.9 | 943M | 48 |8857 | 12k| 0 | 10k| 0 | 31k| 55 | 2.500000e+01 | -- | Inf | unknown
2809.21/2816.72 c 2817s| 12500 | 3091 | 26331k| 808.3 | 943M | 48 |8857 | 12k| 10k| 10k| 1 | 31k| 55 | 2.500000e+01 | -- | Inf | unknown
2814.20/2821.72 c 2822s| 12600 | 3102 | 26365k| 806.9 | 944M | 48 |8857 | 12k| 10k| 10k| 0 | 31k| 55 | 2.500000e+01 | -- | Inf | unknown
2819.39/2826.92 c 2827s| 12700 | 3120 | 26415k| 805.9 | 945M | 48 |8857 | 11k| 10k| 11k| 1 | 31k| 55 | 2.500000e+01 | -- | Inf | unknown
2826.58/2834.14 c 2834s| 12800 | 3147 | 26472k| 805.2 | 945M | 48 |8857 | 11k| 10k| 11k| 1 | 31k| 55 | 2.500000e+01 | -- | Inf | unknown
2831.85/2839.47 c 2839s| 12900 | 3163 | 26521k| 804.2 | 947M | 48 |8857 | 12k| 10k| 11k| 2 | 32k| 55 | 2.500310e+01 | -- | Inf | unknown
2835.45/2843.02 c 2843s| 13000 | 3183 | 26541k| 802.4 | 948M | 48 |8857 | 12k| 10k| 11k| 1 | 32k| 55 | 2.500310e+01 | -- | Inf | unknown
2842.73/2850.37 c 2850s| 13100 | 3191 | 26626k| 802.6 | 948M | 48 |8857 | 12k| 10k| 11k| 1 | 32k| 55 | 2.600000e+01 | -- | Inf | unknown
2847.02/2854.60 c 2855s| 13200 | 3214 | 26662k| 801.2 | 949M | 48 |8857 | 12k| 0 | 11k| 0 | 32k| 55 | 2.600000e+01 | -- | Inf | unknown
2855.30/2862.92 c 2863s| 13300 | 3255 | 26763k| 801.9 | 949M | 48 |8857 | 12k| 10k| 11k| 1 | 32k| 55 | 2.600000e+01 | -- | Inf | unknown
2860.40/2868.08 c 2868s| 13400 | 3265 | 26818k| 801.1 | 949M | 48 |8857 | 12k| 10k| 11k| 1 | 32k| 55 | 2.600000e+01 | -- | Inf | unknown
2866.28/2873.96 c 2874s| 13500 | 3268 | 26883k| 800.6 | 949M | 48 |8857 | 12k| 0 | 11k| 0 | 32k| 55 | 2.600000e+01 | -- | Inf | unknown
2870.57/2878.29 c 2878s| 13600 | 3270 | 26919k| 799.3 | 949M | 48 |8857 | 12k| 0 | 11k| 0 | 32k| 55 | 2.600000e+01 | -- | Inf | unknown
2874.96/2882.66 c 2883s| 13700 | 3262 | 26957k| 798.1 | 950M | 48 |8857 | 11k| 10k| 11k| 1 | 32k| 55 | 2.600000e+01 | -- | Inf | unknown
2879.84/2887.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2879.84/2887.59 c 2888s| 13800 | 3265 | 26999k| 797.0 | 950M | 48 |8857 | 11k| 10k| 11k| 2 | 32k| 55 | 2.600000e+01 | -- | Inf | unknown
2885.93/2893.70 c 2894s| 13900 | 3300 | 27058k| 796.4 | 950M | 48 |8857 | 12k| 0 | 11k| 0 | 32k| 55 | 2.600000e+01 | -- | Inf | unknown
2892.11/2899.85 c 2900s| 14000 | 3318 | 27120k| 795.8 | 950M | 48 |8857 | 11k| 10k| 12k| 1 | 32k| 55 | 2.600000e+01 | -- | Inf | unknown
2898.90/2906.65 c 2907s| 14100 | 3332 | 27173k| 795.1 | 950M | 48 |8857 | 11k| 0 | 12k| 0 | 32k| 55 | 2.600000e+01 | -- | Inf | unknown
2905.88/2913.67 c 2914s| 14200 | 3365 | 27244k| 794.8 | 951M | 48 |8857 | 11k| 10k| 12k| 1 | 33k| 55 | 2.600000e+01 | -- | Inf | unknown
2921.64/2929.42 c 2929s| 14300 | 3381 | 27336k| 795.2 | 951M | 48 |8857 | 11k| 0 | 12k| 0 | 33k| 55 | 2.600000e+01 | -- | Inf | unknown
2926.34/2934.11 c 2934s| 14400 | 3404 | 27378k| 794.1 | 951M | 48 |8857 | 11k| 10k| 12k| 1 | 33k| 55 | 2.600000e+01 | -- | Inf | unknown
2932.23/2940.07 c 2940s| 14500 | 3425 | 27429k| 793.3 | 951M | 48 |8857 | 12k| 10k| 12k| 1 | 33k| 55 | 2.600000e+01 | -- | Inf | unknown
2936.01/2943.85 c 2944s| 14600 | 3438 | 27466k| 792.0 | 952M | 48 |8857 | 12k| 0 | 12k| 0 | 33k| 55 | 2.600000e+01 | -- | Inf | unknown
2940.69/2948.54 c 2949s| 14700 | 3456 | 27512k| 791.1 | 952M | 48 |8857 | 12k| 0 | 12k| 0 | 33k| 55 | 2.600000e+01 | -- | Inf | unknown
2947.48/2955.31 c 2955s| 14800 | 3479 | 27583k| 790.9 | 953M | 48 |8857 | 12k| 10k| 12k| 2 | 33k| 55 | 2.600000e+01 | -- | Inf | unknown
2953.46/2961.36 c 2961s| 14900 | 3534 | 27637k| 790.1 | 956M | 48 |8857 | 12k| 10k| 12k| 1 | 34k| 55 | 2.600000e+01 | -- | Inf | unknown
2958.05/2965.92 c 2966s| 15000 | 3557 | 27677k| 789.0 | 956M | 48 |8857 | 12k| 0 | 12k| 0 | 34k| 55 | 2.600000e+01 | -- | Inf | unknown
2964.93/2972.81 c 2973s| 15100 | 3570 | 27738k| 788.5 | 956M | 48 |8857 | 12k| 10k| 12k| 1 | 34k| 55 | 2.600000e+01 | -- | Inf | unknown
2972.51/2980.47 c 2980s| 15200 | 3569 | 27817k| 788.5 | 957M | 48 |8857 | 12k| 0 | 12k| 0 | 34k| 55 | 2.600000e+01 | -- | Inf | unknown
2976.50/2984.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2976.50/2984.42 c 2984s| 15300 | 3566 | 27844k| 787.1 | 957M | 48 |8857 | 12k| 10k| 12k| 1 | 34k| 55 | 2.600000e+01 | -- | Inf | unknown
2980.89/2988.82 c 2989s| 15400 | 3574 | 27884k| 786.0 | 957M | 48 |8857 | 12k| 10k| 12k| 1 | 34k| 55 | 2.600000e+01 | -- | Inf | unknown
2984.88/2992.86 c 2993s| 15500 | 3577 | 27911k| 784.5 | 958M | 48 |8857 | 12k| 10k| 12k| 1 | 34k| 55 | 2.600000e+01 | -- | Inf | unknown
2990.08/2998.03 c 2998s| 15600 | 3595 | 27963k| 783.8 | 958M | 48 |8857 | 12k| 0 | 12k| 0 | 34k| 55 | 2.600000e+01 | -- | Inf | unknown
2996.17/3004.11 c 3004s| 15700 | 3614 | 28020k| 783.2 | 958M | 48 |8857 | 11k| 0 | 13k| 0 | 34k| 55 | 2.600000e+01 | -- | Inf | unknown
3000.84/3008.86 c 3009s| 15800 | 3635 | 28058k| 782.0 | 958M | 48 |8857 | 11k| 10k| 13k| 1 | 34k| 55 | 2.600000e+01 | -- | Inf | unknown
3007.83/3015.80 c 3016s| 15900 | 3634 | 28106k| 781.2 | 960M | 48 |8857 | 11k| 10k| 13k| 1 | 35k| 55 | 2.600000e+01 | -- | Inf | unknown
3012.71/3020.79 c 3021s| 16000 | 3633 | 28148k| 780.2 | 961M | 48 |8857 | 11k| 10k| 13k| 1 | 35k| 55 | 2.600000e+01 | -- | Inf | unknown
3018.70/3026.73 c 3027s| 16100 | 3653 | 28199k| 779.5 | 961M | 48 |8857 | 11k| 0 | 13k| 0 | 35k| 55 | 2.600000e+01 | -- | Inf | unknown
3024.00/3032.09 c 3032s| 16200 | 3692 | 28245k| 778.6 | 961M | 48 |8857 | 11k| 10k| 13k| 1 | 35k| 55 | 2.600000e+01 | -- | Inf | unknown
3029.67/3037.75 c 3038s| 16300 | 3707 | 28300k| 778.0 | 961M | 48 |8857 | 11k| 0 | 13k| 0 | 35k| 55 | 2.600000e+01 | -- | Inf | unknown
3035.07/3043.19 c 3043s| 16400 | 3738 | 28348k| 777.1 | 962M | 48 |8857 | 11k| 10k| 13k| 1 | 35k| 55 | 2.600000e+01 | -- | Inf | unknown
3039.06/3047.15 c 3047s| 16500 | 3723 | 28377k| 775.8 | 963M | 48 |8857 | 11k| 10k| 13k| 1 | 35k| 55 | 2.600000e+01 | -- | Inf | unknown
3042.64/3050.72 c 3051s| 16600 | 3695 | 28402k| 774.4 | 963M | 48 |8857 | 11k| 10k| 13k| 2 | 35k| 55 | 2.600000e+01 | -- | Inf | unknown
3049.62/3057.79 c 3058s| 16700 | 3709 | 28479k| 774.3 | 965M | 48 |8857 | 11k| 10k| 13k| 1 | 35k| 55 | 2.600000e+01 | -- | Inf | unknown
3056.10/3064.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3056.10/3064.21 c 3064s| 16800 | 3745 | 28543k| 774.0 | 965M | 48 |8857 | 11k| 0 | 14k| 0 | 35k| 55 | 2.600000e+01 | -- | Inf | unknown
3062.09/3070.28 c 3070s| 16900 | 3777 | 28597k| 773.4 | 965M | 48 |8857 | 11k| 10k| 14k| 1 | 35k| 55 | 2.600000e+01 | -- | Inf | unknown
3068.18/3076.37 c 3076s| 17000 | 3787 | 28655k| 772.8 | 966M | 48 |8857 | 11k| 0 | 14k| 0 | 35k| 55 | 2.600000e+01 | -- | Inf | unknown
3073.36/3081.57 c 3082s| 17100 | 3800 | 28695k| 771.8 | 966M | 51 |8857 | 11k| 10k| 14k| 1 | 36k| 55 | 2.600000e+01 | -- | Inf | unknown
3079.96/3088.13 c 3088s| 17200 | 3837 | 28765k| 771.6 | 967M | 51 |8857 | 11k| 10k| 14k| 2 | 36k| 55 | 2.600000e+01 | -- | Inf | unknown
3087.73/3095.92 c 3096s| 17300 | 3869 | 28836k| 771.5 | 967M | 53 |8857 | 11k| 10k| 14k| 1 | 36k| 55 | 2.600000e+01 | -- | Inf | unknown
3098.10/3106.38 c 3106s| 17400 | 3928 | 28940k| 772.2 | 968M | 53 |8857 | 12k| 0 | 14k| 0 | 36k| 55 | 2.600000e+01 | -- | Inf | unknown
3105.38/3113.66 c 3114s| 17500 | 3974 | 29010k| 772.0 | 968M | 53 |8857 | 12k| 0 | 14k| 0 | 36k| 55 | 2.600000e+01 | -- | Inf | unknown
3110.57/3118.82 c 3119s| 17600 | 4006 | 29054k| 771.1 | 969M | 53 |8857 | 12k| 0 | 14k| 0 | 36k| 55 | 2.600000e+01 | -- | Inf | unknown
3114.97/3123.28 c 3123s| 17700 | 4007 | 29082k| 769.8 | 971M | 53 |8857 | 12k| 10k| 14k| 1 | 36k| 55 | 2.600000e+01 | -- | Inf | unknown
3121.25/3129.59 c 3130s| 17800 | 4028 | 29144k| 769.4 | 973M | 53 |8857 | 11k| 10k| 14k| 1 | 36k| 55 | 2.600000e+01 | -- | Inf | unknown
3125.54/3133.88 c 3134s| 17900 | 4033 | 29176k| 768.2 | 973M | 53 |8857 | 11k| 10k| 15k| 1 | 36k| 55 | 2.600000e+01 | -- | Inf | unknown
3131.12/3139.45 c 3139s| 18000 | 4046 | 29231k| 767.6 | 975M | 53 |8857 | 11k| 0 | 15k| 0 | 36k| 55 | 2.600000e+01 | -- | Inf | unknown
3136.01/3144.31 c 3144s| 18100 | 4044 | 29270k| 766.7 | 978M | 53 |8857 | 11k| 0 | 15k| 0 | 36k| 55 | 2.600000e+01 | -- | Inf | unknown
3141.10/3149.46 c 3149s| 18200 | 4055 | 29311k| 765.7 | 978M | 53 |8857 | 11k| 0 | 15k| 0 | 37k| 55 | 2.600000e+01 | -- | Inf | unknown
3145.09/3153.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3145.09/3153.42 c 3153s| 18300 | 4067 | 29339k| 764.5 | 979M | 53 |8857 | 11k| 0 | 15k| 0 | 37k| 55 | 2.600000e+01 | -- | Inf | unknown
3149.08/3157.42 c 3157s| 18400 | 4062 | 29370k| 763.3 | 980M | 53 |8857 | 11k| 0 | 15k| 0 | 37k| 55 | 2.600000e+01 | -- | Inf | unknown
3153.47/3161.83 c 3162s| 18500 | 4049 | 29405k| 762.2 | 984M | 53 |8857 | 11k| 10k| 15k| 1 | 37k| 55 | 2.600000e+01 | -- | Inf | unknown
3158.36/3166.73 c 3167s| 18600 | 4071 | 29443k| 761.2 | 992M | 53 |8857 | 11k| 10k| 15k| 1 | 37k| 55 | 2.600000e+01 | -- | Inf | unknown
3162.66/3171.07 c 3171s| 18700 | 4097 | 29461k| 759.7 | 993M | 53 |8857 | 11k| 10k| 15k| 1 | 37k| 55 | 2.600000e+01 | -- | Inf | unknown
3167.75/3176.15 c 3176s| 18800 | 4130 | 29502k| 758.8 | 993M | 53 |8857 | 11k| 0 | 15k| 0 | 37k| 55 | 2.600000e+01 | -- | Inf | unknown
3182.10/3190.56 c 3191s| 18900 | 4143 | 29604k| 759.5 | 993M | 53 |8857 | 12k| 0 | 16k| 0 | 37k| 55 | 2.600000e+01 | -- | Inf | unknown
3189.18/3197.66 c 3198s| 19000 | 4163 | 29664k| 759.1 | 993M | 53 |8857 | 12k| 0 | 16k| 0 | 37k| 55 | 2.600000e+01 | -- | Inf | unknown
3193.97/3202.42 c 3202s| 19100 | 4167 | 29714k| 758.4 | 994M | 53 |8857 | 12k| 0 | 16k| 0 | 37k| 55 | 2.600000e+01 | -- | Inf | unknown
3199.86/3208.32 c 3208s| 19200 | 4170 | 29774k| 758.0 | 994M | 53 |8857 | 11k| 10k| 16k| 1 | 38k| 55 | 2.600000e+01 | -- | Inf | unknown
3203.85/3212.32 c 3212s| 19300 | 4168 | 29812k| 757.1 | 995M | 53 |8857 | 11k| 0 | 16k| 0 | 38k| 55 | 2.600000e+01 | -- | Inf | unknown
3209.65/3218.13 c 3218s| 19400 | 4189 | 29862k| 756.4 | 996M | 53 |8857 | 11k| 10k| 16k| 1 | 38k| 55 | 2.600000e+01 | -- | Inf | unknown
3213.54/3222.10 c 3222s| 19500 | 4203 | 29890k| 755.2 | 996M | 53 |8857 | 11k| 10k| 16k| 1 | 38k| 55 | 2.600000e+01 | -- | Inf | unknown
3221.41/3229.96 c 3230s| 19600 | 4222 | 29947k| 754.7 | 997M | 53 |8857 | 11k| 0 | 16k| 0 | 38k| 55 | 2.600000e+01 | -- | Inf | unknown
3224.30/3232.82 c 3233s| 19700 | 4221 | 29966k| 753.3 | 997M | 53 |8857 | 11k| 10k| 16k| 1 | 38k| 55 | 2.600000e+01 | -- | Inf | unknown
3227.60/3236.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3227.60/3236.13 c 3236s| 19800 | 4213 | 29987k| 752.0 | 997M | 53 |8857 | 11k| 10k| 16k| 2 | 38k| 55 | 2.600000e+01 | -- | Inf | unknown
3231.98/3240.50 c 3240s| 19900 | 4224 | 30006k| 750.5 | 997M | 53 |8857 | 11k| 10k| 16k| 1 | 38k| 55 | 2.600000e+01 | -- | Inf | unknown
3234.07/3242.61 c 3243s| 20000 | 4210 | 30014k| 748.9 | 997M | 53 |8857 | 11k| 10k| 16k| 1 | 38k| 55 | 2.600000e+01 | -- | Inf | unknown
3238.36/3246.92 c 3247s| 20100 | 4235 | 30049k| 747.9 | 997M | 53 |8857 | 11k| 10k| 16k| 1 | 38k| 55 | 2.600000e+01 | -- | Inf | unknown
3244.05/3252.65 c 3253s| 20200 | 4252 | 30104k| 747.4 | 998M | 53 |8857 | 11k| 0 | 16k| 0 | 38k| 55 | 2.600000e+01 | -- | Inf | unknown
3249.24/3257.87 c 3258s| 20300 | 4253 | 30146k| 746.6 | 998M | 53 |8857 | 11k| 0 | 17k| 0 | 38k| 55 | 2.600000e+01 | -- | Inf | unknown
3253.13/3261.79 c 3262s| 20400 | 4259 | 30176k| 745.5 | 999M | 53 |8857 | 11k| 10k| 17k| 1 | 38k| 55 | 2.600000e+01 | -- | Inf | unknown
3258.21/3266.85 c 3267s| 20500 | 4276 | 30219k| 744.7 | 1000M | 53 |8857 | 11k| 10k| 17k| 1 | 38k| 55 | 2.600000e+01 | -- | Inf | unknown
3264.70/3273.32 c 3273s| 20600 | 4293 | 30282k| 744.4 | 1000M | 53 |8857 | 11k| 0 | 17k| 0 | 39k| 55 | 2.600000e+01 | -- | Inf | unknown
3269.29/3277.96 c 3278s| 20700 | 4294 | 30320k| 743.5 | 1001M | 53 |8857 | 11k| 10k| 17k| 1 | 39k| 55 | 2.600000e+01 | -- | Inf | unknown
3276.57/3285.29 c 3285s| 20800 | 4318 | 30394k| 743.5 | 1001M | 53 |8857 | 11k| 0 | 17k| 0 | 39k| 55 | 2.600000e+01 | -- | Inf | unknown
3281.56/3290.21 c 3290s| 20900 | 4332 | 30437k| 742.7 | 1002M | 53 |8857 | 11k| 0 | 17k| 0 | 39k| 55 | 2.600000e+01 | -- | Inf | unknown
3286.36/3295.06 c 3295s| 21000 | 4342 | 30485k| 742.1 | 1002M | 53 |8857 | 11k| 0 | 17k| 0 | 39k| 55 | 2.600000e+01 | -- | Inf | unknown
3289.84/3298.59 c 3299s| 21100 | 4337 | 30505k| 740.8 | 1003M | 53 |8857 | 11k| 10k| 17k| 1 | 39k| 55 | 2.600000e+01 | -- | Inf | unknown
3297.12/3305.85 c 3306s| 21200 | 4349 | 30558k| 740.3 | 1003M | 53 |8857 | 11k| 0 | 17k| 0 | 39k| 55 | 2.600000e+01 | -- | Inf | unknown
3300.71/3309.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3300.71/3309.43 c 3309s| 21300 | 4333 | 30584k| 739.1 | 1004M | 53 |8857 | 11k| 0 | 17k| 0 | 39k| 55 | 2.600000e+01 | -- | Inf | unknown
3307.20/3315.92 c 3316s| 21400 | 4360 | 30649k| 738.9 | 1004M | 53 |8857 | 11k| 0 | 17k| 0 | 39k| 55 | 2.600000e+01 | -- | Inf | unknown
3312.39/3321.16 c 3321s| 21500 | 4386 | 30694k| 738.2 | 1004M | 53 |8857 | 11k| 10k| 17k| 1 | 39k| 55 | 2.600000e+01 | -- | Inf | unknown
3316.17/3324.94 c 3325s| 21600 | 4377 | 30719k| 737.0 | 1004M | 53 |8857 | 11k| 10k| 17k| 2 | 39k| 55 | 2.600000e+01 | -- | Inf | unknown
3319.76/3328.60 c 3329s| 21700 | 4395 | 30747k| 735.9 | 1004M | 53 |8857 | 11k| 0 | 18k| 0 | 39k| 55 | 2.600000e+01 | -- | Inf | unknown
3322.96/3331.76 c 3332s| 21800 | 4403 | 30770k| 734.7 | 1005M | 53 |8857 | 11k| 10k| 18k| 1 | 39k| 55 | 2.600000e+01 | -- | Inf | unknown
3329.64/3338.41 c 3338s| 21900 | 4449 | 30840k| 734.6 | 1005M | 53 |8857 | 11k| 10k| 18k| 1 | 39k| 55 | 2.600000e+01 | -- | Inf | unknown
3334.03/3342.88 c 3343s| 22000 | 4466 | 30877k| 733.8 | 1006M | 53 |8857 | 11k| 0 | 18k| 0 | 40k| 55 | 2.600000e+01 | -- | Inf | unknown
3340.51/3349.34 c 3349s| 22100 | 4483 | 30925k| 733.2 | 1007M | 53 |8857 | 11k| 0 | 18k| 0 | 40k| 55 | 2.600000e+01 | -- | Inf | unknown
3344.22/3353.04 c 3353s| 22200 | 4493 | 30954k| 732.1 | 1007M | 53 |8857 | 11k| 0 | 18k| 0 | 40k| 55 | 2.600000e+01 | -- | Inf | unknown
3353.48/3362.30 c 3362s| 22300 | 4572 | 31066k| 733.0 | 1008M | 53 |8857 | 11k| 10k| 18k| 1 | 40k| 55 | 2.600000e+01 | -- | Inf | unknown
3357.37/3366.20 c 3366s| 22400 | 4587 | 31092k| 731.9 | 1008M | 53 |8857 | 11k| 10k| 18k| 1 | 40k| 55 | 2.600000e+01 | -- | Inf | unknown
3361.56/3370.45 c 3370s| 22500 | 4609 | 31114k| 730.7 | 1009M | 53 |8857 | 12k| 10k| 18k| 1 | 40k| 55 | 2.600000e+01 | -- | Inf | unknown
3365.95/3374.81 c 3375s| 22600 | 4616 | 31151k| 729.9 | 1009M | 53 |8857 | 12k| 0 | 18k| 0 | 40k| 55 | 2.600000e+01 | -- | Inf | unknown
3370.64/3379.51 c 3380s| 22700 | 4616 | 31186k| 729.0 | 1009M | 53 |8857 | 12k| 10k| 18k| 1 | 40k| 55 | 2.600000e+01 | -- | Inf | unknown
3374.14/3383.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3374.14/3383.04 c 3383s| 22800 | 4615 | 31206k| 727.8 | 1009M | 53 |8857 | 12k| 0 | 18k| 0 | 40k| 55 | 2.600000e+01 | -- | Inf | unknown
3378.32/3387.26 c 3387s| 22900 | 4635 | 31232k| 726.7 | 1010M | 53 |8857 | 12k| 0 | 18k| 0 | 40k| 55 | 2.600000e+01 | -- | Inf | unknown
3384.50/3393.48 c 3393s| 23000 | 4663 | 31280k| 726.1 | 1010M | 53 |8857 | 12k| 10k| 19k| 1 | 41k| 55 | 2.600000e+01 | -- | Inf | unknown
3391.59/3400.51 c 3401s| 23100 | 4667 | 31338k| 725.8 | 1011M | 53 |8857 | 12k| 10k| 19k| 1 | 41k| 55 | 2.600000e+01 | -- | Inf | unknown
3399.57/3408.50 c 3408s| 23200 | 4676 | 31428k| 726.2 | 1011M | 53 |8857 | 12k| 0 | 19k| 0 | 41k| 55 | 2.600000e+01 | -- | Inf | unknown
3406.85/3415.82 c 3416s| 23300 | 4706 | 31489k| 725.9 | 1013M | 53 |8857 | 12k| 10k| 19k| 1 | 41k| 55 | 2.600000e+01 | -- | Inf | unknown
3413.53/3422.54 c 3423s| 23400 | 4727 | 31554k| 725.7 | 1013M | 53 |8857 | 12k| 0 | 19k| 0 | 41k| 55 | 2.600000e+01 | -- | Inf | unknown
3417.62/3426.63 c 3427s| 23500 | 4733 | 31583k| 724.7 | 1013M | 53 |8857 | 12k| 0 | 19k| 0 | 41k| 55 | 2.600000e+01 | -- | Inf | unknown
3424.42/3433.46 c 3433s| 23600 | 4740 | 31643k| 724.4 | 1014M | 53 |8857 | 12k| 10k| 19k| 1 | 41k| 55 | 2.600000e+01 | -- | Inf | unknown
3429.01/3438.10 c 3438s| 23700 | 4750 | 31682k| 723.7 | 1015M | 53 |8857 | 11k| 10k| 20k| 1 | 41k| 55 | 2.600000e+01 | -- | Inf | unknown
3433.49/3442.51 c 3443s| 23800 | 4768 | 31716k| 722.8 | 1015M | 53 |8857 | 11k| 10k| 20k| 1 | 41k| 55 | 2.600000e+01 | -- | Inf | unknown
3445.97/3455.04 c 3455s| 23900 | 4769 | 31808k| 723.2 | 1015M | 53 |8857 | 11k| 0 | 20k| 0 | 41k| 55 | 2.600000e+01 | -- | Inf | unknown
3449.85/3458.95 c 3459s| 24000 | 4771 | 31839k| 722.3 | 1015M | 53 |8857 | 12k| 0 | 20k| 0 | 41k| 55 | 2.600000e+01 | -- | Inf | unknown
3454.54/3463.67 c 3464s| 24100 | 4778 | 31876k| 721.5 | 1016M | 53 |8857 | 11k| 10k| 20k| 1 | 42k| 55 | 2.600000e+01 | -- | Inf | unknown
3459.23/3468.31 c 3468s| 24200 | 4800 | 31919k| 720.8 | 1018M | 53 |8857 | 11k| 10k| 20k| 1 | 42k| 55 | 2.600000e+01 | -- | Inf | unknown
3466.11/3475.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3466.11/3475.22 c 3475s| 24300 | 4838 | 31980k| 720.6 | 1019M | 53 |8857 | 12k| 10k| 20k| 2 | 42k| 55 | 2.600000e+01 | -- | Inf | unknown
3472.49/3481.67 c 3482s| 24400 | 4885 | 32031k| 720.1 | 1019M | 53 |8857 | 12k| 10k| 20k| 1 | 42k| 55 | 2.600000e+01 | -- | Inf | unknown
3478.68/3487.85 c 3488s| 24500 | 4898 | 32091k| 719.8 | 1020M | 53 |8857 | 12k| 0 | 20k| 0 | 42k| 55 | 2.600000e+01 | -- | Inf | unknown
3483.07/3492.21 c 3492s| 24600 | 4911 | 32116k| 718.8 | 1020M | 53 |8857 | 12k| 0 | 20k| 0 | 42k| 55 | 2.600000e+01 | -- | Inf | unknown
3489.96/3499.14 c 3499s| 24700 | 4926 | 32164k| 718.3 | 1020M | 53 |8857 | 12k| 0 | 21k| 0 | 42k| 55 | 2.600000e+01 | -- | Inf | unknown
3495.85/3505.01 c 3505s| 24800 | 4944 | 32219k| 717.9 | 1021M | 53 |8857 | 12k| 10k| 21k| 1 | 42k| 55 | 2.600000e+01 | -- | Inf | unknown
3500.43/3509.69 c 3510s| 24900 | 4955 | 32259k| 717.2 | 1021M | 53 |8857 | 12k| 10k| 21k| 1 | 42k| 55 | 2.600000e+01 | -- | Inf | unknown
3503.32/3512.53 c 3513s| 25000 | 4954 | 32275k| 715.9 | 1021M | 53 |8857 | 12k| 10k| 21k| 1 | 42k| 55 | 2.600000e+01 | -- | Inf | unknown
3507.41/3516.65 c 3517s| 25100 | 4959 | 32306k| 715.0 | 1021M | 53 |8857 | 12k| 0 | 21k| 0 | 43k| 55 | 2.600000e+01 | -- | Inf | unknown
3512.60/3521.89 c 3522s| 25200 | 4972 | 32347k| 714.4 | 1021M | 53 |8857 | 12k| 0 | 21k| 0 | 43k| 55 | 2.600000e+01 | -- | Inf | unknown
3517.98/3527.24 c 3527s| 25300 | 4995 | 32390k| 713.7 | 1021M | 53 |8857 | 12k| 10k| 21k| 2 | 43k| 55 | 2.600000e+01 | -- | Inf | unknown
3522.67/3531.93 c 3532s| 25400 | 5022 | 32423k| 712.9 | 1022M | 53 |8857 | 12k| 10k| 21k| 2 | 43k| 55 | 2.600000e+01 | -- | Inf | unknown
3527.36/3536.67 c 3537s| 25500 | 5028 | 32458k| 712.1 | 1022M | 53 |8857 | 12k| 0 | 21k| 0 | 43k| 55 | 2.600000e+01 | -- | Inf | unknown
3531.86/3541.11 c 3541s| 25600 | 5029 | 32490k| 711.2 | 1022M | 53 |8857 | 12k| 0 | 21k| 0 | 43k| 55 | 2.600000e+01 | -- | Inf | unknown
3537.24/3546.58 c 3547s| 25700 | 5040 | 32539k| 710.8 | 1022M | 53 |8857 | 12k| 10k| 21k| 2 | 43k| 55 | 2.600000e+01 | -- | Inf | unknown
3541.03/3550.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3541.03/3550.32 c 3550s| 25800 | 5052 | 32562k| 709.7 | 1022M | 53 |8857 | 12k| 0 | 21k| 0 | 43k| 55 | 2.600000e+01 | -- | Inf | unknown
3546.31/3555.60 c 3556s| 25900 | 5065 | 32603k| 709.0 | 1023M | 53 |8857 | 12k| 10k| 22k| 1 | 43k| 55 | 2.600000e+01 | -- | Inf | unknown
3550.00/3559.39 c 3559s| 26000 | 5058 | 32625k| 708.0 | 1023M | 53 |8857 | 12k| 0 | 22k| 0 | 43k| 55 | 2.600000e+01 | -- | Inf | unknown
3555.19/3564.54 c 3565s| 26100 | 5077 | 32667k| 707.4 | 1023M | 53 |8857 | 12k| 10k| 22k| 1 | 44k| 55 | 2.700000e+01 | -- | Inf | unknown
3558.69/3568.08 c 3568s| 26200 | 5089 | 32688k| 706.3 | 1024M | 53 |8857 | 12k| 0 | 22k| 0 | 44k| 55 | 2.700000e+01 | -- | Inf | unknown
3562.69/3572.08 c 3572s| 26300 | 5087 | 32707k| 705.2 | 1024M | 53 |8857 | 12k| 10k| 22k| 1 | 44k| 55 | 2.700000e+01 | -- | Inf | unknown
3566.17/3575.53 c 3576s| 26400 | 5101 | 32724k| 704.0 | 1024M | 53 |8857 | 12k| 10k| 22k| 1 | 44k| 55 | 2.700000e+01 | -- | Inf | unknown
3569.06/3578.42 c 3578s| 26500 | 5100 | 32737k| 702.8 | 1024M | 53 |8857 | 12k| 0 | 22k| 0 | 44k| 55 | 2.700000e+01 | -- | Inf | unknown
3575.24/3584.62 c 3585s| 26600 | 5111 | 32794k| 702.5 | 1024M | 53 |8857 | 12k| 10k| 22k| 1 | 44k| 55 | 2.700000e+01 | -- | Inf | unknown
3579.13/3588.58 c 3589s| 26700 | 5139 | 32816k| 701.5 | 1024M | 53 |8857 | 12k| 0 | 22k| 0 | 44k| 55 | 2.700000e+01 | -- | Inf | unknown
3584.52/3593.98 c 3594s| 26800 | 5134 | 32848k| 700.7 | 1025M | 53 |8857 | 12k| 0 | 22k| 0 | 44k| 55 | 2.700000e+01 | -- | Inf | unknown
3587.51/3597.00 c
3587.51/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.51/3597.00 c Solving Time (sec) : 3597.00
3587.51/3597.00 c Solving Nodes : 26844 (total of 46888 nodes in 2 runs)
3587.51/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.51/3597.00 c Dual Bound : +2.70000000000000e+01
3587.51/3597.00 c Gap : infinite
3587.51/3597.00 s UNKNOWN
3587.51/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.51/3597.00 c Total Time : 3597.00
3587.51/3597.00 c solving : 3597.00
3587.51/3597.00 c presolving : 1.64 (included in solving)
3587.51/3597.00 c reading : 0.22 (included in solving)
3587.51/3597.00 c copying : 0.37 (9 #copies) (minimal 0.04, maximal 0.05, average 0.04)
3587.51/3597.00 c Original Problem :
3587.51/3597.00 c Problem name : HOME/instance-4432664-1721097251.opb
3587.51/3597.00 c Variables : 8883 (8883 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.51/3597.00 c Constraints : 17459 initial, 17459 maximal
3587.51/3597.00 c Objective : minimize, 9 non-zeros (abs.min = 1, abs.max = 256)
3587.51/3597.00 c Presolved Problem :
3587.51/3597.00 c Problem name : t_HOME/instance-4432664-1721097251.opb
3587.51/3597.00 c Variables : 8857 (8857 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.51/3597.00 c Constraints : 11507 initial, 12513 maximal
3587.51/3597.00 c Objective : minimize, 9 non-zeros (abs.min = 1, abs.max = 256)
3587.51/3597.00 c Nonzeros : 326808 constraint, 3632 clique table
3587.51/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.51/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.00 c domcol : 0.08 0.00 3 0 0 0 0 0 0 0 0 0
3587.51/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.00 c dualsparsify : 0.09 0.00 1 0 0 0 0 0 0 0 0 0
3587.51/3597.00 c gateextraction : 0.01 0.00 4 0 0 0 0 0 0 0 0 0
3587.51/3597.00 c implics : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
3587.51/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.00 c milp : 0.63 0.00 1 0 0 0 0 0 17459 8891 0 0
3587.51/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.00 c sparsify : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3587.51/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.00 c trivial : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
3587.51/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.00 c dualfix : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
3587.51/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.00 c probing : 0.10 0.00 1 0 0 0 0 0 0 0 0 0
3587.51/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.51/3597.00 c symmetry : 0.28 0.00 1 0 0 0 0 0 0 1500 0 0
3587.51/3597.00 c vbounds : 0.00 0.00 4 0 26 0 0 0 0 0 0 0
3587.51/3597.00 c knapsack : 0.01 0.00 28 0 0 0 0 0 1 2 12 15
3587.51/3597.00 c setppc : 0.01 0.00 19 0 0 0 0 0 139 0 0 0
3587.51/3597.00 c linear : 0.30 0.08 23 0 0 0 0 0 26 0 311 349
3587.51/3597.00 c logicor : 0.03 0.02 14 0 0 0 0 0 162 0 0 481
3587.51/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.51/3597.00 c components : 0.04 0.00 2 0 0 0 0 0 0 0 0 0
3587.51/3597.00 c root node : - - - 0 - - 0 - - - - -
3587.51/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.51/3597.00 c benderslp : 0 0 0 0 32964 0 0 3988 0 0 0 0 0 0 0
3587.51/3597.00 c integral : 0 0 0 0 32964 0 0 3988 0 0 0 0 0 0 65928
3587.51/3597.00 c knapsack : 332+ 382 22 535854 0 0 0 3983 450452 4711 346577 4413 166 0 0
3587.51/3597.00 c setppc : 1551+ 1634 22 530670 0 0 0 10 14180 39 12630 0 0 0 0
3587.51/3597.00 c linear : 8547+ 8577 22 531104 0 0 0 6 91521 27684 10155683 0 0 0 0
3587.62/3597.01 c logicor : 1077+ 1946 22 119880 0 0 0 0 54791 896 44472 237 13 0 0
3587.62/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.62/3597.01 c benderslp : 0.02 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3587.62/3597.01 c integral : 22.76 0.00 0.00 0.00 22.76 0.00 0.00 0.00 0.00 0.00
3587.62/3597.01 c knapsack : 41.25 0.00 0.03 40.88 0.00 0.00 0.00 0.12 0.18 0.03
3587.62/3597.01 c setppc : 0.52 0.00 0.00 0.51 0.00 0.00 0.00 0.00 0.01 0.00
3587.62/3597.01 c linear : 195.72 0.08 0.05 195.45 0.00 0.00 0.00 0.00 0.13 0.02
3587.62/3597.01 c logicor : 10.05 0.02 0.00 9.98 0.00 0.00 0.00 0.00 0.05 0.00
3587.62/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.01 c components : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.62/3597.01 c dualfix : 2 0 0 0
3587.62/3597.01 c genvbounds : 0 0 0 0
3587.62/3597.01 c nlobbt : 0 0 0 0
3587.62/3597.01 c obbt : 0 0 0 0
3587.62/3597.01 c probing : 0 0 0 0
3587.62/3597.01 c pseudoobj : 165250 0 0 0
3587.62/3597.01 c redcost : 72799 0 0 12
3587.62/3597.01 c rootredcost : 2 0 0 0
3587.62/3597.01 c symmetry : 0 0 0 0
3587.62/3597.01 c vbounds : 208443 0 0 0
3587.62/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.62/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.01 c genvbounds : 0.08 0.00 0.00 0.08 0.00 0.00
3587.62/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.01 c probing : 0.10 0.00 0.10 0.00 0.00 0.00
3587.62/3597.01 c pseudoobj : 0.22 0.00 0.00 0.22 0.00 0.00
3587.62/3597.01 c redcost : 13.12 0.00 0.00 13.12 0.00 0.00
3587.62/3597.01 c rootredcost : 0.06 0.00 0.00 0.06 0.00 0.00
3587.62/3597.01 c symmetry : 0.37 0.00 0.28 0.09 0.00 0.00
3587.62/3597.01 c vbounds : 2.61 0.00 0.00 2.61 0.00 0.00
3587.62/3597.01 c Symmetry :
3587.62/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.62/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.62/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.62/3597.01 c shadow tree time : 0.00 s
3587.62/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.62/3597.01 c propagation : 0.76 11266 11186 - 94767 36.8 926 20.2 - - -
3587.62/3597.01 c infeasible LP : 2.31 1899 1899 - 10735 31.9 245 21.4 1899 29.3 0
3587.62/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.62/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.62/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.62/3597.01 c applied globally : 0.20 - - 0 43021 31.0 - - 1899 - -
3587.62/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.62/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.62/3597.01 c cut pool : 4.01 - 7566 42 - - 78039 889051 - - - - - (maximal pool size: 10195)
3587.62/3597.01 c aggregation : 3.40 0.00 715 22 0 0 37000 476999 43 14322 14309 13 0
3587.62/3597.01 c > cmir : - - - - - - - 151495 0 3965 3965 0 -
3587.62/3597.01 c > flowcover : - - - - - - - 319556 0 9799 9799 0 -
3587.62/3597.01 c > knapsackcover : - - - - - - - 5948 43 558 545 13 -
3587.62/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c clique : 0.51 0.00 22 22 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c gomory : 44.90 0.00 713 20 0 0 38548 296101 81 12219 12219 0 0
3587.62/3597.01 c > gomorymi : - - - - - - - 127313 49 5178 5178 0 -
3587.62/3597.01 c > strongcg : - - - - - - - 168788 32 7041 7041 0 -
3587.62/3597.01 c impliedbounds : 0.17 0.00 715 22 0 0 228 2869 0 1634 1634 0 0
3587.62/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c multilinear : 0.00 0.00 444 22 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c rlt : 0.00 0.00 411 20 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c zerohalf : 6.03 0.00 715 22 0 0 2396 113082 9 12799 12798 1 0
3587.62/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.62/3597.01 c hybrid : 0.34 0.00 6848 22 41153 0 852681 324 0 45934
3587.62/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.62/3597.01 c problem variables: 0.00 - 0 0
3587.62/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.62/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c relpscost : 22.73 0.00 32964 0 0 0 0 0 0 65928
3587.62/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.62/3597.01 c LP solutions : 0.00 - - 0 0
3587.62/3597.01 c relax solutions : 0.00 - - 0 0
3587.62/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.62/3597.01 c strong branching : 0.00 - - 0 0
3587.62/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.62/3597.01 c adaptivediving : 9.34 0.00 25 0 0
3587.62/3597.01 c alns : 9.42 0.00 7 0 0
3587.62/3597.01 c bound : 0.00 0.00 0 0 0
3587.62/3597.01 c clique : 0.11 0.00 1 0 0
3587.62/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.62/3597.01 c completesol : 0.00 0.00 0 0 0
3587.62/3597.01 c conflictdiving : 208.22 0.00 856 0 0
3587.62/3597.01 c crossover : 0.01 0.00 0 0 0
3587.62/3597.01 c dins : 0.00 0.00 0 0 0
3587.62/3597.01 c distributiondivin: 102.83 0.00 338 0 0
3587.62/3597.01 c dps : 0.00 0.00 0 0 0
3587.62/3597.01 c dualval : 0.00 0.00 0 0 0
3587.62/3597.01 c farkasdiving : 4.33 0.00 2 0 0
3587.62/3597.01 c feasjump : 0.21 0.00 2 0 0
3587.62/3597.01 c feaspump : 125.34 0.00 53 0 0
3587.62/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.62/3597.01 c fracdiving : 158.68 0.00 659 0 0
3587.62/3597.01 c gins : 0.01 0.00 0 0 0
3587.62/3597.01 c guideddiving : 0.00 0.00 0 0 0
3587.62/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.62/3597.01 c indicator : 0.02 0.00 0 0 0
3587.62/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.62/3597.01 c indoneopt : 0.02 0.00 0 0 0
3587.62/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.62/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.62/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.62/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.62/3597.01 c linesearchdiving : 113.56 0.00 482 0 0
3587.62/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.62/3597.01 c locks : 0.09 0.00 1 0 0
3587.62/3597.01 c lpface : 0.07 0.00 0 0 0
3587.62/3597.01 c mpec : 0.00 0.00 0 0 0
3587.62/3597.01 c multistart : 0.00 0.00 0 0 0
3587.62/3597.01 c mutation : 0.00 0.00 0 0 0
3587.62/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.62/3597.01 c objpscostdiving : 78.90 0.00 12 0 0
3587.62/3597.01 c octane : 0.00 0.00 0 0 0
3587.62/3597.01 c ofins : 0.01 0.00 0 0 0
3587.62/3597.01 c oneopt : 0.02 0.00 0 0 0
3587.62/3597.01 c padm : 0.00 0.00 0 0 0
3587.62/3597.01 c proximity : 0.00 0.00 0 0 0
3587.62/3597.01 c pscostdiving : 89.90 0.00 301 0 0
3587.62/3597.01 c randrounding : 3.29 0.00 3994 0 0
3587.62/3597.01 c rens : 0.17 0.00 2 0 0
3587.62/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.62/3597.01 c repair : 0.00 0.00 0 0 0
3587.62/3597.01 c rins : 0.01 0.00 0 0 0
3587.62/3597.01 c rootsoldiving : 50.31 0.00 36 0 0
3587.62/3597.01 c rounding : 1.19 0.00 2775 0 0
3587.62/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.62/3597.01 c shiftandpropagate: 0.28 0.00 2 0 0
3587.62/3597.01 c shifting : 11.59 0.00 1387 0 0
3587.62/3597.01 c simplerounding : 0.02 0.00 0 0 0
3587.62/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.62/3597.01 c subnlp : 0.03 0.00 0 0 0
3587.62/3597.01 c trivial : 0.01 0.00 4 0 0
3587.62/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.62/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.62/3597.01 c trysol : 0.01 0.00 0 0 0
3587.62/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.62/3597.01 c undercover : 0.00 0.00 0 0 0
3587.62/3597.01 c vbounds : 0.00 0.00 0 0 0
3587.62/3597.01 c veclendiving : 86.10 0.00 254 0 0
3587.62/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.62/3597.01 c zirounding : 0.59 0.00 1000 0 0
3587.62/3597.01 c other solutions : - - - 0 -
3587.62/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.62/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.62/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.62/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.62/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.62/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.62/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.62/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.62/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.62/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.62/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.62/3597.01 c primal LP : 41.68 3313 1 1.00 0.02 41.67 3312
3587.62/3597.01 c dual LP : 1992.91 40245 21225674 527.90 10650.60 0.20 37
3587.62/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.62/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.62/3597.01 c resolve instable : 0.00 0 0 0.00 -
3587.62/3597.01 c diving/probing LP: 799.37 11456 11647813 1016.74 14571.30
3587.62/3597.01 c strong branching : 3.23 55 24781 450.56 7680.85 - - 44
3587.62/3597.01 c (at root node) : - 55 24781 450.56 -
3587.62/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3587.62/3597.01 c B&B Tree :
3587.62/3597.01 c number of runs : 2
3587.62/3597.01 c nodes : 26844 (17461 internal, 9383 leaves)
3587.62/3597.01 c feasible leaves : 0
3587.62/3597.01 c infeas. leaves : 9381
3587.62/3597.01 c objective leaves : 1
3587.62/3597.01 c nodes (total) : 46888 (32964 internal, 13924 leaves)
3587.62/3597.01 c nodes left : 5150
3587.62/3597.01 c max depth : 53
3587.62/3597.01 c max depth (total): 53
3587.62/3597.01 c backtracks : 6702 (25.0%)
3587.62/3597.01 c early backtracks : 0 (0.0%)
3587.62/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.62/3597.01 c delayed cutoffs : 2930
3587.62/3597.01 c repropagations : 8444 (269300 domain reductions, 1451 cutoffs)
3587.62/3597.01 c avg switch length: 5.07
3587.62/3597.01 c switching time : 164.73
3587.62/3597.01 c Root Node :
3587.62/3597.01 c First LP value : +1.70000000000000e+01
3587.62/3597.01 c First LP Iters : 9723 (18939.70 Iter/sec)
3587.62/3597.01 c First LP Time : 0.51
3587.62/3597.01 c Final Dual Bound : +2.10000000000000e+01
3587.62/3597.01 c Final Root Iters : 27545
3587.62/3597.01 c Root LP Estimate : +4.79738679369428e+01
3587.62/3597.01 c Solution :
3587.62/3597.01 c Solutions found : 0 (0 improvements)
3587.62/3597.01 c Primal Bound : -
3587.62/3597.01 c Dual Bound : +2.70000000000000e+01
3587.62/3597.01 c Gap : infinite
3587.62/3597.01 c Integrals : Total Avg%
3587.62/3597.01 c primal-dual : 359699.79 100.00
3587.62/3597.01 c primal-ref : - - (not evaluated)
3587.62/3597.01 c dual-ref : - - (not evaluated)
3587.72/3597.19 c Time complete: 3587.81.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (60289 MiB free)
memory of node 1: 64473 MiB (61961 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432664-1721097251/watcher-4432664-1721097251 -o /tmp/evaluation-result-4432664-1721097251/solver-4432664-1721097251 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721093664-830411 --watchdog 3760 pbscip -f HOME/instance-4432664-1721097251.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=832360, runsolver pid=832357
[startup+0.100362 s]*
/proc/loadavg: 4.21 4.22 4.21 7/242 832361
/proc/meminfo: memFree=125177056/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=65004 memory=24496 CPUtime=0.09 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 3201 0 0 0 9 0 0 0 20 0 1 0 161883974 66564096 6124 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 16251 6124 3264 3540 0 4508 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65004 KiB
Current children cumulated memory: 24496 KiB
[startup+0.210891 s]*
/proc/loadavg: 4.21 4.22 4.21 6/242 832361
/proc/meminfo: memFree=125157540/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=82380 memory=42180 CPUtime=0.2 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 7588 0 0 0 19 1 0 0 20 0 1 0 161883974 84357120 10545 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 20595 10545 3264 3540 0 8852 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 82380 KiB
Current children cumulated memory: 42180 KiB
[startup+0.31088 s]*
/proc/loadavg: 4.21 4.22 4.21 6/242 832361
/proc/meminfo: memFree=125076116/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=177100 memory=135344 CPUtime=0.3 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 32848 0 0 0 26 4 0 0 20 0 1 0 161883974 181350400 33836 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 44275 33836 3568 3540 0 32532 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 177100 KiB
Current children cumulated memory: 135344 KiB
[startup+0.700363 s]
/proc/loadavg: 4.21 4.22 4.21 5/242 832361
/proc/meminfo: memFree=125013064/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=287532 memory=243144 CPUtime=0.68 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 50450 0 0 0 59 9 0 0 20 0 1 0 161883974 294432768 60786 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 71883 60786 3711 3540 0 60140 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 287532 KiB
Current children cumulated memory: 243144 KiB
[startup+1.50027 s]
/proc/loadavg: 4.21 4.22 4.21 5/240 832375
/proc/meminfo: memFree=126083348/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=260860 memory=215988 CPUtime=1.46 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 51359 0 0 0 137 9 0 0 20 0 1 0 161883974 267120640 53997 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 65215 53997 3839 3540 0 53472 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 260860 KiB
Current children cumulated memory: 215988 KiB
[startup+3.11323 s]
/proc/loadavg: 4.21 4.22 4.21 6/240 832413
/proc/meminfo: memFree=125875312/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=479360 memory=407280 CPUtime=3.07 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 96474 0 0 0 291 16 0 0 20 0 1 0 161883974 490864640 101820 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 119840 101820 3983 3540 0 108097 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 479360 KiB
Current children cumulated memory: 407280 KiB
[startup+6.30032 s]
/proc/loadavg: 4.19 4.21 4.21 6/240 832414
/proc/meminfo: memFree=125537348/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=525052 memory=451784 CPUtime=6.26 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 102756 0 0 0 608 18 0 0 20 0 1 0 161883974 537653248 112946 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 131263 112946 3983 3540 0 119520 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 525052 KiB
Current children cumulated memory: 451784 KiB
[startup+12.7003 s]
/proc/loadavg: 4.18 4.21 4.20 6/239 832556
/proc/meminfo: memFree=127262076/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=573692 memory=496440 CPUtime=12.64 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 112934 0 0 0 1244 20 0 0 20 0 1 0 161883974 587460608 124110 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 143423 124110 3983 3540 0 131680 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 573692 KiB
Current children cumulated memory: 496440 KiB
[startup+25.5004 s]
/proc/loadavg: 4.06 4.18 4.19 6/243 832673
/proc/meminfo: memFree=127034504/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=573692 memory=497236 CPUtime=25.41 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 112994 0 0 0 2520 21 0 0 20 0 1 0 161883974 587460608 124309 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 143423 124309 4031 3540 0 131680 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 573692 KiB
Current children cumulated memory: 497236 KiB
[startup+51.1128 s]
/proc/loadavg: 4.10 4.18 4.19 5/243 832677
/proc/meminfo: memFree=126916332/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=573692 memory=497788 CPUtime=50.95 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 113094 0 0 0 5074 21 0 0 20 0 1 0 161883974 587460608 124447 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 143423 124447 4031 3540 0 131680 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 573692 KiB
Current children cumulated memory: 497788 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.17 4.18 5/242 832688
/proc/meminfo: memFree=126770912/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=652808 memory=581336 CPUtime=102 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 132579 0 0 0 10176 24 0 0 20 0 1 0 161883974 668475392 145334 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 163202 145334 4031 3540 0 151459 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 652808 KiB
Current children cumulated memory: 581336 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.18 4.19 5/241 832698
/proc/meminfo: memFree=126705468/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=679244 memory=629968 CPUtime=161.84 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 137518 0 0 0 16159 25 0 0 20 0 1 0 161883974 695545856 157492 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 169811 157492 4031 3540 0 158068 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 679244 KiB
Current children cumulated memory: 629968 KiB
[startup+222.3 s]
/proc/loadavg: 4.36 4.22 4.20 5/241 832708
/proc/meminfo: memFree=126706068/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=679732 memory=632480 CPUtime=221.67 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 137714 0 0 0 22142 25 0 0 20 0 1 0 161883974 696045568 158120 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 169933 158120 4031 3540 0 158190 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 679732 KiB
Current children cumulated memory: 632480 KiB
[startup+282.3 s]
/proc/loadavg: 4.78 4.38 4.25 5/242 832720
/proc/meminfo: memFree=126701552/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=680320 memory=634848 CPUtime=281.51 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 137904 0 0 0 28125 26 0 0 20 0 1 0 161883974 696647680 158712 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 170080 158712 4031 3540 0 158337 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 680320 KiB
Current children cumulated memory: 634848 KiB
[startup+342.3 s]
/proc/loadavg: 4.44 4.35 4.25 5/242 832730
/proc/meminfo: memFree=126720196/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=680320 memory=641560 CPUtime=341.36 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 138105 0 0 0 34110 26 0 0 20 0 1 0 161883974 696647680 160390 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 170080 160390 4031 3540 0 158337 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 680320 KiB
Current children cumulated memory: 641560 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 4.30 4.24 5/244 832744
/proc/meminfo: memFree=126706356/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=681024 memory=643680 CPUtime=401.2 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 138464 0 0 0 40094 26 0 0 20 0 1 0 161883974 697368576 160920 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 170256 160920 4031 3540 0 158513 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 681024 KiB
Current children cumulated memory: 643680 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.26 4.23 5/244 832754
/proc/meminfo: memFree=126687316/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=681864 memory=644360 CPUtime=461.06 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 138825 0 0 0 46080 26 0 0 20 0 1 0 161883974 698228736 161090 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
################
# More data... #
################
/proc/loadavg: 4.22 4.14 4.16 5/242 834204
/proc/meminfo: memFree=125194700/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1124148 memory=1078496 CPUtime=3213.82 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 257990 0 0 0 321331 51 0 0 20 0 1 0 161883974 1151127552 269624 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 281037 269624 4047 3540 0 269294 0
Current children cumulated CPU time: 3213.82 s
Current children cumulated vsize: 1124148 KiB
Current children cumulated memory: 1078496 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.15 4.16 5/243 834385
/proc/meminfo: memFree=125176124/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1124148 memory=1081936 CPUtime=3273.68 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 258648 0 0 0 327317 51 0 0 20 0 1 0 161883974 1151127552 270484 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 281037 270484 4047 3540 0 269294 0
Current children cumulated CPU time: 3273.68 s
Current children cumulated vsize: 1124148 KiB
Current children cumulated memory: 1081936 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/243 834395
/proc/meminfo: memFree=125163640/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1124148 memory=1082120 CPUtime=3333.53 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 259072 0 0 0 333302 51 0 0 20 0 1 0 161883974 1151127552 270530 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 281037 270530 4047 3540 0 269294 0
Current children cumulated CPU time: 3333.53 s
Current children cumulated vsize: 1124148 KiB
Current children cumulated memory: 1082120 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/245 834463
/proc/meminfo: memFree=125140920/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1128820 memory=1086820 CPUtime=3393.38 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 260747 0 0 0 339287 51 0 0 20 0 1 0 161883974 1155911680 271705 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 282205 271705 4047 3540 0 270462 0
Current children cumulated CPU time: 3393.38 s
Current children cumulated vsize: 1128820 KiB
Current children cumulated memory: 1086820 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.15 6/245 834474
/proc/meminfo: memFree=125085464/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1132616 memory=1092888 CPUtime=3453.24 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 262133 0 0 0 345272 52 0 0 20 0 1 0 161883974 1159798784 273222 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 283154 273222 4047 3540 0 271411 0
Current children cumulated CPU time: 3453.24 s
Current children cumulated vsize: 1132616 KiB
Current children cumulated memory: 1092888 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/245 834485
/proc/meminfo: memFree=125062212/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1140388 memory=1101044 CPUtime=3513.1 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 264473 0 0 0 351258 52 0 0 20 0 1 0 161883974 1167757312 275261 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 285097 275261 4047 3540 0 273354 0
Current children cumulated CPU time: 3513.1 s
Current children cumulated vsize: 1140388 KiB
Current children cumulated memory: 1101044 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/244 834495
/proc/meminfo: memFree=125040664/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1143128 memory=1103952 CPUtime=3572.95 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 265595 0 0 0 357243 52 0 0 20 0 1 0 161883974 1170563072 275988 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 285782 275988 4047 3540 0 274039 0
Current children cumulated CPU time: 3572.95 s
Current children cumulated vsize: 1143128 KiB
Current children cumulated memory: 1103952 KiB
[startup+3597.21 s]
# the end of solver process 832360 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.29 s, system=0.538812 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.12 4.14 5/244 834495
/proc/meminfo: memFree=125039684/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1143128 memory=1103952 CPUtime=3574.65 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 265605 0 0 0 357413 52 0 0 20 0 1 0 161883974 1170563072 275988 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 285782 275988 4047 3540 0 274039 0
Current children cumulated CPU time: 3574.65 s
Current children cumulated vsize: 1143128 KiB
Current children cumulated memory: 1103952 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.12 4.14 6/244 834497
/proc/meminfo: memFree=125035180/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1143128 memory=1103952 CPUtime=3581.03 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 265605 0 0 0 358051 52 0 0 20 0 1 0 161883974 1170563072 275988 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 285782 275988 4047 3540 0 274039 0
Current children cumulated CPU time: 3581.03 s
Current children cumulated vsize: 1143128 KiB
Current children cumulated memory: 1103952 KiB
[startup+3593.6 s]
/proc/loadavg: 4.10 4.12 4.14 5/244 834497
/proc/meminfo: memFree=125034320/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1143128 memory=1103952 CPUtime=3584.22 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 265641 0 0 0 358370 52 0 0 20 0 1 0 161883974 1170563072 275988 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 285782 275988 4047 3540 0 274039 0
Current children cumulated CPU time: 3584.22 s
Current children cumulated vsize: 1143128 KiB
Current children cumulated memory: 1103952 KiB
[startup+3595.2 s]
/proc/loadavg: 4.09 4.11 4.14 6/244 834497
/proc/meminfo: memFree=125034320/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1143128 memory=1103952 CPUtime=3585.82 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 265641 0 0 0 358530 52 0 0 20 0 1 0 161883974 1170563072 275988 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 285782 275988 4047 3540 0 274039 0
Current children cumulated CPU time: 3585.82 s
Current children cumulated vsize: 1143128 KiB
Current children cumulated memory: 1103952 KiB
[startup+3596 s]*
/proc/loadavg: 4.09 4.11 4.14 5/244 834497
/proc/meminfo: memFree=125034320/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1143128 memory=1104136 CPUtime=3586.62 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 265686 0 0 0 358610 52 0 0 20 0 1 0 161883974 1170563072 276034 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 285782 276034 4047 3540 0 274039 0
Current children cumulated CPU time: 3586.62 s
Current children cumulated vsize: 1143128 KiB
Current children cumulated memory: 1104136 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.11 4.14 5/244 834497
/proc/meminfo: memFree=125034320/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1143128 memory=1104136 CPUtime=3587.41 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 265687 0 0 0 358689 52 0 0 20 0 1 0 161883974 1170563072 276034 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 285782 276034 4047 3540 0 274039 0
Current children cumulated CPU time: 3587.41 s
Current children cumulated vsize: 1143128 KiB
Current children cumulated memory: 1104136 KiB
[startup+3597 s]*
/proc/loadavg: 4.09 4.11 4.14 5/244 834498
/proc/meminfo: memFree=125034320/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1143128 memory=1104136 CPUtime=3587.62 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 265687 0 0 0 358710 52 0 0 20 0 1 0 161883974 1170563072 276034 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 285782 276034 4047 3540 0 274039 0
Current children cumulated CPU time: 3587.62 s
Current children cumulated vsize: 1143128 KiB
Current children cumulated memory: 1104136 KiB
[startup+3597.11 s]
/proc/loadavg: 4.09 4.11 4.14 5/244 834498
/proc/meminfo: memFree=125034320/131655788 swapFree=131071996/131071996
[pid=832360] ppid=832357 vsize=1143128 memory=1104136 CPUtime=3587.72 cores=5,7
/proc/832360/stat : 832360 (pbscip) R 832357 832360 830398 0 -1 4194304 265783 0 0 0 358720 52 0 0 20 0 1 0 161883974 1170563072 276034 134679101440 4194304 18693293 140734000717664 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34209792 140734000722948 140734000723047 140734000723047 140734000730062 0
/proc/832360/statm: 285782 276034 4047 3540 0 274039 0
Current children cumulated CPU time: 3587.72 s
Current children cumulated vsize: 1143128 KiB
Current children cumulated memory: 1104136 KiB
Child status: 0
Real time (s): 3597.21
CPU time (s): 3587.82
CPU user time (s): 3587.29
CPU system time (s): 0.538812
CPU usage (%): 99.7391
Max. virtual memory (cumulated for all children) (KiB): 1143128
Max. memory (cumulated for all children) (KiB): 1104136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.29
system time used= 0.538812
maximum resident set size= 1104136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265862
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= 63
involuntary context switches= 2199
# summary of solver processes directly reported to runsolver:
# pid: 832360
# total CPU time (s): 3587.82
# total CPU user time (s): 3587.29
# total CPU system time (s): 0.538812
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7358 second user time and 34.5948 second system time
The end