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-4490804-1751383217.opb>
0.09/0.20 c original problem has 11001 variables (11001 bin, 0 int, 0 impl, 0 cont) and 21678 constraints
0.09/0.20 c problem read in 0.20
0.28/0.36 c presolving:
0.58/0.68 c (0.7s) running MILP presolver
0.87/0.93 c (0.9s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.87/0.93 c (round 1, medium) 0 del vars, 21678 del conss, 10848 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 171 clqs
0.98/1.02 c (round 2, exhaustive) 0 del vars, 21678 del conss, 10848 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 18 upgd conss, 0 impls, 171 clqs
1.08/1.14 c (1.1s) probing: 76/11001 (0.7%) - 0 fixings, 0 aggregations, 4 implications, 0 bound changes
1.08/1.14 c (1.1s) probing aborted: 50/50 successive totally useless probings
1.17/1.25 c (1.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.38/1.45 c (1.4s) symmetry computation finished: 1500 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.11)
1.57/1.65 c dynamic symmetry handling statistics:
1.57/1.65 c orbitopal reduction: no components
1.57/1.65 c orbital reduction: no components
1.57/1.65 c lexicographic reduction: no permutations
1.57/1.65 c handled 1500 out of 1500 symmetry components
1.57/1.65 c (round 3, exhaustive) 0 del vars, 21678 del conss, 12348 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 18 upgd conss, 0 impls, 1693 clqs
1.57/1.68 c (round 4, exhaustive) 0 del vars, 21678 del conss, 12348 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1518 upgd conss, 0 impls, 1693 clqs
1.67/1.75 c presolving (5 rounds: 5 fast, 5 medium, 4 exhaustive):
1.67/1.75 c 0 deleted vars, 21678 deleted constraints, 12348 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.67/1.75 c 0 implications, 1693 cliques
1.67/1.75 c presolved problem has 11001 variables (11001 bin, 0 int, 0 impl, 0 cont) and 12348 constraints
1.67/1.75 c 18 constraints of type <knapsack>
1.67/1.75 c 1500 constraints of type <setppc>
1.67/1.75 c 10830 constraints of type <linear>
1.67/1.75 c transformed objective value is always integral (scale: 1)
1.67/1.75 c Presolving Time: 1.40
1.67/1.75 c - non default parameters ----------------------------------------------------------------------
1.67/1.75 c # SCIP version 10.0.0
1.67/1.75 c
1.67/1.75 c # maximal time in seconds to run
1.67/1.75 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.67/1.75 c limits/time = 3596.997011
1.67/1.75 c
1.67/1.75 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.67/1.75 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.67/1.75 c limits/memory = 27900
1.67/1.75 c
1.67/1.75 c # belongs reading time to solving time?
1.67/1.75 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.67/1.75 c timing/reading = TRUE
1.67/1.75 c
1.67/1.75 c -----------------------------------------------------------------------------------------------
1.67/1.75 c start solving
1.67/1.75 c
3.07/3.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.07/3.16 c 3.2s| 1 | 0 | 11322 | - | 485M | 0 | 11k| 12k| 12k| 0 | 0 | 1 | 0 | 1.800000e+01 | -- | Inf | unknown
6.36/6.49 c 6.5s| 1 | 0 | 21965 | - | 504M | 0 | 11k| 12k| 12k| 11 | 1 | 1 | 0 | 1.800000e+01 | -- | Inf | unknown
6.66/6.71 c 6.7s| 1 | 0 | 21979 | - | 508M | 0 | 11k| 12k| 12k| 23 | 2 | 1 | 0 | 1.800000e+01 | -- | Inf | unknown
6.86/6.97 c 7.0s| 1 | 0 | 21998 | - | 511M | 0 | 11k| 12k| 12k| 34 | 3 | 1 | 0 | 1.800000e+01 | -- | Inf | unknown
7.15/7.28 c 7.3s| 1 | 0 | 22017 | - | 514M | 0 | 11k| 12k| 12k| 45 | 4 | 1 | 0 | 1.800000e+01 | -- | Inf | unknown
7.46/7.55 c 7.5s| 1 | 0 | 22038 | - | 516M | 0 | 11k| 12k| 12k| 58 | 5 | 1 | 0 | 1.800000e+01 | -- | Inf | unknown
7.76/7.85 c 7.8s| 1 | 0 | 22057 | - | 520M | 0 | 11k| 12k| 12k| 70 | 6 | 1 | 0 | 1.800000e+01 | -- | Inf | unknown
8.15/8.21 c 8.2s| 1 | 0 | 22072 | - | 524M | 0 | 11k| 12k| 12k| 81 | 7 | 1 | 0 | 1.800000e+01 | -- | Inf | unknown
8.45/8.59 c 8.6s| 1 | 0 | 22084 | - | 527M | 0 | 11k| 12k| 12k| 94 | 8 | 1 | 0 | 1.800000e+01 | -- | Inf | unknown
8.85/8.97 c 9.0s| 1 | 0 | 22103 | - | 529M | 0 | 11k| 12k| 12k| 104 | 9 | 1 | 0 | 1.800000e+01 | -- | Inf | unknown
9.25/9.35 c 9.3s| 1 | 0 | 22129 | - | 533M | 0 | 11k| 12k| 12k| 117 | 10 | 1 | 0 | 1.800000e+01 | -- | Inf | unknown
9.64/9.71 c 9.7s| 1 | 0 | 22156 | - | 538M | 0 | 11k| 12k| 12k| 131 | 11 | 3 | 0 | 1.800000e+01 | -- | Inf | unknown
17.02/17.17 c 17.2s| 1 | 2 | 49856 | - | 540M | 0 | 11k| 12k| 12k| 131 | 11 | 15 | 20 | 1.900000e+01 | -- | Inf | unknown
68.89/69.12 c 69.1s| 100 | 101 |287913 |2684.4 | 554M | 11 | 11k| 12k| 12k| 366 | 2 | 104 | 20 | 2.000000e+01 | -- | Inf | unknown
92.21/92.52 c 92.5s| 200 | 195 |430156 |2050.3 | 563M | 21 | 11k| 12k| 12k| 606 | 1 | 213 | 20 | 2.100000e+01 | -- | Inf | unknown
109.56/109.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
109.56/109.91 c 110s| 300 | 263 |518136 |1658.8 | 570M | 36 | 11k| 12k| 12k| 771 | 1 | 332 | 20 | 2.100000e+01 | -- | Inf | unknown
121.63/122.05 c 122s| 400 | 301 |586920 |1415.4 | 572M | 36 | 11k| 12k| 12k| 883 | 1 | 470 | 20 | 2.100000e+01 | -- | Inf | unknown
129.30/129.72 c 130s| 500 | 333 |624539 |1207.2 | 573M | 36 | 11k| 12k| 12k| 956 | 1 | 641 | 20 | 2.100000e+01 | -- | Inf | unknown
138.98/139.43 c 139s| 600 | 393 |666433 |1075.6 | 576M | 36 | 11k| 13k| 12k|1079 | 1 | 972 | 20 | 2.100000e+01 | -- | Inf | unknown
151.44/151.95 c 152s| 700 | 468 |735966 |1021.2 | 579M | 37 | 11k| 13k| 12k|1195 | 1 |1266 | 20 | 2.100000e+01 | -- | Inf | unknown
158.42/158.95 c 159s| 800 | 484 |771824 | 938.3 | 582M | 39 | 11k| 13k| 0 |1284 | 0 |1397 | 20 | 2.100000e+01 | -- | Inf | unknown
166.89/167.41 c 167s| 900 | 492 |801142 | 866.5 | 583M | 40 | 11k| 13k| 0 |1350 | 0 |1482 | 20 | 2.100000e+01 | -- | Inf | unknown
175.57/176.16 c 176s| 1000 | 535 |839793 | 818.5 | 586M | 40 | 11k| 13k| 12k|1425 | 1 |1660 | 20 | 2.100000e+01 | -- | Inf | unknown
192.72/193.30 c 193s| 1100 | 630 |941721 | 836.7 | 587M | 40 | 11k| 14k| 12k|1616 | 2 |1829 | 20 | 2.100000e+01 | -- | Inf | unknown
208.18/208.88 c 209s| 1200 | 720 | 1052k| 859.7 | 590M | 40 | 11k| 14k| 12k|1814 | 1 |1916 | 20 | 2.100000e+01 | -- | Inf | unknown
222.54/223.28 c 223s| 1300 | 791 | 1143k| 863.3 | 591M | 40 | 11k| 14k| 12k|1964 | 1 |2002 | 20 | 2.100000e+01 | -- | Inf | unknown
239.09/239.83 c 240s| 1400 | 878 | 1266k| 889.6 | 593M | 40 | 11k| 13k| 12k|2110 | 1 |2107 | 20 | 2.100000e+01 | -- | Inf | unknown
257.94/258.77 c 259s| 1500 | 957 | 1402k| 921.1 | 595M | 40 | 11k| 13k| 0 |2258 | 0 |2187 | 20 | 2.100000e+01 | -- | Inf | unknown
271.31/272.11 c 272s| 1600 | 1013 | 1491k| 919.0 | 598M | 40 | 11k| 13k| 12k|2329 | 1 |2314 | 20 | 2.100000e+01 | -- | Inf | unknown
284.47/285.30 c 285s| 1700 | 1068 | 1580k| 917.0 | 601M | 40 | 11k| 13k| 12k|2387 | 1 |2398 | 20 | 2.100000e+01 | -- | Inf | unknown
286.86/287.79 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
286.86/287.79 c (run 1, node 1716) performing user restart
286.86/287.79 c
286.96/287.83 c (restart) converted 6 cuts from the global cut pool into linear constraints
286.96/287.83 c
286.96/287.88 c presolving:
287.06/287.90 c (round 1, fast) 0 del vars, 66 del conss, 4 add conss, 0 chg bounds, 29 chg sides, 254 chg coeffs, 0 upgd conss, 0 impls, 1705 clqs
287.06/287.93 c (round 2, exhaustive) 0 del vars, 66 del conss, 5 add conss, 0 chg bounds, 36 chg sides, 296 chg coeffs, 6 upgd conss, 0 impls, 1707 clqs
287.06/287.96 c (round 3, exhaustive) 0 del vars, 93 del conss, 5 add conss, 0 chg bounds, 36 chg sides, 515 chg coeffs, 6 upgd conss, 0 impls, 1707 clqs
287.17/288.06 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
287.17/288.06 c 0 deleted vars, 93 deleted constraints, 5 added constraints, 0 tightened bounds, 0 added holes, 36 changed sides, 578 changed coefficients
287.17/288.06 c 0 implications, 1707 cliques
287.17/288.06 c presolved problem has 11001 variables (11001 bin, 0 int, 0 impl, 0 cont) and 13436 constraints
287.17/288.06 c 76 constraints of type <knapsack>
287.17/288.06 c 1513 constraints of type <setppc>
287.17/288.06 c 10839 constraints of type <linear>
287.17/288.06 c 1008 constraints of type <logicor>
287.17/288.06 c transformed objective value is always integral (scale: 1)
287.17/288.06 c Presolving Time: 1.58
287.17/288.06 c
287.96/288.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
287.96/288.82 c 289s| 1 | 0 | 1600k| - | 601M | 0 | 11k| 13k| 12k| 0 | 0 |2431 | 20 | 2.100000e+01 | -- | Inf | unknown
288.16/289.08 c 289s| 1 | 0 | 1600k| - | 605M | 0 | 11k| 13k| 12k| 17 | 1 |2431 | 20 | 2.100000e+01 | -- | Inf | unknown
288.46/289.35 c 289s| 1 | 0 | 1600k| - | 605M | 0 | 11k| 13k| 12k| 32 | 2 |2431 | 20 | 2.100000e+01 | -- | Inf | unknown
288.76/289.65 c 290s| 1 | 0 | 1600k| - | 607M | 0 | 11k| 13k| 12k| 47 | 3 |2431 | 20 | 2.100000e+01 | -- | Inf | unknown
289.06/289.90 c 290s| 1 | 0 | 1600k| - | 609M | 0 | 11k| 13k| 12k| 61 | 4 |2431 | 20 | 2.100000e+01 | -- | Inf | unknown
289.35/290.22 c 290s| 1 | 0 | 1600k| - | 609M | 0 | 11k| 13k| 12k| 73 | 5 |2431 | 20 | 2.100000e+01 | -- | Inf | unknown
289.65/290.55 c 291s| 1 | 0 | 1600k| - | 611M | 0 | 11k| 13k| 12k| 86 | 6 |2431 | 20 | 2.100000e+01 | -- | Inf | unknown
289.95/290.87 c 291s| 1 | 0 | 1600k| - | 612M | 0 | 11k| 13k| 12k| 97 | 7 |2431 | 20 | 2.100000e+01 | -- | Inf | unknown
290.26/291.18 c 291s| 1 | 0 | 1600k| - | 614M | 0 | 11k| 13k| 12k| 110 | 8 |2431 | 20 | 2.100000e+01 | -- | Inf | unknown
290.65/291.51 c 292s| 1 | 0 | 1600k| - | 616M | 0 | 11k| 13k| 12k| 121 | 9 |2431 | 20 | 2.100000e+01 | -- | Inf | unknown
290.95/291.83 c 292s| 1 | 0 | 1600k| - | 617M | 0 | 11k| 13k| 12k| 136 | 10 |2431 | 20 | 2.100000e+01 | -- | Inf | unknown
291.35/292.22 c 292s| 1 | 0 | 1601k| - | 619M | 0 | 11k| 13k| 12k| 150 | 11 |2431 | 20 | 2.100000e+01 | -- | Inf | unknown
298.23/299.16 c 299s| 1 | 2 | 1614k| - | 619M | 0 | 11k| 13k| 12k| 150 | 11 |2444 | 52 | 2.100000e+01 | -- | Inf | unknown
339.32/340.32 c 340s| 100 | 101 | 1933k|1049.3 | 624M | 22 | 11k| 13k| 12k| 307 | 2 |2549 | 52 | 2.100000e+01 | -- | Inf | unknown
379.61/380.77 c 381s| 200 | 198 | 2237k|1153.4 | 632M | 27 | 11k| 13k| 12k| 404 | 1 |3119 | 52 | 2.100000e+01 | -- | Inf | unknown
398.97/400.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
398.97/400.12 c 400s| 300 | 251 | 2411k|1182.5 | 633M | 32 | 11k| 14k| 12k| 494 | 1 |3381 | 52 | 2.100000e+01 | -- | Inf | unknown
414.92/416.15 c 416s| 400 | 307 | 2557k|1195.4 | 634M | 32 | 11k| 14k| 12k| 542 | 1 |3599 | 52 | 2.100000e+01 | -- | Inf | unknown
433.67/434.90 c 435s| 500 | 355 | 2696k|1204.5 | 636M | 35 | 11k| 13k| 0 | 642 | 0 |3843 | 52 | 2.100000e+01 | -- | Inf | unknown
450.62/452.00 c 452s| 600 | 390 | 2840k|1214.4 | 637M | 36 | 11k| 13k| 12k| 694 | 1 |4057 | 52 | 2.100000e+01 | -- | Inf | unknown
484.43/485.82 c 486s| 700 | 462 | 3069k|1259.0 | 641M | 36 | 11k| 13k| 12k| 794 | 1 |4093 | 52 | 2.100000e+01 | -- | Inf | unknown
517.24/518.71 c 519s| 800 | 546 | 3356k|1323.0 | 642M | 36 | 11k| 13k| 12k| 907 | 1 |4236 | 52 | 2.100000e+01 | -- | Inf | unknown
551.85/553.40 c 553s| 900 | 621 | 3661k|1388.9 | 644M | 36 | 11k| 13k| 12k| 936 | 2 |4270 | 52 | 2.100000e+01 | -- | Inf | unknown
579.98/581.69 c 582s| 1000 | 703 | 3887k|1421.1 | 648M | 36 | 11k| 13k| 12k|1023 | 1 |4343 | 52 | 2.100000e+01 | -- | Inf | unknown
611.89/613.63 c 614s| 1100 | 762 | 4194k|1479.7 | 652M | 37 | 11k| 13k| 12k|1105 | 1 |4448 | 52 | 2.100000e+01 | -- | Inf | unknown
648.10/650.00 c 650s| 1200 | 837 | 4567k|1556.9 | 657M | 37 | 11k| 13k| 12k|1176 | 1 |4619 | 52 | 2.100000e+01 | -- | Inf | unknown
687.39/689.38 c 689s| 1300 | 921 | 4886k|1611.0 | 661M | 37 | 11k| 13k| 0 |1219 | 0 |4857 | 52 | 2.100000e+01 | -- | Inf | unknown
719.01/721.05 c 721s| 1400 | 991 | 5194k|1658.3 | 662M | 37 | 11k| 13k| 12k|1333 | 2 |4936 | 52 | 2.100000e+01 | -- | Inf | unknown
762.00/764.14 c 764s| 1500 | 1058 | 5641k|1745.8 | 663M | 37 | 11k| 13k| 12k|1474 | 1 |5034 | 52 | 2.260000e+01 | -- | Inf | unknown
789.42/791.67 c 792s| 1600 | 1123 | 5911k|1774.5 | 666M | 37 | 11k| 12k| 12k|1582 | 1 |5134 | 52 | 2.300000e+01 | -- | Inf | unknown
817.65/819.92 c 820s| 1700 | 1181 | 6170k|1798.5 | 669M | 37 | 11k| 13k| 12k|1714 | 1 |5988 | 52 | 2.300000e+01 | -- | Inf | unknown
872.00/874.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
872.00/874.44 c 874s| 1800 | 1268 | 6579k|1863.6 | 675M | 37 | 11k| 13k| 12k|1823 | 2 |6127 | 52 | 2.300000e+01 | -- | Inf | unknown
894.14/896.65 c 897s| 1900 | 1340 | 6836k|1883.2 | 679M | 44 | 11k| 13k| 12k|1917 | 1 |6360 | 52 | 2.300000e+01 | -- | Inf | unknown
905.41/907.92 c 908s| 2000 | 1365 | 6926k|1856.7 | 688M | 55 | 11k| 13k| 0 |2058 | 0 |6423 | 52 | 2.300000e+01 | -- | Inf | unknown
911.30/913.84 c 914s| 2100 | 1370 | 6972k|1820.1 | 690M | 55 | 11k| 13k| 0 |2114 | 0 |6485 | 52 | 2.300000e+01 | -- | Inf | unknown
925.36/927.94 c 928s| 2200 | 1396 | 7105k|1807.7 | 693M | 55 | 11k| 13k| 12k|2228 | 1 |6550 | 52 | 2.400000e+01 | -- | Inf | unknown
937.62/940.28 c 940s| 2300 | 1419 | 7220k|1791.2 | 694M | 55 | 11k| 13k| 12k|2338 | 1 |6593 | 52 | 2.400000e+01 | -- | Inf | unknown
963.73/966.41 c 966s| 2400 | 1513 | 7468k|1807.9 | 698M | 55 | 11k| 13k| 12k|2472 | 1 |6698 | 52 | 2.400000e+01 | -- | Inf | unknown
988.14/990.98 c 991s| 2500 | 1576 | 7672k|1813.4 | 701M | 55 | 11k| 13k| 0 |2600 | 0 |6852 | 52 | 2.400000e+01 | -- | Inf | unknown
1008.57/1011.47 c 1011s| 2600 | 1650 | 7865k|1816.0 | 704M | 55 | 11k| 13k| 12k|2741 | 1 |7015 | 52 | 2.400000e+01 | -- | Inf | unknown
1034.59/1037.52 c 1038s| 2700 | 1725 | 8099k|1828.0 | 708M | 55 | 11k| 13k| 12k|2834 | 1 |7393 | 52 | 2.400000e+01 | -- | Inf | unknown
1060.60/1063.69 c 1064s| 2800 | 1819 | 8368k|1847.1 | 711M | 55 | 11k| 13k| 12k|2969 | 1 |7594 | 52 | 2.400000e+01 | -- | Inf | unknown
1093.38/1096.56 c 1097s| 2900 | 1906 | 8646k|1867.4 | 714M | 55 | 11k| 13k| 12k|3049 | 1 |7691 | 52 | 2.400000e+01 | -- | Inf | unknown
1110.22/1113.43 c 1113s| 3000 | 1980 | 8823k|1865.2 | 716M | 55 | 11k| 13k| 12k|3178 | 1 |7814 | 52 | 2.400000e+01 | -- | Inf | unknown
1124.67/1127.98 c 1128s| 3100 | 2048 | 8979k|1858.9 | 718M | 55 | 11k| 13k| 12k|3324 | 2 |7854 | 52 | 2.400000e+01 | -- | Inf | unknown
1138.43/1141.74 c 1142s| 3200 | 2090 | 9121k|1849.9 | 721M | 55 | 11k| 13k| 12k|3463 | 1 |7901 | 52 | 2.400000e+01 | -- | Inf | unknown
1151.08/1154.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1151.08/1154.47 c 1154s| 3300 | 2126 | 9246k|1838.0 | 725M | 55 | 11k| 13k| 0 |3600 | 0 |7954 | 52 | 2.400000e+01 | -- | Inf | unknown
1167.42/1170.87 c 1171s| 3400 | 2175 | 9425k|1837.1 | 726M | 55 | 11k| 13k| 12k|3743 | 1 |8009 | 52 | 2.400000e+01 | -- | Inf | unknown
1180.58/1184.01 c 1184s| 3500 | 2217 | 9543k|1824.4 | 728M | 55 | 11k| 13k| 12k|3892 | 2 |8081 | 52 | 2.400000e+01 | -- | Inf | unknown
1190.84/1194.32 c 1194s| 3600 | 2244 | 9631k|1806.7 | 729M | 55 | 11k| 13k| 0 |4014 | 0 |8151 | 52 | 2.400000e+01 | -- | Inf | unknown
1199.41/1202.92 c 1203s| 3700 | 2264 | 9701k|1786.2 | 729M | 55 | 11k| 13k| 12k|4169 | 2 |8207 | 52 | 2.400000e+01 | -- | Inf | unknown
1210.47/1214.09 c 1214s| 3800 | 2284 | 9787k|1769.4 | 731M | 55 | 11k| 13k| 0 |4255 | 0 |8261 | 52 | 2.443983e+01 | -- | Inf | unknown
1245.55/1249.25 c 1249s| 3900 | 2324 | 9973k|1771.1 | 732M | 55 | 11k| 13k| 12k|4409 | 1 |8321 | 52 | 2.443983e+01 | -- | Inf | unknown
1257.81/1261.56 c 1262s| 4000 | 2365 | 10083k|1759.3 | 732M | 55 | 11k| 13k| 12k|4518 | 1 |8375 | 52 | 2.443983e+01 | -- | Inf | unknown
1275.25/1279.04 c 1279s| 4100 | 2424 | 10244k|1756.8 | 733M | 55 | 11k| 13k| 12k|4644 | 2 |8490 | 52 | 2.443983e+01 | -- | Inf | unknown
1289.10/1292.94 c 1293s| 4200 | 2451 | 10351k|1745.2 | 734M | 55 | 11k| 13k| 12k|4727 | 2 |8552 | 52 | 2.464242e+01 | -- | Inf | unknown
1299.36/1303.28 c 1303s| 4300 | 2475 | 10437k|1730.5 | 734M | 55 | 11k| 13k| 12k|4835 | 1 |8688 | 52 | 2.464242e+01 | -- | Inf | unknown
1313.71/1317.63 c 1318s| 4400 | 2506 | 10577k|1725.1 | 736M | 55 | 11k| 13k| 12k|4958 | 1 |8788 | 52 | 2.464242e+01 | -- | Inf | unknown
1324.28/1328.28 c 1328s| 4500 | 2541 | 10669k|1712.1 | 737M | 55 | 11k| 13k| 12k|5031 | 1 |8908 | 52 | 2.464242e+01 | -- | Inf | unknown
1342.51/1346.51 c 1346s| 4600 | 2564 | 10824k|1709.6 | 738M | 55 | 11k| 13k| 12k|5116 | 1 |8950 | 52 | 2.464242e+01 | -- | Inf | unknown
1355.27/1359.32 c 1359s| 4700 | 2595 | 10928k|1699.1 | 739M | 55 | 11k| 13k| 0 |5242 | 0 |9049 | 52 | 2.464242e+01 | -- | Inf | unknown
1363.64/1367.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1363.64/1367.74 c 1368s| 4800 | 2592 | 10979k|1680.8 | 740M | 55 | 11k| 13k| 12k|5321 | 2 |9094 | 52 | 2.472292e+01 | -- | Inf | unknown
1379.68/1383.88 c 1384s| 4900 | 2624 | 11083k|1671.2 | 741M | 55 | 11k| 13k| 12k|5437 | 1 |9173 | 52 | 2.484615e+01 | -- | Inf | unknown
1388.35/1392.52 c 1393s| 5000 | 2641 | 11148k|1655.9 | 741M | 55 | 11k| 13k| 0 |5468 | 0 |9265 | 52 | 2.500000e+01 | -- | Inf | unknown
1398.62/1402.88 c 1403s| 5100 | 2668 | 11236k|1644.5 | 742M | 55 | 11k| 13k| 12k|5516 | 1 |9332 | 52 | 2.500000e+01 | -- | Inf | unknown
1408.48/1412.78 c 1413s| 5200 | 2689 | 11312k|1631.7 | 743M | 55 | 11k| 13k| 12k|5579 | 1 |9440 | 52 | 2.500000e+01 | -- | Inf | unknown
1418.75/1423.09 c 1423s| 5300 | 2704 | 11392k|1619.9 | 745M | 55 | 11k| 13k| 0 |5618 | 0 |9501 | 52 | 2.500000e+01 | -- | Inf | unknown
1427.51/1431.89 c 1432s| 5400 | 2708 | 11451k|1605.4 | 745M | 55 | 11k| 13k| 12k|5690 | 1 |9601 | 52 | 2.500000e+01 | -- | Inf | unknown
1438.68/1443.10 c 1443s| 5500 | 2742 | 11545k|1596.1 | 746M | 55 | 11k| 13k| 12k|5786 | 1 |9646 | 52 | 2.500000e+01 | -- | Inf | unknown
1452.43/1456.80 c 1457s| 5600 | 2785 | 11656k|1589.6 | 746M | 55 | 11k| 13k| 0 |5864 | 0 |9712 | 52 | 2.600000e+01 | -- | Inf | unknown
1462.79/1467.25 c 1467s| 5700 | 2814 | 11733k|1578.5 | 747M | 55 | 11k| 13k| 12k|5930 | 1 |9881 | 52 | 2.600000e+01 | -- | Inf | unknown
1473.16/1477.63 c 1478s| 5800 | 2845 | 11799k|1566.3 | 747M | 55 | 11k| 13k| 12k|6035 | 1 |9928 | 52 | 2.600000e+01 | -- | Inf | unknown
1483.92/1488.47 c 1488s| 5900 | 2861 | 11881k|1556.5 | 747M | 55 | 11k| 13k| 12k|6138 | 1 | 10k| 52 | 2.600000e+01 | -- | Inf | unknown
1495.68/1500.22 c 1500s| 6000 | 2884 | 11955k|1545.9 | 748M | 55 | 11k| 13k| 0 |6272 | 0 | 10k| 52 | 2.600000e+01 | -- | Inf | unknown
1505.25/1509.80 c 1510s| 6100 | 2912 | 12024k|1535.0 | 749M | 55 | 11k| 13k| 12k|6370 | 1 | 10k| 52 | 2.600000e+01 | -- | Inf | unknown
1521.89/1526.58 c 1527s| 6200 | 2958 | 12135k|1529.5 | 750M | 55 | 11k| 13k| 0 |6441 | 0 | 10k| 52 | 2.600000e+01 | -- | Inf | unknown
1535.45/1540.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1535.45/1540.14 c 1540s| 6300 | 3020 | 12238k|1523.4 | 750M | 55 | 11k| 13k| 12k|6594 | 1 | 10k| 52 | 2.600000e+01 | -- | Inf | unknown
1545.31/1550.03 c 1550s| 6400 | 3044 | 12302k|1512.4 | 752M | 55 | 11k| 13k| 0 |6678 | 0 | 10k| 52 | 2.600000e+01 | -- | Inf | unknown
1555.57/1560.30 c 1560s| 6500 | 3066 | 12369k|1502.2 | 752M | 55 | 11k| 13k| 0 |6793 | 0 | 10k| 52 | 2.600000e+01 | -- | Inf | unknown
1568.43/1573.25 c 1573s| 6600 | 3105 | 12472k|1496.5 | 752M | 55 | 11k| 13k| 0 |6909 | 0 | 10k| 52 | 2.600000e+01 | -- | Inf | unknown
1584.87/1589.73 c 1590s| 6700 | 3121 | 12554k|1488.4 | 753M | 55 | 11k| 13k| 12k|6959 | 1 | 10k| 52 | 2.600000e+01 | -- | Inf | unknown
1591.94/1596.81 c 1597s| 6800 | 3119 | 12601k|1476.5 | 753M | 55 | 11k| 13k| 0 |7021 | 0 | 10k| 52 | 2.600000e+01 | -- | Inf | unknown
1600.23/1605.15 c 1605s| 6900 | 3123 | 12660k|1466.2 | 754M | 55 | 11k| 13k| 0 |7056 | 0 | 10k| 52 | 2.600000e+01 | -- | Inf | unknown
1606.21/1611.14 c 1611s| 7000 | 3120 | 12696k|1453.5 | 754M | 55 | 11k| 13k| 12k|7111 | 1 | 10k| 52 | 2.600000e+01 | -- | Inf | unknown
1620.06/1625.06 c 1625s| 7100 | 3177 | 12816k|1450.7 | 754M | 55 | 11k| 13k| 0 |7186 | 0 | 11k| 52 | 2.600000e+01 | -- | Inf | unknown
1627.63/1632.64 c 1633s| 7200 | 3193 | 12866k|1440.0 | 754M | 55 | 11k| 13k| 12k|7288 | 1 | 11k| 52 | 2.600000e+01 | -- | Inf | unknown
1636.20/1641.27 c 1641s| 7300 | 3195 | 12931k|1431.2 | 755M | 55 | 11k| 13k| 12k|7344 | 1 | 11k| 52 | 2.700000e+01 | -- | Inf | unknown
1643.57/1648.62 c 1649s| 7400 | 3192 | 12983k|1421.2 | 755M | 55 | 11k| 13k| 0 |7394 | 0 | 11k| 52 | 2.700000e+01 | -- | Inf | unknown
1650.06/1655.18 c 1655s| 7500 | 3192 | 13018k|1409.6 | 755M | 55 | 11k| 13k| 0 |7496 | 0 | 11k| 52 | 2.700000e+01 | -- | Inf | unknown
1656.23/1661.35 c 1661s| 7600 | 3178 | 13055k|1398.5 | 756M | 55 | 11k| 13k| 12k|7553 | 2 | 11k| 52 | 2.700000e+01 | -- | Inf | unknown
1666.90/1672.09 c 1672s| 7700 | 3205 | 13140k|1392.6 | 756M | 55 | 11k| 13k| 0 |7610 | 0 | 11k| 52 | 2.700000e+01 | -- | Inf | unknown
1673.67/1678.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1673.67/1678.84 c 1679s| 7800 | 3199 | 13184k|1382.6 | 756M | 55 | 11k| 13k| 12k|7647 | 1 | 11k| 52 | 2.700000e+01 | -- | Inf | unknown
1681.14/1686.35 c 1686s| 7900 | 3184 | 13231k|1373.1 | 757M | 55 | 11k| 13k| 12k|7728 | 1 | 11k| 52 | 2.700000e+01 | -- | Inf | unknown
1688.02/1693.23 c 1693s| 8000 | 3182 | 13281k|1364.1 | 757M | 55 | 11k| 13k| 12k|7758 | 1 | 11k| 52 | 2.700000e+01 | -- | Inf | unknown
1693.70/1699.00 c 1699s| 8100 | 3177 | 13314k|1353.6 | 757M | 55 | 11k| 13k| 12k|7808 | 1 | 11k| 52 | 2.700000e+01 | -- | Inf | unknown
1699.18/1704.42 c 1704s| 8200 | 3174 | 13346k|1343.1 | 757M | 55 | 11k| 13k| 0 |7876 | 0 | 11k| 52 | 2.700000e+01 | -- | Inf | unknown
1706.46/1711.78 c 1712s| 8300 | 3184 | 13405k|1335.6 | 757M | 55 | 11k| 13k| 0 |7923 | 0 | 11k| 52 | 2.700000e+01 | -- | Inf | unknown
1713.63/1718.99 c 1719s| 8400 | 3189 | 13462k|1328.1 | 758M | 55 | 11k| 13k| 0 |7966 | 0 | 11k| 52 | 2.700000e+01 | -- | Inf | unknown
1721.90/1727.25 c 1727s| 8500 | 3204 | 13531k|1321.8 | 758M | 55 | 11k| 13k| 12k|8039 | 1 | 12k| 52 | 2.700000e+01 | -- | Inf | unknown
1733.26/1738.62 c 1739s| 8600 | 3222 | 13601k|1315.8 | 758M | 55 | 11k| 13k| 0 |8172 | 0 | 12k| 52 | 2.700000e+01 | -- | Inf | unknown
1739.84/1745.23 c 1745s| 8700 | 3230 | 13646k|1307.5 | 758M | 55 | 11k| 13k| 0 |8202 | 0 | 12k| 52 | 2.700000e+01 | -- | Inf | unknown
1749.90/1755.30 c 1755s| 8800 | 3223 | 13715k|1301.6 | 759M | 55 | 11k| 13k| 0 |8251 | 0 | 12k| 52 | 2.700000e+01 | -- | Inf | unknown
1757.58/1763.05 c 1763s| 8900 | 3223 | 13761k|1293.6 | 759M | 55 | 11k| 13k| 12k|8299 | 2 | 12k| 52 | 2.700000e+01 | -- | Inf | unknown
1765.15/1770.62 c 1771s| 9000 | 3215 | 13813k|1286.5 | 759M | 55 | 11k| 13k| 12k|8369 | 1 | 12k| 52 | 2.800000e+01 | -- | Inf | unknown
1773.42/1778.94 c 1779s| 9100 | 3236 | 13875k|1280.3 | 759M | 55 | 11k| 13k| 12k|8405 | 1 | 12k| 52 | 2.800000e+01 | -- | Inf | unknown
1783.69/1789.25 c 1789s| 9200 | 3254 | 13955k|1275.9 | 760M | 55 | 11k| 13k| 0 |8521 | 0 | 12k| 52 | 2.800000e+01 | -- | Inf | unknown
1792.56/1798.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1792.56/1798.11 c 1798s| 9300 | 3259 | 14020k|1270.2 | 760M | 55 | 11k| 13k| 0 |8619 | 0 | 12k| 52 | 2.800000e+01 | -- | Inf | unknown
1801.62/1807.23 c 1807s| 9400 | 3273 | 14083k|1264.5 | 760M | 55 | 11k| 13k| 12k|8741 | 1 | 12k| 52 | 2.800000e+01 | -- | Inf | unknown
1810.69/1816.39 c 1816s| 9500 | 3292 | 14152k|1259.4 | 760M | 55 | 11k| 13k| 0 |8851 | 0 | 12k| 52 | 2.800000e+01 | -- | Inf | unknown
1819.76/1825.43 c 1825s| 9600 | 3297 | 14221k|1254.3 | 761M | 55 | 11k| 13k| 12k|8933 | 1 | 12k| 52 | 2.800000e+01 | -- | Inf | unknown
1831.72/1837.48 c 1837s| 9700 | 3316 | 14327k|1252.6 | 761M | 55 | 11k| 13k| 12k|9011 | 1 | 12k| 52 | 2.800000e+01 | -- | Inf | unknown
1847.76/1853.57 c 1854s| 9800 | 3340 | 14420k|1249.8 | 762M | 55 | 11k| 13k| 12k|9168 | 1 | 12k| 52 | 2.800000e+01 | -- | Inf | unknown
1857.53/1863.33 c 1863s| 9900 | 3355 | 14500k|1245.9 | 763M | 55 | 11k| 13k| 12k|9250 | 1 | 12k| 52 | 2.800000e+01 | -- | Inf | unknown
1869.58/1875.47 c 1875s| 10000 | 3389 | 14599k|1243.8 | 764M | 55 | 11k| 13k| 0 |9398 | 0 | 13k| 52 | 2.800000e+01 | -- | Inf | unknown
1880.84/1886.73 c 1887s| 10100 | 3390 | 14688k|1240.7 | 764M | 55 | 11k| 13k| 0 |9499 | 0 | 13k| 52 | 2.800000e+01 | -- | Inf | unknown
1888.42/1894.35 c 1894s| 10200 | 3391 | 14738k|1234.6 | 764M | 55 | 11k| 13k| 12k|9556 | 1 | 13k| 52 | 2.800000e+01 | -- | Inf | unknown
1894.30/1900.22 c 1900s| 10300 | 3385 | 14777k|1227.5 | 764M | 55 | 11k| 13k| 0 |9630 | 0 | 13k| 52 | 2.800000e+01 | -- | Inf | unknown
1903.07/1909.01 c 1909s| 10400 | 3379 | 14845k|1223.0 | 765M | 55 | 11k| 13k| 12k|9718 | 1 | 13k| 52 | 2.800000e+01 | -- | Inf | unknown
1912.14/1918.19 c 1918s| 10500 | 3414 | 14913k|1218.6 | 765M | 55 | 11k| 13k| 0 |9787 | 0 | 13k| 52 | 2.800000e+01 | -- | Inf | unknown
1938.54/1944.69 c 1945s| 10600 | 3433 | 15021k|1217.4 | 765M | 55 | 11k| 13k| 12k|9848 | 1 | 13k| 52 | 2.900000e+01 | -- | Inf | unknown
1947.61/1953.76 c 1954s| 10700 | 3471 | 15093k|1213.4 | 766M | 55 | 11k| 13k| 12k|9892 | 1 | 13k| 52 | 2.900000e+01 | -- | Inf | unknown
1958.98/1965.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1958.98/1965.16 c 1965s| 10800 | 3498 | 15174k|1210.2 | 766M | 55 | 11k| 13k| 12k|9989 | 1 | 13k| 52 | 2.900000e+01 | -- | Inf | unknown
1967.34/1973.52 c 1974s| 10900 | 3522 | 15240k|1205.8 | 766M | 55 | 11k| 13k| 12k| 10k| 2 | 13k| 52 | 2.900000e+01 | -- | Inf | unknown
1979.80/1986.02 c 1986s| 11000 | 3583 | 15353k|1205.2 | 767M | 55 | 11k| 13k| 0 | 10k| 0 | 13k| 52 | 2.900000e+01 | -- | Inf | unknown
1986.88/1993.17 c 1993s| 11100 | 3600 | 15402k|1199.7 | 767M | 55 | 11k| 13k| 0 | 10k| 0 | 14k| 52 | 2.900000e+01 | -- | Inf | unknown
1996.54/2002.86 c 2003s| 11200 | 3633 | 15484k|1196.7 | 767M | 55 | 11k| 13k| 0 | 10k| 0 | 14k| 52 | 2.900000e+01 | -- | Inf | unknown
2006.51/2012.81 c 2013s| 11300 | 3651 | 15570k|1194.1 | 768M | 55 | 11k| 13k| 0 | 10k| 0 | 14k| 52 | 2.900000e+01 | -- | Inf | unknown
2019.67/2026.05 c 2026s| 11400 | 3675 | 15665k|1192.3 | 768M | 55 | 11k| 13k| 0 | 10k| 0 | 14k| 52 | 2.900000e+01 | -- | Inf | unknown
2027.83/2034.27 c 2034s| 11500 | 3696 | 15727k|1187.9 | 768M | 55 | 11k| 13k| 0 | 10k| 0 | 14k| 52 | 2.900000e+01 | -- | Inf | unknown
2034.61/2041.07 c 2041s| 11600 | 3707 | 15762k|1181.7 | 768M | 55 | 11k| 13k| 0 | 10k| 0 | 14k| 52 | 2.900000e+01 | -- | Inf | unknown
2040.39/2046.88 c 2047s| 11700 | 3715 | 15796k|1175.4 | 769M | 55 | 11k| 13k| 12k| 10k| 1 | 14k| 52 | 2.900000e+01 | -- | Inf | unknown
2047.67/2054.15 c 2054s| 11800 | 3741 | 15847k|1170.4 | 770M | 55 | 11k| 13k| 12k| 10k| 1 | 14k| 52 | 2.900000e+01 | -- | Inf | unknown
2055.24/2061.70 c 2062s| 11900 | 3748 | 15901k|1165.8 | 770M | 55 | 11k| 13k| 12k| 10k| 1 | 14k| 52 | 2.900000e+01 | -- | Inf | unknown
2060.92/2067.46 c 2067s| 12000 | 3743 | 15946k|1160.6 | 771M | 55 | 11k| 13k| 0 | 10k| 0 | 14k| 52 | 2.900000e+01 | -- | Inf | unknown
2066.00/2072.51 c 2073s| 12100 | 3738 | 15978k|1154.5 | 771M | 55 | 11k| 13k| 0 | 10k| 0 | 14k| 52 | 2.900000e+01 | -- | Inf | unknown
2077.96/2084.53 c 2085s| 12200 | 3760 | 16062k|1152.2 | 774M | 55 | 11k| 13k| 12k| 10k| 1 | 14k| 52 | 2.900000e+01 | -- | Inf | unknown
2091.12/2097.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2091.12/2097.74 c 2098s| 12300 | 3795 | 16158k|1150.9 | 775M | 55 | 11k| 13k| 0 | 10k| 0 | 15k| 52 | 2.900000e+01 | -- | Inf | unknown
2097.00/2103.67 c 2104s| 12400 | 3801 | 16200k|1145.7 | 775M | 55 | 11k| 13k| 0 | 10k| 0 | 15k| 52 | 2.900000e+01 | -- | Inf | unknown
2106.37/2113.09 c 2113s| 12500 | 3814 | 16270k|1142.6 | 775M | 55 | 11k| 13k| 12k| 10k| 1 | 15k| 52 | 2.900000e+01 | -- | Inf | unknown
2114.74/2121.42 c 2121s| 12600 | 3834 | 16331k|1138.8 | 776M | 55 | 11k| 13k| 0 | 10k| 0 | 15k| 52 | 2.900000e+01 | -- | Inf | unknown
2123.31/2130.10 c 2130s| 12700 | 3854 | 16387k|1134.8 | 776M | 55 | 11k| 13k| 12k| 10k| 1 | 15k| 52 | 2.900000e+01 | -- | Inf | unknown
2129.98/2136.79 c 2137s| 12800 | 3863 | 16429k|1129.9 | 776M | 55 | 11k| 13k| 0 | 11k| 0 | 15k| 52 | 2.900000e+01 | -- | Inf | unknown
2141.15/2147.91 c 2148s| 12900 | 3884 | 16517k|1128.2 | 779M | 55 | 11k| 13k| 0 | 11k| 0 | 15k| 52 | 2.900000e+01 | -- | Inf | unknown
2148.92/2155.76 c 2156s| 13000 | 3896 | 16581k|1124.9 | 779M | 55 | 11k| 13k| 12k| 11k| 1 | 15k| 52 | 2.900000e+01 | -- | Inf | unknown
2156.89/2163.70 c 2164s| 13100 | 3909 | 16637k|1121.1 | 779M | 55 | 11k| 13k| 12k| 11k| 1 | 15k| 52 | 2.900000e+01 | -- | Inf | unknown
2165.27/2172.12 c 2172s| 13200 | 3919 | 16696k|1117.5 | 780M | 55 | 11k| 13k| 0 | 11k| 0 | 15k| 52 | 2.900000e+01 | -- | Inf | unknown
2172.34/2179.26 c 2179s| 13300 | 3933 | 16744k|1113.3 | 780M | 55 | 11k| 13k| 0 | 11k| 0 | 15k| 52 | 2.900000e+01 | -- | Inf | unknown
2179.71/2186.65 c 2187s| 13400 | 3945 | 16800k|1109.6 | 781M | 55 | 11k| 13k| 0 | 11k| 0 | 15k| 52 | 2.900000e+01 | -- | Inf | unknown
2189.18/2196.12 c 2196s| 13500 | 3951 | 16877k|1107.3 | 781M | 55 | 11k| 13k| 0 | 11k| 0 | 15k| 52 | 2.900000e+01 | -- | Inf | unknown
2197.55/2204.54 c 2205s| 13600 | 3973 | 16938k|1104.1 | 781M | 55 | 11k| 13k| 12k| 11k| 1 | 15k| 52 | 2.900000e+01 | -- | Inf | unknown
2206.42/2213.43 c 2213s| 13700 | 3978 | 16990k|1100.3 | 784M | 55 | 11k| 13k| 12k| 11k| 1 | 15k| 52 | 2.900000e+01 | -- | Inf | unknown
2213.79/2220.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2213.79/2220.80 c 2221s| 13800 | 3990 | 17036k|1096.2 | 784M | 55 | 11k| 13k| 12k| 11k| 1 | 15k| 52 | 2.900000e+01 | -- | Inf | unknown
2245.78/2252.93 c 2253s| 13900 | 4012 | 17174k|1098.0 | 784M | 55 | 11k| 13k| 12k| 11k| 2 | 15k| 52 | 2.900000e+01 | -- | Inf | unknown
2254.35/2261.59 c 2262s| 14000 | 4020 | 17243k|1095.4 | 785M | 55 | 11k| 13k| 12k| 11k| 1 | 15k| 52 | 2.900000e+01 | -- | Inf | unknown
2264.61/2271.81 c 2272s| 14100 | 4028 | 17316k|1093.1 | 785M | 55 | 11k| 13k| 0 | 11k| 0 | 15k| 52 | 2.900000e+01 | -- | Inf | unknown
2271.69/2278.95 c 2279s| 14200 | 4034 | 17361k|1089.1 | 785M | 55 | 11k| 13k| 12k| 11k| 1 | 16k| 52 | 2.900000e+01 | -- | Inf | unknown
2278.67/2285.97 c 2286s| 14300 | 4039 | 17407k|1085.1 | 785M | 55 | 11k| 13k| 0 | 11k| 0 | 16k| 52 | 2.900000e+01 | -- | Inf | unknown
2286.24/2293.50 c 2293s| 14400 | 4040 | 17457k|1081.5 | 786M | 55 | 11k| 13k| 0 | 12k| 0 | 16k| 52 | 2.900000e+01 | -- | Inf | unknown
2294.01/2301.37 c 2301s| 14500 | 4037 | 17521k|1078.8 | 786M | 55 | 11k| 13k| 12k| 12k| 1 | 16k| 52 | 2.900000e+01 | -- | Inf | unknown
2300.39/2307.79 c 2308s| 14600 | 4042 | 17567k|1075.0 | 786M | 55 | 11k| 13k| 12k| 12k| 1 | 16k| 52 | 2.900000e+01 | -- | Inf | unknown
2307.47/2314.87 c 2315s| 14700 | 4028 | 17620k|1071.7 | 786M | 55 | 11k| 13k| 0 | 12k| 0 | 16k| 52 | 2.900000e+01 | -- | Inf | unknown
2315.04/2322.42 c 2322s| 14800 | 4023 | 17673k|1068.4 | 786M | 55 | 11k| 13k| 0 | 12k| 0 | 16k| 52 | 2.900000e+01 | -- | Inf | unknown
2323.21/2330.67 c 2331s| 14900 | 4019 | 17742k|1066.1 | 787M | 55 | 11k| 13k| 0 | 12k| 0 | 16k| 52 | 2.900000e+01 | -- | Inf | unknown
2332.48/2339.96 c 2340s| 15000 | 4042 | 17812k|1063.9 | 787M | 55 | 11k| 13k| 0 | 12k| 0 | 16k| 52 | 2.900000e+01 | -- | Inf | unknown
2340.45/2347.99 c 2348s| 15100 | 4062 | 17873k|1061.2 | 787M | 55 | 11k| 13k| 12k| 12k| 1 | 16k| 52 | 2.900000e+01 | -- | Inf | unknown
2346.13/2353.61 c 2354s| 15200 | 4053 | 17909k|1057.1 | 787M | 55 | 11k| 13k| 12k| 12k| 1 | 16k| 52 | 2.900000e+01 | -- | Inf | unknown
2351.91/2359.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2351.91/2359.42 c 2359s| 15300 | 4029 | 17945k|1053.0 | 788M | 55 | 11k| 13k| 0 | 12k| 0 | 16k| 52 | 2.900000e+01 | -- | Inf | unknown
2366.26/2373.82 c 2374s| 15400 | 4046 | 18036k|1052.2 | 788M | 55 | 11k| 13k| 12k| 12k| 1 | 16k| 52 | 2.900000e+01 | -- | Inf | unknown
2373.54/2381.17 c 2381s| 15500 | 4038 | 18094k|1049.4 | 788M | 55 | 11k| 13k| 0 | 12k| 0 | 16k| 52 | 2.900000e+01 | -- | Inf | unknown
2381.81/2389.44 c 2389s| 15600 | 4035 | 18154k|1046.8 | 789M | 55 | 11k| 13k| 12k| 12k| 1 | 16k| 52 | 2.900000e+01 | -- | Inf | unknown
2390.18/2397.87 c 2398s| 15700 | 4032 | 18227k|1045.0 | 789M | 55 | 11k| 13k| 0 | 12k| 0 | 16k| 52 | 2.900000e+01 | -- | Inf | unknown
2399.25/2406.92 c 2407s| 15800 | 4046 | 18303k|1043.4 | 790M | 55 | 11k| 13k| 12k| 12k| 1 | 16k| 52 | 2.900000e+01 | -- | Inf | unknown
2408.22/2415.91 c 2416s| 15900 | 4055 | 18376k|1041.6 | 790M | 55 | 11k| 13k| 0 | 12k| 0 | 16k| 52 | 2.900000e+01 | -- | Inf | unknown
2418.39/2426.19 c 2426s| 16000 | 4048 | 18424k|1038.4 | 790M | 55 | 11k| 13k| 12k| 12k| 1 | 16k| 52 | 2.900000e+01 | -- | Inf | unknown
2427.25/2435.09 c 2435s| 16100 | 4062 | 18490k|1036.3 | 790M | 55 | 11k| 13k| 12k| 13k| 1 | 16k| 52 | 2.900000e+01 | -- | Inf | unknown
2434.03/2441.84 c 2442s| 16200 | 4063 | 18537k|1033.1 | 790M | 55 | 11k| 13k| 0 | 13k| 0 | 17k| 52 | 2.900000e+01 | -- | Inf | unknown
2441.50/2449.35 c 2449s| 16300 | 4068 | 18584k|1030.0 | 792M | 55 | 11k| 13k| 0 | 13k| 0 | 17k| 52 | 2.900000e+01 | -- | Inf | unknown
2450.86/2458.75 c 2459s| 16400 | 4074 | 18645k|1027.7 | 796M | 55 | 11k| 13k| 12k| 13k| 1 | 17k| 52 | 2.900000e+01 | -- | Inf | unknown
2459.53/2467.41 c 2467s| 16500 | 4107 | 18709k|1025.5 | 796M | 55 | 11k| 13k| 0 | 13k| 0 | 17k| 52 | 2.900000e+01 | -- | Inf | unknown
2474.68/2482.68 c 2483s| 16600 | 4145 | 18811k|1025.5 | 798M | 55 | 11k| 13k| 12k| 13k| 1 | 17k| 52 | 2.900000e+01 | -- | Inf | unknown
2488.14/2496.19 c 2496s| 16700 | 4180 | 18917k|1025.7 | 800M | 55 | 11k| 13k| 12k| 13k| 1 | 17k| 52 | 2.900000e+01 | -- | Inf | unknown
2495.02/2503.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2495.02/2503.02 c 2503s| 16800 | 4175 | 18965k|1022.8 | 800M | 55 | 11k| 13k| 0 | 13k| 0 | 17k| 52 | 2.900000e+01 | -- | Inf | unknown
2502.68/2510.70 c 2511s| 16900 | 4186 | 19016k|1020.0 | 800M | 55 | 11k| 13k| 0 | 13k| 0 | 17k| 52 | 2.900000e+01 | -- | Inf | unknown
2510.66/2518.79 c 2519s| 17000 | 4186 | 19071k|1017.5 | 800M | 55 | 11k| 13k| 0 | 13k| 0 | 17k| 52 | 2.900000e+01 | -- | Inf | unknown
2519.13/2527.28 c 2527s| 17100 | 4199 | 19133k|1015.4 | 802M | 55 | 11k| 13k| 0 | 13k| 0 | 17k| 52 | 2.900000e+01 | -- | Inf | unknown
2528.00/2536.12 c 2536s| 17200 | 4213 | 19190k|1013.1 | 802M | 55 | 11k| 13k| 12k| 14k| 1 | 17k| 52 | 2.900000e+01 | -- | Inf | unknown
2535.77/2543.95 c 2544s| 17300 | 4231 | 19247k|1010.7 | 802M | 55 | 11k| 13k| 12k| 14k| 1 | 17k| 52 | 2.900000e+01 | -- | Inf | unknown
2544.65/2552.84 c 2553s| 17400 | 4241 | 19315k|1009.0 | 806M | 55 | 11k| 13k| 12k| 14k| 1 | 17k| 52 | 2.900000e+01 | -- | Inf | unknown
2553.22/2561.43 c 2561s| 17500 | 4247 | 19384k|1007.3 | 806M | 55 | 11k| 13k| 0 | 14k| 0 | 17k| 52 | 2.900000e+01 | -- | Inf | unknown
2560.29/2568.54 c 2569s| 17600 | 4240 | 19434k|1004.7 | 807M | 55 | 11k| 13k| 12k| 14k| 1 | 17k| 52 | 2.900000e+01 | -- | Inf | unknown
2567.97/2576.21 c 2576s| 17700 | 4252 | 19490k|1002.4 | 807M | 55 | 11k| 13k| 0 | 14k| 0 | 17k| 52 | 2.900000e+01 | -- | Inf | unknown
2579.63/2587.94 c 2588s| 17800 | 4286 | 19572k|1001.5 | 807M | 55 | 11k| 13k| 12k| 14k| 2 | 17k| 52 | 2.900000e+01 | -- | Inf | unknown
2589.09/2597.48 c 2597s| 17900 | 4292 | 19634k| 999.5 | 809M | 55 | 11k| 13k| 0 | 14k| 0 | 17k| 52 | 3.000000e+01 | -- | Inf | unknown
2596.06/2604.45 c 2604s| 18000 | 4292 | 19681k| 996.8 | 809M | 55 | 11k| 13k| 0 | 14k| 0 | 17k| 52 | 3.000000e+01 | -- | Inf | unknown
2603.84/2612.26 c 2612s| 18100 | 4287 | 19735k| 994.5 | 809M | 55 | 11k| 13k| 0 | 14k| 0 | 17k| 52 | 3.000000e+01 | -- | Inf | unknown
2614.80/2623.29 c 2623s| 18200 | 4286 | 19793k| 992.5 | 809M | 55 | 11k| 13k| 12k| 14k| 1 | 17k| 52 | 3.000000e+01 | -- | Inf | unknown
2621.77/2630.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2621.77/2630.23 c 2630s| 18300 | 4284 | 19842k| 989.9 | 809M | 55 | 11k| 13k| 12k| 15k| 1 | 18k| 52 | 3.000000e+01 | -- | Inf | unknown
2627.85/2636.34 c 2636s| 18400 | 4288 | 19880k| 986.9 | 809M | 55 | 11k| 13k| 0 | 15k| 0 | 18k| 52 | 3.000000e+01 | -- | Inf | unknown
2633.23/2641.76 c 2642s| 18500 | 4283 | 19913k| 983.6 | 809M | 55 | 11k| 13k| 0 | 15k| 0 | 18k| 52 | 3.000000e+01 | -- | Inf | unknown
2640.21/2648.72 c 2649s| 18600 | 4271 | 19954k| 980.8 | 810M | 55 | 11k| 13k| 0 | 15k| 0 | 18k| 52 | 3.000000e+01 | -- | Inf | unknown
2646.99/2655.58 c 2656s| 18700 | 4272 | 20002k| 978.4 | 810M | 55 | 11k| 13k| 12k| 15k| 1 | 18k| 52 | 3.000000e+01 | -- | Inf | unknown
2655.76/2664.32 c 2664s| 18800 | 4270 | 20057k| 976.3 | 810M | 55 | 11k| 13k| 0 | 15k| 0 | 18k| 52 | 3.000000e+01 | -- | Inf | unknown
2661.84/2670.41 c 2670s| 18900 | 4276 | 20092k| 973.2 | 810M | 55 | 11k| 13k| 0 | 15k| 0 | 18k| 52 | 3.000000e+01 | -- | Inf | unknown
2669.01/2677.69 c 2678s| 19000 | 4284 | 20150k| 971.3 | 810M | 55 | 11k| 13k| 0 | 15k| 0 | 18k| 52 | 3.000000e+01 | -- | Inf | unknown
2699.60/2708.31 c 2708s| 19100 | 4329 | 20323k| 975.0 | 810M | 55 | 11k| 13k| 12k| 16k| 1 | 18k| 52 | 3.000000e+01 | -- | Inf | unknown
2714.65/2723.42 c 2723s| 19200 | 4371 | 20469k| 977.3 | 811M | 55 | 11k| 13k| 12k| 16k| 1 | 18k| 52 | 3.000000e+01 | -- | Inf | unknown
2732.09/2740.96 c 2741s| 19300 | 4407 | 20652k| 981.4 | 812M | 55 | 11k| 13k| 12k| 16k| 2 | 18k| 52 | 3.000000e+01 | -- | Inf | unknown
2750.42/2759.35 c 2759s| 19400 | 4476 | 20855k| 986.3 | 813M | 55 | 11k| 13k| 12k| 16k| 1 | 18k| 52 | 3.000000e+01 | -- | Inf | unknown
2762.68/2771.69 c 2772s| 19500 | 4496 | 20944k| 985.9 | 814M | 55 | 11k| 14k| 0 | 16k| 0 | 19k| 52 | 3.000000e+01 | -- | Inf | unknown
2772.75/2781.75 c 2782s| 19600 | 4512 | 21022k| 984.9 | 814M | 55 | 11k| 14k| 12k| 16k| 1 | 19k| 52 | 3.000000e+01 | -- | Inf | unknown
2779.82/2788.86 c 2789s| 19700 | 4513 | 21070k| 982.6 | 814M | 55 | 11k| 14k| 12k| 16k| 1 | 19k| 52 | 3.000000e+01 | -- | Inf | unknown
2786.80/2795.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2786.80/2795.83 c 2796s| 19800 | 4518 | 21124k| 980.5 | 815M | 55 | 11k| 14k| 0 | 16k| 0 | 19k| 52 | 3.000000e+01 | -- | Inf | unknown
2793.57/2802.60 c 2803s| 19900 | 4516 | 21185k| 978.8 | 815M | 55 | 11k| 14k| 12k| 16k| 1 | 19k| 52 | 3.000000e+01 | -- | Inf | unknown
2799.85/2808.99 c 2809s| 20000 | 4513 | 21234k| 976.5 | 815M | 55 | 11k| 14k| 12k| 16k| 1 | 19k| 52 | 3.000000e+01 | -- | Inf | unknown
2808.62/2817.72 c 2818s| 20100 | 4518 | 21295k| 974.9 | 818M | 55 | 11k| 14k| 12k| 16k| 1 | 19k| 52 | 3.000000e+01 | -- | Inf | unknown
2815.70/2824.87 c 2825s| 20200 | 4527 | 21347k| 972.8 | 818M | 55 | 11k| 14k| 12k| 16k| 1 | 19k| 52 | 3.000000e+01 | -- | Inf | unknown
2824.17/2833.32 c 2833s| 20300 | 4521 | 21399k| 970.7 | 819M | 55 | 11k| 14k| 12k| 17k| 1 | 19k| 52 | 3.000000e+01 | -- | Inf | unknown
2830.35/2839.58 c 2840s| 20400 | 4510 | 21442k| 968.3 | 819M | 55 | 11k| 14k| 0 | 17k| 0 | 19k| 52 | 3.000000e+01 | -- | Inf | unknown
2841.51/2850.73 c 2851s| 20500 | 4517 | 21549k| 968.7 | 820M | 55 | 11k| 14k| 0 | 17k| 0 | 19k| 52 | 3.000000e+01 | -- | Inf | unknown
2847.29/2856.52 c 2857s| 20600 | 4515 | 21587k| 966.1 | 820M | 55 | 11k| 14k| 12k| 17k| 1 | 20k| 52 | 3.000000e+01 | -- | Inf | unknown
2853.56/2862.84 c 2863s| 20700 | 4509 | 21629k| 963.6 | 820M | 55 | 11k| 14k| 0 | 17k| 0 | 20k| 52 | 3.000000e+01 | -- | Inf | unknown
2862.43/2871.73 c 2872s| 20800 | 4518 | 21689k| 962.1 | 821M | 55 | 11k| 14k| 12k| 17k| 2 | 20k| 52 | 3.000000e+01 | -- | Inf | unknown
2867.52/2876.87 c 2877s| 20900 | 4523 | 21722k| 959.2 | 821M | 55 | 11k| 14k| 12k| 17k| 2 | 20k| 52 | 3.000000e+01 | -- | Inf | unknown
2873.50/2882.84 c 2883s| 21000 | 4526 | 21766k| 957.0 | 821M | 55 | 11k| 14k| 12k| 17k| 1 | 20k| 52 | 3.000000e+01 | -- | Inf | unknown
2877.88/2887.21 c 2887s| 21100 | 4510 | 21791k| 953.9 | 821M | 55 | 11k| 14k| 0 | 17k| 0 | 20k| 52 | 3.000000e+01 | -- | Inf | unknown
2882.96/2892.31 c 2892s| 21200 | 4499 | 21825k| 951.2 | 821M | 55 | 11k| 14k| 12k| 17k| 1 | 20k| 52 | 3.000000e+01 | -- | Inf | unknown
2889.04/2898.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2889.04/2898.41 c 2898s| 21300 | 4486 | 21866k| 948.9 | 821M | 55 | 11k| 14k| 12k| 17k| 1 | 20k| 52 | 3.000000e+01 | -- | Inf | unknown
2896.52/2905.98 c 2906s| 21400 | 4482 | 21934k| 947.7 | 821M | 55 | 11k| 14k| 12k| 17k| 1 | 20k| 52 | 3.000000e+01 | -- | Inf | unknown
2901.70/2911.17 c 2911s| 21500 | 4469 | 21964k| 944.9 | 822M | 55 | 11k| 14k| 12k| 17k| 1 | 20k| 52 | 3.000000e+01 | -- | Inf | unknown
2921.53/2931.09 c 2931s| 21600 | 4523 | 22170k| 949.7 | 822M | 55 | 11k| 14k| 12k| 17k| 2 | 20k| 52 | 3.000000e+01 | -- | Inf | unknown
2934.49/2944.06 c 2944s| 21700 | 4537 | 22298k| 951.1 | 823M | 55 | 11k| 14k| 0 | 17k| 0 | 20k| 52 | 3.000000e+01 | -- | Inf | unknown
2942.36/2951.95 c 2952s| 21800 | 4531 | 22345k| 949.1 | 823M | 55 | 11k| 14k| 12k| 18k| 1 | 20k| 52 | 3.000000e+01 | -- | Inf | unknown
2951.92/2961.53 c 2962s| 21900 | 4534 | 22415k| 948.0 | 823M | 55 | 11k| 14k| 12k| 18k| 1 | 20k| 52 | 3.050000e+01 | -- | Inf | unknown
2957.30/2966.95 c 2967s| 22000 | 4527 | 22451k| 945.5 | 824M | 55 | 11k| 14k| 12k| 18k| 1 | 20k| 52 | 3.050000e+01 | -- | Inf | unknown
2963.49/2973.12 c 2973s| 22100 | 4527 | 22493k| 943.3 | 824M | 55 | 11k| 14k| 0 | 18k| 0 | 20k| 52 | 3.050000e+01 | -- | Inf | unknown
2971.46/2981.17 c 2981s| 22200 | 4530 | 22549k| 941.7 | 824M | 55 | 11k| 14k| 0 | 18k| 0 | 20k| 52 | 3.050000e+01 | -- | Inf | unknown
2978.34/2988.02 c 2988s| 22300 | 4523 | 22590k| 939.5 | 824M | 55 | 11k| 14k| 0 | 18k| 0 | 21k| 52 | 3.066363e+01 | -- | Inf | unknown
3001.36/3011.12 c 3011s| 22400 | 4595 | 22797k| 944.2 | 825M | 55 | 11k| 14k| 12k| 18k| 1 | 21k| 52 | 3.099756e+01 | -- | Inf | unknown
3038.32/3048.29 c 3048s| 22500 | 4691 | 23086k| 952.2 | 826M | 55 | 11k| 13k| 12k| 18k| 1 | 21k| 52 | 3.099756e+01 | -- | Inf | unknown
3086.66/3096.70 c 3097s| 22600 | 4789 | 23435k| 962.6 | 828M | 55 | 11k| 13k| 12k| 19k| 1 | 21k| 52 | 3.099756e+01 | -- | Inf | unknown
3118.05/3128.22 c 3128s| 22700 | 4875 | 23722k| 970.4 | 828M | 55 | 11k| 13k| 0 | 19k| 0 | 21k| 52 | 3.099758e+01 | -- | Inf | unknown
3153.23/3163.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3153.23/3163.53 c 3164s| 22800 | 4959 | 24016k| 978.5 | 828M | 55 | 11k| 13k| 12k| 19k| 1 | 21k| 52 | 3.099758e+01 | -- | Inf | unknown
3196.68/3207.17 c 3207s| 22900 | 5039 | 24347k| 988.0 | 830M | 55 | 11k| 13k| 12k| 19k| 1 | 21k| 52 | 3.099758e+01 | -- | Inf | unknown
3232.35/3242.96 c 3243s| 23000 | 5127 | 24688k| 997.8 | 831M | 55 | 11k| 13k| 12k| 20k| 2 | 21k| 52 | 3.099758e+01 | -- | Inf | unknown
3274.91/3285.62 c 3286s| 23100 | 5223 | 25076k|1009.4 | 833M | 55 | 11k| 13k| 12k| 20k| 1 | 21k| 52 | 3.099758e+01 | -- | Inf | unknown
3314.47/3325.34 c 3325s| 23200 | 5313 | 25459k|1020.7 | 833M | 55 | 11k| 13k| 12k| 20k| 1 | 21k| 52 | 3.099758e+01 | -- | Inf | unknown
3358.42/3369.41 c 3369s| 23300 | 5399 | 25827k|1031.3 | 834M | 55 | 11k| 13k| 12k| 20k| 1 | 21k| 52 | 3.099758e+01 | -- | Inf | unknown
3401.57/3412.71 c 3413s| 23400 | 5495 | 26260k|1044.5 | 834M | 55 | 11k| 13k| 12k| 20k| 1 | 22k| 52 | 3.099758e+01 | -- | Inf | unknown
3439.24/3450.52 c 3451s| 23500 | 5583 | 26645k|1055.6 | 837M | 55 | 11k| 13k| 12k| 20k| 1 | 22k| 52 | 3.099758e+01 | -- | Inf | unknown
3480.79/3492.20 c 3492s| 23600 | 5671 | 26996k|1065.3 | 839M | 55 | 11k| 13k| 12k| 20k| 1 | 22k| 52 | 3.099771e+01 | -- | Inf | unknown
3517.37/3528.98 c 3529s| 23700 | 5755 | 27343k|1074.7 | 839M | 55 | 11k| 13k| 12k| 20k| 1 | 22k| 52 | 3.099796e+01 | -- | Inf | unknown
3552.05/3563.75 c 3564s| 23800 | 5841 | 27659k|1082.9 | 840M | 55 | 11k| 13k| 12k| 20k| 1 | 22k| 52 | 3.099837e+01 | -- | Inf | unknown
3584.63/3596.45 c 3596s| 23900 | 5929 | 27963k|1090.6 | 841M | 55 | 11k| 13k| 12k| 20k| 1 | 22k| 52 | 3.099837e+01 | -- | Inf | unknown
3585.24/3597.01 c
3585.24/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3585.24/3597.01 c Solving Time (sec) : 3597.00
3585.24/3597.01 c Solving Nodes : 23904 (total of 25620 nodes in 2 runs)
3585.24/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3585.24/3597.01 c Dual Bound : +3.09983708932935e+01
3585.24/3597.01 c Gap : infinite
3585.24/3597.01 s UNKNOWN
3585.24/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3585.24/3597.01 c Total Time : 3597.00
3585.24/3597.01 c solving : 3597.00
3585.24/3597.01 c presolving : 1.58 (included in solving)
3585.24/3597.01 c reading : 0.20 (included in solving)
3585.24/3597.01 c copying : 0.32 (7 #copies) (minimal 0.04, maximal 0.05, average 0.05)
3585.24/3597.01 c Original Problem :
3585.24/3597.01 c Problem name : HOME/instance-4490804-1751383217.opb
3585.24/3597.01 c Variables : 11001 (11001 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.24/3597.01 c Constraints : 21678 initial, 21678 maximal
3585.24/3597.01 c Objective : minimize, 9 non-zeros (abs.min = 1, abs.max = 256)
3585.24/3597.01 c Presolved Problem :
3585.24/3597.01 c Problem name : t_HOME/instance-4490804-1751383217.opb
3585.24/3597.01 c Variables : 11001 (11001 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.24/3597.01 c Constraints : 13436 initial, 14279 maximal
3585.24/3597.01 c Objective : minimize, 9 non-zeros (abs.min = 1, abs.max = 256)
3585.24/3597.01 c Nonzeros : 396456 constraint, 3510 clique table
3585.24/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.24/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c domcol : 0.09 0.00 3 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c dualsparsify : 0.10 0.00 1 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c gateextraction : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c implics : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c milp : 0.45 0.00 1 0 0 0 0 0 21678 10848 0 0
3585.24/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c sparsify : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c trivial : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c dualfix : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c probing : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c symmetry : 0.41 0.00 1 0 0 0 0 0 0 1500 0 0
3585.24/3597.01 c vbounds : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c knapsack : 0.00 0.00 19 0 0 0 0 0 4 5 32 283
3585.24/3597.01 c setppc : 0.01 0.00 13 0 0 0 0 0 10 0 0 0
3585.24/3597.01 c linear : 0.32 0.10 16 0 0 0 0 0 0 0 4 14
3585.24/3597.01 c logicor : 0.02 0.02 9 0 0 0 0 0 79 0 0 281
3585.24/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c components : 0.06 0.00 2 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c root node : - - - 0 - - 0 - - - - -
3585.24/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.24/3597.01 c benderslp : 0 0 0 0 17087 0 0 1675 0 0 0 0 0 0 0
3585.24/3597.01 c integral : 0 0 0 0 17087 0 0 1675 0 0 0 0 0 0 34174
3585.24/3597.01 c knapsack : 76+ 81 22 483417 0 0 0 1670 230042 3646 52524 728 99 0 0
3585.24/3597.01 c setppc : 1513+ 1600 22 479629 0 0 0 0 1742 24 3443 4 0 0 0
3585.24/3597.01 c linear : 10839+ 10859 22 479756 0 0 0 3 40864 16464 4657455 0 0 0 0
3585.24/3597.01 c logicor : 1008+ 1830 22 67514 0 0 0 0 28919 942 35286 80 15 0 0
3585.24/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.24/3597.01 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3585.24/3597.01 c integral : 20.96 0.00 0.00 0.00 20.96 0.00 0.00 0.00 0.00 0.00
3585.24/3597.01 c knapsack : 28.31 0.00 0.01 28.19 0.00 0.00 0.00 0.00 0.09 0.02
3585.24/3597.01 c setppc : 0.27 0.00 0.00 0.27 0.00 0.00 0.00 0.00 0.00 0.00
3585.24/3597.01 c linear : 157.25 0.10 0.06 157.01 0.00 0.00 0.00 0.00 0.06 0.02
3585.24/3597.01 c logicor : 7.44 0.02 0.00 7.39 0.00 0.00 0.00 0.00 0.03 0.00
3585.24/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.24/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.24/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.24/3597.01 c components : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
3585.24/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.24/3597.01 c dualfix : 2 0 0 0
3585.24/3597.01 c genvbounds : 0 0 0 0
3585.24/3597.01 c nlobbt : 0 0 0 0
3585.24/3597.01 c obbt : 0 0 0 0
3585.24/3597.01 c probing : 0 0 0 0
3585.24/3597.01 c pseudoobj : 82215 0 0 0
3585.24/3597.01 c redcost : 37791 0 0 15
3585.24/3597.01 c rootredcost : 2 0 0 0
3585.24/3597.01 c symmetry : 0 0 0 0
3585.24/3597.01 c vbounds : 139802 0 0 0
3585.24/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.24/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3585.24/3597.01 c genvbounds : 0.05 0.00 0.00 0.05 0.00 0.00
3585.24/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.24/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.24/3597.01 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
3585.24/3597.01 c pseudoobj : 0.12 0.00 0.00 0.12 0.00 0.00
3585.24/3597.01 c redcost : 9.68 0.00 0.00 9.68 0.00 0.00
3585.24/3597.01 c rootredcost : 0.04 0.00 0.00 0.04 0.00 0.00
3585.24/3597.01 c symmetry : 0.47 0.00 0.41 0.07 0.00 0.00
3585.24/3597.01 c vbounds : 0.94 0.00 0.00 0.94 0.00 0.00
3585.24/3597.01 c Symmetry :
3585.24/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.24/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3585.24/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3585.24/3597.01 c shadow tree time : 0.00 s
3585.24/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.24/3597.01 c propagation : 0.39 7783 7722 - 53301 31.6 327 18.7 - - -
3585.24/3597.01 c infeasible LP : 1.06 839 839 - 3476 26.5 72 19.8 839 24.0 0
3585.24/3597.01 c bound exceed. LP : 0.00 3 3 - 3 17.7 0 0.0 3 20.3 0
3585.24/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.24/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.24/3597.01 c applied globally : 0.09 - - 0 22117 26.1 - - 842 - -
3585.24/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3585.24/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.24/3597.01 c cut pool : 1.43 - 3758 42 - - 32210 455773 - - - - - (maximal pool size: 11042)
3585.24/3597.01 c aggregation : 1.36 0.00 181 22 0 0 19620 261030 136 10936 10927 9 0
3585.24/3597.01 c > cmir : - - - - - - - 160342 0 4959 4959 0 -
3585.24/3597.01 c > flowcover : - - - - - - - 91078 0 5055 5055 0 -
3585.24/3597.01 c > knapsackcover : - - - - - - - 9610 136 922 913 9 -
3585.24/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c clique : 0.56 0.00 22 22 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c gomory : 17.19 0.00 179 20 0 0 11959 142014 12 4931 4930 1 0
3585.24/3597.01 c > gomorymi : - - - - - - - 79157 6 2318 2317 1 -
3585.24/3597.01 c > strongcg : - - - - - - - 62857 6 2613 2613 0 -
3585.24/3597.01 c impliedbounds : 0.06 0.00 181 22 0 0 48 1933 0 1033 1033 0 0
3585.24/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c multilinear : 0.00 0.00 242 22 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c rlt : 0.00 0.00 116 20 0 0 0 0 0 0 0 0 0
3585.24/3597.01 c zerohalf : 3.51 0.00 180 22 0 0 733 50796 2 6362 6362 0 0
3585.24/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.24/3597.01 c hybrid : 0.16 0.00 3577 22 23376 0 433359 281 0 46187
3585.24/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.24/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.24/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3585.24/3597.01 c problem variables: 0.00 - 0 0
3585.24/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.24/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.24/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.24/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.24/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.24/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.24/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.24/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.24/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.24/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.24/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.24/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.24/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.24/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.24/3597.01 c relpscost : 20.94 0.00 17087 0 0 0 0 0 0 34174
3585.24/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.24/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.24/3597.01 c LP solutions : 0.00 - - 0 0
3585.24/3597.01 c relax solutions : 0.00 - - 0 0
3585.24/3597.01 c pseudo solutions : 0.00 - - 0 0
3585.24/3597.01 c strong branching : 0.00 - - 0 0
3585.24/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3585.24/3597.01 c adaptivediving : 10.85 0.00 19 0 0
3585.24/3597.01 c alns : 1.16 0.00 5 0 0
3585.24/3597.01 c bound : 0.00 0.00 0 0 0
3585.24/3597.01 c clique : 0.13 0.00 1 0 0
3585.24/3597.01 c coefdiving : 0.00 0.00 0 0 0
3585.24/3597.01 c completesol : 0.00 0.00 0 0 0
3585.24/3597.01 c conflictdiving : 141.15 0.00 329 0 0
3585.24/3597.01 c crossover : 0.01 0.00 0 0 0
3585.24/3597.01 c dins : 0.00 0.00 0 0 0
3585.24/3597.01 c distributiondivin: 104.72 0.00 182 0 0
3585.24/3597.01 c dps : 0.00 0.00 0 0 0
3585.24/3597.01 c dualval : 0.00 0.00 0 0 0
3585.24/3597.01 c farkasdiving : 6.85 0.00 2 0 0
3585.24/3597.01 c feasjump : 0.26 0.00 2 0 0
3585.24/3597.01 c feaspump : 151.00 0.00 29 0 0
3585.24/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3585.24/3597.01 c fracdiving : 160.25 0.00 335 0 0
3585.24/3597.01 c gins : 0.00 0.00 0 0 0
3585.24/3597.01 c guideddiving : 0.00 0.00 0 0 0
3585.24/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3585.24/3597.01 c indicator : 0.01 0.00 0 0 0
3585.24/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3585.24/3597.01 c indoneopt : 0.01 0.00 0 0 0
3585.24/3597.01 c indrounding : 0.00 0.00 0 0 0
3585.24/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3585.24/3597.01 c intdiving : 0.00 0.00 0 0 0
3585.24/3597.01 c intshifting : 0.00 0.00 0 0 0
3585.24/3597.01 c linesearchdiving : 122.44 0.00 304 0 0
3585.24/3597.01 c localbranching : 0.00 0.00 0 0 0
3585.24/3597.01 c locks : 0.15 0.00 1 0 0
3585.24/3597.01 c lpface : 0.08 0.00 0 0 0
3585.24/3597.01 c mpec : 0.00 0.00 0 0 0
3585.24/3597.01 c multistart : 0.00 0.00 0 0 0
3585.24/3597.01 c mutation : 0.00 0.00 0 0 0
3585.24/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3585.24/3597.01 c objpscostdiving : 104.98 0.00 8 0 0
3585.24/3597.01 c octane : 0.00 0.00 0 0 0
3585.24/3597.01 c ofins : 0.00 0.00 0 0 0
3585.24/3597.01 c oneopt : 0.01 0.00 0 0 0
3585.24/3597.01 c padm : 0.00 0.00 0 0 0
3585.24/3597.01 c proximity : 0.00 0.00 0 0 0
3585.24/3597.01 c pscostdiving : 99.41 0.00 200 0 0
3585.24/3597.01 c randrounding : 3.38 0.00 1680 0 0
3585.24/3597.01 c rens : 0.21 0.00 2 0 0
3585.24/3597.01 c reoptsols : 0.00 0.00 0 0 0
3585.24/3597.01 c repair : 0.00 0.00 0 0 0
3585.24/3597.01 c rins : 0.01 0.00 0 0 0
3585.24/3597.01 c rootsoldiving : 62.62 0.00 25 0 0
3585.24/3597.01 c rounding : 1.41 0.00 2007 0 0
3585.24/3597.01 c scheduler : 0.00 0.00 0 0 0
3585.24/3597.01 c shiftandpropagate: 0.34 0.00 2 0 0
3585.24/3597.01 c shifting : 11.93 0.00 999 0 0
3585.24/3597.01 c simplerounding : 0.01 0.00 0 0 0
3585.24/3597.01 c smallcard : 0.00 0.00 0 0 0
3585.24/3597.01 c subnlp : 0.02 0.00 0 0 0
3585.24/3597.01 c trivial : 0.01 0.00 4 0 0
3585.24/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3585.24/3597.01 c trustregion : 0.00 0.00 0 0 0
3585.24/3597.01 c trysol : 0.01 0.00 0 0 0
3585.24/3597.01 c twoopt : 0.00 0.00 0 0 0
3585.24/3597.01 c undercover : 0.00 0.00 0 0 0
3585.24/3597.01 c vbounds : 0.00 0.00 0 0 0
3585.24/3597.01 c veclendiving : 96.22 0.00 145 0 0
3585.24/3597.01 c zeroobj : 0.00 0.00 0 0 0
3585.24/3597.01 c zirounding : 0.76 0.00 1000 0 0
3585.24/3597.01 c other solutions : - - - 0 -
3585.24/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
3585.24/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
3585.24/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
3585.24/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
3585.24/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
3585.24/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
3585.24/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
3585.24/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
3585.24/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
3585.24/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
3585.24/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.24/3597.01 c primal LP : 31.10 1683 0 0.00 0.00 31.10 1683
3585.24/3597.01 c dual LP : 2147.95 20857 18901721 908.43 8799.87 0.39 50
3585.24/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3585.24/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.24/3597.01 c resolve instable : 0.00 0 0 0.00 -
3585.24/3597.01 c diving/probing LP: 888.65 4296 9067758 2110.74 10204.02
3585.24/3597.01 c strong branching : 5.40 52 28031 539.06 5186.88 - - 35
3585.24/3597.01 c (at root node) : - 52 28031 539.06 -
3585.24/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3585.24/3597.01 c B&B Tree :
3585.24/3597.01 c number of runs : 2
3585.24/3597.01 c nodes : 23904 (15650 internal, 8254 leaves)
3585.24/3597.01 c feasible leaves : 0
3585.24/3597.01 c infeas. leaves : 8253
3585.24/3597.01 c objective leaves : 0
3585.24/3597.01 c nodes (total) : 25620 (17087 internal, 8533 leaves)
3585.24/3597.01 c nodes left : 5932
3585.24/3597.01 c max depth : 55
3585.24/3597.01 c max depth (total): 55
3585.24/3597.01 c backtracks : 5908 (24.7%)
3585.24/3597.01 c early backtracks : 0 (0.0%)
3585.24/3597.01 c nodes exc. ref. : 0 (0.0%)
3585.24/3597.01 c delayed cutoffs : 1466
3585.24/3597.01 c repropagations : 4128 (198631 domain reductions, 1061 cutoffs)
3585.24/3597.01 c avg switch length: 5.75
3585.24/3597.01 c switching time : 99.68
3585.24/3597.01 c Root Node :
3585.24/3597.01 c First LP value : +1.80000000000000e+01
3585.24/3597.01 c First LP Iters : 11322 (12918.80 Iter/sec)
3585.24/3597.01 c First LP Time : 0.88
3585.24/3597.01 c Final Dual Bound : +2.10000000000000e+01
3585.24/3597.01 c Final Root Iters : 29022
3585.24/3597.01 c Root LP Estimate : +6.53164431521915e+01
3585.24/3597.01 c Solution :
3585.24/3597.01 c Solutions found : 0 (0 improvements)
3585.24/3597.01 c Primal Bound : -
3585.24/3597.01 c Dual Bound : +3.09983708932935e+01
3585.24/3597.01 c Gap : infinite
3585.24/3597.01 c Integrals : Total Avg%
3585.24/3597.01 c primal-dual : 359699.87 100.00
3585.24/3597.01 c primal-ref : - - (not evaluated)
3585.24/3597.01 c dual-ref : - - (not evaluated)
3585.44/3597.21 c Time complete: 3585.46.
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: 63665 MiB (62864 MiB free)
memory of node 1: 64507 MiB (62432 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490804-1751383217/watcher-4490804-1751383217 -o /tmp/evaluation-result-4490804-1751383217/solver-4490804-1751383217 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751383217-58505 --watchdog 3760 pbscip -f HOME/instance-4490804-1751383217.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=58564, runsolver pid=58553
[startup+0.100061 s]*
/proc/loadavg: 0.96 1.25 2.21 5/264 58565
/proc/meminfo: memFree=128268560/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=60792 memory=33024 CPUtime=0.09 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 5390 0 0 0 8 1 0 0 20 0 1 0 53999622 62251008 8256 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 15198 8256 3200 3530 0 6649 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60792 KiB
Current children cumulated memory: 33024 KiB
[startup+0.204756 s]*
/proc/loadavg: 0.96 1.25 2.21 6/264 58565
/proc/meminfo: memFree=128235044/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=78372 memory=52068 CPUtime=0.19 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 9949 0 0 0 18 1 0 0 20 0 1 0 53999622 80252928 13017 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 19593 13017 3488 3530 0 11044 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 78372 KiB
Current children cumulated memory: 52068 KiB
[startup+0.305172 s]*
/proc/loadavg: 0.96 1.25 2.21 5/264 58565
/proc/meminfo: memFree=128146844/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=175932 memory=146460 CPUtime=0.28 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 35763 0 0 0 24 4 0 0 20 0 1 0 53999622 180154368 36615 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 43983 36615 3488 3530 0 35434 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 175932 KiB
Current children cumulated memory: 146460 KiB
[startup+0.700139 s]
/proc/loadavg: 0.96 1.25 2.21 5/264 58565
/proc/meminfo: memFree=128069920/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=318384 memory=282600 CPUtime=0.68 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 59773 0 0 0 58 10 0 0 20 0 1 0 53999622 326025216 70650 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 79596 70650 3648 3530 0 71047 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 318384 KiB
Current children cumulated memory: 282600 KiB
[startup+1.50016 s]
/proc/loadavg: 0.96 1.25 2.21 5/264 58565
/proc/meminfo: memFree=127945844/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=429104 memory=378600 CPUtime=1.48 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 87426 0 0 0 133 15 0 0 20 0 1 0 53999622 439402496 94650 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 107276 94650 3744 3530 0 98727 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 429104 KiB
Current children cumulated memory: 378600 KiB
[startup+3.10521 s]
/proc/loadavg: 1.20 1.29 2.22 5/264 58565
/proc/meminfo: memFree=127731220/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=573672 memory=502624 CPUtime=3.07 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 114731 0 0 0 288 19 0 0 20 0 1 0 53999622 587440128 125656 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 143418 125656 3904 3530 0 134869 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 573672 KiB
Current children cumulated memory: 502624 KiB
[startup+6.30014 s]
/proc/loadavg: 1.20 1.29 2.22 5/264 58565
/proc/meminfo: memFree=127708100/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=573672 memory=503008 CPUtime=6.26 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 114807 0 0 0 607 19 0 0 20 0 1 0 53999622 587440128 125752 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 143418 125752 3936 3530 0 134869 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 573672 KiB
Current children cumulated memory: 503008 KiB
[startup+12.7001 s]
/proc/loadavg: 1.71 1.40 2.24 5/265 58611
/proc/meminfo: memFree=127594100/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=633300 memory=569292 CPUtime=12.63 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 124247 0 0 0 1241 22 0 0 20 0 1 0 53999622 648499200 142323 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 158325 142323 3936 3530 0 149776 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 633300 KiB
Current children cumulated memory: 569292 KiB
[startup+25.5002 s]
/proc/loadavg: 2.06 1.48 2.26 5/266 58613
/proc/meminfo: memFree=127476380/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=674560 memory=606412 CPUtime=25.39 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 133518 0 0 0 2515 24 0 0 20 0 1 0 53999622 690749440 151603 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 168640 151603 3936 3530 0 160091 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 674560 KiB
Current children cumulated memory: 606412 KiB
[startup+51.1052 s]
/proc/loadavg: 2.73 1.69 2.31 5/266 58614
/proc/meminfo: memFree=127406364/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=674560 memory=606412 CPUtime=50.93 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 133520 0 0 0 5069 24 0 0 20 0 1 0 53999622 690749440 151603 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 168640 151603 3936 3530 0 160091 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 674560 KiB
Current children cumulated memory: 606412 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 2.11 2.42 5/267 58617
/proc/meminfo: memFree=127218804/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=681880 memory=618220 CPUtime=101.98 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 147509 0 0 0 10172 26 0 0 20 0 1 0 53999622 698245120 154555 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 170470 154555 3936 3530 0 161921 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 681880 KiB
Current children cumulated memory: 618220 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 2.47 2.53 5/267 58619
/proc/meminfo: memFree=126987108/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=752632 memory=687468 CPUtime=161.81 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 164853 0 0 0 16152 29 0 0 20 0 1 0 53999622 770695168 171867 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 188158 171867 3936 3530 0 179609 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 752632 KiB
Current children cumulated memory: 687468 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.77 2.63 5/267 58621
/proc/meminfo: memFree=126817364/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=752632 memory=687468 CPUtime=221.64 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 164860 0 0 0 22135 29 0 0 20 0 1 0 53999622 770695168 171867 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 188158 171867 3936 3530 0 179609 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 752632 KiB
Current children cumulated memory: 687468 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.03 2.72 5/268 58630
/proc/meminfo: memFree=126724688/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=752632 memory=687852 CPUtime=281.48 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 164964 0 0 0 28119 29 0 0 20 0 1 0 53999622 770695168 171963 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 188158 171963 3936 3530 0 179609 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 752632 KiB
Current children cumulated memory: 687852 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 3.25 2.82 5/266 58632
/proc/meminfo: memFree=126617272/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=760900 memory=696556 CPUtime=341.31 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 167185 0 0 0 34102 29 0 0 20 0 1 0 53999622 779161600 174139 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 190225 174139 3936 3530 0 181676 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 760900 KiB
Current children cumulated memory: 696556 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.40 2.91 5/265 58635
/proc/meminfo: memFree=126561268/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=760900 memory=696556 CPUtime=401.15 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 167208 0 0 0 40086 29 0 0 20 0 1 0 53999622 779161600 174139 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 190225 174139 3936 3530 0 181676 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 760900 KiB
Current children cumulated memory: 696556 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.54 2.99 5/266 58638
/proc/meminfo: memFree=126423512/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=761604 memory=696940 CPUtime=460.99 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 167296 0 0 0 46070 29 0 0 20 0 1 0 53999622 779882496 174235 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 190401 174235 3936 3530 0 181852 0
Current children cumulated CPU time: 460.99 s
################
# More data... #
################
/proc/loadavg: 4.15 4.12 4.06 5/266 58790
/proc/meminfo: memFree=122432392/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=931664 memory=905024 CPUtime=3152.03 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 224182 0 0 0 315165 38 0 0 20 0 1 0 53999622 954023936 226256 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 232916 226256 3936 3530 0 224367 0
Current children cumulated CPU time: 3152.03 s
Current children cumulated vsize: 931664 KiB
Current children cumulated memory: 905024 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.06 5/266 58793
/proc/meminfo: memFree=122375988/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=931664 memory=905024 CPUtime=3211.83 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 224341 0 0 0 321145 38 0 0 20 0 1 0 53999622 954023936 226256 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 232916 226256 3936 3530 0 224367 0
Current children cumulated CPU time: 3211.83 s
Current children cumulated vsize: 931664 KiB
Current children cumulated memory: 905024 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.06 5/265 58802
/proc/meminfo: memFree=122330604/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=931664 memory=905024 CPUtime=3271.62 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 224412 0 0 0 327124 38 0 0 20 0 1 0 53999622 954023936 226256 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 232916 226256 3936 3530 0 224367 0
Current children cumulated CPU time: 3271.62 s
Current children cumulated vsize: 931664 KiB
Current children cumulated memory: 905024 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.13 4.07 5/265 58805
/proc/meminfo: memFree=122277664/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=931664 memory=905024 CPUtime=3331.41 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 224413 0 0 0 333103 38 0 0 20 0 1 0 53999622 954023936 226256 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 232916 226256 3936 3530 0 224367 0
Current children cumulated CPU time: 3331.41 s
Current children cumulated vsize: 931664 KiB
Current children cumulated memory: 905024 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.07 5/265 58807
/proc/meminfo: memFree=122245108/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=931664 memory=905024 CPUtime=3391.21 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 224415 0 0 0 339083 38 0 0 20 0 1 0 53999622 954023936 226256 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 232916 226256 3936 3530 0 224367 0
Current children cumulated CPU time: 3391.21 s
Current children cumulated vsize: 931664 KiB
Current children cumulated memory: 905024 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.07 5/265 58808
/proc/meminfo: memFree=122178256/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=931664 memory=905024 CPUtime=3451 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 224416 0 0 0 345062 38 0 0 20 0 1 0 53999622 954023936 226256 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 232916 226256 3936 3530 0 224367 0
Current children cumulated CPU time: 3451 s
Current children cumulated vsize: 931664 KiB
Current children cumulated memory: 905024 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.08 5/265 58810
/proc/meminfo: memFree=122118964/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=931664 memory=905024 CPUtime=3510.79 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 224416 0 0 0 351041 38 0 0 20 0 1 0 53999622 954023936 226256 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 232916 226256 3936 3530 0 224367 0
Current children cumulated CPU time: 3510.79 s
Current children cumulated vsize: 931664 KiB
Current children cumulated memory: 905024 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.08 5/264 58813
/proc/meminfo: memFree=122085912/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=931664 memory=905024 CPUtime=3570.58 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 224597 0 0 0 357020 38 0 0 20 0 1 0 53999622 954023936 226256 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 232916 226256 3936 3530 0 224367 0
Current children cumulated CPU time: 3570.58 s
Current children cumulated vsize: 931664 KiB
Current children cumulated memory: 905024 KiB
[startup+3597.23 s]
# the end of solver process 58564 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.07 s, system=0.402384 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.11 4.08 5/264 58813
/proc/meminfo: memFree=122081816/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=931664 memory=905024 CPUtime=3572.28 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 224597 0 0 0 357190 38 0 0 20 0 1 0 53999622 954023936 226256 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 232916 226256 3936 3530 0 224367 0
Current children cumulated CPU time: 3572.28 s
Current children cumulated vsize: 931664 KiB
Current children cumulated memory: 905024 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.12 4.08 5/264 58814
/proc/meminfo: memFree=122081816/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=931664 memory=905024 CPUtime=3578.65 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 224623 0 0 0 357827 38 0 0 20 0 1 0 53999622 954023936 226256 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 232916 226256 3936 3530 0 224367 0
Current children cumulated CPU time: 3578.65 s
Current children cumulated vsize: 931664 KiB
Current children cumulated memory: 905024 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.12 4.08 5/264 58814
/proc/meminfo: memFree=122073768/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=931664 memory=905024 CPUtime=3581.84 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 224624 0 0 0 358146 38 0 0 20 0 1 0 53999622 954023936 226256 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 232916 226256 3936 3530 0 224367 0
Current children cumulated CPU time: 3581.84 s
Current children cumulated vsize: 931664 KiB
Current children cumulated memory: 905024 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.12 4.08 5/264 58814
/proc/meminfo: memFree=122073768/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=931664 memory=905024 CPUtime=3583.44 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 224624 0 0 0 358306 38 0 0 20 0 1 0 53999622 954023936 226256 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 232916 226256 3936 3530 0 224367 0
Current children cumulated CPU time: 3583.44 s
Current children cumulated vsize: 931664 KiB
Current children cumulated memory: 905024 KiB
[startup+3596 s]*
/proc/loadavg: 4.14 4.12 4.08 5/264 58814
/proc/meminfo: memFree=122073768/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=931664 memory=905024 CPUtime=3584.24 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 224625 0 0 0 358386 38 0 0 20 0 1 0 53999622 954023936 226256 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 232916 226256 3936 3530 0 224367 0
Current children cumulated CPU time: 3584.24 s
Current children cumulated vsize: 931664 KiB
Current children cumulated memory: 905024 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.12 4.08 5/264 58814
/proc/meminfo: memFree=122073768/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=931664 memory=905024 CPUtime=3585.03 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 224625 0 0 0 358465 38 0 0 20 0 1 0 53999622 954023936 226256 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 232916 226256 3936 3530 0 224367 0
Current children cumulated CPU time: 3585.03 s
Current children cumulated vsize: 931664 KiB
Current children cumulated memory: 905024 KiB
[startup+3597.2 s]
/proc/loadavg: 4.14 4.12 4.08 5/264 58814
/proc/meminfo: memFree=122073768/131249996 swapFree=33010684/33010684
[pid=58564] ppid=58553 vsize=904604 memory=878008 CPUtime=3585.44 cores=0,2
/proc/58564/stat : 58564 (pbscip) R 58553 58564 58495 0 -1 4194304 224708 0 0 0 358505 39 0 0 20 0 1 0 53999622 926314496 219502 18446744073709551615 4235264 18693293 140720967740944 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56967168 140720967747977 140720967748076 140720967748076 140720967753678 0
/proc/58564/statm: 226151 219502 3936 3530 0 217602 0
Current children cumulated CPU time: 3585.44 s
Current children cumulated vsize: 904604 KiB
Current children cumulated memory: 878008 KiB
Child status: 0
Real time (s): 3597.23
CPU time (s): 3585.47
CPU user time (s): 3585.07
CPU system time (s): 0.402384
CPU usage (%): 99.6732
Max. virtual memory (cumulated for all children) (KiB): 991500
Max. memory (cumulated for all children) (KiB): 959184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.07
system time used= 0.402384
maximum resident set size= 959184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224735
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= 108
involuntary context switches= 8142
# summary of solver processes directly reported to runsolver:
# pid: 58564
# total CPU time (s): 3585.47
# total CPU user time (s): 3585.07
# total CPU system time (s): 0.402384
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.30875 second user time and 13.2214 second system time
The end