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-4450745-1721419347.opb>
0.00/0.02 c original problem has 3968 variables (3968 bin, 0 int, 0 impl, 0 cont) and 7936 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.03 c presolving:
0.00/0.04 c (round 1, fast) 646 del vars, 1036 del conss, 617 add conss, 552 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 289 clqs
0.00/0.05 c (round 2, fast) 991 del vars, 1751 del conss, 719 add conss, 820 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 497 clqs
0.00/0.05 c (round 3, fast) 1020 del vars, 1833 del conss, 729 add conss, 842 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 527 clqs
0.00/0.06 c (0.1s) running MILP presolver
0.00/0.07 c (0.1s) MILP presolver (4 rounds): 92 aggregations, 2 fixings, 0 bound changes
0.00/0.08 c (round 4, medium) 1114 del vars, 1833 del conss, 729 add conss, 842 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 340 clqs
0.00/0.08 c (round 5, fast) 1114 del vars, 2016 del conss, 788 add conss, 842 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 380 clqs
0.00/0.08 c (round 6, exhaustive) 1114 del vars, 2564 del conss, 788 add conss, 842 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 380 clqs
0.00/0.10 c (round 7, exhaustive) 1114 del vars, 2564 del conss, 788 add conss, 842 chg bounds, 2 chg sides, 0 chg coeffs, 4959 upgd conss, 0 impls, 380 clqs
0.10/0.10 c (round 8, exhaustive) 1114 del vars, 2660 del conss, 820 add conss, 842 chg bounds, 2 chg sides, 0 chg coeffs, 4959 upgd conss, 0 impls, 380 clqs
0.10/0.12 c (round 9, exhaustive) 1114 del vars, 2660 del conss, 820 add conss, 842 chg bounds, 68 chg sides, 0 chg coeffs, 4959 upgd conss, 0 impls, 380 clqs
0.10/0.12 c (round 10, exhaustive) 1114 del vars, 2660 del conss, 820 add conss, 842 chg bounds, 68 chg sides, 0 chg coeffs, 5025 upgd conss, 0 impls, 380 clqs
0.20/0.23 c (0.2s) probing: 969/2930 (33.1%) - 0 fixings, 1 aggregations, 489 implications, 0 bound changes
0.20/0.23 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.20/0.23 c (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.20/0.25 c (0.2s) no symmetry present (symcode time: 0.00)
0.20/0.25 c presolving (11 rounds: 11 fast, 7 medium, 6 exhaustive):
0.20/0.25 c 1115 deleted vars, 2660 deleted constraints, 820 added constraints, 842 tightened bounds, 0 added holes, 68 changed sides, 33 changed coefficients
0.20/0.25 c 0 implications, 850 cliques
0.20/0.25 c presolved problem has 2929 variables (2929 bin, 0 int, 0 impl, 0 cont) and 6096 constraints
0.20/0.25 c 32 constraints of type <and>
0.20/0.25 c 1 constraints of type <xor>
0.20/0.25 c 1135 constraints of type <linear>
0.20/0.25 c 4928 constraints of type <logicor>
0.20/0.25 c transformed objective value is always integral (scale: 1)
0.20/0.25 c Presolving Time: 0.22
0.20/0.25 c - non default parameters ----------------------------------------------------------------------
0.20/0.25 c # SCIP version 10.0.0
0.20/0.25 c
0.20/0.25 c # maximal time in seconds to run
0.20/0.25 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.20/0.25 c limits/time = 3596.997038
0.20/0.25 c
0.20/0.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.20/0.25 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.20/0.25 c limits/memory = 27900
0.20/0.25 c
0.20/0.25 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.20/0.25 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.20/0.25 c limits/solutions = 1
0.20/0.25 c
0.20/0.25 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.20/0.25 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.20/0.25 c misc/usesymmetry = 3
0.20/0.25 c
0.20/0.25 c # belongs reading time to solving time?
0.20/0.25 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.20/0.25 c timing/reading = TRUE
0.20/0.25 c
0.20/0.25 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.20/0.25 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.20/0.25 c propagating/symmetry/detectdoublelex = FALSE
0.20/0.25 c
0.20/0.25 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.20/0.25 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.20/0.25 c propagating/symmetry/detectsubgroups = FALSE
0.20/0.25 c
0.20/0.25 c # Type of symmetries that shall be computed?
0.20/0.25 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.20/0.25 c propagating/symmetry/symtype = 1
0.20/0.25 c
0.20/0.25 c # Should components consisting of a single full reflection be handled?
0.20/0.25 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.20/0.25 c propagating/symmetry/usesimplesgncomp = FALSE
0.20/0.25 c
0.20/0.25 c -----------------------------------------------------------------------------------------------
0.20/0.25 c start solving
0.20/0.25 c
0.30/0.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.30/0.32 c 0.3s| 1 | 0 | 818 | - | 47M | 0 |2929 |6103 |6128 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
0.68/0.79 c 0.8s| 1 | 0 | 2653 | - | 51M | 0 |2929 |6103 |6428 | 300 | 1 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
1.78/1.82 c 1.8s| 1 | 0 | 4843 | - | 53M | 0 |2929 |6103 |6719 | 591 | 2 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
3.37/3.46 c 3.5s| 1 | 0 | 8179 | - | 55M | 0 |2929 |6102 |7014 | 886 | 3 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
5.47/5.51 c 5.5s| 1 | 0 | 12012 | - | 58M | 0 |2929 |6102 |7288 |1160 | 4 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
7.47/7.54 c 7.5s| 1 | 0 | 15849 | - | 61M | 0 |2929 |6102 |7573 |1445 | 5 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
9.57/9.63 c 9.6s| 1 | 0 | 19492 | - | 64M | 0 |2929 |6102 |7826 |1698 | 6 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
12.06/12.13 c 12.1s| 1 | 0 | 23908 | - | 64M | 0 |2929 |6102 |7987 |1859 | 7 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
14.45/14.52 c 14.5s| 1 | 0 | 27883 | - | 66M | 0 |2929 |6102 |8194 |2066 | 8 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
16.65/16.76 c 16.8s| 1 | 0 | 31293 | - | 67M | 0 |2929 |6102 |8308 |2180 | 9 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
18.95/19.03 c 19.0s| 1 | 0 | 34621 | - | 68M | 0 |2929 |6102 |8465 |2337 | 10 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
20.04/20.14 c 20.1s| 1 | 0 | 37173 | - | 69M | 0 |2929 |6102 |8563 |2435 | 11 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
30.11/30.22 c 30.2s| 1 | 2 | 44173 | - | 69M | 0 |2929 |6104 |8563 |2435 | 11 | 8 | 11 | 0.000000e+00 | -- | Inf | unknown
248.66/249.31 c 249s| 100 | 101 |288027 |2533.9 | 71M | 15 |2929 |6168 |6343 |4271 | 1 | 78 | 11 | 0.000000e+00 | -- | Inf | unknown
281.08/281.80 c 282s| 200 | 201 |376384 |1704.6 | 72M | 22 |2929 |6165 |6653 |6891 | 2 | 82 | 11 | 0.000000e+00 | -- | Inf | unknown
335.35/336.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
335.35/336.27 c 336s| 300 | 301 |512319 |1589.1 | 72M | 24 |2929 |6167 |6649 |9909 | 1 | 100 | 11 | 0.000000e+00 | -- | Inf | unknown
365.87/366.82 c 367s| 400 | 401 |588046 |1380.6 | 74M | 26 |2929 |6171 |6656 | 12k| 1 | 107 | 11 | 0.000000e+00 | -- | Inf | unknown
377.24/378.23 c 378s| 500 | 501 |617125 |1162.2 | 74M | 26 |2929 |6164 |6489 | 13k| 1 | 109 | 11 | 0.000000e+00 | -- | Inf | unknown
398.79/399.80 c 400s| 600 | 601 |668798 |1054.5 | 74M | 26 |2929 |6172 |6484 | 14k| 2 | 119 | 11 | 0.000000e+00 | -- | Inf | unknown
437.99/439.13 c 439s| 700 | 701 |762087 |1037.1 | 75M | 26 |2929 |6182 |6344 | 17k| 1 | 133 | 11 | 0.000000e+00 | -- | Inf | unknown
451.76/452.99 c 453s| 800 | 801 |798951 | 953.4 | 75M | 26 |2929 |6180 |6546 | 19k| 2 | 133 | 11 | 0.000000e+00 | -- | Inf | unknown
473.41/474.65 c 475s| 900 | 901 |846598 | 900.4 | 75M | 26 |2929 |6186 |6641 | 20k| 1 | 148 | 11 | 0.000000e+00 | -- | Inf | unknown
499.64/500.91 c 501s| 1000 | 997 |919738 | 883.4 | 76M | 27 |2929 |6185 |6633 | 22k| 1 | 150 | 11 | 0.000000e+00 | -- | Inf | unknown
521.59/522.97 c 523s| 1100 | 1087 |972812 | 851.4 | 76M | 29 |2929 |6177 |6651 | 23k| 1 | 151 | 11 | 0.000000e+00 | -- | Inf | unknown
543.43/544.80 c 545s| 1200 | 1177 | 1022k| 821.6 | 77M | 30 |2929 |6178 |6657 | 25k| 1 | 164 | 11 | 0.000000e+00 | -- | Inf | unknown
566.47/567.94 c 568s| 1300 | 1273 | 1093k| 812.8 | 77M | 30 |2929 |6195 |6657 | 27k| 1 | 185 | 11 | 0.000000e+00 | -- | Inf | unknown
729.38/731.26 c 731s| 1400 | 1369 | 1313k| 912.5 | 78M | 30 |2929 |6207 |6493 | 29k| 1 | 203 | 11 | 0.000000e+00 | -- | Inf | unknown
756.31/758.23 c 758s| 1500 | 1467 | 1382k| 897.7 | 78M | 34 |2929 |6204 |6655 | 31k| 1 | 207 | 11 | 0.000000e+00 | -- | Inf | unknown
781.06/783.09 c 783s| 1600 | 1567 | 1449k| 883.5 | 80M | 34 |2929 |6208 |6499 | 34k| 1 | 234 | 11 | 0.000000e+00 | -- | Inf | unknown
793.92/795.94 c 796s| 1700 | 1661 | 1479k| 849.0 | 80M | 34 |2929 |6209 |6493 | 34k| 1 | 241 | 11 | 0.000000e+00 | -- | Inf | unknown
805.79/807.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
805.79/807.87 c 808s| 1800 | 1759 | 1513k| 820.5 | 81M | 34 |2929 |6207 |6652 | 36k| 1 | 242 | 11 | 0.000000e+00 | -- | Inf | unknown
823.95/826.07 c 826s| 1900 | 1857 | 1557k| 800.6 | 81M | 34 |2929 |6200 |6344 | 37k| 1 | 244 | 11 | 0.000000e+00 | -- | Inf | unknown
841.79/843.94 c 844s| 2000 | 1955 | 1605k| 784.5 | 82M | 34 |2929 |6211 |6654 | 38k| 1 | 255 | 11 | 0.000000e+00 | -- | Inf | unknown
849.78/852.00 c 852s| 2100 | 2055 | 1628k| 758.3 | 82M | 34 |2929 |6211 |6432 | 39k| 1 | 257 | 11 | 0.000000e+00 | -- | Inf | unknown
868.53/870.73 c 871s| 2200 | 2153 | 1675k| 745.0 | 82M | 34 |2929 |6219 |6501 | 41k| 2 | 273 | 11 | 0.000000e+00 | -- | Inf | unknown
878.41/880.63 c 881s| 2300 | 2251 | 1711k| 728.1 | 83M | 34 |2929 |6218 |6431 | 42k| 1 | 273 | 11 | 0.000000e+00 | -- | Inf | unknown
895.07/897.32 c 897s| 2400 | 2349 | 1746k| 712.3 | 84M | 34 |2929 |6213 |6645 | 42k| 1 | 281 | 11 | 0.000000e+00 | -- | Inf | unknown
903.15/905.49 c 905s| 2500 | 2449 | 1770k| 693.6 | 84M | 34 |2929 |6211 |6653 | 43k| 1 | 281 | 11 | 0.000000e+00 | -- | Inf | unknown
917.82/920.15 c 920s| 2600 | 2547 | 1808k| 681.5 | 84M | 34 |2929 |6210 |6651 | 45k| 1 | 283 | 11 | 0.000000e+00 | -- | Inf | unknown
931.58/933.93 c 934s| 2700 | 2647 | 1843k| 669.3 | 84M | 38 |2929 |6211 |6493 | 46k| 1 | 294 | 11 | 0.000000e+00 | -- | Inf | unknown
943.54/945.95 c 946s| 2800 | 2745 | 1878k| 657.8 | 84M | 38 |2929 |6211 |6483 | 48k| 1 | 300 | 11 | 0.000000e+00 | -- | Inf | unknown
973.37/975.89 c 976s| 2900 | 2845 | 1949k| 659.6 | 85M | 38 |2929 |6215 |6660 | 50k| 1 | 317 | 11 | 0.000000e+00 | -- | Inf | unknown
998.20/1000.76 c 1001s| 3000 | 2945 | 2024k| 662.8 | 85M | 38 |2929 |6219 |6657 | 52k| 1 | 333 | 11 | 0.000000e+00 | -- | Inf | unknown
1017.26/1019.81 c 1020s| 3100 | 3043 | 2078k| 658.6 | 87M | 41 |2929 |6214 |6656 | 54k| 1 | 339 | 11 | 0.000000e+00 | -- | Inf | unknown
1044.59/1047.24 c 1047s| 3200 | 3143 | 2151k| 660.8 | 89M | 41 |2929 |6213 |6646 | 57k| 2 | 345 | 11 | 0.000000e+00 | -- | Inf | unknown
1078.71/1081.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1078.71/1081.46 c 1081s| 3300 | 3243 | 2233k| 665.8 | 91M | 43 |2929 |6230 |6490 | 59k| 1 | 374 | 11 | 0.000000e+00 | -- | Inf | unknown
1100.65/1103.45 c 1103s| 3400 | 3343 | 2298k| 665.3 | 92M | 43 |2929 |6227 |6974 | 62k| 2 | 379 | 11 | 0.000000e+00 | -- | Inf | unknown
1131.08/1133.98 c 1134s| 3500 | 3443 | 2382k| 670.1 | 92M | 44 |2929 |6223 |6644 | 65k| 2 | 395 | 11 | 0.000000e+00 | -- | Inf | unknown
1165.49/1168.45 c 1168s| 3600 | 3543 | 2481k| 679.2 | 92M | 44 |2929 |6210 |6493 | 68k| 1 | 402 | 11 | 0.000000e+00 | -- | Inf | unknown
1189.93/1192.96 c 1193s| 3700 | 3643 | 2547k| 678.6 | 93M | 44 |2929 |6213 |6854 | 70k| 2 | 413 | 11 | 0.000000e+00 | -- | Inf | unknown
1213.77/1216.86 c 1217s| 3800 | 3743 | 2611k| 677.6 | 93M | 44 |2929 |6213 |6656 | 72k| 1 | 423 | 11 | 0.000000e+00 | -- | Inf | unknown
1237.81/1240.99 c 1241s| 3900 | 3843 | 2673k| 676.3 | 93M | 44 |2929 |6223 |6652 | 75k| 1 | 438 | 11 | 0.000000e+00 | -- | Inf | unknown
1264.44/1267.64 c 1268s| 4000 | 3943 | 2744k| 677.0 | 93M | 44 |2929 |6225 |6774 | 77k| 1 | 448 | 11 | 0.000000e+00 | -- | Inf | unknown
1282.10/1285.30 c 1285s| 4100 | 4043 | 2795k| 672.9 | 94M | 44 |2929 |6226 |6661 | 79k| 1 | 454 | 11 | 0.000000e+00 | -- | Inf | unknown
1305.94/1309.27 c 1309s| 4200 | 4143 | 2857k| 671.7 | 94M | 44 |2929 |6222 |6633 | 81k| 1 | 458 | 11 | 0.000000e+00 | -- | Inf | unknown
1341.05/1344.46 c 1344s| 4300 | 4242 | 2958k| 679.6 | 94M | 44 |2929 |6224 |6651 | 84k| 1 | 471 | 11 | 0.000000e+00 | -- | Inf | unknown
1366.09/1369.51 c 1370s| 4400 | 4342 | 3023k| 678.8 | 95M | 44 |2929 |6223 |6840 | 86k| 2 | 477 | 11 | 0.000000e+00 | -- | Inf | unknown
1391.43/1394.92 c 1395s| 4500 | 4442 | 3091k| 678.8 | 95M | 44 |2929 |6227 |6775 | 89k| 2 | 484 | 11 | 0.000000e+00 | -- | Inf | unknown
1417.36/1420.99 c 1421s| 4600 | 4542 | 3155k| 678.0 | 95M | 44 |2929 |6237 |6500 | 90k| 1 | 501 | 11 | 0.000000e+00 | -- | Inf | unknown
1435.32/1438.98 c 1439s| 4700 | 4642 | 3205k| 674.3 | 95M | 44 |2929 |6234 |6754 | 93k| 1 | 503 | 11 | 0.000000e+00 | -- | Inf | unknown
1463.45/1467.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1463.45/1467.11 c 1467s| 4800 | 4741 | 3282k| 676.2 | 97M | 44 |2929 |6243 |6639 | 95k| 1 | 516 | 11 | 0.000000e+00 | -- | Inf | unknown
1482.50/1486.27 c 1486s| 4900 | 4841 | 3329k| 672.1 | 99M | 44 |2929 |6229 |6499 | 97k| 1 | 516 | 11 | 0.000000e+00 | -- | Inf | unknown
1517.22/1521.08 c 1521s| 5000 | 4939 | 3414k| 675.7 | 101M | 44 |2929 |6255 |6633 | 100k| 1 | 546 | 11 | 0.000000e+00 | -- | Inf | unknown
1536.37/1540.24 c 1540s| 5100 | 5039 | 3469k| 673.2 | 102M | 44 |2929 |6254 |6645 | 102k| 1 | 550 | 11 | 0.000000e+00 | -- | Inf | unknown
1554.02/1557.91 c 1558s| 5200 | 5137 | 3519k| 669.8 | 102M | 44 |2929 |6240 |6699 | 104k| 2 | 550 | 11 | 0.000000e+00 | -- | Inf | unknown
1581.55/1585.57 c 1586s| 5300 | 5237 | 3587k| 670.1 | 102M | 44 |2929 |6240 |6482 | 107k| 1 | 555 | 11 | 0.000000e+00 | -- | Inf | unknown
1606.49/1610.59 c 1611s| 5400 | 5337 | 3653k| 669.8 | 104M | 44 |2929 |6246 |6700 | 109k| 2 | 568 | 11 | 0.000000e+00 | -- | Inf | unknown
1622.06/1626.11 c 1626s| 5500 | 5436 | 3700k| 666.3 | 104M | 44 |2929 |6262 |6634 | 111k| 1 | 594 | 11 | 0.000000e+00 | -- | Inf | unknown
1658.46/1662.65 c 1663s| 5600 | 5536 | 3784k| 669.3 | 104M | 44 |2929 |6261 |6700 | 113k| 2 | 606 | 11 | 0.000000e+00 | -- | Inf | unknown
1684.80/1689.06 c 1689s| 5700 | 5636 | 3858k| 670.5 | 104M | 44 |2929 |6248 |6855 | 116k| 2 | 612 | 11 | 0.000000e+00 | -- | Inf | unknown
1716.82/1721.14 c 1721s| 5800 | 5736 | 3938k| 672.8 | 104M | 44 |2929 |6259 |6849 | 118k| 2 | 626 | 11 | 0.000000e+00 | -- | Inf | unknown
1740.45/1744.82 c 1745s| 5900 | 5836 | 4009k| 673.4 | 104M | 44 |2929 |6266 |6654 | 121k| 1 | 635 | 11 | 0.000000e+00 | -- | Inf | unknown
1772.37/1776.86 c 1777s| 6000 | 5934 | 4097k| 676.8 | 104M | 44 |2929 |6286 |6684 | 124k| 2 | 661 | 11 | 0.000000e+00 | -- | Inf | unknown
1807.79/1812.33 c 1812s| 6100 | 6034 | 4203k| 683.1 | 104M | 44 |2929 |6271 |6649 | 127k| 1 | 664 | 11 | 0.000000e+00 | -- | Inf | unknown
1832.72/1837.37 c 1837s| 6200 | 6134 | 4274k| 683.5 | 105M | 44 |2929 |6284 |6805 | 130k| 1 | 682 | 11 | 0.000000e+00 | -- | Inf | unknown
1863.15/1867.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1863.15/1867.80 c 1868s| 6300 | 6234 | 4352k| 685.1 | 106M | 44 |2929 |6269 |6493 | 132k| 1 | 686 | 11 | 0.000000e+00 | -- | Inf | unknown
1889.08/1893.82 c 1894s| 6400 | 6334 | 4424k| 685.7 | 106M | 44 |2929 |6257 |6649 | 135k| 1 | 692 | 11 | 0.000000e+00 | -- | Inf | unknown
1914.52/1919.31 c 1919s| 6500 | 6434 | 4493k| 685.6 | 108M | 44 |2929 |6254 |6774 | 137k| 1 | 693 | 11 | 0.000000e+00 | -- | Inf | unknown
1939.16/1944.08 c 1944s| 6600 | 6534 | 4557k| 684.9 | 108M | 44 |2929 |6248 |6500 | 140k| 2 | 693 | 11 | 0.000000e+00 | -- | Inf | unknown
1958.01/1962.99 c 1963s| 6700 | 6634 | 4604k| 681.8 | 110M | 44 |2929 |6266 |6819 | 141k| 1 | 720 | 11 | 0.000000e+00 | -- | Inf | unknown
1973.27/1978.29 c 1978s| 6800 | 6734 | 4648k| 678.3 | 110M | 44 |2929 |6282 |6580 | 142k| 2 | 739 | 11 | 0.000000e+00 | -- | Inf | unknown
1999.20/2004.23 c 2004s| 6900 | 6832 | 4716k| 678.3 | 110M | 44 |2929 |6286 |6852 | 145k| 2 | 749 | 11 | 0.000000e+00 | -- | Inf | unknown
2026.33/2031.46 c 2031s| 7000 | 6932 | 4783k| 678.2 | 111M | 44 |2929 |6269 |6484 | 147k| 1 | 755 | 11 | 0.000000e+00 | -- | Inf | unknown
2059.15/2064.39 c 2064s| 7100 | 7032 | 4869k| 680.7 | 112M | 44 |2929 |6265 |6658 | 151k| 1 | 763 | 11 | 0.000000e+00 | -- | Inf | unknown
2087.48/2092.75 c 2093s| 7200 | 7132 | 4945k| 681.8 | 112M | 44 |2929 |6267 |6808 | 154k| 1 | 776 | 11 | 0.000000e+00 | -- | Inf | unknown
2111.72/2117.07 c 2117s| 7300 | 7232 | 5011k| 681.5 | 113M | 44 |2929 |6260 |6858 | 157k| 2 | 779 | 11 | 0.000000e+00 | -- | Inf | unknown
2141.04/2146.46 c 2146s| 7400 | 7330 | 5093k| 683.4 | 115M | 44 |2929 |6273 |6639 | 160k| 1 | 800 | 11 | 0.000000e+00 | -- | Inf | unknown
2162.99/2168.47 c 2168s| 7500 | 7430 | 5158k| 682.9 | 115M | 44 |2929 |6262 |6653 | 162k| 2 | 803 | 11 | 0.000000e+00 | -- | Inf | unknown
2200.10/2205.65 c 2206s| 7600 | 7530 | 5255k| 686.7 | 115M | 44 |2929 |6286 |6861 | 166k| 2 | 830 | 11 | 0.000000e+00 | -- | Inf | unknown
2228.13/2233.73 c 2234s| 7700 | 7630 | 5326k| 687.0 | 116M | 44 |2929 |6290 |6484 | 169k| 1 | 842 | 11 | 0.000000e+00 | -- | Inf | unknown
2250.88/2256.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2250.88/2256.57 c 2257s| 7800 | 7730 | 5388k| 686.2 | 116M | 44 |2929 |6284 |6659 | 171k| 1 | 845 | 11 | 0.000000e+00 | -- | Inf | unknown
2274.92/2280.61 c 2281s| 7900 | 7824 | 5459k| 686.4 | 116M | 44 |2929 |6281 |6760 | 173k| 1 | 850 | 11 | 0.000000e+00 | -- | Inf | unknown
2302.95/2308.71 c 2309s| 8000 | 7924 | 5530k| 686.7 | 116M | 44 |2929 |6283 |6800 | 176k| 1 | 863 | 11 | 0.000000e+00 | -- | Inf | unknown
2325.20/2331.08 c 2331s| 8100 | 8022 | 5592k| 686.0 | 116M | 44 |2929 |6302 |6640 | 178k| 1 | 890 | 11 | 0.000000e+00 | -- | Inf | unknown
2356.72/2362.64 c 2363s| 8200 | 8122 | 5679k| 688.2 | 117M | 44 |2929 |6302 |6482 | 181k| 1 | 898 | 11 | 0.000000e+00 | -- | Inf | unknown
2391.05/2397.07 c 2397s| 8300 | 8222 | 5765k| 690.2 | 118M | 44 |2929 |6299 |6801 | 185k| 2 | 914 | 11 | 0.000000e+00 | -- | Inf | unknown
2415.88/2421.99 c 2422s| 8400 | 8322 | 5830k| 689.8 | 119M | 44 |2929 |6292 |6493 | 187k| 1 | 924 | 11 | 0.000000e+00 | -- | Inf | unknown
2437.23/2443.33 c 2443s| 8500 | 8422 | 5890k| 688.7 | 119M | 44 |2929 |6282 |6489 | 190k| 1 | 925 | 11 | 0.000000e+00 | -- | Inf | unknown
2467.37/2473.52 c 2474s| 8600 | 8522 | 5963k| 689.2 | 119M | 44 |2929 |6277 |6716 | 192k| 1 | 939 | 11 | 0.000000e+00 | -- | Inf | unknown
2488.52/2494.79 c 2495s| 8700 | 8620 | 6019k| 687.7 | 119M | 44 |2929 |6282 |6796 | 195k| 2 | 951 | 11 | 0.000000e+00 | -- | Inf | unknown
2510.47/2516.78 c 2517s| 8800 | 8720 | 6081k| 686.9 | 121M | 46 |2929 |6299 |6694 | 197k| 2 | 974 | 11 | 0.000000e+00 | -- | Inf | unknown
2542.99/2549.38 c 2549s| 8900 | 8820 | 6166k| 688.8 | 121M | 46 |2929 |6292 |6759 | 200k| 1 | 983 | 11 | 0.000000e+00 | -- | Inf | unknown
2562.55/2568.98 c 2569s| 9000 | 8920 | 6223k| 687.5 | 122M | 46 |2929 |6306 |6635 | 202k| 1 |1005 | 11 | 0.000000e+00 | -- | Inf | unknown
2575.22/2581.62 c 2582s| 9100 | 9020 | 6260k| 683.9 | 122M | 46 |2929 |6304 |6657 | 204k| 1 |1005 | 11 | 0.000000e+00 | -- | Inf | unknown
2596.57/2603.09 c 2603s| 9200 | 9120 | 6316k| 682.6 | 122M | 47 |2929 |6311 |6657 | 206k| 1 |1014 | 11 | 0.000000e+00 | -- | Inf | unknown
2621.60/2628.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2621.60/2628.16 c 2628s| 9300 | 9219 | 6382k| 682.4 | 122M | 47 |2929 |6290 |6920 | 209k| 2 |1018 | 11 | 0.000000e+00 | -- | Inf | unknown
2646.64/2653.29 c 2653s| 9400 | 9319 | 6461k| 683.5 | 122M | 47 |2929 |6298 |6656 | 211k| 1 |1027 | 11 | 0.000000e+00 | -- | Inf | unknown
2670.58/2677.20 c 2677s| 9500 | 9419 | 6526k| 683.1 | 122M | 47 |2929 |6325 |6800 | 214k| 1 |1056 | 11 | 0.000000e+00 | -- | Inf | unknown
2702.81/2709.55 c 2710s| 9600 | 9519 | 6609k| 684.7 | 122M | 47 |2929 |6330 |6761 | 217k| 1 |1070 | 11 | 0.000000e+00 | -- | Inf | unknown
2722.17/2729.00 c 2729s| 9700 | 9619 | 6666k| 683.5 | 122M | 47 |2929 |6330 |6658 | 220k| 1 |1072 | 11 | 0.000000e+00 | -- | Inf | unknown
2751.61/2758.43 c 2758s| 9800 | 9719 | 6742k| 684.3 | 124M | 47 |2929 |6322 |6765 | 223k| 1 |1081 | 11 | 0.000000e+00 | -- | Inf | unknown
2767.67/2774.56 c 2775s| 9900 | 9819 | 6789k| 682.1 | 125M | 47 |2929 |6318 |6765 | 225k| 1 |1081 | 11 | 0.000000e+00 | -- | Inf | unknown
2786.33/2793.27 c 2793s| 10000 | 9918 | 6836k| 680.0 | 125M | 47 |2929 |6312 |6761 | 227k| 1 |1083 | 11 | 0.000000e+00 | -- | Inf | unknown
2809.28/2816.21 c 2816s| 10100 | 10018 | 6893k| 678.9 | 125M | 47 |2929 |6303 |6652 | 229k| 1 |1087 | 11 | 0.000000e+00 | -- | Inf | unknown
2831.53/2838.57 c 2839s| 10200 | 10118 | 6954k| 678.2 | 125M | 47 |2929 |6306 |6974 | 232k| 2 |1099 | 11 | 0.000000e+00 | -- | Inf | unknown
2856.88/2863.92 c 2864s| 10300 | 10218 | 7025k| 678.5 | 125M | 47 |2929 |6309 |6922 | 235k| 1 |1107 | 11 | 0.000000e+00 | -- | Inf | unknown
2878.13/2885.20 c 2885s| 10400 | 10318 | 7088k| 678.1 | 126M | 47 |2929 |6303 |6661 | 238k| 1 |1111 | 11 | 0.000000e+00 | -- | Inf | unknown
2905.67/2912.80 c 2913s| 10500 | 10418 | 7160k| 678.5 | 126M | 47 |2929 |6309 |6645 | 240k| 1 |1118 | 11 | 0.000000e+00 | -- | Inf | unknown
2929.82/2937.02 c 2937s| 10600 | 10518 | 7232k| 678.9 | 126M | 47 |2929 |6306 |6838 | 243k| 2 |1123 | 11 | 0.000000e+00 | -- | Inf | unknown
2953.47/2960.74 c 2961s| 10700 | 10618 | 7296k| 678.5 | 127M | 47 |2929 |6300 |6924 | 245k| 1 |1126 | 11 | 0.000000e+00 | -- | Inf | unknown
2983.10/2990.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2983.10/2990.43 c 2990s| 10800 | 10718 | 7368k| 678.9 | 127M | 47 |2929 |6301 |6501 | 248k| 1 |1132 | 11 | 0.000000e+00 | -- | Inf | unknown
3004.85/3012.21 c 3012s| 10900 | 10818 | 7426k| 678.0 | 127M | 47 |2929 |6311 |6696 | 251k| 2 |1147 | 11 | 0.000000e+00 | -- | Inf | unknown
3026.11/3033.57 c 3034s| 11000 | 10918 | 7484k| 677.1 | 127M | 49 |2929 |6311 |6756 | 253k| 1 |1156 | 11 | 0.000000e+00 | -- | Inf | unknown
3042.47/3049.92 c 3050s| 11100 | 11018 | 7534k| 675.5 | 127M | 49 |2929 |6306 |6858 | 255k| 2 |1160 | 11 | 0.000000e+00 | -- | Inf | unknown
3207.73/3215.59 c 3216s| 11200 | 11118 | 7682k| 682.7 | 128M | 49 |2929 |6321 |6787 | 257k| 1 |1176 | 11 | 0.000000e+00 | -- | Inf | unknown
3228.68/3236.59 c 3237s| 11300 | 11218 | 7741k| 681.9 | 130M | 49 |2929 |6319 |6854 | 260k| 2 |1183 | 11 | 0.000000e+00 | -- | Inf | unknown
3255.03/3262.96 c 3263s| 11400 | 11318 | 7805k| 681.5 | 130M | 49 |2929 |6315 |6632 | 262k| 1 |1185 | 11 | 0.000000e+00 | -- | Inf | unknown
3275.38/3283.38 c 3283s| 11500 | 11418 | 7864k| 680.7 | 131M | 49 |2929 |6322 |6650 | 264k| 1 |1196 | 11 | 0.000000e+00 | -- | Inf | unknown
3300.72/3308.76 c 3309s| 11600 | 11518 | 7952k| 682.4 | 132M | 49 |2929 |6335 |6650 | 267k| 1 |1216 | 11 | 0.000000e+00 | -- | Inf | unknown
3316.10/3324.15 c 3324s| 11700 | 11618 | 7990k| 679.8 | 133M | 49 |2929 |6322 |6749 | 268k| 1 |1216 | 11 | 0.000000e+00 | -- | Inf | unknown
3329.76/3337.89 c 3338s| 11800 | 11718 | 8031k| 677.6 | 133M | 49 |2929 |6307 |6803 | 270k| 1 |1216 | 11 | 0.000000e+00 | -- | Inf | unknown
3355.91/3364.06 c 3364s| 11900 | 11815 | 8090k| 676.8 | 133M | 49 |2929 |6302 |6811 | 272k| 1 |1220 | 11 | 0.000000e+00 | -- | Inf | unknown
3380.35/3388.58 c 3389s| 12000 | 11915 | 8158k| 676.9 | 134M | 49 |2929 |6289 |6652 | 275k| 1 |1220 | 11 | 0.000000e+00 | -- | Inf | unknown
3400.41/3408.61 c 3409s| 12100 | 12015 | 8218k| 676.2 | 134M | 49 |2929 |6290 |6925 | 278k| 1 |1228 | 11 | 0.000000e+00 | -- | Inf | unknown
3429.85/3438.11 c 3438s| 12200 | 12115 | 8290k| 676.5 | 135M | 49 |2929 |6304 |6917 | 280k| 1 |1258 | 11 | 0.000000e+00 | -- | Inf | unknown
3446.11/3454.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3446.11/3454.43 c 3454s| 12300 | 12215 | 8338k| 675.0 | 135M | 49 |2929 |6310 |6770 | 282k| 1 |1266 | 11 | 0.000000e+00 | -- | Inf | unknown
3474.75/3483.14 c 3483s| 12400 | 12315 | 8420k| 676.1 | 135M | 49 |2929 |6315 |6590 | 285k| 1 |1275 | 11 | 0.000000e+00 | -- | Inf | unknown
3495.60/3504.03 c 3504s| 12500 | 12415 | 8470k| 674.8 | 135M | 49 |2929 |6314 |6633 | 287k| 1 |1286 | 11 | 0.000000e+00 | -- | Inf | unknown
3512.86/3521.30 c 3521s| 12600 | 12515 | 8520k| 673.3 | 136M | 55 |2929 |6318 |6771 | 289k| 1 |1295 | 11 | 0.000000e+00 | -- | Inf | unknown
3535.91/3544.48 c 3544s| 12700 | 12615 | 8583k| 673.0 | 136M | 55 |2929 |6324 |6914 | 292k| 2 |1314 | 11 | 0.000000e+00 | -- | Inf | unknown
3548.28/3556.88 c 3557s| 12800 | 12715 | 8622k| 670.8 | 137M | 95 |2929 |6322 |7178 | 293k| 1 |1316 | 11 | 0.000000e+00 | -- | Inf | unknown
3553.27/3561.85 c 3562s| 12900 | 12813 | 8638k| 666.8 | 137M | 150 |2929 |6338 |7235 | 293k| 2 |1333 | 11 | 0.000000e+00 | -- | Inf | unknown
3554.57/3563.16 c 3563s| 13000 | 12913 | 8644k| 662.1 | 139M | 232 |2929 |6337 |7367 | 294k| 1 |1333 | 11 | 0.000000e+00 | -- | Inf | unknown
3555.77/3564.36 c 3564s| 13100 | 12989 | 8649k| 657.4 | 141M | 287 |2929 |6368 | 0 | 294k| 0 |1368 | 11 | 0.000000e+00 | -- | Inf | unknown
3559.56/3568.19 c 3568s| 13200 | 13036 | 8658k| 653.2 | 142M | 310 |2929 |6396 |7390 | 294k| 1 |1408 | 11 | 0.000000e+00 | -- | Inf | unknown
3560.46/3569.10 c 3569s| 13300 | 13069 | 8661k| 648.5 | 145M | 320 |2929 |6408 |7078 | 294k| 1 |1422 | 11 | 0.000000e+00 | -- | Inf | unknown
3562.55/3571.15 c 3571s| 13400 | 13129 | 8669k| 644.2 | 153M | 320 |2929 |6455 |7118 | 294k| 1 |1502 | 11 | 0.000000e+00 | -- | Inf | unknown
3566.74/3575.33 c 3575s| 13500 | 13172 | 8683k| 640.5 | 163M | 320 |2929 |6521 |7393 | 294k| 1 |1645 | 11 | 0.000000e+00 | -- | Inf | unknown
3569.54/3578.17 c 3578s| 13600 | 13204 | 8692k| 636.4 | 167M | 321 |2929 |6636 | 0 | 294k| 0 |1876 | 11 | 0.000000e+00 | -- | Inf | unknown
3571.33/3579.99 c 3580s| 13700 | 13240 | 8699k| 632.3 | 171M | 321 |2929 |6717 |7393 | 295k| 1 |2059 | 11 | 0.000000e+00 | -- | Inf | unknown
3572.93/3581.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3572.93/3581.55 c 3582s| 13800 | 13278 | 8705k| 628.2 | 172M | 322 |2929 |6807 |7393 | 295k| 0 |2209 | 11 | 0.000000e+00 | -- | Inf | unknown
3574.82/3583.43 c 3583s| 13900 | 13275 | 8714k| 624.3 | 177M | 324 |2929 |6784 |7395 | 295k| 1 |2391 | 11 | 0.000000e+00 | -- | Inf | unknown
3576.42/3585.01 c 3585s| 14000 | 13283 | 8721k| 620.3 | 178M | 324 |2929 |6817 |7393 | 295k| 1 |2532 | 11 | 0.000000e+00 | -- | Inf | unknown
3578.11/3586.71 c 3587s| 14100 | 13280 | 8727k| 616.4 | 181M | 324 |2929 |6919 | 0 | 295k| 0 |2750 | 11 | 0.000000e+00 | -- | Inf | unknown
3579.32/3587.95 c 3588s| 14200 | 13276 | 8733k| 612.4 | 183M | 324 |2929 |6953 |7393 | 295k| 1 |2955 | 11 | 0.000000e+00 | -- | Inf | unknown
3580.11/3588.78 c 3589s| 14300 | 13273 | 8736k| 608.4 | 184M | 324 |2929 |6979 | 0 | 295k| 0 |3104 | 11 | 0.000000e+00 | -- | Inf | unknown
3581.21/3589.84 c 3590s| 14400 | 13275 | 8741k| 604.5 | 185M | 324 |2929 |7082 |7392 | 295k| 1 |3268 | 11 | 0.000000e+00 | -- | Inf | unknown
3582.01/3590.63 c 3591s| 14500 | 13274 | 8745k| 600.6 | 185M | 324 |2929 |7113 |7392 | 295k| 1 |3353 | 11 | 0.000000e+00 | -- | Inf | unknown
3582.91/3591.51 c 3592s| 14600 | 13270 | 8749k| 596.8 | 186M | 324 |2929 |7110 |7392 | 295k| 1 |3441 | 11 | 0.000000e+00 | -- | Inf | unknown
3584.20/3592.83 c 3593s| 14700 | 13272 | 8755k| 593.1 | 187M | 325 |2929 |7046 |7391 | 295k| 1 |3644 | 11 | 0.000000e+00 | -- | Inf | unknown
3585.10/3593.73 c 3594s| 14800 | 13299 | 8759k| 589.4 | 187M | 325 |2929 |7129 | 0 | 295k| 0 |3762 | 11 | 0.000000e+00 | -- | Inf | unknown
3586.00/3594.63 c 3595s| 14900 | 13296 | 8764k| 585.7 | 188M | 325 |2929 |7022 |7391 | 295k| 1 |3799 | 11 | 0.000000e+00 | -- | Inf | unknown
3586.79/3595.45 c 3595s| 15000 | 13307 | 8768k| 582.1 | 188M | 325 |2929 |7031 |7393 | 295k| 1 |3868 | 11 | 0.000000e+00 | -- | Inf | unknown
3587.99/3596.62 c 3597s| 15100 | 13306 | 8773k| 578.6 | 189M | 325 |2929 |7061 |7391 | 295k| 1 |3945 | 11 | 0.000000e+00 | -- | Inf | unknown
3588.29/3597.00 c
3588.29/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.29/3597.00 c Solving Time (sec) : 3597.00
3588.29/3597.00 c Solving Nodes : 15133
3588.29/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3588.29/3597.00 c Dual Bound : +0.00000000000000e+00
3588.29/3597.00 c Gap : infinite
3588.29/3597.00 s UNKNOWN
3588.29/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.29/3597.00 c Total Time : 3597.00
3588.29/3597.00 c solving : 3597.00
3588.29/3597.00 c presolving : 0.22 (included in solving)
3588.29/3597.00 c reading : 0.02 (included in solving)
3588.29/3597.00 c copying : 1.18 (106 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3588.29/3597.00 c Original Problem :
3588.29/3597.00 c Problem name : HOME/instance-4450745-1721419347.opb
3588.29/3597.00 c Variables : 3968 (3968 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.29/3597.00 c Constraints : 7936 initial, 7936 maximal
3588.29/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3588.29/3597.00 c Presolved Problem :
3588.29/3597.00 c Problem name : t_HOME/instance-4450745-1721419347.opb
3588.29/3597.00 c Variables : 2929 (2929 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.29/3597.00 c Constraints : 6096 initial, 7234 maximal
3588.29/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3588.29/3597.00 c Nonzeros : 28442 constraint, 1706 clique table
3588.29/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3588.29/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c gateextraction : 0.00 0.00 1 0 0 0 0 0 96 32 0 0
3588.29/3597.00 c implics : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c milp : 0.03 0.00 1 2 92 0 0 0 0 0 0 0
3588.29/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c trivial : 0.00 0.00 11 76 0 0 0 0 0 0 0 0
3588.29/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c dualfix : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c probing : 0.10 0.00 1 0 1 0 0 0 0 0 0 0
3588.29/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c setppc : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c and : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c xor : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c linear : 0.05 0.00 16 842 26 0 842 0 2564 788 68 0
3588.29/3597.00 c logicor : 0.02 0.00 9 0 0 0 0 0 0 0 0 33
3588.29/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c root node : - - - 0 - - 0 - - - - -
3588.29/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3588.29/3597.00 c benderslp : 0 0 0 0 14315 0 0 7985 0 0 0 0 0 0 0
3588.29/3597.00 c integral : 0 0 0 0 14315 0 0 7985 0 0 0 0 0 0 28630
3588.29/3597.00 c knapsack : 0+ 11 0 433251 0 0 0 0 273 18 293 0 0 0 0
3588.29/3597.00 c setppc : 0+ 12 0 269163 0 0 0 0 1045 0 166 0 0 0 0
3588.29/3597.00 c and : 32 32 13909 450520 0 0 0 7981 7638 2 2892 1907 1848 0 0
3588.29/3597.00 c xor : 1 1 11 407311 0 0 0 197 36 5 2 0 0 0 0
3588.29/3597.00 c linear : 1135+ 1149 11 475698 0 0 0 193 389783 4250 85265 0 0 0 0
3588.29/3597.00 c logicor : 4928+ 6038 11 273806 0 0 0 0 85151 252 25349 2 0 0 0
3588.29/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3588.29/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c integral : 9.94 0.00 0.00 0.00 9.67 0.00 0.00 0.27 0.00 0.00
3588.29/3597.00 c knapsack : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c setppc : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c and : 0.21 0.00 0.08 0.12 0.00 0.00 0.00 0.01 0.00 0.00
3588.29/3597.00 c xor : 1.00 0.00 0.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c linear : 1.95 0.00 0.00 1.76 0.00 0.00 0.00 0.00 0.18 0.00
3588.29/3597.00 c logicor : 1.62 0.00 0.01 1.55 0.00 0.00 0.00 0.00 0.06 0.00
3588.29/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c components : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3588.29/3597.00 c dualfix : 1 0 0 0
3588.29/3597.00 c genvbounds : 0 0 0 0
3588.29/3597.00 c nlobbt : 0 0 0 0
3588.29/3597.00 c obbt : 0 0 0 0
3588.29/3597.00 c probing : 0 0 0 0
3588.29/3597.00 c pseudoobj : 0 0 0 0
3588.29/3597.00 c redcost : 0 0 0 0
3588.29/3597.00 c rootredcost : 0 0 0 0
3588.29/3597.00 c symmetry : 0 0 0 0
3588.29/3597.00 c vbounds : 125962 0 0 0
3588.29/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3588.29/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00
3588.29/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c probing : 0.10 0.00 0.10 0.00 0.00 0.00
3588.29/3597.00 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3588.29/3597.00 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3588.29/3597.00 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3588.29/3597.00 c symmetry : 0.07 0.00 0.02 0.06 0.00 0.00
3588.29/3597.00 c vbounds : 0.17 0.00 0.00 0.17 0.00 0.00
3588.29/3597.00 c Symmetry :
3588.29/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3588.29/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3588.29/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3588.29/3597.00 c shadow tree time : 0.00 s
3588.29/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3588.29/3597.00 c propagation : 0.98 561 558 - 30495 371.2 438 13.4 - - -
3588.29/3597.00 c infeasible LP : 2.66 228 210 - 38318 670.7 23 6.6 52 82.6 0
3588.29/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3588.29/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3588.29/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3588.29/3597.00 c applied globally : 0.02 - - 0 3953 157.0 - - 50 - -
3588.29/3597.00 c applied locally : - - - 0 0 0.0 - - 2 - -
3588.29/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3588.29/3597.00 c cut pool : 0.90 - 3334 21 - - 8001 898082 - - - - - (maximal pool size: 4737)
3588.29/3597.00 c aggregation : 0.23 0.00 43 11 0 0 4996 604468 92 196854 196791 63 0
3588.29/3597.00 c > cmir : - - - - - - - 177292 0 28678 28678 0 -
3588.29/3597.00 c > flowcover : - - - - - - - 226541 0 79860 79860 0 -
3588.29/3597.00 c > knapsackcover : - - - - - - - 200635 92 88316 88253 63 -
3588.29/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c clique : 0.02 0.00 11 11 0 0 11 1244 0 238 238 0 0
3588.29/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c gomory : 7.86 0.00 42 10 0 0 1897 96797 48 7471 7465 6 0
3588.29/3597.00 c > gomorymi : - - - - - - - 36017 24 3234 3228 6 -
3588.29/3597.00 c > strongcg : - - - - - - - 60780 24 4237 4237 0 -
3588.29/3597.00 c impliedbounds : 0.01 0.00 43 11 0 0 852 123066 0 55622 55622 0 0
3588.29/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c multilinear : 0.00 0.00 326 11 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c rapidlearning : 8.41 0.00 100 1 0 66 0 0 0 0 0 0 46
3588.29/3597.00 c rlt : 0.51 0.00 37 10 0 0 13 11 2 8 8 0 0
3588.29/3597.00 c zerohalf : 0.71 0.00 42 11 0 0 510 72496 136 33149 33034 115 0
3588.29/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3588.29/3597.00 c hybrid : 1.54 0.00 4611 11 295215 0 605054 2435 0 3926
3588.29/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3588.29/3597.00 c problem variables: 0.00 - 0 0
3588.29/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3588.29/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c relpscost : 9.66 0.00 14315 0 0 0 0 0 0 28630
3588.29/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3588.29/3597.00 c LP solutions : 0.00 - - 0 0
3588.29/3597.00 c relax solutions : 0.00 - - 0 0
3588.29/3597.00 c pseudo solutions : 0.00 - - 0 0
3588.29/3597.00 c strong branching : 0.00 - - 0 0
3588.29/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3588.29/3597.00 c adaptivediving : 31.95 0.00 12 0 0
3588.29/3597.00 c alns : 0.17 0.00 6 0 0
3588.29/3597.00 c bound : 0.00 0.00 0 0 0
3588.29/3597.00 c clique : 0.01 0.00 1 0 0
3588.29/3597.00 c coefdiving : 0.00 0.00 0 0 0
3588.29/3597.00 c completesol : 0.00 0.00 0 0 0
3588.29/3597.00 c conflictdiving : 510.79 0.00 273 0 0
3588.29/3597.00 c crossover : 0.00 0.00 0 0 0
3588.29/3597.00 c dins : 0.00 0.00 0 0 0
3588.29/3597.00 c distributiondivin: 184.90 0.00 80 0 0
3588.29/3597.00 c dps : 0.00 0.00 0 0 0
3588.29/3597.00 c dualval : 0.00 0.00 0 0 0
3588.29/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3588.29/3597.00 c feasjump : 0.01 0.00 1 0 0
3588.29/3597.00 c feaspump : 36.18 0.00 10 0 0
3588.29/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3588.29/3597.00 c fracdiving : 192.96 0.00 65 0 0
3588.29/3597.00 c gins : 0.00 0.00 0 0 0
3588.29/3597.00 c guideddiving : 0.00 0.00 0 0 0
3588.29/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3588.29/3597.00 c indicator : 0.01 0.00 0 0 0
3588.29/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3588.29/3597.00 c indoneopt : 0.00 0.00 0 0 0
3588.29/3597.00 c indrounding : 0.00 0.00 0 0 0
3588.29/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3588.29/3597.00 c intdiving : 0.00 0.00 0 0 0
3588.29/3597.00 c intshifting : 0.00 0.00 0 0 0
3588.29/3597.00 c linesearchdiving : 188.50 0.00 67 0 0
3588.29/3597.00 c localbranching : 0.00 0.00 0 0 0
3588.29/3597.00 c locks : 0.01 0.00 1 0 0
3588.29/3597.00 c lpface : 0.06 0.00 0 0 0
3588.29/3597.00 c mpec : 0.00 0.00 0 0 0
3588.29/3597.00 c multistart : 0.00 0.00 0 0 0
3588.29/3597.00 c mutation : 0.00 0.00 0 0 0
3588.29/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3588.29/3597.00 c objpscostdiving : 398.98 0.00 3 0 0
3588.29/3597.00 c octane : 0.00 0.00 0 0 0
3588.29/3597.00 c ofins : 0.00 0.00 0 0 0
3588.29/3597.00 c oneopt : 0.01 0.00 0 0 0
3588.29/3597.00 c padm : 0.00 0.00 0 0 0
3588.29/3597.00 c proximity : 0.00 0.00 0 0 0
3588.29/3597.00 c pscostdiving : 204.75 0.00 49 0 0
3588.29/3597.00 c randrounding : 0.40 0.00 1853 0 0
3588.29/3597.00 c rens : 0.00 0.00 0 0 0
3588.29/3597.00 c reoptsols : 0.00 0.00 0 0 0
3588.29/3597.00 c repair : 0.00 0.00 0 0 0
3588.29/3597.00 c rins : 0.00 0.00 0 0 0
3588.29/3597.00 c rootsoldiving : 22.88 0.00 11 0 0
3588.29/3597.00 c rounding : 0.38 0.00 1922 0 0
3588.29/3597.00 c scheduler : 0.00 0.00 0 0 0
3588.29/3597.00 c shiftandpropagate: 0.01 0.00 1 0 0
3588.29/3597.00 c shifting : 1.07 0.00 965 0 0
3588.29/3597.00 c simplerounding : 0.01 0.00 0 0 0
3588.29/3597.00 c smallcard : 0.00 0.00 0 0 0
3588.29/3597.00 c subnlp : 0.01 0.00 0 0 0
3588.29/3597.00 c trivial : 0.00 0.00 2 0 0
3588.29/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3588.29/3597.00 c trustregion : 0.00 0.00 0 0 0
3588.29/3597.00 c trysol : 0.00 0.00 0 0 0
3588.29/3597.00 c twoopt : 0.00 0.00 0 0 0
3588.29/3597.00 c undercover : 0.00 0.00 1 0 0
3588.29/3597.00 c vbounds : 0.00 0.00 0 0 0
3588.29/3597.00 c veclendiving : 190.42 0.00 128 0 0
3588.29/3597.00 c zeroobj : 0.00 0.00 0 0 0
3588.29/3597.00 c zirounding : 0.15 0.00 1000 0 0
3588.29/3597.00 c other solutions : - - - 0 -
3588.29/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
3588.29/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
3588.29/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
3588.29/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
3588.29/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
3588.29/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
3588.29/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
3588.29/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
3588.29/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
3588.29/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
3588.29/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3588.29/3597.00 c primal LP : 1.66 1529 0 0.00 0.00 1.66 1529
3588.29/3597.00 c dual LP : 1578.56 19144 5487060 287.03 3475.99 0.06 27
3588.29/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3588.29/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3588.29/3597.00 c resolve instable : 0.05 2 953 476.50 17425.49
3588.29/3597.00 c diving/probing LP: 1940.21 5405 3288624 608.44 1694.98
3588.29/3597.00 c strong branching : 5.22 11 10549 959.00 2018.95 - - 21
3588.29/3597.00 c (at root node) : - 11 10549 959.00 -
3588.29/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3588.29/3597.00 c B&B Tree :
3588.29/3597.00 c number of runs : 1
3588.29/3597.00 c nodes : 15133 (14315 internal, 818 leaves)
3588.29/3597.00 c feasible leaves : 0
3588.29/3597.00 c infeas. leaves : 817
3588.29/3597.00 c objective leaves : 0
3588.29/3597.00 c nodes (total) : 15133 (14315 internal, 818 leaves)
3588.29/3597.00 c nodes left : 13308
3588.29/3597.00 c max depth : 325
3588.29/3597.00 c max depth (total): 325
3588.29/3597.00 c backtracks : 3215 (21.2%)
3588.29/3597.00 c early backtracks : 0 (0.0%)
3588.29/3597.00 c nodes exc. ref. : 0 (0.0%)
3588.29/3597.00 c delayed cutoffs : 191
3588.29/3597.00 c repropagations : 624 (10154 domain reductions, 159 cutoffs)
3588.29/3597.00 c avg switch length: 7.53
3588.29/3597.00 c switching time : 3.55
3588.29/3597.00 c Root Node :
3588.29/3597.00 c First LP value : +0.00000000000000e+00
3588.29/3597.00 c First LP Iters : 818 (36729.38 Iter/sec)
3588.29/3597.00 c First LP Time : 0.02
3588.29/3597.00 c Final Dual Bound : +0.00000000000000e+00
3588.29/3597.00 c Final Root Iters : 37173
3588.29/3597.00 c Root LP Estimate : +3.32647862905187e-01
3588.29/3597.00 c Solution :
3588.29/3597.00 c Solutions found : 0 (0 improvements)
3588.29/3597.00 c Primal Bound : -
3588.29/3597.00 c Dual Bound : +0.00000000000000e+00
3588.29/3597.00 c Gap : infinite
3588.29/3597.00 c Integrals : Total Avg%
3588.29/3597.00 c primal-dual : 359699.75 100.00
3588.29/3597.00 c primal-ref : - - (not evaluated)
3588.29/3597.00 c dual-ref : - - (not evaluated)
3588.40/3597.04 c Time complete: 3588.45.
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 (61557 MiB free)
memory of node 1: 64473 MiB (61823 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450745-1721419347/watcher-4450745-1721419347 -o /tmp/evaluation-result-4450745-1721419347/solver-4450745-1721419347 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721410880-1025277 --watchdog 3760 pbscip -f HOME/instance-4450745-1721419347.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=1030508, runsolver pid=1030505
[startup+0.101723 s]*
/proc/loadavg: 4.12 4.14 4.17 5/259 1030509
/proc/meminfo: memFree=126310540/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=84896 memory=45752 CPUtime=0.1 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 9000 0 0 0 9 1 0 0 20 0 1 0 194105532 86933504 11438 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 21224 11438 3744 3540 0 9481 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 84896 KiB
Current children cumulated memory: 45752 KiB
[startup+0.20547 s]*
/proc/loadavg: 4.12 4.14 4.17 5/259 1030509
/proc/meminfo: memFree=126308860/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=86900 memory=47396 CPUtime=0.2 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 9398 0 0 0 19 1 0 0 20 0 1 0 194105532 88985600 11849 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 21725 11849 3760 3540 0 9982 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 86900 KiB
Current children cumulated memory: 47396 KiB
[startup+0.305454 s]*
/proc/loadavg: 4.12 4.14 4.17 5/259 1030509
/proc/meminfo: memFree=126292312/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=107628 memory=65112 CPUtime=0.3 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 14345 0 0 0 28 2 0 0 20 0 1 0 194105532 110211072 16278 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 26907 16278 3984 3540 0 15164 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 107628 KiB
Current children cumulated memory: 65112 KiB
[startup+0.700178 s]
/proc/loadavg: 4.12 4.14 4.17 5/259 1030509
/proc/meminfo: memFree=126265320/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=127604 memory=83568 CPUtime=0.68 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 21133 0 0 0 66 2 0 0 20 0 1 0 194105532 130666496 20892 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 31901 20892 4016 3540 0 20158 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 127604 KiB
Current children cumulated memory: 83568 KiB
[startup+1.50016 s]
/proc/loadavg: 4.12 4.14 4.17 5/259 1030509
/proc/meminfo: memFree=126273408/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=127604 memory=83568 CPUtime=1.48 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 21157 0 0 0 146 2 0 0 20 0 1 0 194105532 130666496 20892 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 31901 20892 4016 3540 0 20158 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 127604 KiB
Current children cumulated memory: 83568 KiB
[startup+3.10536 s]
/proc/loadavg: 4.11 4.14 4.16 5/259 1030510
/proc/meminfo: memFree=126273144/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=127604 memory=83568 CPUtime=3.08 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 21164 0 0 0 306 2 0 0 20 0 1 0 194105532 130666496 20892 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 31901 20892 4016 3540 0 20158 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 127604 KiB
Current children cumulated memory: 83568 KiB
[startup+6.30019 s]
/proc/loadavg: 4.11 4.14 4.16 5/259 1030510
/proc/meminfo: memFree=126272752/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=127604 memory=84596 CPUtime=6.28 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 21423 0 0 0 625 3 0 0 20 0 1 0 194105532 130666496 21149 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 31901 21149 4016 3540 0 20158 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 127604 KiB
Current children cumulated memory: 84596 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 4.14 4.16 5/259 1030510
/proc/meminfo: memFree=126253684/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=131048 memory=86972 CPUtime=12.66 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 22015 0 0 0 1263 3 0 0 20 0 1 0 194105532 134193152 21743 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 32762 21743 4016 3540 0 21019 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 131048 KiB
Current children cumulated memory: 86972 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.13 4.16 5/259 1030513
/proc/meminfo: memFree=126231340/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=135940 memory=89084 CPUtime=25.43 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 22499 0 0 0 2540 3 0 0 20 0 1 0 194105532 139202560 22271 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 33985 22271 4016 3540 0 22242 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 135940 KiB
Current children cumulated memory: 89084 KiB
[startup+51.1057 s]
/proc/loadavg: 4.05 4.12 4.16 5/259 1030516
/proc/meminfo: memFree=126207652/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=159664 memory=111240 CPUtime=50.97 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 28597 0 0 0 5093 4 0 0 20 0 1 0 194105532 163495936 27810 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 39916 27810 4016 3540 0 28173 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 159664 KiB
Current children cumulated memory: 111240 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/257 1030527
/proc/meminfo: memFree=126207068/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=159664 memory=111240 CPUtime=102.04 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 28597 0 0 0 10200 4 0 0 20 0 1 0 194105532 163495936 27810 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 39916 27810 4016 3540 0 28173 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 159664 KiB
Current children cumulated memory: 111240 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 4.14 4.16 5/255 1030537
/proc/meminfo: memFree=126202652/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=159664 memory=111240 CPUtime=161.89 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 28597 0 0 0 16185 4 0 0 20 0 1 0 194105532 163495936 27810 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 39916 27810 4016 3540 0 28173 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 159664 KiB
Current children cumulated memory: 111240 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/255 1030547
/proc/meminfo: memFree=126199028/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=160816 memory=114064 CPUtime=221.74 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 31526 0 0 0 22169 5 0 0 20 0 1 0 194105532 164675584 28516 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 40204 28516 4016 3540 0 28461 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 160816 KiB
Current children cumulated memory: 114064 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/254 1030557
/proc/meminfo: memFree=126171644/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=164312 memory=127776 CPUtime=281.58 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 36780 0 0 0 28153 5 0 0 20 0 1 0 194105532 168255488 31944 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 41078 31944 4016 3540 0 29335 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 164312 KiB
Current children cumulated memory: 127776 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.11 4.14 5/254 1030568
/proc/meminfo: memFree=126170300/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=164968 memory=128500 CPUtime=341.43 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 38857 0 0 0 34138 5 0 0 20 0 1 0 194105532 168927232 32125 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 41242 32125 4032 3540 0 29499 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 164968 KiB
Current children cumulated memory: 128500 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.10 4.13 5/254 1030578
/proc/meminfo: memFree=126168180/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=164880 memory=128640 CPUtime=401.28 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 43616 0 0 0 40122 6 0 0 20 0 1 0 194105532 168837120 32160 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 41220 32160 4032 3540 0 29477 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 164880 KiB
Current children cumulated memory: 128640 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.10 4.13 5/255 1030591
/proc/meminfo: memFree=126147332/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=168204 memory=131756 CPUtime=461.14 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 47179 0 0 0 46107 7 0 0 20 0 1 0 194105532 172240896 32939 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 42051 32939 4032 3540 0 30308 0
################
# More data... #
################
/proc/loadavg: 1.08 1.34 2.30 2/236 1032223
/proc/meminfo: memFree=126804020/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=198628 memory=162176 CPUtime=3154.64 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 100491 0 0 0 315448 16 0 0 20 0 1 0 194105532 203395072 40544 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 49657 40544 4032 3540 0 37914 0
Current children cumulated CPU time: 3154.64 s
Current children cumulated vsize: 198628 KiB
Current children cumulated memory: 162176 KiB
[startup+3222.3 s]
/proc/loadavg: 1.21 1.33 2.23 2/234 1032234
/proc/meminfo: memFree=126804184/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=198628 memory=162176 CPUtime=3214.51 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 100555 0 0 0 321435 16 0 0 20 0 1 0 194105532 203395072 40544 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 49657 40544 4032 3540 0 37914 0
Current children cumulated CPU time: 3214.51 s
Current children cumulated vsize: 198628 KiB
Current children cumulated memory: 162176 KiB
[startup+3282.3 s]
/proc/loadavg: 1.13 1.28 2.16 2/234 1032244
/proc/meminfo: memFree=126803400/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=198628 memory=162176 CPUtime=3274.38 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 100622 0 0 0 327422 16 0 0 20 0 1 0 194105532 203395072 40544 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 49657 40544 4032 3540 0 37914 0
Current children cumulated CPU time: 3274.38 s
Current children cumulated vsize: 198628 KiB
Current children cumulated memory: 162176 KiB
[startup+3342.3 s]
/proc/loadavg: 1.15 1.26 2.09 2/235 1032424
/proc/meminfo: memFree=126802120/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=198628 memory=162180 CPUtime=3334.25 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 100705 0 0 0 333409 16 0 0 20 0 1 0 194105532 203395072 40545 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 49657 40545 4032 3540 0 37914 0
Current children cumulated CPU time: 3334.25 s
Current children cumulated vsize: 198628 KiB
Current children cumulated memory: 162180 KiB
[startup+3402.3 s]
/proc/loadavg: 1.11 1.22 2.03 2/235 1032434
/proc/meminfo: memFree=126801008/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=198824 memory=162320 CPUtime=3394.12 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 100843 0 0 0 339396 16 0 0 20 0 1 0 194105532 203595776 40580 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 49706 40580 4032 3540 0 37963 0
Current children cumulated CPU time: 3394.12 s
Current children cumulated vsize: 198824 KiB
Current children cumulated memory: 162320 KiB
[startup+3462.3 s]
/proc/loadavg: 1.08 1.20 1.96 2/238 1032449
/proc/meminfo: memFree=126800272/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=199148 memory=162848 CPUtime=3453.99 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 101019 0 0 0 345383 16 0 0 20 0 1 0 194105532 203927552 40712 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 49787 40712 4032 3540 0 38044 0
Current children cumulated CPU time: 3453.99 s
Current children cumulated vsize: 199148 KiB
Current children cumulated memory: 162848 KiB
[startup+3522.3 s]
/proc/loadavg: 1.06 1.17 1.91 2/238 1032471
/proc/meminfo: memFree=126798168/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=200616 memory=164168 CPUtime=3513.86 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 101430 0 0 0 351370 16 0 0 20 0 1 0 194105532 205430784 41042 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 50154 41042 4032 3540 0 38411 0
Current children cumulated CPU time: 3513.86 s
Current children cumulated vsize: 200616 KiB
Current children cumulated memory: 164168 KiB
[startup+3582.3 s]
/proc/loadavg: 1.07 1.15 1.85 2/239 1032484
/proc/meminfo: memFree=126766384/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=238272 memory=197660 CPUtime=3573.73 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 109803 0 0 0 357356 17 0 0 20 0 1 0 194105532 243990528 49415 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 59568 49415 4177 3540 0 47825 0
Current children cumulated CPU time: 3573.73 s
Current children cumulated vsize: 238272 KiB
Current children cumulated memory: 197660 KiB
[startup+3597.05 s]
# the end of solver process 1030508 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.26 s, system=0.18948 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.06 1.15 1.85 2/239 1032486
/proc/meminfo: memFree=126762396/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=240372 memory=199720 CPUtime=3575.42 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 110350 0 0 0 357525 17 0 0 20 0 1 0 194105532 246140928 49930 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 60093 49930 4177 3540 0 48350 0
Current children cumulated CPU time: 3575.42 s
Current children cumulated vsize: 240372 KiB
Current children cumulated memory: 199720 KiB
[startup+3590.4 s]
/proc/loadavg: 1.06 1.15 1.84 2/239 1032486
/proc/meminfo: memFree=126754940/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=247768 memory=207532 CPUtime=3581.81 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 112300 0 0 0 358163 18 0 0 20 0 1 0 194105532 253714432 51883 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 61942 51883 4177 3540 0 50199 0
Current children cumulated CPU time: 3581.81 s
Current children cumulated vsize: 247768 KiB
Current children cumulated memory: 207532 KiB
[startup+3593.6 s]
/proc/loadavg: 1.06 1.15 1.84 2/239 1032487
/proc/meminfo: memFree=126752376/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=250280 memory=210076 CPUtime=3585 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 112991 0 0 0 358482 18 0 0 20 0 1 0 194105532 256286720 52519 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 62570 52519 4177 3540 0 50827 0
Current children cumulated CPU time: 3585 s
Current children cumulated vsize: 250280 KiB
Current children cumulated memory: 210076 KiB
[startup+3595.2 s]
/proc/loadavg: 1.14 1.16 1.84 2/239 1032487
/proc/meminfo: memFree=126751368/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=251032 memory=210700 CPUtime=3586.6 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 113183 0 0 0 358642 18 0 0 20 0 1 0 194105532 257056768 52675 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 62758 52675 4177 3540 0 51015 0
Current children cumulated CPU time: 3586.6 s
Current children cumulated vsize: 251032 KiB
Current children cumulated memory: 210700 KiB
[startup+3596 s]*
/proc/loadavg: 1.14 1.16 1.84 2/239 1032487
/proc/meminfo: memFree=126750864/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=251588 memory=211228 CPUtime=3587.4 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 113330 0 0 0 358722 18 0 0 20 0 1 0 194105532 257626112 52807 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 62897 52807 4177 3540 0 51154 0
Current children cumulated CPU time: 3587.4 s
Current children cumulated vsize: 251588 KiB
Current children cumulated memory: 211228 KiB
[startup+3596.8 s]
/proc/loadavg: 1.14 1.16 1.84 2/239 1032487
/proc/meminfo: memFree=126750864/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=251720 memory=211492 CPUtime=3588.19 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 113359 0 0 0 358801 18 0 0 20 0 1 0 194105532 257761280 52873 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 62930 52873 4177 3540 0 51187 0
Current children cumulated CPU time: 3588.19 s
Current children cumulated vsize: 251720 KiB
Current children cumulated memory: 211492 KiB
[startup+3597 s]*
/proc/loadavg: 1.14 1.16 1.84 2/239 1032487
/proc/meminfo: memFree=126750576/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=251868 memory=211756 CPUtime=3588.4 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 113400 0 0 0 358822 18 0 0 20 0 1 0 194105532 257912832 52939 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 62967 52939 4177 3540 0 51224 0
Current children cumulated CPU time: 3588.4 s
Current children cumulated vsize: 251868 KiB
Current children cumulated memory: 211756 KiB
Child status: 0
Real time (s): 3597.05
CPU time (s): 3588.45
CPU user time (s): 3588.26
CPU system time (s): 0.18948
CPU usage (%): 99.7609
Max. virtual memory (cumulated for all children) (KiB): 251868
Max. memory (cumulated for all children) (KiB): 211756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.26
system time used= 0.18948
maximum resident set size= 211756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113658
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= 31
involuntary context switches= 3066
# summary of solver processes directly reported to runsolver:
# pid: 1030508
# total CPU time (s): 3588.45
# total CPU user time (s): 3588.26
# total CPU system time (s): 0.18948
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.91674 second user time and 14.4825 second system time
The end