0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4524216-1751608264.opb>
0.00/0.05 c original problem has 25846 variables (25846 bin, 0 int, 0 impl, 0 cont) and 1501 constraints
0.00/0.05 c problem read in 0.04
0.08/0.10 c presolving:
0.08/0.13 c (round 1, fast) 106 del vars, 106 del conss, 210 add conss, 105 chg bounds, 795 chg sides, 1005 chg coeffs, 0 upgd conss, 0 impls, 3249 clqs
0.08/0.14 c (round 2, fast) 316 del vars, 316 del conss, 210 add conss, 315 chg bounds, 795 chg sides, 12660 chg coeffs, 0 upgd conss, 0 impls, 3249 clqs
0.08/0.14 c (round 3, fast) 421 del vars, 527 del conss, 211 add conss, 420 chg bounds, 795 chg sides, 12660 chg coeffs, 0 upgd conss, 0 impls, 3249 clqs
0.08/0.15 c (round 4, fast) 421 del vars, 631 del conss, 315 add conss, 420 chg bounds, 795 chg sides, 12660 chg coeffs, 0 upgd conss, 0 impls, 3249 clqs
0.08/0.18 c (0.2s) running MILP presolver
0.19/0.26 c (0.2s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.19/0.29 c (round 5, exhaustive) 421 del vars, 841 del conss, 315 add conss, 420 chg bounds, 795 chg sides, 12660 chg coeffs, 0 upgd conss, 0 impls, 3249 clqs
0.19/0.29 c (round 6, fast) 526 del vars, 841 del conss, 508 add conss, 420 chg bounds, 795 chg sides, 12660 chg coeffs, 0 upgd conss, 0 impls, 3249 clqs
0.19/0.29 c (round 7, fast) 526 del vars, 841 del conss, 657 add conss, 420 chg bounds, 795 chg sides, 12660 chg coeffs, 0 upgd conss, 0 impls, 3249 clqs
0.29/0.38 c (round 8, exhaustive) 526 del vars, 1078 del conss, 657 add conss, 420 chg bounds, 795 chg sides, 12660 chg coeffs, 0 upgd conss, 0 impls, 3249 clqs
0.39/0.44 c (round 9, exhaustive) 526 del vars, 1078 del conss, 657 add conss, 420 chg bounds, 795 chg sides, 12660 chg coeffs, 765 upgd conss, 0 impls, 3249 clqs
2.47/2.54 c (2.5s) probing: 1000/25320 (3.9%) - 0 fixings, 0 aggregations, 657358 implications, 0 bound changes
2.47/2.54 c (2.5s) probing: 1001/25320 (4.0%) - 0 fixings, 0 aggregations, 657694 implications, 0 bound changes
2.47/2.54 c (2.5s) probing aborted: 1000/1000 successive useless probings
2.47/2.55 c (2.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.47/2.58 c (2.6s) no symmetry present (symcode time: 0.01)
2.57/2.60 c presolving (10 rounds: 10 fast, 4 medium, 4 exhaustive):
2.57/2.60 c 526 deleted vars, 1078 deleted constraints, 657 added constraints, 420 tightened bounds, 0 added holes, 795 changed sides, 12660 changed coefficients
2.57/2.60 c 0 implications, 3249 cliques
2.57/2.60 c presolved problem has 25320 variables (25320 bin, 0 int, 0 impl, 0 cont) and 1080 constraints
2.57/2.60 c 120 constraints of type <knapsack>
2.57/2.60 c 330 constraints of type <setppc>
2.57/2.60 c 315 constraints of type <linear>
2.57/2.60 c 315 constraints of type <logicor>
2.57/2.60 c transformed objective value is always integral (scale: 1)
2.57/2.60 c Presolving Time: 2.50
2.57/2.60 c - non default parameters ----------------------------------------------------------------------
2.57/2.60 c # SCIP version 10.0.0
2.57/2.60 c
2.57/2.60 c # maximal time in seconds to run
2.57/2.60 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.57/2.60 c limits/time = 3596.99801
2.57/2.60 c
2.57/2.60 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.57/2.60 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.57/2.60 c limits/memory = 27900
2.57/2.60 c
2.57/2.60 c # belongs reading time to solving time?
2.57/2.60 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.57/2.60 c timing/reading = TRUE
2.57/2.60 c
2.57/2.60 c -----------------------------------------------------------------------------------------------
2.57/2.60 c start solving
2.57/2.60 c
10.95/11.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.95/11.07 c 11.1s| 1 | 0 | 20096 | - | 219M | 0 | 25k|1082 |1080 | 0 | 0 | 2 | 0 | 1.351552e+02 | -- | Inf | unknown
12.06/12.18 c 12.2s| 1 | 0 | 24318 | - | 221M | 0 | 25k|1082 |1080 | 0 | 0 | 2 | 0 | 1.351552e+02 | -- | Inf | unknown
12.15/12.21 c 12.2s| 1 | 0 | 24318 | - | 221M | 0 | 25k|1082 |1079 | 0 | 0 | 2 | 0 | 1.351552e+02 | -- | Inf | unknown
13.05/13.16 c 13.1s| 1 | 0 | 25469 | - | 239M | 0 | 25k|1082 |1216 | 137 | 1 | 2 | 0 | 1.351552e+02 | -- | Inf | unknown
13.94/14.03 c 14.0s| 1 | 0 | 26956 | - | 249M | 0 | 25k|1082 |1363 | 284 | 2 | 2 | 0 | 1.351552e+02 | -- | Inf | unknown
14.74/14.80 c 14.8s| 1 | 0 | 28118 | - | 255M | 0 | 25k|1082 |1498 | 419 | 3 | 2 | 0 | 1.351552e+02 | -- | Inf | unknown
15.54/15.61 c 15.6s| 1 | 0 | 29059 | - | 261M | 0 | 25k|1082 |1626 | 547 | 4 | 2 | 0 | 1.351552e+02 | -- | Inf | unknown
16.63/16.73 c 16.7s| 1 | 0 | 30448 | - | 268M | 0 | 25k|1082 |1756 | 677 | 5 | 2 | 0 | 1.351552e+02 | -- | Inf | unknown
18.04/18.13 c 18.1s| 1 | 0 | 32202 | - | 272M | 0 | 25k|1082 |1888 | 809 | 6 | 2 | 0 | 1.351552e+02 | -- | Inf | unknown
19.23/19.39 c 19.4s| 1 | 0 | 33523 | - | 278M | 0 | 25k|1082 |2017 | 938 | 7 | 2 | 0 | 1.351552e+02 | -- | Inf | unknown
20.83/20.90 c 20.9s| 1 | 0 | 35435 | - | 282M | 0 | 25k|1082 |2148 |1069 | 8 | 2 | 0 | 1.351773e+02 | -- | Inf | unknown
21.82/21.93 c 21.9s| 1 | 0 | 36679 | - | 290M | 0 | 25k|1082 |2278 |1199 | 9 | 2 | 0 | 1.351901e+02 | -- | Inf | unknown
22.82/22.92 c 22.9s| 1 | 0 | 37638 | - | 315M | 0 | 25k|1082 |2415 |1336 | 10 | 2 | 0 | 1.351930e+02 | -- | Inf | unknown
23.52/23.62 c 23.6s| 1 | 0 | 38483 | - | 317M | 0 | 25k|1082 |2537 |1458 | 11 | 2 | 0 | 1.351930e+02 | -- | Inf | unknown
24.22/24.32 c 24.3s| 1 | 0 | 39350 | - | 317M | 0 | 25k|1082 |2649 |1570 | 12 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
25.11/25.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
25.11/25.23 c 25.2s| 1 | 0 | 40531 | - | 318M | 0 | 25k|1082 |2358 |1682 | 13 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
25.71/25.82 c 25.8s| 1 | 0 | 41226 | - | 320M | 0 | 25k|1082 |2468 |1792 | 14 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
26.31/26.49 c 26.5s| 1 | 0 | 41953 | - | 323M | 0 | 25k|1082 |2592 |1916 | 15 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
27.21/27.33 c 27.3s| 1 | 0 | 42886 | - | 325M | 0 | 25k|1082 |2709 |2033 | 16 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
28.10/28.20 c 28.2s| 1 | 0 | 44039 | - | 325M | 0 | 25k|1082 |2818 |2142 | 17 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
28.81/28.96 c 28.9s| 1 | 0 | 44736 | - | 331M | 0 | 25k|1082 |2929 |2253 | 18 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
30.01/30.15 c 30.1s| 1 | 0 | 45733 | - | 334M | 0 | 25k|1082 |2503 |2386 | 19 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
31.30/31.44 c 31.4s| 1 | 0 | 46945 | - | 335M | 0 | 25k|1082 |2621 |2504 | 20 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
32.50/32.66 c 32.6s| 1 | 0 | 48282 | - | 337M | 0 | 25k|1082 |2745 |2628 | 21 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
33.79/33.94 c 33.9s| 1 | 0 | 49773 | - | 337M | 0 | 25k|1082 |2864 |2747 | 22 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
33.90/34.01 c 34.0s| 1 | 0 | 49779 | - | 337M | 0 | 25k|1248 |3031 |2747 | 22 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
34.89/35.06 c 35.1s| 1 | 0 | 51328 | - | 338M | 0 | 25k|1248 |3147 |2863 | 23 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
36.89/37.08 c 37.1s| 1 | 0 | 54404 | - | 338M | 0 | 25k|1248 |2762 |2975 | 24 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
37.89/38.07 c 38.1s| 1 | 0 | 55592 | - | 339M | 0 | 25k|1248 |2874 |3087 | 25 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
38.98/39.18 c 39.2s| 1 | 0 | 56851 | - | 341M | 0 | 25k|1248 |2986 |3199 | 26 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
40.17/40.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
40.17/40.30 c 40.3s| 1 | 0 | 58076 | - | 343M | 0 | 25k|1248 |3106 |3319 | 27 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
40.88/41.00 c 41.0s| 1 | 0 | 58846 | - | 344M | 0 | 25k|1248 |3216 |3429 | 28 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
41.87/42.09 c 42.1s| 1 | 0 | 60247 | - | 344M | 0 | 25k|1248 |3330 |3543 | 29 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
42.87/43.06 c 43.1s| 1 | 0 | 61377 | - | 345M | 0 | 25k|1248 |2915 |3663 | 30 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
44.16/44.30 c 44.3s| 1 | 0 | 62997 | - | 346M | 0 | 25k|1248 |3029 |3777 | 31 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
45.16/45.36 c 45.3s| 1 | 0 | 64130 | - | 349M | 0 | 25k|1248 |3147 |3895 | 32 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
46.15/46.32 c 46.3s| 1 | 0 | 65220 | - | 351M | 0 | 25k|1248 |3273 |4021 | 33 | 2 | 0 | 1.352105e+02 | -- | Inf | unknown
93.62/93.94 c 93.9s| 1 | 2 |123274 | - | 354M | 0 | 25k|1323 |3273 |4021 | 33 | 77 | 31 | 1.352105e+02 | -- | Inf | unknown
250.90/251.60 c 252s| 100 | 79 |547758 |4874.1 | 366M | 22 | 25k|1528 |1861 |6320 | 1 | 292 | 31 | 1.352105e+02 | -- | Inf | 2.79%
346.36/347.38 c 347s| 200 | 165 |809657 |3740.9 | 377M | 41 | 25k|1674 |1829 |8098 | 2 | 491 | 31 | 1.352105e+02 | -- | Inf | 2.79%
464.54/465.86 c 466s| 300 | 249 | 1151k|3634.5 | 381M | 41 | 25k|1739 |1839 |9140 | 1 | 675 | 31 | 1.352105e+02 | -- | Inf | 4.43%
512.71/514.12 c 514s| 400 | 301 | 1283k|3054.2 | 386M | 43 | 25k|1853 | 0 | 10k| 0 | 844 | 31 | 1.352105e+02 | -- | Inf | 4.43%
573.25/574.82 c 575s| 500 | 375 | 1452k|2780.3 | 391M | 44 | 25k|1964 |1934 | 11k| 1 |1045 | 31 | 1.352105e+02 | -- | Inf | 4.43%
608.05/609.79 c 610s| 600 | 439 | 1548k|2476.9 | 395M | 49 | 25k|1996 |1710 | 12k| 1 |1206 | 31 | 1.352105e+02 | -- | Inf | 4.43%
640.27/642.02 c 642s| 700 | 477 | 1635k|2246.4 | 398M | 55 | 25k|1974 | 0 | 13k| 0 |1315 | 31 | 1.352105e+02 | -- | Inf | 6.18%
687.54/689.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
687.54/689.47 c 689s| 800 | 523 | 1762k|2124.2 | 403M | 57 | 25k|2049 | 0 | 14k| 0 |1540 | 31 | 1.352105e+02 | -- | Inf | 6.21%
729.93/731.90 c 732s| 900 | 566 | 1881k|2019.9 | 405M | 57 | 25k|2016 | 0 | 15k| 0 |1648 | 31 | 1.352105e+02 | -- | Inf | 6.21%
815.50/817.70 c 818s| 1000 | 638 | 2132k|2069.6 | 409M | 57 | 25k|2046 |2080 | 16k| 1 |1811 | 31 | 1.352105e+02 | -- | Inf | 6.21%
870.26/872.65 c 873s| 1100 | 689 | 2270k|2007.0 | 416M | 59 | 25k|2082 |1936 | 17k| 1 |2037 | 31 | 1.352105e+02 | -- | Inf | 6.41%
880.33/882.75 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
880.33/882.75 c (run 1, node 1115) performing user restart
880.33/882.75 c
880.33/882.76 c (restart) converted 513 cuts from the global cut pool into linear constraints
880.33/882.76 c
880.43/882.83 c presolving:
880.43/882.87 c (round 1, fast) 2 del vars, 30 del conss, 315 add conss, 0 chg bounds, 43 chg sides, 1395 chg coeffs, 0 upgd conss, 0 impls, 3595 clqs
880.43/882.88 c (round 2, fast) 2 del vars, 30 del conss, 315 add conss, 0 chg bounds, 43 chg sides, 13050 chg coeffs, 0 upgd conss, 0 impls, 3595 clqs
880.53/882.92 c (round 3, exhaustive) 3 del vars, 204 del conss, 315 add conss, 0 chg bounds, 47 chg sides, 13051 chg coeffs, 0 upgd conss, 0 impls, 3594 clqs
880.53/882.96 c (round 4, exhaustive) 3 del vars, 204 del conss, 315 add conss, 0 chg bounds, 47 chg sides, 13052 chg coeffs, 821 upgd conss, 0 impls, 3594 clqs
880.53/882.98 c (round 5, fast) 3 del vars, 519 del conss, 315 add conss, 0 chg bounds, 54 chg sides, 14659 chg coeffs, 821 upgd conss, 0 impls, 3622 clqs
880.63/883.01 c (round 6, medium) 3 del vars, 519 del conss, 318 add conss, 0 chg bounds, 57 chg sides, 14889 chg coeffs, 821 upgd conss, 0 impls, 3629 clqs
880.63/883.10 c (round 7, exhaustive) 3 del vars, 553 del conss, 318 add conss, 0 chg bounds, 57 chg sides, 15014 chg coeffs, 821 upgd conss, 0 impls, 3629 clqs
880.83/883.22 c presolving (8 rounds: 8 fast, 5 medium, 4 exhaustive):
880.83/883.22 c 3 deleted vars, 554 deleted constraints, 318 added constraints, 0 tightened bounds, 0 added holes, 57 changed sides, 15153 changed coefficients
880.83/883.22 c 0 implications, 3629 cliques
880.83/883.22 c presolved problem has 25317 variables (25317 bin, 0 int, 0 impl, 0 cont) and 2371 constraints
880.83/883.22 c 535 constraints of type <knapsack>
880.83/883.22 c 389 constraints of type <setppc>
880.83/883.22 c 337 constraints of type <linear>
880.83/883.22 c 1110 constraints of type <logicor>
880.83/883.22 c transformed objective value is always integral (scale: 1)
880.83/883.22 c Presolving Time: 2.91
880.83/883.23 c
886.22/888.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
886.22/888.64 c 889s| 1 | 0 | 2311k| - | 433M | 0 | 25k|2384 |1586 | 0 | 0 |2087 | 31 | 1.360000e+02 | -- | Inf | unknown
889.41/891.83 c 892s| 1 | 0 | 2317k| - | 439M | 0 | 25k|2376 |1700 | 114 | 1 |2087 | 31 | 1.360000e+02 | -- | Inf | unknown
894.40/896.80 c 897s| 1 | 0 | 2327k| - | 439M | 0 | 25k|2374 |1822 | 236 | 2 |2087 | 31 | 1.360000e+02 | -- | Inf | unknown
898.79/901.25 c 901s| 1 | 0 | 2335k| - | 441M | 0 | 25k|2374 |1938 | 352 | 3 |2087 | 31 | 1.360000e+02 | -- | Inf | unknown
904.77/907.28 c 907s| 1 | 0 | 2346k| - | 441M | 0 | 25k|2374 |2058 | 472 | 4 |2087 | 31 | 1.360000e+02 | -- | Inf | unknown
909.36/911.81 c 912s| 1 | 0 | 2353k| - | 448M | 0 | 25k|2372 |2174 | 588 | 5 |2087 | 31 | 1.360000e+02 | -- | Inf | unknown
915.14/917.68 c 918s| 1 | 0 | 2363k| - | 449M | 0 | 25k|2369 |2285 | 699 | 6 |2087 | 31 | 1.360000e+02 | -- | Inf | unknown
919.43/921.97 c 922s| 1 | 0 | 2370k| - | 450M | 0 | 25k|2368 |2408 | 822 | 7 |2087 | 31 | 1.360000e+02 | -- | Inf | unknown
925.72/928.20 c 928s| 1 | 0 | 2381k| - | 452M | 0 | 25k|2367 |2522 | 936 | 8 |2087 | 31 | 1.360000e+02 | -- | Inf | unknown
932.00/934.58 c 935s| 1 | 0 | 2391k| - | 452M | 0 | 25k|2367 |2645 |1059 | 9 |2087 | 31 | 1.360000e+02 | -- | Inf | unknown
938.98/941.54 c 942s| 1 | 0 | 2402k| - | 455M | 0 | 25k|2367 |2166 |1174 | 10 |2087 | 31 | 1.360000e+02 | -- | Inf | unknown
945.57/948.11 c 948s| 1 | 0 | 2413k| - | 457M | 0 | 25k|2365 |2280 |1288 | 11 |2088 | 31 | 1.360000e+02 | -- | Inf | unknown
994.34/997.02 c 997s| 1 | 2 | 2469k| - | 457M | 0 | 25k|2342 |2280 |1288 | 11 |2102 | 61 | 1.360000e+02 | -- | Inf | unknown
1129.88/1132.94 c 1133s| 100 | 91 | 2848k|2198.6 | 461M | 33 | 25k|2391 |1264 |1883 | 1 |2243 | 61 | 1.360000e+02 | -- | Inf | unknown
1169.87/1173.04 c 1173s| 200 | 147 | 2957k|2114.5 | 470M | 50 | 25k|2671 |1331 |2510 | 0 |2628 | 61 | 1.360000e+02 | -- | Inf | unknown
1208.47/1211.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1208.47/1211.79 c 1212s| 300 | 170 | 3058k|2036.4 | 475M | 72 | 25k|2705 |1379 |2809 | 0 |2863 | 61 | 1.360000e+02 | -- | Inf | unknown
1259.63/1263.08 c 1263s| 400 | 181 | 3204k|1997.9 | 477M | 72 | 25k|2663 |1402 |2996 | 0 |3081 | 61 | 1.360000e+02 | -- | Inf | 0.99%
1283.67/1287.11 c 1287s| 500 | 171 | 3275k|1918.3 | 484M | 82 | 25k|2667 |1360 |3057 | 1 |3292 | 61 | 1.360000e+02 | -- | Inf | 1.38%
1331.14/1334.78 c 1335s| 600 | 197 | 3400k|1879.1 | 500M | 83 | 25k|2674 |1204 |3412 | 1 |3493 | 61 | 1.360000e+02 | -- | Inf | 1.43%
1441.55/1445.49 c 1445s| 700 | 253 | 3682k|1931.2 | 505M | 83 | 25k|2667 | 0 |3957 | 0 |3635 | 61 | 1.360000e+02 | -- | Inf | 1.85%
1480.54/1484.58 c 1485s| 800 | 264 | 3788k|1885.5 | 514M | 83 | 25k|2711 |1397 |4249 | 0 |3848 | 61 | 1.360000e+02 | -- | Inf | 1.87%
1573.30/1577.57 c 1578s| 900 | 323 | 4047k|1920.7 | 520M | 83 | 25k|2545 | 0 |5027 | 0 |3925 | 61 | 1.360000e+02 | -- | Inf | 1.91%
1681.91/1686.49 c 1686s| 1000 | 415 | 4356k|1976.0 | 521M | 83 | 25k|2562 |1300 |5651 | 1 |4073 | 61 | 1.360000e+02 | -- | Inf | 1.91%
1749.34/1754.04 c 1754s| 1100 | 475 | 4548k|1973.2 | 522M | 83 | 25k|2507 |1321 |6166 | 1 |4169 | 61 | 1.360000e+02 | -- | Inf | 1.92%
1800.69/1805.50 c 1805s| 1200 | 537 | 4703k|1954.9 | 525M | 83 | 25k|2601 |1408 |6459 | 0 |4375 | 61 | 1.360000e+02 | -- | Inf | 1.92%
1866.92/1871.98 c 1872s| 1300 | 573 | 4880k|1947.3 | 533M | 83 | 25k|2531 | 0 |6739 | 0 |4606 | 61 | 1.360000e+02 | -- | Inf | 1.92%
1924.77/1929.96 c 1930s| 1400 | 624 | 5052k|1938.3 | 542M | 83 | 25k|2553 |1438 |6981 | 0 |4834 | 61 | 1.360000e+02 | -- | Inf | 1.92%
1958.57/1963.83 c 1964s| 1500 | 640 | 5144k|1899.4 | 551M | 83 | 25k|2622 |1433 |7136 | 1 |5076 | 61 | 1.360000e+02 | -- | Inf | 1.92%
1986.30/1991.67 c 1992s| 1600 | 655 | 5223k|1858.5 | 563M | 83 | 25k|2605 |1438 |7416 | 1 |5294 | 61 | 1.360000e+02 | -- | Inf | 1.92%
2015.23/2020.70 c 2021s| 1700 | 684 | 5302k|1820.5 | 571M | 83 | 25k|2605 | 0 |7698 | 0 |5429 | 61 | 1.360000e+02 | -- | Inf | 1.92%
2054.72/2060.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2054.72/2060.21 c 2060s| 1800 | 706 | 5419k|1798.1 | 572M | 83 | 25k|2599 |1467 |7991 | 1 |5536 | 61 | 1.360000e+02 | -- | Inf | 1.93%
2091.13/2096.77 c 2097s| 1900 | 724 | 5519k|1771.8 | 577M | 83 | 25k|2570 |1325 |8324 | 1 |5608 | 61 | 1.360000e+02 | -- | Inf | 1.93%
2151.37/2157.13 c 2157s| 2000 | 768 | 5686k|1768.3 | 579M | 83 | 25k|2560 |1337 |8783 | 0 |5816 | 61 | 1.360000e+02 | -- | Inf | 1.93%
2227.56/2233.50 c 2233s| 2100 | 819 | 5881k|1774.0 | 584M | 83 | 25k|2676 | 0 |9197 | 0 |6121 | 61 | 1.360000e+02 | -- | Inf | 1.93%
2257.69/2263.79 c 2264s| 2200 | 841 | 5962k|1744.9 | 597M | 83 | 25k|2650 | 0 |9569 | 0 |6314 | 61 | 1.360000e+02 | -- | Inf | 1.94%
2280.32/2286.41 c 2286s| 2300 | 856 | 6024k|1712.2 | 609M | 83 | 25k|2705 |1423 |9921 | 1 |6511 | 61 | 1.360000e+02 | -- | Inf | 1.94%
2294.69/2300.82 c 2301s| 2400 | 853 | 6064k|1674.7 | 627M | 83 | 25k|2749 |1418 | 10k| 0 |6635 | 61 | 1.360000e+02 | -- | Inf | 1.94%
2317.72/2323.95 c 2324s| 2500 | 847 | 6128k|1646.0 | 633M | 83 | 25k|2787 |1322 | 10k| 1 |6835 | 61 | 1.360000e+02 | -- | Inf | 1.94%
2355.61/2361.99 c 2362s| 2600 | 876 | 6229k|1629.1 | 655M | 83 | 25k|2743 |1452 | 11k| 0 |6986 | 61 | 1.360000e+02 | -- | Inf | 1.94%
2411.96/2418.42 c 2418s| 2700 | 917 | 6387k|1627.7 | 680M | 83 | 25k|2710 |1359 | 11k| 0 |7137 | 61 | 1.360000e+02 | -- | Inf | 1.94%
2464.93/2471.54 c 2472s| 2800 | 964 | 6528k|1622.2 | 683M | 83 | 25k|2701 |1395 | 12k| 1 |7273 | 61 | 1.360000e+02 | -- | Inf | 1.94%
2507.71/2514.41 c 2514s| 2900 | 994 | 6641k|1609.7 | 688M | 83 | 25k|2726 | 0 | 12k| 0 |7415 | 61 | 1.360000e+02 | -- | Inf | 1.94%
2560.07/2566.94 c 2567s| 3000 | 1016 | 6784k|1605.4 | 699M | 83 | 25k|2719 | 0 | 13k| 0 |7564 | 61 | 1.360000e+02 | -- | Inf | 1.94%
2593.78/2600.74 c 2601s| 3100 | 1023 | 6881k|1590.3 | 703M | 83 | 25k|2701 |1409 | 13k| 1 |7740 | 61 | 1.360000e+02 | -- | Inf | 1.94%
2610.83/2617.82 c 2618s| 3200 | 1035 | 6928k|1564.5 | 716M | 83 | 25k|2756 |1464 | 13k| 1 |7865 | 61 | 1.360000e+02 | -- | Inf | 1.94%
2627.88/2634.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2627.88/2634.91 c 2635s| 3300 | 1031 | 6975k|1539.7 | 727M | 83 | 25k|2780 |1467 | 13k| 1 |7987 | 61 | 1.360000e+02 | -- | Inf | 1.94%
2646.64/2653.70 c 2654s| 3400 | 1034 | 7028k|1517.3 | 737M | 83 | 25k|2794 | 0 | 14k| 0 |8102 | 61 | 1.360000e+02 | -- | Inf | 1.94%
2689.62/2696.81 c 2697s| 3500 | 1064 | 7141k|1509.0 | 745M | 83 | 25k|2805 |1445 | 14k| 0 |8201 | 61 | 1.360000e+02 | -- | Inf | 1.94%
2719.24/2726.59 c 2727s| 3600 | 1086 | 7225k|1494.8 | 764M | 83 | 25k|2846 |1378 | 15k| 1 |8414 | 61 | 1.360000e+02 | -- | Inf | 1.94%
2749.95/2757.35 c 2757s| 3700 | 1099 | 7311k|1481.5 | 772M | 83 | 25k|2887 |1425 | 15k| 1 |8606 | 61 | 1.360000e+02 | -- | Inf | 1.94%
2780.68/2788.17 c 2788s| 3800 | 1090 | 7398k|1469.1 | 800M | 83 | 25k|2879 |1373 | 15k| 1 |8772 | 61 | 1.360000e+02 | -- | Inf | 1.94%
2816.37/2823.94 c 2824s| 3900 | 1106 | 7498k|1459.7 | 803M | 83 | 25k|2928 |1311 | 16k| 0 |8998 | 61 | 1.360000e+02 | -- | Inf | 1.94%
2839.71/2847.39 c 2847s| 4000 | 1113 | 7562k|1443.7 | 825M | 83 | 25k|2971 | 0 | 16k| 0 |9129 | 61 | 1.360000e+02 | -- | Inf | 1.94%
2871.52/2879.27 c 2879s| 4100 | 1084 | 7649k|1432.7 | 832M | 83 | 25k|2974 | 0 | 17k| 0 |9343 | 61 | 1.360000e+02 | -- | Inf | 1.94%
2900.74/2908.59 c 2909s| 4200 | 1082 | 7729k|1420.8 | 851M | 83 | 25k|2950 | 0 | 17k| 0 |9477 | 61 | 1.360000e+02 | -- | Inf | 1.94%
2924.77/2932.61 c 2933s| 4300 | 1077 | 7793k|1406.4 | 855M | 83 | 25k|3007 |1459 | 18k| 1 |9651 | 61 | 1.360000e+02 | -- | Inf | 1.94%
2952.21/2960.13 c 2960s| 4400 | 1086 | 7867k|1394.3 | 859M | 83 | 25k|3075 |1454 | 18k| 1 |9840 | 61 | 1.360000e+02 | -- | Inf | 1.94%
2979.93/2987.92 c 2988s| 4500 | 1085 | 7942k|1382.9 | 862M | 83 | 25k|3109 |1346 | 18k| 0 | 10k| 61 | 1.360000e+02 | -- | Inf | 1.94%
3016.63/3024.76 c 3025s| 4600 | 1082 | 8042k|1376.2 | 864M | 83 | 25k|3107 | 0 | 19k| 0 | 10k| 61 | 1.360000e+02 | -- | Inf | 1.94%
3041.36/3049.59 c 3050s| 4700 | 1078 | 8111k|1364.3 | 877M | 83 | 25k|3108 |1362 | 19k| 1 | 10k| 61 | 1.360000e+02 | -- | Inf | 1.94%
3075.66/3083.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3075.66/3083.98 c 3084s| 4800 | 1102 | 8204k|1356.9 | 881M | 83 | 25k|3144 | 0 | 20k| 0 | 10k| 61 | 1.360000e+02 | -- | Inf | 1.94%
3111.16/3119.57 c 3120s| 4900 | 1110 | 8300k|1350.3 | 885M | 83 | 25k|3154 |1432 | 20k| 1 | 10k| 61 | 1.360000e+02 | -- | Inf | 1.94%
3134.10/3142.56 c 3143s| 5000 | 1111 | 8360k|1338.1 | 906M | 83 | 25k|3185 | 0 | 21k| 0 | 11k| 61 | 1.360000e+02 | -- | Inf | 1.94%
3160.54/3169.04 c 3169s| 5100 | 1096 | 8429k|1327.7 | 919M | 83 | 25k|3213 |1385 | 21k| 0 | 11k| 61 | 1.360000e+02 | -- | Inf | 1.94%
3222.76/3231.43 c 3231s| 5200 | 1141 | 8598k|1333.4 | 920M | 83 | 25k|3195 |1423 | 22k| 1 | 11k| 61 | 1.360000e+02 | -- | Inf | 1.94%
3272.82/3281.65 c 3282s| 5300 | 1144 | 8737k|1334.3 | 921M | 83 | 25k|3214 |1398 | 22k| 1 | 11k| 61 | 1.360000e+02 | -- | Inf | 1.94%
3324.58/3333.54 c 3334s| 5400 | 1159 | 8880k|1335.8 | 927M | 83 | 25k|3223 |1343 | 23k| 0 | 11k| 61 | 1.360000e+02 | -- | Inf | 1.94%
3371.85/3380.99 c 3381s| 5500 | 1190 | 9010k|1335.2 | 935M | 83 | 25k|3303 |1571 | 23k| 0 | 11k| 61 | 1.360000e+02 | -- | Inf | 1.94%
3402.36/3411.52 c 3412s| 5600 | 1196 | 9092k|1327.5 | 937M | 83 | 25k|3282 | 0 | 23k| 0 | 12k| 61 | 1.360000e+02 | -- | Inf | 1.94%
3435.07/3444.31 c 3444s| 5700 | 1200 | 9175k|1320.3 | 939M | 83 | 25k|3314 | 0 | 24k| 0 | 12k| 61 | 1.360000e+02 | -- | Inf | 1.94%
3460.10/3469.48 c 3469s| 5800 | 1197 | 9245k|1311.3 | 948M | 83 | 25k|3366 |1412 | 24k| 1 | 12k| 61 | 1.360000e+02 | -- | Inf | 1.94%
3502.49/3511.90 c 3512s| 5900 | 1189 | 9358k|1308.7 | 952M | 83 | 25k|3427 |1522 | 25k| 0 | 12k| 61 | 1.360000e+02 | -- | Inf | 1.94%
3545.27/3554.80 c 3555s| 6000 | 1202 | 9476k|1306.8 | 954M | 83 | 25k|3452 | 0 | 25k| 0 | 12k| 61 | 1.360000e+02 | -- | Inf | 1.94%
3586.65/3596.38 c 3596s| 6100 | 1203 | 9588k|1304.3 | 964M | 83 | 25k|3490 |1458 | 26k| 1 | 12k| 61 | 1.360000e+02 | -- | Inf | 1.94%
3587.35/3597.01 c
3587.35/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.35/3597.01 c Solving Time (sec) : 3597.00
3587.35/3597.01 c Solving Nodes : 6103 (total of 7218 nodes in 2 runs)
3587.35/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.35/3597.01 c Dual Bound : +1.36000000000000e+02
3587.35/3597.01 c Gap : infinite
3587.35/3597.01 s UNKNOWN
3587.35/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.35/3597.01 c Total Time : 3597.00
3587.35/3597.01 c solving : 3597.00
3587.35/3597.01 c presolving : 2.91 (included in solving)
3587.35/3597.01 c reading : 0.04 (included in solving)
3587.35/3597.01 c copying : 0.27 (7 #copies) (minimal 0.03, maximal 0.05, average 0.04)
3587.35/3597.01 c Original Problem :
3587.35/3597.01 c Problem name : HOME/instance-4524216-1751608264.opb
3587.35/3597.01 c Variables : 25846 (25846 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.35/3597.01 c Constraints : 1501 initial, 1501 maximal
3587.35/3597.01 c Objective : minimize, 8 non-zeros (abs.min = 1, abs.max = 128)
3587.35/3597.01 c Presolved Problem :
3587.35/3597.01 c Problem name : t_HOME/instance-4524216-1751608264.opb
3587.35/3597.01 c Variables : 25317 (25317 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.35/3597.01 c Constraints : 2371 initial, 3496 maximal
3587.35/3597.01 c Objective : minimize, 7 non-zeros (abs.min = 1, abs.max = 64)
3587.35/3597.01 c Nonzeros : 220947 constraint, 178298 clique table
3587.35/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.35/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c domcol : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c dualsparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c gateextraction : 0.02 0.00 5 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c implics : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c milp : 0.11 0.00 1 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c sparsify : 0.10 0.00 1 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c trivial : 0.01 0.00 18 2 0 0 0 0 0 0 0 0
3587.35/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c dualfix : 0.01 0.00 18 1 0 0 0 0 0 0 0 0
3587.35/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c probing : 1.95 0.00 1 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c symmetry : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c vbounds : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c knapsack : 0.07 0.00 20 1 0 0 0 0 0 3 10 1844
3587.35/3597.01 c setppc : 0.04 0.00 20 0 0 0 0 0 5 0 0 0
3587.35/3597.01 c linear : 0.29 0.01 26 420 105 0 420 0 1252 972 842 25710
3587.35/3597.01 c logicor : 0.15 0.02 18 0 0 0 0 0 375 0 0 259
3587.35/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c components : 0.04 0.00 2 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c root node : - - - 3 - - 3 - - - - -
3587.35/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.35/3597.01 c benderslp : 0 0 0 0 4814 0 0 855 0 0 0 0 0 0 0
3587.35/3597.01 c integral : 0 0 0 0 4814 0 0 855 0 0 0 0 0 0 9628
3587.35/3597.01 c knapsack : 535+ 565 44 85068 0 0 0 850 1163719 159 316539 2003 219 0 0
3587.35/3597.01 c setppc : 389+ 406 44 84909 0 0 0 712 646251 148 352835 36 0 0 0
3587.35/3597.01 c linear : 337+ 380 44 84761 0 0 0 3 3667822 2556 1366744 6624 510 0 0
3587.35/3597.01 c logicor : 1110+ 2150 44 28037 0 0 0 0 34991 189 12893 98 29 0 0
3587.35/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.35/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.35/3597.01 c integral : 42.88 0.00 0.00 0.00 42.88 0.00 0.00 0.00 0.00 0.00
3587.35/3597.01 c knapsack : 9.60 0.00 2.19 4.27 0.00 0.00 0.00 0.06 3.07 0.01
3587.35/3597.01 c setppc : 2.84 0.00 0.01 2.65 0.00 0.00 0.00 0.03 0.15 0.01
3587.35/3597.01 c linear : 19.50 0.01 0.50 8.04 0.00 0.00 0.00 0.00 10.92 0.03
3587.35/3597.01 c logicor : 0.97 0.02 0.01 0.84 0.00 0.00 0.00 0.00 0.11 0.00
3587.35/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.35/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.35/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.35/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.35/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.35/3597.01 c dualfix : 3 0 0 0
3587.35/3597.01 c genvbounds : 0 0 0 0
3587.35/3597.01 c nlobbt : 0 0 0 0
3587.35/3597.01 c obbt : 0 0 0 0
3587.35/3597.01 c probing : 0 0 0 0
3587.35/3597.01 c pseudoobj : 41326 0 0 1
3587.35/3597.01 c redcost : 10826 0 0 3309
3587.35/3597.01 c rootredcost : 2 0 0 0
3587.35/3597.01 c symmetry : 0 0 0 0
3587.35/3597.01 c vbounds : 15669 0 0 0
3587.35/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.35/3597.01 c dualfix : 0.01 0.00 0.01 0.00 0.00 0.00
3587.35/3597.01 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3587.35/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.35/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.35/3597.01 c probing : 1.95 0.00 1.95 0.00 0.00 0.00
3587.35/3597.01 c pseudoobj : 0.09 0.00 0.00 0.09 0.00 0.00
3587.35/3597.01 c redcost : 8.74 0.00 0.00 8.74 0.00 0.00
3587.35/3597.01 c rootredcost : 0.02 0.00 0.00 0.01 0.00 0.00
3587.35/3597.01 c symmetry : 0.04 0.00 0.03 0.01 0.00 0.00
3587.35/3597.01 c vbounds : 1.02 0.00 0.01 1.01 0.00 0.00
3587.35/3597.01 c Symmetry :
3587.35/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.35/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.35/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.35/3597.01 c shadow tree time : 0.00 s
3587.35/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.35/3597.01 c propagation : 5.31 741 737 - 11384 1325.1 266 145.7 - - -
3587.35/3597.01 c infeasible LP : 24.07 1446 1440 - 29092 1671.0 303 140.2 331 943.1 0
3587.35/3597.01 c bound exceed. LP : 0.01 1 0 - 0 0.0 0 0.0 0 0.0 10
3587.35/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.35/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.35/3597.01 c applied globally : 0.62 - - 0 12527 807.8 - - 331 - -
3587.35/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.35/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.35/3597.01 c cut pool : 3.17 - 1234 86 - - 31424 436007 - - - - - (maximal pool size: 17469)
3587.35/3597.01 c aggregation : 3.80 0.00 108 44 0 0 26454 361101 492 33729 33534 195 0
3587.35/3597.01 c > cmir : - - - - - - - 243344 2 20185 20184 1 -
3587.35/3597.01 c > flowcover : - - - - - - - 110174 1 12271 12270 1 -
3587.35/3597.01 c > knapsackcover : - - - - - - - 7583 489 1273 1080 193 -
3587.35/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c clique : 0.52 0.00 44 44 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c gomory : 4.02 0.00 84 20 0 0 5331 67483 116 8860 8843 17 0
3587.35/3597.01 c > gomorymi : - - - - - - - 29025 60 4365 4359 6 -
3587.35/3597.01 c > strongcg : - - - - - - - 38458 56 4495 4484 11 -
3587.35/3597.01 c impliedbounds : 0.08 0.00 108 44 0 0 90 621 0 194 194 0 0
3587.35/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c multilinear : 0.00 0.00 133 44 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c rlt : 0.00 0.00 68 20 0 0 0 0 0 0 0 0 0
3587.35/3597.01 c zerohalf : 2.27 0.00 89 31 0 0 222 6802 65 704 671 33 0
3587.35/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.35/3597.01 c hybrid : 1.71 0.00 1134 44 44245 0 401196 5309 0 85447
3587.35/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.35/3597.01 c problem variables: 0.00 - 0 0
3587.35/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.35/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.01 c relpscost : 42.87 0.00 4814 0 0 0 0 0 0 9628
3587.35/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.35/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.35/3597.01 c LP solutions : 0.00 - - 0 0
3587.35/3597.01 c relax solutions : 0.00 - - 0 0
3587.35/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.35/3597.01 c strong branching : 0.00 - - 0 0
3587.35/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.35/3597.01 c adaptivediving : 18.72 0.00 16 0 0
3587.35/3597.01 c alns : 0.67 0.00 5 0 0
3587.35/3597.01 c bound : 0.00 0.00 0 0 0
3587.35/3597.01 c clique : 0.06 0.00 1 0 0
3587.35/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.35/3597.01 c completesol : 0.00 0.00 0 0 0
3587.35/3597.01 c conflictdiving : 37.72 0.00 47 0 0
3587.35/3597.01 c crossover : 0.00 0.00 0 0 0
3587.35/3597.01 c dins : 0.00 0.00 0 0 0
3587.35/3597.01 c distributiondivin: 55.15 0.00 47 0 0
3587.35/3597.01 c dps : 0.00 0.00 0 0 0
3587.35/3597.01 c dualval : 0.00 0.00 0 0 0
3587.35/3597.01 c farkasdiving : 34.11 0.00 2 0 0
3587.35/3597.01 c feasjump : 0.10 0.00 2 0 0
3587.35/3597.01 c feaspump : 35.57 0.00 24 0 0
3587.35/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.35/3597.01 c fracdiving : 14.33 0.00 47 0 0
3587.35/3597.01 c gins : 0.00 0.00 0 0 0
3587.35/3597.01 c guideddiving : 0.00 0.00 0 0 0
3587.35/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.35/3597.01 c indicator : 0.00 0.00 0 0 0
3587.35/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.35/3597.01 c indoneopt : 0.00 0.00 0 0 0
3587.35/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.35/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.35/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.35/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.35/3597.01 c linesearchdiving : 15.32 0.00 47 0 0
3587.35/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.35/3597.01 c locks : 0.02 0.00 1 0 0
3587.35/3597.01 c lpface : 0.42 0.00 1 0 0
3587.35/3597.01 c mpec : 0.00 0.00 0 0 0
3587.35/3597.01 c multistart : 0.00 0.00 0 0 0
3587.35/3597.01 c mutation : 0.00 0.00 0 0 0
3587.35/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.35/3597.01 c objpscostdiving : 73.72 0.00 8 0 0
3587.35/3597.01 c octane : 0.00 0.00 0 0 0
3587.35/3597.01 c ofins : 0.00 0.00 0 0 0
3587.35/3597.01 c oneopt : 0.00 0.00 0 0 0
3587.35/3597.01 c padm : 0.00 0.00 0 0 0
3587.35/3597.01 c proximity : 0.00 0.00 0 0 0
3587.35/3597.01 c pscostdiving : 67.77 0.00 48 0 0
3587.35/3597.01 c randrounding : 1.43 0.00 889 0 0
3587.35/3597.01 c rens : 0.24 0.00 2 0 0
3587.35/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.35/3597.01 c repair : 0.00 0.00 0 0 0
3587.35/3597.01 c rins : 0.00 0.00 0 0 0
3587.35/3597.01 c rootsoldiving : 36.01 0.00 23 0 0
3587.35/3597.01 c rounding : 0.24 0.00 1032 0 0
3587.35/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.35/3597.01 c shiftandpropagate: 0.16 0.00 2 0 0
3587.35/3597.01 c shifting : 2.19 0.00 507 0 0
3587.35/3597.01 c simplerounding : 0.00 0.00 0 0 0
3587.35/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.35/3597.01 c subnlp : 0.01 0.00 0 0 0
3587.35/3597.01 c trivial : 0.02 0.00 4 0 0
3587.35/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.35/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.35/3597.01 c trysol : 0.00 0.00 0 0 0
3587.35/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.35/3597.01 c undercover : 0.00 0.00 0 0 0
3587.35/3597.01 c vbounds : 0.01 0.00 0 0 0
3587.35/3597.01 c veclendiving : 62.42 0.00 47 0 0
3587.35/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.35/3597.01 c zirounding : 0.22 0.00 1000 0 0
3587.35/3597.01 c other solutions : - - - 0 -
3587.35/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.35/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.35/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.35/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.35/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.35/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.35/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.35/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.35/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.35/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.35/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.35/3597.01 c primal LP : 2.47 771 0 0.00 0.00 2.47 771
3587.35/3597.01 c dual LP : 2995.80 7227 8349823 1167.97 2787.18 0.42 78
3587.35/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.35/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.35/3597.01 c resolve instable : 0.31 15 306 20.40 971.49
3587.35/3597.01 c diving/probing LP: 419.05 4853 1240483 255.61 2960.23
3587.35/3597.01 c strong branching : 39.92 61 43812 718.23 1097.41 - - 71
3587.35/3597.01 c (at root node) : - 61 43812 718.23 -
3587.35/3597.01 c conflict analysis: 0.00 1 10 10.00 -
3587.35/3597.01 c B&B Tree :
3587.35/3597.01 c number of runs : 2
3587.35/3597.01 c nodes : 6103 (3892 internal, 2211 leaves)
3587.35/3597.01 c feasible leaves : 0
3587.35/3597.01 c infeas. leaves : 2210
3587.35/3597.01 c objective leaves : 0
3587.35/3597.01 c nodes (total) : 7218 (4814 internal, 2404 leaves)
3587.35/3597.01 c nodes left : 1203
3587.35/3597.01 c max depth : 83
3587.35/3597.01 c max depth (total): 83
3587.35/3597.01 c backtracks : 1239 (20.3%)
3587.35/3597.01 c early backtracks : 0 (0.0%)
3587.35/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.35/3597.01 c delayed cutoffs : 480
3587.35/3597.01 c repropagations : 5612 (311489 domain reductions, 273 cutoffs)
3587.35/3597.01 c avg switch length: 5.47
3587.35/3597.01 c switching time : 10.11
3587.35/3597.01 c Root Node :
3587.35/3597.01 c First LP value : +1.35155172413793e+02
3587.35/3597.01 c First LP Iters : 20096 (2432.72 Iter/sec)
3587.35/3597.01 c First LP Time : 8.26
3587.35/3597.01 c Final Dual Bound : +1.36000000000000e+02
3587.35/3597.01 c Final Root Iters : 179535
3587.35/3597.01 c Root LP Estimate : +1.40651571616237e+02
3587.35/3597.01 c Solution :
3587.35/3597.01 c Solutions found : 0 (0 improvements)
3587.35/3597.01 c Primal Bound : -
3587.35/3597.01 c Dual Bound : +1.36000000000000e+02
3587.35/3597.01 c Gap : infinite
3587.35/3597.01 c Integrals : Total Avg%
3587.35/3597.01 c primal-dual : 359699.86 100.00
3587.35/3597.01 c primal-ref : - - (not evaluated)
3587.35/3597.01 c dual-ref : - - (not evaluated)
3587.54/3597.22 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: 63665 MiB (62928 MiB free)
memory of node 1: 64507 MiB (63906 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524216-1751608264/watcher-4524216-1751608264 -o /tmp/evaluation-result-4524216-1751608264/solver-4524216-1751608264 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751608264-86427 --watchdog 3760 pbscip -f HOME/instance-4524216-1751608264.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=86462, runsolver pid=86458
[startup+0.100065 s]*
/proc/loadavg: 1.08 1.09 1.34 5/262 86467
/proc/meminfo: memFree=129690460/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=114472 memory=86164 CPUtime=0.08 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 18423 0 0 0 6 2 0 0 20 0 1 0 76506063 117219328 21541 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 28618 21541 3552 3530 0 20069 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 114472 KiB
Current children cumulated memory: 86164 KiB
[startup+0.205947 s]*
/proc/loadavg: 1.08 1.09 1.34 6/262 86467
/proc/meminfo: memFree=129570004/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=138656 memory=109384 CPUtime=0.19 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 25959 0 0 0 16 3 0 0 20 0 1 0 76506063 141983744 27346 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 34664 27346 3712 3530 0 26115 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 138656 KiB
Current children cumulated memory: 109384 KiB
[startup+0.305749 s]*
/proc/loadavg: 1.08 1.09 1.34 5/262 86467
/proc/meminfo: memFree=129449200/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=133736 memory=104532 CPUtime=0.29 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 25964 0 0 0 26 3 0 0 20 0 1 0 76506063 136945664 26133 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 33434 26133 3712 3530 0 24885 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 133736 KiB
Current children cumulated memory: 104532 KiB
[startup+0.700171 s]
/proc/loadavg: 1.08 1.09 1.34 5/260 86467
/proc/meminfo: memFree=129263476/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=189784 memory=155236 CPUtime=0.68 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 35696 0 0 0 63 5 0 0 20 0 1 0 76506063 194338816 38809 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 47446 38809 3744 3530 0 38897 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 189784 KiB
Current children cumulated memory: 155236 KiB
[startup+1.50017 s]
/proc/loadavg: 1.08 1.09 1.34 5/265 86477
/proc/meminfo: memFree=128884780/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=193268 memory=158692 CPUtime=1.47 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 36568 0 0 0 142 5 0 0 20 0 1 0 76506063 197906432 39673 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 48317 39673 3744 3530 0 39768 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 193268 KiB
Current children cumulated memory: 158692 KiB
[startup+3.10567 s]
/proc/loadavg: 1.39 1.16 1.36 5/268 86487
/proc/meminfo: memFree=128041776/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=276324 memory=202540 CPUtime=3.07 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 49314 0 0 0 300 7 0 0 20 0 1 0 76506063 282955776 50635 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 69081 50635 3904 3530 0 60532 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 276324 KiB
Current children cumulated memory: 202540 KiB
[startup+6.30017 s]
/proc/loadavg: 1.39 1.16 1.36 5/268 86487
/proc/meminfo: memFree=126467000/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=276964 memory=203180 CPUtime=6.26 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 49475 0 0 0 619 7 0 0 20 0 1 0 76506063 283611136 50795 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 69241 50795 3904 3530 0 60692 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 276964 KiB
Current children cumulated memory: 203180 KiB
[startup+12.7002 s]
/proc/loadavg: 1.60 1.20 1.37 5/268 86487
/proc/meminfo: memFree=122421204/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=309672 memory=230724 CPUtime=12.64 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 54800 0 0 0 1256 8 0 0 20 0 1 0 76506063 317104128 57681 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 77418 57681 3936 3530 0 68869 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 309672 KiB
Current children cumulated memory: 230724 KiB
[startup+25.5002 s]
/proc/loadavg: 2.20 1.36 1.42 5/268 86488
/proc/meminfo: memFree=116001344/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=395324 memory=314892 CPUtime=25.41 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 76353 0 0 0 2529 12 0 0 20 0 1 0 76506063 404811776 78723 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 98831 78723 3936 3530 0 90282 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 395324 KiB
Current children cumulated memory: 314892 KiB
[startup+51.1059 s]
/proc/loadavg: 2.90 1.59 1.50 5/268 86488
/proc/meminfo: memFree=102799120/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=430820 memory=350556 CPUtime=50.95 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 86005 0 0 0 5082 13 0 0 20 0 1 0 76506063 441159680 87639 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 107705 87639 3936 3530 0 99156 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 430820 KiB
Current children cumulated memory: 350556 KiB
[startup+102.3 s]
/proc/loadavg: 3.60 1.98 1.64 5/268 86492
/proc/meminfo: memFree=98399616/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=498732 memory=420700 CPUtime=102 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 102806 0 0 0 10184 16 0 0 20 0 1 0 76506063 510701568 105175 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 124683 105175 3936 3530 0 116134 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 498732 KiB
Current children cumulated memory: 420700 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.36 1.79 5/267 86494
/proc/meminfo: memFree=92607752/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=498732 memory=428252 CPUtime=161.84 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 102902 0 0 0 16167 17 0 0 20 0 1 0 76506063 510701568 107063 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 124683 107063 3936 3530 0 116134 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 498732 KiB
Current children cumulated memory: 428252 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 2.71 1.95 5/269 86499
/proc/meminfo: memFree=92638964/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=497024 memory=429008 CPUtime=221.67 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 108088 0 0 0 22150 17 0 0 20 0 1 0 76506063 508952576 107252 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 124256 107252 3936 3530 0 115707 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 497024 KiB
Current children cumulated memory: 429008 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 2.96 2.08 5/268 86501
/proc/meminfo: memFree=92605788/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=503900 memory=441116 CPUtime=281.52 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 112086 0 0 0 28134 18 0 0 20 0 1 0 76506063 515993600 110279 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 125975 110279 3936 3530 0 117426 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 503900 KiB
Current children cumulated memory: 441116 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.17 2.21 5/264 86503
/proc/meminfo: memFree=92596372/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=503900 memory=443292 CPUtime=341.37 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 112088 0 0 0 34119 18 0 0 20 0 1 0 76506063 515993600 110823 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 125975 110823 3936 3530 0 117426 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 503900 KiB
Current children cumulated memory: 443292 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 3.37 2.34 5/264 86505
/proc/meminfo: memFree=92566708/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=503900 memory=443292 CPUtime=401.21 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 112248 0 0 0 40103 18 0 0 20 0 1 0 76506063 515993600 110823 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 125975 110823 3936 3530 0 117426 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 503900 KiB
Current children cumulated memory: 443292 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.50 2.45 5/265 86512
/proc/meminfo: memFree=92563112/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=503900 memory=443292 CPUtime=461.05 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 112250 0 0 0 46087 18 0 0 20 0 1 0 76506063 515993600 110823 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 125975 110823 3936 3530 0 117426 0
Current children cumulated CPU time: 461.05 s
################
# More data... #
################
/proc/loadavg: 4.15 4.20 4.09 5/264 86655
/proc/meminfo: memFree=91421088/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=988620 memory=877516 CPUtime=3153.85 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 223749 0 0 0 315346 39 0 0 20 0 1 0 76506063 1012346880 219379 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 247155 219379 4128 3530 0 238606 0
Current children cumulated CPU time: 3153.85 s
Current children cumulated vsize: 988620 KiB
Current children cumulated memory: 877516 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.18 4.09 5/264 86657
/proc/meminfo: memFree=91344776/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=1016988 memory=906168 CPUtime=3213.69 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 246669 0 0 0 321327 42 0 0 20 0 1 0 76506063 1041395712 226542 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 254247 226542 4128 3530 0 245698 0
Current children cumulated CPU time: 3213.69 s
Current children cumulated vsize: 1016988 KiB
Current children cumulated memory: 906168 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.17 4.09 5/264 86659
/proc/meminfo: memFree=91355004/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=1016988 memory=906168 CPUtime=3273.52 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 246687 0 0 0 327310 42 0 0 20 0 1 0 76506063 1041395712 226542 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 254247 226542 4128 3530 0 245698 0
Current children cumulated CPU time: 3273.52 s
Current children cumulated vsize: 1016988 KiB
Current children cumulated memory: 906168 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.16 4.09 5/264 86661
/proc/meminfo: memFree=91251704/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=1016988 memory=906424 CPUtime=3333.35 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 246734 0 0 0 333293 42 0 0 20 0 1 0 76506063 1041395712 226606 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 254247 226606 4128 3530 0 245698 0
Current children cumulated CPU time: 3333.35 s
Current children cumulated vsize: 1016988 KiB
Current children cumulated memory: 906424 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.17 4.10 5/263 86663
/proc/meminfo: memFree=91211924/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=1016988 memory=906552 CPUtime=3393.19 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 246779 0 0 0 339277 42 0 0 20 0 1 0 76506063 1041395712 226638 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 254247 226638 4128 3530 0 245698 0
Current children cumulated CPU time: 3393.19 s
Current children cumulated vsize: 1016988 KiB
Current children cumulated memory: 906552 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/264 86670
/proc/meminfo: memFree=91152720/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=1016988 memory=906680 CPUtime=3453.02 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 246839 0 0 0 345260 42 0 0 20 0 1 0 76506063 1041395712 226670 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 254247 226670 4128 3530 0 245698 0
Current children cumulated CPU time: 3453.02 s
Current children cumulated vsize: 1016988 KiB
Current children cumulated memory: 906680 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/264 86672
/proc/meminfo: memFree=91109860/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=1020824 memory=910520 CPUtime=3512.86 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 247804 0 0 0 351243 43 0 0 20 0 1 0 76506063 1045323776 227630 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 255206 227630 4128 3530 0 246657 0
Current children cumulated CPU time: 3512.86 s
Current children cumulated vsize: 1020824 KiB
Current children cumulated memory: 910520 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/264 86675
/proc/meminfo: memFree=91018752/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=1031648 memory=919992 CPUtime=3572.68 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 250171 0 0 0 357225 43 0 0 20 0 1 0 76506063 1056407552 229998 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 257912 229998 4128 3530 0 249363 0
Current children cumulated CPU time: 3572.68 s
Current children cumulated vsize: 1031648 KiB
Current children cumulated memory: 919992 KiB
[startup+3597.25 s]
# the end of solver process 86462 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.14 s, system=0.458591 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.14 4.09 5/264 86675
/proc/meminfo: memFree=91018752/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=1031648 memory=919992 CPUtime=3574.38 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 250171 0 0 0 357395 43 0 0 20 0 1 0 76506063 1056407552 229998 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 257912 229998 4128 3530 0 249363 0
Current children cumulated CPU time: 3574.38 s
Current children cumulated vsize: 1031648 KiB
Current children cumulated memory: 919992 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.14 4.09 5/264 86675
/proc/meminfo: memFree=91021620/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=1031648 memory=919992 CPUtime=3580.76 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 250171 0 0 0 358033 43 0 0 20 0 1 0 76506063 1056407552 229998 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 257912 229998 4128 3530 0 249363 0
Current children cumulated CPU time: 3580.76 s
Current children cumulated vsize: 1031648 KiB
Current children cumulated memory: 919992 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.14 4.09 5/264 86675
/proc/meminfo: memFree=91021684/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=1031648 memory=919992 CPUtime=3583.95 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 250176 0 0 0 358352 43 0 0 20 0 1 0 76506063 1056407552 229998 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 257912 229998 4128 3530 0 249363 0
Current children cumulated CPU time: 3583.95 s
Current children cumulated vsize: 1031648 KiB
Current children cumulated memory: 919992 KiB
[startup+3595.2 s]
/proc/loadavg: 4.12 4.14 4.09 5/264 86675
/proc/meminfo: memFree=91013420/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=1031648 memory=919992 CPUtime=3585.55 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 250176 0 0 0 358512 43 0 0 20 0 1 0 76506063 1056407552 229998 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 257912 229998 4128 3530 0 249363 0
Current children cumulated CPU time: 3585.55 s
Current children cumulated vsize: 1031648 KiB
Current children cumulated memory: 919992 KiB
[startup+3596 s]*
/proc/loadavg: 4.12 4.14 4.09 5/264 86675
/proc/meminfo: memFree=91013420/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=1031648 memory=919992 CPUtime=3586.35 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 250176 0 0 0 358592 43 0 0 20 0 1 0 76506063 1056407552 229998 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 257912 229998 4128 3530 0 249363 0
Current children cumulated CPU time: 3586.35 s
Current children cumulated vsize: 1031648 KiB
Current children cumulated memory: 919992 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.14 4.09 5/264 86675
/proc/meminfo: memFree=91013420/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=1031648 memory=919992 CPUtime=3587.14 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 250176 0 0 0 358671 43 0 0 20 0 1 0 76506063 1056407552 229998 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 257912 229998 4128 3530 0 249363 0
Current children cumulated CPU time: 3587.14 s
Current children cumulated vsize: 1031648 KiB
Current children cumulated memory: 919992 KiB
[startup+3597.2 s]
/proc/loadavg: 4.12 4.14 4.09 5/264 86675
/proc/meminfo: memFree=91013420/131249996 swapFree=33005016/33010684
[pid=86462] ppid=86458 vsize=1016704 memory=905144 CPUtime=3587.54 cores=5,7
/proc/86462/stat : 86462 (pbscip) R 86458 86462 85761 0 -1 4194304 250177 0 0 0 358711 43 0 0 20 0 1 0 76506063 1041104896 226286 18446744073709551615 4235264 18693293 140727907081152 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43913216 140727907084681 140727907084780 140727907084780 140727907090382 0
/proc/86462/statm: 254176 226286 4128 3530 0 245627 0
Current children cumulated CPU time: 3587.54 s
Current children cumulated vsize: 1016704 KiB
Current children cumulated memory: 905144 KiB
Child status: 0
Real time (s): 3597.25
CPU time (s): 3587.6
CPU user time (s): 3587.14
CPU system time (s): 0.458591
CPU usage (%): 99.7319
Max. virtual memory (cumulated for all children) (KiB): 1082740
Max. memory (cumulated for all children) (KiB): 966604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.14
system time used= 0.458591
maximum resident set size= 969164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250189
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= 155
involuntary context switches= 2109
# summary of solver processes directly reported to runsolver:
# pid: 86462
# total CPU time (s): 3587.6
# total CPU user time (s): 3587.14
# total CPU system time (s): 0.458591
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.55507 second user time and 16.6159 second system time
The end