| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3586.79 | 3597.05 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K81.opb |
| MD5SUM | a76247625d06f26dbfcd47fe69513f4b |
| 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 | 5508 |
| Total number of constraints | 5672 |
| Number of constraints which are clauses | 5591 |
| Number of constraints which are cardinality constraints (but not clauses) | 81 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 81 |
| 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 | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 82 |
| Number of bits of the biggest sum of numbers | 7 |
| 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.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4507526-1751189384.opb>
0.00/0.03 c original problem has 5508 variables (5508 bin, 0 int, 0 impl, 0 cont) and 5672 constraints
0.00/0.03 c problem read in 0.02
0.00/0.03 c No objective function, only one solution is needed.
0.00/0.04 c presolving:
0.00/0.05 c (round 1, fast) 148 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1093 clqs
0.00/0.05 c (round 2, fast) 392 del vars, 155 del conss, 0 add conss, 66 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1080 clqs
0.00/0.05 c (round 3, fast) 506 del vars, 237 del conss, 0 add conss, 114 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1085 clqs
0.00/0.06 c (round 4, fast) 570 del vars, 294 del conss, 0 add conss, 139 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1111 clqs
0.00/0.06 c (round 5, fast) 581 del vars, 303 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1126 clqs
0.00/0.07 c (0.1s) running MILP presolver
0.08/0.11 c (0.1s) MILP presolver (4 rounds): 0 aggregations, 79 fixings, 0 bound changes
0.08/0.11 c (round 6, medium) 662 del vars, 305 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1127 clqs
0.08/0.11 c (round 7, fast) 662 del vars, 384 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1129 clqs
0.08/0.12 c (round 8, exhaustive) 662 del vars, 463 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1129 clqs
0.08/0.14 c (round 9, exhaustive) 662 del vars, 463 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 5209 upgd conss, 0 impls, 1129 clqs
0.08/0.16 c (round 10, exhaustive) 724 del vars, 463 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 5209 upgd conss, 0 impls, 1117 clqs
0.08/0.16 c (round 11, fast) 786 del vars, 525 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 5209 upgd conss, 0 impls, 1117 clqs
0.58/0.63 c (round 12, exhaustive) 812 del vars, 526 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 5209 upgd conss, 0 impls, 32768 clqs
0.58/0.64 c (round 13, fast) 813 del vars, 552 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 121 chg coeffs, 5209 upgd conss, 0 impls, 32782 clqs
0.77/0.83 c (round 14, exhaustive) 843 del vars, 552 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 125 chg coeffs, 5209 upgd conss, 0 impls, 32867 clqs
0.77/0.83 c (round 15, fast) 847 del vars, 581 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 182 chg coeffs, 5209 upgd conss, 0 impls, 32877 clqs
0.77/0.89 c (round 16, exhaustive) 872 del vars, 581 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 182 chg coeffs, 5209 upgd conss, 0 impls, 32787 clqs
0.77/0.89 c (round 17, fast) 872 del vars, 606 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 231 chg coeffs, 5209 upgd conss, 0 impls, 32793 clqs
1.07/1.10 c (round 18, exhaustive) 897 del vars, 606 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 231 chg coeffs, 5209 upgd conss, 0 impls, 32892 clqs
1.07/1.10 c (round 19, fast) 897 del vars, 631 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 273 chg coeffs, 5209 upgd conss, 0 impls, 32893 clqs
1.07/1.14 c (round 20, exhaustive) 922 del vars, 631 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 273 chg coeffs, 5209 upgd conss, 0 impls, 32825 clqs
1.07/1.14 c (round 21, fast) 922 del vars, 656 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 302 chg coeffs, 5209 upgd conss, 0 impls, 32826 clqs
1.37/1.44 c (1.4s) probing: 1000/5005 (20.0%) - 147 fixings, 1 aggregations, 546695 implications, 0 bound changes
1.47/1.51 c (round 22, exhaustive) 947 del vars, 656 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 302 chg coeffs, 5209 upgd conss, 0 impls, 32874 clqs
1.47/1.52 c (round 23, fast) 947 del vars, 681 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 326 chg coeffs, 5209 upgd conss, 0 impls, 32874 clqs
1.47/1.55 c (round 24, exhaustive) 972 del vars, 681 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 326 chg coeffs, 5209 upgd conss, 0 impls, 32849 clqs
1.47/1.55 c (round 25, fast) 972 del vars, 706 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 351 chg coeffs, 5209 upgd conss, 0 impls, 32849 clqs
2.36/2.43 c (2.4s) probing: 2000/5005 (40.0%) - 183 fixings, 1 aggregations, 1032647 implications, 0 bound changes
3.16/3.29 c (3.3s) probing: 3000/5005 (59.9%) - 197 fixings, 1 aggregations, 1441723 implications, 0 bound changes
3.26/3.31 c (round 26, exhaustive) 997 del vars, 706 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 351 chg coeffs, 5209 upgd conss, 0 impls, 32977 clqs
3.26/3.31 c (round 27, fast) 998 del vars, 732 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 401 chg coeffs, 5209 upgd conss, 0 impls, 32982 clqs
4.06/4.17 c (4.2s) probing: 4000/5005 (79.9%) - 218 fixings, 1 aggregations, 1819845 implications, 0 bound changes
4.16/4.23 c (4.2s) probing: 4066/5005 (81.2%) - 218 fixings, 1 aggregations, 1845565 implications, 0 bound changes
4.16/4.23 c (4.2s) probing aborted: 1000/1000 successive useless probings
4.16/4.23 c (round 28, exhaustive) 1017 del vars, 732 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 402 chg coeffs, 5209 upgd conss, 0 impls, 32981 clqs
4.16/4.23 c (round 29, fast) 1017 del vars, 751 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 429 chg coeffs, 5209 upgd conss, 0 impls, 32981 clqs
4.26/4.34 c (4.3s) probing: 4166/5005 (83.2%) - 218 fixings, 1 aggregations, 1881804 implications, 0 bound changes
4.26/4.34 c (4.3s) probing aborted: 1000/1000 successive useless probings
4.26/4.35 c (4.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
4.26/4.37 c (4.4s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
4.26/4.38 c dynamic symmetry handling statistics:
4.26/4.38 c orbitopal reduction: no components
4.26/4.38 c orbital reduction: no components
4.26/4.38 c lexicographic reduction: 4 permutations with support sizes 150, 296, 150, 134
4.26/4.38 c handled 5 out of 5 symmetry components
4.26/4.38 c (round 30, exhaustive) 1023 del vars, 751 del conss, 1 add conss, 141 chg bounds, 0 chg sides, 429 chg coeffs, 5209 upgd conss, 0 impls, 33006 clqs
4.26/4.38 c (round 31, fast) 1023 del vars, 757 del conss, 1 add conss, 141 chg bounds, 0 chg sides, 441 chg coeffs, 5209 upgd conss, 0 impls, 33006 clqs
4.35/4.47 c (4.5s) probing: 4266/5005 (85.2%) - 218 fixings, 1 aggregations, 1918281 implications, 0 bound changes
4.35/4.47 c (4.5s) probing aborted: 1000/1000 successive useless probings
4.35/4.48 c presolving (32 rounds: 32 fast, 15 medium, 14 exhaustive):
4.35/4.48 c 1023 deleted vars, 757 deleted constraints, 1 added constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 441 changed coefficients
4.35/4.48 c 0 implications, 33017 cliques
4.35/4.48 c presolved problem has 4774 variables (4774 bin, 0 int, 0 impl, 0 cont) and 4916 constraints
4.35/4.48 c 1050 constraints of type <setppc>
4.35/4.48 c 1 constraints of type <orbitope>
4.35/4.48 c 3865 constraints of type <logicor>
4.35/4.48 c transformed objective value is always integral (scale: 1)
4.35/4.48 c Presolving Time: 4.44
4.35/4.48 c - non default parameters ----------------------------------------------------------------------
4.35/4.48 c # SCIP version 10.0.0
4.35/4.48 c
4.35/4.48 c # maximal time in seconds to run
4.35/4.48 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
4.35/4.48 c limits/time = 3596.997263
4.35/4.48 c
4.35/4.48 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.35/4.48 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
4.35/4.48 c limits/memory = 27900
4.35/4.48 c
4.35/4.48 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
4.35/4.48 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
4.35/4.48 c limits/solutions = 1
4.35/4.48 c
4.35/4.48 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.
4.35/4.48 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
4.35/4.48 c misc/usesymmetry = 3
4.35/4.48 c
4.35/4.48 c # belongs reading time to solving time?
4.35/4.48 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
4.35/4.48 c timing/reading = TRUE
4.35/4.48 c
4.35/4.48 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
4.35/4.48 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
4.35/4.48 c propagating/symmetry/detectdoublelex = FALSE
4.35/4.48 c
4.35/4.48 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
4.35/4.48 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
4.35/4.48 c propagating/symmetry/detectsubgroups = FALSE
4.35/4.48 c
4.35/4.48 c # Type of symmetries that shall be computed?
4.35/4.48 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
4.35/4.48 c propagating/symmetry/symtype = 1
4.35/4.48 c
4.35/4.48 c # Should components consisting of a single full reflection be handled?
4.35/4.48 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
4.35/4.48 c propagating/symmetry/usesimplesgncomp = FALSE
4.35/4.48 c
4.35/4.48 c -----------------------------------------------------------------------------------------------
4.35/4.48 c start solving
4.35/4.48 c
7.84/7.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.84/7.92 c 7.9s| 1 | 0 | 10989 | - | 77M | 0 |4774 |5038 |4915 | 0 | 0 | 129 | 0 | 0.000000e+00 | -- | Inf | unknown
37.26/37.45 c 37.4s| 1 | 0 | 67004 | - | 85M | 0 |4774 |5238 |4922 | 7 | 1 | 130 | 0 | 0.000000e+00 | -- | Inf | unknown
38.56/38.70 c 38.7s| 1 | 0 | 69343 | - | 88M | 0 |4774 |5241 |4928 | 13 | 2 | 133 | 0 | 0.000000e+00 | -- | Inf | unknown
40.65/40.83 c 40.8s| 1 | 0 | 73925 | - | 90M | 0 |4774 |5242 |4937 | 22 | 3 | 134 | 0 | 0.000000e+00 | -- | Inf | unknown
43.15/43.32 c 43.3s| 1 | 0 | 79160 | - | 91M | 0 |4774 |5243 |4950 | 35 | 4 | 135 | 0 | 0.000000e+00 | -- | Inf | unknown
46.24/46.47 c 46.5s| 1 | 0 | 85957 | - | 93M | 0 |4774 |5242 |4962 | 47 | 5 | 136 | 0 | 0.000000e+00 | -- | Inf | unknown
48.73/48.98 c 49.0s| 1 | 0 | 91121 | - | 93M | 0 |4774 |5242 |4970 | 55 | 6 | 137 | 0 | 0.000000e+00 | -- | Inf | unknown
52.12/52.33 c 52.3s| 1 | 0 | 98490 | - | 94M | 0 |4774 |5243 |4978 | 63 | 7 | 140 | 0 | 0.000000e+00 | -- | Inf | unknown
55.31/55.53 c 55.5s| 1 | 0 |105138 | - | 95M | 0 |4774 |5244 |4993 | 78 | 8 | 142 | 0 | 0.000000e+00 | -- | Inf | unknown
59.10/59.35 c 59.3s| 1 | 0 |113368 | - | 97M | 0 |4774 |5245 |5004 | 89 | 9 | 143 | 0 | 0.000000e+00 | -- | Inf | unknown
62.09/62.32 c 62.3s| 1 | 0 |119232 | - | 97M | 0 |4774 |5248 |5017 | 102 | 10 | 146 | 0 | 0.000000e+00 | -- | Inf | unknown
65.28/65.55 c 65.5s| 1 | 0 |126509 | - | 99M | 0 |4774 |5246 |5028 | 113 | 11 | 147 | 0 | 0.000000e+00 | -- | Inf | unknown
90.22/90.56 c 90.5s| 1 | 2 |168469 | - | 100M | 0 |4774 |5250 |5028 | 113 | 11 | 159 | 12 | 0.000000e+00 | -- | Inf | unknown
1023.61/1026.53 c 1027s| 100 | 72 | 2026k|19196.7 | 119M | 20 |4774 |5344 |4971 | 232 | 1 | 470 | 12 | 0.000000e+00 | -- | Inf | 0.98%
1316.51/1320.31 c 1320s| 200 | 128 | 2820k|13539.1 | 132M | 20 |4774 |5538 |4984 | 305 | 1 | 891 | 12 | 0.000000e+00 | -- | Inf | 4.83%
1641.59/1646.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1641.59/1646.40 c 1646s| 300 | 172 | 3744k|12098.7 | 142M | 22 |4774 |5524 |4984 | 544 | 1 |1308 | 12 | 0.000000e+00 | -- | Inf | 6.40%
1824.73/1830.16 c 1830s| 400 | 226 | 4278k|10406.1 | 146M | 22 |4774 |5491 |4987 | 604 | 0 |1443 | 12 | 0.000000e+00 | -- | Inf | 7.68%
1911.77/1917.48 c 1917s| 500 | 236 | 4543k|8851.4 | 152M | 40 |4774 |5540 |4988 | 641 | 0 |1545 | 12 | 0.000000e+00 | -- | Inf | 7.76%
2098.99/2105.24 c 2105s| 600 | 269 | 5080k|8271.2 | 155M | 40 |4774 |5628 |4989 | 690 | 0 |1733 | 12 | 0.000000e+00 | -- | Inf | 8.22%
2189.01/2195.53 c 2196s| 700 | 276 | 5356k|7482.2 | 155M | 40 |4774 |5566 |4994 | 780 | 1 |1779 | 12 | 0.000000e+00 | -- | Inf | 8.35%
2275.85/2282.65 c 2283s| 800 | 285 | 5616k|6870.8 | 158M | 40 |4774 |5612 |4989 | 823 | 1 |1923 | 12 | 0.000000e+00 | -- | Inf | 8.66%
2382.32/2389.41 c 2389s| 900 | 297 | 5933k|6459.0 | 166M | 40 |4774 |5587 |4983 | 909 | 1 |1983 | 12 | 0.000000e+00 | -- | Inf | 8.85%
2448.32/2455.61 c 2456s| 1000 | 289 | 6152k|6031.8 | 174M | 40 |4774 |5590 |4999 | 986 | 1 |2030 | 12 | 0.000000e+00 | -- | Inf | 8.97%
2499.06/2506.51 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
2499.06/2506.51 c (run 1, node 1091) performing user restart
2499.06/2506.51 c
2499.06/2506.52 c (restart) converted 52 cuts from the global cut pool into linear constraints
2499.06/2506.52 c
2499.06/2506.54 c presolving:
2499.06/2506.55 c (round 1, fast) 0 del vars, 38 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 33017 clqs
2499.06/2506.57 c (round 2, exhaustive) 0 del vars, 42 del conss, 2 add conss, 0 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 33017 clqs
2499.06/2506.58 c (round 3, exhaustive) 0 del vars, 43 del conss, 2 add conss, 0 chg bounds, 1 chg sides, 1 chg coeffs, 229 upgd conss, 0 impls, 33017 clqs
2499.06/2506.58 c (round 4, medium) 0 del vars, 45 del conss, 15 add conss, 0 chg bounds, 32 chg sides, 67 chg coeffs, 229 upgd conss, 0 impls, 33017 clqs
2499.06/2506.59 c (round 5, exhaustive) 0 del vars, 83 del conss, 15 add conss, 0 chg bounds, 32 chg sides, 96 chg coeffs, 229 upgd conss, 0 impls, 33017 clqs
2499.46/2506.92 c (round 6, exhaustive) 0 del vars, 101 del conss, 15 add conss, 0 chg bounds, 32 chg sides, 5268 chg coeffs, 229 upgd conss, 0 impls, 33017 clqs
2499.66/2507.12 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
2499.66/2507.12 c 0 deleted vars, 102 deleted constraints, 15 added constraints, 0 tightened bounds, 0 added holes, 32 changed sides, 5315 changed coefficients
2499.66/2507.12 c 0 implications, 33017 cliques
2499.66/2507.12 c presolved problem has 4774 variables (4774 bin, 0 int, 0 impl, 0 cont) and 5584 constraints
2499.66/2507.12 c 30 constraints of type <knapsack>
2499.66/2507.12 c 1220 constraints of type <setppc>
2499.66/2507.12 c 1 constraints of type <linear>
2499.66/2507.12 c 1 constraints of type <orbitope>
2499.66/2507.12 c 4332 constraints of type <logicor>
2499.66/2507.12 c transformed objective value is always integral (scale: 1)
2499.66/2507.12 c Presolving Time: 5.03
2499.66/2507.13 c
2503.15/2510.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2503.15/2510.61 c 2511s| 1 | 0 | 6324k| - | 179M | 0 |4774 |5594 |4942 | 0 | 0 |2098 | 12 | 0.000000e+00 | -- | Inf | unknown
2506.64/2514.19 c 2514s| 1 | 0 | 6331k| - | 179M | 0 |4774 |5580 |4961 | 19 | 1 |2103 | 12 | 0.000000e+00 | -- | Inf | unknown
2510.23/2517.71 c 2518s| 1 | 0 | 6339k| - | 180M | 0 |4774 |5568 |4972 | 30 | 2 |2107 | 12 | 0.000000e+00 | -- | Inf | unknown
2513.52/2521.10 c 2521s| 1 | 0 | 6346k| - | 180M | 0 |4774 |5558 |4988 | 46 | 3 |2117 | 12 | 0.000000e+00 | -- | Inf | unknown
2516.11/2523.65 c 2524s| 1 | 0 | 6352k| - | 180M | 0 |4774 |5558 |4994 | 52 | 4 |2121 | 12 | 0.000000e+00 | -- | Inf | unknown
2519.40/2526.91 c 2527s| 1 | 0 | 6359k| - | 180M | 0 |4774 |5542 |5005 | 63 | 5 |2122 | 12 | 0.000000e+00 | -- | Inf | unknown
2521.40/2528.99 c 2529s| 1 | 0 | 6363k| - | 182M | 0 |4774 |5531 |5013 | 71 | 6 |2123 | 12 | 0.000000e+00 | -- | Inf | unknown
2525.78/2533.30 c 2533s| 1 | 0 | 6372k| - | 182M | 0 |4774 |5525 |5028 | 86 | 7 |2128 | 12 | 0.000000e+00 | -- | Inf | unknown
2529.17/2536.76 c 2537s| 1 | 0 | 6379k| - | 183M | 0 |4774 |5517 |5040 | 98 | 8 |2129 | 12 | 0.000000e+00 | -- | Inf | unknown
2534.36/2541.94 c 2542s| 1 | 0 | 6389k| - | 183M | 0 |4774 |5514 |5050 | 108 | 9 |2139 | 12 | 0.000000e+00 | -- | Inf | unknown
2537.65/2545.22 c 2545s| 1 | 0 | 6395k| - | 184M | 0 |4774 |5504 |5058 | 116 | 10 |2140 | 12 | 0.000000e+00 | -- | Inf | unknown
2541.73/2549.38 c 2549s| 1 | 0 | 6404k| - | 184M | 0 |4774 |5495 |5070 | 128 | 11 |2142 | 12 | 0.000000e+00 | -- | Inf | unknown
2572.94/2580.68 c 2581s| 1 | 2 | 6459k| - | 184M | 0 |4774 |5477 |5070 | 128 | 11 |2157 | 24 | 0.000000e+00 | -- | Inf | unknown
2685.64/2693.66 c 2694s| 100 | 27 | 6773k|5509.1 | 185M | 34 |4774 |5516 |4988 | 185 | 1 |2227 | 24 | 0.000000e+00 | -- | Inf | unknown
2761.35/2769.58 c 2770s| 200 | 31 | 7000k|5257.8 | 186M | 40 |4774 |5634 |4993 | 197 | 0 |2367 | 24 | 0.000000e+00 | -- | Inf | unknown
2832.17/2840.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2832.17/2840.53 c 2841s| 300 | 29 | 7225k|5041.8 | 188M | 45 |4774 |5728 |5005 | 259 | 1 |2478 | 24 | 0.000000e+00 | -- | Inf | unknown
2913.76/2922.33 c 2922s| 400 | 35 | 7483k|4876.6 | 189M | 45 |4774 |5767 |4999 | 307 | 1 |2581 | 24 | 0.000000e+00 | -- | Inf | unknown
2972.21/2980.92 c 2981s| 500 | 36 | 7674k|4689.6 | 189M | 45 |4774 |5877 |4999 | 313 | 1 |2697 | 24 | 0.000000e+00 | -- | Inf | unknown
3020.48/3029.39 c 3029s| 600 | 36 | 7829k|4504.2 | 190M | 45 |4774 |5920 |5002 | 335 | 1 |2813 | 24 | 0.000000e+00 | -- | Inf | unknown
3082.42/3091.43 c 3091s| 700 | 36 | 8030k|4364.5 | 192M | 45 |4774 |5948 |4984 | 383 | 1 |2855 | 24 | 0.000000e+00 | -- | Inf | unknown
3151.14/3160.31 c 3160s| 800 | 34 | 8252k|4251.0 | 192M | 45 |4774 |6012 |5003 | 417 | 0 |2937 | 24 | 0.000000e+00 | -- | Inf | unknown
3220.16/3229.60 c 3230s| 900 | 32 | 8473k|4148.6 | 193M | 45 |4774 |6120 |5013 | 449 | 0 |3071 | 24 | 0.000000e+00 | -- | Inf | unknown
3293.59/3303.18 c 3303s| 1000 | 32 | 8707k|4061.9 | 193M | 45 |4774 |6181 |5005 | 494 | 1 |3186 | 24 | 0.000000e+00 | -- | Inf | 0.78%
3375.87/3385.67 c 3386s| 1100 | 34 | 8966k|3994.9 | 194M | 45 |4774 |6284 |5009 | 551 | 1 |3327 | 24 | 0.000000e+00 | -- | Inf | 1.17%
3456.56/3466.55 c 3467s| 1200 | 32 | 9223k|3932.6 | 195M | 45 |4774 |6405 |5013 | 599 | 1 |3463 | 24 | 0.000000e+00 | -- | Inf | 1.57%
3519.50/3529.66 c 3530s| 1300 | 36 | 9428k|3853.7 | 195M | 45 |4774 |6399 |4999 | 632 | 1 |3512 | 24 | 0.000000e+00 | -- | Inf | 1.57%
3574.76/3585.06 c 3585s| 1400 | 36 | 9609k|3772.0 | 195M | 45 |4774 |6437 |5003 | 666 | 0 |3560 | 24 | 0.000000e+00 | -- | Inf | 1.57%
3586.73/3597.01 c
3586.73/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3586.73/3597.01 c Solving Time (sec) : 3597.00
3586.73/3597.01 c Solving Nodes : 1423 (total of 2514 nodes in 2 runs)
3586.73/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.73/3597.01 c Dual Bound : +0.00000000000000e+00
3586.73/3597.01 c Gap : infinite
3586.73/3597.01 s UNKNOWN
3586.73/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3586.73/3597.01 c Total Time : 3597.00
3586.73/3597.01 c solving : 3597.00
3586.73/3597.01 c presolving : 5.03 (included in solving)
3586.73/3597.01 c reading : 0.02 (included in solving)
3586.73/3597.01 c copying : 1.44 (106 #copies) (minimal 0.01, maximal 0.02, average 0.01)
3586.73/3597.01 c Original Problem :
3586.73/3597.01 c Problem name : HOME/instance-4507526-1751189384.opb
3586.73/3597.01 c Variables : 5508 (5508 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.73/3597.01 c Constraints : 5672 initial, 5672 maximal
3586.73/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.73/3597.01 c Presolved Problem :
3586.73/3597.01 c Problem name : t_HOME/instance-4507526-1751189384.opb
3586.73/3597.01 c Variables : 4774 (4774 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.73/3597.01 c Constraints : 5584 initial, 6461 maximal
3586.73/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.73/3597.01 c Nonzeros : 83165 constraint, 70689 clique table
3586.73/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.73/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c domcol : 0.08 0.00 12 0 0 0 0 0 0 0 0 3
3586.73/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c gateextraction : 0.04 0.00 17 0 0 0 0 0 4 1 0 0
3586.73/3597.01 c implics : 0.00 0.00 21 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c milp : 0.05 0.00 1 79 0 0 0 0 0 0 0 0
3586.73/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c sparsify : 0.14 0.00 3 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c trivial : 0.00 0.00 39 288 0 0 0 0 0 0 0 0
3586.73/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c dualfix : 0.00 0.00 39 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c probing : 3.78 0.00 11 218 1 0 0 0 0 0 0 0
3586.73/3597.01 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c symmetry : 0.02 0.00 1 6 0 0 0 0 0 1 0 0
3586.73/3597.01 c vbounds : 0.01 0.00 4 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c knapsack : 0.01 0.00 18 0 0 0 0 0 0 13 31 123
3586.73/3597.01 c setppc : 0.05 0.00 65 0 0 0 0 0 132 0 0 0
3586.73/3597.01 c and : 0.00 0.00 1 0 0 0 0 0 1 1 0 0
3586.73/3597.01 c linear : 0.04 0.00 21 141 0 0 141 0 464 0 1 0
3586.73/3597.01 c orbitope : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c logicor : 0.75 0.02 62 64 0 0 0 0 258 0 0 5630
3586.73/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c root node : - - - 0 - - 0 - - - - -
3586.73/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.73/3597.01 c benderslp : 0 0 0 0 1419 0 0 223 0 0 0 0 0 0 0
3586.73/3597.01 c integral : 0 0 0 0 1419 0 0 223 0 0 0 0 0 0 2838
3586.73/3597.01 c knapsack : 30 30 11 38850 0 0 0 0 37154 1 4420 0 0 0 0
3586.73/3597.01 c setppc : 1220+ 1241 22 114811 0 0 0 218 747387 181 105581 2 1 0 0
3586.73/3597.01 c linear : 1+ 44 22 47864 0 0 0 3 702 0 327 2 0 0 0
3586.73/3597.01 c orbitope : 1 1 0 50110 0 0 0 0 2581 2 309 0 0 0 0
3586.73/3597.01 c logicor : 4332+ 5156 22 94342 0 0 0 0 1297965 250 174053 64 43 0 0
3586.73/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.73/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.01 c integral : 11.16 0.00 0.00 0.00 11.16 0.00 0.00 0.00 0.00 0.00
3586.73/3597.01 c knapsack : 0.13 0.00 0.06 0.06 0.00 0.00 0.00 0.00 0.01 0.00
3586.73/3597.01 c setppc : 0.92 0.00 0.00 0.74 0.00 0.00 0.00 0.00 0.17 0.01
3586.73/3597.01 c linear : 0.04 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.01 c orbitope : 0.06 0.00 0.00 0.06 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.01 c logicor : 2.19 0.02 0.01 1.70 0.00 0.00 0.00 0.00 0.45 0.01
3586.73/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.73/3597.01 c dualfix : 2 0 0 0
3586.73/3597.01 c genvbounds : 0 0 0 0
3586.73/3597.01 c nlobbt : 0 0 0 0
3586.73/3597.01 c obbt : 0 0 0 0
3586.73/3597.01 c probing : 0 0 0 0
3586.73/3597.01 c pseudoobj : 0 0 0 0
3586.73/3597.01 c redcost : 0 0 0 0
3586.73/3597.01 c rootredcost : 0 0 0 0
3586.73/3597.01 c symmetry : 466 0 0 8
3586.73/3597.01 c vbounds : 25124 0 0 0
3586.73/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.73/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.01 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3586.73/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.01 c probing : 3.78 0.00 3.78 0.00 0.00 0.00
3586.73/3597.01 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3586.73/3597.01 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.01 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.01 c symmetry : 0.07 0.00 0.02 0.05 0.00 0.00
3586.73/3597.01 c vbounds : 0.27 0.00 0.01 0.26 0.00 0.00
3586.73/3597.01 c Symmetry :
3586.73/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.73/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.73/3597.01 c lexicographic red: 8 reductions applied, 0 cutoffs
3586.73/3597.01 c shadow tree time : 0.00 s
3586.73/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.73/3597.01 c propagation : 0.04 430 284 - 1239 110.1 47 11.0 - - -
3586.73/3597.01 c infeasible LP : 4.48 1253 930 - 18981 744.0 52 9.9 11 184.4 0
3586.73/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.73/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.73/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.73/3597.01 c applied globally : 0.12 - - 0 3529 246.4 - - 11 - -
3586.73/3597.01 c applied locally : - - - 0 47 832.2 - - 0 - -
3586.73/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.73/3597.01 c cut pool : 0.08 - 453 42 - - 1892 13128 - - - - - (maximal pool size: 1008)
3586.73/3597.01 c aggregation : 0.12 0.00 108 22 0 0 4 17 2 2 2 0 0
3586.73/3597.01 c > cmir : - - - - - - - 17 0 2 2 0 -
3586.73/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.73/3597.01 c > knapsackcover : - - - - - - - 0 2 0 0 0 -
3586.73/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c clique : 0.64 0.00 22 22 0 0 175 987 0 341 341 0 0
3586.73/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c gomory : 14.18 0.00 106 20 0 0 1543 10889 84 655 652 3 0
3586.73/3597.01 c > gomorymi : - - - - - - - 5080 42 408 407 1 -
3586.73/3597.01 c > strongcg : - - - - - - - 5809 42 247 245 2 -
3586.73/3597.01 c impliedbounds : 0.12 0.00 108 22 0 0 54 172 0 54 54 0 0
3586.73/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c multilinear : 0.00 0.00 104 22 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c rapidlearning : 44.87 0.00 100 2 0 32246 0 0 0 0 0 0 640
3586.73/3597.01 c rlt : 0.00 0.00 76 20 0 0 0 0 0 0 0 0 0
3586.73/3597.01 c zerohalf : 7.99 0.00 108 22 0 0 363 1063 161 598 458 140 0
3586.73/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.73/3597.01 c hybrid : 0.02 0.00 289 22 1719 0 11003 241 0 278
3586.73/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3586.73/3597.01 c problem variables: 0.00 - 0 0
3586.73/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.73/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.01 c relpscost : 11.16 0.00 1419 0 0 0 0 0 0 2838
3586.73/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.73/3597.01 c LP solutions : 0.00 - - 0 0
3586.73/3597.01 c relax solutions : 0.00 - - 0 0
3586.73/3597.01 c pseudo solutions : 0.00 - - 0 0
3586.73/3597.01 c strong branching : 0.00 - - 0 0
3586.73/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3586.73/3597.01 c adaptivediving : 37.21 0.00 6 0 0
3586.73/3597.01 c alns : 24.99 0.00 4 0 0
3586.73/3597.01 c bound : 0.00 0.00 0 0 0
3586.73/3597.01 c clique : 0.02 0.00 1 0 0
3586.73/3597.01 c coefdiving : 0.00 0.00 0 0 0
3586.73/3597.01 c completesol : 0.00 0.00 0 0 0
3586.73/3597.01 c conflictdiving : 120.89 0.00 12 0 0
3586.73/3597.01 c crossover : 0.00 0.00 0 0 0
3586.73/3597.01 c dins : 0.00 0.00 0 0 0
3586.73/3597.01 c distributiondivin: 48.59 0.00 10 0 0
3586.73/3597.01 c dps : 0.00 0.00 0 0 0
3586.73/3597.01 c dualval : 0.00 0.00 0 0 0
3586.73/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3586.73/3597.01 c feasjump : 0.04 0.00 2 0 0
3586.73/3597.01 c feaspump : 56.47 0.00 6 0 0
3586.73/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3586.73/3597.01 c fracdiving : 50.77 0.00 10 0 0
3586.73/3597.01 c gins : 0.00 0.00 0 0 0
3586.73/3597.01 c guideddiving : 0.00 0.00 0 0 0
3586.73/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3586.73/3597.01 c indicator : 0.00 0.00 0 0 0
3586.73/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3586.73/3597.01 c indoneopt : 0.00 0.00 0 0 0
3586.73/3597.01 c indrounding : 0.00 0.00 0 0 0
3586.73/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3586.73/3597.01 c intdiving : 0.00 0.00 0 0 0
3586.73/3597.01 c intshifting : 0.00 0.00 0 0 0
3586.73/3597.01 c linesearchdiving : 83.79 0.00 11 0 0
3586.73/3597.01 c localbranching : 0.00 0.00 0 0 0
3586.73/3597.01 c locks : 0.01 0.00 1 0 0
3586.73/3597.01 c lpface : 0.01 0.00 0 0 0
3586.73/3597.01 c mpec : 0.00 0.00 0 0 0
3586.73/3597.01 c multistart : 0.00 0.00 0 0 0
3586.73/3597.01 c mutation : 0.00 0.00 0 0 0
3586.73/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3586.73/3597.01 c objpscostdiving : 422.90 0.00 1 0 0
3586.73/3597.01 c octane : 0.00 0.00 0 0 0
3586.73/3597.01 c ofins : 0.00 0.00 0 0 0
3586.73/3597.01 c oneopt : 0.00 0.00 0 0 0
3586.73/3597.01 c padm : 0.00 0.00 0 0 0
3586.73/3597.01 c proximity : 0.00 0.00 0 0 0
3586.73/3597.01 c pscostdiving : 113.54 0.00 11 0 0
3586.73/3597.01 c randrounding : 0.18 0.00 233 0 0
3586.73/3597.01 c rens : 0.23 0.00 2 0 0
3586.73/3597.01 c reoptsols : 0.00 0.00 0 0 0
3586.73/3597.01 c repair : 0.00 0.00 0 0 0
3586.73/3597.01 c rins : 0.00 0.00 0 0 0
3586.73/3597.01 c rootsoldiving : 41.11 0.00 3 0 0
3586.73/3597.01 c rounding : 0.12 0.00 556 0 0
3586.73/3597.01 c scheduler : 0.00 0.00 0 0 0
3586.73/3597.01 c shiftandpropagate: 0.03 0.00 2 0 0
3586.73/3597.01 c shifting : 0.39 0.00 251 0 0
3586.73/3597.01 c simplerounding : 0.00 0.00 0 0 0
3586.73/3597.01 c smallcard : 0.00 0.00 0 0 0
3586.73/3597.01 c subnlp : 0.00 0.00 0 0 0
3586.73/3597.01 c trivial : 0.00 0.00 4 0 0
3586.73/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3586.73/3597.01 c trustregion : 0.00 0.00 0 0 0
3586.73/3597.01 c trysol : 0.00 0.00 0 0 0
3586.73/3597.01 c twoopt : 0.00 0.00 0 0 0
3586.73/3597.01 c undercover : 0.00 0.00 0 0 0
3586.73/3597.01 c vbounds : 0.02 0.00 2 0 0
3586.73/3597.01 c veclendiving : 156.63 0.00 8 0 0
3586.73/3597.01 c zeroobj : 0.00 0.00 0 0 0
3586.73/3597.01 c zirounding : 0.08 0.00 1000 0 0
3586.73/3597.01 c other solutions : - - - 0 -
3586.73/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.73/3597.01 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.73/3597.01 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.73/3597.01 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.73/3597.01 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.73/3597.01 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.73/3597.01 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.73/3597.01 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.73/3597.01 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.73/3597.01 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.73/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.73/3597.01 c primal LP : 0.53 116 0 0.00 0.00 0.53 116
3586.73/3597.01 c dual LP : 2345.80 2851 7130213 2523.08 3039.56 0.03 25
3586.73/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3586.73/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.73/3597.01 c resolve instable : 30.40 51 76999 1509.78 2532.69
3586.73/3597.01 c diving/probing LP: 1129.28 2093 2518781 1203.43 2230.44
3586.73/3597.01 c strong branching : 9.40 24 19315 804.79 2054.36 - - 34
3586.73/3597.01 c (at root node) : - 24 19315 804.79 -
3586.73/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3586.73/3597.01 c B&B Tree :
3586.73/3597.01 c number of runs : 2
3586.73/3597.01 c nodes : 1423 (729 internal, 694 leaves)
3586.73/3597.01 c feasible leaves : 0
3586.73/3597.01 c infeas. leaves : 693
3586.73/3597.01 c objective leaves : 0
3586.73/3597.01 c nodes (total) : 2514 (1419 internal, 1095 leaves)
3586.73/3597.01 c nodes left : 36
3586.73/3597.01 c max depth : 45
3586.73/3597.01 c max depth (total): 45
3586.73/3597.01 c backtracks : 147 (10.3%)
3586.73/3597.01 c early backtracks : 0 (0.0%)
3586.73/3597.01 c nodes exc. ref. : 0 (0.0%)
3586.73/3597.01 c delayed cutoffs : 1
3586.73/3597.01 c repropagations : 1281 (10724 domain reductions, 1 cutoffs)
3586.73/3597.01 c avg switch length: 3.61
3586.73/3597.01 c switching time : 1.38
3586.73/3597.01 c Root Node :
3586.73/3597.01 c First LP value : +0.00000000000000e+00
3586.73/3597.01 c First LP Iters : 10989 (3269.47 Iter/sec)
3586.73/3597.01 c First LP Time : 3.36
3586.73/3597.01 c Final Dual Bound : +0.00000000000000e+00
3586.73/3597.01 c Final Root Iters : 217720
3586.73/3597.01 c Root LP Estimate : +3.27785517754670e-02
3586.73/3597.01 c Solution :
3586.73/3597.01 c Solutions found : 0 (0 improvements)
3586.73/3597.01 c Primal Bound : -
3586.73/3597.01 c Dual Bound : +0.00000000000000e+00
3586.73/3597.01 c Gap : infinite
3586.73/3597.01 c Integrals : Total Avg%
3586.73/3597.01 c primal-dual : 359699.78 100.00
3586.73/3597.01 c primal-ref : - - (not evaluated)
3586.73/3597.01 c dual-ref : - - (not evaluated)
3586.73/3597.05 c Time complete: 3586.78.
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: 63708 MiB (62498 MiB free)
memory of node 1: 64465 MiB (63851 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507526-1751189384/watcher-4507526-1751189384 -o /tmp/evaluation-result-4507526-1751189384/solver-4507526-1751189384 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751182186-23749 --watchdog 3760 pbscip -f HOME/instance-4507526-1751189384.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=24490, runsolver pid=24485
[startup+0.100061 s]*
/proc/loadavg: 4.44 4.18 4.12 5/263 24500
/proc/meminfo: memFree=129291052/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=75476 memory=49036 CPUtime=0.08 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 9663 0 0 0 6 2 0 0 20 0 1 0 34617063 77287424 12259 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 18869 12259 3712 3530 0 10320 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 75476 KiB
Current children cumulated memory: 49036 KiB
[startup+0.205666 s]*
/proc/loadavg: 4.44 4.18 4.12 5/263 24500
/proc/meminfo: memFree=129268896/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=90424 memory=61072 CPUtime=0.19 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 13258 0 0 0 16 3 0 0 20 0 1 0 34617063 92594176 15268 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 22606 15268 3744 3530 0 14057 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 90424 KiB
Current children cumulated memory: 61072 KiB
[startup+0.305663 s]*
/proc/loadavg: 4.44 4.18 4.12 5/263 24500
/proc/meminfo: memFree=129249812/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=98956 memory=69520 CPUtime=0.28 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 15409 0 0 0 25 3 0 0 20 0 1 0 34617063 101330944 17380 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 24739 17380 3744 3530 0 16190 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 98956 KiB
Current children cumulated memory: 69520 KiB
[startup+0.70018 s]
/proc/loadavg: 4.44 4.18 4.12 5/263 24500
/proc/meminfo: memFree=129269008/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=99252 memory=69904 CPUtime=0.67 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 15479 0 0 0 64 3 0 0 20 0 1 0 34617063 101634048 17476 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 24813 17476 3744 3530 0 16264 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 99252 KiB
Current children cumulated memory: 69904 KiB
[startup+1.50016 s]
/proc/loadavg: 4.44 4.18 4.12 5/259 24508
/proc/meminfo: memFree=129754196/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=99252 memory=70416 CPUtime=1.47 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 15617 0 0 0 144 3 0 0 20 0 1 0 34617063 101634048 17604 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 24813 17604 3744 3530 0 16264 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 99252 KiB
Current children cumulated memory: 70416 KiB
[startup+3.10558 s]
/proc/loadavg: 4.44 4.18 4.12 5/263 24545
/proc/meminfo: memFree=129747544/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=99252 memory=70416 CPUtime=3.07 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 15627 0 0 0 304 3 0 0 20 0 1 0 34617063 101634048 17604 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 24813 17604 3744 3530 0 16264 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 99252 KiB
Current children cumulated memory: 70416 KiB
[startup+6.3001 s]
/proc/loadavg: 4.40 4.18 4.12 5/263 24545
/proc/meminfo: memFree=129703932/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=128032 memory=92236 CPUtime=6.25 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 22016 0 0 0 621 4 0 0 20 0 1 0 34617063 131104768 23059 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 32008 23059 3968 3530 0 23459 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 128032 KiB
Current children cumulated memory: 92236 KiB
[startup+12.7001 s]
/proc/loadavg: 4.37 4.17 4.12 5/263 24545
/proc/meminfo: memFree=129648260/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=130820 memory=94796 CPUtime=12.63 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 22652 0 0 0 1259 4 0 0 20 0 1 0 34617063 133959680 23699 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 32705 23699 3968 3530 0 24156 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 130820 KiB
Current children cumulated memory: 94796 KiB
[startup+25.5002 s]
/proc/loadavg: 4.29 4.17 4.12 5/263 24545
/proc/meminfo: memFree=129564416/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=132476 memory=96844 CPUtime=25.4 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 22917 0 0 0 2535 5 0 0 20 0 1 0 34617063 135655424 24211 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 33119 24211 3968 3530 0 24570 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 132476 KiB
Current children cumulated memory: 96844 KiB
[startup+51.105 s]
/proc/loadavg: 4.25 4.17 4.12 5/263 24545
/proc/meminfo: memFree=129339872/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=232840 memory=196244 CPUtime=50.93 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 47107 0 0 0 5084 9 0 0 20 0 1 0 34617063 238428160 49061 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 58210 49061 4000 3530 0 49661 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 232840 KiB
Current children cumulated memory: 196244 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/263 24547
/proc/meminfo: memFree=129242868/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=232840 memory=198932 CPUtime=101.99 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 47341 0 0 0 10190 9 0 0 20 0 1 0 34617063 238428160 49733 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 58210 49733 4000 3530 0 49661 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 232840 KiB
Current children cumulated memory: 198932 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/264 24554
/proc/meminfo: memFree=129211732/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=232840 memory=204948 CPUtime=161.84 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 47408 0 0 0 16175 9 0 0 20 0 1 0 34617063 238428160 51237 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 58210 51237 4000 3530 0 49661 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 232840 KiB
Current children cumulated memory: 204948 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/264 24556
/proc/meminfo: memFree=129205932/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=232840 memory=204948 CPUtime=221.69 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 47472 0 0 0 22160 9 0 0 20 0 1 0 34617063 238428160 51237 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 58210 51237 4000 3530 0 49661 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 232840 KiB
Current children cumulated memory: 204948 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/263 24558
/proc/meminfo: memFree=129207692/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=232840 memory=204948 CPUtime=281.53 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 47472 0 0 0 28144 9 0 0 20 0 1 0 34617063 238428160 51237 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 58210 51237 4000 3530 0 49661 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 232840 KiB
Current children cumulated memory: 204948 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/264 24561
/proc/meminfo: memFree=129186300/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=232840 memory=204948 CPUtime=341.4 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 47532 0 0 0 34130 10 0 0 20 0 1 0 34617063 238428160 51237 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 58210 51237 4000 3530 0 49661 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 232840 KiB
Current children cumulated memory: 204948 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 24563
/proc/meminfo: memFree=129182124/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=232840 memory=204948 CPUtime=401.26 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 47532 0 0 0 40116 10 0 0 20 0 1 0 34617063 238428160 51237 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 58210 51237 4000 3530 0 49661 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 232840 KiB
Current children cumulated memory: 204948 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 24565
/proc/meminfo: memFree=129124532/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=232840 memory=204948 CPUtime=461.11 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 47589 0 0 0 46101 10 0 0 20 0 1 0 34617063 238428160 51237 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 58210 51237 4000 3530 0 49661 0
Current children cumulated CPU time: 461.11 s
################
# More data... #
################
/proc/loadavg: 4.09 4.09 4.09 5/265 24758
/proc/meminfo: memFree=129035932/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=274328 memory=247316 CPUtime=3153.14 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 127971 0 0 0 315286 28 0 0 20 0 1 0 34617063 280911872 61829 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 68582 61829 4160 3530 0 60033 0
Current children cumulated CPU time: 3153.14 s
Current children cumulated vsize: 274328 KiB
Current children cumulated memory: 247316 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 24760
/proc/meminfo: memFree=129039980/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=274328 memory=247316 CPUtime=3212.98 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 127971 0 0 0 321270 28 0 0 20 0 1 0 34617063 280911872 61829 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 68582 61829 4160 3530 0 60033 0
Current children cumulated CPU time: 3212.98 s
Current children cumulated vsize: 274328 KiB
Current children cumulated memory: 247316 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/265 24762
/proc/meminfo: memFree=129042856/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=274328 memory=247316 CPUtime=3272.84 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 128063 0 0 0 327255 29 0 0 20 0 1 0 34617063 280911872 61829 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 68582 61829 4160 3530 0 60033 0
Current children cumulated CPU time: 3272.84 s
Current children cumulated vsize: 274328 KiB
Current children cumulated memory: 247316 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 24764
/proc/meminfo: memFree=129046364/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=274328 memory=247316 CPUtime=3332.68 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 128071 0 0 0 333239 29 0 0 20 0 1 0 34617063 280911872 61829 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 68582 61829 4160 3530 0 60033 0
Current children cumulated CPU time: 3332.68 s
Current children cumulated vsize: 274328 KiB
Current children cumulated memory: 247316 KiB
[startup+3402.3 s]
/proc/loadavg: 4.30 4.17 4.12 5/262 24766
/proc/meminfo: memFree=129047756/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=274328 memory=247316 CPUtime=3392.53 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 128071 0 0 0 339224 29 0 0 20 0 1 0 34617063 280911872 61829 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 68582 61829 4160 3530 0 60033 0
Current children cumulated CPU time: 3392.53 s
Current children cumulated vsize: 274328 KiB
Current children cumulated memory: 247316 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/262 24768
/proc/meminfo: memFree=129049416/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=274328 memory=247316 CPUtime=3452.37 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 128071 0 0 0 345208 29 0 0 20 0 1 0 34617063 280911872 61829 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 68582 61829 4160 3530 0 60033 0
Current children cumulated CPU time: 3452.37 s
Current children cumulated vsize: 274328 KiB
Current children cumulated memory: 247316 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/262 24770
/proc/meminfo: memFree=129052456/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=274328 memory=247316 CPUtime=3512.22 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 128071 0 0 0 351193 29 0 0 20 0 1 0 34617063 280911872 61829 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 68582 61829 4160 3530 0 60033 0
Current children cumulated CPU time: 3512.22 s
Current children cumulated vsize: 274328 KiB
Current children cumulated memory: 247316 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/262 24772
/proc/meminfo: memFree=129048312/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=274328 memory=247316 CPUtime=3572.07 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 128071 0 0 0 357178 29 0 0 20 0 1 0 34617063 280911872 61829 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 68582 61829 4160 3530 0 60033 0
Current children cumulated CPU time: 3572.07 s
Current children cumulated vsize: 274328 KiB
Current children cumulated memory: 247316 KiB
[startup+3597.05 s]
# the end of solver process 24490 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.49 s, system=0.293614 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.14 4.10 5/262 24772
/proc/meminfo: memFree=129048320/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=274328 memory=247316 CPUtime=3573.77 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 128071 0 0 0 357348 29 0 0 20 0 1 0 34617063 280911872 61829 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 68582 61829 4160 3530 0 60033 0
Current children cumulated CPU time: 3573.77 s
Current children cumulated vsize: 274328 KiB
Current children cumulated memory: 247316 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.13 4.10 5/262 24772
/proc/meminfo: memFree=129048328/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=274328 memory=247316 CPUtime=3580.14 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 128071 0 0 0 357985 29 0 0 20 0 1 0 34617063 280911872 61829 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 68582 61829 4160 3530 0 60033 0
Current children cumulated CPU time: 3580.14 s
Current children cumulated vsize: 274328 KiB
Current children cumulated memory: 247316 KiB
[startup+3593.6 s]
/proc/loadavg: 4.10 4.13 4.10 5/262 24772
/proc/meminfo: memFree=129048328/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=274328 memory=247316 CPUtime=3583.34 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 128071 0 0 0 358305 29 0 0 20 0 1 0 34617063 280911872 61829 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 68582 61829 4160 3530 0 60033 0
Current children cumulated CPU time: 3583.34 s
Current children cumulated vsize: 274328 KiB
Current children cumulated memory: 247316 KiB
[startup+3595.2 s]
/proc/loadavg: 4.09 4.13 4.10 5/262 24772
/proc/meminfo: memFree=129048328/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=274328 memory=247316 CPUtime=3584.93 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 128071 0 0 0 358464 29 0 0 20 0 1 0 34617063 280911872 61829 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 68582 61829 4160 3530 0 60033 0
Current children cumulated CPU time: 3584.93 s
Current children cumulated vsize: 274328 KiB
Current children cumulated memory: 247316 KiB
[startup+3596 s]*
/proc/loadavg: 4.09 4.13 4.10 5/262 24772
/proc/meminfo: memFree=129048336/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=274328 memory=247316 CPUtime=3585.74 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 128071 0 0 0 358545 29 0 0 20 0 1 0 34617063 280911872 61829 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 68582 61829 4160 3530 0 60033 0
Current children cumulated CPU time: 3585.74 s
Current children cumulated vsize: 274328 KiB
Current children cumulated memory: 247316 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.13 4.10 5/262 24772
/proc/meminfo: memFree=129048336/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=274328 memory=247316 CPUtime=3586.53 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 128071 0 0 0 358624 29 0 0 20 0 1 0 34617063 280911872 61829 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 68582 61829 4160 3530 0 60033 0
Current children cumulated CPU time: 3586.53 s
Current children cumulated vsize: 274328 KiB
Current children cumulated memory: 247316 KiB
[startup+3597 s]*
/proc/loadavg: 4.09 4.13 4.10 5/262 24772
/proc/meminfo: memFree=129048352/131250000 swapFree=33010684/33010684
[pid=24490] ppid=24485 vsize=274328 memory=247316 CPUtime=3586.73 cores=4,6
/proc/24490/stat : 24490 (pbscip) R 24485 24490 23738 0 -1 4194304 128071 0 0 0 358644 29 0 0 20 0 1 0 34617063 280911872 61829 18446744073709551615 4235264 18693293 140733487100816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56844288 140733487102345 140733487102444 140733487102444 140733487108046 0
/proc/24490/statm: 68582 61829 4160 3530 0 60033 0
Current children cumulated CPU time: 3586.73 s
Current children cumulated vsize: 274328 KiB
Current children cumulated memory: 247316 KiB
Child status: 0
Real time (s): 3597.05
CPU time (s): 3586.79
CPU user time (s): 3586.49
CPU system time (s): 0.293614
CPU usage (%): 99.7146
Max. virtual memory (cumulated for all children) (KiB): 290096
Max. memory (cumulated for all children) (KiB): 262480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.49
system time used= 0.293614
maximum resident set size= 262480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128080
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= 1558
# summary of solver processes directly reported to runsolver:
# pid: 24490
# total CPU time (s): 3586.79
# total CPU user time (s): 3586.49
# total CPU system time (s): 0.293614
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.68182 second user time and 14.8375 second system time
The end
Begin job on nodeC026 at 2025-06-29 11:29:44 IDJOB=4507526 IDBENCH=158357 IDSOLVER=3365 FILE ID=nodeC026/4507526-1751189384 RUNJOBID= nodeC026-1751182186-23749 SLURM_JOB_ID= 9587556 Free space on /tmp= 433040 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K81.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507526-1751189384/watcher-4507526-1751189384 -o /tmp/evaluation-result-4507526-1751189384/solver-4507526-1751189384 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751182186-23749 --watchdog 3760 pbscip -f HOME/instance-4507526-1751189384.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a76247625d06f26dbfcd47fe69513f4b RANDOM SEED=1201654598 nodeC026 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 : 0xb00002a cpu MHz : 3599.757 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59 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 : 0xb00002a cpu MHz : 3600.029 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59 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 : 0xb00002a cpu MHz : 3677.018 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59 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 : 0xb00002a cpu MHz : 3599.791 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59 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 : 0xb00002a cpu MHz : 3598.419 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59 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 : 0xb00002a cpu MHz : 3599.788 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59 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 : 0xb00002a cpu MHz : 3599.573 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59 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 : 0xb00002a cpu MHz : 3599.205 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129384428 kB MemAvailable: 129193784 kB Buffers: 3280 kB Cached: 619160 kB SwapCached: 0 kB Active: 838428 kB Inactive: 398972 kB Active(anon): 633040 kB Inactive(anon): 0 kB Active(file): 205388 kB Inactive(file): 398972 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 56764 kB Writeback: 0 kB AnonPages: 617240 kB Mapped: 116136 kB Shmem: 18080 kB KReclaimable: 88472 kB Slab: 174136 kB SReclaimable: 88472 kB SUnreclaim: 85664 kB KernelStack: 4096 kB PageTables: 4224 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 932016 kB VmallocTotal: 34359738367 kB VmallocUsed: 150424 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 530432 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: 187092 kB DirectMap2M: 9021440 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432984 MiB End job on nodeC026 at 2025-06-29 12:29:41