0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4432615-1721068882.opb>
0.00/0.04 c original problem has 1344 variables (1344 bin, 0 int, 0 impl, 0 cont) and 16096 constraints
0.00/0.04 c problem read in 0.04
0.00/0.06 c presolving:
0.09/0.11 c (0.1s) running MILP presolver
0.09/0.14 c (0.1s) MILP presolver found nothing
0.09/0.18 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 16096 upgd conss, 0 impls, 2016 clqs
0.20/0.23 c (round 2, medium) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 14784 chg sides, 14784 chg coeffs, 16096 upgd conss, 0 impls, 2016 clqs
0.20/0.28 c (round 3, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 14784 chg sides, 22176 chg coeffs, 16096 upgd conss, 0 impls, 2016 clqs
0.40/0.43 c (0.4s) probing: 51/1344 (3.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.40/0.43 c (0.4s) probing aborted: 50/50 successive totally useless probings
0.50/0.56 c (0.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.59/0.60 c (0.6s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.02)
0.59/0.60 c dynamic symmetry handling statistics:
0.59/0.60 c orbitopal reduction: no components
0.59/0.60 c orbital reduction: 1 components of sizes 2
0.59/0.60 c lexicographic reduction: 2 permutations with support sizes 1284, 1344
0.59/0.60 c handled 1 out of 1 symmetry components
0.59/0.61 c presolving (4 rounds: 4 fast, 4 medium, 3 exhaustive):
0.59/0.61 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 14784 changed sides, 22176 changed coefficients
0.59/0.61 c 0 implications, 2016 cliques
0.59/0.61 c presolved problem has 1344 variables (1344 bin, 0 int, 0 impl, 0 cont) and 16096 constraints
0.59/0.61 c 7496 constraints of type <knapsack>
0.59/0.61 c 2016 constraints of type <setppc>
0.59/0.61 c 6584 constraints of type <logicor>
0.59/0.61 c transformed objective value is always integral (scale: 1)
0.59/0.61 c Presolving Time: 0.55
0.59/0.61 c - non default parameters ----------------------------------------------------------------------
0.59/0.61 c # SCIP version 10.0.0
0.59/0.61 c
0.59/0.61 c # maximal time in seconds to run
0.59/0.61 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.59/0.61 c limits/time = 3596.997025
0.59/0.61 c
0.59/0.61 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.61 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.59/0.61 c limits/memory = 27900
0.59/0.61 c
0.59/0.61 c # belongs reading time to solving time?
0.59/0.61 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.59/0.61 c timing/reading = TRUE
0.59/0.61 c
0.59/0.61 c -----------------------------------------------------------------------------------------------
0.59/0.61 c start solving
0.59/0.61 c
1.58/1.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.58/1.68 c 1.7s| 1 | 0 | 3180 | - | 151M | 0 |1344 | 16k| 16k| 0 | 0 | 80 | 0 | 9.600000e+01 | -- | Inf | unknown
7.67/7.71 c 7.7s| 1 | 0 | 23553 | - | 166M | 0 |1344 | 16k| 16k| 15 | 1 | 82 | 0 | 9.600000e+01 | -- | Inf | unknown
9.76/9.83 c 9.8s| 1 | 0 | 25491 | - | 167M | 0 |1344 | 16k| 16k| 24 | 2 | 83 | 0 | 9.600000e+01 | -- | Inf | unknown
11.96/12.07 c 12.1s| 1 | 0 | 27534 | - | 169M | 0 |1344 | 16k| 16k| 33 | 3 | 84 | 0 | 9.600000e+01 | -- | Inf | unknown
13.95/14.10 c 14.1s| 1 | 0 | 29344 | - | 170M | 0 |1344 | 16k| 16k| 40 | 4 | 85 | 0 | 9.600000e+01 | -- | Inf | unknown
16.05/16.13 c 16.1s| 1 | 0 | 30948 | - | 172M | 0 |1344 | 16k| 16k| 49 | 5 | 88 | 0 | 9.600000e+01 | -- | Inf | unknown
18.24/18.35 c 18.4s| 1 | 0 | 33089 | - | 173M | 0 |1344 | 16k| 16k| 60 | 6 | 90 | 0 | 9.600000e+01 | -- | Inf | unknown
20.43/20.51 c 20.5s| 1 | 0 | 35115 | - | 175M | 0 |1344 | 16k| 16k| 71 | 7 | 91 | 0 | 9.600000e+01 | -- | Inf | unknown
22.62/22.77 c 22.8s| 1 | 0 | 37223 | - | 177M | 0 |1344 | 16k| 16k| 81 | 8 | 94 | 0 | 9.600000e+01 | -- | Inf | unknown
24.92/25.03 c 25.0s| 1 | 0 | 39296 | - | 178M | 0 |1344 | 16k| 16k| 90 | 9 | 95 | 0 | 9.600000e+01 | -- | Inf | unknown
27.01/27.19 c 27.2s| 1 | 0 | 41070 | - | 180M | 0 |1344 | 16k| 16k| 99 | 10 | 97 | 0 | 9.600000e+01 | -- | Inf | unknown
28.11/28.24 c 28.2s| 1 | 0 | 43506 | - | 182M | 0 |1344 | 16k| 16k| 109 | 11 | 98 | 0 | 9.600000e+01 | -- | Inf | unknown
60.40/60.67 c 60.7s| 1 | 2 | 88606 | - | 182M | 0 |1344 | 16k| 16k| 109 | 11 | 149 | 22 | 9.600000e+01 | -- | Inf | unknown
191.77/192.41 c 192s| 100 | 99 |231819 |1902.2 | 202M | 23 |1344 | 16k| 16k| 270 | 1 | 218 | 269 | 9.600000e+01 | -- | Inf | 50.00%
247.69/248.54 c 249s| 200 | 199 |354642 |1563.5 | 206M | 29 |1344 | 16k| 16k| 320 | 1 | 284 | 338 | 9.600000e+01 | -- | Inf | 50.00%
312.19/313.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
312.19/313.22 c 313s| 300 | 299 |474530 |1441.6 | 213M | 31 |1344 | 16k| 16k| 450 | 1 | 396 | 415 | 9.600000e+01 | -- | Inf | 50.00%
352.25/353.41 c 353s| 400 | 399 |573323 |1327.9 | 213M | 34 |1344 | 16k| 16k| 477 | 1 | 489 | 466 | 9.600000e+01 | -- | Inf | 50.00%
400.70/402.04 c 402s| 500 | 493 |681696 |1278.9 | 217M | 34 |1344 | 16k| 16k| 560 | 2 | 624 | 525 | 9.600000e+01 | -- | Inf | 50.00%
448.94/450.42 c 450s| 600 | 589 |785424 |1238.6 | 225M | 34 |1344 | 16k| 16k| 655 | 1 | 741 | 595 | 9.600000e+01 | -- | Inf | 50.00%
493.99/495.65 c 496s| 700 | 687 |895299 |1218.6 | 226M | 34 |1344 | 16k| 16k| 712 | 1 | 797 | 655 | 9.600000e+01 | -- | Inf | 50.00%
532.46/534.26 c 534s| 800 | 787 |990846 |1185.7 | 227M | 38 |1344 | 16k| 16k| 784 | 1 | 861 | 717 | 9.600000e+01 | -- | Inf | 50.00%
578.81/580.76 c 581s| 900 | 887 | 1092k|1166.9 | 230M | 38 |1344 | 16k| 16k| 847 | 1 |1037 | 779 | 9.600000e+01 | -- | Inf | 50.00%
647.00/649.12 c 649s| 1000 | 985 | 1237k|1195.6 | 237M | 39 |1344 | 16k| 16k| 966 | 1 |1133 | 848 | 9.600000e+01 | -- | Inf | 50.00%
693.84/696.12 c 696s| 1100 | 1085 | 1347k|1186.5 | 237M | 39 |1344 | 16k| 16k|1038 | 3 |1249 | 911 | 9.600000e+01 | -- | Inf | 50.00%
735.50/737.97 c 738s| 1200 | 1185 | 1442k|1166.7 | 238M | 39 |1344 | 16k| 16k|1105 | 1 |1320 | 967 | 9.600000e+01 | -- | Inf | 50.00%
799.88/802.50 c 803s| 1300 | 1285 | 1581k|1183.7 | 241M | 39 |1344 | 16k| 16k|1260 | 1 |1575 |1036 | 9.600000e+01 | -- | Inf | 50.00%
853.51/856.33 c 856s| 1400 | 1385 | 1704k|1187.2 | 244M | 39 |1344 | 16k| 16k|1347 | 1 |1780 |1102 | 9.600000e+01 | -- | Inf | 50.00%
883.80/886.74 o 196
883.80/886.74 c d 887s| 1470 | 1455 | 1775k|1178.8 |distribu| 39 |1344 | 16k| 16k| 0 | 1 |1847 |1139 | 9.600000e+01 | 1.960000e+02 | 104.17%| 50.00%
903.44/906.46 c 906s| 1500 | 1485 | 1827k|1190.3 | 244M | 39 |1344 | 16k| 16k|1420 | 1 |1960 |1158 | 9.600000e+01 | 1.960000e+02 | 104.17%| 18.34%
994.84/998.15 c 998s| 1600 | 1585 | 2025k|1239.4 | 246M | 39 |1344 | 16k| 16k|1621 | 1 |2239 |1251 | 9.600000e+01 | 1.960000e+02 | 104.17%| 18.34%
1063.62/1067.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1063.62/1067.14 c 1067s| 1700 | 1685 | 2196k|1267.3 | 247M | 39 |1344 | 16k| 16k|1705 | 1 |2588 |1318 | 9.600000e+01 | 1.960000e+02 | 104.17%| 18.34%
1150.83/1154.61 c 1155s| 1800 | 1785 | 2381k|1299.8 | 249M | 39 |1344 | 16k| 16k|1829 | 1 |2943 |1401 | 9.600000e+01 | 1.960000e+02 | 104.17%| 18.34%
1232.45/1236.58 c 1237s| 1900 | 1885 | 2542k|1316.1 | 250M | 39 |1344 | 16k| 16k|2094 | 1 |3196 |1491 | 9.600000e+01 | 1.960000e+02 | 104.17%| 18.34%
1309.40/1313.76 c 1314s| 2000 | 1985 | 2700k|1329.3 | 254M | 39 |1344 | 16k| 16k|2277 | 1 |3446 |1578 | 9.600000e+01 | 1.960000e+02 | 104.17%| 18.34%
1404.59/1409.25 c 1409s| 2100 | 2085 | 2890k|1356.4 | 264M | 39 |1344 | 16k| 16k|2685 | 1 |3664 |1679 | 9.600000e+01 | 1.960000e+02 | 104.17%| 18.34%
1488.61/1493.51 c 1494s| 2200 | 2185 | 3055k|1369.8 | 268M | 39 |1344 | 16k| 16k|2982 | 1 |3897 |1781 | 9.600000e+01 | 1.960000e+02 | 104.17%| 18.34%
1552.91/1558.07 c 1558s| 2300 | 2285 | 3212k|1378.3 | 272M | 39 |1344 | 16k| 16k|3301 | 2 |4230 |1822 | 9.600000e+01 | 1.960000e+02 | 104.17%| 18.35%
1601.74/1607.05 c 1607s| 2400 | 2383 | 3363k|1383.8 | 272M | 39 |1344 | 16k| 16k|3425 | 1 |4482 |1840 | 9.600000e+01 | 1.960000e+02 | 104.17%| 18.35%
1659.35/1664.86 c 1665s| 2500 | 2483 | 3524k|1392.8 | 273M | 39 |1344 | 16k| 16k|3625 | 1 |4879 |1870 | 9.600000e+01 | 1.960000e+02 | 104.17%| 18.35%
1731.80/1737.53 c 1738s| 2600 | 2583 | 3716k|1413.3 | 279M | 39 |1344 | 17k| 16k|3992 | 2 |5244 |1884 | 9.600000e+01 | 1.960000e+02 | 104.17%| 18.35%
1745.07/1750.82 o 186
1745.07/1750.82 c d1751s| 2631 | 2614 | 3752k|1410.3 |veclendi| 39 |1344 | 17k| 16k| 0 | 1 |5318 |1899 | 9.600000e+01 | 1.860000e+02 | 93.75%| 18.35%
1787.21/1793.16 o 180
1787.21/1793.16 c d1793s| 2687 | 2670 | 3857k|1420.1 |veclendi| 39 |1344 | 17k| 16k| 0 | 1 |5486 |1905 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.35%
1796.77/1802.70 c 1803s| 2700 | 2683 | 3886k|1423.7 | 282M | 39 |1344 | 16k| 16k|4319 | 1 |5513 |1905 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.35%
1853.57/1859.79 c 1860s| 2800 | 2783 | 4070k|1438.7 | 283M | 39 |1344 | 17k| 16k|4642 | 1 |5968 |1911 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.35%
1913.77/1920.15 c 1920s| 2900 | 2883 | 4229k|1444.1 | 289M | 39 |1344 | 17k| 16k|4866 | 1 |6332 |1929 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.35%
1975.46/1982.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1975.46/1982.02 c 1982s| 3000 | 2983 | 4395k|1451.2 | 293M | 39 |1344 | 17k| 16k|5138 | 1 |6687 |1948 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.36%
2046.64/2053.46 c 2053s| 3100 | 3083 | 4560k|1457.7 | 300M | 39 |1344 | 17k| 16k|5326 | 1 |7082 |2008 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.36%
2128.16/2135.28 c 2135s| 3200 | 3183 | 4747k|1470.6 | 305M | 39 |1344 | 17k| 16k|5615 | 1 |7488 |2076 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.36%
2200.59/2207.99 c 2208s| 3300 | 3283 | 4927k|1480.3 | 306M | 39 |1344 | 17k| 16k|5935 | 1 |7859 |2140 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.36%
2278.42/2286.05 c 2286s| 3400 | 3383 | 5111k|1490.9 | 308M | 39 |1344 | 17k| 16k|6212 | 1 |8261 |2206 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.36%
2342.29/2350.19 c 2350s| 3500 | 3483 | 5276k|1495.4 | 318M | 43 |1344 | 17k| 16k|6406 | 1 |8506 |2277 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.36%
2410.33/2418.46 c 2418s| 3600 | 3583 | 5429k|1496.5 | 318M | 43 |1344 | 16k| 16k|6559 | 1 |8677 |2352 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.36%
2474.00/2482.34 c 2482s| 3700 | 3683 | 5589k|1499.3 | 319M | 43 |1344 | 16k| 16k|6790 | 1 |8889 |2401 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.36%
2528.80/2537.31 c 2537s| 3800 | 3783 | 5738k|1499.2 | 321M | 43 |1344 | 16k| 16k|7029 | 2 |9129 |2424 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.36%
2591.28/2600.02 c 2600s| 3900 | 3883 | 5910k|1504.7 | 323M | 43 |1344 | 16k| 16k|7343 | 1 |9340 |2442 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.37%
2646.87/2655.87 c 2656s| 4000 | 3983 | 6080k|1509.7 | 323M | 43 |1344 | 17k| 16k|7455 | 1 |9666 |2466 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.37%
2718.92/2728.16 c 2728s| 4100 | 4083 | 6289k|1523.7 | 323M | 43 |1344 | 17k| 16k|7718 | 1 |9974 |2471 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.37%
2773.01/2782.40 c 2782s| 4200 | 4183 | 6451k|1526.0 | 325M | 43 |1344 | 17k| 16k|8000 | 1 | 10k|2476 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.37%
2841.18/2850.81 c 2851s| 4300 | 4281 | 6630k|1532.3 | 331M | 43 |1344 | 17k| 16k|8360 | 1 | 10k|2491 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.37%
2907.14/2917.09 c 2917s| 4400 | 4381 | 6803k|1536.7 | 338M | 43 |1344 | 17k| 16k|8854 | 1 | 10k|2506 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.37%
2942.31/2952.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2942.31/2952.35 c 2952s| 4500 | 4481 | 6910k|1526.4 | 339M | 43 |1344 | 17k| 16k|9044 | 1 | 11k|2535 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.37%
3003.69/3013.99 c 3014s| 4600 | 4581 | 7082k|1530.6 | 341M | 43 |1344 | 17k| 16k|9441 | 2 | 11k|2541 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.37%
3054.31/3064.78 c 3065s| 4700 | 4681 | 7219k|1527.2 | 341M | 43 |1344 | 17k| 16k|9668 | 2 | 11k|2596 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.38%
3135.22/3145.98 c 3146s| 4800 | 4781 | 7398k|1532.7 | 351M | 43 |1344 | 17k| 16k| 10k| 1 | 12k|2660 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.38%
3182.75/3193.65 c 3194s| 4900 | 4881 | 7535k|1529.3 | 352M | 43 |1344 | 17k| 16k| 10k| 1 | 12k|2708 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.38%
3243.96/3255.05 c 3255s| 5000 | 4979 | 7683k|1528.4 | 357M | 43 |1344 | 17k| 16k| 10k| 1 | 12k|2767 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.38%
3304.36/3315.65 c 3316s| 5100 | 5077 | 7839k|1528.9 | 357M | 43 |1344 | 17k| 16k| 10k| 1 | 12k|2810 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.38%
3349.32/3360.73 c 3361s| 5200 | 5177 | 7968k|1524.2 | 357M | 43 |1344 | 17k| 16k| 11k| 1 | 13k|2863 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.38%
3396.27/3407.84 c 3408s| 5300 | 5277 | 8096k|1519.8 | 359M | 43 |1344 | 17k| 16k| 11k| 1 | 13k|2914 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.38%
3459.17/3470.99 c 3471s| 5400 | 5375 | 8242k|1518.6 | 366M | 43 |1344 | 17k| 16k| 11k| 1 | 13k|2967 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.38%
3506.01/3517.99 c 3518s| 5500 | 5473 | 8373k|1514.8 | 366M | 43 |1344 | 17k| 16k| 11k| 1 | 13k|3025 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.41%
3563.13/3575.27 c 3575s| 5600 | 5573 | 8541k|1517.8 | 366M | 43 |1344 | 17k| 16k| 12k| 1 | 14k|3058 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.41%
3584.76/3597.00 c
3584.76/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3584.76/3597.00 c Solving Time (sec) : 3597.00
3584.76/3597.00 c Solving Nodes : 5638
3584.76/3597.00 c Primal Bound : +1.80000000000000e+02 (3 solutions)
3584.76/3597.00 c Dual Bound : +9.60000000000000e+01
3584.76/3597.00 c Gap : 87.50 %
3584.86/3597.00 s SATISFIABLE
3584.86/3597.00 v -x833 -x769 -x705 x641 x577 x513 -x449 x385 -x321 -x257 -x193 x129 x65 x1 -x896 -x832 x768 x704 x640 -x576 -x512 x448 x384 x320
3584.86/3597.00 v -x256 x192 -x128 -x64 -x887 x823 x759 x695 -x631 x567 x503 -x439 x375 -x311 -x247 x183 -x119 -x55 x878 x814 x750 -x686 -x622
3584.86/3597.00 v x558 -x494 -x430 x366 -x302 x238 -x174 x110 -x46 x869 -x805 -x741 x677 x613 -x549 x485 x421 -x357 x293 -x229 -x165 -x101 x37
3584.86/3597.00 v x860 x796 x732 -x668 -x604 -x540 x476 -x412 -x348 -x284 x220 -x156 x92 x28 -x851 x787 -x723 -x659 -x595 x531 x467 x403 -x339
3584.86/3597.00 v x275 x211 x147 -x83 -x19 x842 -x778 -x714 -x650 x586 -x522 -x458 -x394 x330 x266 x202 -x138 x74 x10 -x895 x831 -x767 -x703 -x639
3584.86/3597.00 v -x575 -x511 -x447 -x383 -x319 -x255 -x191 -x127 -x63 -x894 -x830 -x766 -x702 -x638 x574 -x510 -x446 -x382 -x318 -x254 -x190
3584.86/3597.00 v -x126 -x62 x893 -x829 -x765 -x701 -x637 -x573 -x509 -x445 -x381 -x317 -x253 -x189 -x125 -x61 -x892 -x828 -x764 -x700 -x636
3584.86/3597.00 v -x572 x508 -x444 -x380 -x316 -x252 -x188 -x124 -x60 -x891 -x827 -x763 -x699 -x635 -x571 -x507 -x443 -x379 -x315 x251 -x187
3584.86/3597.00 v -x123 -x59 -x890 -x826 -x762 -x698 -x634 -x570 -x506 -x442 -x378 -x314 -x250 -x186 -x122 x58 -x889 -x825 -x761 -x697 -x633 -x569
3584.86/3597.00 v -x505 -x441 -x377 -x313 -x249 -x185 x121 -x57 -x888 -x824 -x760 -x696 -x632 -x568 -x504 -x440 -x376 x312 -x248 -x184 -x120
3584.86/3597.00 v -x56 x886 -x822 -x758 -x694 -x630 -x566 -x502 -x438 -x374 -x310 -x246 -x182 -x118 -x54 -x885 -x821 -x757 -x693 x629 -x565 -x501
3584.86/3597.00 v -x437 -x373 -x309 -x245 -x181 -x117 -x53 -x884 -x820 -x756 -x692 -x628 -x564 -x500 -x436 -x372 -x308 -x244 -x180 x116 -x52
3584.86/3597.00 v -x883 -x819 -x755 -x691 -x627 -x563 -x499 x435 -x371 -x307 -x243 -x179 -x115 -x51 -x882 -x818 -x754 -x690 -x626 -x562 -x498
3584.86/3597.00 v -x434 -x370 -x306 x242 -x178 -x114 -x50 -x881 -x817 -x753 -x689 -x625 -x561 -x497 -x433 -x369 -x305 -x241 -x177 -x113 x49 -x880
3584.86/3597.00 v -x816 -x752 -x688 -x624 -x560 -x496 -x432 -x368 -x304 -x240 x176 -x112 -x48 -x879 -x815 -x751 -x687 -x623 -x559 x495 -x431
3584.86/3597.00 v -x367 -x303 -x239 -x175 -x111 -x47 -x877 -x813 -x749 x685 -x621 -x557 -x493 -x429 -x365 -x301 -x237 -x173 -x109 -x45 -x876
3584.86/3597.00 v -x812 -x748 -x684 -x620 -x556 -x492 -x428 -x364 -x300 -x236 -x172 -x108 x44 -x875 -x811 -x747 -x683 -x619 -x555 -x491 -x427
3584.86/3597.00 v -x363 x299 -x235 -x171 -x107 -x43 -x874 -x810 -x746 -x682 x618 -x554 -x490 -x426 -x362 -x298 -x234 -x170 -x106 -x42 -x873 -x809
3584.86/3597.00 v -x745 -x681 -x617 -x553 -x489 x425 -x361 -x297 -x233 -x169 -x105 -x41 -x872 -x808 -x744 -x680 -x616 -x552 -x488 -x424 x360
3584.86/3597.00 v -x296 -x232 -x168 -x104 -x40 -x871 -x807 -x743 -x679 -x615 -x551 -x487 -x423 -x359 -x295 -x231 x167 -x103 -x39 -x870 -x806 -x742
3584.86/3597.00 v -x678 -x614 -x550 -x486 -x422 -x358 -x294 x230 -x166 -x102 -x38 -x868 -x804 x740 -x676 -x612 -x548 -x484 -x420 -x356 -x292
3584.86/3597.00 v -x228 -x164 -x100 -x36 -x867 x803 -x739 -x675 -x611 -x547 -x483 -x419 -x355 -x291 -x227 -x163 -x99 -x35 -x866 -x802 -x738
3584.86/3597.00 v -x674 -x610 -x546 -x482 -x418 -x354 -x290 -x226 -x162 x98 -x34 -x865 -x801 -x737 -x673 -x609 x545 -x481 -x417 -x353 -x289 -x225
3584.86/3597.00 v -x161 -x97 -x33 -x864 -x800 -x736 -x672 x608 -x544 -x480 -x416 -x352 -x288 -x224 -x160 -x96 -x32 -x863 -x799 -x735 -x671 -x607
3584.86/3597.00 v x543 -x479 -x415 -x351 -x287 -x223 -x159 -x95 -x31 -x862 -x798 -x734 -x670 -x606 -x542 -x478 -x414 x350 -x286 -x222 -x158
3584.86/3597.00 v -x94 -x30 -x861 -x797 -x733 -x669 -x605 -x541 -x477 x413 -x349 -x285 -x221 -x157 -x93 -x29 -x859 -x795 -x731 -x667 -x603 -x539
3584.86/3597.00 v -x475 -x411 -x347 -x283 -x219 x155 -x91 -x27 -x858 -x794 -x730 -x666 -x602 -x538 -x474 -x410 -x346 x282 -x218 -x154 -x90
3584.86/3597.00 v -x26 -x857 -x793 -x729 x665 -x601 -x537 -x473 -x409 -x345 -x281 -x217 -x153 -x89 -x25 -x856 -x792 -x728 x664 -x600 -x536 -x472
3584.86/3597.00 v -x408 -x344 -x280 -x216 -x152 -x88 -x24 -x855 -x791 x727 -x663 -x599 -x535 -x471 -x407 -x343 -x279 -x215 -x151 -x87 -x23 -x854
3584.86/3597.00 v -x790 -x726 -x662 -x598 -x534 -x470 -x406 -x342 -x278 -x214 -x150 x86 -x22 -x853 -x789 -x725 -x661 -x597 -x533 -x469 -x405
3584.86/3597.00 v -x341 -x277 -x213 -x149 -x85 x21 x852 -x788 -x724 -x660 -x596 -x532 -x468 -x404 -x340 -x276 -x212 -x148 -x84 -x20 -x850 -x786
3584.86/3597.00 v -x722 -x658 -x594 -x530 -x466 -x402 x338 -x274 -x210 -x146 -x82 -x18 -x849 -x785 -x721 -x657 x593 -x529 -x465 -x401 -x337
3584.86/3597.00 v -x273 -x209 -x145 -x81 -x17 -x848 -x784 -x720 -x656 -x592 -x528 -x464 x400 -x336 -x272 -x208 -x144 -x80 -x16 -x847 -x783 -x719
3584.86/3597.00 v x655 -x591 -x527 -x463 -x399 -x335 -x271 -x207 -x143 -x79 -x15 -x846 -x782 x718 -x654 -x590 -x526 -x462 -x398 -x334 -x270 -x206
3584.86/3597.00 v -x142 -x78 -x14 -x845 -x781 -x717 -x653 -x589 -x525 x461 -x397 -x333 -x269 -x205 -x141 -x77 -x13 -x844 x780 -x716 -x652
3584.86/3597.00 v -x588 -x524 -x460 -x396 -x332 -x268 -x204 -x140 -x76 -x12 -x843 -x779 -x715 -x651 -x587 x523 -x459 -x395 -x331 -x267 -x203 -x139
3584.86/3597.00 v -x75 -x11 -x841 -x777 -x713 -x649 -x585 -x521 -x457 -x393 -x329 -x265 -x201 x137 -x73 -x9 -x840 -x776 x712 -x648 -x584 -x520
3584.86/3597.00 v -x456 -x392 -x328 -x264 -x200 -x136 -x72 -x8 -x839 -x775 -x711 -x647 -x583 -x519 -x455 -x391 x327 -x263 -x199 -x135 -x71
3584.86/3597.00 v -x7 -x838 x774 -x710 -x646 -x582 -x518 -x454 -x390 -x326 -x262 -x198 -x134 -x70 -x6 -x837 -x773 -x709 -x645 -x581 -x517 -x453
3584.86/3597.00 v -x389 -x325 x261 -x197 -x133 -x69 -x5 -x836 -x772 -x708 -x644 -x580 -x516 -x452 -x388 -x324 -x260 x196 -x132 -x68 -x4 -x835
3584.86/3597.00 v -x771 -x707 -x643 -x579 -x515 x451 -x387 -x323 -x259 -x195 -x131 -x67 -x3 x834 -x770 -x706 -x642 -x578 -x514 -x450 -x386 -x322
3584.86/3597.00 v -x258 -x194 -x130 -x66 -x2 x1344 -x1343 -x1342 x1341 x1340 x1339 -x1338 -x1337 -x1336 x1335 -x1334 -x1333 -x1332 -x1331 x1330
3584.86/3597.00 v -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 x1314 -x1313 -x1312
3584.86/3597.00 v -x1311 -x1310 x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 x1296 x1295 -x1294
3584.86/3597.00 v -x1293 -x1292 -x1291 -x1290 -x1289 x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 x1280 x1279 -x1278 x1277 x1276 x1275
3584.86/3597.00 v -x1274 x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 x1259 -x1258 -x1257
3584.86/3597.00 v -x1256 -x1255 -x1254 -x1253 x1252 -x1251 -x1250 -x1249 -x1248 -x1247 x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238
3584.86/3597.00 v -x1237 -x1236 x1235 -x1234 -x1233 -x1232 x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 x1224 -x1223 -x1222 -x1221 -x1220
3584.86/3597.00 v -x1219 x1218 -x1217 -x1216 x1215 x1214 x1213 x1212 -x1211 -x1210 x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 x1202 -x1201
3584.86/3597.00 v -x1200 -x1199 -x1198 -x1197 -x1196 x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 x1187 -x1186 -x1185 -x1184 -x1183
3584.86/3597.00 v x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 x1174 -x1173 -x1172 -x1171 -x1170 -x1169 x1168 -x1167 -x1166 -x1165
3584.86/3597.00 v -x1164 -x1163 -x1162 -x1161 x1160 -x1159 -x1158 -x1157 -x1156 x1155 -x1154 -x1153 x1152 -x1151 x1150 x1149 -x1148 -x1147 -x1146
3584.86/3597.00 v -x1145 x1144 -x1143 -x1142 -x1141 -x1140 -x1139 x1138 -x1137 -x1136 -x1135 -x1134 x1133 -x1132 -x1131 -x1130 -x1129 -x1128
3584.86/3597.00 v -x1127 -x1126 -x1125 x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 x1114 x1113 -x1112 -x1111 -x1110
3584.86/3597.00 v -x1109 -x1108 -x1107 -x1106 -x1105 x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 x1096 -x1095 -x1094 -x1093 -x1092
3584.86/3597.00 v x1091 -x1090 -x1089 x1088 x1087 -x1086 -x1085 -x1084 -x1083 -x1082 x1081 -x1080 -x1079 -x1078 -x1077 x1076 -x1075 -x1074 -x1073
3584.86/3597.00 v -x1072 -x1071 -x1070 -x1069 -x1068 x1067 -x1066 -x1065 x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055
3584.86/3597.00 v -x1054 x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 x1046 -x1045 -x1044 -x1043 -x1042 x1041 -x1040 -x1039 -x1038 -x1037
3584.86/3597.00 v -x1036 -x1035 -x1034 -x1033 x1032 -x1031 -x1030 -x1029 -x1028 -x1027 x1026 x1025 x1024 x1023 -x1022 -x1021 -x1020 -x1019 -x1018
3584.86/3597.00 v x1017 -x1016 x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 x1006 -x1005 -x1004 -x1003 -x1002 -x1001 x1000
3584.86/3597.00 v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 x983 -x982 -x981 -x980 -x979 -x978
3584.86/3597.00 v -x977 -x976 x975 -x974 -x973 -x972 -x971 -x970 -x969 x968 -x967 x966 x965 -x964 -x963 -x962 -x961 x960 -x959 -x958 -x957
3584.86/3597.00 v -x956 -x955 -x954 x953 -x952 x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 x939 -x938 -x937 -x936 -x935
3584.86/3597.00 v -x934 x933 -x932 -x931 x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914
3584.86/3597.00 v -x913 -x912 x911 -x910 -x909 -x908 -x907 -x906 -x905 x904 x903 -x902 -x901 -x900 x899 x898 -x897
3584.86/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3584.86/3597.00 c Total Time : 3597.00
3584.86/3597.00 c solving : 3597.00
3584.86/3597.00 c presolving : 0.55 (included in solving)
3584.86/3597.00 c reading : 0.04 (included in solving)
3584.86/3597.00 c copying : 0.36 (14 #copies) (minimal 0.02, maximal 0.03, average 0.03)
3584.86/3597.00 c Original Problem :
3584.86/3597.00 c Problem name : HOME/instance-4432615-1721068882.opb
3584.86/3597.00 c Variables : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.86/3597.00 c Constraints : 16096 initial, 16096 maximal
3584.86/3597.00 c Objective : minimize, 448 non-zeros (abs.min = 1, abs.max = 4)
3584.86/3597.00 c Presolved Problem :
3584.86/3597.00 c Problem name : t_HOME/instance-4432615-1721068882.opb
3584.86/3597.00 c Variables : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.86/3597.00 c Constraints : 16096 initial, 17333 maximal
3584.86/3597.00 c Objective : minimize, 448 non-zeros (abs.min = 1, abs.max = 4)
3584.86/3597.00 c Nonzeros : 102832 constraint, 6420 clique table
3584.86/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3584.86/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c domcol : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c dualsparsify : 0.13 0.00 1 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c gateextraction : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c milp : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c sparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c trivial : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c dualfix : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c probing : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c symmetry : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c knapsack : 0.14 0.00 8 0 0 0 0 0 0 0 14784 22176
3584.86/3597.00 c setppc : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c linear : 0.06 0.01 2 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c logicor : 0.01 0.00 7 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c root node : - - - 8 - - 8 - - - - -
3584.86/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3584.86/3597.00 c benderslp : 0 0 0 0 5643 0 0 1301 0 0 0 0 0 0 0
3584.86/3597.00 c integral : 0 0 0 0 5643 0 0 1301 0 0 58 0 0 38 11248
3584.86/3597.00 c knapsack : 7496+ 7526 11 162860 0 0 0 1295 11623 247 9894 0 0 0 0
3584.86/3597.00 c setppc : 2016 2016 11 162617 0 0 0 7 135388 1115 124949 0 0 0 0
3584.86/3597.00 c linear : 0+ 18 0 155471 0 0 0 3 43 64 1 0 0 0 0
3584.86/3597.00 c logicor : 6584+ 7812 11 70780 0 0 0 6 19913 205 6279 5 2 0 0
3584.86/3597.00 c benders : 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0
3584.86/3597.00 c fixedvar : 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0
3584.86/3597.00 c countsols : 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0
3584.86/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3584.86/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.86/3597.00 c integral : 713.76 0.00 0.00 0.00 713.76 0.00 0.00 0.00 0.00 0.00
3584.86/3597.00 c knapsack : 4.73 0.00 0.15 3.89 0.00 0.00 0.00 0.01 0.01 0.67
3584.86/3597.00 c setppc : 3.54 0.00 0.00 2.83 0.00 0.00 0.00 0.00 0.04 0.67
3584.86/3597.00 c linear : 0.09 0.01 0.00 0.07 0.00 0.00 0.00 0.00 0.00 0.01
3584.86/3597.00 c logicor : 1.60 0.00 0.01 1.32 0.00 0.00 0.00 0.00 0.01 0.26
3584.86/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.86/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.86/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.86/3597.00 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3584.86/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3584.86/3597.00 c dualfix : 1 0 0 0
3584.86/3597.00 c genvbounds : 0 0 0 0
3584.86/3597.00 c nlobbt : 0 0 0 0
3584.86/3597.00 c obbt : 0 0 0 0
3584.86/3597.00 c probing : 0 0 0 0
3584.86/3597.00 c pseudoobj : 20508 0 0 0
3584.86/3597.00 c redcost : 13 0 0 0
3584.86/3597.00 c rootredcost : 4 0 0 0
3584.86/3597.00 c symmetry : 158146 0 0 288
3584.86/3597.00 c vbounds : 68318 0 0 0
3584.86/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3584.86/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3584.86/3597.00 c genvbounds : 0.02 0.00 0.00 0.01 0.00 0.00
3584.86/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.86/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.86/3597.00 c probing : 0.05 0.00 0.05 0.00 0.00 0.00
3584.86/3597.00 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3584.86/3597.00 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3584.86/3597.00 c rootredcost : 0.02 0.00 0.00 0.01 0.00 0.00
3584.86/3597.00 c symmetry : 3.10 0.00 0.04 2.77 0.00 0.29
3584.86/3597.00 c vbounds : 0.05 0.00 0.00 0.04 0.00 0.01
3584.86/3597.00 c Symmetry :
3584.86/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3584.86/3597.00 c orbital reduction: 56 reductions applied, 0 cutoffs
3584.86/3597.00 c lexicographic red: 396 reductions applied, 0 cutoffs
3584.86/3597.00 c shadow tree time : 0.01 s
3584.86/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3584.86/3597.00 c propagation : 0.09 1580 1574 - 14129 42.4 625 10.7 - - -
3584.86/3597.00 c infeasible LP : 0.38 553 552 - 9405 97.1 181 11.0 419 97.9 0
3584.86/3597.00 c bound exceed. LP : 0.46 160 19 - 589 219.3 3 7.7 0 0.0 1305
3584.86/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3584.86/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3584.86/3597.00 c applied globally : 0.14 - - 0 13717 33.4 - - 418 - -
3584.86/3597.00 c applied locally : - - - 0 6 39.8 - - 1 - -
3584.86/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3584.86/3597.00 c cut pool : 0.47 - 1610 21 - - 7549 47273 - - - - - (maximal pool size: 1375)
3584.86/3597.00 c aggregation : 0.64 0.00 288 11 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3584.86/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3584.86/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3584.86/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c clique : 0.03 0.00 11 11 0 0 66 855 0 717 717 0 0
3584.86/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c gomory : 253.56 0.00 272 10 0 0 6478 28140 0 2167 2167 0 0
3584.86/3597.00 c > gomorymi : - - - - - - - 10013 0 1302 1302 0 -
3584.86/3597.00 c > strongcg : - - - - - - - 18127 0 865 865 0 -
3584.86/3597.00 c impliedbounds : 0.02 0.00 288 11 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c multilinear : 0.00 0.00 290 11 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c rapidlearning : 0.10 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c rlt : 0.00 0.00 110 10 0 0 0 0 0 0 0 0 0
3584.86/3597.00 c zerohalf : 2.40 0.00 273 11 0 0 1043 18278 38 9488 9461 27 0
3584.86/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3584.86/3597.00 c hybrid : 0.04 0.00 1260 11 12374 0 34942 109 0 321
3584.86/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3584.86/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3584.86/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3584.86/3597.00 c problem variables: 0.00 - 0 0
3584.86/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3584.86/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.86/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3584.86/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3584.86/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.86/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3584.86/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3584.86/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.86/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3584.86/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.86/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3584.86/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3584.86/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3584.86/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3584.86/3597.00 c relpscost : 713.75 0.00 5643 0 0 0 58 0 50 11248
3584.86/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3584.86/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3584.86/3597.00 c LP solutions : 0.00 - - 0 0
3584.86/3597.00 c relax solutions : 0.00 - - 0 0
3584.86/3597.00 c pseudo solutions : 0.00 - - 0 0
3584.86/3597.00 c strong branching : 0.01 - - 0 0
3584.86/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3584.86/3597.00 c adaptivediving : 11.33 0.00 16 0 0
3584.86/3597.00 c alns : 0.38 0.00 5 0 0
3584.86/3597.00 c bound : 0.00 0.00 0 0 0
3584.86/3597.00 c clique : 0.04 0.00 1 0 0
3584.86/3597.00 c coefdiving : 0.00 0.00 0 0 0
3584.86/3597.00 c completesol : 0.00 0.00 0 0 0
3584.86/3597.00 c conflictdiving : 107.35 0.00 120 0 0
3584.86/3597.00 c crossover : 0.15 0.00 1 0 0
3584.86/3597.00 c dins : 0.00 0.00 0 0 0
3584.86/3597.00 c distributiondivin: 109.32 0.00 120 1 1
3584.86/3597.00 c dps : 0.00 0.00 0 0 0
3584.86/3597.00 c dualval : 0.00 0.00 0 0 0
3584.86/3597.00 c farkasdiving : 22.71 0.00 1 0 0
3584.86/3597.00 c feasjump : 0.06 0.00 1 0 0
3584.86/3597.00 c feaspump : 37.74 0.00 15 0 0
3584.86/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3584.86/3597.00 c fracdiving : 56.80 0.00 120 0 0
3584.86/3597.00 c gins : 0.02 0.00 0 0 0
3584.86/3597.00 c guideddiving : 86.53 0.00 120 0 0
3584.86/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3584.86/3597.00 c indicator : 0.00 0.00 0 0 0
3584.86/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3584.86/3597.00 c indoneopt : 0.00 0.00 0 0 0
3584.86/3597.00 c indrounding : 0.00 0.00 0 0 0
3584.86/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3584.86/3597.00 c intdiving : 0.00 0.00 0 0 0
3584.86/3597.00 c intshifting : 0.00 0.00 0 0 0
3584.86/3597.00 c linesearchdiving : 72.78 0.00 120 0 0
3584.86/3597.00 c localbranching : 0.00 0.00 0 0 0
3584.86/3597.00 c locks : 0.01 0.00 1 0 0
3584.86/3597.00 c lpface : 0.37 0.00 1 0 0
3584.86/3597.00 c mpec : 0.00 0.00 0 0 0
3584.86/3597.00 c multistart : 0.00 0.00 0 0 0
3584.86/3597.00 c mutation : 0.00 0.00 0 0 0
3584.86/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3584.86/3597.00 c objpscostdiving : 54.81 0.00 9 0 0
3584.86/3597.00 c octane : 0.00 0.00 0 0 0
3584.86/3597.00 c ofins : 0.00 0.00 0 0 0
3584.86/3597.00 c oneopt : 0.01 0.00 3 0 0
3584.86/3597.00 c padm : 0.00 0.00 0 0 0
3584.86/3597.00 c proximity : 0.00 0.00 0 0 0
3584.86/3597.00 c pscostdiving : 91.54 0.00 70 0 0
3584.86/3597.00 c randrounding : 0.23 0.00 1298 0 0
3584.86/3597.00 c rens : 0.09 0.00 1 0 0
3584.86/3597.00 c reoptsols : 0.00 0.00 0 0 0
3584.86/3597.00 c repair : 0.00 0.00 0 0 0
3584.86/3597.00 c rins : 1.37 0.00 7 0 0
3584.86/3597.00 c rootsoldiving : 28.59 0.00 10 0 0
3584.86/3597.00 c rounding : 0.44 0.00 1101 0 0
3584.86/3597.00 c scheduler : 0.00 0.00 0 0 0
3584.86/3597.00 c shiftandpropagate: 0.02 0.00 1 0 0
3584.86/3597.00 c shifting : 0.68 0.00 533 0 0
3584.86/3597.00 c simplerounding : 0.00 0.00 0 0 0
3584.86/3597.00 c smallcard : 0.00 0.00 0 0 0
3584.86/3597.00 c subnlp : 0.00 0.00 0 0 0
3584.86/3597.00 c trivial : 0.00 0.00 2 0 0
3584.86/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3584.86/3597.00 c trustregion : 0.00 0.00 0 0 0
3584.86/3597.00 c trysol : 0.00 0.00 0 0 0
3584.86/3597.00 c twoopt : 0.00 0.00 0 0 0
3584.86/3597.00 c undercover : 0.00 0.00 0 0 0
3584.86/3597.00 c vbounds : 0.03 0.00 1 0 0
3584.86/3597.00 c veclendiving : 104.67 0.00 113 2 2
3584.86/3597.00 c zeroobj : 0.00 0.00 0 0 0
3584.86/3597.00 c zirounding : 0.29 0.00 1000 0 0
3584.86/3597.00 c other solutions : - - - 0 -
3584.86/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3584.86/3597.00 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
3584.86/3597.00 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
3584.86/3597.00 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
3584.86/3597.00 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
3584.86/3597.00 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
3584.86/3597.00 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
3584.86/3597.00 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
3584.86/3597.00 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
3584.86/3597.00 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
3584.86/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3584.86/3597.00 c primal LP : 2.40 1081 0 0.00 0.00 2.40 1081
3584.86/3597.00 c dual LP : 1817.43 6907 5915437 857.68 3254.83 0.03 10
3584.86/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3584.86/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3584.86/3597.00 c resolve instable : 0.00 0 0 0.00 -
3584.86/3597.00 c diving/probing LP: 839.45 5042 2677124 530.96 3189.13
3584.86/3597.00 c strong branching : 630.21 3070 2033480 662.37 3226.66 - - 3152
3584.86/3597.00 c (at root node) : - 22 19880 903.64 -
3584.86/3597.00 c conflict analysis: 0.36 132 1305 9.89 3655.97
3584.86/3597.00 c B&B Tree :
3584.86/3597.00 c number of runs : 1
3584.86/3597.00 c nodes : 5638 (5624 internal, 14 leaves)
3584.86/3597.00 c feasible leaves : 0
3584.86/3597.00 c infeas. leaves : 14
3584.86/3597.00 c objective leaves : 0
3584.86/3597.00 c nodes (total) : 5638 (5624 internal, 14 leaves)
3584.86/3597.00 c nodes left : 5611
3584.86/3597.00 c max depth : 43
3584.86/3597.00 c max depth (total): 43
3584.86/3597.00 c backtracks : 1035 (18.4%)
3584.86/3597.00 c early backtracks : 0 (0.0%)
3584.86/3597.00 c nodes exc. ref. : 0 (0.0%)
3584.86/3597.00 c delayed cutoffs : 0
3584.86/3597.00 c repropagations : 103 (197 domain reductions, 0 cutoffs)
3584.86/3597.00 c avg switch length: 5.89
3584.86/3597.00 c switching time : 5.29
3584.86/3597.00 c Root Node :
3584.86/3597.00 c First LP value : +9.60000000000000e+01
3584.86/3597.00 c First LP Iters : 3180 (3476.56 Iter/sec)
3584.86/3597.00 c First LP Time : 0.91
3584.86/3597.00 c Final Dual Bound : +9.60000000000000e+01
3584.86/3597.00 c Final Root Iters : 43506
3584.86/3597.00 c Root LP Estimate : +1.58069812557585e+02
3584.86/3597.00 c Solution :
3584.86/3597.00 c Solutions found : 3 (3 improvements)
3584.86/3597.00 c First Solution : +1.96000000000000e+02 (in run 1, after 1470 nodes, 886.74 seconds, depth 53, found by <distributiondiving>)
3584.86/3597.00 c Gap First Sol. : 104.17 %
3584.86/3597.00 c Gap Last Sol. : 87.50 %
3584.86/3597.00 c Primal Bound : +1.80000000000000e+02 (in run 1, after 2687 nodes, 1793.16 seconds, depth 49, found by <veclendiving>)
3584.86/3597.00 c Dual Bound : +9.60000000000000e+01
3584.86/3597.00 c Gap : 87.50 %
3584.86/3597.00 c Integrals : Total Avg%
3584.86/3597.00 c primal-dual : 218987.61 60.88
3584.86/3597.00 c primal-ref : - - (not evaluated)
3584.86/3597.00 c dual-ref : - - (not evaluated)
3584.86/3597.08 c Time complete: 3584.95.
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: 63968 MiB (62830 MiB free)
memory of node 1: 64473 MiB (61915 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432615-1721068882/watcher-4432615-1721068882 -o /tmp/evaluation-result-4432615-1721068882/solver-4432615-1721068882 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721061647-814085 --watchdog 3760 pbscip -f HOME/instance-4432615-1721068882.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=818777, runsolver pid=818774
[startup+0.100086 s]*
/proc/loadavg: 5.19 5.14 4.84 6/259 818778
/proc/meminfo: memFree=127698320/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=97584 memory=56672 CPUtime=0.09 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 10982 0 0 0 8 1 0 0 20 0 1 0 159054405 99926016 14168 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 24396 14168 3604 3540 0 12653 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 97584 KiB
Current children cumulated memory: 56672 KiB
[startup+0.205493 s]*
/proc/loadavg: 5.19 5.14 4.84 6/259 818778
/proc/meminfo: memFree=127685624/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=107540 memory=68372 CPUtime=0.2 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 19399 0 0 0 17 3 0 0 20 0 1 0 159054405 110120960 17093 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 26885 17093 3715 3540 0 15142 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 107540 KiB
Current children cumulated memory: 68372 KiB
[startup+0.305404 s]*
/proc/loadavg: 5.19 5.14 4.84 6/259 818778
/proc/meminfo: memFree=127683172/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=110320 memory=71188 CPUtime=0.3 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 20091 0 0 0 27 3 0 0 20 0 1 0 159054405 112967680 17797 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 27580 17797 3763 3540 0 15837 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 110320 KiB
Current children cumulated memory: 71188 KiB
[startup+0.700202 s]
/proc/loadavg: 5.19 5.14 4.84 6/259 818778
/proc/meminfo: memFree=127638848/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=213552 memory=162180 CPUtime=0.69 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 35537 0 0 0 64 5 0 0 20 0 1 0 159054405 218677248 40545 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 53388 40545 3827 3540 0 41645 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 213552 KiB
Current children cumulated memory: 162180 KiB
[startup+1.50015 s]
/proc/loadavg: 5.19 5.14 4.84 6/259 818778
/proc/meminfo: memFree=127588388/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=216352 memory=165844 CPUtime=1.48 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 36550 0 0 0 143 5 0 0 20 0 1 0 159054405 221544448 41461 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 54088 41461 3843 3540 0 42345 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 216352 KiB
Current children cumulated memory: 165844 KiB
[startup+3.10495 s]
/proc/loadavg: 5.19 5.14 4.84 6/259 818780
/proc/meminfo: memFree=127588184/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=216352 memory=165844 CPUtime=3.08 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 36550 0 0 0 303 5 0 0 20 0 1 0 159054405 221544448 41461 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 54088 41461 3843 3540 0 42345 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 216352 KiB
Current children cumulated memory: 165844 KiB
[startup+6.30014 s]
/proc/loadavg: 5.17 5.14 4.84 6/259 818780
/proc/meminfo: memFree=127588184/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=216352 memory=165844 CPUtime=6.27 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 36551 0 0 0 622 5 0 0 20 0 1 0 159054405 221544448 41461 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 54088 41461 3843 3540 0 42345 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 216352 KiB
Current children cumulated memory: 165844 KiB
[startup+12.7001 s]
/proc/loadavg: 5.16 5.14 4.84 6/259 818781
/proc/meminfo: memFree=127570720/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=238768 memory=183688 CPUtime=12.65 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 40900 0 0 0 1259 6 0 0 20 0 1 0 159054405 244498432 45922 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 59692 45922 3955 3540 0 47949 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 238768 KiB
Current children cumulated memory: 183688 KiB
[startup+25.5002 s]
/proc/loadavg: 5.12 5.13 4.85 6/259 818783
/proc/meminfo: memFree=127569124/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=249108 memory=185008 CPUtime=25.41 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 41225 0 0 0 2535 6 0 0 20 0 1 0 159054405 255086592 46252 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 62277 46252 3955 3540 0 50534 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 249108 KiB
Current children cumulated memory: 185008 KiB
[startup+51.1054 s]
/proc/loadavg: 5.15 5.14 4.86 6/259 818786
/proc/meminfo: memFree=127568008/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=252736 memory=185536 CPUtime=50.94 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 41412 0 0 0 5086 8 0 0 20 0 1 0 159054405 258801664 46384 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 63184 46384 3955 3540 0 51441 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 252736 KiB
Current children cumulated memory: 185536 KiB
[startup+102.3 s]
/proc/loadavg: 5.45 5.21 4.90 6/259 818797
/proc/meminfo: memFree=127516340/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=304928 memory=236480 CPUtime=101.96 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 53627 0 0 0 10181 15 0 0 20 0 1 0 159054405 312246272 59120 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 76232 59120 3971 3540 0 64489 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 304928 KiB
Current children cumulated memory: 236480 KiB
[startup+162.3 s]
/proc/loadavg: 5.21 5.18 4.91 6/259 818808
/proc/meminfo: memFree=127508348/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=304928 memory=237796 CPUtime=161.77 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 53956 0 0 0 16157 20 0 0 20 0 1 0 159054405 312246272 59449 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 76232 59449 3971 3540 0 64489 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 304928 KiB
Current children cumulated memory: 237796 KiB
[startup+222.3 s]
/proc/loadavg: 5.22 5.19 4.93 6/256 818818
/proc/meminfo: memFree=127520900/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=304928 memory=237796 CPUtime=221.58 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 53961 0 0 0 22137 21 0 0 20 0 1 0 159054405 312246272 59449 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 76232 59449 3971 3540 0 64489 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 304928 KiB
Current children cumulated memory: 237796 KiB
[startup+282.3 s]
/proc/loadavg: 5.13 5.17 4.95 6/256 818828
/proc/meminfo: memFree=127520160/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=304928 memory=238012 CPUtime=281.38 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 53963 0 0 0 28117 21 0 0 20 0 1 0 159054405 312246272 59503 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 76232 59503 3971 3540 0 64489 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 304928 KiB
Current children cumulated memory: 238012 KiB
[startup+342.3 s]
/proc/loadavg: 5.17 5.17 4.96 6/256 818838
/proc/meminfo: memFree=127519516/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=304928 memory=238012 CPUtime=341.19 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 53965 0 0 0 34098 21 0 0 20 0 1 0 159054405 312246272 59503 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 76232 59503 3971 3540 0 64489 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 304928 KiB
Current children cumulated memory: 238012 KiB
[startup+402.3 s]
/proc/loadavg: 5.12 5.15 4.97 6/259 818854
/proc/meminfo: memFree=127518684/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=304928 memory=238012 CPUtime=400.99 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 53968 0 0 0 40078 21 0 0 20 0 1 0 159054405 312246272 59503 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 76232 59503 3971 3540 0 64489 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 304928 KiB
Current children cumulated memory: 238012 KiB
[startup+462.3 s]
/proc/loadavg: 5.09 5.14 4.98 6/259 818864
/proc/meminfo: memFree=127518140/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=305960 memory=238012 CPUtime=460.8 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 53972 0 0 0 46059 21 0 0 20 0 1 0 159054405 313303040 59503 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 76490 59503 3971 3540 0 64747 0
################
# More data... #
################
/proc/loadavg: 4.12 4.11 4.17 5/259 820677
/proc/meminfo: memFree=127045756/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=419496 memory=367512 CPUtime=3151.55 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 84303 0 0 0 315119 36 0 0 20 0 1 0 159054405 429563904 91878 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 104874 91878 4001 3540 0 93131 0
Current children cumulated CPU time: 3151.55 s
Current children cumulated vsize: 419496 KiB
Current children cumulated memory: 367512 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.17 5/259 820687
/proc/meminfo: memFree=127033052/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=421584 memory=375340 CPUtime=3211.36 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 84917 0 0 0 321100 36 0 0 20 0 1 0 159054405 431702016 93835 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 105396 93835 4001 3540 0 93653 0
Current children cumulated CPU time: 3211.36 s
Current children cumulated vsize: 421584 KiB
Current children cumulated memory: 375340 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.13 4.17 5/255 820698
/proc/meminfo: memFree=127016372/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=424684 memory=377112 CPUtime=3271.17 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 85427 0 0 0 327081 36 0 0 20 0 1 0 159054405 434876416 94278 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 106171 94278 4001 3540 0 94428 0
Current children cumulated CPU time: 3271.17 s
Current children cumulated vsize: 424684 KiB
Current children cumulated memory: 377112 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.17 5/255 820708
/proc/meminfo: memFree=127014540/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=424684 memory=377240 CPUtime=3330.98 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 85561 0 0 0 333062 36 0 0 20 0 1 0 159054405 434876416 94310 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 106171 94310 4001 3540 0 94428 0
Current children cumulated CPU time: 3330.98 s
Current children cumulated vsize: 424684 KiB
Current children cumulated memory: 377240 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.17 5/255 820719
/proc/meminfo: memFree=127011696/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=425656 memory=378212 CPUtime=3390.78 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 85921 0 0 0 339042 36 0 0 20 0 1 0 159054405 435871744 94553 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 106414 94553 4001 3540 0 94671 0
Current children cumulated CPU time: 3390.78 s
Current children cumulated vsize: 425656 KiB
Current children cumulated memory: 378212 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.17 5/255 820730
/proc/meminfo: memFree=126997328/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=432188 memory=378892 CPUtime=3450.59 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 86230 0 0 0 345023 36 0 0 20 0 1 0 159054405 442560512 94723 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 108047 94723 4001 3540 0 96304 0
Current children cumulated CPU time: 3450.59 s
Current children cumulated vsize: 432188 KiB
Current children cumulated memory: 378892 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.15 4.17 5/258 820745
/proc/meminfo: memFree=126983128/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=432844 memory=379628 CPUtime=3510.4 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 86525 0 0 0 351004 36 0 0 20 0 1 0 159054405 443232256 94907 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 108211 94907 4001 3540 0 96468 0
Current children cumulated CPU time: 3510.4 s
Current children cumulated vsize: 432844 KiB
Current children cumulated memory: 379628 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.15 4.17 5/258 820757
/proc/meminfo: memFree=126978212/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=433792 memory=380224 CPUtime=3570.21 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 86801 0 0 0 356985 36 0 0 20 0 1 0 159054405 444203008 95056 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 108448 95056 4001 3540 0 96705 0
Current children cumulated CPU time: 3570.21 s
Current children cumulated vsize: 433792 KiB
Current children cumulated memory: 380224 KiB
[startup+3597.08 s]
# the end of solver process 818777 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.59 s, system=0.372622 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.18 4.15 4.17 5/258 820757
/proc/meminfo: memFree=126978044/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=433792 memory=380224 CPUtime=3571.91 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 86802 0 0 0 357155 36 0 0 20 0 1 0 159054405 444203008 95056 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 108448 95056 4001 3540 0 96705 0
Current children cumulated CPU time: 3571.91 s
Current children cumulated vsize: 433792 KiB
Current children cumulated memory: 380224 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.15 4.17 5/258 820757
/proc/meminfo: memFree=126977372/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=433956 memory=380728 CPUtime=3578.28 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 86937 0 0 0 357792 36 0 0 20 0 1 0 159054405 444370944 95182 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 108489 95182 4001 3540 0 96746 0
Current children cumulated CPU time: 3578.28 s
Current children cumulated vsize: 433956 KiB
Current children cumulated memory: 380728 KiB
[startup+3593.6 s]
/proc/loadavg: 4.15 4.15 4.17 5/258 820758
/proc/meminfo: memFree=126977336/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=433956 memory=380728 CPUtime=3581.47 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 86942 0 0 0 358111 36 0 0 20 0 1 0 159054405 444370944 95182 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 108489 95182 4001 3540 0 96746 0
Current children cumulated CPU time: 3581.47 s
Current children cumulated vsize: 433956 KiB
Current children cumulated memory: 380728 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.14 4.17 5/258 820758
/proc/meminfo: memFree=126977336/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=434632 memory=380920 CPUtime=3583.07 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 86977 0 0 0 358271 36 0 0 20 0 1 0 159054405 445063168 95230 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 108658 95230 4001 3540 0 96915 0
Current children cumulated CPU time: 3583.07 s
Current children cumulated vsize: 434632 KiB
Current children cumulated memory: 380920 KiB
[startup+3596 s]*
/proc/loadavg: 4.14 4.14 4.17 5/258 820758
/proc/meminfo: memFree=126977252/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=434632 memory=380920 CPUtime=3583.87 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 86977 0 0 0 358351 36 0 0 20 0 1 0 159054405 445063168 95230 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 108658 95230 4001 3540 0 96915 0
Current children cumulated CPU time: 3583.87 s
Current children cumulated vsize: 434632 KiB
Current children cumulated memory: 380920 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.14 4.17 5/258 820758
/proc/meminfo: memFree=126977252/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=434632 memory=380920 CPUtime=3584.66 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 86977 0 0 0 358430 36 0 0 20 0 1 0 159054405 445063168 95230 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 108658 95230 4001 3540 0 96915 0
Current children cumulated CPU time: 3584.66 s
Current children cumulated vsize: 434632 KiB
Current children cumulated memory: 380920 KiB
[startup+3597 s]*
/proc/loadavg: 4.14 4.14 4.17 5/258 820758
/proc/meminfo: memFree=126977260/131524600 swapFree=131071996/131071996
[pid=818777] ppid=818774 vsize=434632 memory=380920 CPUtime=3584.86 cores=0,2
/proc/818777/stat : 818777 (pbscip) R 818774 818777 814075 0 -1 4194304 86977 0 0 0 358450 36 0 0 20 0 1 0 159054405 445063168 95230 134679101440 4194304 18693293 140726924831600 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37478400 140726924833796 140726924833895 140726924833895 140726924840910 0
/proc/818777/statm: 108658 95230 4001 3540 0 96915 0
Current children cumulated CPU time: 3584.86 s
Current children cumulated vsize: 434632 KiB
Current children cumulated memory: 380920 KiB
Child status: 0
Real time (s): 3597.08
CPU time (s): 3584.96
CPU user time (s): 3584.59
CPU system time (s): 0.372622
CPU usage (%): 99.6629
Max. virtual memory (cumulated for all children) (KiB): 434632
Max. memory (cumulated for all children) (KiB): 380920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.59
system time used= 0.372622
maximum resident set size= 380920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87017
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= 43
involuntary context switches= 25097
# summary of solver processes directly reported to runsolver:
# pid: 818777
# total CPU time (s): 3584.96
# total CPU user time (s): 3584.59
# total CPU system time (s): 0.372622
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.55812 second user time and 15.2735 second system time
The end