0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4513233-1751220254.opb>
0.00/0.02 c original problem has 4128 variables (4128 bin, 0 int, 0 cont) and 8720 constraints
0.00/0.02 c problem read in 0.019 seconds
0.00/0.02 c problem without objective
0.00/0.03 c presolving:
0.00/0.04 c (round 1, fast) 624 del vars, 1020 del conss, 649 add conss, 536 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 305 clqs
0.00/0.05 c (round 2, fast) 940 del vars, 1717 del conss, 750 add conss, 742 chg bounds, 4 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 488 clqs
0.00/0.05 c (round 3, fast) 947 del vars, 1757 del conss, 772 add conss, 749 chg bounds, 5 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 525 clqs
0.00/0.06 c (0.1s) running MILP presolver
0.00/0.08 c (0.1s) MILP presolver (4 rounds): 86 aggregations, 3 fixings, 0 bound changes
0.00/0.08 c (round 4, medium) 1036 del vars, 1757 del conss, 772 add conss, 749 chg bounds, 5 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 348 clqs
0.00/0.08 c (round 5, fast) 1036 del vars, 1931 del conss, 839 add conss, 749 chg bounds, 5 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 380 clqs
0.00/0.08 c (round 6, exhaustive) 1036 del vars, 2551 del conss, 839 add conss, 749 chg bounds, 5 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 380 clqs
0.09/0.11 c (round 7, exhaustive) 1036 del vars, 2551 del conss, 839 add conss, 749 chg bounds, 5 chg sides, 0 chg coeffs, 5727 upgd conss, 0 impls, 380 clqs
0.09/0.12 c (round 8, exhaustive) 1036 del vars, 2647 del conss, 871 add conss, 749 chg bounds, 5 chg sides, 0 chg coeffs, 5727 upgd conss, 0 impls, 380 clqs
0.09/0.14 c (round 9, exhaustive) 1036 del vars, 2647 del conss, 871 add conss, 749 chg bounds, 60 chg sides, 0 chg coeffs, 5727 upgd conss, 0 impls, 380 clqs
0.09/0.14 c (round 10, exhaustive) 1036 del vars, 2647 del conss, 871 add conss, 749 chg bounds, 60 chg sides, 0 chg coeffs, 5782 upgd conss, 0 impls, 380 clqs
0.19/0.26 c (0.3s) probing: 1000/3162 (31.6%) - 0 fixings, 0 aggregations, 399 implications, 0 bound changes
0.19/0.26 c (0.3s) probing: 1001/3162 (31.7%) - 0 fixings, 0 aggregations, 399 implications, 0 bound changes
0.19/0.26 c (0.3s) probing aborted: 1000/1000 successive useless probings
0.19/0.26 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.19/0.27 c (0.3s) no symmetry present (symcode time: 0.00)
0.19/0.28 c presolving (11 rounds: 11 fast, 7 medium, 6 exhaustive):
0.19/0.28 c 1036 deleted vars, 2647 deleted constraints, 871 added constraints, 749 tightened bounds, 0 added holes, 60 changed sides, 35 changed coefficients
0.19/0.28 c 0 implications, 779 cliques
0.19/0.28 c presolved problem has 3162 variables (3162 bin, 0 int, 0 cont) and 6944 constraints
0.19/0.28 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.19/0.28 c 32 constraints of type <and>
0.19/0.28 c 1 constraints of type <xor>
0.19/0.28 c 1226 constraints of type <linear>
0.19/0.28 c 5685 constraints of type <logicor>
0.19/0.28 c transformed objective value is always integral (scale: 1)
0.19/0.28 c Presolving Time: 0.25
0.19/0.28 c
0.19/0.28 c - non default parameters ----------------------------------------------------------------------
0.19/0.28 c
0.19/0.28 c # SCIP version 10.0.0
0.19/0.28 c
0.19/0.28 c # maximal time in seconds to run
0.19/0.28 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.19/0.28 c limits/time = 3596.998011
0.19/0.28 c
0.19/0.28 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.28 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.19/0.28 c limits/memory = 27900
0.19/0.28 c
0.19/0.28 c # belongs reading time to solving time?
0.19/0.28 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c timing/reading = TRUE
0.19/0.28 c
0.19/0.28 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.19/0.28 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.19/0.28 c reading/opbreader/maxintsize = 47
0.19/0.28 c
0.19/0.28 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.19/0.28 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.19/0.28 c propagating/genvbounds/timingmask = 0
0.19/0.28 c
0.19/0.28 c -----------------------------------------------------------------------------------------------
0.19/0.28 c
0.30/0.36 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.36 c 0.4s| 1 | 0 | 901 | - | 53M | 0 |3162 |7014 |6976 | 0 | 0 | 70 | 0 | 0.000000e+00 | -- | Inf | unknown
0.78/0.89 c 0.9s| 1 | 0 | 2771 | - | 59M | 0 |3162 |7014 |7280 | 304 | 1 | 70 | 0 | 0.000000e+00 | -- | Inf | unknown
1.78/1.87 c 1.9s| 1 | 0 | 4523 | - | 60M | 0 |3162 |7011 |7569 | 593 | 2 | 71 | 0 | 0.000000e+00 | -- | Inf | unknown
3.57/3.63 c 3.6s| 1 | 0 | 7561 | - | 63M | 0 |3162 |7011 |7849 | 873 | 3 | 71 | 0 | 0.000000e+00 | -- | Inf | unknown
5.37/5.49 c 5.5s| 1 | 0 | 10660 | - | 66M | 0 |3162 |7012 |8147 |1171 | 4 | 72 | 0 | 0.000000e+00 | -- | Inf | unknown
7.16/7.23 c 7.2s| 1 | 0 | 13266 | - | 68M | 0 |3162 |7013 |8310 |1334 | 5 | 73 | 0 | 0.000000e+00 | -- | Inf | unknown
9.56/9.65 c 9.6s| 1 | 0 | 17560 | - | 69M | 0 |3162 |7012 |8572 |1596 | 6 | 73 | 0 | 0.000000e+00 | -- | Inf | unknown
11.55/11.61 c 11.6s| 1 | 0 | 20226 | - | 71M | 0 |3162 |7012 |8715 |1739 | 7 | 73 | 0 | 0.000000e+00 | -- | Inf | unknown
13.55/13.60 c 13.6s| 1 | 0 | 23012 | - | 72M | 0 |3162 |7013 |8835 |1859 | 8 | 74 | 0 | 0.000000e+00 | -- | Inf | unknown
15.74/15.87 c 15.9s| 1 | 0 | 26341 | - | 73M | 0 |3162 |7013 |8928 |1952 | 9 | 74 | 0 | 0.000000e+00 | -- | Inf | unknown
18.63/18.76 c 18.8s| 1 | 0 | 30876 | - | 74M | 0 |3162 |7013 |9142 |2166 | 10 | 74 | 0 | 0.000000e+00 | -- | Inf | unknown
20.33/20.44 c 20.4s| 1 | 0 | 34618 | - | 75M | 0 |3162 |7012 |9275 |2299 | 11 | 74 | 0 | 0.000000e+00 | -- | Inf | unknown
31.01/31.16 c 31.2s| 1 | 2 | 42819 | - | 75M | 0 |3162 |7004 |9275 |2299 | 11 | 77 | 11 | 0.000000e+00 | -- | Inf | unknown
262.40/263.11 c 263s| 100 | 101 |304700 |2728.1 | 78M | 15 |3162 |7028 |7161 |4130 | 1 | 126 | 11 | 0.000000e+00 | -- | Inf | unknown
297.70/298.51 c 299s| 200 | 201 |381299 |1742.1 | 79M | 33 |3162 |7031 |7212 |5924 | 2 | 137 | 11 | 0.000000e+00 | -- | Inf | unknown
304.19/305.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
304.19/305.10 c 305s| 300 | 301 |396297 |1209.6 | 81M | 44 |3162 |7025 |7588 |6513 | 2 | 137 | 11 | 0.000000e+00 | -- | Inf | unknown
329.61/330.50 c 330s| 400 | 401 |457560 |1060.0 | 82M | 45 |3162 |7018 |7074 |9076 | 1 | 138 | 11 | 0.000000e+00 | -- | Inf | unknown
355.15/356.19 c 356s| 500 | 501 |513984 | 960.7 | 82M | 45 |3162 |7024 |7458 | 10k| 1 | 148 | 11 | 0.000000e+00 | -- | Inf | unknown
374.69/375.77 c 376s| 600 | 601 |573427 | 899.5 | 83M | 47 |3162 |7014 |7584 | 12k| 1 | 148 | 11 | 0.000000e+00 | -- | Inf | unknown
396.73/397.83 c 398s| 700 | 701 |622061 | 840.4 | 84M | 48 |3162 |7008 |7213 | 14k| 2 | 149 | 11 | 0.000000e+00 | -- | Inf | unknown
423.56/424.70 c 425s| 800 | 801 |682387 | 810.7 | 84M | 49 |3162 |7027 |7588 | 16k| 1 | 170 | 11 | 0.000000e+00 | -- | Inf | unknown
440.50/441.79 c 442s| 900 | 901 |722348 | 765.0 | 85M | 49 |3162 |7030 |7632 | 18k| 2 | 175 | 11 | 0.000000e+00 | -- | Inf | unknown
464.15/465.46 c 465s| 1000 | 999 |778002 | 744.1 | 85M | 51 |3162 |7021 |7578 | 20k| 1 | 176 | 11 | 0.000000e+00 | -- | Inf | unknown
481.80/483.15 c 483s| 1100 | 1099 |820416 | 715.0 | 86M | 51 |3162 |7015 |7432 | 22k| 1 | 178 | 11 | 0.000000e+00 | -- | Inf | unknown
499.65/501.04 c 501s| 1200 | 1199 |864111 | 691.8 | 87M | 51 |3162 |7030 |7577 | 23k| 2 | 204 | 11 | 0.000000e+00 | -- | Inf | unknown
516.40/517.82 c 518s| 1300 | 1299 |901454 | 667.3 | 88M | 51 |3162 |7030 |7450 | 25k| 1 | 211 | 11 | 0.000000e+00 | -- | Inf | unknown
535.15/536.66 c 537s| 1400 | 1399 |940562 | 647.6 | 89M | 51 |3162 |7024 |7450 | 26k| 1 | 215 | 11 | 0.000000e+00 | -- | Inf | unknown
543.54/545.10 c 545s| 1500 | 1499 |961779 | 618.5 | 89M | 51 |3162 |7028 |7582 | 27k| 1 | 223 | 11 | 0.000000e+00 | -- | Inf | unknown
558.09/559.68 c 560s| 1600 | 1599 | 1001k| 604.4 | 90M | 51 |3162 |7028 |7160 | 29k| 1 | 223 | 11 | 0.000000e+00 | -- | Inf | unknown
584.52/586.14 c 586s| 1700 | 1699 | 1060k| 603.8 | 93M | 51 |3162 |7039 |7270 | 31k| 2 | 242 | 11 | 0.000000e+00 | -- | Inf | unknown
601.07/602.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
601.07/602.73 c 603s| 1800 | 1799 | 1099k| 591.7 | 93M | 51 |3162 |7040 |7464 | 33k| 1 | 243 | 11 | 0.000000e+00 | -- | Inf | unknown
631.99/633.72 c 634s| 1900 | 1899 | 1180k| 603.6 | 94M | 51 |3162 |7047 |7160 | 35k| 1 | 254 | 11 | 0.000000e+00 | -- | Inf | unknown
645.16/646.96 c 647s| 2000 | 1999 | 1210k| 588.3 | 94M | 51 |3162 |7040 |7212 | 36k| 1 | 254 | 11 | 0.000000e+00 | -- | Inf | unknown
674.08/676.00 c 676s| 2100 | 2099 | 1276k| 591.7 | 94M | 51 |3162 |7065 |7366 | 39k| 1 | 287 | 11 | 0.000000e+00 | -- | Inf | unknown
696.62/698.58 c 699s| 2200 | 2199 | 1328k| 588.5 | 94M | 51 |3162 |7070 |7370 | 41k| 2 | 298 | 11 | 0.000000e+00 | -- | Inf | unknown
722.95/725.00 c 725s| 2300 | 2299 | 1387k| 588.4 | 95M | 51 |3162 |7070 |7210 | 44k| 1 | 307 | 11 | 0.000000e+00 | -- | Inf | unknown
757.27/759.37 c 759s| 2400 | 2399 | 1466k| 596.7 | 95M | 51 |3162 |7068 |7362 | 47k| 2 | 323 | 11 | 0.000000e+00 | -- | Inf | unknown
777.50/779.68 c 780s| 2500 | 2499 | 1516k| 593.2 | 97M | 51 |3162 |7068 |7211 | 50k| 1 | 325 | 11 | 0.000000e+00 | -- | Inf | unknown
802.35/804.55 c 805s| 2600 | 2599 | 1578k| 594.1 | 97M | 51 |3162 |7070 |7211 | 53k| 1 | 338 | 11 | 0.000000e+00 | -- | Inf | unknown
840.14/842.48 c 842s| 2700 | 2699 | 1664k| 604.1 | 99M | 53 |3162 |7081 |7692 | 56k| 1 | 356 | 11 | 0.000000e+00 | -- | Inf | unknown
862.18/864.59 c 865s| 2800 | 2799 | 1720k| 602.2 | 100M | 54 |3162 |7076 |7365 | 59k| 1 | 362 | 11 | 0.000000e+00 | -- | Inf | unknown
878.94/881.31 c 881s| 2900 | 2899 | 1759k| 594.8 | 100M | 54 |3162 |7084 |7573 | 61k| 2 | 371 | 11 | 0.000000e+00 | -- | Inf | unknown
911.05/913.51 c 914s| 3000 | 2999 | 1825k| 597.1 | 101M | 54 |3162 |7093 |7686 | 64k| 1 | 390 | 11 | 0.000000e+00 | -- | Inf | unknown
928.70/931.27 c 931s| 3100 | 3099 | 1873k| 593.3 | 102M | 55 |3162 |7089 |7312 | 66k| 1 | 390 | 11 | 0.000000e+00 | -- | Inf | unknown
950.74/953.31 c 953s| 3200 | 3199 | 1921k| 589.8 | 104M | 55 |3162 |7085 |7213 | 69k| 2 | 393 | 11 | 0.000000e+00 | -- | Inf | unknown
971.59/974.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
971.59/974.20 c 974s| 3300 | 3299 | 1970k| 586.9 | 104M | 55 |3162 |7083 |7447 | 71k| 1 | 394 | 11 | 0.000000e+00 | -- | Inf | unknown
989.74/992.43 c 992s| 3400 | 3399 | 2014k| 582.5 | 105M | 55 |3162 |7091 |7446 | 73k| 1 | 406 | 11 | 0.000000e+00 | -- | Inf | unknown
1013.08/1015.81 c 1016s| 3500 | 3499 | 2070k| 581.8 | 106M | 55 |3162 |7123 |7563 | 75k| 1 | 451 | 11 | 0.000000e+00 | -- | Inf | unknown
1041.90/1044.70 c 1045s| 3600 | 3599 | 2150k| 588.0 | 106M | 55 |3162 |7109 |7473 | 78k| 2 | 456 | 11 | 0.000000e+00 | -- | Inf | unknown
1062.15/1065.00 c 1065s| 3700 | 3699 | 2199k| 585.2 | 109M | 55 |3162 |7122 |7581 | 80k| 2 | 480 | 11 | 0.000000e+00 | -- | Inf | unknown
1075.61/1078.53 c 1079s| 3800 | 3799 | 2231k| 578.4 | 110M | 55 |3162 |7112 |7580 | 81k| 1 | 480 | 11 | 0.000000e+00 | -- | Inf | unknown
1097.85/1100.85 c 1101s| 3900 | 3899 | 2279k| 575.9 | 112M | 55 |3162 |7119 |7579 | 83k| 2 | 502 | 11 | 0.000000e+00 | -- | Inf | unknown
1122.79/1125.88 c 1126s| 4000 | 3999 | 2339k| 576.3 | 113M | 55 |3162 |7123 |7472 | 86k| 1 | 527 | 11 | 0.000000e+00 | -- | Inf | unknown
1144.73/1147.88 c 1148s| 4100 | 4099 | 2394k| 575.8 | 113M | 55 |3162 |7112 |7211 | 88k| 1 | 534 | 11 | 0.000000e+00 | -- | Inf | unknown
1166.77/1169.96 c 1170s| 4200 | 4199 | 2450k| 575.4 | 114M | 55 |3162 |7111 |7364 | 91k| 2 | 550 | 11 | 0.000000e+00 | -- | Inf | unknown
1195.99/1199.29 c 1199s| 4300 | 4299 | 2514k| 576.8 | 114M | 55 |3162 |7104 |7461 | 93k| 1 | 559 | 11 | 0.000000e+00 | -- | Inf | unknown
1218.83/1222.16 c 1222s| 4400 | 4399 | 2567k| 575.7 | 114M | 55 |3162 |7109 |7307 | 95k| 1 | 579 | 11 | 0.000000e+00 | -- | Inf | unknown
1234.99/1238.34 c 1238s| 4500 | 4495 | 2616k| 573.9 | 114M | 55 |3162 |7105 |7589 | 98k| 1 | 579 | 11 | 0.000000e+00 | -- | Inf | unknown
1266.61/1270.05 c 1270s| 4600 | 4595 | 2691k| 577.7 | 114M | 55 |3162 |7097 |7580 | 100k| 1 | 582 | 11 | 0.000000e+00 | -- | Inf | unknown
1288.94/1292.43 c 1292s| 4700 | 4695 | 2746k| 577.1 | 114M | 55 |3162 |7096 |7471 | 102k| 2 | 586 | 11 | 0.000000e+00 | -- | Inf | unknown
1306.79/1310.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1306.79/1310.33 c 1310s| 4800 | 4795 | 2791k| 574.5 | 116M | 55 |3162 |7095 |7578 | 104k| 1 | 590 | 11 | 0.000000e+00 | -- | Inf | unknown
1333.72/1337.34 c 1337s| 4900 | 4895 | 2855k| 575.8 | 117M | 55 |3162 |7098 |7220 | 107k| 1 | 602 | 11 | 0.000000e+00 | -- | Inf | unknown
1354.57/1358.24 c 1358s| 5000 | 4989 | 2902k| 573.6 | 117M | 55 |3162 |7098 |7578 | 109k| 1 | 609 | 11 | 0.000000e+00 | -- | Inf | unknown
1372.12/1375.88 c 1376s| 5100 | 5085 | 2947k| 571.3 | 118M | 55 |3162 |7104 |7591 | 111k| 1 | 622 | 11 | 0.000000e+00 | -- | Inf | unknown
1388.78/1392.51 c 1393s| 5200 | 5183 | 2984k| 567.3 | 118M | 55 |3162 |7121 |7229 | 113k| 1 | 644 | 11 | 0.000000e+00 | -- | Inf | unknown
1416.00/1419.84 c 1420s| 5300 | 5281 | 3041k| 567.4 | 119M | 55 |3162 |7124 |7596 | 115k| 1 | 653 | 11 | 0.000000e+00 | -- | Inf | unknown
1706.35/1710.95 c 1711s| 5400 | 5377 | 3512k| 644.2 | 119M | 56 |3162 |7122 |7712 | 117k| 1 | 660 | 11 | 0.000000e+00 | -- | Inf | unknown
1728.38/1733.08 c 1733s| 5500 | 5477 | 3567k| 642.4 | 121M | 56 |3162 |7103 |7431 | 120k| 1 | 660 | 11 | 0.000000e+00 | -- | Inf | unknown
1753.30/1758.10 c 1758s| 5600 | 5577 | 3630k| 642.2 | 121M | 56 |3162 |7121 |7632 | 122k| 2 | 689 | 11 | 0.000000e+00 | -- | Inf | unknown
1765.55/1770.34 c 1770s| 5700 | 5677 | 3664k| 637.0 | 122M | 56 |3162 |7124 |7577 | 124k| 1 | 695 | 11 | 0.000000e+00 | -- | Inf | unknown
1776.02/1780.85 c 1781s| 5800 | 5777 | 3691k| 630.6 | 122M | 56 |3162 |7120 |7588 | 125k| 1 | 697 | 11 | 0.000000e+00 | -- | Inf | unknown
1796.05/1800.93 c 1801s| 5900 | 5877 | 3732k| 626.9 | 122M | 56 |3162 |7133 |7586 | 126k| 1 | 716 | 11 | 0.000000e+00 | -- | Inf | unknown
1818.88/1823.81 c 1824s| 6000 | 5977 | 3788k| 625.8 | 123M | 56 |3162 |7129 |7221 | 129k| 1 | 721 | 11 | 0.000000e+00 | -- | Inf | unknown
1837.81/1842.86 c 1843s| 6100 | 6077 | 3838k| 623.7 | 123M | 56 |3162 |7110 |7217 | 132k| 1 | 722 | 11 | 0.000000e+00 | -- | Inf | unknown
1859.64/1864.72 c 1865s| 6200 | 6175 | 3889k| 621.8 | 124M | 56 |3162 |7107 |7432 | 134k| 1 | 727 | 11 | 0.000000e+00 | -- | Inf | unknown
1885.76/1890.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1885.76/1890.96 c 1891s| 6300 | 6275 | 3946k| 621.0 | 124M | 56 |3162 |7103 |7711 | 136k| 1 | 734 | 11 | 0.000000e+00 | -- | Inf | unknown
1901.60/1906.83 c 1907s| 6400 | 6375 | 3989k| 618.1 | 125M | 56 |3162 |7103 |7702 | 139k| 1 | 735 | 11 | 0.000000e+00 | -- | Inf | unknown
1916.05/1921.37 c 1921s| 6500 | 6475 | 4023k| 613.8 | 125M | 56 |3162 |7109 |7588 | 140k| 2 | 746 | 11 | 0.000000e+00 | -- | Inf | unknown
1931.10/1936.42 c 1936s| 6600 | 6575 | 4057k| 609.6 | 125M | 56 |3162 |7124 |7713 | 141k| 1 | 763 | 11 | 0.000000e+00 | -- | Inf | unknown
1953.83/1959.21 c 1959s| 6700 | 6675 | 4109k| 608.3 | 126M | 57 |3162 |7127 |7142 | 143k| 1 | 774 | 11 | 0.000000e+00 | -- | Inf | unknown
1966.98/1972.46 c 1972s| 6800 | 6775 | 4143k| 604.4 | 127M | 57 |3162 |7124 |7305 | 144k| 1 | 775 | 11 | 0.000000e+00 | -- | Inf | unknown
1983.64/1989.14 c 1989s| 6900 | 6875 | 4185k| 601.6 | 127M | 57 |3162 |7114 |7581 | 146k| 1 | 776 | 11 | 0.000000e+00 | -- | Inf | unknown
2007.85/2013.45 c 2013s| 7000 | 6973 | 4245k| 601.6 | 127M | 57 |3162 |7104 |7583 | 148k| 1 | 779 | 11 | 0.000000e+00 | -- | Inf | unknown
2016.53/2022.13 c 2022s| 7100 | 7073 | 4270k| 596.7 | 128M | 57 |3162 |7102 |7763 | 150k| 2 | 779 | 11 | 0.000000e+00 | -- | Inf | unknown
2028.18/2033.85 c 2034s| 7200 | 7173 | 4301k| 592.7 | 128M | 57 |3162 |7102 |7589 | 151k| 1 | 781 | 11 | 0.000000e+00 | -- | Inf | unknown
2052.41/2058.12 c 2058s| 7300 | 7273 | 4357k| 592.2 | 128M | 57 |3162 |7105 |7305 | 153k| 1 | 790 | 11 | 0.000000e+00 | -- | Inf | unknown
2065.76/2071.57 c 2072s| 7400 | 7373 | 4390k| 588.7 | 128M | 57 |3162 |7114 |7710 | 154k| 1 | 802 | 11 | 0.000000e+00 | -- | Inf | unknown
2078.52/2084.31 c 2084s| 7500 | 7473 | 4425k| 585.5 | 129M | 57 |3162 |7113 |7313 | 155k| 1 | 803 | 11 | 0.000000e+00 | -- | Inf | unknown
2105.02/2110.93 c 2111s| 7600 | 7573 | 4506k| 588.4 | 129M | 57 |3162 |7107 |7314 | 157k| 1 | 804 | 11 | 0.000000e+00 | -- | Inf | unknown
2129.94/2135.95 c 2136s| 7700 | 7673 | 4567k| 588.8 | 129M | 57 |3162 |7107 |7704 | 159k| 1 | 811 | 11 | 0.000000e+00 | -- | Inf | unknown
2142.40/2148.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2142.40/2148.40 c 2148s| 7800 | 7773 | 4603k| 585.8 | 129M | 57 |3162 |7106 |7586 | 161k| 1 | 812 | 11 | 0.000000e+00 | -- | Inf | unknown
2159.25/2165.34 c 2165s| 7900 | 7871 | 4646k| 583.9 | 130M | 57 |3162 |7154 |7575 | 163k| 1 | 871 | 11 | 0.000000e+00 | -- | Inf | unknown
2170.01/2176.14 c 2176s| 8000 | 7971 | 4675k| 580.2 | 131M | 57 |3162 |7148 |7586 | 164k| 1 | 871 | 11 | 0.000000e+00 | -- | Inf | unknown
2194.63/2200.81 c 2201s| 8100 | 8071 | 4737k| 580.6 | 133M | 57 |3162 |7159 |7583 | 166k| 1 | 894 | 11 | 0.000000e+00 | -- | Inf | unknown
2222.04/2228.38 c 2228s| 8200 | 8169 | 4798k| 581.1 | 134M | 57 |3162 |7138 |7634 | 168k| 1 | 900 | 11 | 0.000000e+00 | -- | Inf | unknown
2244.16/2250.55 c 2251s| 8300 | 8269 | 4846k| 579.8 | 135M | 57 |3162 |7103 |7576 | 170k| 1 | 903 | 11 | 0.000000e+00 | -- | Inf | unknown
2256.12/2262.52 c 2263s| 8400 | 8369 | 4880k| 576.9 | 135M | 57 |3162 |7119 |7450 | 171k| 1 | 924 | 11 | 0.000000e+00 | -- | Inf | unknown
2276.75/2283.27 c 2283s| 8500 | 8469 | 4927k| 575.7 | 135M | 57 |3162 |7133 |7323 | 173k| 1 | 949 | 11 | 0.000000e+00 | -- | Inf | unknown
2298.49/2305.07 c 2305s| 8600 | 8569 | 4978k| 575.0 | 136M | 57 |3162 |7125 |7359 | 175k| 1 | 954 | 11 | 0.000000e+00 | -- | Inf | unknown
2318.11/2324.76 c 2325s| 8700 | 8669 | 5027k| 573.9 | 136M | 57 |3162 |7138 |7585 | 177k| 1 | 977 | 11 | 0.000000e+00 | -- | Inf | unknown
2335.06/2341.72 c 2342s| 8800 | 8767 | 5072k| 572.5 | 136M | 57 |3162 |7134 |7450 | 179k| 1 | 980 | 11 | 0.000000e+00 | -- | Inf | unknown
2360.67/2367.42 c 2367s| 8900 | 8865 | 5133k| 573.0 | 136M | 57 |3162 |7158 |7777 | 181k| 2 |1006 | 11 | 0.000000e+00 | -- | Inf | unknown
2391.47/2398.30 c 2398s| 9000 | 8963 | 5204k| 574.4 | 138M | 57 |3162 |7156 |7464 | 184k| 1 |1029 | 11 | 0.000000e+00 | -- | Inf | unknown
2415.19/2422.17 c 2422s| 9100 | 9061 | 5258k| 574.1 | 138M | 57 |3162 |7145 |7230 | 186k| 2 |1047 | 11 | 0.000000e+00 | -- | Inf | unknown
2431.53/2438.58 c 2439s| 9200 | 9161 | 5302k| 572.7 | 139M | 57 |3162 |7142 |7573 | 188k| 1 |1059 | 11 | 0.000000e+00 | -- | Inf | unknown
2450.77/2457.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2450.77/2457.84 c 2458s| 9300 | 9261 | 5349k| 571.5 | 140M | 57 |3162 |7139 |7583 | 190k| 1 |1064 | 11 | 0.000000e+00 | -- | Inf | unknown
2471.39/2478.50 c 2478s| 9400 | 9361 | 5403k| 571.2 | 141M | 57 |3162 |7136 |7359 | 192k| 1 |1075 | 11 | 0.000000e+00 | -- | Inf | unknown
2505.08/2512.32 c 2512s| 9500 | 9461 | 5485k| 573.9 | 141M | 57 |3162 |7134 |7752 | 195k| 2 |1096 | 11 | 0.000000e+00 | -- | Inf | unknown
2524.32/2531.60 c 2532s| 9600 | 9557 | 5536k| 573.2 | 141M | 57 |3162 |7117 |7213 | 198k| 1 |1096 | 11 | 0.000000e+00 | -- | Inf | unknown
2555.81/2563.23 c 2563s| 9700 | 9655 | 5614k| 575.3 | 141M | 57 |3162 |7134 |7590 | 201k| 1 |1126 | 11 | 0.000000e+00 | -- | Inf | unknown
2574.05/2581.52 c 2582s| 9800 | 9755 | 5660k| 574.1 | 141M | 57 |3162 |7124 |7213 | 203k| 1 |1128 | 11 | 0.000000e+00 | -- | Inf | unknown
2597.18/2604.75 c 2605s| 9900 | 9855 | 5718k| 574.1 | 141M | 57 |3162 |7124 |7566 | 206k| 1 |1139 | 11 | 0.000000e+00 | -- | Inf | unknown
2628.37/2636.00 c 2636s| 10000 | 9955 | 5803k| 576.9 | 142M | 57 |3162 |7129 |7411 | 208k| 2 |1154 | 11 | 0.000000e+00 | -- | Inf | unknown
2657.17/2665.00 c 2665s| 10100 | 10055 | 5871k| 578.0 | 142M | 61 |3162 |7132 |7668 | 211k| 1 |1173 | 11 | 0.000000e+00 | -- | Inf | unknown
2670.63/2678.42 c 2678s| 10200 | 10155 | 5911k| 576.2 | 143M | 61 |3162 |7131 |7479 | 213k| 1 |1173 | 11 | 0.000000e+00 | -- | Inf | unknown
2695.84/2703.72 c 2704s| 10300 | 10253 | 5973k| 576.7 | 143M | 61 |3162 |7139 |7720 | 216k| 1 |1196 | 11 | 0.000000e+00 | -- | Inf | unknown
2709.00/2716.94 c 2717s| 10400 | 10353 | 6009k| 574.5 | 143M | 61 |3162 |7135 |7585 | 218k| 1 |1196 | 11 | 0.000000e+00 | -- | Inf | unknown
2728.53/2736.51 c 2737s| 10500 | 10453 | 6051k| 573.1 | 144M | 61 |3162 |7138 |7361 | 219k| 2 |1211 | 11 | 0.000000e+00 | -- | Inf | unknown
2744.98/2753.09 c 2753s| 10600 | 10551 | 6094k| 571.7 | 144M | 61 |3162 |7138 | 0 | 221k| 0 |1219 | 11 | 0.000000e+00 | -- | Inf | unknown
2770.59/2778.74 c 2779s| 10700 | 10651 | 6151k| 571.7 | 145M | 61 |3162 |7148 |7585 | 223k| 2 |1243 | 11 | 0.000000e+00 | -- | Inf | unknown
2788.12/2796.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2788.12/2796.33 c 2796s| 10800 | 10751 | 6193k| 570.4 | 147M | 61 |3162 |7144 |7377 | 225k| 1 |1249 | 11 | 0.000000e+00 | -- | Inf | unknown
2799.49/2807.77 c 2808s| 10900 | 10851 | 6226k| 568.1 | 147M | 61 |3162 |7144 |7331 | 227k| 1 |1249 | 11 | 0.000000e+00 | -- | Inf | unknown
2826.20/2834.53 c 2835s| 11000 | 10951 | 6289k| 568.6 | 147M | 61 |3162 |7145 |7220 | 230k| 1 |1255 | 11 | 0.000000e+00 | -- | Inf | unknown
2846.13/2854.51 c 2855s| 11100 | 11051 | 6338k| 568.0 | 148M | 61 |3162 |7135 |7376 | 232k| 1 |1258 | 11 | 0.000000e+00 | -- | Inf | unknown
2868.95/2877.44 c 2877s| 11200 | 11149 | 6393k| 567.8 | 149M | 61 |3162 |7139 |7412 | 234k| 2 |1268 | 11 | 0.000000e+00 | -- | Inf | unknown
2883.80/2892.36 c 2892s| 11300 | 11249 | 6433k| 566.3 | 149M | 61 |3162 |7140 |7617 | 237k| 1 |1271 | 11 | 0.000000e+00 | -- | Inf | unknown
2909.01/2917.67 c 2918s| 11400 | 11349 | 6497k| 567.0 | 149M | 61 |3162 |7139 |7709 | 239k| 1 |1277 | 11 | 0.000000e+00 | -- | Inf | unknown
2926.86/2935.51 c 2936s| 11500 | 11449 | 6544k| 566.1 | 149M | 61 |3162 |7140 |7588 | 241k| 1 |1287 | 11 | 0.000000e+00 | -- | Inf | unknown
2945.79/2954.52 c 2955s| 11600 | 11549 | 6589k| 565.1 | 149M | 61 |3162 |7163 |7583 | 244k| 1 |1322 | 11 | 0.000000e+00 | -- | Inf | unknown
2966.33/2975.11 c 2975s| 11700 | 11647 | 6637k| 564.4 | 151M | 61 |3162 |7175 |7597 | 245k| 1 |1350 | 11 | 0.000000e+00 | -- | Inf | unknown
2984.56/2993.40 c 2993s| 11800 | 11747 | 6685k| 563.7 | 151M | 61 |3162 |7163 |7220 | 247k| 1 |1350 | 11 | 0.000000e+00 | -- | Inf | unknown
3002.60/3011.51 c 3012s| 11900 | 11845 | 6732k| 562.9 | 152M | 61 |3162 |7163 |7564 | 250k| 1 |1368 | 11 | 0.000000e+00 | -- | Inf | unknown
3026.02/3035.01 c 3035s| 12000 | 11945 | 6784k| 562.5 | 152M | 61 |3162 |7159 |7596 | 252k| 1 |1383 | 11 | 0.000000e+00 | -- | Inf | unknown
3044.65/3053.79 c 3054s| 12100 | 12043 | 6827k| 561.5 | 153M | 61 |3162 |7151 |7070 | 254k| 1 |1389 | 11 | 0.000000e+00 | -- | Inf | unknown
3069.87/3079.01 c 3079s| 12200 | 12141 | 6884k| 561.5 | 154M | 61 |3162 |7158 |7376 | 256k| 1 |1407 | 11 | 0.000000e+00 | -- | Inf | unknown
3089.30/3098.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3089.30/3098.57 c 3099s| 12300 | 12241 | 6933k| 560.9 | 154M | 61 |3162 |7143 |7467 | 258k| 1 |1413 | 11 | 0.000000e+00 | -- | Inf | unknown
3099.27/3108.59 c 3109s| 12400 | 12341 | 6963k| 558.8 | 154M | 61 |3162 |7143 |7687 | 260k| 1 |1417 | 11 | 0.000000e+00 | -- | Inf | unknown
3123.78/3133.12 c 3133s| 12500 | 12439 | 7016k| 558.6 | 155M | 61 |3162 |7133 |7475 | 261k| 1 |1419 | 11 | 0.000000e+00 | -- | Inf | unknown
3144.01/3153.48 c 3153s| 12600 | 12539 | 7063k| 557.9 | 155M | 61 |3162 |7132 |7469 | 263k| 2 |1425 | 11 | 0.000000e+00 | -- | Inf | unknown
3162.25/3171.80 c 3172s| 12700 | 12639 | 7112k| 557.4 | 155M | 61 |3162 |7139 |7781 | 266k| 2 |1441 | 11 | 0.000000e+00 | -- | Inf | unknown
3187.57/3197.12 c 3197s| 12800 | 12739 | 7171k| 557.6 | 156M | 61 |3162 |7138 |7372 | 268k| 1 |1444 | 11 | 0.000000e+00 | -- | Inf | unknown
3213.17/3222.87 c 3223s| 12900 | 12839 | 7242k| 558.8 | 156M | 62 |3162 |7131 |7228 | 270k| 1 |1444 | 11 | 0.000000e+00 | -- | Inf | unknown
3233.10/3242.82 c 3243s| 13000 | 12939 | 7291k| 558.2 | 156M | 62 |3162 |7124 |7375 | 272k| 2 |1450 | 11 | 0.000000e+00 | -- | Inf | unknown
3257.32/3267.19 c 3267s| 13100 | 13039 | 7350k| 558.5 | 156M | 62 |3162 |7118 |7214 | 274k| 1 |1454 | 11 | 0.000000e+00 | -- | Inf | unknown
3273.56/3283.49 c 3283s| 13200 | 13139 | 7394k| 557.6 | 157M | 62 |3162 |7130 |7750 | 276k| 2 |1468 | 11 | 0.000000e+00 | -- | Inf | unknown
3294.20/3304.13 c 3304s| 13300 | 13237 | 7447k| 557.4 | 157M | 62 |3162 |7143 |7618 | 279k| 1 |1485 | 11 | 0.000000e+00 | -- | Inf | unknown
3310.64/3320.63 c 3321s| 13400 | 13337 | 7490k| 556.5 | 157M | 62 |3162 |7150 |7712 | 281k| 2 |1496 | 11 | 0.000000e+00 | -- | Inf | unknown
3331.07/3341.16 c 3341s| 13500 | 13435 | 7542k| 556.2 | 157M | 62 |3162 |7148 |7720 | 282k| 1 |1501 | 11 | 0.000000e+00 | -- | Inf | unknown
3345.22/3355.37 c 3355s| 13600 | 13535 | 7579k| 554.8 | 157M | 62 |3162 |7145 |7689 | 284k| 1 |1506 | 11 | 0.000000e+00 | -- | Inf | unknown
3359.67/3369.80 c 3370s| 13700 | 13635 | 7619k| 553.7 | 158M | 62 |3162 |7151 |7330 | 286k| 1 |1518 | 11 | 0.000000e+00 | -- | Inf | unknown
3382.99/3393.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3382.99/3393.25 c 3393s| 13800 | 13735 | 7671k| 553.4 | 159M | 62 |3162 |7146 |7691 | 287k| 1 |1525 | 11 | 0.000000e+00 | -- | Inf | unknown
3401.75/3412.09 c 3412s| 13900 | 13835 | 7716k| 552.7 | 160M | 62 |3162 |7139 |7368 | 289k| 1 |1526 | 11 | 0.000000e+00 | -- | Inf | unknown
3426.28/3436.66 c 3437s| 14000 | 13935 | 7773k| 552.8 | 160M | 62 |3162 |7140 |7228 | 292k| 1 |1537 | 11 | 0.000000e+00 | -- | Inf | unknown
3444.03/3454.43 c 3454s| 14100 | 14035 | 7819k| 552.2 | 160M | 62 |3162 |7141 |7741 | 294k| 2 |1546 | 11 | 0.000000e+00 | -- | Inf | unknown
3465.77/3476.23 c 3476s| 14200 | 14135 | 7865k| 551.5 | 160M | 62 |3162 |7137 |7462 | 296k| 1 |1549 | 11 | 0.000000e+00 | -- | Inf | unknown
3478.34/3488.82 c 3489s| 14300 | 14235 | 7899k| 550.0 | 160M | 62 |3162 |7136 |7721 | 297k| 2 |1554 | 11 | 0.000000e+00 | -- | Inf | unknown
3495.79/3506.36 c 3506s| 14400 | 14333 | 7939k| 549.0 | 160M | 62 |3162 |7132 |7465 | 299k| 1 |1559 | 11 | 0.000000e+00 | -- | Inf | unknown
3506.66/3517.26 c 3517s| 14500 | 14433 | 7967k| 547.1 | 161M | 62 |3162 |7140 |7372 | 300k| 1 |1573 | 11 | 0.000000e+00 | -- | Inf | unknown
3532.69/3543.38 c 3543s| 14600 | 14533 | 8024k| 547.3 | 163M | 62 |3162 |7150 |7372 | 302k| 1 |1592 | 11 | 0.000000e+00 | -- | Inf | unknown
3546.06/3556.71 c 3557s| 14700 | 14633 | 8061k| 546.1 | 164M | 62 |3162 |7144 |7641 | 303k| 1 |1592 | 11 | 0.000000e+00 | -- | Inf | unknown
3571.20/3581.99 c 3582s| 14800 | 14733 | 8122k| 546.5 | 164M | 62 |3162 |7159 |7329 | 305k| 2 |1616 | 11 | 0.000000e+00 | -- | Inf | unknown
3586.16/3597.00 c
3586.16/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.16/3597.00 c Solving Time (sec) : 3597.00
3586.16/3597.00 c Solving Nodes : 14869
3586.16/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.16/3597.00 c Dual Bound : +0.00000000000000e+00
3586.16/3597.00 c Gap : infinite
3586.16/3597.00 s UNKNOWN
3586.16/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.16/3597.00 c Total Time : 3597.00
3586.16/3597.00 c solving : 3597.00
3586.16/3597.00 c presolving : 0.25 (included in solving)
3586.16/3597.00 c reading : 0.02 (included in solving)
3586.16/3597.00 c copying : 0.91 (85 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3586.16/3597.00 c Original Problem :
3586.16/3597.00 c Problem name : HOME/instance-4513233-1751220254.opb
3586.16/3597.00 c Variables : 4128 (4128 binary, 0 integer, 0 continuous)
3586.16/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.16/3597.00 c Constraints : 8720 initial, 8720 maximal
3586.16/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.16/3597.00 c Presolved Problem :
3586.16/3597.00 c Problem name : t_HOME/instance-4513233-1751220254.opb
3586.16/3597.00 c Variables : 3162 (3162 binary, 0 integer, 0 continuous)
3586.16/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.16/3597.00 c Constraints : 6944 initial, 7187 maximal
3586.16/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.16/3597.00 c Nonzeros : 32504 constraint, 1568 clique table
3586.16/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.16/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c gateextraction : 0.00 0.00 1 0 0 0 0 0 96 32 0 0
3586.16/3597.00 c implics : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c milp : 0.03 0.00 1 3 86 0 0 0 0 0 0 0
3586.16/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c trivial : 0.00 0.00 11 70 0 0 0 0 0 0 0 0
3586.16/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c dualfix : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c probing : 0.11 0.00 1 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c setppc : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c and : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c xor : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c linear : 0.07 0.00 16 749 58 0 749 0 2551 839 60 0
3586.16/3597.00 c logicor : 0.02 0.00 9 0 0 0 0 0 0 0 0 35
3586.16/3597.00 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c root node : - - - 0 - - 0 - - - - -
3586.16/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.16/3597.00 c integral : 0 0 0 0 14834 0 0 8459 0 0 0 0 0 0 29668
3586.16/3597.00 c knapsack : 0+ 14 0 393438 0 0 0 0 87 38 21 0 0 0 0
3586.16/3597.00 c setppc : 0+ 8 0 284963 0 0 0 0 29 2 342 0 0 0 0
3586.16/3597.00 c and : 32 32 15803 432646 0 0 0 8455 669 3 4837 2345 2246 0 0
3586.16/3597.00 c xor : 1 1 11 350793 0 0 0 7 20 15 0 0 0 0 0
3586.16/3597.00 c linear : 1226+ 1240 11 443673 0 0 0 10 18210 3726 34949 0 0 0 0
3586.16/3597.00 c logicor : 5685+ 5912 11 251330 0 0 0 0 3407 134 2951 3 0 0 0
3586.16/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.16/3597.00 c integral : 10.66 0.00 0.00 0.00 10.30 0.00 0.00 0.37 0.00 0.00
3586.16/3597.00 c knapsack : 0.06 0.00 0.00 0.06 0.00 0.00 0.00 0.00 0.00 0.00
3586.16/3597.00 c setppc : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3586.16/3597.00 c and : 0.28 0.00 0.13 0.13 0.00 0.00 0.00 0.01 0.00 0.00
3586.16/3597.00 c xor : 1.23 0.00 0.00 1.23 0.00 0.00 0.00 0.00 0.00 0.00
3586.16/3597.00 c linear : 1.33 0.00 0.00 1.31 0.00 0.00 0.00 0.00 0.01 0.00
3586.16/3597.00 c logicor : 0.93 0.00 0.01 0.92 0.00 0.00 0.00 0.00 0.00 0.00
3586.16/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.16/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.16/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.16/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.16/3597.00 c dualfix : 1 0 0 0
3586.16/3597.00 c genvbounds : 0 0 0 0
3586.16/3597.00 c nlobbt : 0 0 0 0
3586.16/3597.00 c obbt : 0 0 0 0
3586.16/3597.00 c probing : 0 0 0 0
3586.16/3597.00 c pseudoobj : 0 0 0 0
3586.16/3597.00 c redcost : 0 0 0 0
3586.16/3597.00 c rootredcost : 0 0 0 0
3586.16/3597.00 c symmetry : 0 0 0 0
3586.16/3597.00 c vbounds : 104759 0 0 0
3586.16/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.16/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.16/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.16/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.16/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.16/3597.00 c probing : 0.11 0.00 0.11 0.00 0.00 0.00
3586.16/3597.00 c pseudoobj : 0.04 0.00 0.00 0.04 0.00 0.00
3586.16/3597.00 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3586.16/3597.00 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3586.16/3597.00 c symmetry : 0.05 0.00 0.01 0.04 0.00 0.00
3586.16/3597.00 c vbounds : 0.07 0.00 0.00 0.07 0.00 0.00
3586.16/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.16/3597.00 c propagation : 0.03 387 387 - 1803 99.0 147 8.2 - - -
3586.16/3597.00 c infeasible LP : 0.05 81 78 - 1131 126.2 48 7.6 77 97.3 0
3586.16/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.16/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.16/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.16/3597.00 c applied globally : 0.01 - - 0 1566 38.9 - - 77 - -
3586.16/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.16/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.16/3597.00 c cut pool : 1.10 - 3247 21 - - 6967 992027 - - - - - (maximal pool size: 4981)
3586.16/3597.00 c aggregation : 0.21 0.00 39 11 0 0 4141 485145 17 177005 176994 11 0
3586.16/3597.00 c > cmir : - - - - - - - 131966 0 24190 24190 0 -
3586.16/3597.00 c > flowcover : - - - - - - - 202474 0 81238 81238 0 -
3586.16/3597.00 c > knapsackcover : - - - - - - - 150705 17 71577 71566 11 -
3586.16/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c clique : 0.02 0.00 11 11 0 0 6 223 0 114 114 0 0
3586.16/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c gomory : 10.22 0.00 38 10 0 0 1812 305898 0 21341 21341 0 0
3586.16/3597.00 c > gomorymi : - - - - - - - 119546 0 13526 13526 0 -
3586.16/3597.00 c > strongcg : - - - - - - - 186352 0 7815 7815 0 -
3586.16/3597.00 c impliedbounds : 0.01 0.00 39 11 0 0 691 98963 0 51562 51562 0 0
3586.16/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c multilinear : 0.00 0.00 330 11 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c rapidlearning : 8.01 0.00 78 1 0 19 0 0 0 0 0 0 43
3586.16/3597.00 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3586.16/3597.00 c zerohalf : 0.80 0.00 39 11 0 0 397 101798 63 54998 54946 52 0
3586.16/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.16/3597.00 c hybrid : 1.77 0.00 5053 11 307278 0 687177 2299 0 3588
3586.16/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.16/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.16/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.16/3597.00 c problem variables: 0.00 - 0 0
3586.16/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.16/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.16/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.16/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.16/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.16/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.16/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.16/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.16/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.16/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.16/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.16/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.16/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.16/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.16/3597.00 c relpscost : 10.28 0.00 14834 0 0 0 0 0 0 29668
3586.16/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.16/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.16/3597.00 c LP solutions : 0.00 - - 0 0
3586.16/3597.00 c relax solutions : 0.00 - - 0 0
3586.16/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.16/3597.00 c strong branching : 0.00 - - 0 0
3586.16/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.16/3597.00 c adaptivediving : 32.18 0.00 11 0 0
3586.16/3597.00 c alns : 0.22 0.00 7 0 0
3586.16/3597.00 c bound : 0.00 0.00 0 0 0
3586.16/3597.00 c clique : 0.02 0.00 1 0 0
3586.16/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.16/3597.00 c completesol : 0.00 0.00 0 0 0
3586.16/3597.00 c conflictdiving : 543.16 0.00 293 0 0
3586.16/3597.00 c crossover : 0.00 0.00 0 0 0
3586.16/3597.00 c dins : 0.00 0.00 0 0 0
3586.16/3597.00 c distributiondivin: 188.01 0.00 67 0 0
3586.16/3597.00 c dks : 0.00 0.00 0 0 0
3586.16/3597.00 c dps : 0.00 0.00 0 0 0
3586.16/3597.00 c dualval : 0.00 0.00 0 0 0
3586.16/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3586.16/3597.00 c feaspump : 35.64 0.00 9 0 0
3586.16/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.16/3597.00 c fracdiving : 195.88 0.00 55 0 0
3586.16/3597.00 c gins : 0.00 0.00 0 0 0
3586.16/3597.00 c guideddiving : 0.00 0.00 0 0 0
3586.16/3597.00 c indicator : 0.00 0.00 0 0 0
3586.16/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.16/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.16/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.16/3597.00 c linesearchdiving : 197.06 0.00 60 0 0
3586.16/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.16/3597.00 c locks : 0.02 0.00 1 0 0
3586.16/3597.00 c lpface : 0.05 0.00 0 0 0
3586.16/3597.00 c mpec : 0.00 0.00 0 0 0
3586.16/3597.00 c multistart : 0.00 0.00 0 0 0
3586.16/3597.00 c mutation : 0.00 0.00 0 0 0
3586.16/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.16/3597.00 c objpscostdiving : 415.13 0.00 2 0 0
3586.16/3597.00 c octane : 0.00 0.00 0 0 0
3586.16/3597.00 c ofins : 0.00 0.00 0 0 0
3586.16/3597.00 c oneopt : 0.01 0.00 0 0 0
3586.16/3597.00 c padm : 0.00 0.00 0 0 0
3586.16/3597.00 c proximity : 0.00 0.00 0 0 0
3586.16/3597.00 c pscostdiving : 218.25 0.00 44 0 0
3586.16/3597.00 c randrounding : 0.55 0.00 2132 0 0
3586.16/3597.00 c rens : 0.00 0.00 0 0 0
3586.16/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.16/3597.00 c repair : 0.00 0.00 0 0 0
3586.16/3597.00 c rins : 0.00 0.00 0 0 0
3586.16/3597.00 c rootsoldiving : 23.28 0.00 10 0 0
3586.16/3597.00 c rounding : 0.45 0.00 1946 0 0
3586.16/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.16/3597.00 c shiftandpropagate: 0.01 0.00 1 0 0
3586.16/3597.00 c shifting : 1.18 0.00 918 0 0
3586.16/3597.00 c simplerounding : 0.01 0.00 0 0 0
3586.16/3597.00 c subnlp : 0.00 0.00 0 0 0
3586.16/3597.00 c trivial : 0.00 0.00 2 0 0
3586.16/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3586.16/3597.00 c trustregion : 0.00 0.00 0 0 0
3586.16/3597.00 c trysol : 0.00 0.00 0 0 0
3586.16/3597.00 c twoopt : 0.00 0.00 0 0 0
3586.16/3597.00 c undercover : 0.00 0.00 1 0 0
3586.16/3597.00 c vbounds : 0.00 0.00 0 0 0
3586.16/3597.00 c veclendiving : 194.52 0.00 108 0 0
3586.16/3597.00 c zeroobj : 0.00 0.00 0 0 0
3586.16/3597.00 c zirounding : 0.21 0.00 1000 0 0
3586.16/3597.00 c other solutions : - - - 0 -
3586.16/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
3586.16/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
3586.16/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
3586.16/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
3586.16/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
3586.16/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
3586.16/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
3586.16/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
3586.16/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
3586.16/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
3586.16/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.16/3597.00 c primal LP : 2.62 1599 0 0.00 0.00 2.62 1599
3586.16/3597.00 c dual LP : 1491.51 19892 4891717 245.96 3279.70 0.02 4
3586.16/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3586.16/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.16/3597.00 c resolve instable : 0.00 0 0 0.00 -
3586.16/3597.00 c diving/probing LP: 2019.53 4759 3266652 686.42 1617.53
3586.16/3597.00 c strong branching : 4.64 11 9786 889.64 2110.67 - - 17
3586.16/3597.00 c (at root node) : - 11 9786 889.64 -
3586.16/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3586.16/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.16/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3586.16/3597.00 c B&B Tree :
3586.16/3597.00 c number of runs : 1
3586.16/3597.00 c nodes : 14869 (14834 internal, 35 leaves)
3586.16/3597.00 c feasible leaves : 0
3586.16/3597.00 c infeas. leaves : 34
3586.16/3597.00 c objective leaves : 0
3586.16/3597.00 c nodes (total) : 14869 (14834 internal, 35 leaves)
3586.16/3597.00 c nodes left : 14801
3586.16/3597.00 c max depth : 62
3586.16/3597.00 c max depth (total): 62
3586.16/3597.00 c backtracks : 2408 (16.2%)
3586.16/3597.00 c early backtracks : 0 (0.0%)
3586.16/3597.00 c nodes exc. ref. : 0 (0.0%)
3586.16/3597.00 c delayed cutoffs : 0
3586.16/3597.00 c repropagations : 1 (0 domain reductions, 0 cutoffs)
3586.16/3597.00 c avg switch length: 6.41
3586.16/3597.00 c switching time : 4.59
3586.16/3597.00 c Root Node :
3586.16/3597.00 c First LP value : +0.00000000000000e+00
3586.16/3597.00 c First LP Iters : 901 (31622.91 Iter/sec)
3586.16/3597.00 c First LP Time : 0.03
3586.16/3597.00 c Final Dual Bound : +0.00000000000000e+00
3586.16/3597.00 c Final Root Iters : 34618
3586.16/3597.00 c Root LP Estimate : +3.41659782228857e-01
3586.16/3597.00 c Solution :
3586.16/3597.00 c Solutions found : 0 (0 improvements)
3586.16/3597.00 c Primal Bound : -
3586.16/3597.00 c Dual Bound : +0.00000000000000e+00
3586.16/3597.00 c Gap : infinite
3586.16/3597.00 c Integrals : Total Avg%
3586.16/3597.00 c primal-dual : 359699.86 100.00
3586.16/3597.00 c primal-ref : - - (not evaluated)
3586.16/3597.00 c dual-ref : - - (not evaluated)
3586.26/3597.04 c Time complete (sec): 3586.314
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62636 MiB free)
memory of node 1: 64507 MiB (63484 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513233-1751220254/watcher-4513233-1751220254 -o /tmp/evaluation-result-4513233-1751220254/solver-4513233-1751220254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751214767-27321 --watchdog 3760 pbsolver -f HOME/instance-4513233-1751220254.opb -t 3600 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27978, runsolver pid=27975
[startup+0.100063 s]*
/proc/loadavg: 4.27 4.17 4.11 5/265 27979
/proc/meminfo: memFree=129132344/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=52104 memory=42604 CPUtime=0.09 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 9591 0 0 0 8 1 0 0 20 0 1 0 37704228 53354496 10651 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 13026 10651 2528 2575 0 9933 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52104 KiB
Current children cumulated memory: 42604 KiB
[startup+0.205531 s]*
/proc/loadavg: 4.27 4.17 4.11 5/265 27979
/proc/meminfo: memFree=129130580/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=55536 memory=46188 CPUtime=0.19 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 10463 0 0 0 18 1 0 0 20 0 1 0 37704228 56868864 11547 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 13884 11547 2560 2575 0 10791 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 55536 KiB
Current children cumulated memory: 46188 KiB
[startup+0.305469 s]*
/proc/loadavg: 4.27 4.17 4.11 5/265 27979
/proc/meminfo: memFree=129108656/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=74808 memory=61352 CPUtime=0.3 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 14596 0 0 0 28 2 0 0 20 0 1 0 37704228 76603392 15338 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 18702 15338 2656 2575 0 15609 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 74808 KiB
Current children cumulated memory: 61352 KiB
[startup+0.700158 s]
/proc/loadavg: 4.27 4.17 4.11 5/265 27979
/proc/meminfo: memFree=129100592/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=107548 memory=91576 CPUtime=0.68 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 24481 0 0 0 65 3 0 0 20 0 1 0 37704228 110129152 22894 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 26887 22894 2688 2575 0 23794 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 107548 KiB
Current children cumulated memory: 91576 KiB
[startup+1.50016 s]
/proc/loadavg: 4.27 4.17 4.11 5/265 27979
/proc/meminfo: memFree=129076400/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=107548 memory=91704 CPUtime=1.48 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 24495 0 0 0 145 3 0 0 20 0 1 0 37704228 110129152 22926 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 26887 22926 2688 2575 0 23794 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 107548 KiB
Current children cumulated memory: 91704 KiB
[startup+3.1054 s]
/proc/loadavg: 4.27 4.17 4.11 5/265 27979
/proc/meminfo: memFree=129076940/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=107548 memory=91832 CPUtime=3.08 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 24531 0 0 0 305 3 0 0 20 0 1 0 37704228 110129152 22958 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 26887 22958 2688 2575 0 23794 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 107548 KiB
Current children cumulated memory: 91832 KiB
[startup+6.30015 s]
/proc/loadavg: 4.25 4.16 4.11 5/265 27979
/proc/meminfo: memFree=129076540/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=107548 memory=91960 CPUtime=6.26 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 24567 0 0 0 623 3 0 0 20 0 1 0 37704228 110129152 22990 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 26887 22990 2688 2575 0 23794 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 107548 KiB
Current children cumulated memory: 91960 KiB
[startup+12.7002 s]
/proc/loadavg: 4.31 4.18 4.12 5/265 27979
/proc/meminfo: memFree=129077056/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=107548 memory=91960 CPUtime=12.65 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 24585 0 0 0 1262 3 0 0 20 0 1 0 37704228 110129152 22990 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 26887 22990 2688 2575 0 23794 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 107548 KiB
Current children cumulated memory: 91960 KiB
[startup+25.5002 s]
/proc/loadavg: 4.24 4.17 4.11 5/265 27979
/proc/meminfo: memFree=129080852/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=108464 memory=92088 CPUtime=25.41 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 24629 0 0 0 2538 3 0 0 20 0 1 0 37704228 111067136 23022 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 27116 23022 2688 2575 0 24023 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 108464 KiB
Current children cumulated memory: 92088 KiB
[startup+51.1048 s]
/proc/loadavg: 4.16 4.15 4.11 5/264 27980
/proc/meminfo: memFree=129058124/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=134984 memory=117376 CPUtime=50.96 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 32403 0 0 0 5091 5 0 0 20 0 1 0 37704228 138223616 29344 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 33746 29344 2688 2575 0 30653 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 134984 KiB
Current children cumulated memory: 117376 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/264 27982
/proc/meminfo: memFree=129060472/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=134984 memory=117376 CPUtime=102.02 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 32404 0 0 0 10197 5 0 0 20 0 1 0 37704228 138223616 29344 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 33746 29344 2688 2575 0 30653 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 134984 KiB
Current children cumulated memory: 117376 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/265 27985
/proc/meminfo: memFree=129064824/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=134984 memory=117376 CPUtime=161.86 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 32404 0 0 0 16181 5 0 0 20 0 1 0 37704228 138223616 29344 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 33746 29344 2688 2575 0 30653 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 134984 KiB
Current children cumulated memory: 117376 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/264 27987
/proc/meminfo: memFree=129072744/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=132480 memory=116348 CPUtime=221.7 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 35116 0 0 0 22165 5 0 0 20 0 1 0 37704228 135659520 29087 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 33120 29087 2688 2575 0 30027 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 132480 KiB
Current children cumulated memory: 116348 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 27988
/proc/meminfo: memFree=129065068/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=137056 memory=121084 CPUtime=281.54 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 38830 0 0 0 28148 6 0 0 20 0 1 0 37704228 140345344 30271 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 34264 30271 2688 2575 0 31171 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 137056 KiB
Current children cumulated memory: 121084 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 27990
/proc/meminfo: memFree=129066228/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=139420 memory=123380 CPUtime=341.38 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 42240 0 0 0 34132 6 0 0 20 0 1 0 37704228 142766080 30845 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 34855 30845 2688 2575 0 31762 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 139420 KiB
Current children cumulated memory: 123380 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/265 27996
/proc/meminfo: memFree=129057220/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=141532 memory=125568 CPUtime=401.22 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 45865 0 0 0 40115 7 0 0 20 0 1 0 37704228 144928768 31392 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 35383 31392 2688 2575 0 32290 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 141532 KiB
Current children cumulated memory: 125568 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 27998
/proc/meminfo: memFree=129010632/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=143892 memory=131896 CPUtime=461.05 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 51746 0 0 0 46097 8 0 0 20 0 1 0 37704228 147345408 32974 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 35973 32974 2688 2575 0 32880 0
################
# More data... #
################
/proc/loadavg: 4.24 4.17 4.11 5/264 29075
/proc/meminfo: memFree=125904752/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=210832 memory=204020 CPUtime=3152.88 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 127655 0 0 0 315267 21 0 0 20 0 1 0 37704228 215891968 51005 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 52708 51005 2688 2575 0 49615 0
Current children cumulated CPU time: 3152.88 s
Current children cumulated vsize: 210832 KiB
Current children cumulated memory: 204020 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/265 29078
/proc/meminfo: memFree=125787960/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=212348 memory=205472 CPUtime=3212.67 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 130058 0 0 0 321246 21 0 0 20 0 1 0 37704228 217444352 51368 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 53087 51368 2688 2575 0 49994 0
Current children cumulated CPU time: 3212.67 s
Current children cumulated vsize: 212348 KiB
Current children cumulated memory: 205472 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/265 29080
/proc/meminfo: memFree=125638000/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=212728 memory=205852 CPUtime=3272.47 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 131128 0 0 0 327226 21 0 0 20 0 1 0 37704228 217833472 51463 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 53182 51463 2688 2575 0 50089 0
Current children cumulated CPU time: 3272.47 s
Current children cumulated vsize: 212728 KiB
Current children cumulated memory: 205852 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/265 29082
/proc/meminfo: memFree=125523548/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=214076 memory=207200 CPUtime=3332.26 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 132563 0 0 0 333205 21 0 0 20 0 1 0 37704228 219213824 51800 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 53519 51800 2688 2575 0 50426 0
Current children cumulated CPU time: 3332.26 s
Current children cumulated vsize: 214076 KiB
Current children cumulated memory: 207200 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/265 29086
/proc/meminfo: memFree=125404840/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=214076 memory=207200 CPUtime=3392.07 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 132566 0 0 0 339186 21 0 0 20 0 1 0 37704228 219213824 51800 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 53519 51800 2688 2575 0 50426 0
Current children cumulated CPU time: 3392.07 s
Current children cumulated vsize: 214076 KiB
Current children cumulated memory: 207200 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 29100
/proc/meminfo: memFree=125365328/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=214076 memory=207200 CPUtime=3451.91 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 132644 0 0 0 345170 21 0 0 20 0 1 0 37704228 219213824 51800 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 53519 51800 2688 2575 0 50426 0
Current children cumulated CPU time: 3451.91 s
Current children cumulated vsize: 214076 KiB
Current children cumulated memory: 207200 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 29102
/proc/meminfo: memFree=125268184/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=214076 memory=207200 CPUtime=3511.75 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 132655 0 0 0 351154 21 0 0 20 0 1 0 37704228 219213824 51800 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 53519 51800 2688 2575 0 50426 0
Current children cumulated CPU time: 3511.75 s
Current children cumulated vsize: 214076 KiB
Current children cumulated memory: 207200 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/262 29104
/proc/meminfo: memFree=125154728/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=214076 memory=207200 CPUtime=3571.6 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 132655 0 0 0 357138 22 0 0 20 0 1 0 37704228 219213824 51800 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 53519 51800 2688 2575 0 50426 0
Current children cumulated CPU time: 3571.6 s
Current children cumulated vsize: 214076 KiB
Current children cumulated memory: 207200 KiB
[startup+3597.05 s]
# the end of solver process 27978 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.09 s, system=0.222245 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.12 4.09 5/262 29104
/proc/meminfo: memFree=125154728/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=214076 memory=207200 CPUtime=3573.3 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 132655 0 0 0 357308 22 0 0 20 0 1 0 37704228 219213824 51800 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 53519 51800 2688 2575 0 50426 0
Current children cumulated CPU time: 3573.3 s
Current children cumulated vsize: 214076 KiB
Current children cumulated memory: 207200 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 29104
/proc/meminfo: memFree=125146664/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=214076 memory=207200 CPUtime=3579.68 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 132655 0 0 0 357946 22 0 0 20 0 1 0 37704228 219213824 51800 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 53519 51800 2688 2575 0 50426 0
Current children cumulated CPU time: 3579.68 s
Current children cumulated vsize: 214076 KiB
Current children cumulated memory: 207200 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 29104
/proc/meminfo: memFree=125146664/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=214076 memory=207200 CPUtime=3582.87 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 132655 0 0 0 358265 22 0 0 20 0 1 0 37704228 219213824 51800 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 53519 51800 2688 2575 0 50426 0
Current children cumulated CPU time: 3582.87 s
Current children cumulated vsize: 214076 KiB
Current children cumulated memory: 207200 KiB
[startup+3595.2 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 29104
/proc/meminfo: memFree=125146664/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=214076 memory=207200 CPUtime=3584.47 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 132655 0 0 0 358425 22 0 0 20 0 1 0 37704228 219213824 51800 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 53519 51800 2688 2575 0 50426 0
Current children cumulated CPU time: 3584.47 s
Current children cumulated vsize: 214076 KiB
Current children cumulated memory: 207200 KiB
[startup+3596 s]*
/proc/loadavg: 4.13 4.12 4.09 5/262 29104
/proc/meminfo: memFree=125146664/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=214076 memory=207200 CPUtime=3585.27 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 132655 0 0 0 358505 22 0 0 20 0 1 0 37704228 219213824 51800 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 53519 51800 2688 2575 0 50426 0
Current children cumulated CPU time: 3585.27 s
Current children cumulated vsize: 214076 KiB
Current children cumulated memory: 207200 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 29104
/proc/meminfo: memFree=125146664/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=214076 memory=207200 CPUtime=3586.06 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 132655 0 0 0 358584 22 0 0 20 0 1 0 37704228 219213824 51800 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 53519 51800 2688 2575 0 50426 0
Current children cumulated CPU time: 3586.06 s
Current children cumulated vsize: 214076 KiB
Current children cumulated memory: 207200 KiB
[startup+3597 s]*
/proc/loadavg: 4.13 4.12 4.09 5/262 29104
/proc/meminfo: memFree=125146664/131249988 swapFree=33010684/33010684
[pid=27978] ppid=27975 vsize=214076 memory=207200 CPUtime=3586.26 cores=0,2
/proc/27978/stat : 27978 (pbsolver) R 27975 27978 27311 0 -1 4194304 132655 0 0 0 358604 22 0 0 20 0 1 0 37704228 219213824 51800 18446744073709551615 4198400 14743177 140733170551536 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 34963456 140733170559370 140733170559466 140733170559466 140733170565068 0
/proc/27978/statm: 53519 51800 2688 2575 0 50426 0
Current children cumulated CPU time: 3586.26 s
Current children cumulated vsize: 214076 KiB
Current children cumulated memory: 207200 KiB
Child status: 0
Real time (s): 3597.05
CPU time (s): 3586.32
CPU user time (s): 3586.09
CPU system time (s): 0.222245
CPU usage (%): 99.7016
Max. virtual memory (cumulated for all children) (KiB): 216760
Max. memory (cumulated for all children) (KiB): 209652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.09
system time used= 0.222245
maximum resident set size= 211484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132656
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= 24
involuntary context switches= 8161
# summary of solver processes directly reported to runsolver:
# pid: 27978
# total CPU time (s): 3586.32
# total CPU user time (s): 3586.09
# total CPU system time (s): 0.222245
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.02949 second user time and 15.7461 second system time
The end