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-4513160-1751214360.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.02
0.00/0.03 c No objective function, only one solution is needed.
0.00/0.05 c presolving:
0.00/0.06 c (round 1, fast) 598 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.06 c (round 2, fast) 893 del vars, 1699 del conss, 776 add conss, 699 chg bounds, 4 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 431 clqs
0.00/0.06 c (round 3, fast) 895 del vars, 1704 del conss, 796 add conss, 701 chg bounds, 6 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 456 clqs
0.00/0.08 c (0.1s) running MILP presolver
0.00/0.10 c (0.1s) MILP presolver (4 rounds): 54 aggregations, 2 fixings, 0 bound changes
0.00/0.10 c (round 4, medium) 951 del vars, 1704 del conss, 796 add conss, 701 chg bounds, 6 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 345 clqs
0.00/0.10 c (round 5, fast) 951 del vars, 1772 del conss, 839 add conss, 701 chg bounds, 6 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 368 clqs
0.09/0.11 c (round 6, exhaustive) 951 del vars, 2456 del conss, 839 add conss, 701 chg bounds, 6 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 368 clqs
0.09/0.13 c (round 7, exhaustive) 951 del vars, 2456 del conss, 839 add conss, 701 chg bounds, 6 chg sides, 0 chg coeffs, 6470 upgd conss, 0 impls, 368 clqs
0.09/0.13 c (round 8, exhaustive) 951 del vars, 2552 del conss, 871 add conss, 701 chg bounds, 6 chg sides, 0 chg coeffs, 6470 upgd conss, 0 impls, 368 clqs
0.09/0.16 c (round 9, exhaustive) 951 del vars, 2552 del conss, 871 add conss, 701 chg bounds, 71 chg sides, 0 chg coeffs, 6470 upgd conss, 0 impls, 368 clqs
0.09/0.16 c (round 10, exhaustive) 951 del vars, 2552 del conss, 871 add conss, 701 chg bounds, 71 chg sides, 0 chg coeffs, 6535 upgd conss, 0 impls, 368 clqs
0.19/0.29 c (0.3s) probing: 1000/3397 (29.4%) - 0 fixings, 1 aggregations, 325 implications, 0 bound changes
0.19/0.30 c (0.3s) probing: 1097/3397 (32.3%) - 0 fixings, 1 aggregations, 339 implications, 0 bound changes
0.19/0.30 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.19/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.32 c presolving (11 rounds: 11 fast, 7 medium, 6 exhaustive):
0.29/0.32 c 952 deleted vars, 2552 deleted constraints, 871 added constraints, 701 tightened bounds, 0 added holes, 71 changed sides, 35 changed coefficients
0.29/0.32 c 0 implications, 701 cliques
0.29/0.32 c presolved problem has 3396 variables (3396 bin, 0 int, 0 impl, 0 cont) and 7823 constraints
0.29/0.32 c 32 constraints of type <and>
0.29/0.32 c 1352 constraints of type <linear>
0.29/0.32 c 6439 constraints of type <logicor>
0.29/0.32 c transformed objective value is always integral (scale: 1)
0.29/0.32 c Presolving Time: 0.28
0.29/0.32 c - non default parameters ----------------------------------------------------------------------
0.29/0.32 c # SCIP version 10.0.0
0.29/0.32 c
0.29/0.32 c # maximal time in seconds to run
0.29/0.32 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.29/0.32 c limits/time = 3596.997018
0.29/0.32 c
0.29/0.32 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.32 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.29/0.32 c limits/memory = 27900
0.29/0.32 c
0.29/0.32 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.29/0.32 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.29/0.32 c limits/solutions = 1
0.29/0.32 c
0.29/0.32 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.32 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.29/0.32 c misc/usesymmetry = 3
0.29/0.32 c
0.29/0.32 c # belongs reading time to solving time?
0.29/0.32 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.29/0.32 c timing/reading = TRUE
0.29/0.32 c
0.29/0.32 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.29/0.32 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.29/0.32 c propagating/symmetry/detectdoublelex = FALSE
0.29/0.32 c
0.29/0.32 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.29/0.32 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.29/0.32 c propagating/symmetry/detectsubgroups = FALSE
0.29/0.32 c
0.29/0.32 c # Type of symmetries that shall be computed?
0.29/0.32 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.29/0.32 c propagating/symmetry/symtype = 1
0.29/0.32 c
0.29/0.32 c # Should components consisting of a single full reflection be handled?
0.29/0.32 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.29/0.32 c propagating/symmetry/usesimplesgncomp = FALSE
0.29/0.32 c
0.29/0.32 c -----------------------------------------------------------------------------------------------
0.29/0.32 c start solving
0.29/0.33 c
0.29/0.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.29/0.40 c 0.4s| 1 | 0 | 946 | - | 55M | 0 |3396 |7861 |7855 | 0 | 0 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.88/0.97 c 1.0s| 1 | 0 | 3126 | - | 60M | 0 |3396 |7861 |8150 | 295 | 1 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
2.28/2.33 c 2.3s| 1 | 0 | 5618 | - | 64M | 0 |3396 |7861 |8447 | 592 | 2 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
4.08/4.11 c 4.1s| 1 | 0 | 8377 | - | 67M | 0 |3396 |7861 |8735 | 880 | 3 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
6.17/6.20 c 6.2s| 1 | 0 | 11726 | - | 70M | 0 |3396 |7862 |9027 |1172 | 4 | 39 | 0 | 0.000000e+00 | -- | Inf | unknown
8.26/8.31 c 8.3s| 1 | 0 | 14892 | - | 71M | 0 |3396 |7862 |9215 |1360 | 5 | 39 | 0 | 0.000000e+00 | -- | Inf | unknown
10.45/10.54 c 10.5s| 1 | 0 | 18221 | - | 75M | 0 |3396 |7862 |9495 |1640 | 6 | 39 | 0 | 0.000000e+00 | -- | Inf | unknown
13.44/13.58 c 13.6s| 1 | 0 | 22837 | - | 76M | 0 |3396 |7862 |9730 |1875 | 7 | 39 | 0 | 0.000000e+00 | -- | Inf | unknown
16.64/16.79 c 16.8s| 1 | 0 | 27560 | - | 78M | 0 |3396 |7863 |9875 |2020 | 8 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
19.23/19.37 c 19.4s| 1 | 0 | 30816 | - | 81M | 0 |3396 |7863 |9980 |2125 | 9 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
22.42/22.50 c 22.5s| 1 | 0 | 35267 | - | 82M | 0 |3396 |7863 | 10k|2244 | 10 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
24.02/24.12 c 24.1s| 1 | 0 | 38410 | - | 83M | 0 |3396 |7864 | 10k|2348 | 11 | 41 | 0 | 0.000000e+00 | -- | Inf | unknown
40.57/40.73 c 40.7s| 1 | 2 | 46984 | - | 83M | 0 |3396 |7868 | 10k|2348 | 11 | 45 | 19 | 0.000000e+00 | -- | Inf | unknown
353.12/354.19 c 354s| 100 | 101 |318949 |2833.7 | 86M | 14 |3396 |7946 |8166 |3953 | 1 | 143 | 19 | 0.000000e+00 | -- | Inf | unknown
383.73/384.87 c 385s| 200 | 199 |377069 |1701.8 | 86M | 17 |3396 |7951 |8014 |4757 | 1 | 158 | 19 | 0.000000e+00 | -- | Inf | unknown
426.41/427.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
426.41/427.64 c 428s| 300 | 299 |470012 |1443.5 | 87M | 26 |3396 |7948 |8312 |7330 | 1 | 164 | 19 | 0.000000e+00 | -- | Inf | unknown
442.36/443.64 c 444s| 400 | 399 |507929 |1176.7 | 87M | 27 |3396 |7941 |8312 |8531 | 1 | 164 | 19 | 0.000000e+00 | -- | Inf | unknown
500.81/502.29 c 502s| 500 | 497 |634782 |1195.1 | 88M | 27 |3396 |7926 | 0 | 11k| 0 | 167 | 19 | 0.000000e+00 | -- | Inf | unknown
533.51/535.02 c 535s| 600 | 597 |699662 |1103.9 | 88M | 29 |3396 |7936 |8328 | 14k| 1 | 188 | 19 | 0.000000e+00 | -- | Inf | unknown
570.76/572.41 c 572s| 700 | 697 |769956 |1046.6 | 90M | 31 |3396 |7936 |8313 | 16k| 1 | 201 | 19 | 0.000000e+00 | -- | Inf | unknown
605.65/607.42 c 607s| 800 | 797 |846813 |1011.8 | 91M | 31 |3396 |7955 |8361 | 20k| 2 | 226 | 19 | 0.000000e+00 | -- | Inf | unknown
639.62/641.53 c 642s| 900 | 889 |917791 | 978.2 | 91M | 31 |3396 |7947 | 0 | 23k| 0 | 242 | 19 | 0.000000e+00 | -- | Inf | unknown
687.16/689.25 c 689s| 1000 | 981 | 1011k| 974.1 | 92M | 31 |3396 |7942 |8320 | 26k| 1 | 255 | 19 | 0.000000e+00 | -- | Inf | unknown
729.21/731.40 c 731s| 1100 | 1067 | 1095k| 962.2 | 92M | 31 |3396 |7941 |8306 | 29k| 1 | 266 | 19 | 0.000000e+00 | -- | Inf | unknown
751.33/753.69 c 754s| 1200 | 1163 | 1136k| 915.6 | 92M | 31 |3396 |7942 |8322 | 30k| 1 | 269 | 19 | 0.000000e+00 | -- | Inf | 1.23%
767.87/770.26 c 770s| 1300 | 1259 | 1172k| 872.9 | 92M | 31 |3396 |7947 |8165 | 31k| 1 | 276 | 19 | 0.000000e+00 | -- | Inf | 1.32%
790.30/792.73 c 793s| 1400 | 1357 | 1220k| 844.9 | 94M | 31 |3396 |7956 |8166 | 33k| 1 | 288 | 19 | 0.000000e+00 | -- | Inf | 1.32%
802.85/805.35 c 805s| 1500 | 1453 | 1247k| 806.3 | 94M | 31 |3396 |7957 |8161 | 34k| 1 | 289 | 19 | 0.000000e+00 | -- | Inf | 1.33%
816.40/818.91 c 819s| 1600 | 1541 | 1276k| 774.0 | 94M | 31 |3396 |7956 |8014 | 35k| 1 | 290 | 19 | 0.000000e+00 | -- | Inf | 1.39%
834.14/836.78 c 837s| 1700 | 1635 | 1307k| 746.8 | 94M | 32 |3396 |7959 |8312 | 36k| 1 | 295 | 19 | 0.000000e+00 | -- | Inf | 1.41%
846.20/848.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
846.20/848.85 c 849s| 1800 | 1729 | 1334k| 720.5 | 94M | 33 |3396 |7959 |8160 | 37k| 1 | 296 | 19 | 0.000000e+00 | -- | Inf | 1.56%
879.68/882.46 c 882s| 1900 | 1821 | 1418k| 726.9 | 95M | 33 |3396 |7967 |8014 | 39k| 1 | 308 | 19 | 0.000000e+00 | -- | Inf | 2.49%
911.07/913.99 c 914s| 2000 | 1919 | 1481k| 722.0 | 97M | 33 |3396 |7972 |8316 | 41k| 1 | 323 | 19 | 0.000000e+00 | -- | Inf | 2.54%
949.44/952.48 c 952s| 2100 | 2019 | 1560k| 725.3 | 97M | 33 |3396 |7970 |8317 | 43k| 2 | 336 | 19 | 0.000000e+00 | -- | Inf | 2.54%
976.95/980.01 c 980s| 2200 | 2119 | 1624k| 721.4 | 98M | 33 |3396 |7966 |8185 | 46k| 1 | 338 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1008.03/1011.21 c 1011s| 2300 | 2219 | 1693k| 720.1 | 99M | 34 |3396 |7963 |8316 | 48k| 2 | 343 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1030.25/1033.52 c 1034s| 2400 | 2319 | 1744k| 711.2 | 99M | 34 |3396 |7958 |8319 | 51k| 1 | 343 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1046.09/1049.48 c 1049s| 2500 | 2419 | 1781k| 697.4 | 99M | 34 |3396 |7963 |8396 | 52k| 1 | 351 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1076.78/1080.24 c 1080s| 2600 | 2519 | 1841k| 693.7 | 99M | 34 |3396 |7969 |8173 | 54k| 1 | 366 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1088.94/1092.49 c 1092s| 2700 | 2617 | 1868k| 678.2 | 100M | 34 |3396 |7968 |8173 | 55k| 1 | 369 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1113.35/1116.98 c 1117s| 2800 | 2717 | 1920k| 672.4 | 101M | 34 |3396 |7969 |8161 | 57k| 1 | 372 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1370.70/1375.11 c 1375s| 2900 | 2817 | 2092k| 708.6 | 101M | 34 |3396 |7976 |8159 | 59k| 1 | 383 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1395.51/1400.07 c 1400s| 3000 | 2917 | 2145k| 702.4 | 102M | 34 |3396 |7968 |8151 | 61k| 1 | 385 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1423.21/1427.82 c 1428s| 3100 | 3017 | 2205k| 699.3 | 103M | 34 |3396 |7978 |8308 | 63k| 2 | 400 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1440.85/1445.56 c 1446s| 3200 | 3117 | 2240k| 688.4 | 103M | 35 |3396 |7975 |8312 | 64k| 1 | 405 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1453.20/1457.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1453.20/1457.96 c 1458s| 3300 | 3217 | 2271k| 676.9 | 103M | 35 |3396 |7970 |8172 | 66k| 1 | 405 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1477.02/1481.82 c 1482s| 3400 | 3317 | 2324k| 672.7 | 103M | 35 |3396 |7968 |8361 | 68k| 2 | 410 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1497.15/1502.03 c 1502s| 3500 | 3417 | 2367k| 665.6 | 103M | 35 |3396 |7965 |8316 | 69k| 1 | 413 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1511.79/1516.73 c 1517s| 3600 | 3517 | 2397k| 655.5 | 105M | 35 |3396 |7961 |8313 | 70k| 1 | 413 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1543.99/1549.03 c 1549s| 3700 | 3617 | 2466k| 656.3 | 105M | 35 |3396 |7968 |8361 | 73k| 2 | 427 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1566.60/1571.71 c 1572s| 3800 | 3717 | 2517k| 652.4 | 105M | 35 |3396 |7994 |8322 | 75k| 1 | 456 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1579.36/1584.54 c 1585s| 3900 | 3817 | 2539k| 641.6 | 105M | 35 |3396 |7991 |8151 | 75k| 1 | 457 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1597.29/1602.56 c 1603s| 4000 | 3917 | 2579k| 635.3 | 106M | 35 |3396 |7993 |8322 | 77k| 1 | 462 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1619.21/1624.57 c 1625s| 4100 | 4017 | 2626k| 631.5 | 106M | 35 |3396 |7986 |8151 | 79k| 1 | 470 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1639.34/1644.74 c 1645s| 4200 | 4117 | 2677k| 628.5 | 108M | 35 |3396 |7984 |8448 | 81k| 2 | 474 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1680.80/1686.35 c 1686s| 4300 | 4217 | 2775k| 636.6 | 108M | 35 |3396 |7981 |8214 | 84k| 2 | 482 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1702.32/1707.99 c 1708s| 4400 | 4317 | 2819k| 632.2 | 109M | 35 |3396 |7997 |8308 | 85k| 1 | 504 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1719.76/1725.45 c 1725s| 4500 | 4415 | 2857k| 626.6 | 109M | 35 |3396 |7989 |8317 | 87k| 1 | 506 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1751.25/1757.01 c 1757s| 4600 | 4511 | 2929k| 628.5 | 110M | 35 |3396 |7993 |8312 | 90k| 1 | 520 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1775.36/1781.29 c 1781s| 4700 | 4611 | 2984k| 626.9 | 110M | 35 |3396 |7985 |8308 | 92k| 1 | 533 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1803.36/1809.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1803.36/1809.31 c 1809s| 4800 | 4711 | 3042k| 626.0 | 111M | 35 |3396 |7985 |8315 | 95k| 1 | 548 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1820.70/1826.79 c 1827s| 4900 | 4809 | 3085k| 621.9 | 111M | 35 |3396 |7987 |8171 | 96k| 1 | 555 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1844.62/1850.75 c 1851s| 5000 | 4909 | 3138k| 620.1 | 111M | 35 |3396 |7985 |8172 | 98k| 1 | 561 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1857.87/1864.04 c 1864s| 5100 | 5009 | 3169k| 614.2 | 111M | 35 |3396 |7987 |8313 | 100k| 1 | 568 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1882.18/1888.41 c 1888s| 5200 | 5109 | 3221k| 612.3 | 111M | 35 |3396 |7993 |8160 | 102k| 1 | 581 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1912.47/1918.84 c 1919s| 5300 | 5209 | 3287k| 613.1 | 112M | 35 |3396 |7988 |8323 | 104k| 1 | 592 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1926.22/1932.61 c 1933s| 5400 | 5309 | 3321k| 608.1 | 112M | 35 |3396 |7988 |8305 | 106k| 1 | 592 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1945.25/1951.72 c 1952s| 5500 | 5409 | 3358k| 603.8 | 112M | 35 |3396 |7983 |8312 | 107k| 1 | 596 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1966.68/1973.26 c 1973s| 5600 | 5507 | 3404k| 601.3 | 112M | 35 |3396 |7988 |8312 | 109k| 1 | 606 | 19 | 0.000000e+00 | -- | Inf | 2.54%
1990.69/1997.34 c 1997s| 5700 | 5607 | 3454k| 599.5 | 113M | 35 |3396 |8005 |8434 | 110k| 2 | 631 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2012.12/2018.89 c 2019s| 5800 | 5707 | 3501k| 597.1 | 114M | 35 |3396 |8010 |8332 | 113k| 2 | 644 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2030.45/2037.25 c 2037s| 5900 | 5807 | 3542k| 594.0 | 114M | 35 |3396 |8004 |8303 | 115k| 1 | 644 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2051.08/2057.98 c 2058s| 6000 | 5907 | 3587k| 591.5 | 114M | 35 |3396 |8008 |8170 | 116k| 1 | 657 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2068.32/2075.23 c 2075s| 6100 | 6005 | 3617k| 586.8 | 116M | 36 |3396 |8004 |8336 | 117k| 1 | 661 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2087.06/2094.01 c 2094s| 6200 | 6105 | 3657k| 583.9 | 116M | 36 |3396 |8001 |8170 | 119k| 1 | 669 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2116.25/2123.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2116.25/2123.36 c 2123s| 6300 | 6205 | 3719k| 584.4 | 116M | 36 |3396 |8012 |8308 | 121k| 1 | 686 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2132.59/2139.75 c 2140s| 6400 | 6303 | 3751k| 580.2 | 116M | 37 |3396 |8009 |8298 | 122k| 1 | 686 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2150.53/2157.72 c 2158s| 6500 | 6403 | 3793k| 577.8 | 116M | 37 |3396 |8007 |8399 | 125k| 1 | 688 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2168.77/2176.04 c 2176s| 6600 | 6501 | 3834k| 575.3 | 118M | 37 |3396 |8017 |8151 | 126k| 1 | 703 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2189.39/2196.73 c 2197s| 6700 | 6601 | 3878k| 573.3 | 119M | 37 |3396 |8016 |8308 | 128k| 1 | 705 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2214.50/2221.94 c 2222s| 6800 | 6701 | 3929k| 572.3 | 119M | 37 |3396 |8012 |8315 | 130k| 1 | 715 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2239.31/2246.87 c 2247s| 6900 | 6801 | 3983k| 571.8 | 119M | 37 |3396 |8003 |8308 | 133k| 1 | 716 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2260.05/2267.67 c 2268s| 7000 | 6901 | 4042k| 572.1 | 119M | 37 |3396 |8000 |8319 | 134k| 1 | 717 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2279.98/2287.65 c 2288s| 7100 | 7001 | 4089k| 570.6 | 119M | 37 |3396 |7999 |8346 | 136k| 2 | 722 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2310.57/2318.31 c 2318s| 7200 | 7101 | 4148k| 571.0 | 120M | 38 |3396 |7990 |8396 | 139k| 1 | 724 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2329.31/2337.19 c 2337s| 7300 | 7199 | 4182k| 567.8 | 121M | 39 |3396 |7990 |8171 | 140k| 1 | 725 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2355.31/2363.30 c 2363s| 7400 | 7299 | 4251k| 569.4 | 123M | 39 |3396 |7992 |8430 | 143k| 1 | 727 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2372.45/2380.45 c 2380s| 7500 | 7399 | 4288k| 566.8 | 123M | 39 |3396 |8001 |8399 | 145k| 1 | 737 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2394.57/2402.68 c 2403s| 7600 | 7499 | 4329k| 564.7 | 123M | 39 |3396 |8015 |8477 | 147k| 2 | 759 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2415.40/2423.50 c 2423s| 7700 | 7595 | 4371k| 562.8 | 123M | 39 |3396 |8026 |8415 | 149k| 1 | 772 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2438.22/2446.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2438.22/2446.41 c 2446s| 7800 | 7689 | 4416k| 561.4 | 123M | 39 |3396 |8014 |8174 | 150k| 1 | 776 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2461.14/2469.49 c 2469s| 7900 | 7789 | 4463k| 560.2 | 124M | 39 |3396 |8006 |8308 | 153k| 1 | 778 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2477.68/2486.04 c 2486s| 8000 | 7889 | 4502k| 558.1 | 128M | 40 |3396 |8001 |8594 | 155k| 2 | 781 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2514.84/2523.36 c 2523s| 8100 | 7983 | 4583k| 561.1 | 130M | 45 |3396 |7996 |8547 | 158k| 1 | 788 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2551.81/2560.44 c 2560s| 8200 | 8083 | 4661k| 563.9 | 130M | 45 |3396 |7988 |8179 | 161k| 1 | 794 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2564.47/2573.11 c 2573s| 8300 | 8181 | 4693k| 560.9 | 130M | 45 |3396 |7988 |8164 | 163k| 1 | 797 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2590.78/2599.54 c 2600s| 8400 | 8281 | 4747k| 560.7 | 131M | 45 |3396 |7979 |8456 | 165k| 2 | 799 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2623.36/2632.28 c 2632s| 8500 | 8381 | 4817k| 562.4 | 132M | 45 |3396 |7992 |8545 | 168k| 1 | 816 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2654.35/2663.37 c 2663s| 8600 | 8481 | 4883k| 563.4 | 132M | 45 |3396 |7985 |8361 | 171k| 2 | 822 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2679.16/2688.23 c 2688s| 8700 | 8581 | 4936k| 563.0 | 132M | 45 |3396 |7987 |8392 | 174k| 1 | 829 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2700.48/2709.63 c 2710s| 8800 | 8681 | 4987k| 562.4 | 134M | 45 |3396 |7985 |8512 | 176k| 2 | 829 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2728.49/2737.79 c 2738s| 8900 | 8781 | 5039k| 562.0 | 134M | 45 |3396 |7980 |8298 | 178k| 1 | 833 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2757.19/2766.55 c 2767s| 9000 | 8881 | 5099k| 562.4 | 134M | 45 |3396 |7986 |8322 | 181k| 1 | 844 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2771.44/2780.83 c 2781s| 9100 | 8981 | 5136k| 560.2 | 134M | 45 |3396 |7994 |8289 | 182k| 1 | 855 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2778.62/2788.05 c 2788s| 9200 | 9081 | 5156k| 556.3 | 134M | 45 |3396 |7990 |8410 | 183k| 1 | 855 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2815.10/2824.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2815.10/2824.64 c 2825s| 9300 | 9181 | 5228k| 558.1 | 137M | 45 |3396 |7985 |8426 | 185k| 1 | 859 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2840.81/2850.43 c 2850s| 9400 | 9281 | 5291k| 558.9 | 139M | 45 |3396 |7991 |8580 | 189k| 1 | 866 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2876.59/2886.30 c 2886s| 9500 | 9381 | 5374k| 561.7 | 141M | 45 |3396 |7999 |8427 | 192k| 2 | 878 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2914.56/2924.40 c 2924s| 9600 | 9477 | 5451k| 563.9 | 141M | 45 |3396 |8009 |8473 | 196k| 1 | 890 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2937.19/2947.13 c 2947s| 9700 | 9577 | 5502k| 563.3 | 142M | 45 |3396 |8011 |8394 | 198k| 1 | 893 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2973.27/2983.32 c 2983s| 9800 | 9673 | 5594k| 567.0 | 142M | 45 |3396 |8038 |8165 | 199k| 1 | 940 | 19 | 0.000000e+00 | -- | Inf | 2.54%
2993.40/3003.54 c 3004s| 9900 | 9773 | 5642k| 566.1 | 143M | 45 |3396 |8036 |8426 | 201k| 1 | 953 | 19 | 0.000000e+00 | -- | Inf | 2.54%
3023.01/3033.28 c 3033s| 10000 | 9867 | 5716k| 567.8 | 143M | 45 |3396 |8045 |8588 | 205k| 1 | 964 | 19 | 0.000000e+00 | -- | Inf | 2.54%
3049.62/3059.91 c 3060s| 10100 | 9967 | 5769k| 567.5 | 144M | 45 |3396 |8041 |8572 | 207k| 1 | 978 | 19 | 0.000000e+00 | -- | Inf | 2.54%
3095.88/3106.34 c 3106s| 10200 | 10065 | 5861k| 571.0 | 146M | 45 |3396 |8063 |8165 | 210k| 1 |1009 | 19 | 0.000000e+00 | -- | Inf | 2.57%
3113.24/3123.76 c 3124s| 10300 | 10163 | 5906k| 569.8 | 147M | 45 |3396 |8052 |8167 | 213k| 1 |1009 | 19 | 0.000000e+00 | -- | Inf | 2.57%
3141.87/3152.44 c 3152s| 10400 | 10263 | 5965k| 570.0 | 147M | 45 |3396 |8049 |8427 | 215k| 1 |1012 | 19 | 0.000000e+00 | -- | Inf | 2.57%
3169.80/3180.47 c 3180s| 10500 | 10361 | 6024k| 570.2 | 148M | 45 |3396 |8052 |8323 | 218k| 2 |1022 | 19 | 0.000000e+00 | -- | Inf | 2.57%
3192.55/3203.27 c 3203s| 10600 | 10461 | 6076k| 569.7 | 150M | 45 |3396 |8049 |8576 | 221k| 1 |1028 | 19 | 0.000000e+00 | -- | Inf | 2.57%
3232.95/3243.78 c 3244s| 10700 | 10561 | 6154k| 571.6 | 151M | 45 |3396 |8070 |8630 | 224k| 2 |1061 | 19 | 0.000000e+00 | -- | Inf | 2.57%
3260.58/3271.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3260.58/3271.41 c 3271s| 10800 | 10661 | 6221k| 572.5 | 151M | 45 |3396 |8069 |8324 | 226k| 1 |1072 | 19 | 0.000000e+00 | -- | Inf | 2.57%
3281.73/3292.67 c 3293s| 10900 | 10761 | 6274k| 572.1 | 151M | 45 |3396 |8067 |8160 | 229k| 1 |1079 | 19 | 0.000000e+00 | -- | Inf | 2.57%
3319.44/3330.40 c 3330s| 11000 | 10860 | 6349k| 573.8 | 154M | 45 |3396 |8065 |8167 | 232k| 1 |1092 | 19 | 0.000000e+00 | -- | Inf | 2.57%
3346.17/3357.24 c 3357s| 11100 | 10958 | 6408k| 573.9 | 154M | 45 |3396 |8057 |8406 | 234k| 1 |1098 | 19 | 0.000000e+00 | -- | Inf | 2.57%
3368.71/3379.85 c 3380s| 11200 | 11058 | 6457k| 573.2 | 154M | 45 |3396 |8057 |8470 | 237k| 1 |1104 | 19 | 0.000000e+00 | -- | Inf | 2.57%
3399.94/3411.12 c 3411s| 11300 | 11158 | 6527k| 574.3 | 156M | 45 |3396 |8055 |8352 | 239k| 2 |1112 | 19 | 0.000000e+00 | -- | Inf | 2.57%
3437.34/3448.66 c 3449s| 11400 | 11258 | 6605k| 576.1 | 156M | 45 |3396 |8066 |8407 | 243k| 1 |1128 | 19 | 0.000000e+00 | -- | Inf | 2.57%
3465.37/3476.70 c 3477s| 11500 | 11358 | 6668k| 576.6 | 156M | 45 |3396 |8070 |8426 | 246k| 1 |1143 | 19 | 0.000000e+00 | -- | Inf | 2.57%
3497.50/3508.90 c 3509s| 11600 | 11458 | 6736k| 577.5 | 157M | 45 |3396 |8061 |8330 | 249k| 1 |1146 | 19 | 0.000000e+00 | -- | Inf | 2.57%
3533.01/3544.56 c 3545s| 11700 | 11558 | 6820k| 579.7 | 158M | 45 |3396 |8057 |8483 | 253k| 2 |1159 | 19 | 0.000000e+00 | -- | Inf | 2.57%
3572.91/3584.52 c 3585s| 11800 | 11658 | 6897k| 581.4 | 159M | 45 |3396 |8035 |8165 | 256k| 1 |1164 | 19 | 0.000000e+00 | -- | Inf | 2.57%
3585.38/3597.00 c
3585.38/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.38/3597.00 c Solving Time (sec) : 3597.00
3585.38/3597.00 c Solving Nodes : 11850
3585.38/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3585.38/3597.00 c Dual Bound : +0.00000000000000e+00
3585.38/3597.00 c Gap : infinite
3585.38/3597.00 s UNKNOWN
3585.38/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.38/3597.00 c Total Time : 3597.00
3585.38/3597.00 c solving : 3597.00
3585.38/3597.00 c presolving : 0.28 (included in solving)
3585.38/3597.00 c reading : 0.02 (included in solving)
3585.38/3597.00 c copying : 1.48 (105 #copies) (minimal 0.01, maximal 0.02, average 0.01)
3585.38/3597.00 c Original Problem :
3585.38/3597.00 c Problem name : HOME/instance-4513160-1751214360.opb
3585.38/3597.00 c Variables : 4288 (4288 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.38/3597.00 c Constraints : 9504 initial, 9504 maximal
3585.38/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.38/3597.00 c Presolved Problem :
3585.38/3597.00 c Problem name : t_HOME/instance-4513160-1751214360.opb
3585.38/3597.00 c Variables : 3396 (3396 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.38/3597.00 c Constraints : 7823 initial, 8078 maximal
3585.38/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.38/3597.00 c Nonzeros : 36621 constraint, 1404 clique table
3585.38/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.38/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c gateextraction : 0.00 0.00 1 0 0 0 0 0 96 32 0 0
3585.38/3597.00 c implics : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c milp : 0.03 0.00 1 2 54 0 0 0 0 0 0 0
3585.38/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c trivial : 0.00 0.00 11 60 0 0 0 0 0 0 0 0
3585.38/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c dualfix : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c probing : 0.12 0.00 1 0 1 0 0 0 0 0 0 0
3585.38/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c setppc : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c and : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c linear : 0.07 0.00 16 701 74 0 701 0 2456 839 71 0
3585.38/3597.00 c logicor : 0.02 0.00 9 0 0 0 0 0 0 0 0 35
3585.38/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c root node : - - - 0 - - 0 - - - - -
3585.38/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.38/3597.00 c benderslp : 0 0 0 0 11778 0 0 2371 0 0 0 0 0 0 0
3585.38/3597.00 c integral : 0 0 0 0 11778 0 0 2371 0 0 0 0 0 0 23556
3585.38/3597.00 c knapsack : 0+ 13 0 358347 0 0 0 0 48 27 21 0 0 0 0
3585.38/3597.00 c setppc : 0+ 3 0 108957 0 0 0 0 5 2 220 0 0 0 0
3585.38/3597.00 c and : 32 32 12535 371778 0 0 0 2367 380 3 2512 1157 1109 0 0
3585.38/3597.00 c linear : 1352+ 1372 11 381257 0 0 0 8 11450 3025 29376 0 0 0 0
3585.38/3597.00 c logicor : 6439+ 6675 11 212953 0 0 0 0 2121 148 1878 0 0 0 0
3585.38/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.38/3597.00 c benderslp : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.38/3597.00 c integral : 14.56 0.00 0.00 0.00 14.56 0.00 0.00 0.00 0.00 0.00
3585.38/3597.00 c knapsack : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
3585.38/3597.00 c setppc : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3585.38/3597.00 c and : 0.23 0.00 0.11 0.11 0.00 0.00 0.00 0.00 0.00 0.00
3585.38/3597.00 c linear : 1.04 0.00 0.00 1.03 0.00 0.00 0.00 0.00 0.01 0.00
3585.38/3597.00 c logicor : 0.78 0.00 0.01 0.77 0.00 0.00 0.00 0.00 0.00 0.00
3585.38/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.38/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.38/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.38/3597.00 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3585.38/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.38/3597.00 c dualfix : 1 0 0 0
3585.38/3597.00 c genvbounds : 0 0 0 0
3585.38/3597.00 c nlobbt : 0 0 0 0
3585.38/3597.00 c obbt : 0 0 0 0
3585.38/3597.00 c probing : 0 0 0 0
3585.38/3597.00 c pseudoobj : 0 0 0 0
3585.38/3597.00 c redcost : 0 0 0 0
3585.38/3597.00 c rootredcost : 0 0 0 0
3585.38/3597.00 c symmetry : 0 0 0 0
3585.38/3597.00 c vbounds : 84201 0 0 0
3585.38/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.38/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3585.38/3597.00 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00
3585.38/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.38/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.38/3597.00 c probing : 0.12 0.00 0.12 0.00 0.00 0.00
3585.38/3597.00 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3585.38/3597.00 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3585.38/3597.00 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3585.38/3597.00 c symmetry : 0.07 0.00 0.02 0.04 0.00 0.00
3585.38/3597.00 c vbounds : 0.06 0.00 0.00 0.06 0.00 0.00
3585.38/3597.00 c Symmetry :
3585.38/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.38/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3585.38/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3585.38/3597.00 c shadow tree time : 0.00 s
3585.38/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.38/3597.00 c propagation : 0.02 357 352 - 1433 128.9 122 8.7 - - -
3585.38/3597.00 c infeasible LP : 0.03 47 47 - 511 167.5 15 6.4 45 55.3 0
3585.38/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.38/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.38/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.38/3597.00 c applied globally : 0.00 - - 0 1120 29.1 - - 45 - -
3585.38/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3585.38/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.38/3597.00 c cut pool : 0.71 - 2914 21 - - 7579 668070 - - - - - (maximal pool size: 4492)
3585.38/3597.00 c aggregation : 0.20 0.00 42 11 0 0 4660 415076 41 169919 169896 23 0
3585.38/3597.00 c > cmir : - - - - - - - 124418 0 29143 29143 0 -
3585.38/3597.00 c > flowcover : - - - - - - - 155724 0 70644 70644 0 -
3585.38/3597.00 c > knapsackcover : - - - - - - - 134934 41 70132 70109 23 -
3585.38/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c clique : 0.02 0.00 11 11 0 0 8 1275 0 37 37 0 0
3585.38/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c gomory : 12.23 0.00 41 10 0 0 1924 106452 18 8799 8798 1 0
3585.38/3597.00 c > gomorymi : - - - - - - - 44567 9 5705 5704 1 -
3585.38/3597.00 c > strongcg : - - - - - - - 61885 9 3094 3094 0 -
3585.38/3597.00 c impliedbounds : 0.01 0.00 42 11 0 0 657 89343 0 48436 48436 0 0
3585.38/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c multilinear : 0.00 0.00 299 11 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.38/3597.00 c rapidlearning : 10.52 0.00 100 1 0 3 0 0 0 0 0 0 21
3585.38/3597.00 c rlt : 0.68 0.00 38 10 0 0 7 5 2 5 5 0 0
3585.38/3597.00 c zerohalf : 0.87 0.00 40 11 0 0 437 55919 53 29425 29381 44 0
3585.38/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.38/3597.00 c hybrid : 1.17 0.00 3707 11 257732 0 411609 2348 0 3506
3585.38/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.38/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.38/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3585.38/3597.00 c problem variables: 0.00 - 0 0
3585.38/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.38/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.38/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.38/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.38/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.38/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.38/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.38/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.38/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.38/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.38/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.38/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.38/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.38/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.38/3597.00 c relpscost : 14.54 0.00 11778 0 0 0 0 0 0 23556
3585.38/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.38/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.38/3597.00 c LP solutions : 0.00 - - 0 0
3585.38/3597.00 c relax solutions : 0.00 - - 0 0
3585.38/3597.00 c pseudo solutions : 0.00 - - 0 0
3585.38/3597.00 c strong branching : 0.00 - - 0 0
3585.38/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3585.38/3597.00 c adaptivediving : 34.46 0.00 9 0 0
3585.38/3597.00 c alns : 0.18 0.00 5 0 0
3585.38/3597.00 c bound : 0.00 0.00 0 0 0
3585.38/3597.00 c clique : 0.02 0.00 1 0 0
3585.38/3597.00 c coefdiving : 0.00 0.00 0 0 0
3585.38/3597.00 c completesol : 0.00 0.00 0 0 0
3585.38/3597.00 c conflictdiving : 549.46 0.00 254 0 0
3585.38/3597.00 c crossover : 0.00 0.00 0 0 0
3585.38/3597.00 c dins : 0.00 0.00 0 0 0
3585.38/3597.00 c distributiondivin: 191.53 0.00 51 0 0
3585.38/3597.00 c dps : 0.00 0.00 0 0 0
3585.38/3597.00 c dualval : 0.00 0.00 0 0 0
3585.38/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3585.38/3597.00 c feasjump : 0.01 0.00 1 0 0
3585.38/3597.00 c feaspump : 38.56 0.00 7 0 0
3585.38/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3585.38/3597.00 c fracdiving : 200.07 0.00 46 0 0
3585.38/3597.00 c gins : 0.00 0.00 0 0 0
3585.38/3597.00 c guideddiving : 0.00 0.00 0 0 0
3585.38/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3585.38/3597.00 c indicator : 0.01 0.00 0 0 0
3585.38/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3585.38/3597.00 c indoneopt : 0.00 0.00 0 0 0
3585.38/3597.00 c indrounding : 0.00 0.00 0 0 0
3585.38/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3585.38/3597.00 c intdiving : 0.00 0.00 0 0 0
3585.38/3597.00 c intshifting : 0.00 0.00 0 0 0
3585.38/3597.00 c linesearchdiving : 188.06 0.00 44 0 0
3585.38/3597.00 c localbranching : 0.00 0.00 0 0 0
3585.38/3597.00 c locks : 0.01 0.00 1 0 0
3585.38/3597.00 c lpface : 0.04 0.00 0 0 0
3585.38/3597.00 c mpec : 0.00 0.00 0 0 0
3585.38/3597.00 c multistart : 0.00 0.00 0 0 0
3585.38/3597.00 c mutation : 0.00 0.00 0 0 0
3585.38/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3585.38/3597.00 c objpscostdiving : 416.87 0.00 2 0 0
3585.38/3597.00 c octane : 0.00 0.00 0 0 0
3585.38/3597.00 c ofins : 0.00 0.00 0 0 0
3585.38/3597.00 c oneopt : 0.01 0.00 0 0 0
3585.38/3597.00 c padm : 0.00 0.00 0 0 0
3585.38/3597.00 c proximity : 0.00 0.00 0 0 0
3585.38/3597.00 c pscostdiving : 220.41 0.00 32 0 0
3585.38/3597.00 c randrounding : 0.62 0.00 2376 0 0
3585.38/3597.00 c rens : 0.00 0.00 0 0 0
3585.38/3597.00 c reoptsols : 0.00 0.00 0 0 0
3585.38/3597.00 c repair : 0.00 0.00 0 0 0
3585.38/3597.00 c rins : 0.00 0.00 0 0 0
3585.38/3597.00 c rootsoldiving : 23.11 0.00 9 0 0
3585.38/3597.00 c rounding : 0.42 0.00 1721 0 0
3585.38/3597.00 c scheduler : 0.00 0.00 0 0 0
3585.38/3597.00 c shiftandpropagate: 0.01 0.00 1 0 0
3585.38/3597.00 c shifting : 1.17 0.00 884 0 0
3585.38/3597.00 c simplerounding : 0.01 0.00 0 0 0
3585.38/3597.00 c smallcard : 0.00 0.00 0 0 0
3585.38/3597.00 c subnlp : 0.01 0.00 0 0 0
3585.38/3597.00 c trivial : 0.00 0.00 2 0 0
3585.38/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3585.38/3597.00 c trustregion : 0.00 0.00 0 0 0
3585.38/3597.00 c trysol : 0.00 0.00 0 0 0
3585.38/3597.00 c twoopt : 0.00 0.00 0 0 0
3585.38/3597.00 c undercover : 0.00 0.00 1 0 0
3585.38/3597.00 c vbounds : 0.00 0.00 0 0 0
3585.38/3597.00 c veclendiving : 194.51 0.00 87 0 0
3585.38/3597.00 c zeroobj : 0.00 0.00 0 0 0
3585.38/3597.00 c zirounding : 0.17 0.00 1000 0 0
3585.38/3597.00 c other solutions : - - - 0 -
3585.38/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3585.38/3597.00 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
3585.38/3597.00 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
3585.38/3597.00 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
3585.38/3597.00 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
3585.38/3597.00 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
3585.38/3597.00 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
3585.38/3597.00 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
3585.38/3597.00 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
3585.38/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3585.38/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.38/3597.00 c primal LP : 2.05 1432 0 0.00 0.00 2.05 1432
3585.38/3597.00 c dual LP : 1474.60 15489 4277331 276.24 2900.68 0.02 5
3585.38/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3585.38/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.38/3597.00 c resolve instable : 0.00 0 0 0.00 -
3585.38/3597.00 c diving/probing LP: 2035.71 4036 2651018 656.84 1302.26
3585.38/3597.00 c strong branching : 9.70 19 17474 919.68 1801.65 - - 30
3585.38/3597.00 c (at root node) : - 19 17474 919.68 -
3585.38/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3585.38/3597.00 c B&B Tree :
3585.38/3597.00 c number of runs : 1
3585.38/3597.00 c nodes : 11850 (11778 internal, 72 leaves)
3585.38/3597.00 c feasible leaves : 0
3585.38/3597.00 c infeas. leaves : 71
3585.38/3597.00 c objective leaves : 0
3585.38/3597.00 c nodes (total) : 11850 (11778 internal, 72 leaves)
3585.38/3597.00 c nodes left : 11707
3585.38/3597.00 c max depth : 45
3585.38/3597.00 c max depth (total): 45
3585.38/3597.00 c backtracks : 2807 (23.7%)
3585.38/3597.00 c early backtracks : 0 (0.0%)
3585.38/3597.00 c nodes exc. ref. : 0 (0.0%)
3585.38/3597.00 c delayed cutoffs : 1
3585.38/3597.00 c repropagations : 8 (2 domain reductions, 0 cutoffs)
3585.38/3597.00 c avg switch length: 6.83
3585.38/3597.00 c switching time : 3.74
3585.38/3597.00 c Root Node :
3585.38/3597.00 c First LP value : +0.00000000000000e+00
3585.38/3597.00 c First LP Iters : 946 (32219.61 Iter/sec)
3585.38/3597.00 c First LP Time : 0.03
3585.38/3597.00 c Final Dual Bound : +0.00000000000000e+00
3585.38/3597.00 c Final Root Iters : 38410
3585.38/3597.00 c Root LP Estimate : +3.50086205884761e-01
3585.38/3597.00 c Solution :
3585.38/3597.00 c Solutions found : 0 (0 improvements)
3585.38/3597.00 c Primal Bound : -
3585.38/3597.00 c Dual Bound : +0.00000000000000e+00
3585.38/3597.00 c Gap : infinite
3585.38/3597.00 c Integrals : Total Avg%
3585.38/3597.00 c primal-dual : 359699.73 100.00
3585.38/3597.00 c primal-ref : - - (not evaluated)
3585.38/3597.00 c dual-ref : - - (not evaluated)
3585.38/3597.04 c Time complete: 3585.43.
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 (49497 MiB free)
memory of node 1: 64465 MiB (62279 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513160-1751214360/watcher-4513160-1751214360 -o /tmp/evaluation-result-4513160-1751214360/solver-4513160-1751214360 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751207147-31091 --watchdog 3760 pbscip -f HOME/instance-4513160-1751214360.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=32571, runsolver pid=32568
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.09 4.16 4.16 5/265 32572
/proc/meminfo: memFree=117949800/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=74388 memory=47728 CPUtime=0.09 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 9948 0 0 0 7 2 0 0 20 0 1 0 37115384 76173312 11932 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 18597 11932 3712 3530 0 10048 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74388 KiB
Current children cumulated memory: 47728 KiB
[startup+0.205514 s]*
/proc/loadavg: 4.09 4.16 4.16 5/265 32572
/proc/meminfo: memFree=121916200/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=79424 memory=52848 CPUtime=0.19 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 11222 0 0 0 17 2 0 0 20 0 1 0 37115384 81330176 13212 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 19856 13212 3712 3530 0 11307 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 79424 KiB
Current children cumulated memory: 52848 KiB
[startup+0.305444 s]*
/proc/loadavg: 4.09 4.16 4.16 4/263 32572
/proc/meminfo: memFree=127098800/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=86760 memory=56048 CPUtime=0.29 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 12008 0 0 0 27 2 0 0 20 0 1 0 37115384 88842240 14012 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 21690 14012 3744 3530 0 13141 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 86760 KiB
Current children cumulated memory: 56048 KiB
[startup+0.700155 s]
/proc/loadavg: 4.08 4.16 4.16 4/261 32580
/proc/meminfo: memFree=127078136/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=142252 memory=109868 CPUtime=0.68 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 26130 0 0 0 64 4 0 0 20 0 1 0 37115384 145666048 27467 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 35563 27467 3936 3530 0 27014 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 142252 KiB
Current children cumulated memory: 109868 KiB
[startup+1.50012 s]
/proc/loadavg: 4.08 4.16 4.16 4/263 32598
/proc/meminfo: memFree=127052884/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=137240 memory=105560 CPUtime=1.48 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 26277 0 0 0 144 4 0 0 20 0 1 0 37115384 140533760 26390 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 34310 26390 3968 3530 0 25761 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 137240 KiB
Current children cumulated memory: 105560 KiB
[startup+3.10531 s]
/proc/loadavg: 4.08 4.16 4.16 5/265 32617
/proc/meminfo: memFree=127033464/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=137240 memory=105688 CPUtime=3.08 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 26310 0 0 0 304 4 0 0 20 0 1 0 37115384 140533760 26422 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 34310 26422 3968 3530 0 25761 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 137240 KiB
Current children cumulated memory: 105688 KiB
[startup+6.30013 s]
/proc/loadavg: 4.08 4.15 4.15 5/265 32617
/proc/meminfo: memFree=127033472/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=137240 memory=105688 CPUtime=6.26 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 26312 0 0 0 622 4 0 0 20 0 1 0 37115384 140533760 26422 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 34310 26422 3968 3530 0 25761 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 137240 KiB
Current children cumulated memory: 105688 KiB
[startup+12.7001 s]
/proc/loadavg: 4.07 4.15 4.15 5/265 32617
/proc/meminfo: memFree=127034000/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=137240 memory=106712 CPUtime=12.65 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 26569 0 0 0 1261 4 0 0 20 0 1 0 37115384 140533760 26678 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 34310 26678 3968 3530 0 25761 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 137240 KiB
Current children cumulated memory: 106712 KiB
[startup+25.5001 s]
/proc/loadavg: 4.06 4.15 4.15 5/265 32618
/proc/meminfo: memFree=127022824/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=140484 memory=107992 CPUtime=25.41 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 26902 0 0 0 2537 4 0 0 20 0 1 0 37115384 143855616 26998 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 35121 26998 3968 3530 0 26572 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 140484 KiB
Current children cumulated memory: 107992 KiB
[startup+51.1054 s]
/proc/loadavg: 4.09 4.15 4.15 5/264 32619
/proc/meminfo: memFree=126917516/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=166736 memory=133028 CPUtime=50.95 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 35413 0 0 0 5089 6 0 0 20 0 1 0 37115384 170737664 33257 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 41684 33257 3968 3530 0 33135 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 166736 KiB
Current children cumulated memory: 133028 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.14 4.15 5/264 32623
/proc/meminfo: memFree=126931336/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=166736 memory=133028 CPUtime=102.01 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 35413 0 0 0 10195 6 0 0 20 0 1 0 37115384 170737664 33257 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 41684 33257 3968 3530 0 33135 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 166736 KiB
Current children cumulated memory: 133028 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.12 4.14 5/265 32671
/proc/meminfo: memFree=127060252/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=166736 memory=133028 CPUtime=161.85 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 35413 0 0 0 16179 6 0 0 20 0 1 0 37115384 170737664 33257 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 41684 33257 3968 3530 0 33135 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 166736 KiB
Current children cumulated memory: 133028 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/265 32673
/proc/meminfo: memFree=127016744/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=166736 memory=133028 CPUtime=221.69 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 35413 0 0 0 22163 6 0 0 20 0 1 0 37115384 170737664 33257 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 41684 33257 3968 3530 0 33135 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 166736 KiB
Current children cumulated memory: 133028 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.11 4.13 5/265 32678
/proc/meminfo: memFree=127017520/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=168396 memory=136048 CPUtime=281.52 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 37212 0 0 0 28146 6 0 0 20 0 1 0 37115384 172437504 34012 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 42099 34012 3968 3530 0 33550 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 168396 KiB
Current children cumulated memory: 136048 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/265 32680
/proc/meminfo: memFree=126972416/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=169288 memory=138004 CPUtime=341.35 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 41725 0 0 0 34129 6 0 0 20 0 1 0 37115384 173350912 34501 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 42322 34501 3968 3530 0 33773 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 169288 KiB
Current children cumulated memory: 138004 KiB
[startup+402.3 s]
/proc/loadavg: 4.04 4.09 4.12 5/264 32682
/proc/meminfo: memFree=126971000/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=172888 memory=148004 CPUtime=401.18 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 44420 0 0 0 40111 7 0 0 20 0 1 0 37115384 177037312 37001 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 43222 37001 3968 3530 0 34673 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 172888 KiB
Current children cumulated memory: 148004 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.12 5/264 32685
/proc/meminfo: memFree=126926320/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=171176 memory=146292 CPUtime=461.02 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 55023 0 0 0 46093 9 0 0 20 0 1 0 37115384 175284224 36573 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 42794 36573 3968 3530 0 34245 0
Current children cumulated CPU time: 461.02 s
Current children cumulated vsize: 171176 KiB
################
# More data... #
################
/proc/loadavg: 3.09 3.39 3.76 4/258 32865
/proc/meminfo: memFree=127007404/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=201552 memory=176588 CPUtime=3151.75 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 113087 0 0 0 315155 20 0 0 20 0 1 0 37115384 206389248 44147 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 50388 44147 3968 3530 0 41839 0
Current children cumulated CPU time: 3151.75 s
Current children cumulated vsize: 201552 KiB
Current children cumulated memory: 176588 KiB
[startup+3222.3 s]
/proc/loadavg: 3.06 3.33 3.71 4/258 32867
/proc/meminfo: memFree=127008516/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=204524 memory=177868 CPUtime=3211.6 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 113388 0 0 0 321140 20 0 0 20 0 1 0 37115384 209432576 44467 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 51131 44467 3968 3530 0 42582 0
Current children cumulated CPU time: 3211.6 s
Current children cumulated vsize: 204524 KiB
Current children cumulated memory: 177868 KiB
[startup+3282.3 s]
/proc/loadavg: 3.07 3.29 3.67 4/259 32870
/proc/meminfo: memFree=127008616/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=205564 memory=179020 CPUtime=3271.45 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 113684 0 0 0 327125 20 0 0 20 0 1 0 37115384 210497536 44755 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 51391 44755 3968 3530 0 42842 0
Current children cumulated CPU time: 3271.45 s
Current children cumulated vsize: 205564 KiB
Current children cumulated memory: 179020 KiB
[startup+3342.3 s]
/proc/loadavg: 3.14 3.26 3.64 4/258 32874
/proc/meminfo: memFree=127009752/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=207540 memory=181068 CPUtime=3331.31 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 114201 0 0 0 333111 20 0 0 20 0 1 0 37115384 212520960 45267 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 51885 45267 3968 3530 0 43336 0
Current children cumulated CPU time: 3331.31 s
Current children cumulated vsize: 207540 KiB
Current children cumulated memory: 181068 KiB
[startup+3402.3 s]
/proc/loadavg: 3.11 3.23 3.60 4/258 32876
/proc/meminfo: memFree=126963300/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=209336 memory=182732 CPUtime=3391.16 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 114628 0 0 0 339096 20 0 0 20 0 1 0 37115384 214360064 45683 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 52334 45683 3968 3530 0 43785 0
Current children cumulated CPU time: 3391.16 s
Current children cumulated vsize: 209336 KiB
Current children cumulated memory: 182732 KiB
[startup+3462.3 s]
/proc/loadavg: 3.04 3.19 3.56 4/258 32878
/proc/meminfo: memFree=126963944/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=210372 memory=183756 CPUtime=3451.01 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 114890 0 0 0 345081 20 0 0 20 0 1 0 37115384 215420928 45939 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 52593 45939 3968 3530 0 44044 0
Current children cumulated CPU time: 3451.01 s
Current children cumulated vsize: 210372 KiB
Current children cumulated memory: 183756 KiB
[startup+3522.3 s]
/proc/loadavg: 3.11 3.18 3.53 4/258 32880
/proc/meminfo: memFree=126964096/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=210944 memory=184396 CPUtime=3510.86 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 115043 0 0 0 351066 20 0 0 20 0 1 0 37115384 216006656 46099 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 52736 46099 3968 3530 0 44187 0
Current children cumulated CPU time: 3510.86 s
Current children cumulated vsize: 210944 KiB
Current children cumulated memory: 184396 KiB
[startup+3582.3 s]
/proc/loadavg: 3.09 3.16 3.50 4/257 32882
/proc/meminfo: memFree=126968756/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=213036 memory=187980 CPUtime=3570.71 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 115560 0 0 0 357051 20 0 0 20 0 1 0 37115384 218148864 46995 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 53259 46995 3968 3530 0 44710 0
Current children cumulated CPU time: 3570.71 s
Current children cumulated vsize: 213036 KiB
Current children cumulated memory: 187980 KiB
[startup+3597.05 s]
# the end of solver process 32571 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.23 s, system=0.204318 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.09 3.16 3.50 4/257 32882
/proc/meminfo: memFree=126968764/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=213036 memory=187980 CPUtime=3572.41 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 115560 0 0 0 357221 20 0 0 20 0 1 0 37115384 218148864 46995 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 53259 46995 3968 3530 0 44710 0
Current children cumulated CPU time: 3572.41 s
Current children cumulated vsize: 213036 KiB
Current children cumulated memory: 187980 KiB
[startup+3590.4 s]
/proc/loadavg: 3.08 3.16 3.50 4/257 32883
/proc/meminfo: memFree=126968764/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=213748 memory=188748 CPUtime=3578.79 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 115737 0 0 0 357859 20 0 0 20 0 1 0 37115384 218877952 47187 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 53437 47187 3968 3530 0 44888 0
Current children cumulated CPU time: 3578.79 s
Current children cumulated vsize: 213748 KiB
Current children cumulated memory: 188748 KiB
[startup+3593.6 s]
/proc/loadavg: 3.08 3.16 3.50 4/257 32883
/proc/meminfo: memFree=126968764/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=213748 memory=188748 CPUtime=3581.98 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 115737 0 0 0 358178 20 0 0 20 0 1 0 37115384 218877952 47187 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 53437 47187 3968 3530 0 44888 0
Current children cumulated CPU time: 3581.98 s
Current children cumulated vsize: 213748 KiB
Current children cumulated memory: 188748 KiB
[startup+3595.2 s]
/proc/loadavg: 3.08 3.16 3.50 4/257 32883
/proc/meminfo: memFree=126968764/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=213748 memory=188748 CPUtime=3583.58 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 115737 0 0 0 358338 20 0 0 20 0 1 0 37115384 218877952 47187 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 53437 47187 3968 3530 0 44888 0
Current children cumulated CPU time: 3583.58 s
Current children cumulated vsize: 213748 KiB
Current children cumulated memory: 188748 KiB
[startup+3596 s]*
/proc/loadavg: 3.08 3.16 3.50 4/257 32883
/proc/meminfo: memFree=126968764/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=213748 memory=188748 CPUtime=3584.38 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 115737 0 0 0 358418 20 0 0 20 0 1 0 37115384 218877952 47187 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 53437 47187 3968 3530 0 44888 0
Current children cumulated CPU time: 3584.38 s
Current children cumulated vsize: 213748 KiB
Current children cumulated memory: 188748 KiB
[startup+3596.8 s]
/proc/loadavg: 3.08 3.16 3.50 4/257 32883
/proc/meminfo: memFree=126968764/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=213748 memory=188748 CPUtime=3585.18 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 115737 0 0 0 358498 20 0 0 20 0 1 0 37115384 218877952 47187 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 53437 47187 3968 3530 0 44888 0
Current children cumulated CPU time: 3585.18 s
Current children cumulated vsize: 213748 KiB
Current children cumulated memory: 188748 KiB
[startup+3597 s]*
/proc/loadavg: 3.07 3.15 3.50 4/257 32883
/proc/meminfo: memFree=126968772/131250000 swapFree=33010684/33010684
[pid=32571] ppid=32568 vsize=213748 memory=188748 CPUtime=3585.38 cores=1,3
/proc/32571/stat : 32571 (pbscip) R 32568 32571 31079 0 -1 4194304 115737 0 0 0 358518 20 0 0 20 0 1 0 37115384 218877952 47187 18446744073709551615 4235264 18693293 140734518915024 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48508928 140734518921609 140734518921708 140734518921708 140734518927310 0
/proc/32571/statm: 53437 47187 3968 3530 0 44888 0
Current children cumulated CPU time: 3585.38 s
Current children cumulated vsize: 213748 KiB
Current children cumulated memory: 188748 KiB
Child status: 0
Real time (s): 3597.05
CPU time (s): 3585.43
CPU user time (s): 3585.23
CPU system time (s): 0.204318
CPU usage (%): 99.677
Max. virtual memory (cumulated for all children) (KiB): 213748
Max. memory (cumulated for all children) (KiB): 188748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.23
system time used= 0.204318
maximum resident set size= 188748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115745
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= 115
involuntary context switches= 2446
# summary of solver processes directly reported to runsolver:
# pid: 32571
# total CPU time (s): 3585.43
# total CPU user time (s): 3585.23
# total CPU system time (s): 0.204318
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.52845 second user time and 15.0109 second system time
The end