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-4486158-1751317315.opb>
0.00/0.02 c original problem has 4600 variables (4600 bin, 0 int, 0 impl, 0 cont) and 310 constraints
0.00/0.02 c problem read in 0.01
0.00/0.02 c presolving:
0.00/0.03 c (round 1, fast) 0 del vars, 0 del conss, 64 add conss, 0 chg bounds, 159 chg sides, 3068 chg coeffs, 0 upgd conss, 0 impls, 46 clqs
0.00/0.03 c (0.0s) running MILP presolver
0.00/0.04 c (0.0s) MILP presolver found nothing
0.00/0.05 c (round 2, exhaustive) 0 del vars, 0 del conss, 64 add conss, 0 chg bounds, 159 chg sides, 3068 chg coeffs, 310 upgd conss, 0 impls, 46 clqs
0.00/0.06 c (round 3, medium) 0 del vars, 0 del conss, 104 add conss, 0 chg bounds, 1059 chg sides, 4084 chg coeffs, 310 upgd conss, 0 impls, 1202 clqs
0.00/0.06 c (round 4, fast) 0 del vars, 0 del conss, 104 add conss, 0 chg bounds, 1079 chg sides, 4104 chg coeffs, 310 upgd conss, 0 impls, 1202 clqs
0.00/0.06 c (round 5, exhaustive) 0 del vars, 0 del conss, 104 add conss, 0 chg bounds, 1079 chg sides, 4168 chg coeffs, 310 upgd conss, 0 impls, 1202 clqs
0.00/0.06 c (round 6, exhaustive) 0 del vars, 20 del conss, 104 add conss, 0 chg bounds, 1079 chg sides, 4168 chg coeffs, 310 upgd conss, 0 impls, 1222 clqs
0.08/0.10 c (0.1s) probing: 51/4600 (1.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.08/0.10 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.08/0.10 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.08/0.11 c (0.1s) no symmetry present (symcode time: 0.00)
0.08/0.11 c presolving (7 rounds: 7 fast, 5 medium, 4 exhaustive):
0.08/0.11 c 0 deleted vars, 20 deleted constraints, 104 added constraints, 0 tightened bounds, 0 added holes, 1079 changed sides, 4168 changed coefficients
0.08/0.11 c 0 implications, 1222 cliques
0.08/0.11 c presolved problem has 4600 variables (4600 bin, 0 int, 0 impl, 0 cont) and 394 constraints
0.08/0.11 c 246 constraints of type <knapsack>
0.08/0.11 c 20 constraints of type <setppc>
0.08/0.11 c 64 constraints of type <linear>
0.08/0.11 c 64 constraints of type <logicor>
0.08/0.11 c transformed objective value is always integral (scale: 1)
0.08/0.11 c Presolving Time: 0.09
0.08/0.11 c - non default parameters ----------------------------------------------------------------------
0.08/0.11 c # SCIP version 10.0.0
0.08/0.11 c
0.08/0.11 c # maximal time in seconds to run
0.08/0.11 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.08/0.11 c limits/time = 3596.997023
0.08/0.11 c
0.08/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.11 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.08/0.11 c limits/memory = 27900
0.08/0.11 c
0.08/0.11 c # belongs reading time to solving time?
0.08/0.11 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.08/0.11 c timing/reading = TRUE
0.08/0.11 c
0.08/0.11 c -----------------------------------------------------------------------------------------------
0.08/0.11 c start solving
0.08/0.11 c
0.08/0.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.08/0.20 c 0.2s| 1 | 0 | 724 | - | 55M | 0 |4600 | 394 | 394 | 0 | 0 | 0 | 0 | 5.102836e+06 | -- | Inf | unknown
0.29/0.35 c (node 1) numerical troubles in LP 10 -- unresolved
0.39/0.49 c 0.5s| 1 | 0 | 3486 | - | 61M | 0 |4600 | 394 | 475 | 81 | 1 | 0 | 0 | 5.418329e+06 | -- | Inf | unknown
0.49/0.57 c 0.6s| 1 | 0 | 3814 | - | 62M | 0 |4600 | 394 | 547 | 153 | 2 | 0 | 0 | 5.492303e+06 | -- | Inf | unknown
0.59/0.68 c 0.7s| 1 | 0 | 4345 | - | 65M | 0 |4600 | 394 | 612 | 218 | 3 | 0 | 0 | 5.534853e+06 | -- | Inf | unknown
0.68/0.79 c 0.8s| 1 | 0 | 4753 | - | 65M | 0 |4600 | 394 | 683 | 289 | 4 | 0 | 0 | 5.598482e+06 | -- | Inf | unknown
0.88/0.92 c 0.9s| 1 | 0 | 5134 | - | 67M | 0 |4600 | 394 | 760 | 366 | 5 | 0 | 0 | 5.627098e+06 | -- | Inf | unknown
0.98/1.05 c 1.0s| 1 | 0 | 5576 | - | 68M | 0 |4600 | 394 | 839 | 445 | 6 | 0 | 0 | 5.659560e+06 | -- | Inf | unknown
1.08/1.17 c 1.2s| 1 | 0 | 5892 | - | 71M | 0 |4600 | 394 | 930 | 536 | 7 | 0 | 0 | 5.668028e+06 | -- | Inf | unknown
1.28/1.33 c 1.3s| 1 | 0 | 6420 | - | 73M | 0 |4600 | 394 |1007 | 613 | 8 | 0 | 0 | 5.673282e+06 | -- | Inf | unknown
1.38/1.49 c 1.5s| 1 | 0 | 6819 | - | 75M | 0 |4600 | 394 |1086 | 692 | 9 | 0 | 0 | 5.680064e+06 | -- | Inf | unknown
2.08/2.18 c (node 1) unresolved numerical troubles in LP 24 -- using pseudo solution instead (loop 1)
2.08/2.18 c 2.2s| 1 | 2 | 12886 | - | 75M | 0 |4600 | 394 |1168 | 774 | 10 | 0 | 0 | 5.680064e+06 | -- | Inf | unknown
85.57/85.85 c 85.8s| 100 | 101 |477539 |4693.5 | 79M | 17 |4600 | 405 |1335 |2713 | 1 | 11 | 576 | 5.703159e+06 | -- | Inf | unknown
152.91/153.39 c 153s| 200 | 201 |941356 |4665.7 | 79M | 21 |4600 | 424 |1481 |4398 | 1 | 30 | 969 | 5.703159e+06 | -- | Inf | unknown
224.24/224.83 c 225s| 300 | 301 | 1386k|4595.7 | 80M | 21 |4600 | 433 |1265 |6316 | 1 | 40 |1452 | 5.703159e+06 | -- | Inf | unknown
296.97/297.78 c 298s| 400 | 399 | 1825k|4544.0 | 80M | 25 |4600 | 449 |1757 |7337 | 1 | 58 |1959 | 5.703159e+06 | -- | Inf | unknown
350.15/351.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
350.15/351.04 c 351s| 500 | 499 | 2156k|4296.4 | 81M | 33 |4600 | 448 |1572 |8510 | 1 | 60 |2328 | 5.703706e+06 | -- | Inf | unknown
400.53/401.58 c 402s| 600 | 599 | 2496k|4145.8 | 82M | 33 |4600 | 452 |1755 |9958 | 1 | 66 |2640 | 5.708531e+06 | -- | Inf | unknown
426.08/427.12 c 427s| 700 | 699 | 2731k|3889.2 | 82M | 35 |4600 | 460 |1501 | 10k| 2 | 76 |2793 | 5.708531e+06 | -- | Inf | unknown
504.79/506.01 c 506s| 800 | 799 | 3177k|3961.2 | 82M | 35 |4600 | 468 |1590 | 11k| 1 | 84 |3544 | 5.712095e+06 | -- | Inf | unknown
579.21/580.64 c 581s| 900 | 895 | 3747k|4154.0 | 84M | 35 |4600 | 470 |1752 | 12k| 0 | 88 |3951 | 5.712095e+06 | -- | Inf | unknown
598.27/599.79 c 600s| 1000 | 995 | 3948k|3939.7 | 85M | 45 |4600 | 469 |1794 | 13k| 1 | 88 |4004 | 5.717457e+06 | -- | Inf | unknown
615.63/617.10 c 617s| 1100 | 1095 | 4143k|3758.9 | 86M | 45 |4600 | 469 |1572 | 14k| 1 | 88 |4029 | 5.717490e+06 | -- | Inf | unknown
648.84/650.40 c 650s| 1200 | 1195 | 4451k|3702.3 | 86M | 45 |4600 | 467 |1635 | 15k| 1 | 88 |4151 | 5.717504e+06 | -- | Inf | unknown
672.09/673.70 c 674s| 1300 | 1291 | 4672k|3586.9 | 87M | 45 |4600 | 467 |1560 | 16k| 1 | 88 |4197 | 5.717504e+06 | -- | Inf | unknown
698.73/700.46 c 700s| 1400 | 1391 | 4870k|3472.3 | 87M | 45 |4600 | 466 |1530 | 16k| 1 | 88 |4417 | 5.717504e+06 | -- | Inf | unknown
730.86/732.69 c 733s| 1500 | 1491 | 5130k|3414.3 | 89M | 45 |4600 | 466 |1623 | 17k| 1 | 88 |4727 | 5.717504e+06 | -- | Inf | unknown
763.38/765.23 c 765s| 1600 | 1591 | 5424k|3384.6 | 90M | 45 |4600 | 466 |1659 | 18k| 1 | 88 |4884 | 5.717504e+06 | -- | Inf | unknown
796.80/798.75 c 799s| 1700 | 1691 | 5676k|3333.4 | 95M | 49 |4600 | 466 |1698 | 19k| 1 | 88 |5252 | 5.717504e+06 | -- | Inf | unknown
849.27/851.34 c 851s| 1800 | 1791 | 6140k|3406.4 | 96M | 57 |4600 | 466 |1873 | 19k| 1 | 88 |5601 | 5.717504e+06 | -- | Inf | unknown
879.90/882.08 c 882s| 1900 | 1891 | 6391k|3358.8 | 98M | 61 |4600 | 466 |1747 | 20k| 1 | 88 |5787 | 5.717566e+06 | -- | Inf | unknown
893.57/895.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
893.57/895.77 c 896s| 2000 | 1991 | 6566k|3278.6 | 100M | 61 |4600 | 470 |1471 | 21k| 1 | 92 |5839 | 5.717624e+06 | -- | Inf | unknown
927.99/930.25 c 930s| 2100 | 2091 | 6842k|3254.0 | 102M | 61 |4600 | 470 |1895 | 22k| 1 | 92 |6087 | 5.717624e+06 | -- | Inf | unknown
966.60/968.91 c LP solution value is below SCIP's -infinity value
967.59/969.96 c 970s| 2200 | 2191 | 7151k|3246.2 | 102M | 61 |4600 | 480 |1762 | 23k| 1 | 103 |6411 | 5.718135e+06 | -- | Inf | unknown
992.34/994.71 c 995s| 2300 | 2291 | 7380k|3204.7 | 104M | 61 |4600 | 480 |1444 | 24k| 1 | 103 |6518 | 5.723047e+06 | -- | Inf | unknown
1022.67/1025.20 c 1025s| 2400 | 2391 | 7689k|3199.9 | 105M | 61 |4600 | 480 |1685 | 24k| 1 | 103 |6604 | 5.723047e+06 | -- | Inf | unknown
1054.70/1057.30 c 1057s| 2500 | 2491 | 7973k|3185.4 | 105M | 61 |4600 | 479 |1635 | 25k| 1 | 103 |6663 | 5.723680e+06 | -- | Inf | unknown
1070.76/1073.36 c 1073s| 2600 | 2591 | 8145k|3129.1 | 105M | 61 |4600 | 479 |1557 | 26k| 1 | 103 |6792 | 5.723680e+06 | -- | Inf | unknown
1088.11/1090.72 c 1091s| 2700 | 2691 | 8345k|3087.2 | 105M | 61 |4600 | 479 |1786 | 26k| 1 | 103 |6813 | 5.723680e+06 | -- | Inf | unknown
1109.47/1112.19 c 1112s| 2800 | 2791 | 8590k|3064.5 | 106M | 65 |4600 | 479 |1545 | 27k| 1 | 103 |6892 | 5.723680e+06 | -- | Inf | unknown
1126.12/1128.84 c 1129s| 2900 | 2891 | 8769k|3020.7 | 106M | 65 |4600 | 485 |1709 | 28k| 1 | 109 |6934 | 5.723693e+06 | -- | Inf | unknown
1145.97/1148.79 c 1149s| 3000 | 2991 | 8980k|2990.1 | 107M | 65 |4600 | 485 |1794 | 28k| 1 | 109 |7071 | 5.723693e+06 | -- | Inf | unknown
1172.71/1175.53 c 1176s| 3100 | 3091 | 9220k|2971.3 | 109M | 65 |4600 | 490 |1631 | 29k| 1 | 114 |7190 | 5.723883e+06 | -- | Inf | unknown
1213.91/1216.85 c 1217s| 3200 | 3191 | 9578k|2990.2 | 109M | 65 |4600 | 489 |1340 | 29k| 1 | 114 |7411 | 5.726602e+06 | -- | Inf | unknown
1246.93/1249.96 c 1250s| 3300 | 3291 | 9863k|2986.1 | 110M | 65 |4600 | 489 |1591 | 30k| 1 | 114 |7610 | 5.726602e+06 | -- | Inf | unknown
1306.40/1309.51 c 1310s| 3400 | 3391 | 10273k|3018.8 | 110M | 65 |4600 | 489 |1704 | 31k| 1 | 114 |7910 | 5.733600e+06 | -- | Inf | unknown
1330.34/1333.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1330.34/1333.56 c 1334s| 3500 | 3489 | 10495k|2995.9 | 111M | 65 |4600 | 499 |1628 | 31k| 1 | 125 |8061 | 5.733600e+06 | -- | Inf | unknown
1359.37/1362.62 c 1363s| 3600 | 3589 | 10766k|2987.9 | 114M | 65 |4600 | 498 |1861 | 32k| 0 | 125 |8314 | 5.733600e+06 | -- | Inf | unknown
1409.46/1412.82 c 1413s| 3700 | 3689 | 11176k|3018.0 | 114M | 69 |4600 | 498 |1805 | 33k| 1 | 125 |8590 | 5.745160e+06 | -- | Inf | unknown
1443.28/1446.75 c 1447s| 3800 | 3789 | 11465k|3014.5 | 115M | 69 |4600 | 498 |2006 | 33k| 1 | 125 |8849 | 5.745160e+06 | -- | Inf | unknown
1465.13/1468.68 c 1469s| 3900 | 3889 | 11702k|2998.1 | 116M | 69 |4600 | 496 |1925 | 34k| 0 | 125 |8911 | 5.755557e+06 | -- | Inf | unknown
1505.44/1509.05 c 1509s| 4000 | 3989 | 12071k|3015.4 | 117M | 69 |4600 | 494 |1868 | 35k| 1 | 125 |9102 | 5.755557e+06 | -- | Inf | unknown
1528.98/1532.60 c 1533s| 4100 | 4089 | 12280k|2992.8 | 117M | 69 |4600 | 494 |1522 | 35k| 1 | 125 |9204 | 5.759219e+06 | -- | Inf | unknown
1543.55/1547.25 c 1547s| 4200 | 4187 | 12459k|2964.1 | 118M | 69 |4600 | 494 |1900 | 36k| 1 | 125 |9245 | 5.759219e+06 | -- | Inf | unknown
1569.69/1573.47 c 1573s| 4300 | 4287 | 12708k|2953.1 | 118M | 69 |4600 | 493 |1964 | 36k| 1 | 125 |9321 | 5.759219e+06 | -- | Inf | unknown
1591.14/1594.94 c 1595s| 4400 | 4387 | 12945k|2939.8 | 119M | 69 |4600 | 492 |1797 | 37k| 1 | 125 |9396 | 5.759219e+06 | -- | Inf | unknown
1609.49/1613.31 c 1613s| 4500 | 4487 | 13141k|2918.2 | 123M | 69 |4600 | 491 |1570 | 38k| 4 | 125 |9517 | 5.759219e+06 | -- | Inf | unknown
1621.17/1625.06 c 1625s| 4600 | 4587 | 13307k|2890.7 | 123M | 69 |4600 | 490 |1549 | 38k| 2 | 125 |9529 | 5.759219e+06 | -- | Inf | unknown
1641.92/1645.85 c 1646s| 4700 | 4685 | 13527k|2876.1 | 124M | 69 |4600 | 490 |1641 | 39k| 1 | 125 |9558 | 5.759219e+06 | -- | Inf | unknown
1659.18/1663.13 c 1663s| 4800 | 4781 | 13731k|2858.7 | 127M | 69 |4600 | 489 |1831 | 40k| 1 | 125 |9661 | 5.759219e+06 | -- | Inf | unknown
1676.73/1680.70 c 1681s| 4900 | 4881 | 13931k|2841.0 | 127M | 69 |4600 | 488 |1835 | 40k| 1 | 125 |9708 | 5.759219e+06 | -- | Inf | unknown
1687.90/1691.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1687.90/1691.99 c 1692s| 5000 | 4981 | 14068k|2811.7 | 127M | 69 |4600 | 486 |1651 | 41k| 1 | 125 |9731 | 5.759219e+06 | -- | Inf | unknown
1714.14/1718.24 c 1718s| 5100 | 5079 | 14358k|2813.3 | 128M | 69 |4600 | 485 |1723 | 41k| 1 | 125 |9798 | 5.759219e+06 | -- | Inf | unknown
1730.91/1735.01 c 1735s| 5200 | 5179 | 14552k|2796.7 | 130M | 69 |4600 | 485 |1766 | 42k| 1 | 125 |9858 | 5.759219e+06 | -- | Inf | unknown
1764.12/1768.31 c 1768s| 5300 | 5279 | 14829k|2796.1 | 130M | 69 |4600 | 484 |1969 | 43k| 0 | 125 | 10k| 5.766072e+06 | -- | Inf | unknown
1783.38/1787.62 c 1788s| 5400 | 5379 | 15030k|2781.6 | 131M | 69 |4600 | 493 |1874 | 43k| 1 | 134 | 10k| 5.766072e+06 | -- | Inf | unknown
1805.73/1810.06 c 1810s| 5500 | 5479 | 15250k|2771.0 | 132M | 69 |4600 | 493 |1701 | 44k| 1 | 134 | 10k| 5.770881e+06 | -- | Inf | unknown
1836.53/1840.94 c 1841s| 5600 | 5579 | 15569k|2778.5 | 133M | 77 |4600 | 492 |1867 | 45k| 0 | 134 | 10k| 5.770881e+06 | -- | Inf | unknown
1872.11/1876.65 c 1877s| 5700 | 5679 | 15899k|2787.5 | 135M | 77 |4600 | 492 |2030 | 45k| 0 | 134 | 10k| 5.770881e+06 | -- | Inf | unknown
1922.65/1927.38 c 1927s| 5800 | 5779 | 16385k|2823.4 | 135M | 77 |4600 | 492 |1932 | 45k| 1 | 134 | 10k| 5.770881e+06 | -- | Inf | unknown
1938.20/1942.96 c 1943s| 5900 | 5879 | 16535k|2800.9 | 135M | 77 |4600 | 497 |1893 | 46k| 1 | 139 | 11k| 5.770881e+06 | -- | Inf | unknown
1958.84/1963.67 c 1964s| 6000 | 5979 | 16766k|2792.8 | 137M | 77 |4600 | 497 |2049 | 47k| 1 | 139 | 11k| 5.770881e+06 | -- | Inf | unknown
1979.67/1984.57 c 1985s| 6100 | 6077 | 16975k|2781.2 | 137M | 77 |4600 | 503 |1489 | 47k| 1 | 146 | 11k| 5.770881e+06 | -- | Inf | unknown
1993.24/1998.13 c 1998s| 6200 | 6177 | 17119k|2759.5 | 143M | 77 |4600 | 503 |1762 | 48k| 3 | 146 | 11k| 5.770881e+06 | -- | Inf | unknown
2010.87/2015.86 c 2016s| 6300 | 6277 | 17296k|2743.9 | 143M | 77 |4600 | 502 |1676 | 49k| 0 | 146 | 11k| 5.770881e+06 | -- | Inf | unknown
2022.93/2027.97 c 2028s| 6400 | 6377 | 17436k|2722.9 | 146M | 77 |4600 | 505 |1561 | 49k| 1 | 150 | 11k| 5.770881e+06 | -- | Inf | unknown
2044.27/2049.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2044.27/2049.33 c 2049s| 6500 | 6477 | 17622k|2709.6 | 147M | 77 |4600 | 512 |1612 | 50k| 1 | 157 | 11k| 5.770881e+06 | -- | Inf | unknown
2052.84/2057.96 c 2058s| 6600 | 6575 | 17744k|2687.1 | 148M | 77 |4600 | 514 |1389 | 50k| 1 | 159 | 11k| 5.770881e+06 | -- | Inf | unknown
2067.59/2072.79 c 2073s| 6700 | 6675 | 17907k|2671.3 | 149M | 77 |4600 | 521 |1573 | 51k| 1 | 168 | 11k| 5.782683e+06 | -- | Inf | unknown
2091.82/2097.09 c 2097s| 6800 | 6775 | 18185k|2672.9 | 149M | 77 |4600 | 521 |1710 | 53k| 0 | 168 | 11k| 5.793107e+06 | -- | Inf | unknown
2117.63/2122.91 c 2123s| 6900 | 6875 | 18426k|2669.0 | 150M | 77 |4600 | 532 |1327 | 54k| 1 | 179 | 11k| 5.806207e+06 | -- | Inf | unknown
2128.30/2133.66 c 2134s| 7000 | 6975 | 18576k|2652.3 | 150M | 77 |4600 | 532 |1504 | 54k| 0 | 179 | 11k| 5.810491e+06 | -- | Inf | unknown
2142.85/2148.23 c 2148s| 7100 | 7075 | 18723k|2635.7 | 151M | 77 |4600 | 532 |1394 | 55k| 1 | 179 | 11k| 5.814811e+06 | -- | Inf | unknown
2172.86/2178.30 c 2178s| 7200 | 7175 | 19002k|2637.8 | 151M | 77 |4600 | 531 |1683 | 56k| 1 | 179 | 11k| 5.825084e+06 | -- | Inf | unknown
2195.99/2201.53 c 2202s| 7300 | 7275 | 19218k|2631.2 | 154M | 77 |4600 | 541 |1353 | 57k| 2 | 189 | 12k| 5.826417e+06 | -- | Inf | unknown
2201.87/2207.47 c 2207s| 7400 | 7375 | 19304k|2607.3 | 154M | 77 |4600 | 541 |1314 | 57k| 1 | 189 | 12k| 5.826417e+06 | -- | Inf | unknown
2210.84/2216.42 c 2216s| 7500 | 7475 | 19419k|2587.8 | 154M | 77 |4600 | 546 |1309 | 58k| 1 | 194 | 12k| 5.826417e+06 | -- | Inf | unknown
2224.00/2229.62 c 2230s| 7600 | 7575 | 19561k|2572.5 | 154M | 77 |4600 | 552 |1600 | 58k| 1 | 200 | 12k| 5.826446e+06 | -- | Inf | unknown
2259.79/2265.55 c 2266s| 7700 | 7673 | 19877k|2580.2 | 155M | 77 |4600 | 552 |1499 | 60k| 1 | 200 | 12k| 5.828420e+06 | -- | Inf | unknown
2285.32/2291.10 c 2291s| 7800 | 7773 | 20112k|2577.2 | 157M | 77 |4600 | 552 |1538 | 61k| 1 | 200 | 12k| 5.831809e+06 | -- | Inf | unknown
2308.64/2314.59 c 2315s| 7900 | 7873 | 20326k|2571.7 | 159M | 77 |4600 | 556 |1627 | 62k| 1 | 206 | 12k| 5.831830e+06 | -- | Inf | unknown
2327.98/2333.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2327.98/2333.91 c 2334s| 8000 | 7973 | 20519k|2563.6 | 160M | 77 |4600 | 554 |1535 | 64k| 0 | 206 | 12k| 5.837723e+06 | -- | Inf | unknown
2370.54/2376.64 c 2377s| 8100 | 8073 | 20854k|2573.4 | 160M | 77 |4600 | 559 |1640 | 64k| 1 | 211 | 12k| 5.837766e+06 | -- | Inf | unknown
2388.90/2395.01 c 2395s| 8200 | 8171 | 21035k|2564.0 | 160M | 77 |4600 | 568 |1356 | 65k| 1 | 221 | 12k| 5.837766e+06 | -- | Inf | unknown
2414.31/2420.54 c 2421s| 8300 | 8271 | 21256k|2559.8 | 161M | 77 |4600 | 568 |1619 | 66k| 1 | 221 | 12k| 5.837766e+06 | -- | Inf | unknown
2426.58/2432.88 c 2433s| 8400 | 8371 | 21331k|2538.3 | 161M | 77 |4600 | 575 |1675 | 66k| 1 | 229 | 12k| 5.837766e+06 | -- | Inf | unknown
2438.54/2444.81 c 2445s| 8500 | 8471 | 21453k|2522.7 | 161M | 77 |4600 | 575 |1606 | 66k| 0 | 229 | 12k| 5.837766e+06 | -- | Inf | unknown
2452.80/2459.19 c 2459s| 8600 | 8571 | 21617k|2512.4 | 162M | 77 |4600 | 574 |1687 | 67k| 0 | 229 | 12k| 5.837766e+06 | -- | Inf | unknown
2471.73/2478.13 c 2478s| 8700 | 8671 | 21773k|2501.5 | 163M | 77 |4600 | 574 |1965 | 67k| 0 | 229 | 13k| 5.837766e+06 | -- | Inf | unknown
2485.88/2492.36 c 2492s| 8800 | 8771 | 21945k|2492.6 | 163M | 77 |4600 | 574 |1620 | 68k| 2 | 231 | 13k| 5.837766e+06 | -- | Inf | unknown
2494.95/2501.48 c 2501s| 8900 | 8871 | 22064k|2478.0 | 163M | 77 |4600 | 581 |1555 | 68k| 0 | 238 | 13k| 5.837766e+06 | -- | Inf | unknown
2515.39/2521.90 c 2522s| 9000 | 8971 | 22244k|2470.4 | 163M | 77 |4600 | 588 |1824 | 69k| 1 | 245 | 13k| 5.837766e+06 | -- | Inf | unknown
2536.32/2542.95 c 2543s| 9100 | 9071 | 22460k|2467.0 | 166M | 77 |4600 | 587 |1869 | 69k| 1 | 245 | 13k| 5.837766e+06 | -- | Inf | unknown
2554.16/2560.83 c 2561s| 9200 | 9169 | 22616k|2457.2 | 166M | 77 |4600 | 593 |1790 | 70k| 1 | 254 | 13k| 5.837766e+06 | -- | Inf | unknown
2566.33/2573.10 c 2573s| 9300 | 9269 | 22741k|2444.2 | 166M | 77 |4600 | 593 |1451 | 70k| 1 | 254 | 13k| 5.837766e+06 | -- | Inf | unknown
2577.89/2584.66 c 2585s| 9400 | 9369 | 22879k|2432.8 | 166M | 77 |4600 | 593 |1761 | 70k| 0 | 254 | 13k| 5.837766e+06 | -- | Inf | unknown
2587.66/2594.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2587.66/2594.47 c 2594s| 9500 | 9469 | 22999k|2419.9 | 166M | 77 |4600 | 600 |1514 | 71k| 1 | 262 | 14k| 5.837766e+06 | -- | Inf | unknown
2595.24/2602.05 c 2602s| 9600 | 9569 | 23099k|2405.1 | 167M | 77 |4600 | 599 |1524 | 71k| 1 | 262 | 14k| 5.837766e+06 | -- | Inf | unknown
2613.68/2620.50 c 2620s| 9700 | 9667 | 23288k|2399.7 | 167M | 79 |4600 | 598 |1599 | 72k| 1 | 262 | 14k| 5.837766e+06 | -- | Inf | unknown
2646.28/2653.23 c 2653s| 9800 | 9765 | 23584k|2405.5 | 167M | 79 |4600 | 596 |1591 | 72k| 1 | 262 | 14k| 5.837766e+06 | -- | Inf | unknown
2655.55/2662.54 c 2663s| 9900 | 9865 | 23698k|2392.7 | 169M | 79 |4600 | 603 |1725 | 73k| 1 | 269 | 14k| 5.837766e+06 | -- | Inf | unknown
2683.76/2690.84 c 2691s| 10000 | 9965 | 23963k|2395.3 | 170M | 79 |4600 | 602 |1754 | 73k| 2 | 269 | 14k| 5.837766e+06 | -- | Inf | unknown
2690.43/2697.58 c 2698s| 10100 | 10065 | 24065k|2381.7 | 170M | 79 |4600 | 602 |1667 | 74k| 1 | 269 | 14k| 5.837766e+06 | -- | Inf | unknown
2700.30/2707.40 c 2707s| 10200 | 10161 | 24199k|2371.5 | 170M | 79 |4600 | 611 |1696 | 74k| 1 | 279 | 14k| 5.837766e+06 | -- | Inf | unknown
2711.26/2718.46 c 2718s| 10300 | 10259 | 24333k|2361.4 | 171M | 79 |4600 | 611 |1831 | 74k| 1 | 279 | 14k| 5.837766e+06 | -- | Inf | unknown
2725.92/2733.15 c 2733s| 10400 | 10359 | 24488k|2353.7 | 171M | 79 |4600 | 631 |1881 | 75k| 1 | 299 | 14k| 5.837766e+06 | -- | Inf | unknown
2739.48/2746.79 c 2747s| 10500 | 10459 | 24647k|2346.4 | 172M | 79 |4600 | 630 |1618 | 75k| 1 | 299 | 14k| 5.837766e+06 | -- | Inf | unknown
2752.14/2759.43 c 2759s| 10600 | 10557 | 24818k|2340.3 | 172M | 79 |4600 | 629 |1633 | 76k| 0 | 299 | 14k| 5.837766e+06 | -- | Inf | unknown
2760.91/2768.22 c 2768s| 10700 | 10657 | 24939k|2329.8 | 172M | 79 |4600 | 628 |1693 | 76k| 1 | 299 | 14k| 5.837766e+06 | -- | Inf | unknown
2773.17/2780.50 c 2780s| 10800 | 10757 | 25087k|2322.0 | 173M | 79 |4600 | 627 |1803 | 76k| 1 | 299 | 14k| 5.837766e+06 | -- | Inf | unknown
2783.14/2790.52 c 2791s| 10900 | 10855 | 25232k|2314.0 | 174M | 79 |4600 | 627 |1524 | 77k| 1 | 299 | 14k| 5.837766e+06 | -- | Inf | unknown
2790.42/2797.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2790.42/2797.88 c 2798s| 11000 | 10955 | 25337k|2302.5 | 174M | 79 |4600 | 637 |1773 | 77k| 1 | 310 | 14k| 5.837766e+06 | -- | Inf | unknown
2813.14/2820.64 c 2821s| 11100 | 11055 | 25544k|2300.4 | 174M | 79 |4600 | 636 |1597 | 78k| 1 | 310 | 14k| 5.837766e+06 | -- | Inf | unknown
2827.99/2835.56 c 2836s| 11200 | 11151 | 25711k|2294.7 | 175M | 79 |4600 | 634 |1694 | 79k| 1 | 310 | 14k| 5.837766e+06 | -- | Inf | unknown
2843.05/2850.67 c 2851s| 11300 | 11251 | 25897k|2290.8 | 175M | 79 |4600 | 641 |1447 | 79k| 1 | 318 | 14k| 5.837766e+06 | -- | Inf | unknown
2868.37/2876.01 c 2876s| 11400 | 11351 | 26117k|2290.0 | 175M | 79 |4600 | 640 |1817 | 80k| 1 | 318 | 14k| 5.837766e+06 | -- | Inf | unknown
2880.14/2887.89 c 2888s| 11500 | 11447 | 26283k|2284.6 | 175M | 79 |4600 | 638 |1712 | 80k| 1 | 318 | 15k| 5.837766e+06 | -- | Inf | unknown
2888.41/2896.17 c 2896s| 11600 | 11545 | 26409k|2275.7 | 176M | 79 |4600 | 654 |1431 | 80k| 1 | 335 | 15k| 5.837766e+06 | -- | Inf | unknown
2898.08/2905.89 c 2906s| 11700 | 11645 | 26549k|2268.3 | 176M | 79 |4600 | 650 |1590 | 81k| 1 | 335 | 15k| 5.837766e+06 | -- | Inf | unknown
2904.66/2912.47 c 2912s| 11800 | 11745 | 26641k|2256.9 | 178M | 79 |4600 | 648 |1837 | 81k| 1 | 335 | 15k| 5.837766e+06 | -- | Inf | unknown
2912.73/2920.57 c 2921s| 11900 | 11845 | 26738k|2246.1 | 181M | 79 |4600 | 647 |1495 | 81k| 1 | 335 | 15k| 5.837766e+06 | -- | Inf | unknown
2924.89/2932.76 c 2933s| 12000 | 11945 | 26902k|2241.0 | 181M | 79 |4600 | 657 |1636 | 82k| 1 | 347 | 15k| 5.837766e+06 | -- | Inf | unknown
2934.06/2941.90 c 2942s| 12100 | 12045 | 27018k|2232.0 | 181M | 79 |4600 | 655 |1664 | 82k| 1 | 347 | 15k| 5.837766e+06 | -- | Inf | unknown
2951.80/2959.76 c 2960s| 12200 | 12141 | 27148k|2224.4 | 182M | 79 |4600 | 652 |1676 | 83k| 1 | 347 | 15k| 5.837766e+06 | -- | Inf | unknown
2959.28/2967.28 c 2967s| 12300 | 12241 | 27240k|2213.8 | 182M | 79 |4600 | 651 |1658 | 83k| 1 | 347 | 15k| 5.837766e+06 | -- | Inf | unknown
2976.22/2984.20 c 2984s| 12400 | 12341 | 27425k|2210.8 | 182M | 79 |4600 | 650 |1611 | 84k| 1 | 347 | 15k| 5.837766e+06 | -- | Inf | unknown
2984.20/2992.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2984.20/2992.27 c 2992s| 12500 | 12441 | 27519k|2200.7 | 183M | 79 |4600 | 650 |1600 | 84k| 1 | 347 | 15k| 5.837766e+06 | -- | Inf | unknown
3002.54/3010.67 c 3011s| 12600 | 12541 | 27675k|2195.7 | 183M | 79 |4600 | 647 |1675 | 85k| 1 | 347 | 15k| 5.837766e+06 | -- | Inf | unknown
3031.05/3039.26 c 3039s| 12700 | 12641 | 27940k|2199.2 | 183M | 79 |4600 | 646 |1897 | 85k| 1 | 347 | 15k| 5.837766e+06 | -- | Inf | unknown
3042.12/3050.30 c 3050s| 12800 | 12739 | 28059k|2191.3 | 183M | 79 |4600 | 647 |1450 | 86k| 1 | 349 | 15k| 5.837766e+06 | -- | Inf | unknown
3069.55/3077.82 c 3078s| 12900 | 12837 | 28330k|2195.4 | 184M | 79 |4600 | 648 |1445 | 86k| 0 | 351 | 16k| 5.837766e+06 | -- | Inf | unknown
3077.03/3085.30 c 3085s| 13000 | 12937 | 28438k|2186.8 | 186M | 79 |4600 | 648 |1550 | 87k| 1 | 351 | 16k| 5.837766e+06 | -- | Inf | unknown
3092.09/3100.45 c 3100s| 13100 | 13037 | 28565k|2179.7 | 186M | 79 |4600 | 650 |1371 | 87k| 1 | 356 | 16k| 5.837766e+06 | -- | Inf | unknown
3111.44/3119.89 c 3120s| 13200 | 13137 | 28767k|2178.5 | 187M | 79 |4600 | 649 |1793 | 88k| 1 | 356 | 16k| 5.837766e+06 | -- | Inf | unknown
3120.12/3128.51 c 3129s| 13300 | 13237 | 28884k|2170.9 | 187M | 79 |4600 | 647 |1435 | 88k| 1 | 356 | 16k| 5.837766e+06 | -- | Inf | unknown
3127.20/3135.61 c 3136s| 13400 | 13337 | 28991k|2162.7 | 187M | 79 |4600 | 646 |1458 | 88k| 0 | 356 | 16k| 5.837766e+06 | -- | Inf | unknown
3138.17/3146.62 c 3147s| 13500 | 13437 | 29135k|2157.4 | 187M | 79 |4600 | 651 |1781 | 89k| 1 | 361 | 16k| 5.837766e+06 | -- | Inf | unknown
3154.54/3163.06 c 3163s| 13600 | 13537 | 29321k|2155.2 | 188M | 79 |4600 | 650 |1494 | 89k| 1 | 361 | 16k| 5.837766e+06 | -- | Inf | unknown
3167.00/3175.58 c 3176s| 13700 | 13637 | 29501k|2152.6 | 188M | 79 |4600 | 654 |1852 | 90k| 1 | 367 | 16k| 5.837766e+06 | -- | Inf | unknown
3180.66/3189.23 c 3189s| 13800 | 13737 | 29682k|2150.1 | 188M | 79 |4600 | 653 |1790 | 90k| 0 | 367 | 16k| 5.837766e+06 | -- | Inf | unknown
3189.15/3197.71 c 3198s| 13900 | 13837 | 29807k|2143.6 | 188M | 79 |4600 | 653 |1817 | 90k| 3 | 367 | 16k| 5.837766e+06 | -- | Inf | unknown
3196.83/3205.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3196.83/3205.42 c 3205s| 14000 | 13937 | 29913k|2135.9 | 189M | 79 |4600 | 652 |1727 | 91k| 1 | 367 | 16k| 5.837766e+06 | -- | Inf | unknown
3210.40/3219.05 c 3219s| 14100 | 14037 | 30062k|2131.3 | 190M | 79 |4600 | 652 |1844 | 91k| 1 | 367 | 16k| 5.837766e+06 | -- | Inf | unknown
3222.16/3230.83 c 3231s| 14200 | 14135 | 30184k|2124.9 | 190M | 79 |4600 | 655 |1942 | 92k| 4 | 372 | 16k| 5.837766e+06 | -- | Inf | unknown
3239.12/3247.88 c 3248s| 14300 | 14235 | 30349k|2121.6 | 192M | 79 |4600 | 657 |1418 | 92k| 1 | 374 | 16k| 5.837766e+06 | -- | Inf | unknown
3243.31/3252.07 c 3252s| 14400 | 14335 | 30420k|2111.8 | 192M | 87 |4600 | 655 |1859 | 92k| 1 | 374 | 16k| 5.837766e+06 | -- | Inf | unknown
3256.87/3265.69 c 3266s| 14500 | 14433 | 30582k|2108.4 | 193M | 89 |4600 | 652 |1887 | 93k| 1 | 374 | 16k| 5.837766e+06 | -- | Inf | unknown
3281.51/3290.31 c 3290s| 14600 | 14529 | 30830k|2110.9 | 194M | 89 |4600 | 649 |1774 | 93k| 0 | 374 | 16k| 5.837766e+06 | -- | Inf | unknown
3289.49/3298.32 c 3298s| 14700 | 14629 | 30939k|2104.0 | 194M | 89 |4600 | 648 |1855 | 93k| 4 | 374 | 16k| 5.837766e+06 | -- | Inf | unknown
3309.53/3318.43 c 3318s| 14800 | 14729 | 31193k|2106.9 | 194M | 89 |4600 | 647 |1698 | 94k| 1 | 374 | 16k| 5.837766e+06 | -- | Inf | unknown
3319.01/3327.99 c 3328s| 14900 | 14829 | 31312k|2100.8 | 194M | 89 |4600 | 645 |1633 | 94k| 1 | 374 | 17k| 5.837766e+06 | -- | Inf | unknown
3324.10/3333.08 c 3333s| 15000 | 14929 | 31388k|2091.8 | 194M | 89 |4600 | 651 |1837 | 94k| 1 | 381 | 17k| 5.837766e+06 | -- | Inf | unknown
3338.16/3347.16 c 3347s| 15100 | 15027 | 31553k|2088.9 | 195M | 89 |4600 | 654 |1539 | 95k| 1 | 384 | 17k| 5.837766e+06 | -- | Inf | unknown
3345.53/3354.53 c 3355s| 15200 | 15127 | 31663k|2082.4 | 195M | 89 |4600 | 653 |1522 | 95k| 1 | 384 | 17k| 5.837766e+06 | -- | Inf | unknown
3353.90/3362.94 c 3363s| 15300 | 15225 | 31792k|2077.2 | 195M | 89 |4600 | 659 |1482 | 95k| 0 | 392 | 17k| 5.837766e+06 | -- | Inf | unknown
3359.78/3368.82 c 3369s| 15400 | 15325 | 31888k|2070.0 | 195M | 89 |4600 | 662 |1668 | 96k| 1 | 396 | 17k| 5.837766e+06 | -- | Inf | unknown
3366.46/3375.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3366.46/3375.58 c 3376s| 15500 | 15421 | 31994k|2063.5 | 195M | 89 |4600 | 667 |1845 | 96k| 1 | 401 | 17k| 5.837766e+06 | -- | Inf | unknown
3381.21/3390.33 c 3390s| 15600 | 15521 | 32176k|2061.9 | 197M | 89 |4600 | 665 |1658 | 96k| 0 | 401 | 17k| 5.837766e+06 | -- | Inf | unknown
3397.46/3406.63 c 3407s| 15700 | 15621 | 32366k|2060.9 | 198M | 89 |4600 | 660 |1782 | 96k| 1 | 401 | 17k| 5.837766e+06 | -- | Inf | unknown
3412.82/3422.06 c 3422s| 15800 | 15715 | 32522k|2057.7 | 199M | 89 |4600 | 659 |1840 | 97k| 1 | 401 | 17k| 5.837766e+06 | -- | Inf | unknown
3424.18/3433.46 c 3433s| 15900 | 15815 | 32653k|2053.0 | 202M | 89 |4600 | 659 |1714 | 98k| 3 | 406 | 17k| 5.837766e+06 | -- | Inf | unknown
3430.95/3440.22 c 3440s| 16000 | 15915 | 32766k|2047.2 | 202M | 89 |4600 | 659 |1803 | 98k| 1 | 406 | 17k| 5.837766e+06 | -- | Inf | unknown
3446.11/3455.40 c 3455s| 16100 | 16015 | 32924k|2044.3 | 204M | 89 |4600 | 657 |1564 | 99k| 1 | 406 | 17k| 5.843273e+06 | -- | Inf | unknown
3455.68/3465.09 c 3465s| 16200 | 16113 | 33064k|2040.3 | 204M | 89 |4600 | 656 |1683 | 99k| 0 | 406 | 17k| 5.843273e+06 | -- | Inf | unknown
3464.65/3474.02 c 3474s| 16300 | 16211 | 33192k|2035.7 | 204M | 89 |4600 | 662 |1763 | 99k| 1 | 412 | 17k| 5.843273e+06 | -- | Inf | unknown
3475.91/3485.36 c 3485s| 16400 | 16311 | 33325k|2031.4 | 204M | 89 |4600 | 661 |1886 | 99k| 0 | 412 | 17k| 5.843273e+06 | -- | Inf | unknown
3489.27/3498.73 c 3499s| 16500 | 16411 | 33493k|2029.2 | 205M | 89 |4600 | 667 |1830 | 100k| 1 | 420 | 17k| 5.843753e+06 | -- | Inf | unknown
3498.14/3507.60 c 3508s| 16600 | 16509 | 33588k|2022.8 | 205M | 89 |4600 | 681 |1884 | 100k| 0 | 438 | 17k| 5.843753e+06 | -- | Inf | unknown
3507.41/3516.95 c 3517s| 16700 | 16609 | 33738k|2019.6 | 205M | 89 |4600 | 685 |1737 | 100k| 1 | 442 | 17k| 5.843753e+06 | -- | Inf | unknown
3516.78/3526.33 c 3526s| 16800 | 16709 | 33837k|2013.5 | 205M | 89 |4600 | 680 |1710 | 101k| 1 | 442 | 17k| 5.843753e+06 | -- | Inf | unknown
3525.16/3534.79 c 3535s| 16900 | 16809 | 33943k|2007.9 | 206M | 89 |4600 | 677 |1634 | 101k| 1 | 442 | 17k| 5.843753e+06 | -- | Inf | unknown
3538.91/3548.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3538.91/3548.57 c 3549s| 17000 | 16909 | 34103k|2005.4 | 206M | 89 |4600 | 675 |1601 | 101k| 1 | 442 | 17k| 5.843753e+06 | -- | Inf | unknown
3547.79/3557.46 c 3557s| 17100 | 17009 | 34227k|2001.0 | 207M | 89 |4600 | 689 |1627 | 102k| 1 | 460 | 17k| 5.843753e+06 | -- | Inf | unknown
3558.15/3567.81 c 3568s| 17200 | 17109 | 34328k|1995.2 | 207M | 89 |4600 | 686 |1935 | 102k| 1 | 460 | 17k| 5.843753e+06 | -- | Inf | unknown
3561.84/3571.55 c 3572s| 17300 | 17209 | 34386k|1987.0 | 207M | 89 |4600 | 685 |1601 | 102k| 1 | 460 | 17k| 5.843753e+06 | -- | Inf | unknown
3574.80/3584.54 c 3585s| 17400 | 17309 | 34487k|1981.4 | 207M | 89 |4600 | 683 |1688 | 103k| 1 | 460 | 18k| 5.843753e+06 | -- | Inf | unknown
3587.27/3597.00 c
3587.27/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.27/3597.00 c Solving Time (sec) : 3597.00
3587.27/3597.00 c Solving Nodes : 17469
3587.27/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.27/3597.00 c Dual Bound : +5.84375328417913e+06
3587.27/3597.00 c Gap : infinite
3587.27/3597.00 s UNKNOWN
3587.27/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.27/3597.00 c Total Time : 3597.00
3587.27/3597.00 c solving : 3597.00
3587.27/3597.00 c presolving : 0.09 (included in solving)
3587.27/3597.00 c reading : 0.01 (included in solving)
3587.27/3597.00 c copying : 0.71 (105 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3587.27/3597.00 c Original Problem :
3587.27/3597.00 c Problem name : HOME/instance-4486158-1751317315.opb
3587.27/3597.00 c Variables : 4600 (4600 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.27/3597.00 c Constraints : 310 initial, 310 maximal
3587.27/3597.00 c Objective : minimize, 3424 non-zeros (abs.min = 1, abs.max = 1.07374e+09)
3587.27/3597.00 c Presolved Problem :
3587.27/3597.00 c Problem name : t_HOME/instance-4486158-1751317315.opb
3587.27/3597.00 c Variables : 4600 (4600 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.27/3597.00 c Constraints : 394 initial, 689 maximal
3587.27/3597.00 c Objective : minimize, 3424 non-zeros (abs.min = 1, abs.max = 1.07374e+09)
3587.27/3597.00 c Nonzeros : 18648 constraint, 2547 clique table
3587.27/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.27/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c gateextraction : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.27/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c sparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c trivial : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c dualfix : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c knapsack : 0.01 0.00 12 0 0 0 0 0 0 40 920 1100
3587.27/3597.01 c setppc : 0.00 0.00 10 0 0 0 0 0 20 0 0 0
3587.27/3597.01 c linear : 0.01 0.00 9 0 0 0 0 0 0 64 159 3068
3587.27/3597.01 c logicor : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c root node : - - - 0 - - 0 - - - - -
3587.27/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.27/3597.01 c benderslp : 0 0 0 0 13490 0 3957 2320 0 0 0 0 0 0 0
3587.27/3597.01 c integral : 0 0 0 0 13490 0 0 2320 0 19 6 0 0 27 26932
3587.27/3597.01 c knapsack : 246+ 255 10 130877 0 0 3957 2316 3680 9 165228 2035 60 0 0
3587.27/3597.01 c setppc : 20+ 25 10 88351 0 0 3304 1 6 2 278 0 0 0 0
3587.27/3597.01 c linear : 64+ 77 10 130866 0 0 50 4 354 55 65600 1658 147 0 0
3587.27/3597.01 c logicor : 64+ 336 10 9991 0 0 3957 0 0 0 5 0 0 0 0
3587.27/3597.01 c benders : 0 0 0 0 0 0 3957 0 0 0 0 0 0 0 0
3587.27/3597.01 c fixedvar : 0 0 0 0 0 0 3957 0 0 0 0 0 0 0 0
3587.27/3597.01 c countsols : 0 0 0 0 0 0 3957 0 0 0 0 0 0 0 0
3587.27/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.27/3597.01 c benderslp : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.27/3597.01 c integral : 1269.51 0.00 0.00 0.00 1269.51 0.00 0.00 0.00 0.00 0.00
3587.27/3597.01 c knapsack : 0.72 0.00 0.07 0.45 0.00 0.04 0.00 0.03 0.00 0.13
3587.27/3597.01 c setppc : 0.03 0.00 0.00 0.01 0.00 0.01 0.00 0.00 0.00 0.01
3587.27/3597.01 c linear : 0.80 0.00 0.18 0.56 0.00 0.00 0.00 0.00 0.00 0.06
3587.27/3597.01 c logicor : 0.08 0.00 0.00 0.03 0.00 0.05 0.00 0.00 0.00 0.01
3587.27/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.27/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.27/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.27/3597.01 c components : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.01
3587.27/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.27/3597.01 c dualfix : 1 0 0 0
3587.27/3597.01 c genvbounds : 0 0 0 0
3587.27/3597.01 c nlobbt : 0 0 0 0
3587.27/3597.01 c obbt : 0 0 0 0
3587.27/3597.01 c probing : 0 0 0 0
3587.27/3597.01 c pseudoobj : 43978 0 0 0
3587.27/3597.01 c redcost : 10 0 0 0
3587.27/3597.01 c rootredcost : 0 0 0 0
3587.27/3597.01 c symmetry : 0 0 0 0
3587.27/3597.01 c vbounds : 28140 0 0 0
3587.27/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.27/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.27/3597.01 c genvbounds : 0.03 0.00 0.00 0.02 0.00 0.01
3587.27/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.27/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.27/3597.01 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
3587.27/3597.01 c pseudoobj : 0.06 0.00 0.00 0.05 0.00 0.01
3587.27/3597.01 c redcost : 0.04 0.00 0.00 0.03 0.00 0.01
3587.27/3597.01 c rootredcost : 0.02 0.00 0.00 0.01 0.00 0.01
3587.27/3597.01 c symmetry : 0.05 0.00 0.01 0.02 0.00 0.02
3587.27/3597.01 c vbounds : 0.05 0.00 0.00 0.03 0.00 0.02
3587.27/3597.01 c Symmetry :
3587.27/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.27/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.27/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.27/3597.01 c shadow tree time : 0.00 s
3587.27/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.27/3597.01 c propagation : 0.00 36 29 - 99 38.0 0 0.0 - - -
3587.27/3597.01 c infeasible LP : 0.04 108 78 - 602 63.4 0 0.0 78 230.4 0
3587.27/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.27/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.27/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.27/3597.01 c applied globally : 0.00 - - 0 382 55.5 - - 78 - -
3587.27/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.27/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.27/3597.01 c cut pool : 4.78 - 4475 19 - - 25608 1148883 - - - - - (maximal pool size: 4648)
3587.27/3597.01 c aggregation : 1.35 0.00 495 10 0 0 7503 299234 0 27546 27546 0 0
3587.27/3597.01 c > cmir : - - - - - - - 185691 0 16935 16935 0 -
3587.27/3597.01 c > flowcover : - - - - - - - 80443 0 6864 6864 0 -
3587.27/3597.01 c > knapsackcover : - - - - - - - 33100 0 3747 3747 0 -
3587.27/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c clique : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c gomory : 17.00 0.00 482 10 0 0 13552 734651 0 38708 38708 0 0
3587.27/3597.01 c > gomorymi : - - - - - - - 700898 0 36259 36259 0 -
3587.27/3597.01 c > strongcg : - - - - - - - 33753 0 2449 2449 0 -
3587.27/3597.01 c impliedbounds : 0.06 0.00 495 10 0 0 4129 98291 0 35495 35495 0 0
3587.27/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c multilinear : 0.00 0.00 301 10 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c rapidlearning : 11.04 0.00 100 1 0 8 0 0 0 0 0 0 0
3587.27/3597.01 c rlt : 0.00 0.00 219 10 0 0 0 0 0 0 0 0 0
3587.27/3597.01 c zerohalf : 0.59 0.00 482 10 0 0 405 16707 0 1520 1520 0 0
3587.27/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.27/3597.01 c hybrid : 1.49 0.00 3976 10 103476 0 1049100 774 0 11625
3587.27/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.27/3597.01 c problem variables: 0.00 - 0 0
3587.27/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.27/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.01 c inference : 2.89 0.00 0 0 3957 0 0 0 0 7914
3587.27/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.01 c relpscost : 1269.49 0.00 13490 0 0 19 6 0 27 26932
3587.27/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.27/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.27/3597.01 c LP solutions : 0.00 - - 0 0
3587.27/3597.01 c relax solutions : 0.00 - - 0 0
3587.27/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.27/3597.01 c strong branching : 0.08 - - 0 0
3587.27/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.27/3597.01 c adaptivediving : 7.77 0.00 37 0 0
3587.27/3597.01 c alns : 0.12 0.00 6 0 0
3587.27/3597.01 c bound : 0.00 0.00 0 0 0
3587.27/3597.01 c clique : 0.01 0.00 1 0 0
3587.27/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.27/3597.01 c completesol : 0.00 0.00 0 0 0
3587.27/3597.01 c conflictdiving : 6.25 0.00 42 0 0
3587.27/3597.01 c crossover : 0.00 0.00 0 0 0
3587.27/3597.01 c dins : 0.00 0.00 0 0 0
3587.27/3597.01 c distributiondivin: 7.47 0.00 42 0 0
3587.27/3597.01 c dps : 0.00 0.00 0 0 0
3587.27/3597.01 c dualval : 0.00 0.00 0 0 0
3587.27/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.27/3597.01 c feasjump : 0.02 0.00 1 0 0
3587.27/3597.01 c feaspump : 2.62 0.00 21 0 0
3587.27/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.27/3597.01 c fracdiving : 6.45 0.00 42 0 0
3587.27/3597.01 c gins : 0.00 0.00 0 0 0
3587.27/3597.01 c guideddiving : 0.00 0.00 0 0 0
3587.27/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.27/3597.01 c indicator : 0.01 0.00 0 0 0
3587.27/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.27/3597.01 c indoneopt : 0.00 0.00 0 0 0
3587.27/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.27/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.27/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.27/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.27/3597.01 c linesearchdiving : 5.73 0.00 42 0 0
3587.27/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.27/3597.01 c locks : 0.01 0.00 1 0 0
3587.27/3597.01 c lpface : 0.00 0.00 0 0 0
3587.27/3597.01 c mpec : 0.00 0.00 0 0 0
3587.27/3597.01 c multistart : 0.00 0.00 0 0 0
3587.27/3597.01 c mutation : 0.00 0.00 0 0 0
3587.27/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.27/3597.01 c objpscostdiving : 6.83 0.00 22 0 0
3587.27/3597.01 c octane : 0.00 0.00 0 0 0
3587.27/3597.01 c ofins : 0.00 0.00 0 0 0
3587.27/3597.01 c oneopt : 0.01 0.00 0 0 0
3587.27/3597.01 c padm : 0.00 0.00 0 0 0
3587.27/3597.01 c proximity : 0.00 0.00 0 0 0
3587.27/3597.01 c pscostdiving : 6.36 0.00 42 0 0
3587.27/3597.01 c randrounding : 0.41 0.00 2313 0 0
3587.27/3597.01 c rens : 0.00 0.00 0 0 0
3587.27/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.27/3597.01 c repair : 0.00 0.00 0 0 0
3587.27/3597.01 c rins : 0.00 0.00 0 0 0
3587.27/3597.01 c rootsoldiving : 2.83 0.00 22 0 0
3587.27/3597.01 c rounding : 0.13 0.00 1823 0 0
3587.27/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.27/3597.01 c shiftandpropagate: 0.01 0.00 1 0 0
3587.27/3597.01 c shifting : 2.49 0.00 897 0 0
3587.27/3597.01 c simplerounding : 0.02 0.00 17463 0 0
3587.27/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.27/3597.01 c subnlp : 0.01 0.00 0 0 0
3587.27/3597.01 c trivial : 0.00 0.00 2 0 0
3587.27/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.27/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.27/3597.01 c trysol : 0.01 0.00 0 0 0
3587.27/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.27/3597.01 c undercover : 0.00 0.00 0 0 0
3587.27/3597.01 c vbounds : 0.00 0.00 0 0 0
3587.27/3597.01 c veclendiving : 5.66 0.00 42 0 0
3587.27/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.27/3597.01 c zirounding : 0.06 0.00 1000 0 0
3587.27/3597.01 c other solutions : - - - 0 -
3587.27/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.27/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.27/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.27/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.27/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.27/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.27/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.27/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.27/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.27/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.27/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.27/3597.01 c primal LP : 2.66 815 21948 41.73 8264.47 0.35 289
3587.27/3597.01 c dual LP : 2197.19 39644 26615202 677.40 12113.30 0.41 354
3587.27/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.27/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.27/3597.01 c resolve instable : 36.21 357 637799 1786.55 17615.18
3587.27/3597.01 c diving/probing LP: 748.20 10684 8001499 748.92 10694.36
3587.27/3597.01 c strong branching : 542.36 18103 5259558 290.54 9697.55 - - 11749
3587.27/3597.01 c (at root node) : - 0 0 0.00 -
3587.27/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3587.27/3597.01 c B&B Tree :
3587.27/3597.01 c number of runs : 1
3587.27/3597.01 c nodes : 17469 (17423 internal, 46 leaves)
3587.27/3597.01 c feasible leaves : 0
3587.27/3597.01 c infeas. leaves : 46
3587.27/3597.01 c objective leaves : 0
3587.27/3597.01 c nodes (total) : 17469 (17423 internal, 46 leaves)
3587.27/3597.01 c nodes left : 17378
3587.27/3597.01 c max depth : 89
3587.27/3597.01 c max depth (total): 89
3587.27/3597.01 c backtracks : 499 (2.9%)
3587.27/3597.01 c early backtracks : 0 (0.0%)
3587.27/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.27/3597.01 c delayed cutoffs : 0
3587.27/3597.01 c repropagations : 36 (33 domain reductions, 0 cutoffs)
3587.27/3597.01 c avg switch length: 2.59
3587.27/3597.01 c switching time : 28.87
3587.27/3597.01 c Root Node :
3587.27/3597.01 c First LP value : +5.10283586779561e+06
3587.27/3597.01 c First LP Iters : 724 (34543.63 Iter/sec)
3587.27/3597.01 c First LP Time : 0.02
3587.27/3597.01 c Final Dual Bound : +5.68006403610954e+06
3587.27/3597.01 c Final Root Iters : 12886
3587.27/3597.01 c Root LP Estimate : -
3587.27/3597.01 c Solution :
3587.27/3597.01 c Solutions found : 0 (0 improvements)
3587.27/3597.01 c Primal Bound : -
3587.27/3597.01 c Dual Bound : +5.84375328417913e+06
3587.27/3597.01 c Gap : infinite
3587.27/3597.01 c Integrals : Total Avg%
3587.27/3597.01 c primal-dual : 359699.75 100.00
3587.27/3597.01 c primal-ref : - - (not evaluated)
3587.27/3597.01 c dual-ref : - - (not evaluated)
3587.27/3597.09 c Time complete: 3587.37.
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 (62506 MiB free)
memory of node 1: 64507 MiB (63960 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486158-1751317315/watcher-4486158-1751317315 -o /tmp/evaluation-result-4486158-1751317315/solver-4486158-1751317315 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751313715-43765 --watchdog 3760 pbscip -f HOME/instance-4486158-1751317315.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=44366, runsolver pid=44363
[startup+0.100062 s]*
/proc/loadavg: 4.40 4.27 4.12 5/262 44375
/proc/meminfo: memFree=129904996/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=79740 memory=51136 CPUtime=0.08 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 9923 0 0 0 7 1 0 0 20 0 1 0 47409295 81653760 12784 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 19935 12784 3776 3530 0 11386 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 79740 KiB
Current children cumulated memory: 51136 KiB
[startup+0.205456 s]*
/proc/loadavg: 4.40 4.27 4.12 5/262 44375
/proc/meminfo: memFree=129905124/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=101292 memory=66236 CPUtime=0.19 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 13917 0 0 0 17 2 0 0 20 0 1 0 47409295 103723008 16559 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 25323 16559 3968 3530 0 16774 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 101292 KiB
Current children cumulated memory: 66236 KiB
[startup+0.305401 s]*
/proc/loadavg: 4.40 4.27 4.12 6/262 44375
/proc/meminfo: memFree=129905124/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=104952 memory=70204 CPUtime=0.29 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 14817 0 0 0 27 2 0 0 20 0 1 0 47409295 107470848 17551 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 26238 17551 4064 3530 0 17689 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 104952 KiB
Current children cumulated memory: 70204 KiB
[startup+0.700158 s]
/proc/loadavg: 4.40 4.27 4.12 6/265 44381
/proc/meminfo: memFree=129878016/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=122384 memory=85924 CPUtime=0.68 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 22023 0 0 0 65 3 0 0 20 0 1 0 47409295 125321216 21481 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 30596 21481 4096 3530 0 22047 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 122384 KiB
Current children cumulated memory: 85924 KiB
[startup+1.50016 s]
/proc/loadavg: 4.40 4.27 4.12 6/266 44412
/proc/meminfo: memFree=129884592/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=126108 memory=91172 CPUtime=1.48 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 23354 0 0 0 145 3 0 0 20 0 1 0 47409295 129134592 22793 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 31527 22793 4096 3530 0 22978 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 126108 KiB
Current children cumulated memory: 91172 KiB
[startup+3.10429 s]
/proc/loadavg: 4.45 4.29 4.13 6/261 44448
/proc/meminfo: memFree=129877852/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=153180 memory=116952 CPUtime=3.07 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 30261 0 0 0 303 4 0 0 20 0 1 0 47409295 156856320 29238 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 38295 29238 4096 3530 0 29746 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 153180 KiB
Current children cumulated memory: 116952 KiB
[startup+6.30011 s]
/proc/loadavg: 4.45 4.29 4.13 6/266 44457
/proc/meminfo: memFree=129752668/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=154492 memory=120148 CPUtime=6.27 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 32243 0 0 0 622 5 0 0 20 0 1 0 47409295 158199808 30037 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 38623 30037 4160 3530 0 30074 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 154492 KiB
Current children cumulated memory: 120148 KiB
[startup+12.7001 s]
/proc/loadavg: 4.61 4.33 4.14 6/266 44502
/proc/meminfo: memFree=129376848/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=157408 memory=122964 CPUtime=12.65 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 32961 0 0 0 1260 5 0 0 20 0 1 0 47409295 161185792 30741 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 39352 30741 4160 3530 0 30803 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 157408 KiB
Current children cumulated memory: 122964 KiB
[startup+25.5001 s]
/proc/loadavg: 4.67 4.35 4.15 6/266 44502
/proc/meminfo: memFree=129364760/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=157408 memory=122964 CPUtime=25.42 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 32964 0 0 0 2537 5 0 0 20 0 1 0 47409295 161185792 30741 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 39352 30741 4160 3530 0 30803 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 157408 KiB
Current children cumulated memory: 122964 KiB
[startup+51.1054 s]
/proc/loadavg: 4.86 4.42 4.18 6/266 44502
/proc/meminfo: memFree=129331364/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=159568 memory=127016 CPUtime=50.96 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 34156 0 0 0 5091 5 0 0 20 0 1 0 47409295 163397632 31754 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 39892 31754 4160 3530 0 31343 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 159568 KiB
Current children cumulated memory: 127016 KiB
[startup+102.3 s]
/proc/loadavg: 5.02 4.54 4.23 6/265 44504
/proc/meminfo: memFree=129292156/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=159568 memory=132776 CPUtime=102.03 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 35829 0 0 0 10198 5 0 0 20 0 1 0 47409295 163397632 33194 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 39892 33194 4160 3530 0 31343 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 159568 KiB
Current children cumulated memory: 132776 KiB
[startup+162.3 s]
/proc/loadavg: 5.06 4.64 4.29 6/265 44506
/proc/meminfo: memFree=129223980/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=163428 memory=136636 CPUtime=161.89 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 37855 0 0 0 16183 6 0 0 20 0 1 0 47409295 167350272 34159 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 40857 34159 4160 3530 0 32308 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 163428 KiB
Current children cumulated memory: 136636 KiB
[startup+222.3 s]
/proc/loadavg: 5.06 4.72 4.34 6/267 44510
/proc/meminfo: memFree=129201488/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=163968 memory=137104 CPUtime=221.75 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 38584 0 0 0 22169 6 0 0 20 0 1 0 47409295 167903232 34276 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 40992 34276 4160 3530 0 32443 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 163968 KiB
Current children cumulated memory: 137104 KiB
[startup+282.3 s]
/proc/loadavg: 5.11 4.80 4.40 6/267 44514
/proc/meminfo: memFree=129147524/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=164376 memory=137488 CPUtime=281.61 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 38723 0 0 0 28155 6 0 0 20 0 1 0 47409295 168321024 34372 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 41094 34372 4160 3530 0 32545 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 164376 KiB
Current children cumulated memory: 137488 KiB
[startup+342.3 s]
/proc/loadavg: 5.08 4.86 4.44 6/266 44516
/proc/meminfo: memFree=129045968/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=165380 memory=138472 CPUtime=341.47 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 39608 0 0 0 34141 6 0 0 20 0 1 0 47409295 169349120 34618 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 41345 34618 4160 3530 0 32796 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 165380 KiB
Current children cumulated memory: 138472 KiB
[startup+402.3 s]
/proc/loadavg: 5.15 4.91 4.49 6/266 44522
/proc/meminfo: memFree=129019264/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=169328 memory=142308 CPUtime=401.33 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 43741 0 0 0 40126 7 0 0 20 0 1 0 47409295 173391872 35577 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 42332 35577 4160 3530 0 33783 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 169328 KiB
Current children cumulated memory: 142308 KiB
[startup+462.3 s]
/proc/loadavg: 5.46 5.03 4.55 6/266 44524
/proc/meminfo: memFree=128965616/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=169328 memory=142436 CPUtime=461.19 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 43762 0 0 0 46112 7 0 0 20 0 1 0 47409295 173391872 35609 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 42332 35609 4160 3530 0 33783 0
################
# More data... #
################
/proc/loadavg: 4.13 4.11 4.28 5/263 44705
/proc/meminfo: memFree=128049448/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=249700 memory=222780 CPUtime=3153.83 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 105696 0 0 0 315359 24 0 0 20 0 1 0 47409295 255692800 55695 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 62425 55695 4160 3530 0 53876 0
Current children cumulated CPU time: 3153.83 s
Current children cumulated vsize: 249700 KiB
Current children cumulated memory: 222780 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.27 5/263 44707
/proc/meminfo: memFree=128051076/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=260376 memory=233416 CPUtime=3213.68 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 107714 0 0 0 321343 25 0 0 20 0 1 0 47409295 266625024 58354 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 65094 58354 4160 3530 0 56545 0
Current children cumulated CPU time: 3213.68 s
Current children cumulated vsize: 260376 KiB
Current children cumulated memory: 233416 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.26 5/264 44712
/proc/meminfo: memFree=128043392/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=253624 memory=226684 CPUtime=3273.53 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 109471 0 0 0 327328 25 0 0 20 0 1 0 47409295 259710976 56671 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 63406 56671 4160 3530 0 54857 0
Current children cumulated CPU time: 3273.53 s
Current children cumulated vsize: 253624 KiB
Current children cumulated memory: 226684 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.24 5/264 44714
/proc/meminfo: memFree=128017456/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=256604 memory=229684 CPUtime=3333.37 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 112176 0 0 0 333311 26 0 0 20 0 1 0 47409295 262762496 57421 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 64151 57421 4160 3530 0 55602 0
Current children cumulated CPU time: 3333.37 s
Current children cumulated vsize: 256604 KiB
Current children cumulated memory: 229684 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.23 5/264 44720
/proc/meminfo: memFree=128019964/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=266064 memory=239048 CPUtime=3393.17 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 113358 0 0 0 339291 26 0 0 20 0 1 0 47409295 272449536 59762 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 66516 59762 4160 3530 0 57967 0
Current children cumulated CPU time: 3393.17 s
Current children cumulated vsize: 266064 KiB
Current children cumulated memory: 239048 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.23 5/264 44722
/proc/meminfo: memFree=128000552/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=266064 memory=239144 CPUtime=3452.98 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 113720 0 0 0 345272 26 0 0 20 0 1 0 47409295 272449536 59786 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 66516 59786 4160 3530 0 57967 0
Current children cumulated CPU time: 3452.98 s
Current children cumulated vsize: 266064 KiB
Current children cumulated memory: 239144 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.21 5/265 44735
/proc/meminfo: memFree=127901144/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=283048 memory=256072 CPUtime=3512.8 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 117661 0 0 0 351252 28 0 0 20 0 1 0 47409295 289841152 64018 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 70762 64018 4160 3530 0 62213 0
Current children cumulated CPU time: 3512.8 s
Current children cumulated vsize: 283048 KiB
Current children cumulated memory: 256072 KiB
[startup+3582.3 s]
/proc/loadavg: 4.38 4.18 4.24 5/264 44752
/proc/meminfo: memFree=127901180/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=273380 memory=246588 CPUtime=3572.61 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 118948 0 0 0 357232 29 0 0 20 0 1 0 47409295 279941120 61647 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 68345 61647 4160 3530 0 59796 0
Current children cumulated CPU time: 3572.61 s
Current children cumulated vsize: 273380 KiB
Current children cumulated memory: 246588 KiB
[startup+3597.1 s]
# the end of solver process 44366 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.07 s, system=0.299885 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.35 4.18 4.24 5/264 44752
/proc/meminfo: memFree=127893116/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=283108 memory=256072 CPUtime=3574.31 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 119304 0 0 0 357402 29 0 0 20 0 1 0 47409295 289902592 64018 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 70777 64018 4160 3530 0 62228 0
Current children cumulated CPU time: 3574.31 s
Current children cumulated vsize: 283108 KiB
Current children cumulated memory: 256072 KiB
[startup+3590.4 s]
/proc/loadavg: 4.32 4.17 4.23 5/264 44752
/proc/meminfo: memFree=127893116/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=283108 memory=256072 CPUtime=3580.68 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 119692 0 0 0 358039 29 0 0 20 0 1 0 47409295 289902592 64018 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 70777 64018 4160 3530 0 62228 0
Current children cumulated CPU time: 3580.68 s
Current children cumulated vsize: 283108 KiB
Current children cumulated memory: 256072 KiB
[startup+3593.6 s]
/proc/loadavg: 4.30 4.17 4.23 5/264 44752
/proc/meminfo: memFree=127893116/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=283108 memory=256072 CPUtime=3583.87 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 119692 0 0 0 358358 29 0 0 20 0 1 0 47409295 289902592 64018 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 70777 64018 4160 3530 0 62228 0
Current children cumulated CPU time: 3583.87 s
Current children cumulated vsize: 283108 KiB
Current children cumulated memory: 256072 KiB
[startup+3595.2 s]
/proc/loadavg: 4.30 4.17 4.23 5/264 44752
/proc/meminfo: memFree=127893116/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=283108 memory=256072 CPUtime=3585.47 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 119692 0 0 0 358518 29 0 0 20 0 1 0 47409295 289902592 64018 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 70777 64018 4160 3530 0 62228 0
Current children cumulated CPU time: 3585.47 s
Current children cumulated vsize: 283108 KiB
Current children cumulated memory: 256072 KiB
[startup+3596 s]*
/proc/loadavg: 4.30 4.17 4.23 5/264 44752
/proc/meminfo: memFree=127893116/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=283108 memory=256072 CPUtime=3586.27 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 119692 0 0 0 358598 29 0 0 20 0 1 0 47409295 289902592 64018 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 70777 64018 4160 3530 0 62228 0
Current children cumulated CPU time: 3586.27 s
Current children cumulated vsize: 283108 KiB
Current children cumulated memory: 256072 KiB
[startup+3596.8 s]
/proc/loadavg: 4.30 4.17 4.23 5/264 44752
/proc/meminfo: memFree=127893116/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=283108 memory=256072 CPUtime=3587.06 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 119692 0 0 0 358677 29 0 0 20 0 1 0 47409295 289902592 64018 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 70777 64018 4160 3530 0 62228 0
Current children cumulated CPU time: 3587.06 s
Current children cumulated vsize: 283108 KiB
Current children cumulated memory: 256072 KiB
[startup+3597 s]*
/proc/loadavg: 4.30 4.17 4.23 5/264 44752
/proc/meminfo: memFree=127893116/131249996 swapFree=33010416/33010684
[pid=44366] ppid=44363 vsize=283108 memory=256072 CPUtime=3587.27 cores=1,3
/proc/44366/stat : 44366 (pbscip) R 44363 44366 43753 0 -1 4194304 119692 0 0 0 358698 29 0 0 20 0 1 0 47409295 289902592 64018 18446744073709551615 4235264 18693293 140725336769936 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54784000 140725336775049 140725336775148 140725336775148 140725336780750 0
/proc/44366/statm: 70777 64018 4160 3530 0 62228 0
Current children cumulated CPU time: 3587.27 s
Current children cumulated vsize: 283108 KiB
Current children cumulated memory: 256072 KiB
Child status: 0
Real time (s): 3597.1
CPU time (s): 3587.37
CPU user time (s): 3587.07
CPU system time (s): 0.299885
CPU usage (%): 99.7296
Max. virtual memory (cumulated for all children) (KiB): 292744
Max. memory (cumulated for all children) (KiB): 265704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.07
system time used= 0.299885
maximum resident set size= 265736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119700
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= 119
involuntary context switches= 1330
# summary of solver processes directly reported to runsolver:
# pid: 44366
# total CPU time (s): 3587.37
# total CPU user time (s): 3587.07
# total CPU system time (s): 0.299885
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74009 second user time and 14.9612 second system time
The end