| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3586.13 | 3597.09 |
| Name | PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round23-6.opb |
| MD5SUM | 9b7b034b4cb564ce8c6d87bc02f32c31 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 4288 |
| Total number of constraints | 9520 |
| Number of constraints which are clauses | 8192 |
| Number of constraints which are cardinality constraints (but not clauses) | 432 |
| Number of constraints which are nor clauses,nor cardinality constraints | 896 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 10 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 4 |
| Number of bits of the biggest number in a constraint | 3 |
| Biggest sum of numbers in a constraint | 14 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.02 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.02 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-4513304-1751220588.opb>
0.00/0.09 c original problem has 4288 variables (4288 bin, 0 int, 0 impl, 0 cont) and 9520 constraints
0.00/0.09 c problem read in 0.06
0.00/0.09 c No objective function, only one solution is needed.
0.09/0.14 c presolving:
0.09/0.18 c (round 1, fast) 623 del vars, 1020 del conss, 681 add conss, 536 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 308 clqs
0.09/0.19 c (round 2, fast) 940 del vars, 1747 del conss, 778 add conss, 741 chg bounds, 4 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 421 clqs
0.09/0.19 c (round 3, fast) 946 del vars, 1754 del conss, 803 add conss, 744 chg bounds, 5 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 452 clqs
0.09/0.23 c (0.2s) running MILP presolver
0.19/0.29 c (0.3s) MILP presolver (4 rounds): 54 aggregations, 2 fixings, 0 bound changes
0.19/0.29 c (round 4, medium) 1002 del vars, 1754 del conss, 803 add conss, 744 chg bounds, 5 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 341 clqs
0.19/0.30 c (round 5, fast) 1002 del vars, 1816 del conss, 856 add conss, 744 chg bounds, 5 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 361 clqs
0.19/0.31 c (round 6, exhaustive) 1002 del vars, 2488 del conss, 856 add conss, 744 chg bounds, 5 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 361 clqs
0.29/0.37 c (round 7, exhaustive) 1002 del vars, 2488 del conss, 856 add conss, 744 chg bounds, 5 chg sides, 0 chg coeffs, 6502 upgd conss, 0 impls, 361 clqs
0.29/0.39 c (round 8, exhaustive) 1002 del vars, 2584 del conss, 888 add conss, 744 chg bounds, 5 chg sides, 0 chg coeffs, 6502 upgd conss, 0 impls, 361 clqs
0.39/0.46 c (round 9, exhaustive) 1002 del vars, 2584 del conss, 888 add conss, 744 chg bounds, 68 chg sides, 0 chg coeffs, 6502 upgd conss, 0 impls, 361 clqs
0.39/0.47 c (round 10, exhaustive) 1002 del vars, 2584 del conss, 888 add conss, 744 chg bounds, 68 chg sides, 0 chg coeffs, 6565 upgd conss, 0 impls, 361 clqs
0.66/0.73 c (0.7s) probing: 776/3355 (23.1%) - 0 fixings, 1 aggregations, 260 implications, 0 bound changes
0.66/0.73 c (0.7s) probing aborted: 50/50 successive totally useless probings
0.66/0.73 c (0.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.66/0.80 c (0.8s) no symmetry present (symcode time: 0.01)
0.76/0.81 c presolving (11 rounds: 11 fast, 7 medium, 6 exhaustive):
0.76/0.81 c 1003 deleted vars, 2584 deleted constraints, 888 added constraints, 744 tightened bounds, 0 added holes, 68 changed sides, 33 changed coefficients
0.76/0.81 c 0 implications, 615 cliques
0.76/0.81 c presolved problem has 3354 variables (3354 bin, 0 int, 0 impl, 0 cont) and 7824 constraints
0.76/0.81 c 32 constraints of type <and>
0.76/0.81 c 1 constraints of type <xor>
0.76/0.81 c 1323 constraints of type <linear>
0.76/0.81 c 6468 constraints of type <logicor>
0.76/0.81 c transformed objective value is always integral (scale: 1)
0.76/0.81 c Presolving Time: 0.67
0.76/0.81 c - non default parameters ----------------------------------------------------------------------
0.76/0.81 c # SCIP version 10.0.0
0.76/0.81 c
0.76/0.81 c # maximal time in seconds to run
0.76/0.81 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.76/0.81 c limits/time = 3596.99309
0.76/0.81 c
0.76/0.81 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.76/0.81 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.76/0.81 c limits/memory = 27900
0.76/0.81 c
0.76/0.81 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.76/0.81 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.76/0.81 c limits/solutions = 1
0.76/0.81 c
0.76/0.81 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.76/0.81 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.76/0.81 c misc/usesymmetry = 3
0.76/0.81 c
0.76/0.81 c # belongs reading time to solving time?
0.76/0.81 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.76/0.81 c timing/reading = TRUE
0.76/0.81 c
0.76/0.81 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.76/0.81 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.76/0.81 c propagating/symmetry/detectdoublelex = FALSE
0.76/0.81 c
0.76/0.81 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.76/0.81 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.76/0.81 c propagating/symmetry/detectsubgroups = FALSE
0.76/0.81 c
0.76/0.81 c # Type of symmetries that shall be computed?
0.76/0.81 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.76/0.81 c propagating/symmetry/symtype = 1
0.76/0.81 c
0.76/0.81 c # Should components consisting of a single full reflection be handled?
0.76/0.81 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.76/0.81 c propagating/symmetry/usesimplesgncomp = FALSE
0.76/0.81 c
0.76/0.81 c -----------------------------------------------------------------------------------------------
0.76/0.81 c start solving
0.76/0.81 c
0.86/0.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.86/0.98 c 1.0s| 1 | 0 | 956 | - | 55M | 0 |3354 |7849 |7856 | 0 | 0 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown
1.85/2.01 c 2.0s| 1 | 0 | 3461 | - | 61M | 0 |3354 |7850 |8150 | 294 | 1 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
3.35/3.42 c 3.4s| 1 | 0 | 5933 | - | 65M | 0 |3354 |7853 |8452 | 596 | 2 | 29 | 0 | 0.000000e+00 | -- | Inf | unknown
5.05/5.11 c 5.1s| 1 | 0 | 8711 | - | 67M | 0 |3354 |7853 |8743 | 887 | 3 | 29 | 0 | 0.000000e+00 | -- | Inf | unknown
6.74/6.88 c 6.9s| 1 | 0 | 11285 | - | 70M | 0 |3354 |7853 |9022 |1166 | 4 | 29 | 0 | 0.000000e+00 | -- | Inf | unknown
8.53/8.62 c 8.6s| 1 | 0 | 13592 | - | 72M | 0 |3354 |7853 |9201 |1345 | 5 | 29 | 0 | 0.000000e+00 | -- | Inf | unknown
10.94/11.10 c 11.1s| 1 | 0 | 17473 | - | 75M | 0 |3354 |7853 |9384 |1528 | 6 | 29 | 0 | 0.000000e+00 | -- | Inf | unknown
13.32/13.46 c 13.4s| 1 | 0 | 20943 | - | 77M | 0 |3354 |7853 |9521 |1665 | 7 | 29 | 0 | 0.000000e+00 | -- | Inf | unknown
15.31/15.43 c 15.4s| 1 | 0 | 23409 | - | 79M | 0 |3354 |7853 |9638 |1782 | 8 | 29 | 0 | 0.000000e+00 | -- | Inf | unknown
18.02/18.11 c 18.1s| 1 | 0 | 27529 | - | 80M | 0 |3354 |7853 |9872 |2016 | 9 | 29 | 0 | 0.000000e+00 | -- | Inf | unknown
21.01/21.14 c 21.1s| 1 | 0 | 31923 | - | 82M | 0 |3354 |7855 | 10k|2157 | 10 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
22.79/22.97 c 22.9s| 1 | 0 | 35644 | - | 83M | 0 |3354 |7855 |9310 |2275 | 11 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
36.56/36.75 c 36.7s| 1 | 2 | 40991 | - | 84M | 0 |3354 |7858 |9310 |2275 | 11 | 34 | 18 | 0.000000e+00 | -- | Inf | unknown
373.15/374.28 c 374s| 100 | 101 |468814 |4375.5 | 85M | 15 |3354 |7903 |8118 |4892 | 1 | 99 | 18 | 0.000000e+00 | -- | Inf | unknown
404.56/405.78 c 406s| 200 | 201 |549069 |2580.0 | 86M | 23 |3354 |7913 |8260 |7297 | 1 | 113 | 18 | 0.000000e+00 | -- | Inf | unknown
452.55/453.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
452.55/453.80 c 454s| 300 | 301 |641161 |2025.1 | 87M | 23 |3354 |7935 |8326 | 11k| 2 | 146 | 18 | 0.000000e+00 | -- | Inf | unknown
499.12/500.56 c 501s| 400 | 401 |743159 |1773.2 | 88M | 23 |3354 |7947 |8125 | 15k| 1 | 166 | 18 | 0.000000e+00 | -- | Inf | unknown
534.32/535.87 c 536s| 500 | 501 |818622 |1569.1 | 91M | 25 |3354 |7964 |8105 | 17k| 1 | 186 | 18 | 0.000000e+00 | -- | Inf | unknown
552.49/554.07 c 554s| 600 | 601 |861035 |1377.9 | 91M | 25 |3354 |7959 |8112 | 19k| 1 | 186 | 18 | 0.000000e+00 | -- | Inf | unknown
596.15/597.80 c 598s| 700 | 701 |938882 |1292.2 | 92M | 25 |3354 |7965 |8118 | 21k| 1 | 203 | 18 | 0.000000e+00 | -- | Inf | unknown
602.54/604.28 c 604s| 800 | 801 |955824 |1151.7 | 92M | 26 |3354 |7964 |8118 | 22k| 1 | 203 | 18 | 0.000000e+00 | -- | Inf | unknown
615.42/617.16 c 617s| 900 | 901 |981157 |1051.7 | 92M | 26 |3354 |7969 |8275 | 23k| 1 | 210 | 18 | 0.000000e+00 | -- | Inf | unknown
642.53/644.38 c 644s| 1000 | 1001 | 1033k| 999.2 | 93M | 26 |3354 |7967 |8167 | 25k| 2 | 221 | 18 | 0.000000e+00 | -- | Inf | unknown
663.87/665.77 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
663.87/665.77 c (run 1, node 1049) performing user restart
663.87/665.77 c
663.87/665.77 c (restart) converted 895 cuts from the global cut pool into linear constraints
663.87/665.77 c
663.87/665.78 c presolving:
663.87/665.79 c (round 1, fast) 0 del vars, 2 del conss, 619 add conss, 0 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 0 impls, 624 clqs
663.97/665.80 c (round 2, exhaustive) 0 del vars, 38 del conss, 619 add conss, 0 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 0 impls, 624 clqs
663.97/665.81 c (round 3, exhaustive) 0 del vars, 38 del conss, 619 add conss, 0 chg bounds, 1 chg sides, 2 chg coeffs, 1428 upgd conss, 0 impls, 624 clqs
663.97/665.81 c (round 4, fast) 0 del vars, 571 del conss, 619 add conss, 0 chg bounds, 1 chg sides, 2 chg coeffs, 1428 upgd conss, 0 impls, 624 clqs
663.97/665.82 c (round 5, medium) 0 del vars, 575 del conss, 624 add conss, 0 chg bounds, 2 chg sides, 4 chg coeffs, 1428 upgd conss, 0 impls, 626 clqs
663.97/665.83 c (round 6, exhaustive) 0 del vars, 576 del conss, 625 add conss, 0 chg bounds, 52 chg sides, 5 chg coeffs, 1428 upgd conss, 0 impls, 626 clqs
663.97/665.83 c (round 7, exhaustive) 0 del vars, 576 del conss, 625 add conss, 0 chg bounds, 52 chg sides, 5 chg coeffs, 1478 upgd conss, 0 impls, 626 clqs
663.97/665.83 c (round 8, fast) 0 del vars, 626 del conss, 625 add conss, 0 chg bounds, 52 chg sides, 5 chg coeffs, 1478 upgd conss, 0 impls, 626 clqs
663.97/665.86 c presolving (9 rounds: 9 fast, 6 medium, 5 exhaustive):
663.97/665.86 c 0 deleted vars, 627 deleted constraints, 625 added constraints, 0 tightened bounds, 0 added holes, 52 changed sides, 16 changed coefficients
663.97/665.86 c 0 implications, 626 cliques
663.97/665.86 c presolved problem has 3354 variables (3354 bin, 0 int, 0 impl, 0 cont) and 8852 constraints
663.97/665.86 c 80 constraints of type <knapsack>
663.97/665.86 c 125 constraints of type <setppc>
663.97/665.86 c 32 constraints of type <and>
663.97/665.86 c 1 constraints of type <xor>
663.97/665.86 c 1324 constraints of type <linear>
663.97/665.86 c 7290 constraints of type <logicor>
663.97/665.86 c transformed objective value is always integral (scale: 1)
663.97/665.86 c Presolving Time: 0.75
663.97/665.86 c
664.47/666.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
664.47/666.35 c 666s| 1 | 0 | 1077k| - | 93M | 0 |3354 |8852 |8752 | 0 | 0 | 225 | 18 | 0.000000e+00 | -- | Inf | unknown
665.87/667.73 c 668s| 1 | 0 | 1080k| - | 95M | 0 |3354 |8852 |8975 | 223 | 1 | 225 | 18 | 0.000000e+00 | -- | Inf | unknown
667.87/669.75 c 670s| 1 | 0 | 1083k| - | 96M | 0 |3354 |8854 |9248 | 496 | 2 | 227 | 18 | 0.000000e+00 | -- | Inf | unknown
670.76/672.64 c 673s| 1 | 0 | 1087k| - | 98M | 0 |3354 |8854 |9537 | 785 | 3 | 227 | 18 | 0.000000e+00 | -- | Inf | unknown
673.35/675.25 c 675s| 1 | 0 | 1091k| - | 99M | 0 |3354 |8854 |9698 | 946 | 4 | 227 | 18 | 0.000000e+00 | -- | Inf | unknown
676.34/678.25 c 678s| 1 | 0 | 1095k| - | 100M | 0 |3354 |8854 |9943 |1191 | 5 | 227 | 18 | 0.000000e+00 | -- | Inf | unknown
679.15/681.02 c 681s| 1 | 0 | 1099k| - | 101M | 0 |3354 |8854 | 10k|1329 | 6 | 227 | 18 | 0.000000e+00 | -- | Inf | unknown
682.43/684.34 c 684s| 1 | 0 | 1103k| - | 102M | 0 |3354 |8855 | 10k|1447 | 7 | 228 | 18 | 0.000000e+00 | -- | Inf | unknown
686.32/688.24 c 688s| 1 | 0 | 1109k| - | 104M | 0 |3354 |8855 | 10k|1688 | 8 | 228 | 18 | 0.000000e+00 | -- | Inf | unknown
689.91/691.89 c 692s| 1 | 0 | 1113k| - | 106M | 0 |3354 |8855 | 10k|1797 | 9 | 228 | 18 | 0.000000e+00 | -- | Inf | unknown
692.90/694.87 c 695s| 1 | 0 | 1117k| - | 107M | 0 |3354 |8855 | 10k|1890 | 10 | 228 | 18 | 0.000000e+00 | -- | Inf | unknown
695.39/697.35 c 697s| 1 | 0 | 1121k| - | 108M | 0 |3354 |8855 | 10k|1973 | 11 | 228 | 18 | 0.000000e+00 | -- | Inf | unknown
713.06/715.10 c 715s| 1 | 2 | 1133k| - | 108M | 0 |3354 |8856 | 10k|1973 | 11 | 229 | 36 | 0.000000e+00 | -- | Inf | unknown
754.13/756.22 c 756s| 100 | 95 | 1216k| 987.7 | 109M | 33 |3354 |8873 |8365 |4344 | 1 | 246 | 36 | 0.000000e+00 | -- | Inf | unknown
769.79/771.99 c 772s| 200 | 195 | 1249k| 935.4 | 111M | 56 |3354 |8873 |8571 |6139 | 1 | 246 | 36 | 0.000000e+00 | -- | Inf | unknown
774.68/776.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
774.68/776.83 c 777s| 300 | 293 | 1263k| 876.2 | 111M | 95 |3354 |8873 |8691 |7198 | 1 | 246 | 36 | 0.000000e+00 | -- | Inf | unknown
782.46/784.65 c 785s| 400 | 387 | 1278k| 825.7 | 112M | 157 |3354 |8893 |8753 |7322 | 1 | 266 | 36 | 0.000000e+00 | -- | Inf | unknown
791.84/794.10 c 794s| 500 | 487 | 1302k| 788.3 | 125M | 166 |3354 |8920 |8961 |8809 | 1 | 293 | 36 | 0.000000e+00 | -- | Inf | unknown
805.99/808.29 c 808s| 600 | 587 | 1337k| 761.9 | 133M | 176 |3354 |8919 |8891 | 10k| 1 | 298 | 36 | 0.000000e+00 | -- | Inf | unknown
822.95/825.25 c 825s| 700 | 685 | 1379k| 742.3 | 137M | 177 |3354 |8947 |9003 | 12k| 1 | 332 | 36 | 0.000000e+00 | -- | Inf | unknown
835.91/838.24 c 838s| 800 | 785 | 1413k| 720.5 | 140M | 177 |3354 |9025 |8742 | 14k| 1 | 415 | 36 | 0.000000e+00 | -- | Inf | unknown
845.80/848.15 c 848s| 900 | 883 | 1440k| 697.4 | 142M | 177 |3354 |9026 |8905 | 16k| 1 | 424 | 36 | 0.000000e+00 | -- | Inf | unknown
863.34/865.74 c 866s| 1000 | 983 | 1480k| 682.7 | 145M | 177 |3354 |9022 |8753 | 18k| 1 | 458 | 36 | 0.000000e+00 | -- | Inf | unknown
875.72/878.17 c 878s| 1100 | 1083 | 1513k| 666.1 | 146M | 177 |3354 |9026 |8906 | 20k| 1 | 481 | 36 | 0.000000e+00 | -- | Inf | unknown
888.37/890.85 c 891s| 1200 | 1181 | 1547k| 651.6 | 147M | 178 |3354 |9080 |8753 | 22k| 1 | 561 | 36 | 0.000000e+00 | -- | Inf | unknown
902.73/905.29 c 905s| 1300 | 1281 | 1595k| 644.5 | 148M | 178 |3354 |9124 |8912 | 24k| 1 | 626 | 36 | 0.000000e+00 | -- | Inf | unknown
918.50/921.09 c 921s| 1400 | 1381 | 1631k| 632.8 | 149M | 178 |3354 |9125 |8910 | 26k| 1 | 660 | 36 | 0.000000e+00 | -- | Inf | unknown
934.56/937.19 c 937s| 1500 | 1481 | 1672k| 624.1 | 150M | 178 |3354 |9138 |8890 | 28k| 2 | 730 | 36 | 0.000000e+00 | -- | Inf | unknown
947.81/950.42 c 950s| 1600 | 1581 | 1706k| 613.3 | 151M | 178 |3354 |9111 |9010 | 30k| 1 | 739 | 36 | 0.000000e+00 | -- | Inf | unknown
967.06/969.75 c 970s| 1700 | 1679 | 1757k| 609.8 | 151M | 178 |3354 |9105 |8753 | 32k| 1 | 761 | 36 | 0.000000e+00 | -- | Inf | unknown
982.92/985.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
982.92/985.65 c 986s| 1800 | 1777 | 1798k| 602.5 | 152M | 178 |3354 |9115 |8898 | 34k| 1 | 804 | 36 | 0.000000e+00 | -- | Inf | unknown
997.68/1000.40 c 1000s| 1900 | 1875 | 1837k| 595.5 | 153M | 178 |3354 |9132 |9037 | 36k| 1 | 844 | 36 | 0.000000e+00 | -- | Inf | unknown
1015.03/1017.84 c 1018s| 2000 | 1975 | 1880k| 590.1 | 155M | 178 |3354 |9144 |8942 | 38k| 2 | 923 | 36 | 0.000000e+00 | -- | Inf | unknown
1028.70/1031.57 c 1032s| 2100 | 2075 | 1918k| 583.3 | 155M | 178 |3354 |9148 |9019 | 40k| 1 | 954 | 36 | 0.000000e+00 | -- | Inf | unknown
1044.36/1047.20 c 1047s| 2200 | 2173 | 1958k| 577.5 | 157M | 178 |3354 |9186 |8906 | 42k| 1 |1017 | 36 | 0.000000e+00 | -- | Inf | unknown
1061.12/1064.04 c 1064s| 2300 | 2269 | 2000k| 573.0 | 157M | 178 |3354 |9213 |8896 | 44k| 1 |1092 | 36 | 0.000000e+00 | -- | Inf | unknown
1076.28/1079.20 c 1079s| 2400 | 2367 | 2040k| 567.8 | 159M | 178 |3354 |9200 |8917 | 46k| 1 |1112 | 36 | 0.000000e+00 | -- | Inf | unknown
1090.74/1093.73 c 1094s| 2500 | 2463 | 2078k| 562.6 | 159M | 178 |3354 |9177 |8902 | 48k| 1 |1114 | 36 | 0.000000e+00 | -- | Inf | unknown
1106.11/1109.13 c 1109s| 2600 | 2561 | 2118k| 558.1 | 160M | 178 |3354 |9197 |8753 | 50k| 1 |1176 | 36 | 0.000000e+00 | -- | Inf | unknown
1119.86/1122.99 c 1123s| 2700 | 2659 | 2155k| 553.2 | 160M | 178 |3354 |9183 |8907 | 52k| 1 |1190 | 36 | 0.000000e+00 | -- | Inf | unknown
1135.32/1138.41 c 1138s| 2800 | 2757 | 2194k| 548.9 | 160M | 178 |3354 |9198 |9028 | 54k| 1 |1238 | 36 | 0.000000e+00 | -- | Inf | unknown
1149.08/1152.21 c 1152s| 2900 | 2857 | 2230k| 544.0 | 161M | 178 |3354 |9203 |8911 | 56k| 1 |1279 | 36 | 0.000000e+00 | -- | Inf | unknown
1167.54/1170.70 c 1171s| 3000 | 2957 | 2275k| 541.8 | 161M | 178 |3354 |9178 |8742 | 59k| 1 |1289 | 36 | 0.000000e+00 | -- | Inf | unknown
1179.40/1182.69 c 1183s| 3100 | 3055 | 2307k| 536.6 | 162M | 178 |3354 |9139 |8904 | 61k| 1 |1289 | 36 | 0.000000e+00 | -- | Inf | unknown
1202.75/1206.07 c 1206s| 3200 | 3155 | 2361k| 536.5 | 163M | 178 |3354 |9175 |8742 | 63k| 1 |1362 | 36 | 0.000000e+00 | -- | Inf | unknown
1215.50/1218.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1215.50/1218.80 c 1219s| 3300 | 3255 | 2396k| 532.2 | 163M | 183 |3354 |9178 |8899 | 65k| 1 |1375 | 36 | 0.000000e+00 | -- | Inf | unknown
1234.45/1237.88 c 1238s| 3400 | 3355 | 2454k| 533.3 | 165M | 183 |3354 |9149 |8898 | 67k| 1 |1385 | 36 | 0.000000e+00 | -- | Inf | unknown
1250.91/1254.33 c 1254s| 3500 | 3455 | 2501k| 531.8 | 166M | 188 |3354 |9141 |9018 | 68k| 1 |1401 | 36 | 0.000000e+00 | -- | Inf | unknown
1264.47/1267.93 c 1268s| 3600 | 3555 | 2535k| 527.7 | 167M | 188 |3354 |9116 |8887 | 70k| 1 |1402 | 36 | 0.000000e+00 | -- | Inf | unknown
1277.55/1281.07 c 1281s| 3700 | 3655 | 2569k| 523.8 | 167M | 188 |3354 |9127 |8905 | 72k| 1 |1427 | 36 | 0.000000e+00 | -- | Inf | unknown
1292.61/1296.16 c 1296s| 3800 | 3755 | 2605k| 520.5 | 169M | 188 |3354 |9138 |8897 | 74k| 1 |1466 | 36 | 0.000000e+00 | -- | Inf | unknown
1309.76/1313.33 c 1313s| 3900 | 3855 | 2644k| 517.8 | 169M | 188 |3354 |9170 |9065 | 75k| 1 |1514 | 36 | 0.000000e+00 | -- | Inf | unknown
1319.23/1322.87 c 1323s| 4000 | 3955 | 2669k| 512.6 | 169M | 188 |3354 |9171 |8901 | 77k| 1 |1528 | 36 | 0.000000e+00 | -- | Inf | unknown
1332.79/1336.40 c 1336s| 4100 | 4055 | 2702k| 509.0 | 169M | 188 |3354 |9166 |8905 | 79k| 1 |1540 | 36 | 0.000000e+00 | -- | Inf | unknown
1346.85/1350.52 c 1351s| 4200 | 4155 | 2738k| 506.2 | 170M | 188 |3354 |9164 |9037 | 81k| 1 |1556 | 36 | 0.000000e+00 | -- | Inf | unknown
1363.11/1366.80 c 1367s| 4300 | 4255 | 2780k| 504.5 | 172M | 188 |3354 |9181 |8910 | 83k| 1 |1596 | 36 | 0.000000e+00 | -- | Inf | unknown
1374.48/1378.26 c 1378s| 4400 | 4355 | 2810k| 500.8 | 173M | 188 |3354 |9163 |8896 | 84k| 2 |1596 | 36 | 0.000000e+00 | -- | Inf | unknown
1384.37/1388.18 c 1388s| 4500 | 4455 | 2836k| 496.4 | 174M | 188 |3354 |9175 |9067 | 86k| 1 |1624 | 36 | 0.000000e+00 | -- | Inf | unknown
1401.91/1405.71 c 1406s| 4600 | 4555 | 2876k| 494.7 | 174M | 188 |3354 |9175 |8971 | 88k| 1 |1653 | 36 | 0.000000e+00 | -- | Inf | unknown
1414.97/1418.81 c 1419s| 4700 | 4653 | 2909k| 491.8 | 175M | 188 |3354 |9177 |9002 | 90k| 1 |1677 | 36 | 0.000000e+00 | -- | Inf | unknown
1425.64/1429.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1425.64/1429.51 c 1429s| 4800 | 4753 | 2938k| 488.4 | 176M | 188 |3354 |9207 |9037 | 91k| 1 |1726 | 36 | 0.000000e+00 | -- | Inf | unknown
1440.80/1444.74 c 1445s| 4900 | 4853 | 2977k| 486.8 | 176M | 189 |3354 |9201 |8896 | 93k| 1 |1749 | 36 | 0.000000e+00 | -- | Inf | unknown
1458.76/1462.78 c 1463s| 5000 | 4951 | 3021k| 486.0 | 177M | 189 |3354 |9220 |8872 | 95k| 1 |1789 | 36 | 0.000000e+00 | -- | Inf | unknown
1474.61/1478.62 c 1479s| 5100 | 5051 | 3061k| 484.5 | 177M | 189 |3354 |9228 |9025 | 97k| 1 |1828 | 36 | 0.000000e+00 | -- | Inf | unknown
1486.58/1490.65 c 1491s| 5200 | 5147 | 3092k| 481.8 | 178M | 189 |3354 |9247 |9044 | 99k| 2 |1869 | 36 | 0.000000e+00 | -- | Inf | unknown
1498.64/1502.79 c 1503s| 5300 | 5245 | 3123k| 479.1 | 178M | 189 |3354 |9243 |9036 | 100k| 1 |1889 | 36 | 0.000000e+00 | -- | Inf | unknown
1509.11/1513.22 c 1513s| 5400 | 5343 | 3152k| 476.2 | 178M | 189 |3354 |9233 |8892 | 102k| 1 |1906 | 36 | 0.000000e+00 | -- | Inf | unknown
1520.08/1524.21 c 1524s| 5500 | 5441 | 3182k| 473.4 | 178M | 189 |3354 |9222 |8997 | 104k| 1 |1922 | 36 | 0.000000e+00 | -- | Inf | unknown
1537.54/1541.73 c 1542s| 5600 | 5539 | 3221k| 472.3 | 178M | 189 |3354 |9241 |8905 | 105k| 1 |1963 | 36 | 0.000000e+00 | -- | Inf | unknown
1553.00/1557.22 c 1557s| 5700 | 5637 | 3260k| 471.0 | 179M | 189 |3354 |9197 |9018 | 107k| 1 |1968 | 36 | 0.000000e+00 | -- | Inf | unknown
1565.57/1569.84 c 1570s| 5800 | 5733 | 3298k| 469.7 | 179M | 189 |3354 |9203 |9006 | 108k| 1 |1992 | 36 | 0.000000e+00 | -- | Inf | unknown
1580.62/1584.98 c 1585s| 5900 | 5825 | 3336k| 468.3 | 179M | 189 |3354 |9220 |8910 | 110k| 1 |2033 | 36 | 0.000000e+00 | -- | Inf | unknown
1590.20/1594.57 c 1595s| 6000 | 5919 | 3364k| 465.6 | 181M | 189 |3354 |9222 |8908 | 112k| 1 |2053 | 36 | 0.000000e+00 | -- | Inf | unknown
1607.55/1611.97 c 1612s| 6100 | 6015 | 3406k| 465.1 | 182M | 189 |3354 |9211 |8989 | 114k| 1 |2070 | 36 | 0.000000e+00 | -- | Inf | unknown
1622.72/1627.13 c 1627s| 6200 | 6111 | 3443k| 463.7 | 183M | 189 |3354 |9228 | 0 | 116k| 0 |2109 | 36 | 0.000000e+00 | -- | Inf | unknown
1632.48/1636.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1632.48/1636.93 c 1637s| 6300 | 6209 | 3469k| 461.0 | 184M | 189 |3354 |9220 |8924 | 117k| 1 |2131 | 36 | 0.000000e+00 | -- | Inf | unknown
1646.35/1650.84 c 1651s| 6400 | 6305 | 3515k| 460.9 | 184M | 189 |3354 |9245 |8914 | 119k| 1 |2167 | 36 | 0.000000e+00 | -- | Inf | unknown
1662.31/1666.87 c 1667s| 6500 | 6401 | 3553k| 459.9 | 184M | 189 |3354 |9284 |9101 | 121k| 2 |2228 | 36 | 0.000000e+00 | -- | Inf | unknown
1671.38/1675.95 c 1676s| 6600 | 6501 | 3578k| 457.1 | 185M | 189 |3354 |9270 |8906 | 122k| 1 |2241 | 36 | 0.000000e+00 | -- | Inf | unknown
1685.64/1690.26 c 1690s| 6700 | 6601 | 3612k| 455.7 | 186M | 189 |3354 |9308 |9037 | 124k| 1 |2313 | 36 | 0.000000e+00 | -- | Inf | unknown
1699.70/1704.33 c 1704s| 6800 | 6697 | 3647k| 454.3 | 187M | 189 |3354 |9339 |9038 | 125k| 1 |2367 | 36 | 0.000000e+00 | -- | Inf | unknown
1710.49/1715.13 c 1715s| 6900 | 6797 | 3676k| 452.2 | 187M | 189 |3354 |9317 |9010 | 127k| 1 |2370 | 36 | 0.000000e+00 | -- | Inf | unknown
1722.64/1727.31 c 1727s| 7000 | 6897 | 3708k| 450.6 | 187M | 189 |3354 |9315 |9106 | 129k| 1 |2399 | 36 | 0.000000e+00 | -- | Inf | unknown
1735.01/1739.74 c 1740s| 7100 | 6995 | 3742k| 449.2 | 187M | 189 |3354 |9329 |8911 | 130k| 1 |2430 | 36 | 0.000000e+00 | -- | Inf | unknown
1742.99/1747.73 c 1748s| 7200 | 7095 | 3766k| 446.6 | 187M | 195 |3354 |9340 |8901 | 132k| 1 |2450 | 36 | 0.000000e+00 | -- | Inf | unknown
1759.26/1764.06 c 1764s| 7300 | 7193 | 3803k| 445.7 | 188M | 196 |3354 |9326 |8863 | 134k| 1 |2471 | 36 | 0.000000e+00 | -- | Inf | unknown
1772.61/1777.46 c 1777s| 7400 | 7291 | 3837k| 444.5 | 188M | 196 |3354 |9312 |9092 | 135k| 1 |2486 | 36 | 0.000000e+00 | -- | Inf | unknown
1787.97/1792.89 c 1793s| 7500 | 7389 | 3877k| 444.0 | 189M | 196 |3354 |9304 |8920 | 137k| 1 |2513 | 36 | 0.000000e+00 | -- | Inf | unknown
1799.54/1804.40 c 1804s| 7600 | 7487 | 3909k| 442.6 | 189M | 196 |3354 |9295 |8909 | 139k| 1 |2527 | 36 | 0.000000e+00 | -- | Inf | unknown
1813.70/1818.62 c 1819s| 7700 | 7587 | 3946k| 441.7 | 190M | 196 |3354 |9317 |8888 | 141k| 1 |2572 | 36 | 0.000000e+00 | -- | Inf | unknown
1825.96/1830.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1825.96/1830.92 c 1831s| 7800 | 7687 | 3979k| 440.4 | 190M | 196 |3354 |9292 |8902 | 143k| 1 |2572 | 36 | 0.000000e+00 | -- | Inf | unknown
1837.43/1842.49 c 1842s| 7900 | 7787 | 4008k| 438.8 | 193M | 196 |3354 |9294 |8906 | 144k| 1 |2610 | 36 | 0.000000e+00 | -- | Inf | unknown
1853.79/1858.81 c 1859s| 8000 | 7885 | 4047k| 438.3 | 193M | 196 |3354 |9286 |8902 | 146k| 1 |2644 | 36 | 0.000000e+00 | -- | Inf | unknown
1868.06/1873.16 c 1873s| 8100 | 7983 | 4083k| 437.4 | 193M | 196 |3354 |9297 |8954 | 148k| 2 |2683 | 36 | 0.000000e+00 | -- | Inf | unknown
1879.52/1884.62 c 1885s| 8200 | 8083 | 4115k| 436.1 | 194M | 196 |3354 |9298 |8953 | 150k| 2 |2708 | 36 | 0.000000e+00 | -- | Inf | unknown
1890.69/1895.82 c 1896s| 8300 | 8177 | 4144k| 434.5 | 196M | 196 |3354 |9300 |9030 | 151k| 1 |2738 | 36 | 0.000000e+00 | -- | Inf | unknown
1903.65/1908.89 c 1909s| 8400 | 8271 | 4178k| 433.5 | 196M | 196 |3354 |9306 |9157 | 153k| 2 |2769 | 36 | 0.000000e+00 | -- | Inf | unknown
1918.21/1923.43 c 1923s| 8500 | 8363 | 4221k| 433.5 | 197M | 196 |3354 |9324 |8989 | 155k| 1 |2827 | 36 | 0.000000e+00 | -- | Inf | unknown
1936.55/1941.81 c 1942s| 8600 | 8463 | 4263k| 433.4 | 198M | 196 |3354 |9313 |9050 | 157k| 2 |2843 | 36 | 0.000000e+00 | -- | Inf | unknown
1946.12/1951.44 c 1951s| 8700 | 8557 | 4290k| 431.7 | 198M | 196 |3354 |9286 |9029 | 158k| 1 |2868 | 36 | 0.000000e+00 | -- | Inf | unknown
1957.58/1962.95 c 1963s| 8800 | 8651 | 4320k| 430.3 | 198M | 196 |3354 |9282 |9045 | 160k| 1 |2902 | 36 | 0.000000e+00 | -- | Inf | unknown
1971.83/1977.26 c 1977s| 8900 | 8747 | 4357k| 429.7 | 200M | 196 |3354 |9308 |8911 | 162k| 1 |2948 | 36 | 0.000000e+00 | -- | Inf | unknown
1985.18/1990.60 c 1991s| 9000 | 8843 | 4389k| 428.7 | 201M | 197 |3354 |9336 |8912 | 163k| 1 |2989 | 36 | 0.000000e+00 | -- | Inf | unknown
1994.94/2000.40 c 2000s| 9100 | 8941 | 4417k| 427.2 | 201M | 197 |3354 |9327 |8718 | 165k| 1 |2999 | 36 | 0.000000e+00 | -- | Inf | unknown
2015.77/2021.38 c 2021s| 9200 | 9039 | 4461k| 427.3 | 201M | 197 |3354 |9350 |8753 | 167k| 1 |3066 | 36 | 0.000000e+00 | -- | Inf | unknown
2029.02/2034.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2029.02/2034.69 c 2035s| 9300 | 9135 | 4495k| 426.5 | 201M | 197 |3354 |9364 |9009 | 168k| 1 |3110 | 36 | 0.000000e+00 | -- | Inf | unknown
2043.87/2049.58 c 2050s| 9400 | 9233 | 4533k| 426.0 | 201M | 197 |3354 |9347 |9037 | 170k| 1 |3115 | 36 | 0.000000e+00 | -- | Inf | unknown
2053.24/2058.95 c 2059s| 9500 | 9333 | 4558k| 424.4 | 202M | 197 |3354 |9369 |9194 | 171k| 1 |3154 | 36 | 0.000000e+00 | -- | Inf | unknown
2068.78/2074.55 c 2075s| 9600 | 9433 | 4612k| 425.5 | 202M | 197 |3354 |9379 |9169 | 173k| 1 |3183 | 36 | 0.000000e+00 | -- | Inf | unknown
2083.54/2089.39 c 2089s| 9700 | 9531 | 4648k| 424.9 | 203M | 197 |3354 |9367 |8999 | 174k| 1 |3235 | 36 | 0.000000e+00 | -- | Inf | unknown
2098.09/2103.91 c 2104s| 9800 | 9627 | 4683k| 424.1 | 204M | 197 |3354 |9389 |9049 | 176k| 1 |3300 | 36 | 0.000000e+00 | -- | Inf | unknown
2111.15/2117.10 c 2117s| 9900 | 9725 | 4716k| 423.3 | 204M | 197 |3354 |9387 |9104 | 178k| 1 |3331 | 36 | 0.000000e+00 | -- | Inf | unknown
2122.90/2128.87 c 2129s| 10000 | 9823 | 4747k| 422.2 | 204M | 197 |3354 |9393 |9143 | 179k| 2 |3374 | 36 | 0.000000e+00 | -- | Inf | unknown
2135.17/2141.19 c 2141s| 10100 | 9923 | 4778k| 421.2 | 204M | 197 |3354 |9345 |9040 | 181k| 1 |3394 | 36 | 0.000000e+00 | -- | Inf | unknown
2147.61/2153.68 c 2154s| 10200 | 10023 | 4810k| 420.3 | 205M | 197 |3354 |9337 |9099 | 182k| 1 |3426 | 36 | 0.000000e+00 | -- | Inf | unknown
2164.96/2171.02 c 2171s| 10300 | 10120 | 4850k| 420.2 | 206M | 197 |3354 |9316 |8916 | 184k| 1 |3436 | 36 | 0.000000e+00 | -- | Inf | unknown
2173.72/2179.81 c 2180s| 10400 | 10213 | 4876k| 418.8 | 206M | 197 |3354 |9291 |9098 | 186k| 1 |3446 | 36 | 0.000000e+00 | -- | Inf | unknown
2187.07/2193.27 c 2193s| 10500 | 10311 | 4911k| 418.2 | 206M | 197 |3354 |9300 |9108 | 187k| 1 |3483 | 36 | 0.000000e+00 | -- | Inf | unknown
2198.63/2204.80 c 2205s| 10600 | 10411 | 4941k| 417.2 | 206M | 197 |3354 |9262 |9041 | 189k| 1 |3483 | 36 | 0.000000e+00 | -- | Inf | unknown
2211.39/2217.61 c 2218s| 10700 | 10511 | 4974k| 416.4 | 207M | 197 |3354 |9248 |8906 | 191k| 1 |3493 | 36 | 0.000000e+00 | -- | Inf | unknown
2228.93/2235.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2228.93/2235.23 c 2235s| 10800 | 10611 | 5015k| 416.4 | 207M | 197 |3354 |9274 |9101 | 192k| 2 |3548 | 36 | 0.000000e+00 | -- | Inf | unknown
2235.30/2241.61 c 2242s| 10900 | 10711 | 5036k| 414.6 | 207M | 197 |3354 |9266 |9023 | 194k| 1 |3548 | 36 | 0.000000e+00 | -- | Inf | unknown
2250.55/2256.99 c 2257s| 11000 | 10811 | 5073k| 414.3 | 207M | 197 |3354 |9267 |8841 | 195k| 1 |3588 | 36 | 0.000000e+00 | -- | Inf | unknown
2264.71/2271.12 c 2271s| 11100 | 10909 | 5109k| 413.8 | 207M | 197 |3354 |9291 |9033 | 197k| 1 |3644 | 36 | 0.000000e+00 | -- | Inf | unknown
2275.77/2282.23 c 2282s| 11200 | 11009 | 5136k| 412.6 | 207M | 197 |3354 |9315 |8912 | 198k| 1 |3678 | 36 | 0.000000e+00 | -- | Inf | unknown
2290.42/2296.98 c 2297s| 11300 | 11108 | 5179k| 412.8 | 208M | 197 |3354 |9289 |8821 | 200k| 1 |3688 | 36 | 0.000000e+00 | -- | Inf | unknown
2305.76/2312.34 c 2312s| 11400 | 11204 | 5214k| 412.3 | 209M | 197 |3354 |9278 |8891 | 202k| 2 |3721 | 36 | 0.000000e+00 | -- | Inf | unknown
2320.61/2327.28 c 2327s| 11500 | 11300 | 5248k| 411.7 | 212M | 197 |3354 |9285 |8753 | 203k| 1 |3755 | 36 | 0.000000e+00 | -- | Inf | unknown
2331.57/2338.28 c 2338s| 11600 | 11400 | 5278k| 410.8 | 212M | 197 |3354 |9277 |8742 | 205k| 1 |3759 | 36 | 0.000000e+00 | -- | Inf | unknown
2341.64/2348.40 c 2348s| 11700 | 11498 | 5304k| 409.6 | 212M | 197 |3354 |9276 |9149 | 207k| 2 |3767 | 36 | 0.000000e+00 | -- | Inf | unknown
2355.40/2362.12 c 2362s| 11800 | 11598 | 5340k| 409.2 | 212M | 197 |3354 |9273 |9047 | 209k| 1 |3780 | 36 | 0.000000e+00 | -- | Inf | unknown
2368.74/2375.57 c 2376s| 11900 | 11697 | 5376k| 408.8 | 214M | 197 |3354 |9253 |9035 | 210k| 1 |3780 | 36 | 0.000000e+00 | -- | Inf | unknown
2388.58/2395.49 c 2395s| 12000 | 11797 | 5423k| 409.4 | 214M | 197 |3354 |9253 |8994 | 212k| 2 |3800 | 36 | 0.000000e+00 | -- | Inf | unknown
2394.66/2401.56 c 2402s| 12100 | 11895 | 5443k| 407.7 | 214M | 197 |3354 |9245 |9104 | 214k| 1 |3803 | 36 | 0.000000e+00 | -- | Inf | unknown
2410.40/2417.31 c 2417s| 12200 | 11995 | 5482k| 407.6 | 214M | 197 |3354 |9235 |9050 | 216k| 1 |3811 | 36 | 0.000000e+00 | -- | Inf | unknown
2425.75/2432.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2425.75/2432.71 c 2433s| 12300 | 12095 | 5519k| 407.3 | 215M | 197 |3354 |9254 |9105 | 217k| 1 |3842 | 36 | 0.000000e+00 | -- | Inf | unknown
2437.41/2444.42 c 2444s| 12400 | 12195 | 5550k| 406.6 | 215M | 197 |3354 |9284 |9158 | 219k| 1 |3887 | 36 | 0.000000e+00 | -- | Inf | unknown
2450.08/2457.11 c 2457s| 12500 | 12295 | 5580k| 405.8 | 216M | 197 |3354 |9300 |8960 | 220k| 1 |3920 | 36 | 0.000000e+00 | -- | Inf | unknown
2462.52/2469.61 c 2470s| 12600 | 12395 | 5612k| 405.2 | 216M | 197 |3354 |9298 |9084 | 222k| 1 |3950 | 36 | 0.000000e+00 | -- | Inf | unknown
2477.17/2484.37 c 2484s| 12700 | 12495 | 5647k| 404.8 | 216M | 197 |3354 |9311 |9054 | 224k| 1 |3992 | 36 | 0.000000e+00 | -- | Inf | unknown
2494.92/2502.18 c 2502s| 12800 | 12595 | 5691k| 405.1 | 217M | 197 |3354 |9318 |9041 | 226k| 1 |4022 | 36 | 0.000000e+00 | -- | Inf | unknown
2512.25/2519.50 c 2519s| 12900 | 12695 | 5734k| 405.2 | 218M | 197 |3354 |9322 |9071 | 227k| 1 |4037 | 36 | 0.000000e+00 | -- | Inf | unknown
2523.01/2530.33 c 2530s| 13000 | 12795 | 5764k| 404.5 | 219M | 197 |3354 |9327 |8846 | 229k| 1 |4061 | 36 | 0.000000e+00 | -- | Inf | unknown
2541.04/2548.49 c 2548s| 13100 | 12891 | 5808k| 404.7 | 219M | 197 |3354 |9307 |8992 | 231k| 1 |4084 | 36 | 0.000000e+00 | -- | Inf | unknown
2553.71/2561.15 c 2561s| 13200 | 12989 | 5843k| 404.3 | 219M | 197 |3354 |9294 |9051 | 233k| 1 |4098 | 36 | 0.000000e+00 | -- | Inf | unknown
2566.67/2574.13 c 2574s| 13300 | 13089 | 5875k| 403.7 | 220M | 197 |3354 |9304 |8966 | 235k| 1 |4138 | 36 | 0.000000e+00 | -- | Inf | unknown
2585.30/2592.84 c 2593s| 13400 | 13189 | 5918k| 403.9 | 220M | 197 |3354 |9287 |9119 | 237k| 1 |4143 | 36 | 0.000000e+00 | -- | Inf | unknown
2597.16/2604.71 c 2605s| 13500 | 13289 | 5950k| 403.4 | 220M | 197 |3354 |9283 |9036 | 238k| 1 |4151 | 36 | 0.000000e+00 | -- | Inf | unknown
2610.21/2617.84 c 2618s| 13600 | 13389 | 5986k| 403.0 | 220M | 197 |3354 |9283 |9039 | 240k| 1 |4161 | 36 | 0.000000e+00 | -- | Inf | unknown
2633.03/2640.73 c 2641s| 13700 | 13487 | 6042k| 404.1 | 221M | 197 |3354 |9291 |9040 | 242k| 1 |4197 | 36 | 0.000000e+00 | -- | Inf | unknown
2646.19/2653.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2646.19/2653.91 c 2654s| 13800 | 13583 | 6079k| 403.9 | 222M | 197 |3354 |9271 |9043 | 244k| 2 |4197 | 36 | 0.000000e+00 | -- | Inf | unknown
2661.83/2669.62 c 2670s| 13900 | 13680 | 6133k| 404.8 | 223M | 197 |3354 |9288 |9094 | 245k| 2 |4227 | 36 | 0.000000e+00 | -- | Inf | unknown
2674.89/2682.77 c 2683s| 14000 | 13780 | 6170k| 404.6 | 224M | 197 |3354 |9276 |9094 | 247k| 2 |4237 | 36 | 0.000000e+00 | -- | Inf | unknown
2693.03/2700.99 c 2701s| 14100 | 13880 | 6223k| 405.4 | 225M | 197 |3354 |9285 |8907 | 248k| 1 |4262 | 36 | 0.000000e+00 | -- | Inf | unknown
2712.66/2720.61 c 2721s| 14200 | 13980 | 6272k| 406.0 | 226M | 197 |3354 |9310 |8861 | 250k| 1 |4300 | 36 | 0.000000e+00 | -- | Inf | unknown
2725.61/2733.69 c 2734s| 14300 | 14080 | 6308k| 405.7 | 226M | 197 |3354 |9327 |8924 | 252k| 1 |4331 | 36 | 0.000000e+00 | -- | Inf | unknown
2742.25/2750.38 c 2750s| 14400 | 14180 | 6354k| 406.0 | 226M | 197 |3354 |9347 |9118 | 254k| 1 |4369 | 36 | 0.000000e+00 | -- | Inf | unknown
2885.77/2894.36 c 2894s| 14500 | 14280 | 6455k| 409.9 | 226M | 197 |3354 |9366 |9058 | 256k| 2 |4411 | 36 | 0.000000e+00 | -- | Inf | unknown
2904.80/2913.45 c 2913s| 14600 | 14379 | 6500k| 410.2 | 228M | 197 |3354 |9362 |9047 | 258k| 1 |4428 | 36 | 0.000000e+00 | -- | Inf | unknown
2917.47/2926.15 c 2926s| 14700 | 14477 | 6534k| 409.7 | 228M | 197 |3354 |9342 |9100 | 260k| 2 |4429 | 36 | 0.000000e+00 | -- | Inf | unknown
2938.78/2947.53 c 2948s| 14800 | 14577 | 6586k| 410.4 | 228M | 197 |3354 |9359 |9095 | 262k| 2 |4482 | 36 | 0.000000e+00 | -- | Inf | unknown
2956.42/2965.29 c 2965s| 14900 | 14673 | 6633k| 410.8 | 228M | 197 |3354 |9360 |9122 | 263k| 1 |4512 | 36 | 0.000000e+00 | -- | Inf | unknown
2970.28/2979.14 c 2979s| 15000 | 14773 | 6670k| 410.5 | 229M | 197 |3354 |9341 |8905 | 265k| 1 |4532 | 36 | 0.000000e+00 | -- | Inf | unknown
2984.52/2993.43 c 2993s| 15100 | 14873 | 6710k| 410.5 | 230M | 197 |3354 |9331 |9028 | 267k| 1 |4549 | 36 | 0.000000e+00 | -- | Inf | unknown
2999.97/3008.99 c 3009s| 15200 | 14969 | 6753k| 410.6 | 231M | 197 |3354 |9392 |9041 | 269k| 1 |4624 | 36 | 0.000000e+00 | -- | Inf | unknown
3016.81/3025.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3016.81/3025.83 c 3026s| 15300 | 15067 | 6797k| 410.8 | 231M | 197 |3354 |9403 |8904 | 270k| 1 |4671 | 36 | 0.000000e+00 | -- | Inf | unknown
3031.86/3040.92 c 3041s| 15400 | 15165 | 6838k| 410.8 | 231M | 197 |3354 |9399 |9040 | 272k| 1 |4685 | 36 | 0.000000e+00 | -- | Inf | unknown
3045.92/3055.02 c 3055s| 15500 | 15265 | 6877k| 410.6 | 234M | 197 |3354 |9394 |9066 | 274k| 2 |4706 | 36 | 0.000000e+00 | -- | Inf | unknown
3063.55/3072.75 c 3073s| 15600 | 15365 | 6923k| 410.9 | 235M | 197 |3354 |9422 |9052 | 276k| 1 |4766 | 36 | 0.000000e+00 | -- | Inf | unknown
3077.91/3087.12 c 3087s| 15700 | 15465 | 6961k| 410.8 | 235M | 197 |3354 |9423 |8897 | 277k| 1 |4786 | 36 | 0.000000e+00 | -- | Inf | unknown
3094.14/3103.49 c 3103s| 15800 | 15564 | 7007k| 411.0 | 235M | 197 |3354 |9471 |9144 | 279k| 1 |4856 | 36 | 0.000000e+00 | -- | Inf | unknown
3107.81/3117.18 c 3117s| 15900 | 15664 | 7045k| 410.9 | 235M | 197 |3354 |9477 |8942 | 281k| 2 |4920 | 36 | 0.000000e+00 | -- | Inf | unknown
3124.04/3133.41 c 3133s| 16000 | 15764 | 7089k| 411.0 | 236M | 197 |3354 |9451 |9048 | 282k| 1 |4942 | 36 | 0.000000e+00 | -- | Inf | unknown
3137.79/3147.25 c 3147s| 16100 | 15864 | 7125k| 410.7 | 236M | 197 |3354 |9428 |9056 | 284k| 1 |4965 | 36 | 0.000000e+00 | -- | Inf | unknown
3152.84/3162.34 c 3162s| 16200 | 15964 | 7166k| 410.7 | 236M | 197 |3354 |9384 |9157 | 286k| 1 |4985 | 36 | 0.000000e+00 | -- | Inf | unknown
3171.87/3181.45 c 3181s| 16300 | 16062 | 7210k| 410.9 | 236M | 197 |3354 |9361 |8906 | 288k| 1 |5001 | 36 | 0.000000e+00 | -- | Inf | unknown
3188.11/3197.78 c 3198s| 16400 | 16162 | 7252k| 410.9 | 237M | 197 |3354 |9344 |8910 | 290k| 1 |5024 | 36 | 0.000000e+00 | -- | Inf | unknown
3206.65/3216.38 c 3216s| 16500 | 16262 | 7303k| 411.5 | 238M | 197 |3354 |9342 |9177 | 291k| 2 |5058 | 36 | 0.000000e+00 | -- | Inf | unknown
3221.31/3231.01 c 3231s| 16600 | 16360 | 7343k| 411.4 | 239M | 197 |3354 |9361 |8897 | 293k| 1 |5100 | 36 | 0.000000e+00 | -- | Inf | unknown
3238.43/3248.21 c 3248s| 16700 | 16458 | 7385k| 411.5 | 240M | 197 |3354 |9364 |8974 | 294k| 1 |5123 | 36 | 0.000000e+00 | -- | Inf | unknown
3256.78/3266.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3256.78/3266.65 c 3267s| 16800 | 16556 | 7430k| 411.7 | 242M | 197 |3354 |9416 |8753 | 296k| 1 |5190 | 36 | 0.000000e+00 | -- | Inf | unknown
3271.24/3281.16 c 3281s| 16900 | 16654 | 7468k| 411.5 | 243M | 197 |3354 |9456 |8909 | 298k| 1 |5249 | 36 | 0.000000e+00 | -- | Inf | unknown
3292.36/3302.37 c 3302s| 17000 | 16754 | 7535k| 412.9 | 244M | 197 |3354 |9475 |8822 | 299k| 1 |5296 | 36 | 0.000000e+00 | -- | Inf | unknown
3306.61/3316.61 c 3317s| 17100 | 16854 | 7574k| 412.8 | 244M | 197 |3354 |9449 |8942 | 301k| 2 |5318 | 36 | 0.000000e+00 | -- | Inf | unknown
3327.05/3337.14 c 3337s| 17200 | 16950 | 7625k| 413.4 | 244M | 197 |3354 |9461 |9169 | 303k| 1 |5376 | 36 | 0.000000e+00 | -- | Inf | unknown
3342.68/3352.80 c 3353s| 17300 | 17050 | 7668k| 413.4 | 245M | 197 |3354 |9495 |9142 | 304k| 1 |5443 | 36 | 0.000000e+00 | -- | Inf | unknown
3361.12/3371.36 c 3371s| 17400 | 17150 | 7713k| 413.6 | 245M | 197 |3354 |9451 |9159 | 306k| 1 |5471 | 36 | 0.000000e+00 | -- | Inf | unknown
3375.57/3385.87 c 3386s| 17500 | 17245 | 7752k| 413.5 | 245M | 197 |3354 |9455 |9143 | 308k| 1 |5515 | 36 | 0.000000e+00 | -- | Inf | unknown
3391.51/3401.86 c 3402s| 17600 | 17343 | 7793k| 413.5 | 246M | 197 |3354 |9456 |9127 | 309k| 1 |5545 | 36 | 0.000000e+00 | -- | Inf | unknown
3409.95/3420.35 c 3420s| 17700 | 17443 | 7841k| 413.9 | 246M | 197 |3354 |9447 |9222 | 311k| 2 |5570 | 36 | 0.000000e+00 | -- | Inf | unknown
3421.21/3431.67 c 3432s| 17800 | 17543 | 7872k| 413.3 | 246M | 197 |3354 |9444 |9124 | 313k| 1 |5613 | 36 | 0.000000e+00 | -- | Inf | unknown
3443.23/3453.70 c 3454s| 17900 | 17643 | 7927k| 414.0 | 246M | 197 |3354 |9487 |9050 | 315k| 1 |5685 | 36 | 0.000000e+00 | -- | Inf | unknown
3457.49/3468.03 c 3468s| 18000 | 17742 | 7967k| 414.0 | 247M | 197 |3354 |9501 |8864 | 316k| 1 |5745 | 36 | 0.000000e+00 | -- | Inf | unknown
3478.11/3488.76 c 3489s| 18100 | 17842 | 8019k| 414.5 | 247M | 197 |3354 |9554 |9034 | 318k| 1 |5833 | 36 | 0.000000e+00 | -- | Inf | unknown
3492.25/3502.97 c 3503s| 18200 | 17940 | 8057k| 414.3 | 248M | 197 |3354 |9549 | 0 | 320k| 0 |5865 | 36 | 0.000000e+00 | -- | Inf | unknown
3512.48/3523.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3512.48/3523.21 c 3523s| 18300 | 18040 | 8107k| 414.8 | 249M | 197 |3354 |9572 |9030 | 321k| 1 |5935 | 36 | 0.000000e+00 | -- | Inf | unknown
3530.42/3541.25 c 3541s| 18400 | 18138 | 8153k| 415.0 | 249M | 197 |3354 |9553 |9046 | 323k| 1 |5948 | 36 | 0.000000e+00 | -- | Inf | unknown
3545.18/3556.03 c 3556s| 18500 | 18238 | 8193k| 414.9 | 249M | 197 |3354 |9537 |9044 | 325k| 1 |5974 | 36 | 0.000000e+00 | -- | Inf | unknown
3560.62/3571.55 c 3572s| 18600 | 18336 | 8235k| 415.0 | 251M | 197 |3354 |9500 |9043 | 326k| 1 |5987 | 36 | 0.000000e+00 | -- | Inf | unknown
3579.25/3590.28 c 3590s| 18700 | 18436 | 8278k| 415.0 | 251M | 197 |3354 |9527 |9030 | 328k| 1 |6088 | 36 | 0.000000e+00 | -- | Inf | unknown
3586.04/3597.02 c
3586.04/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3586.04/3597.02 c Solving Time (sec) : 3597.00
3586.04/3597.02 c Solving Nodes : 18748 (total of 19797 nodes in 2 runs)
3586.04/3597.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.04/3597.02 c Dual Bound : +0.00000000000000e+00
3586.04/3597.02 c Gap : infinite
3586.04/3597.02 s UNKNOWN
3586.04/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3586.04/3597.02 c Total Time : 3597.00
3586.04/3597.02 c solving : 3597.00
3586.04/3597.02 c presolving : 0.75 (included in solving)
3586.04/3597.02 c reading : 0.06 (included in solving)
3586.04/3597.02 c copying : 1.50 (105 #copies) (minimal 0.01, maximal 0.02, average 0.01)
3586.04/3597.02 c Original Problem :
3586.04/3597.02 c Problem name : HOME/instance-4513304-1751220588.opb
3586.04/3597.02 c Variables : 4288 (4288 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.04/3597.02 c Constraints : 9520 initial, 9520 maximal
3586.04/3597.02 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.04/3597.02 c Presolved Problem :
3586.04/3597.02 c Problem name : t_HOME/instance-4513304-1751220588.opb
3586.04/3597.02 c Variables : 3354 (3354 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.04/3597.02 c Constraints : 8852 initial, 9579 maximal
3586.04/3597.02 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.04/3597.02 c Nonzeros : 41328 constraint, 1254 clique table
3586.04/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.04/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c gateextraction : 0.02 0.00 4 0 0 0 0 0 96 32 0 0
3586.04/3597.02 c implics : 0.00 0.00 13 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c milp : 0.10 0.00 1 2 54 0 0 0 0 0 0 0
3586.04/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c trivial : 0.00 0.00 20 69 0 0 0 0 0 0 0 0
3586.04/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c dualfix : 0.00 0.00 20 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c probing : 0.23 0.00 1 0 1 0 0 0 0 0 0 0
3586.04/3597.02 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c symmetry : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c knapsack : 0.00 0.00 20 0 0 0 0 0 3 6 1 3
3586.04/3597.02 c setppc : 0.00 0.00 15 0 0 0 0 0 2 0 0 0
3586.04/3597.02 c and : 0.00 0.00 20 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c xor : 0.00 0.00 31 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c linear : 0.20 0.01 30 744 64 0 744 0 2524 1475 119 2
3586.04/3597.02 c logicor : 0.09 0.01 25 0 0 0 0 0 586 0 0 44
3586.04/3597.02 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c root node : - - - 0 - - 0 - - - - -
3586.04/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.04/3597.02 c benderslp : 0 0 0 0 19669 0 0 4762 0 0 0 0 0 0 0
3586.04/3597.02 c integral : 0 0 0 0 19669 0 0 4762 0 0 0 0 0 0 39338
3586.04/3597.02 c knapsack : 80+ 85 11 419390 0 0 0 0 619 31 728 144 18 0 0
3586.04/3597.02 c setppc : 125+ 129 11 368156 0 0 0 0 1165 7 1062 0 0 0 0
3586.04/3597.02 c and : 32 32 20013 429564 0 0 0 4757 568 7 1908 1348 1247 0 0
3586.04/3597.02 c xor : 1 1 22 77162 0 0 0 0 9 1 216 0 0 0 0
3586.04/3597.02 c linear : 1324+ 1337 22 433756 0 0 0 3 105767 3694 93444 0 0 0 0
3586.04/3597.02 c logicor : 7290+ 8011 22 275646 0 0 0 0 34129 489 27588 16 6 0 0
3586.04/3597.02 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.04/3597.02 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3586.04/3597.02 c integral : 26.54 0.00 0.00 0.00 26.44 0.00 0.00 0.09 0.00 0.00
3586.04/3597.02 c knapsack : 0.10 0.00 0.00 0.10 0.00 0.00 0.00 0.00 0.00 0.00
3586.04/3597.02 c setppc : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
3586.04/3597.02 c and : 0.31 0.00 0.17 0.13 0.00 0.00 0.00 0.01 0.00 0.00
3586.04/3597.02 c xor : 0.36 0.00 0.00 0.36 0.00 0.00 0.00 0.00 0.00 0.00
3586.04/3597.02 c linear : 1.92 0.01 0.01 1.84 0.00 0.00 0.00 0.00 0.06 0.00
3586.04/3597.02 c logicor : 1.72 0.01 0.03 1.66 0.00 0.00 0.00 0.00 0.02 0.00
3586.04/3597.02 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.04/3597.02 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.04/3597.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.04/3597.02 c components : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3586.04/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.04/3597.02 c dualfix : 2 0 0 0
3586.04/3597.02 c genvbounds : 0 0 0 0
3586.04/3597.02 c nlobbt : 0 0 0 0
3586.04/3597.02 c obbt : 0 0 0 0
3586.04/3597.02 c probing : 0 0 0 0
3586.04/3597.02 c pseudoobj : 0 0 0 0
3586.04/3597.02 c redcost : 0 0 0 0
3586.04/3597.02 c rootredcost : 0 0 0 0
3586.04/3597.02 c symmetry : 0 0 0 0
3586.04/3597.02 c vbounds : 81132 0 0 0
3586.04/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.04/3597.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.04/3597.02 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00
3586.04/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.04/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.04/3597.02 c probing : 0.23 0.00 0.23 0.00 0.00 0.00
3586.04/3597.02 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3586.04/3597.02 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3586.04/3597.02 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3586.04/3597.02 c symmetry : 0.11 0.00 0.06 0.05 0.00 0.00
3586.04/3597.02 c vbounds : 0.09 0.00 0.00 0.09 0.00 0.00
3586.04/3597.02 c Symmetry :
3586.04/3597.02 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.04/3597.02 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.04/3597.02 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.04/3597.02 c shadow tree time : 0.00 s
3586.04/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.04/3597.02 c propagation : 0.30 930 930 - 20522 141.2 549 11.8 - - -
3586.04/3597.02 c infeasible LP : 0.07 57 57 - 1967 162.2 35 11.4 57 123.9 0
3586.04/3597.02 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.04/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.04/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.04/3597.02 c applied globally : 0.02 - - 0 6046 57.3 - - 57 - -
3586.04/3597.02 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.04/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.04/3597.02 c cut pool : 2.14 - 4231 42 - - 13045 1593419 - - - - - (maximal pool size: 4468)
3586.04/3597.02 c aggregation : 0.43 0.00 85 22 0 0 7898 656718 174 197171 197050 121 0
3586.04/3597.02 c > cmir : - - - - - - - 278527 0 52560 52560 0 -
3586.04/3597.02 c > flowcover : - - - - - - - 203463 0 71131 71131 0 -
3586.04/3597.02 c > knapsackcover : - - - - - - - 174728 174 73480 73359 121 -
3586.04/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c clique : 0.03 0.00 22 22 0 0 7 159 0 20 20 0 0
3586.04/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c gomory : 20.62 0.00 84 20 0 0 4139 708992 248 48876 48851 25 0
3586.04/3597.02 c > gomorymi : - - - - - - - 345616 124 32078 32057 21 -
3586.04/3597.02 c > strongcg : - - - - - - - 363376 124 16798 16794 4 -
3586.04/3597.02 c impliedbounds : 0.01 0.00 86 22 0 0 791 49480 0 24608 24608 0 0
3586.04/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c multilinear : 0.00 0.00 120 22 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.02 c rapidlearning : 12.71 0.00 100 2 0 153 0 0 0 0 0 0 184
3586.04/3597.02 c rlt : 1.30 0.00 74 20 0 0 18 13 5 11 10 1 0
3586.04/3597.02 c zerohalf : 1.60 0.00 82 22 0 0 1030 178057 411 84597 84206 391 0
3586.04/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.04/3597.02 c hybrid : 4.55 0.00 5126 22 356565 0 1239200 4248 0 6294
3586.04/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3586.04/3597.02 c problem variables: 0.00 - 0 0
3586.04/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.04/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.02 c relpscost : 26.42 0.00 19669 0 0 0 0 0 0 39338
3586.04/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.04/3597.02 c LP solutions : 0.00 - - 0 0
3586.04/3597.02 c relax solutions : 0.00 - - 0 0
3586.04/3597.02 c pseudo solutions : 0.00 - - 0 0
3586.04/3597.02 c strong branching : 0.00 - - 0 0
3586.04/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3586.04/3597.02 c adaptivediving : 27.79 0.00 12 0 0
3586.04/3597.02 c alns : 0.19 0.00 5 0 0
3586.04/3597.02 c bound : 0.00 0.00 0 0 0
3586.04/3597.02 c clique : 0.04 0.00 1 0 0
3586.04/3597.02 c coefdiving : 0.00 0.00 0 0 0
3586.04/3597.02 c completesol : 0.00 0.00 0 0 0
3586.04/3597.02 c conflictdiving : 552.49 0.00 404 0 0
3586.04/3597.02 c crossover : 0.01 0.00 0 0 0
3586.04/3597.02 c dins : 0.00 0.00 0 0 0
3586.04/3597.02 c distributiondivin: 186.11 0.00 78 0 0
3586.04/3597.02 c dps : 0.00 0.00 0 0 0
3586.04/3597.02 c dualval : 0.00 0.00 0 0 0
3586.04/3597.02 c farkasdiving : 0.00 0.00 0 0 0
3586.04/3597.02 c feasjump : 0.04 0.00 2 0 0
3586.04/3597.02 c feaspump : 37.46 0.00 9 0 0
3586.04/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3586.04/3597.02 c fracdiving : 194.83 0.00 77 0 0
3586.04/3597.02 c gins : 0.00 0.00 0 0 0
3586.04/3597.02 c guideddiving : 0.00 0.00 0 0 0
3586.04/3597.02 c indcoefdiving : 0.00 0.00 0 0 0
3586.04/3597.02 c indicator : 0.01 0.00 0 0 0
3586.04/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3586.04/3597.02 c indoneopt : 0.01 0.00 0 0 0
3586.04/3597.02 c indrounding : 0.00 0.00 0 0 0
3586.04/3597.02 c indtwoopt : 0.00 0.00 0 0 0
3586.04/3597.02 c intdiving : 0.00 0.00 0 0 0
3586.04/3597.02 c intshifting : 0.00 0.00 0 0 0
3586.04/3597.02 c linesearchdiving : 185.10 0.00 82 0 0
3586.04/3597.02 c localbranching : 0.00 0.00 0 0 0
3586.04/3597.02 c locks : 0.01 0.00 1 0 0
3586.04/3597.02 c lpface : 0.08 0.00 0 0 0
3586.04/3597.02 c mpec : 0.00 0.00 0 0 0
3586.04/3597.02 c multistart : 0.00 0.00 0 0 0
3586.04/3597.02 c mutation : 0.00 0.00 0 0 0
3586.04/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3586.04/3597.02 c objpscostdiving : 347.81 0.00 2 0 0
3586.04/3597.02 c octane : 0.00 0.00 0 0 0
3586.04/3597.02 c ofins : 0.01 0.00 0 0 0
3586.04/3597.02 c oneopt : 0.01 0.00 0 0 0
3586.04/3597.02 c padm : 0.00 0.00 0 0 0
3586.04/3597.02 c proximity : 0.00 0.00 0 0 0
3586.04/3597.02 c pscostdiving : 206.80 0.00 48 0 0
3586.04/3597.02 c randrounding : 0.78 0.00 3125 0 0
3586.04/3597.02 c rens : 0.00 0.00 0 0 0
3586.04/3597.02 c reoptsols : 0.00 0.00 0 0 0
3586.04/3597.02 c repair : 0.00 0.00 0 0 0
3586.04/3597.02 c rins : 0.01 0.00 0 0 0
3586.04/3597.02 c rootsoldiving : 23.28 0.00 10 0 0
3586.04/3597.02 c rounding : 0.49 0.00 2164 0 0
3586.04/3597.02 c scheduler : 0.00 0.00 0 0 0
3586.04/3597.02 c shiftandpropagate: 0.05 0.00 2 0 0
3586.04/3597.02 c shifting : 1.34 0.00 1071 0 0
3586.04/3597.02 c simplerounding : 0.02 0.00 0 0 0
3586.04/3597.02 c smallcard : 0.00 0.00 0 0 0
3586.04/3597.02 c subnlp : 0.01 0.00 0 0 0
3586.04/3597.02 c trivial : 0.01 0.00 4 0 0
3586.04/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3586.04/3597.02 c trustregion : 0.00 0.00 0 0 0
3586.04/3597.02 c trysol : 0.01 0.00 0 0 0
3586.04/3597.02 c twoopt : 0.00 0.00 0 0 0
3586.04/3597.02 c undercover : 0.00 0.00 1 0 0
3586.04/3597.02 c vbounds : 0.00 0.00 0 0 0
3586.04/3597.02 c veclendiving : 189.23 0.00 130 0 0
3586.04/3597.02 c zeroobj : 0.00 0.00 0 0 0
3586.04/3597.02 c zirounding : 0.17 0.00 1000 0 0
3586.04/3597.02 c other solutions : - - - 0 -
3586.04/3597.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.04/3597.02 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.04/3597.02 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.04/3597.02 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.04/3597.02 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.04/3597.02 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.04/3597.02 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.04/3597.02 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.04/3597.02 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.04/3597.02 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.04/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.04/3597.02 c primal LP : 3.50 2026 0 0.00 0.00 3.50 2026
3586.04/3597.02 c dual LP : 1530.61 24877 5112850 206.20 3340.39 0.18 81
3586.04/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3586.04/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.04/3597.02 c resolve instable : 0.00 0 0 0.00 -
3586.04/3597.02 c diving/probing LP: 1928.92 4225 3184795 753.80 1651.08
3586.04/3597.02 c strong branching : 18.70 36 33587 932.97 1796.13 - - 64
3586.04/3597.02 c (at root node) : - 36 33587 932.97 -
3586.04/3597.02 c conflict analysis: 0.00 0 0 0.00 -
3586.04/3597.02 c B&B Tree :
3586.04/3597.02 c number of runs : 2
3586.04/3597.02 c nodes : 18748 (18620 internal, 128 leaves)
3586.04/3597.02 c feasible leaves : 0
3586.04/3597.02 c infeas. leaves : 128
3586.04/3597.02 c objective leaves : 0
3586.04/3597.02 c nodes (total) : 19797 (19669 internal, 128 leaves)
3586.04/3597.02 c nodes left : 18484
3586.04/3597.02 c max depth : 197
3586.04/3597.02 c max depth (total): 197
3586.04/3597.02 c backtracks : 975 (5.2%)
3586.04/3597.02 c early backtracks : 0 (0.0%)
3586.04/3597.02 c nodes exc. ref. : 0 (0.0%)
3586.04/3597.02 c delayed cutoffs : 9
3586.04/3597.02 c repropagations : 1117 (270 domain reductions, 1 cutoffs)
3586.04/3597.02 c avg switch length: 3.32
3586.04/3597.02 c switching time : 6.50
3586.04/3597.02 c Root Node :
3586.04/3597.02 c First LP value : +0.00000000000000e+00
3586.04/3597.02 c First LP Iters : 956 (15604.34 Iter/sec)
3586.04/3597.02 c First LP Time : 0.06
3586.04/3597.02 c Final Dual Bound : +0.00000000000000e+00
3586.04/3597.02 c Final Root Iters : 82359
3586.04/3597.02 c Root LP Estimate : +3.17910729391648e-01
3586.04/3597.02 c Solution :
3586.04/3597.02 c Solutions found : 0 (0 improvements)
3586.04/3597.02 c Primal Bound : -
3586.04/3597.02 c Dual Bound : +0.00000000000000e+00
3586.04/3597.02 c Gap : infinite
3586.04/3597.02 c Integrals : Total Avg%
3586.04/3597.02 c primal-dual : 359699.51 100.00
3586.04/3597.02 c primal-ref : - - (not evaluated)
3586.04/3597.02 c dual-ref : - - (not evaluated)
3586.04/3597.08 c Time complete: 3586.11.
ERROR: no interpretation found !
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: 63794 MiB (63182 MiB free)
memory of node 1: 64507 MiB (63924 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513304-1751220588/watcher-4513304-1751220588 -o /tmp/evaluation-result-4513304-1751220588/solver-4513304-1751220588 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751220587-28487 --watchdog 3760 pbscip -f HOME/instance-4513304-1751220588.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28535, runsolver pid=28526
[startup+0.100075 s]*
/proc/loadavg: 0.50 1.49 2.35 6/250 28544
/proc/meminfo: memFree=130091820/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=59920 memory=34048 CPUtime=0.09 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 5310 0 0 0 7 2 0 0 20 0 1 0 37738490 61358080 8512 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 14980 8512 3520 3530 0 6431 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59920 KiB
Current children cumulated memory: 34048 KiB
[startup+0.221157 s]*
/proc/loadavg: 0.50 1.49 2.35 7/250 28544
/proc/meminfo: memFree=130056212/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=74300 memory=47256 CPUtime=0.19 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 9327 0 0 0 16 3 0 0 20 0 1 0 37738490 76083200 11814 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 18575 11814 3648 3530 0 10026 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 74300 KiB
Current children cumulated memory: 47256 KiB
[startup+0.313989 s]*
/proc/loadavg: 0.50 1.49 2.35 6/250 28544
/proc/meminfo: memFree=130040084/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=74300 memory=47568 CPUtime=0.29 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 9934 0 0 0 25 4 0 0 20 0 1 0 37738490 76083200 11892 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 18575 11892 3680 3530 0 10026 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 74300 KiB
Current children cumulated memory: 47568 KiB
[startup+0.700339 s]
/proc/loadavg: 0.50 1.49 2.35 6/250 28544
/proc/meminfo: memFree=130036304/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=79340 memory=52816 CPUtime=0.66 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 11215 0 0 0 62 4 0 0 20 0 1 0 37738490 81244160 13204 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 19835 13204 3712 3530 0 11286 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 79340 KiB
Current children cumulated memory: 52816 KiB
[startup+1.50032 s]
/proc/loadavg: 0.78 1.54 2.36 6/250 28544
/proc/meminfo: memFree=129976404/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=136004 memory=103568 CPUtime=1.46 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 24553 0 0 0 139 7 0 0 20 0 1 0 37738490 139268096 25892 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 34001 25892 3936 3530 0 25452 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 136004 KiB
Current children cumulated memory: 103568 KiB
[startup+3.11289 s]
/proc/loadavg: 0.78 1.54 2.36 6/250 28544
/proc/meminfo: memFree=129900036/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=140700 memory=108804 CPUtime=3.06 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 26453 0 0 0 299 7 0 0 20 0 1 0 37738490 144076800 27201 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 35175 27201 3936 3530 0 26626 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 140700 KiB
Current children cumulated memory: 108804 KiB
[startup+6.30032 s]
/proc/loadavg: 1.12 1.59 2.37 6/250 28544
/proc/meminfo: memFree=129872156/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=140700 memory=108804 CPUtime=6.24 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 26461 0 0 0 617 7 0 0 20 0 1 0 37738490 144076800 27201 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 35175 27201 3936 3530 0 26626 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 140700 KiB
Current children cumulated memory: 108804 KiB
[startup+12.7003 s]
/proc/loadavg: 1.35 1.63 2.38 6/251 28545
/proc/meminfo: memFree=129848624/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=140700 memory=108804 CPUtime=12.62 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 26462 0 0 0 1255 7 0 0 20 0 1 0 37738490 144076800 27201 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 35175 27201 3936 3530 0 26626 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 140700 KiB
Current children cumulated memory: 108804 KiB
[startup+25.5003 s]
/proc/loadavg: 1.76 1.71 2.40 6/251 28546
/proc/meminfo: memFree=129805244/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=142632 memory=111236 CPUtime=25.38 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 27067 0 0 0 2531 7 0 0 20 0 1 0 37738490 146055168 27809 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 35658 27809 3936 3530 0 27109 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 142632 KiB
Current children cumulated memory: 111236 KiB
[startup+51.1128 s]
/proc/loadavg: 2.70 1.95 2.45 6/251 28546
/proc/meminfo: memFree=129712456/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=174532 memory=141212 CPUtime=50.93 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 37305 0 0 0 5084 9 0 0 20 0 1 0 37738490 178720768 35303 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 43633 35303 3936 3530 0 35084 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 174532 KiB
Current children cumulated memory: 141212 KiB
[startup+102.3 s]
/proc/loadavg: 3.50 2.28 2.54 6/252 28549
/proc/meminfo: memFree=129602164/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=174532 memory=141212 CPUtime=101.99 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 37305 0 0 0 10190 9 0 0 20 0 1 0 37738490 178720768 35303 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 43633 35303 3936 3530 0 35084 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 174532 KiB
Current children cumulated memory: 141212 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 2.61 2.64 6/253 28554
/proc/meminfo: memFree=129478400/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=174532 memory=141212 CPUtime=161.83 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 37305 0 0 0 16174 9 0 0 20 0 1 0 37738490 178720768 35303 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 43633 35303 3936 3530 0 35084 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 174532 KiB
Current children cumulated memory: 141212 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.90 2.74 6/254 28557
/proc/meminfo: memFree=129384700/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=174532 memory=141212 CPUtime=221.68 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 37305 0 0 0 22159 9 0 0 20 0 1 0 37738490 178720768 35303 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 43633 35303 3936 3530 0 35084 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 174532 KiB
Current children cumulated memory: 141212 KiB
[startup+282.3 s]
/proc/loadavg: 4.02 3.10 2.82 6/254 28561
/proc/meminfo: memFree=129260016/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=174532 memory=142108 CPUtime=281.51 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 37307 0 0 0 28142 9 0 0 20 0 1 0 37738490 178720768 35527 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 43633 35527 3936 3530 0 35084 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 174532 KiB
Current children cumulated memory: 142108 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.30 2.91 6/252 28563
/proc/meminfo: memFree=129152256/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=174532 memory=148764 CPUtime=341.33 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 37859 0 0 0 34124 9 0 0 20 0 1 0 37738490 178720768 37191 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 43633 37191 3936 3530 0 35084 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 174532 KiB
Current children cumulated memory: 148764 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 3.47 3.00 6/251 28565
/proc/meminfo: memFree=129013028/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=175120 memory=149404 CPUtime=401.18 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 38062 0 0 0 40109 9 0 0 20 0 1 0 37738490 179322880 37351 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 43780 37351 3968 3530 0 35231 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 175120 KiB
Current children cumulated memory: 149404 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.59 3.07 6/250 28569
/proc/meminfo: memFree=128905764/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=176504 memory=150812 CPUtime=461.02 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 38421 0 0 0 46092 10 0 0 20 0 1 0 37738490 180740096 37703 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 44126 37703 3968 3530 0 35577 0
Current children cumulated CPU time: 461.02 s
################
# More data... #
################
/proc/loadavg: 4.08 4.11 4.12 6/251 28711
/proc/meminfo: memFree=125131032/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=306656 memory=279400 CPUtime=3152.84 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 87903 0 0 0 315258 26 0 0 20 0 1 0 37738490 314015744 69850 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 76664 69850 3968 3530 0 68115 0
Current children cumulated CPU time: 3152.84 s
Current children cumulated vsize: 306656 KiB
Current children cumulated memory: 279400 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.10 4.11 6/251 28713
/proc/meminfo: memFree=125072720/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=306656 memory=279656 CPUtime=3212.63 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 87979 0 0 0 321237 26 0 0 20 0 1 0 37738490 314015744 69914 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 76664 69914 3968 3530 0 68115 0
Current children cumulated CPU time: 3212.63 s
Current children cumulated vsize: 306656 KiB
Current children cumulated memory: 279656 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.11 4.11 6/252 28718
/proc/meminfo: memFree=124989100/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=306656 memory=280680 CPUtime=3272.42 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 88251 0 0 0 327215 27 0 0 20 0 1 0 37738490 314015744 70170 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 76664 70170 3968 3530 0 68115 0
Current children cumulated CPU time: 3272.42 s
Current children cumulated vsize: 306656 KiB
Current children cumulated memory: 280680 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.11 6/252 28720
/proc/meminfo: memFree=124919980/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=306656 memory=281064 CPUtime=3332.22 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 88337 0 0 0 333195 27 0 0 20 0 1 0 37738490 314015744 70266 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 76664 70266 3968 3530 0 68115 0
Current children cumulated CPU time: 3332.22 s
Current children cumulated vsize: 306656 KiB
Current children cumulated memory: 281064 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.13 4.11 6/251 28722
/proc/meminfo: memFree=124851484/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=306656 memory=281064 CPUtime=3392.01 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 88337 0 0 0 339174 27 0 0 20 0 1 0 37738490 314015744 70266 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 76664 70266 3968 3530 0 68115 0
Current children cumulated CPU time: 3392.01 s
Current children cumulated vsize: 306656 KiB
Current children cumulated memory: 281064 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.11 6/251 28726
/proc/meminfo: memFree=124814440/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=306656 memory=281064 CPUtime=3451.8 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 88338 0 0 0 345153 27 0 0 20 0 1 0 37738490 314015744 70266 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 76664 70266 3968 3530 0 68115 0
Current children cumulated CPU time: 3451.8 s
Current children cumulated vsize: 306656 KiB
Current children cumulated memory: 281064 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.10 6/251 28728
/proc/meminfo: memFree=124762112/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=306656 memory=281064 CPUtime=3511.59 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 88341 0 0 0 351132 27 0 0 20 0 1 0 37738490 314015744 70266 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 76664 70266 3968 3530 0 68115 0
Current children cumulated CPU time: 3511.59 s
Current children cumulated vsize: 306656 KiB
Current children cumulated memory: 281064 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.10 6/250 28730
/proc/meminfo: memFree=124699300/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=306656 memory=281192 CPUtime=3571.38 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 88354 0 0 0 357111 27 0 0 20 0 1 0 37738490 314015744 70298 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 76664 70298 3968 3530 0 68115 0
Current children cumulated CPU time: 3571.38 s
Current children cumulated vsize: 306656 KiB
Current children cumulated memory: 281192 KiB
[startup+3597.09 s]
# the end of solver process 28535 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.85 s, system=0.278969 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.10 4.10 6/250 28730
/proc/meminfo: memFree=124699552/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=306656 memory=281192 CPUtime=3573.08 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 88354 0 0 0 357281 27 0 0 20 0 1 0 37738490 314015744 70298 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 76664 70298 3968 3530 0 68115 0
Current children cumulated CPU time: 3573.08 s
Current children cumulated vsize: 306656 KiB
Current children cumulated memory: 281192 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.10 4.09 6/250 28730
/proc/meminfo: memFree=124683428/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=306656 memory=281192 CPUtime=3579.45 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 88355 0 0 0 357918 27 0 0 20 0 1 0 37738490 314015744 70298 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 76664 70298 3968 3530 0 68115 0
Current children cumulated CPU time: 3579.45 s
Current children cumulated vsize: 306656 KiB
Current children cumulated memory: 281192 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.10 4.09 6/250 28730
/proc/meminfo: memFree=124683680/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=306656 memory=281192 CPUtime=3582.64 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 88355 0 0 0 358237 27 0 0 20 0 1 0 37738490 314015744 70298 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 76664 70298 3968 3530 0 68115 0
Current children cumulated CPU time: 3582.64 s
Current children cumulated vsize: 306656 KiB
Current children cumulated memory: 281192 KiB
[startup+3595.2 s]
/proc/loadavg: 4.08 4.10 4.09 6/250 28730
/proc/meminfo: memFree=124683932/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=306656 memory=281192 CPUtime=3584.23 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 88355 0 0 0 358396 27 0 0 20 0 1 0 37738490 314015744 70298 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 76664 70298 3968 3530 0 68115 0
Current children cumulated CPU time: 3584.23 s
Current children cumulated vsize: 306656 KiB
Current children cumulated memory: 281192 KiB
[startup+3596 s]*
/proc/loadavg: 4.08 4.10 4.09 6/250 28730
/proc/meminfo: memFree=124673396/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=306656 memory=281192 CPUtime=3585.04 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 88355 0 0 0 358477 27 0 0 20 0 1 0 37738490 314015744 70298 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 76664 70298 3968 3530 0 68115 0
Current children cumulated CPU time: 3585.04 s
Current children cumulated vsize: 306656 KiB
Current children cumulated memory: 281192 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.10 4.09 6/250 28730
/proc/meminfo: memFree=124673396/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=306656 memory=281192 CPUtime=3585.83 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 88355 0 0 0 358556 27 0 0 20 0 1 0 37738490 314015744 70298 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 76664 70298 3968 3530 0 68115 0
Current children cumulated CPU time: 3585.83 s
Current children cumulated vsize: 306656 KiB
Current children cumulated memory: 281192 KiB
[startup+3597 s]*
/proc/loadavg: 4.08 4.10 4.09 6/250 28730
/proc/meminfo: memFree=124673904/131382112 swapFree=33010684/33010684
[pid=28535] ppid=28526 vsize=306656 memory=281192 CPUtime=3586.04 cores=5,7
/proc/28535/stat : 28535 (pbscip) R 28526 28535 28474 0 -1 4194304 88355 0 0 0 358577 27 0 0 20 0 1 0 37738490 314015744 70298 18446744073709551615 4235264 18693293 140726700303424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40841216 140726700304777 140726700304876 140726700304876 140726700310478 0
/proc/28535/statm: 76664 70298 3968 3530 0 68115 0
Current children cumulated CPU time: 3586.04 s
Current children cumulated vsize: 306656 KiB
Current children cumulated memory: 281192 KiB
Child status: 0
Real time (s): 3597.09
CPU time (s): 3586.13
CPU user time (s): 3585.85
CPU system time (s): 0.278969
CPU usage (%): 99.6952
Max. virtual memory (cumulated for all children) (KiB): 306656
Max. memory (cumulated for all children) (KiB): 281192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.85
system time used= 0.278969
maximum resident set size= 281192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88370
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= 121
involuntary context switches= 2214
# summary of solver processes directly reported to runsolver:
# pid: 28535
# total CPU time (s): 3586.13
# total CPU user time (s): 3585.85
# total CPU system time (s): 0.278969
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5642 second user time and 35.54 second system time
The end
Begin job on nodeC012 at 2025-06-29 20:09:48 IDJOB=4513304 IDBENCH=162316 IDSOLVER=3365 FILE ID=nodeC012/4513304-1751220588 RUNJOBID= nodeC012-1751220587-28487 SLURM_JOB_ID= 9587676 Free space on /tmp= 433060 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size144-round23-6.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513304-1751220588/watcher-4513304-1751220588 -o /tmp/evaluation-result-4513304-1751220588/solver-4513304-1751220588 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751220587-28487 --watchdog 3760 pbscip -f HOME/instance-4513304-1751220588.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9b7b034b4cb564ce8c6d87bc02f32c31 RANDOM SEED=1479247682 nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.497 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.144 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.182 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.158 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.152 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 130151348 kB MemAvailable: 129973600 kB Buffers: 3280 kB Cached: 632872 kB SwapCached: 0 kB Active: 315216 kB Inactive: 384968 kB Active(anon): 81992 kB Inactive(anon): 0 kB Active(file): 233224 kB Inactive(file): 384968 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 75280 kB Writeback: 20 kB AnonPages: 67140 kB Mapped: 101568 kB Shmem: 17960 kB KReclaimable: 86992 kB Slab: 169224 kB SReclaimable: 86992 kB SUnreclaim: 82232 kB KernelStack: 3732 kB PageTables: 2880 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 329352 kB VmallocTotal: 34359738367 kB VmallocUsed: 149192 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 187208 kB DirectMap2M: 8103936 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432976 MiB End job on nodeC012 at 2025-06-29 21:09:45