0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4450715-1721418388.opb>
0.00/0.02 c original problem has 4288 variables (4288 bin, 0 int, 0 impl, 0 cont) and 9520 constraints
0.00/0.02 c problem read in 0.02
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.04 c presolving:
0.00/0.05 c (round 1, fast) 625 del vars, 1020 del conss, 681 add conss, 536 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 308 clqs
0.00/0.06 c (round 2, fast) 944 del vars, 1827 del conss, 786 add conss, 752 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 455 clqs
0.00/0.06 c (round 3, fast) 945 del vars, 1831 del conss, 810 add conss, 753 chg bounds, 4 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 491 clqs
0.00/0.07 c (0.1s) running MILP presolver
0.00/0.09 c (0.1s) MILP presolver (4 rounds): 64 aggregations, 2 fixings, 0 bound changes
0.00/0.09 c (round 4, medium) 1011 del vars, 1831 del conss, 810 add conss, 753 chg bounds, 4 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 360 clqs
0.00/0.09 c (round 5, fast) 1011 del vars, 1913 del conss, 862 add conss, 753 chg bounds, 4 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 384 clqs
0.09/0.10 c (round 6, exhaustive) 1011 del vars, 2565 del conss, 862 add conss, 753 chg bounds, 4 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 384 clqs
0.09/0.12 c (round 7, exhaustive) 1011 del vars, 2565 del conss, 862 add conss, 753 chg bounds, 4 chg sides, 0 chg coeffs, 6456 upgd conss, 0 impls, 384 clqs
0.09/0.12 c (round 8, exhaustive) 1011 del vars, 2661 del conss, 894 add conss, 753 chg bounds, 4 chg sides, 0 chg coeffs, 6456 upgd conss, 0 impls, 384 clqs
0.09/0.15 c (round 9, exhaustive) 1011 del vars, 2661 del conss, 894 add conss, 753 chg bounds, 65 chg sides, 0 chg coeffs, 6456 upgd conss, 0 impls, 384 clqs
0.09/0.15 c (round 10, exhaustive) 1011 del vars, 2661 del conss, 894 add conss, 753 chg bounds, 65 chg sides, 0 chg coeffs, 6517 upgd conss, 0 impls, 384 clqs
0.20/0.28 c (0.3s) probing: 1000/3348 (29.9%) - 0 fixings, 1 aggregations, 420 implications, 0 bound changes
0.20/0.28 c (0.3s) probing: 1085/3348 (32.4%) - 0 fixings, 1 aggregations, 438 implications, 0 bound changes
0.20/0.28 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.20/0.28 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.29/0.31 c (0.3s) no symmetry present (symcode time: 0.00)
0.29/0.31 c presolving (11 rounds: 11 fast, 7 medium, 6 exhaustive):
0.29/0.31 c 1012 deleted vars, 2661 deleted constraints, 894 added constraints, 753 tightened bounds, 0 added holes, 65 changed sides, 34 changed coefficients
0.29/0.31 c 0 implications, 816 cliques
0.29/0.31 c presolved problem has 3347 variables (3347 bin, 0 int, 0 impl, 0 cont) and 7753 constraints
0.29/0.31 c 32 constraints of type <and>
0.29/0.31 c 1300 constraints of type <linear>
0.29/0.31 c 6421 constraints of type <logicor>
0.29/0.31 c transformed objective value is always integral (scale: 1)
0.29/0.31 c Presolving Time: 0.27
0.29/0.31 c - non default parameters ----------------------------------------------------------------------
0.29/0.31 c # SCIP version 10.0.0
0.29/0.31 c
0.29/0.31 c # maximal time in seconds to run
0.29/0.31 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.29/0.31 c limits/time = 3596.998006
0.29/0.31 c
0.29/0.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.31 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.29/0.31 c limits/memory = 27900
0.29/0.31 c
0.29/0.31 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.29/0.31 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.29/0.31 c limits/solutions = 1
0.29/0.31 c
0.29/0.31 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.31 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.29/0.31 c misc/usesymmetry = 3
0.29/0.31 c
0.29/0.31 c # belongs reading time to solving time?
0.29/0.31 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.29/0.31 c timing/reading = TRUE
0.29/0.31 c
0.29/0.31 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.29/0.31 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.29/0.31 c propagating/symmetry/detectdoublelex = FALSE
0.29/0.31 c
0.29/0.31 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.29/0.31 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.29/0.31 c propagating/symmetry/detectsubgroups = FALSE
0.29/0.31 c
0.29/0.31 c # Type of symmetries that shall be computed?
0.29/0.31 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.29/0.31 c propagating/symmetry/symtype = 1
0.29/0.31 c
0.29/0.31 c # Should components consisting of a single full reflection be handled?
0.29/0.31 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.29/0.31 c propagating/symmetry/usesimplesgncomp = FALSE
0.29/0.31 c
0.29/0.31 c -----------------------------------------------------------------------------------------------
0.29/0.31 c start solving
0.29/0.31 c
0.40/0.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.40/0.41 c 0.4s| 1 | 0 | 946 | - | 59M | 0 |3347 |7823 |7785 | 0 | 0 | 69 | 0 | 0.000000e+00 | -- | Inf | unknown
0.89/1.00 c 1.0s| 1 | 0 | 3346 | - | 65M | 0 |3347 |7822 |8082 | 297 | 1 | 69 | 0 | 0.000000e+00 | -- | Inf | unknown
2.28/2.34 c 2.3s| 1 | 0 | 6011 | - | 69M | 0 |3347 |7822 |8386 | 601 | 2 | 69 | 0 | 0.000000e+00 | -- | Inf | unknown
3.99/4.05 c 4.1s| 1 | 0 | 8919 | - | 72M | 0 |3347 |7821 |8677 | 892 | 3 | 69 | 0 | 0.000000e+00 | -- | Inf | unknown
5.98/6.04 c 6.0s| 1 | 0 | 12083 | - | 74M | 0 |3347 |7821 |8966 |1181 | 4 | 69 | 0 | 0.000000e+00 | -- | Inf | unknown
8.08/8.16 c 8.2s| 1 | 0 | 15306 | - | 76M | 0 |3347 |7821 |9235 |1450 | 5 | 69 | 0 | 0.000000e+00 | -- | Inf | unknown
10.97/11.06 c 11.1s| 1 | 0 | 19863 | - | 78M | 0 |3347 |7820 |9518 |1733 | 6 | 69 | 0 | 0.000000e+00 | -- | Inf | unknown
14.06/14.18 c 14.2s| 1 | 0 | 24466 | - | 80M | 0 |3347 |7816 |9768 |1983 | 7 | 69 | 0 | 0.000000e+00 | -- | Inf | unknown
17.35/17.43 c 17.4s| 1 | 0 | 29226 | - | 82M | 0 |3347 |7814 |9925 |2140 | 8 | 69 | 0 | 0.000000e+00 | -- | Inf | unknown
20.84/20.92 c 20.9s| 1 | 0 | 34483 | - | 85M | 0 |3347 |7814 | 10k|2358 | 9 | 69 | 0 | 0.000000e+00 | -- | Inf | unknown
24.73/24.86 c 24.9s| 1 | 0 | 40148 | - | 86M | 0 |3347 |7812 | 10k|2564 | 10 | 69 | 0 | 0.000000e+00 | -- | Inf | unknown
27.62/27.71 c 27.7s| 1 | 0 | 45792 | - | 87M | 0 |3347 |7807 | 10k|2694 | 11 | 69 | 0 | 0.000000e+00 | -- | Inf | unknown
42.69/42.89 c 42.9s| 1 | 2 | 58316 | - | 88M | 0 |3347 |7808 | 10k|2694 | 11 | 84 | 11 | 0.000000e+00 | -- | Inf | unknown
313.32/314.16 c 314s| 100 | 101 |336239 |2933.8 | 91M | 26 |3347 |7837 |7930 |4519 | 1 | 131 | 11 | 0.000000e+00 | -- | Inf | unknown
381.33/382.31 c 382s| 200 | 201 |469945 |2131.4 | 91M | 26 |3347 |7869 |8090 |7130 | 1 | 167 | 11 | 0.000000e+00 | -- | Inf | unknown
400.09/401.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
400.09/401.19 c 401s| 300 | 301 |502604 |1527.8 | 92M | 30 |3347 |7865 |8097 |7535 | 2 | 171 | 11 | 0.000000e+00 | -- | Inf | unknown
417.54/418.68 c 419s| 400 | 401 |542854 |1245.8 | 92M | 33 |3347 |7866 |8446 |8735 | 2 | 172 | 11 | 0.000000e+00 | -- | Inf | unknown
458.14/459.38 c 459s| 500 | 501 |633098 |1177.0 | 93M | 33 |3347 |7897 |8290 | 12k| 2 | 209 | 11 | 0.000000e+00 | -- | Inf | unknown
514.61/515.90 c 516s| 600 | 601 |740129 |1159.2 | 94M | 33 |3347 |7894 |8289 | 16k| 2 | 235 | 11 | 0.000000e+00 | -- | Inf | unknown
574.37/575.88 c 576s| 700 | 699 |879545 |1192.8 | 94M | 34 |3347 |7900 |8394 | 20k| 1 | 251 | 11 | 0.000000e+00 | -- | Inf | unknown
599.31/600.87 c 601s| 800 | 799 |939729 |1118.8 | 95M | 34 |3347 |7904 |8424 | 23k| 2 | 260 | 11 | 0.000000e+00 | -- | Inf | unknown
658.48/660.16 c 660s| 900 | 899 | 1056k|1123.9 | 96M | 34 |3347 |7894 |8241 | 27k| 2 | 265 | 11 | 0.000000e+00 | -- | Inf | unknown
690.60/692.30 c 692s| 1000 | 999 | 1123k|1078.4 | 96M | 34 |3347 |7902 |8390 | 30k| 1 | 285 | 11 | 0.000000e+00 | -- | Inf | unknown
739.09/740.91 c 741s| 1100 | 1099 | 1216k|1065.5 | 97M | 34 |3347 |7906 |8159 | 34k| 1 | 303 | 11 | 0.000000e+00 | -- | Inf | unknown
775.81/777.76 c 778s| 1200 | 1199 | 1294k|1041.4 | 97M | 34 |3347 |7916 |8359 | 38k| 2 | 324 | 11 | 0.000000e+00 | -- | Inf | unknown
822.50/824.52 c 825s| 1300 | 1299 | 1384k|1030.5 | 98M | 34 |3347 |7912 |8232 | 41k| 1 | 338 | 11 | 0.000000e+00 | -- | Inf | unknown
842.06/844.19 c 844s| 1400 | 1399 | 1421k| 983.0 | 98M | 34 |3347 |7901 |8257 | 43k| 1 | 342 | 11 | 0.000000e+00 | -- | Inf | unknown
880.16/882.34 c 882s| 1500 | 1499 | 1495k| 967.3 | 100M | 34 |3347 |7926 |8358 | 45k| 2 | 381 | 11 | 0.000000e+00 | -- | Inf | unknown
895.52/897.73 c 898s| 1600 | 1599 | 1522k| 923.5 | 100M | 36 |3347 |7920 |8407 | 45k| 1 | 382 | 11 | 0.000000e+00 | -- | Inf | unknown
905.81/908.00 c 908s| 1700 | 1699 | 1543k| 881.8 | 100M | 37 |3347 |7917 |8403 | 46k| 1 | 382 | 11 | 0.000000e+00 | -- | Inf | unknown
923.26/925.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
923.26/925.55 c 926s| 1800 | 1799 | 1583k| 854.6 | 100M | 37 |3347 |7908 |8405 | 47k| 1 | 385 | 11 | 0.000000e+00 | -- | Inf | unknown
961.87/964.24 c 964s| 1900 | 1897 | 1663k| 852.0 | 102M | 37 |3347 |7893 |8159 | 49k| 1 | 386 | 11 | 0.000000e+00 | -- | Inf | unknown
981.72/984.12 c 984s| 2000 | 1997 | 1704k| 829.9 | 102M | 37 |3347 |7888 |8159 | 51k| 1 | 390 | 11 | 0.000000e+00 | -- | Inf | unknown
1011.94/1014.47 c 1014s| 2100 | 2097 | 1773k| 823.1 | 102M | 37 |3347 |7886 |8159 | 54k| 1 | 397 | 11 | 0.000000e+00 | -- | Inf | unknown
1033.80/1036.32 c 1036s| 2200 | 2197 | 1818k| 806.0 | 103M | 37 |3347 |7905 |8089 | 55k| 1 | 422 | 11 | 0.000000e+00 | -- | Inf | unknown
1054.25/1056.83 c 1057s| 2300 | 2297 | 1857k| 788.2 | 104M | 37 |3347 |7902 |8089 | 56k| 1 | 426 | 11 | 0.000000e+00 | -- | Inf | unknown
1073.41/1076.02 c 1076s| 2400 | 2393 | 1896k| 771.6 | 104M | 37 |3347 |7927 |8402 | 57k| 1 | 455 | 11 | 0.000000e+00 | -- | Inf | unknown
1090.57/1093.26 c 1093s| 2500 | 2493 | 1933k| 755.5 | 104M | 37 |3347 |7929 |8089 | 59k| 1 | 463 | 11 | 0.000000e+00 | -- | Inf | unknown
1100.15/1102.87 c 1103s| 2600 | 2593 | 1957k| 735.4 | 105M | 37 |3347 |7927 |8241 | 60k| 1 | 470 | 11 | 0.000000e+00 | -- | Inf | unknown
1117.01/1119.76 c 1120s| 2700 | 2689 | 1988k| 720.0 | 106M | 38 |3347 |7929 |8084 | 60k| 1 | 472 | 11 | 0.000000e+00 | -- | Inf | unknown
1140.55/1143.31 c 1143s| 2800 | 2787 | 2039k| 712.5 | 106M | 38 |3347 |7946 |8159 | 62k| 1 | 500 | 11 | 0.000000e+00 | -- | Inf | unknown
1162.31/1165.12 c 1165s| 2900 | 2887 | 2084k| 703.3 | 106M | 38 |3347 |7958 |8159 | 64k| 1 | 519 | 11 | 0.000000e+00 | -- | Inf | unknown
1197.23/1200.12 c 1200s| 3000 | 2987 | 2173k| 709.5 | 107M | 38 |3347 |7969 |8246 | 67k| 1 | 541 | 11 | 0.000000e+00 | -- | Inf | unknown
1220.77/1223.77 c 1224s| 3100 | 3085 | 2225k| 703.4 | 108M | 38 |3347 |7970 |8289 | 69k| 2 | 563 | 11 | 0.000000e+00 | -- | Inf | unknown
1248.20/1251.24 c 1251s| 3200 | 3185 | 2282k| 699.1 | 108M | 38 |3347 |7976 |8246 | 71k| 1 | 584 | 11 | 0.000000e+00 | -- | Inf | unknown
1266.96/1270.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1266.96/1270.04 c 1270s| 3300 | 3283 | 2325k| 691.1 | 109M | 38 |3347 |7972 |8249 | 73k| 1 | 588 | 11 | 0.000000e+00 | -- | Inf | unknown
1288.31/1291.41 c 1291s| 3400 | 3383 | 2370k| 683.8 | 110M | 38 |3347 |7968 |8249 | 74k| 1 | 597 | 11 | 0.000000e+00 | -- | Inf | unknown
1316.54/1319.74 c 1320s| 3500 | 3483 | 2428k| 681.1 | 110M | 38 |3347 |7957 |8382 | 76k| 1 | 599 | 11 | 0.000000e+00 | -- | Inf | unknown
1329.41/1332.66 c 1333s| 3600 | 3583 | 2454k| 669.3 | 110M | 38 |3347 |7950 |8234 | 77k| 1 | 599 | 11 | 0.000000e+00 | -- | Inf | unknown
1338.49/1341.71 c 1342s| 3700 | 3683 | 2473k| 656.4 | 110M | 38 |3347 |7949 |8237 | 77k| 1 | 599 | 11 | 0.000000e+00 | -- | Inf | unknown
1350.96/1354.26 c 1354s| 3800 | 3783 | 2501k| 646.4 | 110M | 38 |3347 |7951 |8251 | 78k| 1 | 606 | 11 | 0.000000e+00 | -- | Inf | unknown
1369.22/1372.58 c 1373s| 3900 | 3883 | 2538k| 639.3 | 110M | 38 |3347 |7942 |8241 | 80k| 1 | 606 | 11 | 0.000000e+00 | -- | Inf | unknown
1389.57/1392.98 c 1393s| 4000 | 3983 | 2576k| 632.7 | 110M | 38 |3347 |7940 |8384 | 81k| 1 | 616 | 11 | 0.000000e+00 | -- | Inf | unknown
1406.13/1409.56 c 1410s| 4100 | 4083 | 2614k| 626.6 | 112M | 38 |3347 |7940 |8404 | 82k| 1 | 617 | 11 | 0.000000e+00 | -- | Inf | unknown
1425.69/1429.10 c 1429s| 4200 | 4183 | 2656k| 621.8 | 112M | 38 |3347 |7958 |8244 | 83k| 1 | 640 | 11 | 0.000000e+00 | -- | Inf | unknown
1445.54/1449.01 c 1449s| 4300 | 4283 | 2698k| 617.0 | 112M | 38 |3347 |7957 |8404 | 85k| 2 | 644 | 11 | 0.000000e+00 | -- | Inf | unknown
1470.49/1474.09 c 1474s| 4400 | 4383 | 2751k| 615.1 | 112M | 38 |3347 |7959 |8388 | 87k| 1 | 658 | 11 | 0.000000e+00 | -- | Inf | unknown
1482.95/1486.58 c 1487s| 4500 | 4483 | 2782k| 608.3 | 113M | 38 |3347 |7950 |8412 | 89k| 1 | 658 | 11 | 0.000000e+00 | -- | Inf | unknown
1516.07/1519.74 c 1520s| 4600 | 4583 | 2849k| 609.7 | 113M | 38 |3347 |7951 |8328 | 92k| 1 | 672 | 11 | 0.000000e+00 | -- | Inf | unknown
1543.32/1547.07 c 1547s| 4700 | 4683 | 2908k| 609.3 | 114M | 38 |3347 |7956 |8359 | 95k| 2 | 680 | 11 | 0.000000e+00 | -- | Inf | unknown
1572.25/1576.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1572.25/1576.07 c 1576s| 4800 | 4783 | 2968k| 609.0 | 115M | 38 |3347 |7956 |8388 | 98k| 1 | 697 | 11 | 0.000000e+00 | -- | Inf | unknown
1604.28/1608.14 c 1608s| 4900 | 4883 | 3033k| 609.8 | 117M | 41 |3347 |7958 |8321 | 101k| 1 | 706 | 11 | 0.000000e+00 | -- | Inf | unknown
1632.29/1636.24 c 1636s| 5000 | 4983 | 3093k| 609.6 | 117M | 41 |3347 |7957 |8393 | 104k| 1 | 715 | 11 | 0.000000e+00 | -- | Inf | unknown
1664.70/1668.74 c 1669s| 5100 | 5083 | 3159k| 610.7 | 118M | 42 |3347 |7947 |8390 | 107k| 1 | 717 | 11 | 0.000000e+00 | -- | Inf | unknown
1698.20/1702.31 c 1702s| 5200 | 5183 | 3237k| 613.9 | 118M | 42 |3347 |7952 |8359 | 110k| 2 | 732 | 11 | 0.000000e+00 | -- | Inf | unknown
1738.79/1743.02 c 1743s| 5300 | 5283 | 3331k| 620.1 | 118M | 42 |3347 |7963 |8413 | 114k| 1 | 747 | 11 | 0.000000e+00 | -- | Inf | unknown
2043.83/2048.91 c 2049s| 5400 | 5383 | 3597k| 657.9 | 120M | 42 |3347 |7954 |8243 | 117k| 1 | 761 | 11 | 0.000000e+00 | -- | Inf | unknown
2076.63/2081.86 c 2082s| 5500 | 5483 | 3671k| 659.2 | 120M | 42 |3347 |7963 |8236 | 121k| 1 | 783 | 11 | 0.000000e+00 | -- | Inf | unknown
2112.13/2117.45 c 2117s| 5600 | 5583 | 3745k| 660.8 | 122M | 42 |3347 |7967 |8379 | 124k| 1 | 796 | 11 | 0.000000e+00 | -- | Inf | unknown
2154.11/2159.54 c 2160s| 5700 | 5683 | 3835k| 664.9 | 124M | 42 |3347 |7997 |8323 | 127k| 1 | 848 | 11 | 0.000000e+00 | -- | Inf | unknown
2180.03/2185.52 c 2186s| 5800 | 5783 | 3893k| 663.6 | 126M | 42 |3347 |8017 |8558 | 129k| 1 | 876 | 11 | 0.000000e+00 | -- | Inf | unknown
2208.15/2213.75 c 2214s| 5900 | 5883 | 3954k| 662.7 | 126M | 42 |3347 |7999 |8323 | 132k| 1 | 880 | 11 | 0.000000e+00 | -- | Inf | unknown
2240.46/2246.10 c 2246s| 6000 | 5983 | 4029k| 664.1 | 126M | 42 |3347 |7972 |8238 | 135k| 1 | 882 | 11 | 0.000000e+00 | -- | Inf | unknown
2271.46/2277.21 c 2277s| 6100 | 6083 | 4097k| 664.3 | 126M | 42 |3347 |7963 |8388 | 137k| 1 | 892 | 11 | 0.000000e+00 | -- | Inf | unknown
2303.07/2308.95 c 2309s| 6200 | 6181 | 4161k| 664.0 | 126M | 42 |3347 |7986 |8386 | 140k| 1 | 925 | 11 | 0.000000e+00 | -- | Inf | unknown
2326.60/2332.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2326.60/2332.56 c 2333s| 6300 | 6281 | 4215k| 662.0 | 127M | 42 |3347 |7977 |8247 | 142k| 1 | 932 | 11 | 0.000000e+00 | -- | Inf | unknown
2357.91/2363.99 c 2364s| 6400 | 6381 | 4290k| 663.4 | 129M | 42 |3347 |7988 |8252 | 145k| 1 | 954 | 11 | 0.000000e+00 | -- | Inf | unknown
2388.72/2394.86 c 2395s| 6500 | 6481 | 4355k| 663.2 | 129M | 42 |3347 |7977 |8095 | 147k| 1 | 956 | 11 | 0.000000e+00 | -- | Inf | unknown
2408.26/2414.44 c 2414s| 6600 | 6581 | 4404k| 660.5 | 130M | 42 |3347 |7973 |8319 | 149k| 1 | 958 | 11 | 0.000000e+00 | -- | Inf | unknown
2423.12/2429.36 c 2429s| 6700 | 6681 | 4440k| 656.1 | 130M | 42 |3347 |7975 |8234 | 151k| 1 | 967 | 11 | 0.000000e+00 | -- | Inf | unknown
2451.64/2457.99 c 2458s| 6800 | 6781 | 4500k| 655.2 | 131M | 42 |3347 |7966 |8379 | 153k| 1 | 969 | 11 | 0.000000e+00 | -- | Inf | unknown
2469.29/2475.66 c 2476s| 6900 | 6879 | 4539k| 651.4 | 131M | 42 |3347 |7966 |8328 | 155k| 1 | 976 | 11 | 0.000000e+00 | -- | Inf | unknown
2506.88/2513.36 c 2513s| 7000 | 6979 | 4629k| 654.9 | 131M | 42 |3347 |7961 |8403 | 157k| 1 | 982 | 11 | 0.000000e+00 | -- | Inf | unknown
2546.76/2553.30 c 2553s| 7100 | 7079 | 4711k| 657.3 | 133M | 42 |3347 |7965 |8598 | 160k| 2 | 995 | 11 | 0.000000e+00 | -- | Inf | unknown
2571.39/2578.03 c 2578s| 7200 | 7179 | 4769k| 656.2 | 133M | 42 |3347 |7969 |8391 | 163k| 1 |1002 | 11 | 0.000000e+00 | -- | Inf | unknown
2603.89/2610.62 c 2611s| 7300 | 7279 | 4838k| 656.6 | 134M | 43 |3347 |7972 |8323 | 166k| 1 |1009 | 11 | 0.000000e+00 | -- | Inf | unknown
2634.10/2640.94 c 2641s| 7400 | 7379 | 4903k| 656.5 | 134M | 43 |3347 |7973 |8255 | 169k| 1 |1013 | 11 | 0.000000e+00 | -- | Inf | unknown
2654.25/2661.15 c 2661s| 7500 | 7479 | 4948k| 653.7 | 134M | 43 |3347 |7982 |8244 | 171k| 1 |1026 | 11 | 0.000000e+00 | -- | Inf | unknown
2679.18/2686.15 c 2686s| 7600 | 7579 | 5006k| 652.8 | 135M | 43 |3347 |7980 |8247 | 173k| 1 |1032 | 11 | 0.000000e+00 | -- | Inf | unknown
2705.40/2712.49 c 2712s| 7700 | 7679 | 5063k| 651.8 | 135M | 43 |3347 |7988 |8259 | 175k| 1 |1046 | 11 | 0.000000e+00 | -- | Inf | unknown
2727.04/2734.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2727.04/2734.17 c 2734s| 7800 | 7777 | 5109k| 649.3 | 135M | 43 |3347 |7989 |8401 | 177k| 1 |1048 | 11 | 0.000000e+00 | -- | Inf | unknown
2752.36/2759.58 c 2760s| 7900 | 7877 | 5162k| 647.7 | 137M | 43 |3347 |7992 |8393 | 179k| 1 |1060 | 11 | 0.000000e+00 | -- | Inf | unknown
2772.50/2779.79 c 2780s| 8000 | 7977 | 5202k| 644.7 | 137M | 43 |3347 |8007 |8354 | 180k| 1 |1081 | 11 | 0.000000e+00 | -- | Inf | unknown
2780.07/2787.33 c 2787s| 8100 | 8077 | 5223k| 639.3 | 137M | 43 |3347 |7978 |8405 | 181k| 1 |1081 | 11 | 0.000000e+00 | -- | Inf | unknown
2797.62/2804.92 c 2805s| 8200 | 8177 | 5273k| 637.6 | 137M | 43 |3347 |7976 |8243 | 183k| 1 |1081 | 11 | 0.000000e+00 | -- | Inf | unknown
2838.71/2846.12 c 2846s| 8300 | 8277 | 5350k| 639.2 | 137M | 43 |3347 |7972 |8456 | 186k| 2 |1085 | 11 | 0.000000e+00 | -- | Inf | unknown
2859.24/2866.77 c 2867s| 8400 | 8377 | 5396k| 637.1 | 138M | 43 |3347 |7984 |8398 | 188k| 1 |1100 | 11 | 0.000000e+00 | -- | Inf | unknown
2872.30/2879.82 c 2880s| 8500 | 8477 | 5426k| 633.1 | 138M | 43 |3347 |7981 |8318 | 189k| 1 |1100 | 11 | 0.000000e+00 | -- | Inf | unknown
2897.23/2904.89 c 2905s| 8600 | 8577 | 5486k| 632.7 | 143M | 44 |3347 |7990 |8539 | 192k| 1 |1116 | 11 | 0.000000e+00 | -- | Inf | unknown
2925.55/2933.25 c 2933s| 8700 | 8677 | 5544k| 632.1 | 144M | 44 |3347 |7984 |8244 | 194k| 1 |1126 | 11 | 0.000000e+00 | -- | Inf | unknown
2960.95/2968.78 c 2969s| 8800 | 8777 | 5619k| 633.5 | 144M | 44 |3347 |7996 |8411 | 196k| 1 |1155 | 11 | 0.000000e+00 | -- | Inf | unknown
2977.80/2985.67 c 2986s| 8900 | 8877 | 5660k| 630.9 | 145M | 44 |3347 |7999 |8391 | 198k| 1 |1161 | 11 | 0.000000e+00 | -- | Inf | unknown
2996.75/3004.69 c 3005s| 9000 | 8977 | 5706k| 629.0 | 145M | 44 |3347 |7995 |8414 | 200k| 1 |1161 | 11 | 0.000000e+00 | -- | Inf | unknown
3025.66/3033.60 c 3034s| 9100 | 9077 | 5765k| 628.6 | 145M | 44 |3347 |8014 |8383 | 202k| 1 |1190 | 11 | 0.000000e+00 | -- | Inf | unknown
3046.60/3054.63 c 3055s| 9200 | 9177 | 5820k| 627.7 | 145M | 44 |3347 |8029 |8309 | 205k| 1 |1207 | 11 | 0.000000e+00 | -- | Inf | unknown
3082.40/3090.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3082.40/3090.57 c 3091s| 9300 | 9277 | 5891k| 628.7 | 146M | 44 |3347 |8040 |8244 | 207k| 1 |1237 | 11 | 0.000000e+00 | -- | Inf | unknown
3100.75/3108.95 c 3109s| 9400 | 9377 | 5940k| 627.1 | 146M | 44 |3347 |8048 |8420 | 209k| 1 |1249 | 11 | 0.000000e+00 | -- | Inf | unknown
3122.68/3130.93 c 3131s| 9500 | 9477 | 5988k| 625.6 | 146M | 44 |3347 |8058 |8082 | 211k| 1 |1260 | 11 | 0.000000e+00 | -- | Inf | unknown
3145.72/3154.01 c 3154s| 9600 | 9577 | 6033k| 623.8 | 148M | 44 |3347 |8051 |8316 | 212k| 1 |1270 | 11 | 0.000000e+00 | -- | Inf | unknown
3169.66/3178.03 c 3178s| 9700 | 9677 | 6084k| 622.7 | 148M | 44 |3347 |8051 |8417 | 215k| 1 |1286 | 11 | 0.000000e+00 | -- | Inf | unknown
3190.19/3198.63 c 3199s| 9800 | 9777 | 6130k| 621.0 | 148M | 44 |3347 |8044 |8465 | 217k| 1 |1291 | 11 | 0.000000e+00 | -- | Inf | unknown
3217.31/3225.80 c 3226s| 9900 | 9877 | 6201k| 621.9 | 148M | 44 |3347 |8047 |8248 | 218k| 1 |1303 | 11 | 0.000000e+00 | -- | Inf | unknown
3241.15/3249.73 c 3250s| 10000 | 9977 | 6255k| 621.0 | 149M | 44 |3347 |8045 |8359 | 220k| 2 |1317 | 11 | 0.000000e+00 | -- | Inf | unknown
3272.47/3281.16 c 3281s| 10100 | 10077 | 6326k| 621.9 | 150M | 44 |3347 |8041 |8436 | 223k| 2 |1324 | 11 | 0.000000e+00 | -- | Inf | unknown
3293.72/3302.47 c 3302s| 10200 | 10177 | 6374k| 620.5 | 150M | 44 |3347 |8036 |8237 | 225k| 1 |1330 | 11 | 0.000000e+00 | -- | Inf | unknown
3334.62/3343.46 c 3343s| 10300 | 10277 | 6458k| 622.7 | 153M | 44 |3347 |8027 |8406 | 228k| 1 |1340 | 11 | 0.000000e+00 | -- | Inf | unknown
3359.26/3368.13 c 3368s| 10400 | 10377 | 6510k| 621.7 | 153M | 44 |3347 |8036 |8099 | 230k| 2 |1366 | 11 | 0.000000e+00 | -- | Inf | unknown
3378.12/3387.05 c 3387s| 10500 | 10477 | 6553k| 619.8 | 154M | 44 |3347 |8034 |8089 | 232k| 1 |1369 | 11 | 0.000000e+00 | -- | Inf | unknown
3395.47/3404.47 c 3404s| 10600 | 10577 | 6594k| 617.9 | 154M | 44 |3347 |8031 |8383 | 234k| 1 |1372 | 11 | 0.000000e+00 | -- | Inf | unknown
3415.82/3424.89 c 3425s| 10700 | 10677 | 6640k| 616.4 | 154M | 44 |3347 |8027 |8232 | 236k| 1 |1376 | 11 | 0.000000e+00 | -- | Inf | unknown
3456.62/3465.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3456.62/3465.76 c 3466s| 10800 | 10777 | 6715k| 617.7 | 154M | 44 |3347 |8026 |8403 | 239k| 2 |1388 | 11 | 0.000000e+00 | -- | Inf | unknown
3477.17/3486.30 c 3486s| 10900 | 10877 | 6759k| 616.0 | 155M | 44 |3347 |8024 |8299 | 240k| 1 |1394 | 11 | 0.000000e+00 | -- | Inf | unknown
3500.52/3509.74 c 3510s| 11000 | 10977 | 6812k| 615.3 | 155M | 44 |3347 |8020 |8089 | 243k| 1 |1396 | 11 | 0.000000e+00 | -- | Inf | unknown
3523.46/3532.76 c 3533s| 11100 | 11077 | 6864k| 614.3 | 155M | 44 |3347 |8026 |8305 | 245k| 1 |1406 | 11 | 0.000000e+00 | -- | Inf | unknown
3554.09/3563.48 c 3563s| 11200 | 11177 | 6929k| 614.7 | 156M | 44 |3347 |8030 |8244 | 247k| 1 |1426 | 11 | 0.000000e+00 | -- | Inf | unknown
3580.74/3590.12 c 3590s| 11300 | 11275 | 6982k| 613.9 | 156M | 44 |3347 |8027 |8358 | 249k| 1 |1437 | 11 | 0.000000e+00 | -- | Inf | unknown
3587.52/3597.00 c
3587.52/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.52/3597.00 c Solving Time (sec) : 3597.00
3587.52/3597.00 c Solving Nodes : 11356
3587.52/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.52/3597.00 c Dual Bound : +0.00000000000000e+00
3587.52/3597.00 c Gap : infinite
3587.52/3597.00 s UNKNOWN
3587.52/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.52/3597.00 c Total Time : 3597.00
3587.52/3597.00 c solving : 3597.00
3587.52/3597.00 c presolving : 0.27 (included in solving)
3587.52/3597.00 c reading : 0.02 (included in solving)
3587.52/3597.00 c copying : 0.45 (33 #copies) (minimal 0.01, maximal 0.02, average 0.01)
3587.52/3597.00 c Original Problem :
3587.52/3597.00 c Problem name : HOME/instance-4450715-1721418388.opb
3587.52/3597.00 c Variables : 4288 (4288 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.52/3597.00 c Constraints : 9520 initial, 9520 maximal
3587.52/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.52/3597.00 c Presolved Problem :
3587.52/3597.00 c Problem name : t_HOME/instance-4450715-1721418388.opb
3587.52/3597.00 c Variables : 3347 (3347 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.52/3597.00 c Constraints : 7753 initial, 8061 maximal
3587.52/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.52/3597.00 c Nonzeros : 36307 constraint, 1644 clique table
3587.52/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.52/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c gateextraction : 0.00 0.00 1 0 0 0 0 0 96 32 0 0
3587.52/3597.00 c implics : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c milp : 0.03 0.00 1 2 64 0 0 0 0 0 0 0
3587.52/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c trivial : 0.00 0.00 11 71 0 0 0 0 0 0 0 0
3587.52/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c dualfix : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c probing : 0.12 0.00 1 0 1 0 0 0 0 0 0 0
3587.52/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c setppc : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c and : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c linear : 0.06 0.00 16 753 50 0 753 0 2565 862 65 0
3587.52/3597.00 c logicor : 0.02 0.00 9 0 0 0 0 0 0 0 0 34
3587.52/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c root node : - - - 0 - - 0 - - - - -
3587.52/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.52/3597.00 c benderslp : 0 0 0 0 11342 0 0 1273 0 0 0 0 0 0 0
3587.52/3597.00 c integral : 0 0 0 0 11342 0 0 1273 0 0 0 0 0 0 22684
3587.52/3597.00 c knapsack : 0+ 9 0 338954 0 0 0 0 97 13 665 0 0 0 0
3587.52/3597.00 c setppc : 0+ 8 0 231718 0 0 0 0 24 0 850 0 0 0 0
3587.52/3597.00 c and : 32 32 11244 351745 0 0 0 1269 599 2 635 945 911 0 0
3587.52/3597.00 c linear : 1300+ 1318 11 358504 0 0 0 5 19282 2585 26098 0 0 0 0
3587.52/3597.00 c logicor : 6421+ 6712 11 207114 0 0 0 0 4431 201 3447 0 0 0 0
3587.52/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.52/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.52/3597.00 c integral : 10.28 0.00 0.00 0.00 10.28 0.00 0.00 0.00 0.00 0.00
3587.52/3597.00 c knapsack : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
3587.52/3597.00 c setppc : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.52/3597.00 c and : 0.18 0.00 0.08 0.09 0.00 0.00 0.00 0.00 0.00 0.00
3587.52/3597.00 c linear : 1.00 0.00 0.00 0.98 0.00 0.00 0.00 0.00 0.01 0.00
3587.52/3597.00 c logicor : 0.81 0.00 0.01 0.79 0.00 0.00 0.00 0.00 0.00 0.00
3587.52/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.52/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.52/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.52/3597.00 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.52/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.52/3597.00 c dualfix : 1 0 0 0
3587.52/3597.00 c genvbounds : 0 0 0 0
3587.52/3597.00 c nlobbt : 0 0 0 0
3587.52/3597.00 c obbt : 0 0 0 0
3587.52/3597.00 c probing : 0 0 0 0
3587.52/3597.00 c pseudoobj : 0 0 0 0
3587.52/3597.00 c redcost : 0 0 0 0
3587.52/3597.00 c rootredcost : 0 0 0 0
3587.52/3597.00 c symmetry : 0 0 0 0
3587.52/3597.00 c vbounds : 86881 0 0 0
3587.52/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.52/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.52/3597.00 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3587.52/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.52/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.52/3597.00 c probing : 0.12 0.00 0.12 0.00 0.00 0.00
3587.52/3597.00 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3587.52/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.52/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.52/3597.00 c symmetry : 0.05 0.00 0.02 0.03 0.00 0.00
3587.52/3597.00 c vbounds : 0.06 0.00 0.00 0.06 0.00 0.00
3587.52/3597.00 c Symmetry :
3587.52/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.52/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.52/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.52/3597.00 c shadow tree time : 0.00 s
3587.52/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.52/3597.00 c propagation : 0.06 421 421 - 3206 170.1 170 8.7 - - -
3587.52/3597.00 c infeasible LP : 0.01 28 28 - 163 41.5 15 9.7 28 46.2 0
3587.52/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.52/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.52/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.52/3597.00 c applied globally : 0.00 - - 0 1409 39.1 - - 28 - -
3587.52/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.52/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.52/3597.00 c cut pool : 0.85 - 2549 21 - - 7528 803919 - - - - - (maximal pool size: 5378)
3587.52/3597.00 c aggregation : 0.26 0.00 34 11 0 0 4943 575354 28 180150 180132 18 0
3587.52/3597.00 c > cmir : - - - - - - - 157292 0 27727 27727 0 -
3587.52/3597.00 c > flowcover : - - - - - - - 232601 0 78321 78321 0 -
3587.52/3597.00 c > knapsackcover : - - - - - - - 185461 28 74102 74084 18 -
3587.52/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c clique : 0.02 0.00 11 11 0 0 7 84 0 5 5 0 0
3587.52/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c gomory : 9.96 0.00 33 10 0 0 1646 95046 8 7608 7607 1 0
3587.52/3597.00 c > gomorymi : - - - - - - - 37235 4 4118 4117 1 -
3587.52/3597.00 c > strongcg : - - - - - - - 57811 4 3490 3490 0 -
3587.52/3597.00 c impliedbounds : 0.01 0.00 34 11 0 0 668 87030 0 40509 40509 0 0
3587.52/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c multilinear : 0.00 0.00 172 11 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.52/3597.00 c rapidlearning : 2.86 0.00 27 1 0 7 0 0 0 0 0 0 28
3587.52/3597.00 c rlt : 0.56 0.00 31 10 0 0 6 4 2 4 4 0 0
3587.52/3597.00 c zerohalf : 0.76 0.00 33 11 0 0 381 46401 85 21556 21474 82 0
3587.52/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.52/3597.00 c hybrid : 1.47 0.00 3284 11 250743 0 554244 2694 0 4431
3587.52/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.52/3597.00 c problem variables: 0.00 - 0 0
3587.52/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.52/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.00 c relpscost : 10.27 0.00 11342 0 0 0 0 0 0 22684
3587.52/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.52/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.52/3597.00 c LP solutions : 0.00 - - 0 0
3587.52/3597.00 c relax solutions : 0.00 - - 0 0
3587.52/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.52/3597.00 c strong branching : 0.00 - - 0 0
3587.52/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.52/3597.00 c adaptivediving : 34.83 0.00 9 0 0
3587.52/3597.00 c alns : 0.20 0.00 6 0 0
3587.52/3597.00 c bound : 0.00 0.00 0 0 0
3587.52/3597.00 c clique : 0.02 0.00 1 0 0
3587.52/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.52/3597.00 c completesol : 0.00 0.00 0 0 0
3587.52/3597.00 c conflictdiving : 522.16 0.00 208 0 0
3587.52/3597.00 c crossover : 0.00 0.00 0 0 0
3587.52/3597.00 c dins : 0.00 0.00 0 0 0
3587.52/3597.00 c distributiondivin: 188.43 0.00 49 0 0
3587.52/3597.00 c dps : 0.00 0.00 0 0 0
3587.52/3597.00 c dualval : 0.00 0.00 0 0 0
3587.52/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3587.52/3597.00 c feasjump : 0.01 0.00 1 0 0
3587.52/3597.00 c feaspump : 41.79 0.00 7 0 0
3587.52/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.52/3597.00 c fracdiving : 191.95 0.00 41 0 0
3587.52/3597.00 c gins : 0.00 0.00 0 0 0
3587.52/3597.00 c guideddiving : 0.00 0.00 0 0 0
3587.52/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3587.52/3597.00 c indicator : 0.01 0.00 0 0 0
3587.52/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.52/3597.00 c indoneopt : 0.00 0.00 0 0 0
3587.52/3597.00 c indrounding : 0.00 0.00 0 0 0
3587.52/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3587.52/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.52/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.52/3597.00 c linesearchdiving : 196.43 0.00 50 0 0
3587.52/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.52/3597.00 c locks : 0.03 0.00 1 0 0
3587.52/3597.00 c lpface : 0.05 0.00 0 0 0
3587.52/3597.00 c mpec : 0.00 0.00 0 0 0
3587.52/3597.00 c multistart : 0.00 0.00 0 0 0
3587.52/3597.00 c mutation : 0.00 0.00 0 0 0
3587.52/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3587.52/3597.00 c objpscostdiving : 439.86 0.00 2 0 0
3587.52/3597.00 c octane : 0.00 0.00 0 0 0
3587.52/3597.00 c ofins : 0.00 0.00 0 0 0
3587.52/3597.00 c oneopt : 0.01 0.00 0 0 0
3587.52/3597.00 c padm : 0.00 0.00 0 0 0
3587.52/3597.00 c proximity : 0.00 0.00 0 0 0
3587.52/3597.00 c pscostdiving : 217.10 0.00 35 0 0
3587.52/3597.00 c randrounding : 0.36 0.00 1278 0 0
3587.52/3597.00 c rens : 0.00 0.00 0 0 0
3587.52/3597.00 c reoptsols : 0.00 0.00 0 0 0
3587.52/3597.00 c repair : 0.00 0.00 0 0 0
3587.52/3597.00 c rins : 0.00 0.00 0 0 0
3587.52/3597.00 c rootsoldiving : 23.22 0.00 9 0 0
3587.52/3597.00 c rounding : 0.42 0.00 1668 0 0
3587.52/3597.00 c scheduler : 0.00 0.00 0 0 0
3587.52/3597.00 c shiftandpropagate: 0.01 0.00 1 0 0
3587.52/3597.00 c shifting : 1.11 0.00 821 0 0
3587.52/3597.00 c simplerounding : 0.01 0.00 0 0 0
3587.52/3597.00 c smallcard : 0.00 0.00 0 0 0
3587.52/3597.00 c subnlp : 0.01 0.00 0 0 0
3587.52/3597.00 c trivial : 0.00 0.00 2 0 0
3587.52/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3587.52/3597.00 c trustregion : 0.00 0.00 0 0 0
3587.52/3597.00 c trysol : 0.00 0.00 0 0 0
3587.52/3597.00 c twoopt : 0.00 0.00 0 0 0
3587.52/3597.00 c undercover : 0.00 0.00 1 0 0
3587.52/3597.00 c vbounds : 0.00 0.00 0 0 0
3587.52/3597.00 c veclendiving : 196.97 0.00 87 0 0
3587.52/3597.00 c zeroobj : 0.00 0.00 0 0 0
3587.52/3597.00 c zirounding : 0.18 0.00 1000 0 0
3587.52/3597.00 c other solutions : - - - 0 -
3587.52/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
3587.52/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
3587.52/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
3587.52/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
3587.52/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
3587.52/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
3587.52/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
3587.52/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
3587.63/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
3587.63/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
3587.63/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.63/3597.00 c primal LP : 1.41 1255 0 0.00 0.00 1.41 1255
3587.63/3597.00 c dual LP : 1495.43 14630 4261865 291.33 2849.93 0.01 1
3587.63/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3587.63/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.63/3597.00 c resolve instable : 0.00 0 0 0.00 -
3587.63/3597.00 c diving/probing LP: 2033.49 4106 2737587 666.73 1346.25
3587.63/3597.00 c strong branching : 5.62 11 10355 941.36 1843.13 - - 20
3587.63/3597.00 c (at root node) : - 11 10355 941.36 -
3587.63/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3587.63/3597.00 c B&B Tree :
3587.63/3597.00 c number of runs : 1
3587.63/3597.00 c nodes : 11356 (11342 internal, 14 leaves)
3587.63/3597.00 c feasible leaves : 0
3587.63/3597.00 c infeas. leaves : 13
3587.63/3597.00 c objective leaves : 0
3587.63/3597.00 c nodes (total) : 11356 (11342 internal, 14 leaves)
3587.63/3597.00 c nodes left : 11330
3587.63/3597.00 c max depth : 44
3587.63/3597.00 c max depth (total): 44
3587.63/3597.00 c backtracks : 2507 (22.1%)
3587.63/3597.00 c early backtracks : 0 (0.0%)
3587.63/3597.00 c nodes exc. ref. : 0 (0.0%)
3587.63/3597.00 c delayed cutoffs : 0
3587.63/3597.00 c repropagations : 14 (18 domain reductions, 0 cutoffs)
3587.63/3597.00 c avg switch length: 6.89
3587.63/3597.00 c switching time : 3.05
3587.63/3597.00 c Root Node :
3587.63/3597.00 c First LP value : +0.00000000000000e+00
3587.63/3597.00 c First LP Iters : 946 (29248.99 Iter/sec)
3587.63/3597.00 c First LP Time : 0.03
3587.63/3597.00 c Final Dual Bound : +0.00000000000000e+00
3587.63/3597.00 c Final Root Iters : 45792
3587.63/3597.00 c Root LP Estimate : +3.34237127254533e-01
3587.63/3597.00 c Solution :
3587.63/3597.00 c Solutions found : 0 (0 improvements)
3587.63/3597.00 c Primal Bound : -
3587.63/3597.00 c Dual Bound : +0.00000000000000e+00
3587.63/3597.00 c Gap : infinite
3587.63/3597.00 c Integrals : Total Avg%
3587.63/3597.00 c primal-dual : 359699.83 100.00
3587.63/3597.00 c primal-ref : - - (not evaluated)
3587.63/3597.00 c dual-ref : - - (not evaluated)
3587.63/3597.04 c Time complete: 3587.67.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61698 MiB free)
memory of node 1: 64473 MiB (61764 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450715-1721418388/watcher-4450715-1721418388 -o /tmp/evaluation-result-4450715-1721418388/solver-4450715-1721418388 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721410880-1025278 --watchdog 3760 pbscip -f HOME/instance-4450715-1721418388.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1029715, runsolver pid=1029712
[startup+0.100087 s]*
/proc/loadavg: 4.26 4.26 4.19 5/254 1029716
/proc/meminfo: memFree=126392076/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=86996 memory=47460 CPUtime=0.09 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 9889 0 0 0 8 1 0 0 20 0 1 0 194009637 89083904 11865 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 21749 11865 3698 3540 0 10006 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 86996 KiB
Current children cumulated memory: 47460 KiB
[startup+0.20541 s]*
/proc/loadavg: 4.26 4.26 4.19 5/254 1029716
/proc/meminfo: memFree=126387376/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=91804 memory=52532 CPUtime=0.2 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 11114 0 0 0 19 1 0 0 20 0 1 0 194009637 94007296 13133 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 22951 13133 3714 3540 0 11208 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 91804 KiB
Current children cumulated memory: 52532 KiB
[startup+0.305366 s]*
/proc/loadavg: 4.26 4.26 4.19 5/254 1029716
/proc/meminfo: memFree=126383020/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=103876 memory=59432 CPUtime=0.29 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 12846 0 0 0 28 1 0 0 20 0 1 0 194009637 106369024 14858 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 25969 14858 3730 3540 0 14226 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 103876 KiB
Current children cumulated memory: 59432 KiB
[startup+0.700217 s]
/proc/loadavg: 4.26 4.26 4.19 5/254 1029716
/proc/meminfo: memFree=126361304/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=159568 memory=114284 CPUtime=0.69 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 27169 0 0 0 65 4 0 0 20 0 1 0 194009637 163397632 28571 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 39892 28571 3938 3540 0 28149 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 159568 KiB
Current children cumulated memory: 114284 KiB
[startup+1.50017 s]
/proc/loadavg: 4.26 4.26 4.19 5/254 1029716
/proc/meminfo: memFree=126327256/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=158004 memory=113016 CPUtime=1.49 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 27535 0 0 0 145 4 0 0 20 0 1 0 194009637 161796096 28254 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 39501 28254 3985 3540 0 27758 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 158004 KiB
Current children cumulated memory: 113016 KiB
[startup+3.10533 s]
/proc/loadavg: 4.23 4.26 4.18 5/254 1029718
/proc/meminfo: memFree=126327084/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=158004 memory=113236 CPUtime=3.09 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 27553 0 0 0 305 4 0 0 20 0 1 0 194009637 161796096 28309 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 39501 28309 3985 3540 0 27758 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 158004 KiB
Current children cumulated memory: 113236 KiB
[startup+6.30015 s]
/proc/loadavg: 4.23 4.26 4.18 5/254 1029718
/proc/meminfo: memFree=126327048/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=158004 memory=113236 CPUtime=6.28 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 27556 0 0 0 624 4 0 0 20 0 1 0 194009637 161796096 28309 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 39501 28309 3985 3540 0 27758 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 158004 KiB
Current children cumulated memory: 113236 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.25 4.18 5/254 1029719
/proc/meminfo: memFree=126326740/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=158004 memory=113236 CPUtime=12.66 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 27607 0 0 0 1262 4 0 0 20 0 1 0 194009637 161796096 28309 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 39501 28309 3985 3540 0 27758 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 158004 KiB
Current children cumulated memory: 113236 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.24 4.18 5/254 1029721
/proc/meminfo: memFree=126327576/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=158004 memory=114028 CPUtime=25.43 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 27763 0 0 0 2539 4 0 0 20 0 1 0 194009637 161796096 28507 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 39501 28507 3985 3540 0 27758 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 158004 KiB
Current children cumulated memory: 114028 KiB
[startup+51.1053 s]
/proc/loadavg: 4.18 4.23 4.18 5/254 1029725
/proc/meminfo: memFree=126298908/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=184212 memory=138992 CPUtime=50.97 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 35524 0 0 0 5092 5 0 0 20 0 1 0 194009637 188633088 34748 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 46053 34748 3985 3540 0 34310 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 184212 KiB
Current children cumulated memory: 138992 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.21 4.18 5/254 1029735
/proc/meminfo: memFree=126292488/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=184212 memory=140376 CPUtime=102.05 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 35952 0 0 0 10200 5 0 0 20 0 1 0 194009637 188633088 35094 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 46053 35094 3985 3540 0 34310 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 184212 KiB
Current children cumulated memory: 140376 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 4.22 4.18 5/254 1029745
/proc/meminfo: memFree=126277240/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=184212 memory=140376 CPUtime=161.91 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 35952 0 0 0 16186 5 0 0 20 0 1 0 194009637 188633088 35094 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 46053 35094 3985 3540 0 34310 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 184212 KiB
Current children cumulated memory: 140376 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/258 1029762
/proc/meminfo: memFree=126262988/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=184212 memory=140376 CPUtime=221.78 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 35987 0 0 0 22173 5 0 0 20 0 1 0 194009637 188633088 35094 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 46053 35094 3985 3540 0 34310 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 184212 KiB
Current children cumulated memory: 140376 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.18 4.18 5/258 1029773
/proc/meminfo: memFree=126255028/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=184212 memory=140376 CPUtime=281.61 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 36164 0 0 0 28155 6 0 0 20 0 1 0 194009637 188633088 35094 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 46053 35094 3985 3540 0 34310 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 184212 KiB
Current children cumulated memory: 140376 KiB
[startup+342.3 s]
/proc/loadavg: 4.22 4.19 4.18 5/258 1029784
/proc/meminfo: memFree=126247184/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=187064 memory=143360 CPUtime=341.43 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 43461 0 0 0 34136 7 0 0 20 0 1 0 194009637 191553536 35840 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 46766 35840 3985 3540 0 35023 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 187064 KiB
Current children cumulated memory: 143360 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/258 1029794
/proc/meminfo: memFree=126229484/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=187064 memory=146224 CPUtime=401.28 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 43538 0 0 0 40121 7 0 0 20 0 1 0 194009637 191553536 36556 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 46766 36556 4001 3540 0 35023 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 187064 KiB
Current children cumulated memory: 146224 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.18 4.18 5/258 1029805
/proc/meminfo: memFree=126222064/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=187064 memory=147988 CPUtime=461.14 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 43599 0 0 0 46107 7 0 0 20 0 1 0 194009637 191553536 36997 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 46766 36997 4001 3540 0 35023 0
################
# More data... #
################
/proc/loadavg: 3.11 3.45 3.80 4/247 1031599
/proc/meminfo: memFree=126357352/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=216040 memory=177008 CPUtime=3154 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 74988 0 0 0 315388 12 0 0 20 0 1 0 194009637 221224960 44252 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 54010 44252 4001 3540 0 42267 0
Current children cumulated CPU time: 3154 s
Current children cumulated vsize: 216040 KiB
Current children cumulated memory: 177008 KiB
[startup+3222.3 s]
/proc/loadavg: 3.20 3.41 3.76 4/250 1031615
/proc/meminfo: memFree=126354124/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=216040 memory=177032 CPUtime=3213.82 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 75068 0 0 0 321370 12 0 0 20 0 1 0 194009637 221224960 44258 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 54010 44258 4001 3540 0 42267 0
Current children cumulated CPU time: 3213.82 s
Current children cumulated vsize: 216040 KiB
Current children cumulated memory: 177032 KiB
[startup+3282.3 s]
/proc/loadavg: 3.05 3.33 3.71 3/243 1031657
/proc/meminfo: memFree=126631532/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=218004 memory=178940 CPUtime=3273.66 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 75619 0 0 0 327353 13 0 0 20 0 1 0 194009637 223236096 44735 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 54501 44735 4001 3540 0 42758 0
Current children cumulated CPU time: 3273.66 s
Current children cumulated vsize: 218004 KiB
Current children cumulated memory: 178940 KiB
[startup+3342.3 s]
/proc/loadavg: 2.43 3.10 3.61 3/243 1031668
/proc/meminfo: memFree=126628392/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=220708 memory=181084 CPUtime=3333.52 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 76276 0 0 0 333339 13 0 0 20 0 1 0 194009637 226004992 45271 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 55177 45271 4001 3540 0 43434 0
Current children cumulated CPU time: 3333.52 s
Current children cumulated vsize: 220708 KiB
Current children cumulated memory: 181084 KiB
[startup+3402.3 s]
/proc/loadavg: 2.26 2.93 3.51 3/243 1031679
/proc/meminfo: memFree=126626020/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=222052 memory=182652 CPUtime=3393.37 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 76695 0 0 0 339324 13 0 0 20 0 1 0 194009637 227381248 45663 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 55513 45663 4001 3540 0 43770 0
Current children cumulated CPU time: 3393.37 s
Current children cumulated vsize: 222052 KiB
Current children cumulated memory: 182652 KiB
[startup+3462.3 s]
/proc/loadavg: 2.15 2.77 3.42 3/243 1031690
/proc/meminfo: memFree=126624964/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=222380 memory=182944 CPUtime=3453.23 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 76843 0 0 0 345310 13 0 0 20 0 1 0 194009637 227717120 45736 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 55595 45736 4001 3540 0 43852 0
Current children cumulated CPU time: 3453.23 s
Current children cumulated vsize: 222380 KiB
Current children cumulated memory: 182944 KiB
[startup+3522.3 s]
/proc/loadavg: 2.09 2.64 3.33 3/243 1031700
/proc/meminfo: memFree=126622912/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=223704 memory=183988 CPUtime=3513.09 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 77177 0 0 0 351296 13 0 0 20 0 1 0 194009637 229072896 45997 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 55926 45997 4001 3540 0 44183 0
Current children cumulated CPU time: 3513.09 s
Current children cumulated vsize: 223704 KiB
Current children cumulated memory: 183988 KiB
[startup+3582.3 s]
/proc/loadavg: 2.13 2.55 3.26 3/240 1031710
/proc/meminfo: memFree=126622044/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=223704 memory=184504 CPUtime=3572.95 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 77306 0 0 0 357282 13 0 0 20 0 1 0 194009637 229072896 46126 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 55926 46126 4001 3540 0 44183 0
Current children cumulated CPU time: 3572.95 s
Current children cumulated vsize: 223704 KiB
Current children cumulated memory: 184504 KiB
[startup+3597.05 s]
# the end of solver process 1029715 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.54 s, system=0.138612 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.12 2.55 3.25 3/240 1031710
/proc/meminfo: memFree=126622044/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=223704 memory=184504 CPUtime=3574.65 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 77306 0 0 0 357452 13 0 0 20 0 1 0 194009637 229072896 46126 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 55926 46126 4001 3540 0 44183 0
Current children cumulated CPU time: 3574.65 s
Current children cumulated vsize: 223704 KiB
Current children cumulated memory: 184504 KiB
[startup+3590.4 s]
/proc/loadavg: 2.11 2.54 3.25 3/240 1031710
/proc/meminfo: memFree=126622044/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=223704 memory=184504 CPUtime=3581.04 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 77307 0 0 0 358091 13 0 0 20 0 1 0 194009637 229072896 46126 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 55926 46126 4001 3540 0 44183 0
Current children cumulated CPU time: 3581.04 s
Current children cumulated vsize: 223704 KiB
Current children cumulated memory: 184504 KiB
[startup+3593.6 s]
/proc/loadavg: 2.10 2.53 3.24 3/240 1031712
/proc/meminfo: memFree=126621960/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=223704 memory=184504 CPUtime=3584.23 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 77307 0 0 0 358410 13 0 0 20 0 1 0 194009637 229072896 46126 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 55926 46126 4001 3540 0 44183 0
Current children cumulated CPU time: 3584.23 s
Current children cumulated vsize: 223704 KiB
Current children cumulated memory: 184504 KiB
[startup+3595.2 s]
/proc/loadavg: 2.10 2.53 3.24 3/240 1031712
/proc/meminfo: memFree=126621960/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=223704 memory=184504 CPUtime=3585.82 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 77307 0 0 0 358569 13 0 0 20 0 1 0 194009637 229072896 46126 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 55926 46126 4001 3540 0 44183 0
Current children cumulated CPU time: 3585.82 s
Current children cumulated vsize: 223704 KiB
Current children cumulated memory: 184504 KiB
[startup+3596 s]*
/proc/loadavg: 2.10 2.53 3.24 3/240 1031712
/proc/meminfo: memFree=126621960/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=223704 memory=184504 CPUtime=3586.63 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 77307 0 0 0 358650 13 0 0 20 0 1 0 194009637 229072896 46126 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 55926 46126 4001 3540 0 44183 0
Current children cumulated CPU time: 3586.63 s
Current children cumulated vsize: 223704 KiB
Current children cumulated memory: 184504 KiB
[startup+3596.8 s]
/proc/loadavg: 2.10 2.53 3.24 3/240 1031712
/proc/meminfo: memFree=126621960/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=223704 memory=184504 CPUtime=3587.42 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 77307 0 0 0 358729 13 0 0 20 0 1 0 194009637 229072896 46126 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 55926 46126 4001 3540 0 44183 0
Current children cumulated CPU time: 3587.42 s
Current children cumulated vsize: 223704 KiB
Current children cumulated memory: 184504 KiB
[startup+3597 s]*
/proc/loadavg: 2.10 2.53 3.24 3/240 1031712
/proc/meminfo: memFree=126621960/131524600 swapFree=131071996/131071996
[pid=1029715] ppid=1029712 vsize=223704 memory=184504 CPUtime=3587.63 cores=5,7
/proc/1029715/stat : 1029715 (pbscip) R 1029712 1029715 1025265 0 -1 4194304 77307 0 0 0 358750 13 0 0 20 0 1 0 194009637 229072896 46126 134679101440 4194304 18693293 140728319685424 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44384256 140728319689730 140728319689829 140728319689829 140728319696846 0
/proc/1029715/statm: 55926 46126 4001 3540 0 44183 0
Current children cumulated CPU time: 3587.63 s
Current children cumulated vsize: 223704 KiB
Current children cumulated memory: 184504 KiB
Child status: 0
Real time (s): 3597.05
CPU time (s): 3587.68
CPU user time (s): 3587.54
CPU system time (s): 0.138612
CPU usage (%): 99.7395
Max. virtual memory (cumulated for all children) (KiB): 223704
Max. memory (cumulated for all children) (KiB): 184504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.54
system time used= 0.138612
maximum resident set size= 184504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77312
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= 30
involuntary context switches= 1338
# summary of solver processes directly reported to runsolver:
# pid: 1029715
# total CPU time (s): 3587.68
# total CPU user time (s): 3587.54
# total CPU system time (s): 0.138612
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.17772 second user time and 14.1481 second system time
The end