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-4512872-1751212157.opb>
0.00/0.03 c original problem has 4288 variables (4288 bin, 0 int, 0 impl, 0 cont) and 9504 constraints
0.00/0.03 c problem read in 0.03
0.00/0.03 c No objective function, only one solution is needed.
0.00/0.05 c presolving:
0.00/0.07 c (round 1, fast) 607 del vars, 1004 del conss, 681 add conss, 520 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 323 clqs
0.00/0.07 c (round 2, fast) 904 del vars, 1694 del conss, 780 add conss, 689 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 440 clqs
0.00/0.07 c (round 3, fast) 906 del vars, 1698 del conss, 802 add conss, 691 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 461 clqs
0.00/0.09 c (0.1s) running MILP presolver
0.09/0.11 c (0.1s) MILP presolver (4 rounds): 62 aggregations, 3 fixings, 0 bound changes
0.09/0.11 c (round 4, medium) 971 del vars, 1698 del conss, 802 add conss, 691 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 333 clqs
0.09/0.12 c (round 5, fast) 971 del vars, 1780 del conss, 865 add conss, 691 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 361 clqs
0.09/0.12 c (round 6, exhaustive) 971 del vars, 2490 del conss, 865 add conss, 691 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 361 clqs
0.09/0.15 c (round 7, exhaustive) 971 del vars, 2490 del conss, 865 add conss, 691 chg bounds, 2 chg sides, 0 chg coeffs, 6471 upgd conss, 0 impls, 361 clqs
0.09/0.16 c (round 8, exhaustive) 971 del vars, 2586 del conss, 897 add conss, 691 chg bounds, 2 chg sides, 0 chg coeffs, 6471 upgd conss, 0 impls, 361 clqs
0.09/0.19 c (round 9, exhaustive) 971 del vars, 2586 del conss, 897 add conss, 691 chg bounds, 59 chg sides, 0 chg coeffs, 6471 upgd conss, 0 impls, 361 clqs
0.09/0.19 c (round 10, exhaustive) 971 del vars, 2586 del conss, 897 add conss, 691 chg bounds, 59 chg sides, 0 chg coeffs, 6528 upgd conss, 0 impls, 361 clqs
0.20/0.30 c (0.3s) probing: 794/3386 (23.4%) - 0 fixings, 1 aggregations, 257 implications, 0 bound changes
0.20/0.30 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.20/0.30 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.29/0.32 c (0.3s) no symmetry present (symcode time: 0.00)
0.29/0.33 c presolving (11 rounds: 11 fast, 7 medium, 6 exhaustive):
0.29/0.33 c 972 deleted vars, 2586 deleted constraints, 897 added constraints, 691 tightened bounds, 0 added holes, 59 changed sides, 33 changed coefficients
0.29/0.33 c 0 implications, 612 cliques
0.29/0.33 c presolved problem has 3385 variables (3385 bin, 0 int, 0 impl, 0 cont) and 7815 constraints
0.29/0.33 c 32 constraints of type <and>
0.29/0.33 c 1351 constraints of type <linear>
0.29/0.33 c 6432 constraints of type <logicor>
0.29/0.33 c transformed objective value is always integral (scale: 1)
0.29/0.33 c Presolving Time: 0.28
0.29/0.33 c - non default parameters ----------------------------------------------------------------------
0.29/0.33 c # SCIP version 10.0.0
0.29/0.33 c
0.29/0.33 c # maximal time in seconds to run
0.29/0.33 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.29/0.33 c limits/time = 3596.997018
0.29/0.33 c
0.29/0.33 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.33 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.29/0.33 c limits/memory = 27900
0.29/0.33 c
0.29/0.33 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.29/0.33 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.29/0.33 c limits/solutions = 1
0.29/0.33 c
0.29/0.33 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
0.29/0.33 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.29/0.33 c misc/usesymmetry = 3
0.29/0.33 c
0.29/0.33 c # belongs reading time to solving time?
0.29/0.33 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.29/0.33 c timing/reading = TRUE
0.29/0.33 c
0.29/0.33 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.29/0.33 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.29/0.33 c propagating/symmetry/detectdoublelex = FALSE
0.29/0.33 c
0.29/0.33 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.29/0.33 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.29/0.33 c propagating/symmetry/detectsubgroups = FALSE
0.29/0.33 c
0.29/0.33 c # Type of symmetries that shall be computed?
0.29/0.33 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.29/0.33 c propagating/symmetry/symtype = 1
0.29/0.33 c
0.29/0.33 c # Should components consisting of a single full reflection be handled?
0.29/0.33 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.29/0.33 c propagating/symmetry/usesimplesgncomp = FALSE
0.29/0.33 c
0.29/0.33 c -----------------------------------------------------------------------------------------------
0.29/0.33 c start solving
0.29/0.33 c
0.39/0.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.39/0.45 c 0.4s| 1 | 0 | 969 | - | 57M | 0 |3385 |7841 |7847 | 0 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
1.28/1.30 c 1.3s| 1 | 0 | 4868 | - | 62M | 0 |3385 |7841 |8146 | 299 | 1 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
2.38/2.49 c 2.5s| 1 | 0 | 6866 | - | 65M | 0 |3385 |7841 |8443 | 596 | 2 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
4.77/4.89 c 4.9s| 1 | 0 | 10994 | - | 69M | 0 |3385 |7841 |8734 | 887 | 3 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
7.56/7.66 c 7.6s| 1 | 0 | 15595 | - | 73M | 0 |3385 |7841 |9008 |1161 | 4 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
10.15/10.21 c 10.2s| 1 | 0 | 19278 | - | 77M | 0 |3385 |7841 |9292 |1445 | 5 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
13.14/13.23 c 13.2s| 1 | 0 | 23753 | - | 78M | 0 |3385 |7841 |9568 |1721 | 6 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
16.93/17.07 c 17.1s| 1 | 0 | 29312 | - | 79M | 0 |3385 |7841 |9833 |1986 | 7 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
21.31/21.46 c 21.5s| 1 | 0 | 35793 | - | 81M | 0 |3385 |7841 | 10k|2215 | 8 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
25.70/25.80 c 25.8s| 1 | 0 | 41647 | - | 84M | 0 |3385 |7841 | 10k|2436 | 9 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
29.68/29.84 c 29.8s| 1 | 0 | 46888 | - | 85M | 0 |3385 |7841 |9814 |2570 | 10 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
31.98/32.15 c 32.1s| 1 | 0 | 51033 | - | 86M | 0 |3385 |7841 |9910 |2666 | 11 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
44.84/45.03 c 45.0s| 1 | 2 | 59429 | - | 87M | 0 |3385 |7855 |9910 |2666 | 11 | 43 | 11 | 0.000000e+00 | -- | Inf | unknown
354.25/355.32 c 355s| 100 | 101 |306395 |2579.4 | 89M | 15 |3385 |7868 |8055 |4482 | 1 | 85 | 11 | 0.000000e+00 | -- | Inf | unknown
381.68/382.84 c 383s| 200 | 201 |382800 |1667.2 | 89M | 22 |3385 |7872 |8350 |5902 | 1 | 89 | 11 | 0.000000e+00 | -- | Inf | unknown
419.89/421.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
419.89/421.15 c 421s| 300 | 299 |453893 |1347.4 | 90M | 23 |3385 |7883 |8216 |8126 | 1 | 105 | 11 | 0.000000e+00 | -- | Inf | unknown
454.50/455.82 c 456s| 400 | 397 |523569 |1184.3 | 90M | 23 |3385 |7883 |8196 | 11k| 1 | 115 | 11 | 0.000000e+00 | -- | Inf | unknown
495.61/497.10 c 497s| 500 | 497 |607223 |1114.6 | 91M | 27 |3385 |7882 |8212 | 13k| 1 | 120 | 11 | 0.000000e+00 | -- | Inf | unknown
518.65/520.17 c 520s| 600 | 597 |649813 | 999.6 | 91M | 27 |3385 |7892 |8355 | 15k| 1 | 132 | 11 | 0.000000e+00 | -- | Inf | unknown
546.38/547.94 c 548s| 700 | 697 |702271 | 931.7 | 92M | 27 |3385 |7897 |8212 | 16k| 2 | 138 | 11 | 0.000000e+00 | -- | Inf | unknown
566.53/568.14 c 568s| 800 | 797 |742438 | 865.3 | 93M | 27 |3385 |7910 |8367 | 17k| 1 | 153 | 11 | 0.000000e+00 | -- | Inf | unknown
591.27/592.95 c 593s| 900 | 897 |788278 | 820.1 | 93M | 27 |3385 |7913 |8305 | 19k| 1 | 158 | 11 | 0.000000e+00 | -- | Inf | unknown
618.90/620.65 c 621s| 1000 | 993 |848501 | 798.3 | 93M | 27 |3385 |7909 |8307 | 21k| 1 | 158 | 11 | 0.000000e+00 | -- | Inf | unknown
639.26/641.02 c 641s| 1100 | 1089 |890676 | 764.0 | 94M | 27 |3385 |7912 |8057 | 22k| 1 | 166 | 11 | 0.000000e+00 | -- | Inf | unknown
667.20/669.08 c 669s| 1200 | 1187 |950797 | 750.4 | 94M | 27 |3385 |7911 |8296 | 24k| 1 | 169 | 11 | 0.000000e+00 | -- | Inf | unknown
670.49/672.32 c 672s| 1300 | 1287 |959112 | 699.1 | 94M | 29 |3385 |7910 |8351 | 24k| 1 | 169 | 11 | 0.000000e+00 | -- | Inf | unknown
692.73/694.64 c 695s| 1400 | 1387 | 1026k| 697.4 | 96M | 31 |3385 |7906 |8308 | 25k| 1 | 171 | 11 | 0.000000e+00 | -- | Inf | unknown
723.85/725.87 c 726s| 1500 | 1485 | 1077k| 684.8 | 96M | 31 |3385 |7909 |8352 | 26k| 1 | 178 | 11 | 0.000000e+00 | -- | Inf | unknown
751.28/753.31 c 753s| 1600 | 1583 | 1128k| 673.6 | 96M | 31 |3385 |7910 |8309 | 28k| 1 | 183 | 11 | 0.000000e+00 | -- | Inf | unknown
765.95/768.04 c 768s| 1700 | 1667 | 1158k| 651.7 | 96M | 31 |3385 |7909 |8299 | 29k| 1 | 185 | 11 | 0.000000e+00 | -- | Inf | unknown
779.42/781.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
779.42/781.57 c 782s| 1800 | 1753 | 1184k| 629.8 | 97M | 31 |3385 |7909 |8362 | 30k| 2 | 185 | 11 | 0.000000e+00 | -- | Inf | unknown
800.16/802.31 c 802s| 1900 | 1849 | 1232k| 622.0 | 98M | 31 |3385 |7912 |8147 | 32k| 1 | 193 | 11 | 0.000000e+00 | -- | Inf | unknown
818.02/820.24 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
818.02/820.24 c (run 1, node 1939) performing user restart
818.02/820.24 c
818.02/820.24 c (restart) converted 851 cuts from the global cut pool into linear constraints
818.02/820.24 c
818.02/820.25 c presolving:
818.02/820.25 c (round 1, fast) 0 del vars, 2 del conss, 621 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 622 clqs
818.02/820.27 c (round 2, exhaustive) 0 del vars, 42 del conss, 623 add conss, 0 chg bounds, 2 chg sides, 4 chg coeffs, 0 upgd conss, 0 impls, 622 clqs
818.02/820.28 c (round 3, exhaustive) 0 del vars, 42 del conss, 623 add conss, 0 chg bounds, 2 chg sides, 4 chg coeffs, 1386 upgd conss, 0 impls, 622 clqs
818.02/820.29 c (round 4, fast) 0 del vars, 578 del conss, 623 add conss, 0 chg bounds, 2 chg sides, 4 chg coeffs, 1386 upgd conss, 0 impls, 622 clqs
818.02/820.29 c (round 5, exhaustive) 0 del vars, 578 del conss, 624 add conss, 0 chg bounds, 51 chg sides, 7 chg coeffs, 1386 upgd conss, 0 impls, 622 clqs
818.12/820.30 c (round 6, exhaustive) 0 del vars, 578 del conss, 624 add conss, 0 chg bounds, 51 chg sides, 7 chg coeffs, 1433 upgd conss, 0 impls, 622 clqs
818.12/820.30 c (round 7, fast) 0 del vars, 625 del conss, 624 add conss, 0 chg bounds, 51 chg sides, 7 chg coeffs, 1433 upgd conss, 0 impls, 622 clqs
818.12/820.33 c presolving (8 rounds: 8 fast, 5 medium, 5 exhaustive):
818.12/820.33 c 0 deleted vars, 625 deleted constraints, 624 added constraints, 0 tightened bounds, 0 added holes, 51 changed sides, 8 changed coefficients
818.12/820.33 c 0 implications, 622 cliques
818.12/820.33 c presolved problem has 3385 variables (3385 bin, 0 int, 0 impl, 0 cont) and 8757 constraints
818.12/820.33 c 70 constraints of type <knapsack>
818.12/820.33 c 115 constraints of type <setppc>
818.12/820.33 c 32 constraints of type <and>
818.12/820.33 c 1352 constraints of type <linear>
818.12/820.33 c 7188 constraints of type <logicor>
818.12/820.33 c transformed objective value is always integral (scale: 1)
818.12/820.33 c Presolving Time: 0.36
818.12/820.33 c
818.42/820.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
818.42/820.62 c 821s| 1 | 0 | 1262k| - | 96M | 0 |3385 |8757 |8699 | 0 | 0 | 193 | 11 | 0.000000e+00 | -- | Inf | unknown
820.82/823.07 c 823s| 1 | 0 | 1267k| - | 97M | 0 |3385 |8765 |8998 | 299 | 1 | 194 | 11 | 0.000000e+00 | -- | Inf | unknown
823.70/825.95 c 826s| 1 | 0 | 1271k| - | 98M | 0 |3385 |8765 |9274 | 575 | 2 | 194 | 11 | 0.000000e+00 | -- | Inf | unknown
826.20/828.47 c 828s| 1 | 0 | 1275k| - | 100M | 0 |3385 |8765 |9574 | 875 | 3 | 194 | 11 | 0.000000e+00 | -- | Inf | unknown
829.49/831.79 c 832s| 1 | 0 | 1280k| - | 101M | 0 |3385 |8765 |9862 |1163 | 4 | 194 | 11 | 0.000000e+00 | -- | Inf | unknown
832.79/835.08 c 835s| 1 | 0 | 1285k| - | 102M | 0 |3385 |8765 | 10k|1407 | 5 | 194 | 11 | 0.000000e+00 | -- | Inf | unknown
835.88/838.16 c 838s| 1 | 0 | 1289k| - | 104M | 0 |3385 |8766 | 10k|1544 | 6 | 195 | 11 | 0.000000e+00 | -- | Inf | unknown
838.57/840.87 c 841s| 1 | 0 | 1292k| - | 105M | 0 |3385 |8767 | 10k|1649 | 7 | 196 | 11 | 0.000000e+00 | -- | Inf | unknown
841.96/844.24 c 844s| 1 | 0 | 1296k| - | 106M | 0 |3385 |8767 | 10k|1847 | 8 | 196 | 11 | 0.000000e+00 | -- | Inf | unknown
844.76/847.07 c 847s| 1 | 0 | 1299k| - | 107M | 0 |3385 |8767 | 10k|1951 | 9 | 196 | 11 | 0.000000e+00 | -- | Inf | unknown
848.24/850.52 c 851s| 1 | 0 | 1304k| - | 108M | 0 |3385 |8767 | 10k|2032 | 10 | 196 | 11 | 0.000000e+00 | -- | Inf | unknown
849.84/852.12 c 852s| 1 | 0 | 1307k| - | 109M | 0 |3385 |8767 | 10k|2103 | 11 | 196 | 11 | 0.000000e+00 | -- | Inf | unknown
863.60/865.95 c 866s| 1 | 2 | 1314k| - | 109M | 0 |3385 |8771 | 10k|2103 | 11 | 200 | 22 | 0.000000e+00 | -- | Inf | unknown
904.20/906.64 c 907s| 100 | 101 | 1392k| 635.8 | 112M | 53 |3385 |8784 |8697 |4821 | 1 | 213 | 22 | 0.000000e+00 | -- | Inf | unknown
919.16/921.62 c 922s| 200 | 201 | 1417k| 617.5 | 112M | 124 |3385 |8810 |8867 |5196 | 1 | 239 | 22 | 0.000000e+00 | -- | Inf | unknown
922.15/924.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
922.15/924.69 c 925s| 300 | 301 | 1426k| 593.9 | 117M | 177 |3385 |8810 |9035 |5924 | 1 | 239 | 22 | 0.000000e+00 | -- | Inf | unknown
929.43/931.96 c 932s| 400 | 401 | 1445k| 576.7 | 118M | 177 |3385 |8809 |9088 |7185 | 2 | 239 | 22 | 0.000000e+00 | -- | Inf | unknown
936.91/939.41 c 939s| 500 | 501 | 1464k| 560.8 | 118M | 177 |3385 |8809 |9080 |8476 | 1 | 239 | 22 | 0.000000e+00 | -- | Inf | unknown
945.39/948.00 c 948s| 600 | 601 | 1488k| 548.1 | 120M | 178 |3385 |8819 |9080 |9930 | 2 | 249 | 22 | 0.000000e+00 | -- | Inf | unknown
1018.50/1021.21 c 1021s| 700 | 697 | 1520k| 539.8 | 122M | 178 |3385 |8819 |9046 | 11k| 1 | 249 | 22 | 0.000000e+00 | -- | Inf | unknown
1026.78/1029.52 c 1030s| 800 | 795 | 1541k| 527.7 | 123M | 178 |3385 |8819 |9102 | 12k| 1 | 249 | 22 | 0.000000e+00 | -- | Inf | unknown
1043.44/1046.27 c 1046s| 900 | 895 | 1582k| 523.5 | 124M | 178 |3385 |8827 |8898 | 14k| 1 | 258 | 22 | 0.000000e+00 | -- | Inf | unknown
1051.92/1054.71 c 1055s| 1000 | 989 | 1606k| 513.8 | 124M | 178 |3385 |8837 |9047 | 15k| 1 | 268 | 22 | 0.000000e+00 | -- | Inf | unknown
1062.69/1065.57 c 1066s| 1100 | 1077 | 1632k| 505.5 | 125M | 178 |3385 |8840 |9039 | 16k| 1 | 271 | 22 | 0.000000e+00 | -- | Inf | unknown
1078.05/1081.00 c 1081s| 1200 | 1173 | 1666k| 500.1 | 125M | 186 |3385 |8866 |9101 | 18k| 1 | 298 | 22 | 0.000000e+00 | -- | Inf | unknown
1088.23/1091.11 c 1091s| 1300 | 1269 | 1691k| 492.5 | 125M | 186 |3385 |8866 |9102 | 19k| 1 | 298 | 22 | 0.000000e+00 | -- | Inf | unknown
1098.70/1101.62 c 1102s| 1400 | 1367 | 1719k| 485.9 | 127M | 186 |3385 |8864 |9096 | 20k| 1 | 298 | 22 | 0.000000e+00 | -- | Inf | unknown
1108.38/1111.31 c 1111s| 1500 | 1459 | 1743k| 479.0 | 128M | 186 |3385 |8875 |9103 | 22k| 1 | 320 | 22 | 0.000000e+00 | -- | Inf | unknown
1117.25/1120.21 c 1120s| 1600 | 1557 | 1764k| 471.4 | 128M | 189 |3385 |8872 |9129 | 23k| 1 | 320 | 22 | 0.000000e+00 | -- | Inf | unknown
1123.94/1126.96 c 1127s| 1700 | 1649 | 1784k| 463.9 | 128M | 189 |3385 |8889 |9115 | 24k| 1 | 341 | 22 | 0.000000e+00 | -- | Inf | unknown
1136.11/1139.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1136.11/1139.16 c 1139s| 1800 | 1741 | 1813k| 459.1 | 130M | 189 |3385 |8914 |9110 | 25k| 1 | 372 | 22 | 0.000000e+00 | -- | Inf | unknown
1150.67/1153.76 c 1154s| 1900 | 1839 | 1844k| 455.4 | 130M | 189 |3385 |8911 |9103 | 27k| 1 | 375 | 22 | 0.000000e+00 | -- | Inf | unknown
1155.66/1158.76 c 1159s| 2000 | 1937 | 1860k| 447.9 | 131M | 189 |3385 |8904 |9108 | 28k| 1 | 375 | 22 | 0.000000e+00 | -- | Inf | unknown
1163.54/1166.69 c 1167s| 2100 | 2033 | 1881k| 441.8 | 132M | 189 |3385 |8874 |9123 | 29k| 1 | 382 | 22 | 0.000000e+00 | -- | Inf | unknown
1175.51/1178.64 c 1179s| 2200 | 2125 | 1907k| 437.6 | 133M | 193 |3385 |8886 |9105 | 31k| 1 | 406 | 22 | 0.000000e+00 | -- | Inf | unknown
1185.48/1188.60 c 1189s| 2300 | 2223 | 1932k| 433.1 | 133M | 193 |3385 |8879 |9099 | 32k| 1 | 413 | 22 | 0.000000e+00 | -- | Inf | unknown
1191.87/1195.02 c 1195s| 2400 | 2321 | 1951k| 427.4 | 134M | 193 |3385 |8873 |9105 | 33k| 1 | 413 | 22 | 0.000000e+00 | -- | Inf | unknown
1206.53/1209.71 c 1210s| 2500 | 2415 | 1979k| 424.2 | 134M | 197 |3385 |8889 |9045 | 34k| 1 | 441 | 22 | 0.000000e+00 | -- | Inf | unknown
1210.92/1214.18 c 1214s| 2600 | 2511 | 1992k| 417.7 | 135M | 197 |3385 |8907 |9007 | 35k| 1 | 461 | 22 | 0.000000e+00 | -- | Inf | unknown
1223.19/1226.47 c 1226s| 2700 | 2611 | 2024k| 415.5 | 135M | 197 |3385 |8907 |9052 | 36k| 1 | 466 | 22 | 0.000000e+00 | -- | Inf | unknown
1231.17/1234.48 c 1234s| 2800 | 2707 | 2045k| 411.3 | 135M | 197 |3385 |8915 |9058 | 37k| 2 | 480 | 22 | 0.000000e+00 | -- | Inf | unknown
1248.33/1251.68 c 1252s| 2900 | 2805 | 2082k| 410.4 | 136M | 197 |3385 |8923 |9018 | 38k| 1 | 502 | 22 | 0.000000e+00 | -- | Inf | unknown
1265.08/1268.40 c 1268s| 3000 | 2903 | 2131k| 412.0 | 139M | 197 |3385 |8935 |9051 | 40k| 1 | 518 | 22 | 0.000000e+00 | -- | Inf | unknown
1275.46/1278.84 c 1279s| 3100 | 3003 | 2159k| 409.4 | 141M | 197 |3385 |8923 |9048 | 41k| 1 | 520 | 22 | 0.000000e+00 | -- | Inf | unknown
1288.73/1292.19 c 1292s| 3200 | 3103 | 2192k| 407.8 | 145M | 197 |3385 |8929 |9056 | 43k| 1 | 537 | 22 | 0.000000e+00 | -- | Inf | unknown
1299.20/1302.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1299.20/1302.66 c 1303s| 3300 | 3201 | 2218k| 405.1 | 148M | 197 |3385 |8926 |9195 | 44k| 1 | 540 | 22 | 0.000000e+00 | -- | Inf | unknown
1311.67/1315.13 c 1315s| 3400 | 3299 | 2249k| 403.3 | 149M | 197 |3385 |8937 |9022 | 46k| 1 | 556 | 22 | 0.000000e+00 | -- | Inf | unknown
1320.44/1324.00 c 1324s| 3500 | 3399 | 2272k| 400.0 | 149M | 197 |3385 |8942 |9038 | 47k| 1 | 563 | 22 | 0.000000e+00 | -- | Inf | unknown
1343.28/1346.88 c 1347s| 3600 | 3499 | 2325k| 402.5 | 151M | 197 |3385 |8957 |9042 | 48k| 1 | 581 | 22 | 0.000000e+00 | -- | Inf | unknown
1357.56/1361.15 c 1361s| 3700 | 3597 | 2358k| 401.1 | 151M | 197 |3385 |8971 |9081 | 49k| 1 | 604 | 22 | 0.000000e+00 | -- | Inf | unknown
1366.03/1369.66 c 1370s| 3800 | 3693 | 2380k| 397.9 | 151M | 197 |3385 |8963 |9195 | 51k| 1 | 604 | 22 | 0.000000e+00 | -- | Inf | unknown
1525.84/1529.83 c 1530s| 3900 | 3791 | 2469k| 406.4 | 152M | 197 |3385 |8979 |9105 | 52k| 1 | 634 | 22 | 0.000000e+00 | -- | Inf | unknown
1536.41/1540.42 c 1540s| 4000 | 3889 | 2497k| 404.3 | 152M | 197 |3385 |8985 |9208 | 53k| 1 | 648 | 22 | 0.000000e+00 | -- | Inf | unknown
1545.00/1549.07 c 1549s| 4100 | 3987 | 2517k| 400.9 | 153M | 197 |3385 |9000 |9188 | 54k| 1 | 670 | 22 | 0.000000e+00 | -- | Inf | unknown
1558.56/1562.66 c 1563s| 4200 | 4081 | 2550k| 399.7 | 153M | 197 |3385 |8976 |9208 | 56k| 2 | 670 | 22 | 0.000000e+00 | -- | Inf | unknown
1570.63/1574.73 c 1575s| 4300 | 4181 | 2578k| 397.8 | 154M | 197 |3385 |8978 |9020 | 57k| 1 | 678 | 22 | 0.000000e+00 | -- | Inf | unknown
1584.59/1588.76 c 1589s| 4400 | 4275 | 2610k| 396.6 | 156M | 197 |3385 |8970 |9046 | 59k| 1 | 679 | 22 | 0.000000e+00 | -- | Inf | unknown
1600.15/1604.30 c 1604s| 4500 | 4373 | 2645k| 395.8 | 157M | 197 |3385 |8973 |9042 | 60k| 1 | 709 | 22 | 0.000000e+00 | -- | Inf | unknown
1615.22/1619.44 c 1619s| 4600 | 4471 | 2685k| 396.0 | 158M | 197 |3385 |8972 |9046 | 62k| 1 | 719 | 22 | 0.000000e+00 | -- | Inf | unknown
1629.68/1633.97 c 1634s| 4700 | 4569 | 2720k| 395.1 | 159M | 197 |3385 |8986 |9044 | 63k| 1 | 742 | 22 | 0.000000e+00 | -- | Inf | unknown
1644.75/1649.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1644.75/1649.00 c 1649s| 4800 | 4659 | 2757k| 394.8 | 159M | 197 |3385 |8975 |9119 | 65k| 1 | 755 | 22 | 0.000000e+00 | -- | Inf | unknown
1659.01/1663.32 c 1663s| 4900 | 4745 | 2789k| 393.7 | 160M | 206 |3385 |8972 |9154 | 66k| 2 | 766 | 22 | 0.000000e+00 | -- | Inf | unknown
1674.46/1678.82 c 1679s| 5000 | 4837 | 2824k| 393.1 | 162M | 206 |3385 |8961 |9045 | 67k| 1 | 786 | 22 | 0.000000e+00 | -- | Inf | unknown
1682.34/1686.79 c 1687s| 5100 | 4923 | 2846k| 390.6 | 162M | 206 |3385 |8953 |9168 | 68k| 1 | 786 | 22 | 0.000000e+00 | -- | Inf | unknown
1701.20/1705.60 c 1706s| 5200 | 5013 | 2887k| 390.9 | 162M | 206 |3385 |8965 |9223 | 70k| 1 | 815 | 22 | 0.000000e+00 | -- | Inf | unknown
1712.37/1716.89 c 1717s| 5300 | 5103 | 2915k| 389.4 | 163M | 206 |3385 |8992 |9140 | 71k| 1 | 857 | 22 | 0.000000e+00 | -- | Inf | unknown
1725.54/1730.02 c 1730s| 5400 | 5193 | 2942k| 387.8 | 164M | 206 |3385 |8997 |9225 | 72k| 1 | 867 | 22 | 0.000000e+00 | -- | Inf | unknown
1734.62/1739.11 c 1739s| 5500 | 5285 | 2968k| 386.0 | 164M | 206 |3385 |9013 |9158 | 73k| 1 | 889 | 22 | 0.000000e+00 | -- | Inf | unknown
1748.88/1753.46 c 1753s| 5600 | 5379 | 3013k| 386.9 | 164M | 206 |3385 |9005 |9098 | 74k| 2 | 889 | 22 | 0.000000e+00 | -- | Inf | unknown
1763.04/1767.63 c 1768s| 5700 | 5467 | 3048k| 386.4 | 165M | 206 |3385 |9034 |9047 | 75k| 1 | 949 | 22 | 0.000000e+00 | -- | Inf | unknown
1773.12/1777.79 c 1778s| 5800 | 5563 | 3076k| 385.1 | 166M | 206 |3385 |9042 |9068 | 77k| 1 | 969 | 22 | 0.000000e+00 | -- | Inf | unknown
1790.18/1794.81 c 1795s| 5900 | 5663 | 3115k| 385.1 | 167M | 206 |3385 |9040 |9203 | 78k| 2 | 990 | 22 | 0.000000e+00 | -- | Inf | unknown
1806.04/1810.75 c 1811s| 6000 | 5755 | 3149k| 384.5 | 168M | 206 |3385 |9020 |9199 | 80k| 1 | 990 | 22 | 0.000000e+00 | -- | Inf | unknown
1819.41/1824.15 c 1824s| 6100 | 5851 | 3187k| 384.5 | 168M | 208 |3385 |9015 |8867 | 81k| 1 |1010 | 22 | 0.000000e+00 | -- | Inf | unknown
1831.38/1836.17 c 1836s| 6200 | 5949 | 3218k| 383.6 | 168M | 208 |3385 |8984 |9202 | 82k| 1 |1011 | 22 | 0.000000e+00 | -- | Inf | unknown
1840.95/1845.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1840.95/1845.70 c 1846s| 6300 | 6037 | 3243k| 381.9 | 168M | 208 |3385 |8989 |9153 | 83k| 1 |1028 | 22 | 0.000000e+00 | -- | Inf | unknown
1856.81/1861.62 c 1862s| 6400 | 6123 | 3280k| 381.8 | 169M | 208 |3385 |8987 | 0 | 84k| 0 |1030 | 22 | 0.000000e+00 | -- | Inf | unknown
1866.08/1870.95 c 1871s| 6500 | 6219 | 3304k| 380.2 | 170M | 208 |3385 |9006 |9169 | 85k| 1 |1050 | 22 | 0.000000e+00 | -- | Inf | unknown
1878.95/1883.88 c 1884s| 6600 | 6317 | 3335k| 379.3 | 171M | 208 |3385 |9017 |9031 | 87k| 1 |1073 | 22 | 0.000000e+00 | -- | Inf | unknown
1893.81/1898.75 c 1899s| 6700 | 6411 | 3368k| 378.8 | 171M | 208 |3385 |9034 |9165 | 88k| 1 |1091 | 22 | 0.000000e+00 | -- | Inf | unknown
1909.97/1914.90 c 1915s| 6800 | 6505 | 3404k| 378.5 | 171M | 208 |3385 |9021 |9153 | 89k| 1 |1099 | 22 | 0.000000e+00 | -- | Inf | unknown
1918.16/1923.11 c 1923s| 6900 | 6599 | 3428k| 376.9 | 172M | 208 |3385 |9019 |9156 | 90k| 1 |1114 | 22 | 0.000000e+00 | -- | Inf | unknown
1928.42/1933.45 c 1933s| 7000 | 6693 | 3457k| 375.9 | 172M | 208 |3385 |9023 |9010 | 92k| 1 |1130 | 22 | 0.000000e+00 | -- | Inf | unknown
1948.18/1953.24 c 1953s| 7100 | 6791 | 3499k| 376.4 | 172M | 208 |3385 |9066 |9214 | 93k| 2 |1178 | 22 | 0.000000e+00 | -- | Inf | unknown
1958.55/1963.69 c 1964s| 7200 | 6875 | 3524k| 375.1 | 172M | 208 |3385 |9062 |9157 | 94k| 1 |1178 | 22 | 0.000000e+00 | -- | Inf | unknown
1971.12/1976.20 c 1976s| 7300 | 6973 | 3555k| 374.3 | 172M | 208 |3385 |9073 |9032 | 95k| 1 |1211 | 22 | 0.000000e+00 | -- | Inf | unknown
1983.39/1988.54 c 1989s| 7400 | 7073 | 3585k| 373.6 | 175M | 208 |3385 |9070 |9099 | 97k| 1 |1222 | 22 | 0.000000e+00 | -- | Inf | unknown
1993.37/1998.56 c 1999s| 7500 | 7171 | 3612k| 372.4 | 175M | 208 |3385 |9051 |9218 | 98k| 1 |1223 | 22 | 0.000000e+00 | -- | Inf | unknown
2006.94/2012.17 c 2012s| 7600 | 7266 | 3644k| 371.9 | 175M | 208 |3385 |9044 |9206 | 99k| 1 |1224 | 22 | 0.000000e+00 | -- | Inf | unknown
2020.20/2025.47 c 2025s| 7700 | 7362 | 3673k| 371.1 | 175M | 208 |3385 |9046 |9248 | 100k| 1 |1232 | 22 | 0.000000e+00 | -- | Inf | unknown
2034.37/2039.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2034.37/2039.67 c 2040s| 7800 | 7458 | 3709k| 370.9 | 175M | 208 |3385 |9055 |9218 | 101k| 1 |1253 | 22 | 0.000000e+00 | -- | Inf | unknown
2043.84/2049.19 c 2049s| 7900 | 7546 | 3731k| 369.5 | 177M | 208 |3385 |9086 |8985 | 102k| 1 |1287 | 22 | 0.000000e+00 | -- | Inf | unknown
2055.71/2061.07 c 2061s| 8000 | 7642 | 3760k| 368.6 | 178M | 208 |3385 |9084 |9239 | 103k| 1 |1293 | 22 | 0.000000e+00 | -- | Inf | unknown
2068.68/2074.02 c 2074s| 8100 | 7738 | 3792k| 368.1 | 178M | 208 |3385 |9083 |9004 | 105k| 1 |1303 | 22 | 0.000000e+00 | -- | Inf | unknown
2087.43/2092.81 c 2093s| 8200 | 7836 | 3831k| 368.3 | 178M | 208 |3385 |9132 |9081 | 106k| 1 |1359 | 22 | 0.000000e+00 | -- | Inf | unknown
2099.00/2104.46 c 2104s| 8300 | 7928 | 3858k| 367.4 | 178M | 208 |3385 |9117 |9163 | 107k| 1 |1359 | 22 | 0.000000e+00 | -- | Inf | unknown
2107.48/2112.91 c 2113s| 8400 | 8028 | 3878k| 365.8 | 178M | 208 |3385 |9123 |9081 | 108k| 1 |1371 | 22 | 0.000000e+00 | -- | Inf | unknown
2120.74/2126.21 c 2126s| 8500 | 8128 | 3908k| 365.2 | 179M | 208 |3385 |9125 |9083 | 110k| 1 |1389 | 22 | 0.000000e+00 | -- | Inf | unknown
2135.41/2140.90 c 2141s| 8600 | 8228 | 3954k| 366.1 | 179M | 208 |3385 |9121 |9194 | 111k| 1 |1406 | 22 | 0.000000e+00 | -- | Inf | unknown
2145.08/2150.67 c 2151s| 8700 | 8328 | 3979k| 365.0 | 179M | 208 |3385 |9123 |9052 | 112k| 2 |1421 | 22 | 0.000000e+00 | -- | Inf | unknown
2156.75/2162.38 c 2162s| 8800 | 8426 | 4009k| 364.4 | 180M | 208 |3385 |9107 |9158 | 114k| 1 |1423 | 22 | 0.000000e+00 | -- | Inf | unknown
2174.11/2179.74 c 2180s| 8900 | 8526 | 4046k| 364.4 | 182M | 208 |3385 |9094 |8837 | 115k| 1 |1432 | 22 | 0.000000e+00 | -- | Inf | unknown
2190.37/2196.01 c 2196s| 9000 | 8624 | 4089k| 365.0 | 183M | 208 |3385 |9084 | 0 | 117k| 0 |1442 | 22 | 0.000000e+00 | -- | Inf | unknown
2201.14/2206.80 c 2207s| 9100 | 8724 | 4116k| 364.1 | 184M | 208 |3385 |9087 |9016 | 118k| 1 |1458 | 22 | 0.000000e+00 | -- | Inf | unknown
2214.20/2219.90 c 2220s| 9200 | 8824 | 4150k| 363.9 | 186M | 208 |3385 |9108 |9160 | 119k| 1 |1489 | 22 | 0.000000e+00 | -- | Inf | unknown
2220.79/2226.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2220.79/2226.58 c 2227s| 9300 | 8922 | 4169k| 362.4 | 186M | 208 |3385 |9103 |9189 | 120k| 1 |1490 | 22 | 0.000000e+00 | -- | Inf | unknown
2234.55/2240.35 c 2240s| 9400 | 9020 | 4201k| 362.0 | 186M | 208 |3385 |9090 |9133 | 122k| 2 |1504 | 22 | 0.000000e+00 | -- | Inf | unknown
2248.12/2253.95 c 2254s| 9500 | 9116 | 4234k| 361.7 | 186M | 208 |3385 |9079 |9200 | 123k| 1 |1508 | 22 | 0.000000e+00 | -- | Inf | unknown
2255.80/2261.61 c 2262s| 9600 | 9216 | 4255k| 360.4 | 187M | 208 |3385 |9084 |9046 | 124k| 1 |1519 | 22 | 0.000000e+00 | -- | Inf | unknown
2270.36/2276.25 c 2276s| 9700 | 9312 | 4288k| 360.2 | 188M | 208 |3385 |9094 |9181 | 125k| 1 |1539 | 22 | 0.000000e+00 | -- | Inf | unknown
2282.93/2288.84 c 2289s| 9800 | 9410 | 4316k| 359.5 | 189M | 212 |3385 |9102 |9112 | 126k| 1 |1566 | 22 | 0.000000e+00 | -- | Inf | unknown
2289.91/2295.85 c 2296s| 9900 | 9506 | 4335k| 358.0 | 189M | 212 |3385 |9110 |9190 | 127k| 1 |1579 | 22 | 0.000000e+00 | -- | Inf | unknown
2300.19/2306.11 c 2306s| 10000 | 9604 | 4359k| 357.0 | 189M | 212 |3385 |9113 |9018 | 128k| 1 |1594 | 22 | 0.000000e+00 | -- | Inf | unknown
2313.46/2319.40 c 2319s| 10100 | 9699 | 4392k| 356.8 | 191M | 212 |3385 |9102 |9051 | 129k| 2 |1596 | 22 | 0.000000e+00 | -- | Inf | unknown
2323.14/2329.17 c 2329s| 10200 | 9795 | 4417k| 356.0 | 191M | 212 |3385 |9095 |9101 | 131k| 1 |1606 | 22 | 0.000000e+00 | -- | Inf | unknown
2333.31/2339.31 c 2339s| 10300 | 9893 | 4443k| 355.1 | 191M | 212 |3385 |9112 |9209 | 132k| 1 |1626 | 22 | 0.000000e+00 | -- | Inf | unknown
2347.38/2353.48 c 2353s| 10400 | 9991 | 4473k| 354.7 | 191M | 214 |3385 |9119 |9074 | 133k| 1 |1658 | 22 | 0.000000e+00 | -- | Inf | unknown
2358.35/2364.49 c 2364s| 10500 | 10089 | 4500k| 354.1 | 191M | 214 |3385 |9108 |9190 | 134k| 1 |1670 | 22 | 0.000000e+00 | -- | Inf | unknown
2366.03/2372.19 c 2372s| 10600 | 10183 | 4522k| 353.0 | 191M | 214 |3385 |9095 |9247 | 135k| 1 |1673 | 22 | 0.000000e+00 | -- | Inf | unknown
2376.50/2382.66 c 2383s| 10700 | 10281 | 4546k| 352.1 | 192M | 214 |3385 |9108 |9017 | 136k| 1 |1699 | 22 | 0.000000e+00 | -- | Inf | unknown
2386.58/2392.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2386.58/2392.78 c 2393s| 10800 | 10379 | 4573k| 351.4 | 192M | 214 |3385 |9113 |9217 | 137k| 1 |1709 | 22 | 0.000000e+00 | -- | Inf | unknown
2400.95/2407.14 c 2407s| 10900 | 10475 | 4606k| 351.2 | 194M | 214 |3385 |9148 |9169 | 138k| 1 |1756 | 22 | 0.000000e+00 | -- | Inf | unknown
2409.22/2415.49 c 2415s| 11000 | 10573 | 4626k| 350.1 | 194M | 214 |3385 |9152 |9246 | 139k| 1 |1768 | 22 | 0.000000e+00 | -- | Inf | unknown
2426.88/2433.19 c 2433s| 11100 | 10673 | 4663k| 350.2 | 194M | 214 |3385 |9140 |9209 | 140k| 1 |1779 | 22 | 0.000000e+00 | -- | Inf | unknown
2437.45/2443.77 c 2444s| 11200 | 10773 | 4691k| 349.7 | 194M | 214 |3385 |9156 |9226 | 141k| 1 |1812 | 22 | 0.000000e+00 | -- | Inf | unknown
2451.72/2458.08 c 2458s| 11300 | 10869 | 4724k| 349.5 | 195M | 214 |3385 |9150 |9156 | 142k| 1 |1830 | 22 | 0.000000e+00 | -- | Inf | unknown
2463.08/2469.46 c 2469s| 11400 | 10965 | 4752k| 349.1 | 198M | 214 |3385 |9150 |9174 | 143k| 1 |1850 | 22 | 0.000000e+00 | -- | Inf | unknown
2475.66/2482.09 c 2482s| 11500 | 11065 | 4783k| 348.7 | 198M | 214 |3385 |9140 |8989 | 145k| 1 |1874 | 22 | 0.000000e+00 | -- | Inf | unknown
2489.91/2496.39 c 2496s| 11600 | 11165 | 4813k| 348.4 | 198M | 214 |3385 |9154 |9251 | 146k| 1 |1894 | 22 | 0.000000e+00 | -- | Inf | unknown
2500.29/2506.77 c 2507s| 11700 | 11263 | 4841k| 347.9 | 198M | 214 |3385 |9159 |9134 | 147k| 1 |1912 | 22 | 0.000000e+00 | -- | Inf | unknown
2513.75/2520.29 c 2520s| 11800 | 11363 | 4875k| 347.8 | 198M | 214 |3385 |9178 |9247 | 148k| 1 |1955 | 22 | 0.000000e+00 | -- | Inf | unknown
2524.23/2530.78 c 2531s| 11900 | 11463 | 4900k| 347.1 | 198M | 214 |3385 |9204 |9203 | 149k| 1 |1993 | 22 | 0.000000e+00 | -- | Inf | unknown
2538.79/2545.34 c 2545s| 12000 | 11563 | 4935k| 347.1 | 199M | 214 |3385 |9186 |9089 | 150k| 1 |2018 | 22 | 0.000000e+00 | -- | Inf | unknown
2552.26/2558.88 c 2559s| 12100 | 11663 | 4968k| 347.0 | 199M | 214 |3385 |9189 |9148 | 152k| 1 |2045 | 22 | 0.000000e+00 | -- | Inf | unknown
2566.53/2573.10 c 2573s| 12200 | 11763 | 5003k| 347.0 | 199M | 214 |3385 |9201 |9057 | 153k| 1 |2078 | 22 | 0.000000e+00 | -- | Inf | unknown
2584.77/2591.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2584.77/2591.48 c 2591s| 12300 | 11863 | 5051k| 348.0 | 199M | 214 |3385 |9197 |9202 | 154k| 1 |2095 | 22 | 0.000000e+00 | -- | Inf | unknown
2608.71/2615.48 c 2615s| 12400 | 11963 | 5112k| 349.8 | 199M | 214 |3385 |9220 |9099 | 155k| 1 |2139 | 22 | 0.000000e+00 | -- | Inf | unknown
2625.87/2632.60 c 2633s| 12500 | 12061 | 5171k| 351.5 | 199M | 214 |3385 |9215 |9223 | 157k| 1 |2163 | 22 | 0.000000e+00 | -- | Inf | unknown
2648.41/2655.29 c 2655s| 12600 | 12156 | 5239k| 353.7 | 201M | 214 |3385 |9222 |8868 | 158k| 1 |2193 | 22 | 0.000000e+00 | -- | Inf | unknown
2667.07/2674.00 c 2674s| 12700 | 12256 | 5289k| 354.7 | 202M | 214 |3385 |9202 |9161 | 159k| 1 |2210 | 22 | 0.000000e+00 | -- | Inf | unknown
2689.02/2695.98 c 2696s| 12800 | 12354 | 5345k| 356.1 | 204M | 214 |3385 |9221 |9064 | 160k| 1 |2268 | 22 | 0.000000e+00 | -- | Inf | unknown
2708.37/2715.39 c 2715s| 12900 | 12454 | 5400k| 357.4 | 204M | 214 |3385 |9238 |9210 | 161k| 1 |2299 | 22 | 0.000000e+00 | -- | Inf | unknown
2726.82/2733.89 c 2734s| 13000 | 12552 | 5444k| 358.0 | 205M | 214 |3385 |9263 |9046 | 162k| 1 |2340 | 22 | 0.000000e+00 | -- | Inf | unknown
2741.99/2749.07 c 2749s| 13100 | 12650 | 5487k| 358.5 | 205M | 214 |3385 |9253 |9211 | 163k| 2 |2348 | 22 | 0.000000e+00 | -- | Inf | unknown
2847.02/2854.36 c 2854s| 13200 | 12747 | 5571k| 361.6 | 206M | 214 |3385 |9218 |9212 | 164k| 2 |2356 | 22 | 0.000000e+00 | -- | Inf | unknown
2868.47/2875.84 c 2876s| 13300 | 12839 | 5626k| 362.9 | 207M | 214 |3385 |9241 |8995 | 166k| 1 |2398 | 22 | 0.000000e+00 | -- | Inf | unknown
2894.30/2901.76 c 2902s| 13400 | 12937 | 5691k| 364.8 | 207M | 214 |3385 |9230 |8837 | 167k| 1 |2429 | 22 | 0.000000e+00 | -- | Inf | unknown
2910.16/2917.63 c 2918s| 13500 | 13037 | 5732k| 365.0 | 207M | 214 |3385 |9216 |9195 | 168k| 1 |2434 | 22 | 0.000000e+00 | -- | Inf | unknown
2925.92/2933.43 c 2933s| 13600 | 13137 | 5777k| 365.6 | 207M | 214 |3385 |9234 |9080 | 169k| 1 |2475 | 22 | 0.000000e+00 | -- | Inf | unknown
2949.27/2956.83 c 2957s| 13700 | 13235 | 5842k| 367.4 | 208M | 214 |3385 |9253 |9261 | 171k| 1 |2502 | 22 | 0.000000e+00 | -- | Inf | unknown
2970.81/2978.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2970.81/2978.48 c 2978s| 13800 | 13327 | 5901k| 368.8 | 209M | 214 |3385 |9275 |9249 | 172k| 1 |2565 | 22 | 0.000000e+00 | -- | Inf | unknown
2987.17/2994.86 c 2995s| 13900 | 13425 | 5947k| 369.4 | 209M | 214 |3385 |9263 |9186 | 173k| 1 |2581 | 22 | 0.000000e+00 | -- | Inf | unknown
3005.92/3013.66 c 3014s| 14000 | 13525 | 5998k| 370.3 | 210M | 214 |3385 |9272 |9229 | 174k| 1 |2608 | 22 | 0.000000e+00 | -- | Inf | unknown
3025.17/3032.93 c 3033s| 14100 | 13625 | 6048k| 371.1 | 210M | 214 |3385 |9308 |8986 | 175k| 1 |2659 | 22 | 0.000000e+00 | -- | Inf | unknown
3046.52/3054.36 c 3054s| 14200 | 13725 | 6108k| 372.5 | 210M | 214 |3385 |9313 |9086 | 176k| 1 |2674 | 22 | 0.000000e+00 | -- | Inf | unknown
3064.47/3072.39 c 3072s| 14300 | 13821 | 6156k| 373.1 | 210M | 214 |3385 |9316 |9200 | 177k| 2 |2709 | 22 | 0.000000e+00 | -- | Inf | unknown
3087.12/3095.03 c 3095s| 14400 | 13921 | 6215k| 374.5 | 210M | 214 |3385 |9337 |9089 | 178k| 1 |2746 | 22 | 0.000000e+00 | -- | Inf | unknown
3104.97/3113.00 c 3113s| 14500 | 14019 | 6264k| 375.2 | 210M | 214 |3385 |9334 |9152 | 179k| 1 |2760 | 22 | 0.000000e+00 | -- | Inf | unknown
3128.91/3136.92 c 3137s| 14600 | 14119 | 6324k| 376.5 | 211M | 214 |3385 |9317 |9042 | 180k| 1 |2790 | 22 | 0.000000e+00 | -- | Inf | unknown
3147.77/3155.89 c 3156s| 14700 | 14215 | 6383k| 377.8 | 211M | 214 |3385 |9295 |9146 | 182k| 1 |2793 | 22 | 0.000000e+00 | -- | Inf | unknown
3167.92/3176.05 c 3176s| 14800 | 14312 | 6438k| 378.8 | 211M | 214 |3385 |9282 |9237 | 182k| 1 |2804 | 22 | 0.000000e+00 | -- | Inf | unknown
3188.36/3196.55 c 3197s| 14900 | 14412 | 6494k| 380.0 | 212M | 214 |3385 |9339 |9163 | 184k| 1 |2882 | 22 | 0.000000e+00 | -- | Inf | unknown
3212.00/3220.26 c 3220s| 15000 | 14512 | 6555k| 381.3 | 212M | 214 |3385 |9376 |9035 | 185k| 2 |2938 | 22 | 0.000000e+00 | -- | Inf | unknown
3227.36/3235.60 c 3236s| 15100 | 14606 | 6598k| 381.6 | 212M | 214 |3385 |9362 |9155 | 186k| 2 |2952 | 22 | 0.000000e+00 | -- | Inf | unknown
3248.91/3257.22 c 3257s| 15200 | 14706 | 6655k| 382.7 | 212M | 214 |3385 |9303 |9104 | 187k| 2 |2965 | 22 | 0.000000e+00 | -- | Inf | unknown
3270.55/3278.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3270.55/3278.90 c 3279s| 15300 | 14806 | 6712k| 383.8 | 213M | 214 |3385 |9296 |9215 | 188k| 1 |2987 | 22 | 0.000000e+00 | -- | Inf | unknown
3291.30/3299.72 c 3300s| 15400 | 14904 | 6773k| 385.1 | 215M | 214 |3385 |9302 |9110 | 189k| 1 |3028 | 22 | 0.000000e+00 | -- | Inf | unknown
3307.46/3315.90 c 3316s| 15500 | 15004 | 6818k| 385.4 | 216M | 214 |3385 |9306 |9224 | 190k| 1 |3048 | 22 | 0.000000e+00 | -- | Inf | unknown
3327.81/3336.34 c 3336s| 15600 | 15104 | 6871k| 386.3 | 217M | 214 |3385 |9347 |9253 | 192k| 2 |3111 | 22 | 0.000000e+00 | -- | Inf | unknown
3345.07/3353.60 c 3354s| 15700 | 15202 | 6912k| 386.4 | 217M | 214 |3385 |9349 |9226 | 193k| 1 |3127 | 22 | 0.000000e+00 | -- | Inf | unknown
3367.11/3375.74 c 3376s| 15800 | 15302 | 6970k| 387.5 | 217M | 214 |3385 |9337 |9134 | 194k| 1 |3158 | 22 | 0.000000e+00 | -- | Inf | unknown
3382.57/3391.21 c 3391s| 15900 | 15398 | 7016k| 387.9 | 217M | 214 |3385 |9335 |9222 | 195k| 1 |3189 | 22 | 0.000000e+00 | -- | Inf | unknown
3394.24/3402.90 c 3403s| 16000 | 15492 | 7051k| 387.7 | 217M | 219 |3385 |9350 |9249 | 196k| 2 |3226 | 22 | 0.000000e+00 | -- | Inf | unknown
3417.39/3426.13 c 3426s| 16100 | 15590 | 7111k| 388.8 | 217M | 219 |3385 |9352 |9150 | 197k| 1 |3260 | 22 | 0.000000e+00 | -- | Inf | unknown
3440.42/3449.20 c 3449s| 16200 | 15690 | 7179k| 390.5 | 220M | 219 |3385 |9327 |9242 | 198k| 2 |3263 | 22 | 0.000000e+00 | -- | Inf | unknown
3461.37/3470.24 c 3470s| 16300 | 15790 | 7236k| 391.4 | 220M | 219 |3385 |9323 |9174 | 199k| 1 |3291 | 22 | 0.000000e+00 | -- | Inf | unknown
3476.73/3485.62 c 3486s| 16400 | 15886 | 7279k| 391.7 | 220M | 219 |3385 |9336 |9251 | 200k| 1 |3337 | 22 | 0.000000e+00 | -- | Inf | unknown
3495.28/3504.24 c 3504s| 16500 | 15986 | 7330k| 392.3 | 221M | 219 |3385 |9338 |9164 | 201k| 1 |3359 | 22 | 0.000000e+00 | -- | Inf | unknown
3513.35/3522.34 c 3522s| 16600 | 16086 | 7379k| 392.8 | 222M | 219 |3385 |9333 |9108 | 202k| 1 |3369 | 22 | 0.000000e+00 | -- | Inf | unknown
3537.29/3546.32 c 3546s| 16700 | 16184 | 7451k| 394.6 | 222M | 219 |3385 |9299 |9219 | 203k| 1 |3372 | 22 | 0.000000e+00 | -- | Inf | unknown
3558.73/3567.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3558.73/3567.82 c 3568s| 16800 | 16284 | 7508k| 395.5 | 222M | 219 |3385 |9303 |9035 | 204k| 1 |3404 | 22 | 0.000000e+00 | -- | Inf | unknown
3578.18/3587.37 c 3587s| 16900 | 16384 | 7559k| 396.1 | 223M | 219 |3385 |9311 |9185 | 205k| 2 |3439 | 22 | 0.000000e+00 | -- | Inf | unknown
3588.56/3597.70 c
3588.56/3597.70 c SCIP Status : solving was interrupted [time limit reached]
3588.56/3597.70 c Solving Time (sec) : 3597.69
3588.56/3597.70 c Solving Nodes : 16953 (total of 18892 nodes in 2 runs)
3588.56/3597.70 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3588.56/3597.70 c Dual Bound : +0.00000000000000e+00
3588.56/3597.70 c Gap : infinite
3588.56/3597.70 s UNKNOWN
3588.56/3597.70 c SCIP Status : solving was interrupted [time limit reached]
3588.56/3597.70 c Total Time : 3597.69
3588.56/3597.70 c solving : 3597.69
3588.56/3597.70 c presolving : 0.36 (included in solving)
3588.56/3597.70 c reading : 0.03 (included in solving)
3588.56/3597.70 c copying : 0.61 (43 #copies) (minimal 0.01, maximal 0.02, average 0.01)
3588.56/3597.70 c Original Problem :
3588.56/3597.70 c Problem name : HOME/instance-4512872-1751212157.opb
3588.56/3597.70 c Variables : 4288 (4288 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.56/3597.70 c Constraints : 9504 initial, 9504 maximal
3588.56/3597.70 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3588.56/3597.70 c Presolved Problem :
3588.56/3597.70 c Problem name : t_HOME/instance-4512872-1751212157.opb
3588.56/3597.70 c Variables : 3385 (3385 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.56/3597.70 c Constraints : 8757 initial, 9376 maximal
3588.56/3597.70 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3588.56/3597.70 c Nonzeros : 40691 constraint, 1246 clique table
3588.56/3597.70 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3588.56/3597.70 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c gateextraction : 0.02 0.00 6 0 0 0 0 0 96 32 0 0
3588.56/3597.70 c implics : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c milp : 0.04 0.00 1 3 62 0 0 0 0 0 0 0
3588.56/3597.70 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c trivial : 0.00 0.00 19 69 0 0 0 0 0 0 0 0
3588.56/3597.70 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c dualfix : 0.00 0.00 19 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c probing : 0.09 0.00 1 0 1 0 0 0 0 0 0 0
3588.56/3597.70 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c knapsack : 0.00 0.00 18 0 0 0 0 0 0 3 4 7
3588.56/3597.70 c setppc : 0.00 0.00 20 0 0 0 0 0 2 0 0 0
3588.56/3597.70 c and : 0.00 0.00 19 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c linear : 0.10 0.00 29 691 77 0 691 0 2529 1486 106 0
3588.56/3597.70 c logicor : 0.05 0.01 23 0 0 0 0 0 584 0 0 34
3588.56/3597.70 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c root node : - - - 0 - - 0 - - - - -
3588.56/3597.70 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3588.56/3597.70 c benderslp : 0 0 0 0 18609 0 0 2876 0 0 0 0 0 0 0
3588.56/3597.70 c integral : 0 0 0 0 18609 0 0 2876 0 0 0 0 0 0 37218
3588.56/3597.70 c knapsack : 70+ 75 11 385939 0 0 0 0 403 30 732 91 7 0 0
3588.56/3597.70 c setppc : 115+ 117 11 337589 0 0 0 0 1258 34 912 1 0 0 0
3588.56/3597.70 c and : 32 32 19695 389856 0 0 0 2871 510 2 972 996 955 0 0
3588.56/3597.70 c linear : 1352+ 1362 23 394917 0 0 0 73 50974 3784 94161 1 1 0 0
3588.56/3597.70 c logicor : 7188+ 7794 22 242611 0 0 0 0 13288 265 25332 12 6 0 0
3588.56/3597.70 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3588.56/3597.70 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3588.56/3597.70 c integral : 20.20 0.00 0.00 0.00 20.20 0.00 0.00 0.00 0.00 0.00
3588.56/3597.70 c knapsack : 0.09 0.00 0.00 0.09 0.00 0.00 0.00 0.00 0.00 0.00
3588.56/3597.70 c setppc : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
3588.56/3597.70 c and : 0.22 0.00 0.12 0.10 0.00 0.00 0.00 0.01 0.00 0.00
3588.56/3597.70 c linear : 1.53 0.00 0.01 1.49 0.00 0.00 0.00 0.00 0.03 0.00
3588.56/3597.70 c logicor : 1.23 0.01 0.02 1.19 0.00 0.00 0.00 0.00 0.01 0.00
3588.56/3597.70 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.56/3597.70 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.56/3597.70 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.56/3597.70 c components : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3588.56/3597.70 c Propagators : #Propagate #ResProp Cutoffs DomReds
3588.56/3597.70 c dualfix : 2 0 0 0
3588.56/3597.70 c genvbounds : 0 0 0 0
3588.56/3597.70 c nlobbt : 0 0 0 0
3588.56/3597.70 c obbt : 0 0 0 0
3588.56/3597.70 c probing : 0 0 0 0
3588.56/3597.70 c pseudoobj : 0 0 0 0
3588.56/3597.70 c redcost : 0 0 0 0
3588.56/3597.70 c rootredcost : 0 0 0 0
3588.56/3597.70 c symmetry : 0 0 0 0
3588.56/3597.70 c vbounds : 71234 0 0 0
3588.56/3597.70 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3588.56/3597.70 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3588.56/3597.70 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00
3588.56/3597.70 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.56/3597.70 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.56/3597.70 c probing : 0.09 0.00 0.09 0.00 0.00 0.00
3588.56/3597.70 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3588.56/3597.70 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3588.56/3597.70 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3588.56/3597.70 c symmetry : 0.08 0.00 0.02 0.05 0.00 0.00
3588.56/3597.70 c vbounds : 0.08 0.00 0.00 0.08 0.00 0.00
3588.56/3597.70 c Symmetry :
3588.56/3597.70 c orbitopal red. : 0 reductions applied, 0 cutoffs
3588.56/3597.70 c orbital reduction: 0 reductions applied, 0 cutoffs
3588.56/3597.70 c lexicographic red: 0 reductions applied, 0 cutoffs
3588.56/3597.70 c shadow tree time : 0.00 s
3588.56/3597.70 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3588.56/3597.70 c propagation : 0.09 597 580 - 6749 121.5 418 7.5 - - -
3588.56/3597.70 c infeasible LP : 0.14 87 83 - 3925 240.3 59 5.3 67 144.7 0
3588.56/3597.70 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3588.56/3597.70 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3588.56/3597.70 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3588.56/3597.70 c applied globally : 0.01 - - 0 3391 56.9 - - 66 - -
3588.56/3597.70 c applied locally : - - - 0 0 0.0 - - 1 - -
3588.56/3597.70 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3588.56/3597.70 c cut pool : 1.10 - 3767 42 - - 11387 751231 - - - - - (maximal pool size: 5319)
3588.56/3597.70 c aggregation : 0.48 0.00 51 22 0 0 8184 289364 46 119548 119514 34 0
3588.56/3597.70 c > cmir : - - - - - - - 98386 0 26027 26027 0 -
3588.56/3597.70 c > flowcover : - - - - - - - 99500 0 46282 46282 0 -
3588.56/3597.70 c > knapsackcover : - - - - - - - 91478 46 47239 47205 34 -
3588.56/3597.70 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c clique : 0.03 0.00 22 22 0 0 7 37 0 6 6 0 0
3588.56/3597.70 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c gomory : 19.02 0.00 49 20 0 0 2169 322164 92 33366 33355 11 0
3588.56/3597.70 c > gomorymi : - - - - - - - 151637 46 24003 23993 10 -
3588.56/3597.70 c > strongcg : - - - - - - - 170527 46 9363 9362 1 -
3588.56/3597.70 c impliedbounds : 0.01 0.00 51 22 0 0 680 35014 0 22441 22441 0 0
3588.56/3597.70 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c multilinear : 0.00 0.00 189 22 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.56/3597.70 c rapidlearning : 3.99 0.00 38 2 0 2 0 0 0 0 0 0 17
3588.56/3597.70 c rlt : 0.86 0.00 40 20 0 0 10 12 0 7 7 0 0
3588.56/3597.70 c zerohalf : 1.35 0.00 51 22 0 0 676 104640 201 63037 62857 180 0
3588.56/3597.70 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3588.56/3597.70 c hybrid : 1.51 0.00 4400 22 239374 0 513297 4769 0 6779
3588.56/3597.70 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3588.56/3597.70 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3588.56/3597.70 c Pricers : ExecTime SetupTime Calls Vars
3588.56/3597.70 c problem variables: 0.00 - 0 0
3588.56/3597.70 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3588.56/3597.70 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.56/3597.70 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3588.56/3597.70 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3588.56/3597.70 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.56/3597.70 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3588.56/3597.70 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3588.56/3597.70 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.56/3597.70 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3588.56/3597.70 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.56/3597.70 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3588.56/3597.70 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3588.56/3597.70 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3588.56/3597.70 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3588.56/3597.70 c relpscost : 20.18 0.00 18609 0 0 0 0 0 0 37218
3588.56/3597.70 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3588.56/3597.70 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3588.56/3597.70 c LP solutions : 0.00 - - 0 0
3588.56/3597.70 c relax solutions : 0.00 - - 0 0
3588.56/3597.70 c pseudo solutions : 0.00 - - 0 0
3588.56/3597.70 c strong branching : 0.00 - - 0 0
3588.56/3597.70 c actconsdiving : 0.00 0.00 0 0 0
3588.56/3597.70 c adaptivediving : 32.39 0.00 11 0 0
3588.56/3597.70 c alns : 0.16 0.00 5 0 0
3588.56/3597.70 c bound : 0.00 0.00 0 0 0
3588.56/3597.70 c clique : 0.02 0.00 1 0 0
3588.56/3597.70 c coefdiving : 0.00 0.00 0 0 0
3588.56/3597.70 c completesol : 0.00 0.00 0 0 0
3588.56/3597.70 c conflictdiving : 503.48 0.00 324 0 0
3588.56/3597.70 c crossover : 0.00 0.00 0 0 0
3588.56/3597.70 c dins : 0.00 0.00 0 0 0
3588.56/3597.70 c distributiondivin: 192.08 0.00 69 0 0
3588.56/3597.70 c dps : 0.00 0.00 0 0 0
3588.56/3597.70 c dualval : 0.00 0.00 0 0 0
3588.56/3597.70 c farkasdiving : 0.00 0.00 0 0 0
3588.56/3597.70 c feasjump : 0.03 0.00 2 0 0
3588.56/3597.70 c feaspump : 37.89 0.00 9 0 0
3588.56/3597.70 c fixandinfer : 0.00 0.00 0 0 0
3588.56/3597.70 c fracdiving : 189.29 0.00 69 0 0
3588.56/3597.70 c gins : 0.00 0.00 0 0 0
3588.56/3597.70 c guideddiving : 0.00 0.00 0 0 0
3588.56/3597.70 c indcoefdiving : 0.00 0.00 0 0 0
3588.56/3597.70 c indicator : 0.01 0.00 0 0 0
3588.56/3597.70 c indicatordiving : 0.00 0.00 0 0 0
3588.56/3597.70 c indoneopt : 0.01 0.00 0 0 0
3588.56/3597.70 c indrounding : 0.00 0.00 0 0 0
3588.56/3597.70 c indtwoopt : 0.00 0.00 0 0 0
3588.56/3597.70 c intdiving : 0.00 0.00 0 0 0
3588.56/3597.70 c intshifting : 0.00 0.00 0 0 0
3588.56/3597.70 c linesearchdiving : 186.30 0.00 69 0 0
3588.56/3597.70 c localbranching : 0.00 0.00 0 0 0
3588.56/3597.70 c locks : 0.02 0.00 1 0 0
3588.56/3597.70 c lpface : 0.07 0.00 0 0 0
3588.56/3597.70 c mpec : 0.00 0.00 0 0 0
3588.56/3597.70 c multistart : 0.00 0.00 0 0 0
3588.56/3597.70 c mutation : 0.00 0.00 0 0 0
3588.56/3597.70 c nlpdiving : 0.00 0.00 0 0 0
3588.56/3597.70 c objpscostdiving : 486.48 0.00 4 0 0
3588.56/3597.70 c octane : 0.00 0.00 0 0 0
3588.56/3597.70 c ofins : 0.00 0.00 0 0 0
3588.56/3597.70 c oneopt : 0.01 0.00 0 0 0
3588.56/3597.70 c padm : 0.00 0.00 0 0 0
3588.56/3597.70 c proximity : 0.00 0.00 0 0 0
3588.56/3597.70 c pscostdiving : 201.54 0.00 42 0 0
3588.56/3597.70 c randrounding : 0.73 0.00 2886 0 0
3588.56/3597.70 c rens : 0.00 0.00 0 0 0
3588.56/3597.70 c reoptsols : 0.00 0.00 0 0 0
3588.56/3597.70 c repair : 0.00 0.00 0 0 0
3588.56/3597.70 c rins : 0.00 0.00 0 0 0
3588.56/3597.70 c rootsoldiving : 23.59 0.00 10 0 0
3588.56/3597.70 c rounding : 0.45 0.00 2102 0 0
3588.56/3597.70 c scheduler : 0.00 0.00 0 0 0
3588.56/3597.70 c shiftandpropagate: 0.04 0.00 2 0 0
3588.56/3597.70 c shifting : 1.20 0.00 1000 0 0
3588.56/3597.70 c simplerounding : 0.01 0.00 0 0 0
3588.56/3597.70 c smallcard : 0.00 0.00 0 0 0
3588.56/3597.70 c subnlp : 0.02 0.00 0 0 0
3588.56/3597.70 c trivial : 0.00 0.00 4 0 0
3588.56/3597.70 c trivialnegation : 0.00 0.00 0 0 0
3588.56/3597.70 c trustregion : 0.00 0.00 0 0 0
3588.56/3597.70 c trysol : 0.01 0.00 0 0 0
3588.56/3597.70 c twoopt : 0.00 0.00 0 0 0
3588.56/3597.70 c undercover : 0.00 0.00 1 0 0
3588.56/3597.70 c vbounds : 0.00 0.00 0 0 0
3588.56/3597.70 c veclendiving : 187.51 0.00 126 0 0
3588.56/3597.70 c zeroobj : 0.00 0.00 0 0 0
3588.56/3597.70 c zirounding : 0.17 0.00 1000 0 0
3588.56/3597.70 c other solutions : - - - 0 -
3588.56/3597.70 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3588.56/3597.70 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.56/3597.70 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.56/3597.70 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.56/3597.70 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.56/3597.70 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.56/3597.70 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.56/3597.70 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.56/3597.70 c zeroobjective : 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
3588.56/3597.70 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
3588.56/3597.70 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3588.56/3597.70 c primal LP : 3.46 1850 0 0.00 0.00 3.46 1850
3588.56/3597.70 c dual LP : 1469.13 23013 4751696 206.70 3234.36 0.07 25
3588.56/3597.70 c lex dual LP : 0.00 0 0 0.00 -
3588.56/3597.70 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3588.56/3597.70 c resolve instable : 0.00 0 0 0.00 -
3588.56/3597.70 c diving/probing LP: 2021.17 4625 2832524 612.44 1401.42
3588.56/3597.70 c strong branching : 12.40 22 20088 913.09 1619.38 - - 38
3588.56/3597.70 c (at root node) : - 22 20088 913.09 -
3588.56/3597.70 c conflict analysis: 0.00 0 0 0.00 -
3588.56/3597.70 c B&B Tree :
3588.56/3597.70 c number of runs : 2
3588.56/3597.70 c nodes : 16953 (16698 internal, 255 leaves)
3588.56/3597.70 c feasible leaves : 0
3588.56/3597.70 c infeas. leaves : 255
3588.56/3597.70 c objective leaves : 0
3588.56/3597.70 c nodes (total) : 18892 (18609 internal, 283 leaves)
3588.56/3597.70 c nodes left : 16437
3588.56/3597.70 c max depth : 219
3588.56/3597.70 c max depth (total): 219
3588.56/3597.70 c backtracks : 814 (4.8%)
3588.56/3597.70 c early backtracks : 0 (0.0%)
3588.56/3597.70 c nodes exc. ref. : 0 (0.0%)
3588.56/3597.70 c delayed cutoffs : 7
3588.56/3597.70 c repropagations : 689 (176 domain reductions, 0 cutoffs)
3588.56/3597.70 c avg switch length: 3.39
3588.56/3597.70 c switching time : 6.16
3588.56/3597.70 c Root Node :
3588.56/3597.70 c First LP value : +0.00000000000000e+00
3588.56/3597.70 c First LP Iters : 969 (23288.23 Iter/sec)
3588.56/3597.70 c First LP Time : 0.04
3588.56/3597.70 c Final Dual Bound : +0.00000000000000e+00
3588.56/3597.70 c Final Root Iters : 97109
3588.56/3597.70 c Root LP Estimate : +3.08321813109959e-01
3588.56/3597.70 c Solution :
3588.56/3597.70 c Solutions found : 0 (0 improvements)
3588.56/3597.70 c Primal Bound : -
3588.56/3597.70 c Dual Bound : +0.00000000000000e+00
3588.56/3597.70 c Gap : infinite
3588.56/3597.70 c Integrals : Total Avg%
3588.56/3597.70 c primal-dual : 359769.20 100.00
3588.56/3597.70 c primal-ref : - - (not evaluated)
3588.56/3597.70 c dual-ref : - - (not evaluated)
3588.56/3597.75 c Time complete: 3588.61.
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: 63708 MiB (57917 MiB free)
memory of node 1: 64465 MiB (59489 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512872-1751212157/watcher-4512872-1751212157 -o /tmp/evaluation-result-4512872-1751212157/solver-4512872-1751212157 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751204926-27567 --watchdog 3760 pbscip -f HOME/instance-4512872-1751212157.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=28485, runsolver pid=28482
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.11 4.14 4.11 5/262 28486
/proc/meminfo: memFree=120192692/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=76324 memory=49700 CPUtime=0.09 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 9888 0 0 0 8 1 0 0 20 0 1 0 36894266 78155776 12425 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 19081 12425 3712 3530 0 10532 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 76324 KiB
Current children cumulated memory: 49700 KiB
[startup+0.205728 s]*
/proc/loadavg: 4.11 4.14 4.11 5/262 28486
/proc/meminfo: memFree=120188912/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=79024 memory=52456 CPUtime=0.2 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 11124 0 0 0 18 2 0 0 20 0 1 0 36894266 80920576 13114 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 19756 13114 3712 3530 0 11207 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 79024 KiB
Current children cumulated memory: 52456 KiB
[startup+0.305595 s]*
/proc/loadavg: 4.11 4.14 4.11 5/262 28486
/proc/meminfo: memFree=120184880/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=86200 memory=55528 CPUtime=0.29 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 11874 0 0 0 27 2 0 0 20 0 1 0 36894266 88268800 13882 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 21550 13882 3744 3530 0 13001 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 86200 KiB
Current children cumulated memory: 55528 KiB
[startup+0.700202 s]
/proc/loadavg: 4.11 4.14 4.11 5/262 28486
/proc/meminfo: memFree=120160940/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=107568 memory=77720 CPUtime=0.68 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 18099 0 0 0 65 3 0 0 20 0 1 0 36894266 110149632 19430 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 26892 19430 3936 3530 0 18343 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 107568 KiB
Current children cumulated memory: 77720 KiB
[startup+1.50018 s]
/proc/loadavg: 4.11 4.14 4.11 5/262 28486
/proc/meminfo: memFree=120128684/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=139392 memory=107436 CPUtime=1.48 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 26754 0 0 0 143 5 0 0 20 0 1 0 36894266 142737408 26859 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 34848 26859 3968 3530 0 26299 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 139392 KiB
Current children cumulated memory: 107436 KiB
[startup+3.10553 s]
/proc/loadavg: 4.10 4.14 4.10 5/262 28486
/proc/meminfo: memFree=120128876/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=139392 memory=107564 CPUtime=3.08 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 26767 0 0 0 303 5 0 0 20 0 1 0 36894266 142737408 26891 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 34848 26891 3968 3530 0 26299 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 139392 KiB
Current children cumulated memory: 107564 KiB
[startup+6.30018 s]
/proc/loadavg: 4.10 4.14 4.10 5/262 28486
/proc/meminfo: memFree=120129052/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=139392 memory=108844 CPUtime=6.27 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 27088 0 0 0 622 5 0 0 20 0 1 0 36894266 142737408 27211 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 34848 27211 3968 3530 0 26299 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 139392 KiB
Current children cumulated memory: 108844 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.14 4.10 5/262 28486
/proc/meminfo: memFree=120129060/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=139392 memory=108844 CPUtime=12.64 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 27106 0 0 0 1259 5 0 0 20 0 1 0 36894266 142737408 27211 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 34848 27211 3968 3530 0 26299 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 139392 KiB
Current children cumulated memory: 108844 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.15 4.11 5/262 28486
/proc/meminfo: memFree=120120868/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=139392 memory=108972 CPUtime=25.4 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 27134 0 0 0 2535 5 0 0 20 0 1 0 36894266 142737408 27243 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 34848 27243 3968 3530 0 26299 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 139392 KiB
Current children cumulated memory: 108972 KiB
[startup+51.1056 s]
/proc/loadavg: 4.09 4.14 4.10 5/262 28487
/proc/meminfo: memFree=120024420/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=168044 memory=134452 CPUtime=50.92 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 35481 0 0 0 5085 7 0 0 20 0 1 0 36894266 172077056 33613 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 42011 33613 3968 3530 0 33462 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 168044 KiB
Current children cumulated memory: 134452 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/264 28538
/proc/meminfo: memFree=124952016/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=168044 memory=134452 CPUtime=101.96 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 35481 0 0 0 10189 7 0 0 20 0 1 0 36894266 172077056 33613 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 42011 33613 3968 3530 0 33462 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 168044 KiB
Current children cumulated memory: 134452 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 28540
/proc/meminfo: memFree=124950932/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=168044 memory=134452 CPUtime=161.79 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 35481 0 0 0 16172 7 0 0 20 0 1 0 36894266 172077056 33613 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 42011 33613 3968 3530 0 33462 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 168044 KiB
Current children cumulated memory: 134452 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 28589
/proc/meminfo: memFree=129405300/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=168044 memory=134452 CPUtime=221.62 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 35481 0 0 0 22155 7 0 0 20 0 1 0 36894266 172077056 33613 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 42011 33613 3968 3530 0 33462 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 168044 KiB
Current children cumulated memory: 134452 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 28595
/proc/meminfo: memFree=129383328/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=170772 memory=138616 CPUtime=281.45 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 38851 0 0 0 28138 7 0 0 20 0 1 0 36894266 174870528 34654 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 42693 34654 3968 3530 0 34144 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 170772 KiB
Current children cumulated memory: 138616 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 28597
/proc/meminfo: memFree=129339836/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=170772 memory=139640 CPUtime=341.28 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 38873 0 0 0 34121 7 0 0 20 0 1 0 36894266 174870528 34910 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 42693 34910 3968 3530 0 34144 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 170772 KiB
Current children cumulated memory: 139640 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 28599
/proc/meminfo: memFree=129327892/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=176560 memory=151544 CPUtime=401.13 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 40348 0 0 0 40106 7 0 0 20 0 1 0 36894266 180797440 37886 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 44140 37886 3968 3530 0 35591 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 176560 KiB
Current children cumulated memory: 151544 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 28601
/proc/meminfo: memFree=129316132/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=176560 memory=151544 CPUtime=460.99 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 40356 0 0 0 46092 7 0 0 20 0 1 0 36894266 180797440 37886 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 44140 37886 3968 3530 0 35591 0
Current children cumulated CPU time: 460.99 s
Current children cumulated vsize: 176560 KiB
################
# More data... #
################
/proc/loadavg: 4.09 4.09 4.09 5/265 28743
/proc/meminfo: memFree=128791696/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=264612 memory=239848 CPUtime=3214.1 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 78246 0 0 0 321395 15 0 0 20 0 1 0 36894266 270962688 59962 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 66153 59962 3968 3530 0 57604 0
Current children cumulated CPU time: 3214.1 s
Current children cumulated vsize: 264612 KiB
Current children cumulated memory: 239848 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 28749
/proc/meminfo: memFree=128808584/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=267528 memory=242792 CPUtime=3273.95 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 78956 0 0 0 327380 15 0 0 20 0 1 0 36894266 273948672 60698 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 66882 60698 3968 3530 0 58333 0
Current children cumulated CPU time: 3273.95 s
Current children cumulated vsize: 267528 KiB
Current children cumulated memory: 242792 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 28751
/proc/meminfo: memFree=128801600/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=269900 memory=245096 CPUtime=3333.79 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 79550 0 0 0 333364 15 0 0 20 0 1 0 36894266 276377600 61274 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 67475 61274 3968 3530 0 58926 0
Current children cumulated CPU time: 3333.79 s
Current children cumulated vsize: 269900 KiB
Current children cumulated memory: 245096 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 28753
/proc/meminfo: memFree=128802384/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=269900 memory=245096 CPUtime=3393.64 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 79551 0 0 0 339349 15 0 0 20 0 1 0 36894266 276377600 61274 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 67475 61274 3968 3530 0 58926 0
Current children cumulated CPU time: 3393.64 s
Current children cumulated vsize: 269900 KiB
Current children cumulated memory: 245096 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/265 28755
/proc/meminfo: memFree=128803748/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=272432 memory=247656 CPUtime=3453.49 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 80193 0 0 0 345334 15 0 0 20 0 1 0 36894266 278970368 61914 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 68108 61914 3968 3530 0 59559 0
Current children cumulated CPU time: 3453.49 s
Current children cumulated vsize: 272432 KiB
Current children cumulated memory: 247656 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 28757
/proc/meminfo: memFree=128804520/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=274344 memory=249448 CPUtime=3513.35 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 80633 0 0 0 351319 16 0 0 20 0 1 0 36894266 280928256 62362 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 68586 62362 3968 3530 0 60037 0
Current children cumulated CPU time: 3513.35 s
Current children cumulated vsize: 274344 KiB
Current children cumulated memory: 249448 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 28759
/proc/meminfo: memFree=128804940/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=275564 memory=250728 CPUtime=3573.2 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 81057 0 0 0 357304 16 0 0 20 0 1 0 36894266 282177536 62682 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 68891 62682 3968 3530 0 60342 0
Current children cumulated CPU time: 3573.2 s
Current children cumulated vsize: 275564 KiB
Current children cumulated memory: 250728 KiB
[startup+3597.76 s]
# the end of solver process 28485 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.46 s, system=0.162461 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.09 4.09 5/265 28759
/proc/meminfo: memFree=128805192/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=275564 memory=250728 CPUtime=3574.9 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 81057 0 0 0 357474 16 0 0 20 0 1 0 36894266 282177536 62682 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 68891 62682 3968 3530 0 60342 0
Current children cumulated CPU time: 3574.9 s
Current children cumulated vsize: 275564 KiB
Current children cumulated memory: 250728 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 28760
/proc/meminfo: memFree=128805736/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=275564 memory=250728 CPUtime=3581.27 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 81059 0 0 0 358111 16 0 0 20 0 1 0 36894266 282177536 62682 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 68891 62682 3968 3530 0 60342 0
Current children cumulated CPU time: 3581.27 s
Current children cumulated vsize: 275564 KiB
Current children cumulated memory: 250728 KiB
[startup+3593.6 s]
/proc/loadavg: 4.10 4.09 4.09 4/263 28774
/proc/meminfo: memFree=129084772/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=275564 memory=250728 CPUtime=3584.47 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 81059 0 0 0 358431 16 0 0 20 0 1 0 36894266 282177536 62682 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 68891 62682 3968 3530 0 60342 0
Current children cumulated CPU time: 3584.47 s
Current children cumulated vsize: 275564 KiB
Current children cumulated memory: 250728 KiB
[startup+3595.2 s]
/proc/loadavg: 4.10 4.09 4.09 4/259 28791
/proc/meminfo: memFree=129103224/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=275836 memory=251112 CPUtime=3586.06 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 81127 0 0 0 358590 16 0 0 20 0 1 0 36894266 282456064 62778 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 68959 62778 3968 3530 0 60410 0
Current children cumulated CPU time: 3586.06 s
Current children cumulated vsize: 275836 KiB
Current children cumulated memory: 251112 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.09 4.09 4/259 28791
/proc/meminfo: memFree=129103232/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=275836 memory=251112 CPUtime=3587.66 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 81127 0 0 0 358750 16 0 0 20 0 1 0 36894266 282456064 62778 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 68959 62778 3968 3530 0 60410 0
Current children cumulated CPU time: 3587.66 s
Current children cumulated vsize: 275836 KiB
Current children cumulated memory: 251112 KiB
[startup+3597.2 s]
/proc/loadavg: 4.01 4.07 4.08 4/259 28791
/proc/meminfo: memFree=129103484/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=275836 memory=251112 CPUtime=3588.06 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 81127 0 0 0 358790 16 0 0 20 0 1 0 36894266 282456064 62778 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 68959 62778 3968 3530 0 60410 0
Current children cumulated CPU time: 3588.06 s
Current children cumulated vsize: 275836 KiB
Current children cumulated memory: 251112 KiB
[startup+3597.6 s]
/proc/loadavg: 4.01 4.07 4.08 4/259 28791
/proc/meminfo: memFree=129103484/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=275836 memory=251112 CPUtime=3588.46 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 81127 0 0 0 358830 16 0 0 20 0 1 0 36894266 282456064 62778 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 68959 62778 3968 3530 0 60410 0
Current children cumulated CPU time: 3588.46 s
Current children cumulated vsize: 275836 KiB
Current children cumulated memory: 251112 KiB
[startup+3597.7 s]
/proc/loadavg: 4.01 4.07 4.08 4/259 28791
/proc/meminfo: memFree=129103484/131249988 swapFree=33010684/33010684
[pid=28485] ppid=28482 vsize=275836 memory=251112 CPUtime=3588.56 cores=1,3
/proc/28485/stat : 28485 (pbscip) R 28482 28485 27555 0 -1 4194304 81127 0 0 0 358840 16 0 0 20 0 1 0 36894266 282456064 62778 18446744073709551615 4235264 18693293 140726739661664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35889152 140726739663241 140726739663340 140726739663340 140726739668942 0
/proc/28485/statm: 68959 62778 3968 3530 0 60410 0
Current children cumulated CPU time: 3588.56 s
Current children cumulated vsize: 275836 KiB
Current children cumulated memory: 251112 KiB
Child status: 0
Real time (s): 3597.76
CPU time (s): 3588.62
CPU user time (s): 3588.46
CPU system time (s): 0.162461
CPU usage (%): 99.746
Max. virtual memory (cumulated for all children) (KiB): 275836
Max. memory (cumulated for all children) (KiB): 251112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.46
system time used= 0.162461
maximum resident set size= 251112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81140
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108
involuntary context switches= 1988
# summary of solver processes directly reported to runsolver:
# pid: 28485
# total CPU time (s): 3588.62
# total CPU user time (s): 3588.46
# total CPU system time (s): 0.162461
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.97234 second user time and 15.5489 second system time
The end