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-4432619-1721069390.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.49/0.56 c (0.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.49/0.58 c (0.6s) no symmetry present (symcode time: 0.00)
0.49/0.59 c presolving (4 rounds: 4 fast, 4 medium, 3 exhaustive):
0.49/0.59 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 14784 changed sides, 22176 changed coefficients
0.49/0.59 c 0 implications, 2016 cliques
0.49/0.59 c presolved problem has 1344 variables (1344 bin, 0 int, 0 impl, 0 cont) and 16096 constraints
0.49/0.59 c 7496 constraints of type <knapsack>
0.49/0.59 c 2016 constraints of type <setppc>
0.49/0.59 c 6584 constraints of type <logicor>
0.49/0.59 c transformed objective value is always integral (scale: 1)
0.49/0.59 c Presolving Time: 0.53
0.49/0.59 c - non default parameters ----------------------------------------------------------------------
0.49/0.59 c # SCIP version 10.0.0
0.49/0.59 c
0.49/0.59 c # maximal time in seconds to run
0.49/0.59 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.49/0.59 c limits/time = 3596.99703
0.49/0.59 c
0.49/0.59 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.59 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.49/0.59 c limits/memory = 27900
0.49/0.59 c
0.49/0.59 c # belongs reading time to solving time?
0.49/0.59 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.49/0.59 c timing/reading = TRUE
0.49/0.59 c
0.49/0.59 c -----------------------------------------------------------------------------------------------
0.49/0.59 c start solving
0.49/0.59 c
1.58/1.63 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.63 c 1.6s| 1 | 0 | 3214 | - | 141M | 0 |1344 | 16k| 16k| 0 | 0 | 80 | 0 | 3.191600e+04 | -- | Inf | unknown
7.97/8.07 c 8.1s| 1 | 0 | 22189 | - | 144M | 0 |1344 | 16k| 16k| 12 | 1 | 81 | 0 | 3.191600e+04 | -- | Inf | unknown
9.86/9.93 c 9.9s| 1 | 0 | 23961 | - | 147M | 0 |1344 | 16k| 16k| 21 | 2 | 87 | 0 | 3.191600e+04 | -- | Inf | unknown
11.75/11.85 c 11.9s| 1 | 0 | 25574 | - | 148M | 0 |1344 | 16k| 16k| 30 | 3 | 89 | 0 | 3.191600e+04 | -- | Inf | unknown
13.65/13.74 c 13.7s| 1 | 0 | 27161 | - | 150M | 0 |1344 | 16k| 16k| 39 | 4 | 93 | 0 | 3.191600e+04 | -- | Inf | unknown
15.65/15.72 c 15.7s| 1 | 0 | 28766 | - | 151M | 0 |1344 | 16k| 16k| 49 | 5 | 94 | 0 | 3.191600e+04 | -- | Inf | unknown
17.54/17.63 c 17.6s| 1 | 0 | 30460 | - | 153M | 0 |1344 | 16k| 16k| 59 | 6 | 96 | 0 | 3.191600e+04 | -- | Inf | unknown
19.54/19.61 c 19.6s| 1 | 0 | 32181 | - | 156M | 0 |1344 | 16k| 16k| 67 | 7 | 100 | 0 | 3.191600e+04 | -- | Inf | unknown
21.43/21.55 c 21.5s| 1 | 0 | 33837 | - | 157M | 0 |1344 | 16k| 16k| 76 | 8 | 104 | 0 | 3.191600e+04 | -- | Inf | unknown
23.03/23.19 c 23.2s| 1 | 0 | 34839 | - | 159M | 0 |1344 | 16k| 16k| 87 | 9 | 106 | 0 | 3.191600e+04 | -- | Inf | unknown
24.93/25.06 c 25.1s| 1 | 0 | 36317 | - | 160M | 0 |1344 | 16k| 16k| 98 | 10 | 107 | 0 | 3.191600e+04 | -- | Inf | unknown
25.72/25.83 c 25.8s| 1 | 0 | 38287 | - | 162M | 0 |1344 | 16k| 16k| 111 | 11 | 109 | 0 | 3.191600e+04 | -- | Inf | unknown
57.63/57.87 c 57.9s| 1 | 2 | 80519 | - | 163M | 0 |1344 | 16k| 16k| 111 | 11 | 162 | 20 | 3.191600e+04 | -- | Inf | unknown
187.38/187.98 c 188s| 100 | 101 |257692 |2216.2 | 200M | 17 |1344 | 16k| 16k| 481 | 1 | 304 | 268 | 3.191600e+04 | -- | Inf | unknown
229.27/229.94 o 54309
229.27/229.94 c d 230s| 153 | 154 |343966 |2011.0 |veclendi| 23 |1344 | 16k| 16k| 0 | 1 | 395 | 310 | 3.191600e+04 | 5.430900e+04 | 70.16%| unknown
264.68/265.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
264.68/265.47 c 265s| 200 | 201 |409600 |1865.9 | 241M | 23 |1344 | 16k| 16k| 898 | 1 | 418 | 351 | 3.191600e+04 | 5.430900e+04 | 70.16%| unknown
350.34/351.36 c 351s| 300 | 301 |570752 |1780.8 | 261M | 23 |1344 | 16k| 16k|1303 | 1 | 503 | 439 | 3.191600e+04 | 5.430900e+04 | 70.16%| unknown
443.09/444.37 c 444s| 400 | 401 |784532 |1870.3 | 269M | 25 |1344 | 16k| 16k|1688 | 1 | 773 | 519 | 3.191600e+04 | 5.430900e+04 | 70.16%| unknown
473.81/475.13 o 52410
473.81/475.13 c d 475s| 425 | 426 |854781 |1925.7 |veclendi| 25 |1344 | 16k| 16k| 0 | 1 | 858 | 540 | 3.191600e+04 | 5.241000e+04 | 64.21%| unknown
564.58/566.18 c 566s| 500 | 501 | 1065k|2059.4 | 293M | 25 |1344 | 16k| 16k|2271 | 1 |1259 | 617 | 3.191600e+04 | 5.241000e+04 | 64.21%| unknown
657.85/659.67 c 660s| 600 | 601 | 1324k|2147.9 | 302M | 25 |1344 | 16k| 16k|2763 | 1 |1872 | 705 | 3.191600e+04 | 5.241000e+04 | 64.21%| unknown
761.69/763.72 c 764s| 700 | 701 | 1566k|2186.4 | 328M | 25 |1344 | 16k| 16k|3381 | 1 |2263 | 803 | 3.191600e+04 | 5.241000e+04 | 64.21%| unknown
858.65/860.94 c 861s| 800 | 797 | 1794k|2197.5 | 339M | 27 |1344 | 16k| 16k|3961 | 1 |2628 | 895 | 3.191600e+04 | 5.241000e+04 | 64.21%| unknown
917.11/919.54 o 50750
917.11/919.54 c d 920s| 871 | 866 | 1951k|2199.3 |distribu| 27 |1344 | 16k| 16k| 0 | 1 |3022 | 950 | 3.191600e+04 | 5.075000e+04 | 59.01%| unknown
941.35/943.89 c 944s| 900 | 895 | 2005k|2187.7 | 344M | 27 |1344 | 16k| 16k|4472 | 1 |3067 | 981 | 3.191600e+04 | 5.075000e+04 | 59.01%| unknown
1021.04/1023.70 c 1024s| 1000 | 991 | 2219k|2183.5 | 346M | 27 |1344 | 16k| 16k|5006 | 3 |3421 |1075 | 3.191600e+04 | 5.075000e+04 | 59.01%| unknown
1107.23/1110.16 c 1110s| 1100 | 1091 | 2444k|2189.5 | 349M | 28 |1344 | 16k| 16k|5559 | 1 |3823 |1183 | 3.191600e+04 | 5.075000e+04 | 59.01%| unknown
1185.63/1188.74 c 1189s| 1200 | 1191 | 2660k|2186.7 | 351M | 28 |1344 | 16k| 16k|5946 | 1 |4108 |1276 | 3.191600e+04 | 5.075000e+04 | 59.01%| unknown
1260.64/1263.97 c 1264s| 1300 | 1291 | 2845k|2160.7 | 356M | 28 |1344 | 16k| 16k|6317 | 1 |4373 |1378 | 3.191600e+04 | 5.075000e+04 | 59.01%| unknown
1281.49/1284.80 o 50457
1281.49/1284.80 c d1285s| 1322 | 1313 | 2904k|2169.6 |conflict| 28 |1344 | 16k| 16k| 0 | 3 |4442 |1401 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
1335.06/1338.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1335.06/1338.59 c 1339s| 1400 | 1391 | 3055k|2156.6 | 360M | 28 |1344 | 16k| 16k|6895 | 1 |4719 |1459 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
1416.53/1420.23 c 1420s| 1500 | 1491 | 3304k|2179.2 | 379M | 28 |1344 | 17k| 16k|7623 | 3 |5117 |1488 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
1505.26/1509.22 c 1509s| 1600 | 1591 | 3552k|2198.0 | 382M | 28 |1344 | 16k| 16k|8182 | 1 |5486 |1499 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
1584.42/1588.68 c 1589s| 1700 | 1691 | 3776k|2200.1 | 391M | 28 |1344 | 17k| 16k|8725 | 1 |5880 |1530 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
1679.29/1683.79 c 1684s| 1800 | 1791 | 4044k|2226.9 | 398M | 28 |1344 | 17k| 16k|9698 | 1 |6388 |1535 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
1777.75/1782.40 c 1782s| 1900 | 1891 | 4297k|2242.6 | 409M | 28 |1344 | 17k| 16k| 10k| 1 |6843 |1618 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
1852.19/1857.08 c 1857s| 2000 | 1991 | 4494k|2229.1 | 414M | 28 |1344 | 17k| 16k| 10k| 1 |7132 |1679 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
1931.39/1936.42 c 1936s| 2100 | 2091 | 4703k|2222.6 | 417M | 28 |1344 | 17k| 16k| 11k| 1 |7441 |1755 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
2013.50/2018.71 c 2019s| 2200 | 2191 | 4929k|2224.2 | 418M | 28 |1344 | 17k| 16k| 11k| 1 |7894 |1827 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
2089.62/2095.08 c 2095s| 2300 | 2291 | 5140k|2219.4 | 419M | 28 |1344 | 17k| 16k| 12k| 1 |8289 |1903 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
2149.17/2154.70 c 2155s| 2400 | 2391 | 5345k|2212.4 | 420M | 36 |1344 | 17k| 16k| 12k| 1 |8515 |1927 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
2216.01/2221.76 c 2222s| 2500 | 2491 | 5552k|2206.4 | 420M | 37 |1344 | 17k| 16k| 13k| 1 |8714 |1967 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
2268.58/2274.48 c 2274s| 2600 | 2589 | 5735k|2192.0 | 421M | 39 |1344 | 17k| 16k| 13k| 1 |8903 |1998 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
2330.43/2336.48 c 2336s| 2700 | 2689 | 5958k|2193.5 | 423M | 39 |1344 | 17k| 16k| 13k| 1 |9254 |2002 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
2397.47/2403.69 c 2404s| 2800 | 2789 | 6178k|2193.7 | 423M | 39 |1344 | 17k| 16k| 14k| 1 |9565 |2014 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
2459.22/2465.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2459.22/2465.53 c 2466s| 2900 | 2889 | 6374k|2185.7 | 424M | 39 |1344 | 17k| 16k| 14k| 1 |9829 |2028 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
2528.25/2534.75 c 2535s| 3000 | 2989 | 6584k|2182.7 | 427M | 39 |1344 | 17k| 16k| 15k| 1 | 10k|2060 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
2598.88/2605.52 c 2606s| 3100 | 3089 | 6787k|2178.0 | 428M | 39 |1344 | 17k| 16k| 15k| 1 | 10k|2120 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
2657.44/2664.25 c 2664s| 3200 | 3189 | 6957k|2162.8 | 428M | 39 |1344 | 17k| 16k| 15k| 1 | 10k|2178 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
2734.31/2741.38 c 2741s| 3300 | 3289 | 7188k|2167.3 | 430M | 39 |1344 | 17k| 16k| 16k| 1 | 11k|2236 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
2810.48/2817.77 c 2818s| 3400 | 3389 | 7413k|2169.8 | 431M | 39 |1344 | 17k| 16k| 16k| 1 | 11k|2295 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
2871.20/2878.63 c 2879s| 3500 | 3489 | 7584k|2156.7 | 433M | 39 |1344 | 17k| 16k| 16k| 1 | 11k|2354 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
2938.09/2945.79 c 2946s| 3600 | 3589 | 7776k|2150.2 | 440M | 41 |1344 | 17k| 16k| 16k| 1 | 11k|2418 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
2999.11/3007.00 c 3007s| 3700 | 3689 | 7959k|2141.3 | 443M | 41 |1344 | 17k| 16k| 17k| 1 | 12k|2471 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
3048.66/3056.68 c 3057s| 3800 | 3789 | 8136k|2131.7 | 443M | 41 |1344 | 17k| 16k| 17k| 1 | 12k|2486 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
3106.19/3114.37 c 3114s| 3900 | 3889 | 8322k|2124.6 | 444M | 41 |1344 | 17k| 16k| 17k| 1 | 12k|2499 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
3179.87/3188.22 c 3188s| 4000 | 3989 | 8538k|2125.7 | 452M | 41 |1344 | 17k| 16k| 18k| 1 | 12k|2516 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
3242.69/3251.28 c 3251s| 4100 | 4089 | 8740k|2123.0 | 453M | 41 |1344 | 17k| 16k| 19k| 1 | 13k|2533 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
3302.42/3311.11 c 3311s| 4200 | 4189 | 8938k|2119.6 | 454M | 41 |1344 | 17k| 16k| 19k| 1 | 13k|2542 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
3367.43/3376.31 c 3376s| 4300 | 4289 | 9141k|2117.6 | 460M | 41 |1344 | 17k| 16k| 19k| 1 | 13k|2552 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
3429.64/3438.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3429.64/3438.71 c 3439s| 4400 | 4389 | 9345k|2115.8 | 461M | 41 |1344 | 17k| 16k| 19k| 1 | 14k|2558 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
3488.57/3497.88 c 3498s| 4500 | 4489 | 9529k|2109.6 | 471M | 41 |1344 | 17k| 16k| 20k| 1 | 14k|2578 | 3.191600e+04 | 5.045700e+04 | 58.09%| unknown
3587.48/3597.00 c
3587.48/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.48/3597.00 c Solving Time (sec) : 3597.00
3587.48/3597.00 c Solving Nodes : 4595
3587.48/3597.00 c Primal Bound : +5.04570000000000e+04 (4 solutions)
3587.48/3597.00 c Dual Bound : +3.19160000000000e+04
3587.48/3597.00 c Gap : 58.09 %
3587.48/3597.01 s SATISFIABLE
3587.48/3597.01 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
3587.48/3597.01 v -x256 -x192 -x128 x64 -x887 x823 x759 x695 -x631 -x567 x503 -x439 -x375 -x311 x247 x183 x119 -x55 x878 -x814 -x750 -x686 x622
3587.48/3597.01 v x558 -x494 x430 -x366 -x302 -x238 x174 x110 x46 x869 x805 x741 -x677 -x613 x549 -x485 -x421 x357 x293 x229 -x165 -x101 -x37
3587.48/3597.01 v x860 x796 -x732 -x668 x604 x540 -x476 -x412 -x348 x284 x220 -x156 x92 -x28 -x851 -x787 x723 -x659 -x595 x531 x467 x403 -x339
3587.48/3597.01 v -x275 x211 -x147 x83 x19 -x842 -x778 -x714 x650 x586 -x522 x458 -x394 x330 x266 -x202 x138 -x74 x10 -x895 -x831 -x767 -x703
3587.48/3597.01 v -x639 -x575 -x511 -x447 -x383 -x319 -x255 -x191 x127 -x63 -x894 -x830 -x766 -x702 -x638 -x574 -x510 -x446 -x382 -x318 -x254 x190
3587.48/3597.01 v -x126 -x62 -x893 -x829 -x765 -x701 -x637 x573 -x509 -x445 -x381 -x317 -x253 -x189 -x125 -x61 -x892 -x828 -x764 -x700 -x636
3587.48/3597.01 v -x572 -x508 -x444 -x380 -x316 x252 -x188 -x124 -x60 -x891 -x827 x763 -x699 -x635 -x571 -x507 -x443 -x379 -x315 -x251 -x187
3587.48/3597.01 v -x123 -x59 -x890 -x826 -x762 -x698 x634 -x570 -x506 -x442 -x378 -x314 -x250 -x186 -x122 -x58 -x889 -x825 -x761 -x697 -x633 -x569
3587.48/3597.01 v x505 -x441 -x377 -x313 -x249 -x185 -x121 -x57 x888 -x824 -x760 -x696 -x632 -x568 -x504 -x440 -x376 -x312 -x248 -x184 -x120
3587.48/3597.01 v -x56 -x886 -x822 -x758 -x694 -x630 -x566 -x502 x438 -x374 -x310 -x246 -x182 -x118 -x54 -x885 -x821 -x757 -x693 -x629 -x565
3587.48/3597.01 v -x501 -x437 -x373 x309 -x245 -x181 -x117 -x53 -x884 -x820 -x756 -x692 x628 -x564 -x500 -x436 -x372 -x308 -x244 -x180 -x116 -x52
3587.48/3597.01 v -x883 -x819 -x755 -x691 -x627 x563 -x499 -x435 -x371 -x307 -x243 -x179 -x115 -x51 -x882 -x818 -x754 -x690 -x626 -x562 -x498
3587.48/3597.01 v -x434 -x370 -x306 -x242 -x178 -x114 x50 -x881 -x817 -x753 -x689 -x625 -x561 -x497 -x433 x369 -x305 -x241 -x177 -x113 -x49 -x880
3587.48/3597.01 v -x816 -x752 x688 -x624 -x560 -x496 -x432 -x368 -x304 -x240 -x176 -x112 -x48 -x879 -x815 -x751 -x687 -x623 -x559 -x495 -x431
3587.48/3597.01 v -x367 -x303 x239 -x175 -x111 -x47 -x877 x813 -x749 -x685 -x621 -x557 -x493 -x429 -x365 -x301 -x237 -x173 -x109 -x45 -x876
3587.48/3597.01 v -x812 -x748 -x684 -x620 -x556 -x492 -x428 -x364 x300 -x236 -x172 -x108 -x44 -x875 -x811 -x747 -x683 -x619 -x555 x491 -x427 -x363
3587.48/3597.01 v -x299 -x235 -x171 -x107 -x43 -x874 -x810 -x746 -x682 -x618 -x554 -x490 -x426 x362 -x298 -x234 -x170 -x106 -x42 -x873 -x809
3587.48/3597.01 v x745 -x681 -x617 -x553 -x489 -x425 -x361 -x297 -x233 -x169 -x105 -x41 -x872 -x808 -x744 -x680 -x616 -x552 -x488 x424 -x360
3587.48/3597.01 v -x296 -x232 -x168 -x104 -x40 -x871 -x807 -x743 x679 -x615 -x551 -x487 -x423 -x359 -x295 -x231 -x167 -x103 -x39 -x870 -x806 -x742
3587.48/3597.01 v -x678 x614 -x550 -x486 -x422 -x358 -x294 -x230 -x166 -x102 -x38 -x868 -x804 -x740 -x676 -x612 -x548 -x484 -x420 -x356 -x292
3587.48/3597.01 v -x228 -x164 x100 -x36 -x867 -x803 -x739 -x675 -x611 -x547 -x483 -x419 -x355 -x291 -x227 -x163 -x99 x35 -x866 -x802 -x738
3587.48/3597.01 v -x674 -x610 -x546 x482 -x418 -x354 -x290 -x226 -x162 -x98 -x34 -x865 -x801 -x737 -x673 -x609 -x545 -x481 -x417 -x353 -x289 -x225
3587.48/3597.01 v x161 -x97 -x33 -x864 -x800 -x736 -x672 -x608 -x544 -x480 -x416 x352 -x288 -x224 -x160 -x96 -x32 -x863 -x799 -x735 -x671 -x607
3587.48/3597.01 v -x543 x479 -x415 -x351 -x287 -x223 -x159 -x95 -x31 -x862 -x798 -x734 -x670 -x606 -x542 -x478 -x414 -x350 -x286 -x222 -x158
3587.48/3597.01 v -x94 x30 -x861 -x797 x733 -x669 -x605 -x541 -x477 -x413 -x349 -x285 -x221 -x157 -x93 -x29 -x859 -x795 -x731 -x667 -x603 -x539
3587.48/3597.01 v -x475 x411 -x347 -x283 -x219 -x155 -x91 -x27 -x858 -x794 -x730 -x666 -x602 -x538 -x474 -x410 -x346 -x282 -x218 x154 -x90
3587.48/3597.01 v -x26 -x857 -x793 -x729 x665 -x601 -x537 -x473 -x409 -x345 -x281 -x217 -x153 -x89 -x25 -x856 -x792 -x728 -x664 -x600 -x536 -x472
3587.48/3597.01 v -x408 -x344 x280 -x216 -x152 -x88 -x24 -x855 -x791 -x727 -x663 -x599 -x535 -x471 -x407 -x343 -x279 -x215 x151 -x87 -x23 x854
3587.48/3597.01 v -x790 -x726 -x662 -x598 -x534 -x470 -x406 -x342 -x278 -x214 -x150 -x86 -x22 -x853 -x789 -x725 -x661 -x597 -x533 -x469 -x405
3587.48/3597.01 v x341 -x277 -x213 -x149 -x85 -x21 -x852 x788 -x724 -x660 -x596 -x532 -x468 -x404 -x340 -x276 -x212 -x148 -x84 -x20 -x850 -x786
3587.48/3597.01 v -x722 x658 -x594 -x530 -x466 -x402 -x338 -x274 -x210 -x146 -x82 -x18 -x849 -x785 -x721 -x657 x593 -x529 -x465 -x401 -x337
3587.48/3597.01 v -x273 -x209 -x145 -x81 -x17 -x848 x784 -x720 -x656 -x592 -x528 -x464 -x400 -x336 -x272 -x208 -x144 -x80 -x16 -x847 -x783 x719
3587.48/3597.01 v -x655 -x591 -x527 -x463 -x399 -x335 -x271 -x207 -x143 -x79 -x15 -x846 -x782 -x718 -x654 -x590 x526 -x462 -x398 -x334 -x270 -x206
3587.48/3597.01 v -x142 -x78 -x14 -x845 -x781 -x717 -x653 -x589 -x525 -x461 -x397 -x333 -x269 x205 -x141 -x77 -x13 x844 -x780 -x716 -x652
3587.48/3597.01 v -x588 -x524 -x460 -x396 -x332 -x268 -x204 -x140 -x76 -x12 -x843 -x779 -x715 -x651 -x587 -x523 -x459 -x395 -x331 -x267 -x203 -x139
3587.48/3597.01 v x75 -x11 -x841 -x777 -x713 -x649 -x585 -x521 -x457 x393 -x329 -x265 -x201 -x137 -x73 -x9 -x840 -x776 -x712 -x648 -x584 -x520
3587.48/3597.01 v -x456 -x392 -x328 -x264 -x200 -x136 -x72 x8 -x839 x775 -x711 -x647 -x583 -x519 -x455 -x391 -x327 -x263 -x199 -x135 -x71
3587.48/3597.01 v -x7 -x838 -x774 -x710 -x646 -x582 -x518 -x454 -x390 -x326 -x262 -x198 -x134 x70 -x6 x837 -x773 -x709 -x645 -x581 -x517 -x453
3587.48/3597.01 v -x389 -x325 -x261 -x197 -x133 -x69 -x5 -x836 -x772 -x708 -x644 -x580 x516 -x452 -x388 -x324 -x260 -x196 -x132 -x68 -x4 -x835
3587.48/3597.01 v -x771 -x707 -x643 -x579 -x515 -x451 -x387 -x323 -x259 x195 -x131 -x67 -x3 -x834 -x770 -x706 -x642 -x578 -x514 -x450 -x386 -x322
3587.48/3597.01 v x258 -x194 -x130 -x66 -x2 x1344 -x1343 -x1342 -x1341 x1340 -x1339 x1338 -x1337 x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330
3587.48/3597.01 v -x1329 -x1328 x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 x1318 -x1317 x1316 -x1315 -x1314 -x1313 -x1312
3587.48/3597.01 v -x1311 -x1310 x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294
3587.48/3597.01 v -x1293 x1292 -x1291 -x1290 -x1289 x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 x1281 -x1280 x1279 -x1278 x1277 x1276 -x1275
3587.48/3597.01 v -x1274 x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 x1261 -x1260 x1259 -x1258 -x1257
3587.48/3597.01 v -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 x1249 -x1248 -x1247 -x1246 x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239
3587.48/3597.01 v -x1238 x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 x1226 -x1225 -x1224 -x1223 x1222 -x1221 -x1220
3587.48/3597.01 v -x1219 x1218 x1217 -x1216 -x1215 x1214 -x1213 -x1212 -x1211 -x1210 x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202
3587.48/3597.01 v -x1201 -x1200 x1199 -x1198 -x1197 -x1196 x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 x1188 -x1187 -x1186 -x1185 -x1184
3587.48/3597.01 v -x1183 -x1182 -x1181 x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 x1171 -x1170 -x1169 -x1168 x1167 -x1166 -x1165
3587.48/3597.01 v -x1164 -x1163 -x1162 x1161 -x1160 -x1159 -x1158 -x1157 -x1156 x1155 -x1154 x1153 -x1152 x1151 -x1150 -x1149 -x1148 -x1147
3587.48/3597.01 v -x1146 -x1145 -x1144 -x1143 x1142 -x1141 -x1140 -x1139 -x1138 x1137 -x1136 -x1135 -x1134 -x1133 -x1132 x1131 -x1130 -x1129
3587.48/3597.01 v -x1128 -x1127 -x1126 -x1125 x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 x1116 -x1115 -x1114 -x1113 -x1112 -x1111
3587.48/3597.01 v x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 x1096 -x1095 -x1094 -x1093 x1092
3587.48/3597.01 v -x1091 x1090 -x1089 -x1088 x1087 x1086 -x1085 x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 x1074
3587.48/3597.01 v -x1073 -x1072 -x1071 -x1070 -x1069 x1068 -x1067 -x1066 -x1065 -x1064 -x1063 x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055
3587.48/3597.01 v -x1054 x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 x1039 -x1038 -x1037
3587.48/3597.01 v -x1036 -x1035 x1034 -x1033 -x1032 -x1031 -x1030 x1029 x1028 -x1027 -x1026 x1025 -x1024 x1023 -x1022 -x1021 -x1020 -x1019
3587.48/3597.01 v -x1018 x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 x1009 -x1008 -x1007 -x1006 x1005 -x1004 -x1003 -x1002 x1001 -x1000
3587.48/3597.01 v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 x989 -x988 -x987 -x986 -x985 -x984 -x983 x982 -x981 -x980 -x979
3587.48/3597.01 v -x978 -x977 -x976 x975 -x974 -x973 -x972 -x971 -x970 -x969 x968 -x967 -x966 x965 x964 x963 -x962 x961 x960 -x959 -x958 -x957
3587.48/3597.01 v -x956 -x955 -x954 x953 -x952 x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936
3587.48/3597.01 v -x935 -x934 -x933 x932 -x931 -x930 -x929 -x928 -x927 -x926 x925 -x924 -x923 -x922 -x921 -x920 -x919 x918 -x917 -x916 -x915 -x914
3587.48/3597.01 v -x913 x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 x904 x903 x902 -x901 -x900 x899 x898 -x897
3587.48/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.48/3597.01 c Total Time : 3597.00
3587.48/3597.01 c solving : 3597.00
3587.48/3597.01 c presolving : 0.53 (included in solving)
3587.48/3597.01 c reading : 0.04 (included in solving)
3587.48/3597.01 c copying : 0.45 (17 #copies) (minimal 0.02, maximal 0.03, average 0.03)
3587.48/3597.01 c Original Problem :
3587.48/3597.01 c Problem name : HOME/instance-4432619-1721069390.opb
3587.48/3597.01 c Variables : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.48/3597.01 c Constraints : 16096 initial, 16096 maximal
3587.48/3597.01 c Objective : minimize, 448 non-zeros (abs.min = 80, abs.max = 1380)
3587.48/3597.01 c Presolved Problem :
3587.48/3597.01 c Problem name : t_HOME/instance-4432619-1721069390.opb
3587.48/3597.01 c Variables : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.48/3597.01 c Constraints : 16096 initial, 17433 maximal
3587.48/3597.01 c Objective : minimize, 448 non-zeros (abs.min = 80, abs.max = 1380)
3587.48/3597.01 c Nonzeros : 102832 constraint, 6496 clique table
3587.48/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.48/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c domcol : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c dualsparsify : 0.13 0.00 1 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c gateextraction : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c milp : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c sparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c trivial : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c dualfix : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c probing : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c knapsack : 0.14 0.00 8 0 0 0 0 0 0 0 14784 22176
3587.48/3597.01 c setppc : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c linear : 0.06 0.01 2 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c logicor : 0.01 0.00 7 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c root node : - - - 0 - - 0 - - - - -
3587.48/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.48/3597.01 c benderslp : 0 0 0 0 4599 0 0 928 0 0 0 0 0 0 0
3587.48/3597.01 c integral : 0 0 0 0 4599 0 0 928 0 0 55 0 0 33 9176
3587.48/3597.01 c knapsack : 7496+ 7534 11 177361 0 0 0 922 12252 293 7001 0 0 0 0
3587.48/3597.01 c setppc : 2016 2016 11 177069 0 0 0 12 129346 1164 113305 0 0 0 0
3587.48/3597.01 c linear : 0+ 26 0 171108 0 0 0 3 29 61 0 0 0 0 0
3587.48/3597.01 c logicor : 6584+ 7883 11 71148 0 0 0 11 16973 186 2879 4 2 0 0
3587.48/3597.01 c benders : 0 0 0 0 0 0 0 13 0 0 0 0 0 0 0
3587.48/3597.01 c fixedvar : 0 0 0 0 0 0 0 13 0 0 0 0 0 0 0
3587.48/3597.01 c countsols : 0 0 0 0 0 0 0 13 0 0 0 0 0 0 0
3587.48/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.48/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.01 c integral : 592.38 0.00 0.00 0.00 592.38 0.00 0.00 0.00 0.00 0.00
3587.48/3597.01 c knapsack : 5.09 0.00 0.15 4.29 0.00 0.00 0.00 0.01 0.01 0.64
3587.48/3597.01 c setppc : 3.74 0.00 0.00 3.07 0.00 0.00 0.00 0.00 0.04 0.63
3587.48/3597.01 c linear : 0.08 0.01 0.00 0.06 0.00 0.00 0.00 0.00 0.00 0.01
3587.48/3597.01 c logicor : 1.66 0.00 0.01 1.39 0.00 0.00 0.00 0.00 0.01 0.23
3587.48/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.48/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.48/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.48/3597.01 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.48/3597.01 c dualfix : 1 0 0 0
3587.48/3597.01 c genvbounds : 0 0 0 0
3587.48/3597.01 c nlobbt : 0 0 0 0
3587.48/3597.01 c obbt : 0 0 0 0
3587.48/3597.01 c probing : 0 0 0 0
3587.48/3597.01 c pseudoobj : 16519 0 0 0
3587.48/3597.01 c redcost : 13 0 0 0
3587.48/3597.01 c rootredcost : 5 0 0 0
3587.48/3597.01 c symmetry : 0 0 0 0
3587.48/3597.01 c vbounds : 70036 0 0 0
3587.48/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.48/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.01 c genvbounds : 0.02 0.00 0.00 0.01 0.00 0.00
3587.48/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.01 c probing : 0.05 0.00 0.05 0.00 0.00 0.00
3587.48/3597.01 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3587.48/3597.01 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3587.48/3597.01 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.48/3597.01 c symmetry : 0.05 0.00 0.02 0.02 0.00 0.00
3587.48/3597.01 c vbounds : 0.05 0.00 0.00 0.04 0.00 0.01
3587.48/3597.01 c Symmetry :
3587.48/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.48/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.48/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.48/3597.01 c shadow tree time : 0.00 s
3587.48/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.48/3597.01 c propagation : 0.09 1650 1639 - 13479 42.2 588 13.2 - - -
3587.48/3597.01 c infeasible LP : 0.41 637 637 - 9585 92.5 146 10.7 480 91.5 0
3587.48/3597.01 c bound exceed. LP : 0.81 225 10 - 294 222.4 0 0.0 0 0.0 2071
3587.48/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.48/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.48/3597.01 c applied globally : 0.15 - - 0 13965 33.8 - - 480 - -
3587.48/3597.01 c applied locally : - - - 0 2 209.0 - - 0 - -
3587.48/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.48/3597.01 c cut pool : 1.48 - 2078 21 - - 24203 105062 - - - - - (maximal pool size: 3625)
3587.48/3597.01 c aggregation : 1.44 0.00 691 11 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.48/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.48/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.48/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c clique : 0.03 0.00 11 11 0 0 66 1533 0 1245 1245 0 0
3587.48/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c gomory : 243.70 0.00 551 10 0 0 21904 64996 0 3207 3207 0 0
3587.48/3597.01 c > gomorymi : - - - - - - - 17446 0 782 782 0 -
3587.48/3597.01 c > strongcg : - - - - - - - 47550 0 2425 2425 0 -
3587.48/3597.01 c impliedbounds : 0.04 0.00 691 11 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c multilinear : 0.00 0.00 252 11 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c rapidlearning : 0.08 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c rlt : 0.00 0.00 148 10 0 0 0 0 0 0 0 0 0
3587.48/3597.01 c zerohalf : 4.27 0.00 552 11 0 0 2243 38533 10 16572 16566 6 0
3587.48/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.48/3597.01 c hybrid : 0.13 0.00 1522 11 21026 0 84050 111 0 108
3587.48/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.48/3597.01 c problem variables: 0.00 - 0 0
3587.48/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.48/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.01 c relpscost : 592.38 0.00 4599 0 0 0 55 0 42 9176
3587.48/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.48/3597.01 c LP solutions : 0.00 - - 0 0
3587.48/3597.01 c relax solutions : 0.00 - - 0 0
3587.48/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.48/3597.01 c strong branching : 0.01 - - 0 0
3587.48/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.48/3597.01 c adaptivediving : 13.02 0.00 13 0 0
3587.48/3597.01 c alns : 0.49 0.00 5 0 0
3587.48/3597.01 c bound : 0.00 0.00 0 0 0
3587.48/3597.01 c clique : 0.04 0.00 1 0 0
3587.48/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.48/3597.01 c completesol : 0.00 0.00 0 0 0
3587.48/3597.01 c conflictdiving : 196.77 0.00 176 1 1
3587.48/3597.01 c crossover : 0.56 0.00 4 0 0
3587.48/3597.01 c dins : 0.00 0.00 0 0 0
3587.48/3597.01 c distributiondivin: 108.33 0.00 95 1 1
3587.48/3597.01 c dps : 0.00 0.00 0 0 0
3587.48/3597.01 c dualval : 0.00 0.00 0 0 0
3587.48/3597.01 c farkasdiving : 24.45 0.00 1 0 0
3587.48/3597.01 c feasjump : 0.05 0.00 1 0 0
3587.48/3597.01 c feaspump : 40.32 0.00 16 0 0
3587.48/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.48/3597.01 c fracdiving : 82.10 0.00 176 0 0
3587.48/3597.01 c gins : 0.02 0.00 0 0 0
3587.48/3597.01 c guideddiving : 96.63 0.00 129 0 0
3587.48/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.48/3597.01 c indicator : 0.00 0.00 0 0 0
3587.48/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.48/3597.01 c indoneopt : 0.00 0.00 0 0 0
3587.48/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.48/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.48/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.48/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.48/3597.01 c linesearchdiving : 93.29 0.00 123 0 0
3587.48/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.48/3597.01 c locks : 0.01 0.00 1 0 0
3587.48/3597.01 c lpface : 0.18 0.00 1 0 0
3587.48/3597.01 c mpec : 0.00 0.00 0 0 0
3587.48/3597.01 c multistart : 0.00 0.00 0 0 0
3587.48/3597.01 c mutation : 0.00 0.00 0 0 0
3587.48/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.48/3597.01 c objpscostdiving : 30.30 0.00 13 0 0
3587.48/3597.01 c octane : 0.00 0.00 0 0 0
3587.48/3597.01 c ofins : 0.00 0.00 0 0 0
3587.48/3597.01 c oneopt : 0.01 0.00 4 0 0
3587.48/3597.01 c padm : 0.00 0.00 0 0 0
3587.48/3597.01 c proximity : 0.00 0.00 0 0 0
3587.48/3597.01 c pscostdiving : 96.40 0.00 67 0 0
3587.48/3597.01 c randrounding : 0.21 0.00 920 0 0
3587.48/3597.01 c rens : 0.10 0.00 1 0 0
3587.48/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.48/3597.01 c repair : 0.00 0.00 0 0 0
3587.48/3597.01 c rins : 0.84 0.00 7 0 0
3587.48/3597.01 c rootsoldiving : 29.79 0.00 10 0 0
3587.48/3597.01 c rounding : 0.41 0.00 1043 0 0
3587.48/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.48/3597.01 c shiftandpropagate: 0.02 0.00 1 0 0
3587.48/3597.01 c shifting : 0.72 0.00 599 0 0
3587.48/3597.01 c simplerounding : 0.00 0.00 0 0 0
3587.48/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.48/3597.01 c subnlp : 0.00 0.00 0 0 0
3587.48/3597.01 c trivial : 0.00 0.00 2 0 0
3587.48/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.48/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.48/3597.01 c trysol : 0.00 0.00 0 0 0
3587.48/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.48/3597.01 c undercover : 0.00 0.00 0 0 0
3587.48/3597.01 c vbounds : 0.03 0.00 1 0 0
3587.48/3597.01 c veclendiving : 105.24 0.00 91 2 2
3587.48/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.48/3597.01 c zirounding : 0.31 0.00 1000 0 0
3587.48/3597.01 c other solutions : - - - 0 -
3587.48/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.48/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.48/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.48/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.48/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.48/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.48/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.48/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.48/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.48/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.48/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.48/3597.01 c primal LP : 2.73 1293 0 0.00 0.00 2.73 1293
3587.48/3597.01 c dual LP : 1814.49 6123 6322272 1032.88 3484.33 0.01 2
3587.48/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.48/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.48/3597.01 c resolve instable : 0.00 0 0 0.00 -
3587.48/3597.01 c diving/probing LP: 939.04 4942 3443619 696.81 3667.17
3587.48/3597.01 c strong branching : 541.67 2656 1880377 707.97 3471.43 - - 2975
3587.48/3597.01 c (at root node) : - 20 14521 726.05 -
3587.48/3597.01 c conflict analysis: 0.68 210 2071 9.86 3048.70
3587.48/3597.01 c B&B Tree :
3587.48/3597.01 c number of runs : 1
3587.48/3597.01 c nodes : 4595 (4588 internal, 7 leaves)
3587.48/3597.01 c feasible leaves : 0
3587.48/3597.01 c infeas. leaves : 7
3587.48/3597.01 c objective leaves : 0
3587.48/3597.01 c nodes (total) : 4595 (4588 internal, 7 leaves)
3587.48/3597.01 c nodes left : 4582
3587.48/3597.01 c max depth : 42
3587.48/3597.01 c max depth (total): 42
3587.48/3597.01 c backtracks : 1189 (25.9%)
3587.48/3597.01 c early backtracks : 0 (0.0%)
3587.48/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.48/3597.01 c delayed cutoffs : 0
3587.48/3597.01 c repropagations : 40 (58 domain reductions, 0 cutoffs)
3587.48/3597.01 c avg switch length: 7.27
3587.48/3597.01 c switching time : 5.36
3587.48/3597.01 c Root Node :
3587.48/3597.01 c First LP value : +3.19160000000000e+04
3587.48/3597.01 c First LP Iters : 3214 (3645.59 Iter/sec)
3587.48/3597.01 c First LP Time : 0.88
3587.48/3597.01 c Final Dual Bound : +3.19160000000000e+04
3587.48/3597.01 c Final Root Iters : 38287
3587.48/3597.01 c Root LP Estimate : +4.43086761452150e+04
3587.48/3597.01 c Solution :
3587.48/3597.01 c Solutions found : 4 (4 improvements)
3587.48/3597.01 c First Solution : +5.43090000000000e+04 (in run 1, after 153 nodes, 229.94 seconds, depth 44, found by <veclendiving>)
3587.48/3597.01 c Gap First Sol. : 70.16 %
3587.48/3597.01 c Gap Last Sol. : 58.09 %
3587.48/3597.01 c Primal Bound : +5.04570000000000e+04 (in run 1, after 1322 nodes, 1284.80 seconds, depth 54, found by <conflictdiving>)
3587.48/3597.01 c Dual Bound : +3.19160000000000e+04
3587.48/3597.01 c Gap : 58.09 %
3587.48/3597.01 c Integrals : Total Avg%
3587.48/3597.01 c primal-dual : 149001.59 41.42
3587.48/3597.01 c primal-ref : - - (not evaluated)
3587.48/3597.01 c dual-ref : - - (not evaluated)
3587.48/3597.09 c Time complete: 3587.58.
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 (62609 MiB free)
memory of node 1: 64473 MiB (62338 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432619-1721069390/watcher-4432619-1721069390 -o /tmp/evaluation-result-4432619-1721069390/solver-4432619-1721069390 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721061647-814088 --watchdog 3760 pbscip -f HOME/instance-4432619-1721069390.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=818916, runsolver pid=818913
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 5.09 5.13 4.99 6/259 818917
/proc/meminfo: memFree=127904708/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=97584 memory=56684 CPUtime=0.09 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 10979 0 0 0 8 1 0 0 20 0 1 0 159105180 99926016 14171 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 24396 14171 3606 3540 0 12653 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 97584 KiB
Current children cumulated memory: 56684 KiB
[startup+0.205582 s]*
/proc/loadavg: 5.09 5.13 4.99 6/259 818917
/proc/meminfo: memFree=127892000/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=107540 memory=68388 CPUtime=0.2 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 19400 0 0 0 17 3 0 0 20 0 1 0 159105180 110120960 17097 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 26885 17097 3717 3540 0 15142 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 107540 KiB
Current children cumulated memory: 68388 KiB
[startup+0.305465 s]*
/proc/loadavg: 5.09 5.13 4.99 6/259 818917
/proc/meminfo: memFree=127889512/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=110320 memory=71204 CPUtime=0.3 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 20092 0 0 0 27 3 0 0 20 0 1 0 159105180 112967680 17801 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 27580 17801 3765 3540 0 15837 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 110320 KiB
Current children cumulated memory: 71204 KiB
[startup+0.700198 s]
/proc/loadavg: 5.09 5.13 4.99 6/259 818917
/proc/meminfo: memFree=127844940/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=204172 memory=153484 CPUtime=0.69 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 33856 0 0 0 64 5 0 0 20 0 1 0 159105180 209072128 38371 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 51043 38371 3829 3540 0 39300 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 204172 KiB
Current children cumulated memory: 153484 KiB
[startup+1.50016 s]
/proc/loadavg: 5.09 5.13 4.99 6/259 818917
/proc/meminfo: memFree=127803616/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=206976 memory=156840 CPUtime=1.48 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 34710 0 0 0 143 5 0 0 20 0 1 0 159105180 211943424 39210 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 51744 39210 3845 3540 0 40001 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 206976 KiB
Current children cumulated memory: 156840 KiB
[startup+3.10544 s]
/proc/loadavg: 5.08 5.13 4.99 6/259 818917
/proc/meminfo: memFree=127803604/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=206976 memory=156840 CPUtime=3.09 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 34710 0 0 0 304 5 0 0 20 0 1 0 159105180 211943424 39210 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 51744 39210 3845 3540 0 40001 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 206976 KiB
Current children cumulated memory: 156840 KiB
[startup+6.3002 s]
/proc/loadavg: 5.08 5.13 4.99 6/259 818921
/proc/meminfo: memFree=127803244/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=206976 memory=156840 CPUtime=6.27 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 34711 0 0 0 622 5 0 0 20 0 1 0 159105180 211943424 39210 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 51744 39210 3845 3540 0 40001 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 206976 KiB
Current children cumulated memory: 156840 KiB
[startup+12.7002 s]
/proc/loadavg: 5.15 5.14 5.00 6/259 818921
/proc/meminfo: memFree=127795536/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=218228 memory=165180 CPUtime=12.65 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 36660 0 0 0 1260 5 0 0 20 0 1 0 159105180 223465472 41295 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 54557 41295 3957 3540 0 42814 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 218228 KiB
Current children cumulated memory: 165180 KiB
[startup+25.5002 s]
/proc/loadavg: 5.13 5.14 5.00 6/259 818924
/proc/meminfo: memFree=127793020/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=231908 memory=166764 CPUtime=25.42 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 37066 0 0 0 2537 5 0 0 20 0 1 0 159105180 237473792 41691 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 57977 41691 3957 3540 0 46234 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 231908 KiB
Current children cumulated memory: 166764 KiB
[startup+51.1056 s]
/proc/loadavg: 5.16 5.14 5.01 6/259 818929
/proc/meminfo: memFree=127784752/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=231908 memory=166764 CPUtime=50.96 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 37074 0 0 0 5091 5 0 0 20 0 1 0 159105180 237473792 41691 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 57977 41691 3957 3540 0 46234 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 231908 KiB
Current children cumulated memory: 166764 KiB
[startup+102.3 s]
/proc/loadavg: 5.13 5.13 5.01 6/259 818937
/proc/meminfo: memFree=127750012/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=265536 memory=198444 CPUtime=102.02 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 45027 0 0 0 10195 7 0 0 20 0 1 0 159105180 271908864 49611 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 66384 49611 3957 3540 0 54641 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 265536 KiB
Current children cumulated memory: 198444 KiB
[startup+162.3 s]
/proc/loadavg: 5.23 5.15 5.02 6/259 818947
/proc/meminfo: memFree=127617452/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=294852 memory=227388 CPUtime=161.85 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 54824 0 0 0 16175 10 0 0 20 0 1 0 159105180 301928448 56847 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 73713 56847 3973 3540 0 61970 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 294852 KiB
Current children cumulated memory: 227388 KiB
[startup+222.3 s]
/proc/loadavg: 5.12 5.14 5.02 6/256 818958
/proc/meminfo: memFree=127602820/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=307196 memory=239528 CPUtime=221.68 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 57879 0 0 0 22157 11 0 0 20 0 1 0 159105180 314568704 59882 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 76799 59882 3973 3540 0 65056 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 307196 KiB
Current children cumulated memory: 239528 KiB
[startup+282.3 s]
/proc/loadavg: 5.20 5.16 5.03 6/256 818969
/proc/meminfo: memFree=127552160/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=340880 memory=273056 CPUtime=281.53 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 66248 0 0 0 28136 17 0 0 20 0 1 0 159105180 349061120 68264 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 85220 68264 3973 3540 0 73477 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 340880 KiB
Current children cumulated memory: 273056 KiB
[startup+342.3 s]
/proc/loadavg: 5.21 5.17 5.04 6/257 819363
/proc/meminfo: memFree=127539128/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=340880 memory=273148 CPUtime=341.37 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 66393 0 0 0 34118 19 0 0 20 0 1 0 159105180 349061120 68287 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 85220 68287 3973 3540 0 73477 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 340880 KiB
Current children cumulated memory: 273148 KiB
[startup+402.3 s]
/proc/loadavg: 4.62 5.01 4.99 5/255 819418
/proc/meminfo: memFree=127125040/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=366236 memory=300240 CPUtime=401.19 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 72493 0 0 0 40099 20 0 0 20 0 1 0 159105180 375025664 75060 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 91559 75060 3973 3540 0 79816 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 366236 KiB
Current children cumulated memory: 300240 KiB
[startup+462.3 s]
/proc/loadavg: 4.28 4.84 4.93 5/255 819429
/proc/meminfo: memFree=127084704/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=366236 memory=316808 CPUtime=461.04 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 72629 0 0 0 46084 20 0 0 20 0 1 0 159105180 375025664 79202 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 91559 79202 3973 3540 0 79816 0
################
# More data... #
################
/proc/loadavg: 3.42 3.92 4.09 4/251 820801
/proc/meminfo: memFree=127362068/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=529692 memory=484220 CPUtime=3154.05 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 105302 0 0 0 315381 24 0 0 20 0 1 0 159105180 542404608 121055 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 132423 121055 4137 3540 0 120680 0
Current children cumulated CPU time: 3154.05 s
Current children cumulated vsize: 529692 KiB
Current children cumulated memory: 484220 KiB
[startup+3222.3 s]
/proc/loadavg: 3.24 3.78 4.03 4/251 820812
/proc/meminfo: memFree=127352624/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=529692 memory=484232 CPUtime=3213.88 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 105453 0 0 0 321363 25 0 0 20 0 1 0 159105180 542404608 121058 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 132423 121058 4137 3540 0 120680 0
Current children cumulated CPU time: 3213.88 s
Current children cumulated vsize: 529692 KiB
Current children cumulated memory: 484232 KiB
[startup+3282.3 s]
/proc/loadavg: 3.14 3.66 3.97 4/251 820823
/proc/meminfo: memFree=127345716/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=529692 memory=484232 CPUtime=3273.7 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 105604 0 0 0 327345 25 0 0 20 0 1 0 159105180 542404608 121058 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 132423 121058 4137 3540 0 120680 0
Current children cumulated CPU time: 3273.7 s
Current children cumulated vsize: 529692 KiB
Current children cumulated memory: 484232 KiB
[startup+3342.3 s]
/proc/loadavg: 3.45 3.66 3.95 4/248 820833
/proc/meminfo: memFree=127336872/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=529692 memory=484232 CPUtime=3333.53 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 105752 0 0 0 333328 25 0 0 20 0 1 0 159105180 542404608 121058 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 132423 121058 4137 3540 0 120680 0
Current children cumulated CPU time: 3333.53 s
Current children cumulated vsize: 529692 KiB
Current children cumulated memory: 484232 KiB
[startup+3402.3 s]
/proc/loadavg: 3.24 3.57 3.90 4/247 820843
/proc/meminfo: memFree=127279492/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=532940 memory=484240 CPUtime=3393.35 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 105903 0 0 0 339310 25 0 0 20 0 1 0 159105180 545730560 121060 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 133235 121060 4137 3540 0 121492 0
Current children cumulated CPU time: 3393.35 s
Current children cumulated vsize: 532940 KiB
Current children cumulated memory: 484240 KiB
[startup+3462.3 s]
/proc/loadavg: 3.20 3.49 3.85 4/248 820855
/proc/meminfo: memFree=127230404/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=532940 memory=484284 CPUtime=3453.17 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 106064 0 0 0 345292 25 0 0 20 0 1 0 159105180 545730560 121071 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 133235 121071 4137 3540 0 121492 0
Current children cumulated CPU time: 3453.17 s
Current children cumulated vsize: 532940 KiB
Current children cumulated memory: 484284 KiB
[startup+3522.3 s]
/proc/loadavg: 3.20 3.43 3.81 4/248 820865
/proc/meminfo: memFree=127225552/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=548020 memory=485996 CPUtime=3512.99 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 106668 0 0 0 351274 25 0 0 20 0 1 0 159105180 561172480 121499 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 137005 121499 4137 3540 0 125262 0
Current children cumulated CPU time: 3512.99 s
Current children cumulated vsize: 548020 KiB
Current children cumulated memory: 485996 KiB
[startup+3582.3 s]
/proc/loadavg: 3.19 3.38 3.77 4/248 820875
/proc/meminfo: memFree=127211588/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=586252 memory=493456 CPUtime=3572.82 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 108705 0 0 0 357257 25 0 0 20 0 1 0 159105180 600322048 123364 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 146563 123364 4137 3540 0 134820 0
Current children cumulated CPU time: 3572.82 s
Current children cumulated vsize: 586252 KiB
Current children cumulated memory: 493456 KiB
[startup+3597.1 s]
# the end of solver process 818916 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.32 s, system=0.258238 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.18 3.38 3.76 4/248 820875
/proc/meminfo: memFree=127211216/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=586252 memory=493456 CPUtime=3574.52 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 108705 0 0 0 357427 25 0 0 20 0 1 0 159105180 600322048 123364 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 146563 123364 4137 3540 0 134820 0
Current children cumulated CPU time: 3574.52 s
Current children cumulated vsize: 586252 KiB
Current children cumulated memory: 493456 KiB
[startup+3590.4 s]
/proc/loadavg: 3.16 3.37 3.76 4/248 820877
/proc/meminfo: memFree=127210496/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=586888 memory=494248 CPUtime=3580.89 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 108873 0 0 0 358064 25 0 0 20 0 1 0 159105180 600973312 123562 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 146722 123562 4137 3540 0 134979 0
Current children cumulated CPU time: 3580.89 s
Current children cumulated vsize: 586888 KiB
Current children cumulated memory: 494248 KiB
[startup+3593.6 s]
/proc/loadavg: 3.15 3.36 3.75 4/248 820877
/proc/meminfo: memFree=127210468/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=589740 memory=494248 CPUtime=3584.08 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 108875 0 0 0 358383 25 0 0 20 0 1 0 159105180 603893760 123562 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 147435 123562 4137 3540 0 135692 0
Current children cumulated CPU time: 3584.08 s
Current children cumulated vsize: 589740 KiB
Current children cumulated memory: 494248 KiB
[startup+3595.2 s]
/proc/loadavg: 3.15 3.36 3.75 4/248 820878
/proc/meminfo: memFree=127210132/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=591276 memory=494248 CPUtime=3585.68 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 108876 0 0 0 358543 25 0 0 20 0 1 0 159105180 605466624 123562 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 147819 123562 4137 3540 0 136076 0
Current children cumulated CPU time: 3585.68 s
Current children cumulated vsize: 591276 KiB
Current children cumulated memory: 494248 KiB
[startup+3596 s]*
/proc/loadavg: 3.15 3.36 3.75 4/248 820878
/proc/meminfo: memFree=127210132/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=591276 memory=494248 CPUtime=3586.48 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 108876 0 0 0 358623 25 0 0 20 0 1 0 159105180 605466624 123562 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 147819 123562 4137 3540 0 136076 0
Current children cumulated CPU time: 3586.48 s
Current children cumulated vsize: 591276 KiB
Current children cumulated memory: 494248 KiB
[startup+3596.8 s]
/proc/loadavg: 3.15 3.36 3.75 4/248 820878
/proc/meminfo: memFree=127210132/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=591276 memory=494248 CPUtime=3587.27 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 108876 0 0 0 358702 25 0 0 20 0 1 0 159105180 605466624 123562 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 147819 123562 4137 3540 0 136076 0
Current children cumulated CPU time: 3587.27 s
Current children cumulated vsize: 591276 KiB
Current children cumulated memory: 494248 KiB
[startup+3597 s]*
/proc/loadavg: 3.15 3.36 3.75 4/248 820878
/proc/meminfo: memFree=127210132/131524600 swapFree=131071996/131071996
[pid=818916] ppid=818913 vsize=591276 memory=494248 CPUtime=3587.48 cores=5,7
/proc/818916/stat : 818916 (pbscip) R 818913 818916 814075 0 -1 4194304 108876 0 0 0 358723 25 0 0 20 0 1 0 159105180 605466624 123562 134679101440 4194304 18693293 140721371579440 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 51896320 140721371587588 140721371587687 140721371587687 140721371594702 0
/proc/818916/statm: 147819 123562 4137 3540 0 136076 0
Current children cumulated CPU time: 3587.48 s
Current children cumulated vsize: 591276 KiB
Current children cumulated memory: 494248 KiB
Child status: 0
Real time (s): 3597.1
CPU time (s): 3587.58
CPU user time (s): 3587.32
CPU system time (s): 0.258238
CPU usage (%): 99.7354
Max. virtual memory (cumulated for all children) (KiB): 591276
Max. memory (cumulated for all children) (KiB): 494248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.32
system time used= 0.258238
maximum resident set size= 494248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108937
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= 51
involuntary context switches= 1452
# summary of solver processes directly reported to runsolver:
# pid: 818916
# total CPU time (s): 3587.58
# total CPU user time (s): 3587.32
# total CPU system time (s): 0.258238
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.60964 second user time and 16.2536 second system time
The end