Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIP 2024-07-07 | ? | 3585.68 | 3597.06 |
Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K98.opb |
MD5SUM | 5359c0df8e4997707ebdbb5ef15bc818 |
Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1.62095 |
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 | 6664 |
Total number of constraints | 6862 |
Number of constraints which are clauses | 6764 |
Number of constraints which are cardinality constraints (but not clauses) | 98 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 98 |
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 | 99 |
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.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f] 0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-4446975-1721342282.opb> 0.00/0.02 c original problem has 6664 variables (6664 bin, 0 int, 0 impl, 0 cont) and 6862 constraints 0.00/0.02 c problem read in 0.02 0.00/0.02 c No objective function, only one solution is needed. 0.00/0.04 c presolving: 0.00/0.05 c (round 1, fast) 148 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1331 clqs 0.00/0.06 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, 1318 clqs 0.00/0.06 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, 1323 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, 1349 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, 1364 clqs 0.00/0.08 c (0.1s) running MILP presolver 0.10/0.12 c (0.1s) MILP presolver (4 rounds): 0 aggregations, 100 fixings, 0 bound changes 0.10/0.12 c (round 6, medium) 683 del vars, 305 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1363 clqs 0.10/0.12 c (round 7, fast) 683 del vars, 405 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1366 clqs 0.10/0.13 c (round 8, exhaustive) 683 del vars, 501 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1366 clqs 0.10/0.15 c (round 9, exhaustive) 683 del vars, 501 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 6361 upgd conss, 0 impls, 1366 clqs 0.10/0.19 c (round 10, exhaustive) 745 del vars, 501 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 6361 upgd conss, 0 impls, 1353 clqs 0.10/0.19 c (round 11, fast) 807 del vars, 563 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 6361 upgd conss, 0 impls, 1353 clqs 0.59/0.66 c (round 12, exhaustive) 833 del vars, 564 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 6361 upgd conss, 0 impls, 39345 clqs 0.59/0.67 c (round 13, fast) 833 del vars, 590 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 121 chg coeffs, 6361 upgd conss, 0 impls, 39362 clqs 1.09/1.13 c (round 14, exhaustive) 859 del vars, 590 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 122 chg coeffs, 6361 upgd conss, 0 impls, 39786 clqs 1.09/1.13 c (round 15, fast) 859 del vars, 616 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 173 chg coeffs, 6361 upgd conss, 0 impls, 39792 clqs 1.18/1.22 c (round 16, exhaustive) 885 del vars, 616 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 173 chg coeffs, 6361 upgd conss, 0 impls, 39787 clqs 1.18/1.22 c (round 17, fast) 885 del vars, 642 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 213 chg coeffs, 6361 upgd conss, 0 impls, 39789 clqs 1.68/1.71 c (round 18, exhaustive) 910 del vars, 642 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 213 chg coeffs, 6361 upgd conss, 0 impls, 39806 clqs 1.68/1.72 c (round 19, fast) 910 del vars, 667 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 258 chg coeffs, 6361 upgd conss, 0 impls, 39808 clqs 1.68/1.77 c (round 20, exhaustive) 935 del vars, 667 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 258 chg coeffs, 6361 upgd conss, 0 impls, 39765 clqs 1.68/1.77 c (round 21, fast) 935 del vars, 692 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 285 chg coeffs, 6361 upgd conss, 0 impls, 39766 clqs 1.98/2.02 c (2.0s) probing: 1000/6140 (16.3%) - 146 fixings, 1 aggregations, 625901 implications, 0 bound changes 3.08/3.12 c (round 22, exhaustive) 960 del vars, 692 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 285 chg coeffs, 6361 upgd conss, 0 impls, 39789 clqs 3.08/3.12 c (round 23, fast) 960 del vars, 717 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 311 chg coeffs, 6361 upgd conss, 0 impls, 39789 clqs 3.18/3.21 c (round 24, exhaustive) 985 del vars, 717 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 311 chg coeffs, 6361 upgd conss, 0 impls, 39868 clqs 3.18/3.21 c (round 25, fast) 985 del vars, 742 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 339 chg coeffs, 6361 upgd conss, 0 impls, 39868 clqs 3.28/3.32 c (3.3s) probing: 2000/6140 (32.6%) - 180 fixings, 1 aggregations, 1174123 implications, 0 bound changes 4.27/4.35 c (4.3s) probing: 3000/6140 (48.9%) - 194 fixings, 1 aggregations, 1602889 implications, 0 bound changes 4.97/5.01 c (round 26, exhaustive) 1010 del vars, 742 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 339 chg coeffs, 6361 upgd conss, 0 impls, 39830 clqs 4.97/5.01 c (round 27, fast) 1010 del vars, 767 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 388 chg coeffs, 6361 upgd conss, 0 impls, 39833 clqs 5.37/5.40 c (5.4s) probing: 4000/6140 (65.1%) - 218 fixings, 1 aggregations, 2018522 implications, 0 bound changes 5.97/6.00 c (6.0s) probing: 4691/6140 (76.4%) - 218 fixings, 1 aggregations, 2295286 implications, 0 bound changes 5.97/6.00 c (6.0s) probing aborted: 1000/1000 successive useless probings 5.97/6.00 c (round 28, exhaustive) 1026 del vars, 767 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 388 chg coeffs, 6361 upgd conss, 0 impls, 39893 clqs 5.97/6.00 c (round 29, fast) 1026 del vars, 783 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 412 chg coeffs, 6361 upgd conss, 0 impls, 39893 clqs 6.07/6.13 c (6.1s) probing: 4791/6140 (78.0%) - 218 fixings, 1 aggregations, 2332833 implications, 0 bound changes 6.07/6.13 c (6.1s) probing aborted: 1000/1000 successive useless probings 6.07/6.14 c (6.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 6.07/6.17 c (6.2s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01) 6.07/6.17 c dynamic symmetry handling statistics: 6.07/6.17 c orbitopal reduction: no components 6.07/6.17 c orbital reduction: no components 6.07/6.17 c lexicographic reduction: 4 permutations with support sizes 184, 364, 184, 168 6.07/6.17 c handled 5 out of 5 symmetry components 6.07/6.17 c (round 30, exhaustive) 1032 del vars, 783 del conss, 1 add conss, 141 chg bounds, 0 chg sides, 412 chg coeffs, 6361 upgd conss, 0 impls, 39915 clqs 6.07/6.18 c (round 31, fast) 1032 del vars, 789 del conss, 1 add conss, 141 chg bounds, 0 chg sides, 424 chg coeffs, 6361 upgd conss, 0 impls, 39915 clqs 6.27/6.30 c (6.3s) probing: 4891/6140 (79.7%) - 218 fixings, 1 aggregations, 2373046 implications, 0 bound changes 6.27/6.30 c (6.3s) probing aborted: 1000/1000 successive useless probings 6.27/6.30 c presolving (32 rounds: 32 fast, 15 medium, 14 exhaustive): 6.27/6.30 c 1032 deleted vars, 789 deleted constraints, 1 added constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 424 changed coefficients 6.27/6.30 c 0 implications, 39927 cliques 6.27/6.30 c presolved problem has 5915 variables (5915 bin, 0 int, 0 impl, 0 cont) and 6074 constraints 6.27/6.30 c 1290 constraints of type <setppc> 6.27/6.30 c 1 constraints of type <orbitope> 6.27/6.30 c 4783 constraints of type <logicor> 6.27/6.30 c transformed objective value is always integral (scale: 1) 6.27/6.30 c Presolving Time: 6.26 6.27/6.30 c - non default parameters ---------------------------------------------------------------------- 6.27/6.30 c # SCIP version 10.0.0 6.27/6.30 c 6.27/6.30 c # maximal time in seconds to run 6.27/6.30 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20] 6.27/6.30 c limits/time = 3596.997048 6.27/6.30 c 6.27/6.30 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 6.27/6.30 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207] 6.27/6.30 c limits/memory = 27900 6.27/6.30 c 6.27/6.30 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit) 6.27/6.30 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1] 6.27/6.30 c limits/solutions = 1 6.27/6.30 c 6.27/6.30 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. 6.27/6.30 c # [type: int, advanced: FALSE, range: [0,7], default: 7] 6.27/6.30 c misc/usesymmetry = 3 6.27/6.30 c 6.27/6.30 c # belongs reading time to solving time? 6.27/6.30 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE] 6.27/6.30 c timing/reading = TRUE 6.27/6.30 c 6.27/6.30 c # Should we check whether the components of the symmetry group can be handled by double lex matrices? 6.27/6.30 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE] 6.27/6.30 c propagating/symmetry/detectdoublelex = FALSE 6.27/6.30 c 6.27/6.30 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables? 6.27/6.30 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE] 6.27/6.30 c propagating/symmetry/detectsubgroups = FALSE 6.27/6.30 c 6.27/6.30 c # Type of symmetries that shall be computed? 6.27/6.30 c # [type: int, advanced: TRUE, range: [0,1], default: 0] 6.27/6.30 c propagating/symmetry/symtype = 1 6.27/6.30 c 6.27/6.30 c # Should components consisting of a single full reflection be handled? 6.27/6.30 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE] 6.27/6.30 c propagating/symmetry/usesimplesgncomp = FALSE 6.27/6.30 c 6.27/6.30 c ----------------------------------------------------------------------------------------------- 6.27/6.30 c start solving 6.27/6.31 c 9.85/9.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 9.85/9.90 c 9.9s| 1 | 0 | 11059 | - | 89M | 0 |5915 |6199 |6073 | 0 | 0 | 124 | 0 | 0.000000e+00 | -- | Inf | unknown 46.54/46.74 c 46.7s| 1 | 0 | 65994 | - | 101M | 0 |5915 |6408 |6081 | 8 | 1 | 133 | 0 | 0.000000e+00 | -- | Inf | unknown 48.64/48.87 c 48.9s| 1 | 0 | 69964 | - | 106M | 0 |5915 |6411 |6085 | 12 | 2 | 136 | 0 | 0.000000e+00 | -- | Inf | unknown 51.03/51.22 c 51.2s| 1 | 0 | 74281 | - | 107M | 0 |5915 |6411 |6091 | 18 | 3 | 137 | 0 | 0.000000e+00 | -- | Inf | unknown 53.02/53.27 c 53.3s| 1 | 0 | 77717 | - | 108M | 0 |5915 |6410 |6098 | 25 | 4 | 138 | 0 | 0.000000e+00 | -- | Inf | unknown 56.41/56.63 c 56.6s| 1 | 0 | 84229 | - | 110M | 0 |5915 |6409 |6109 | 36 | 5 | 140 | 0 | 0.000000e+00 | -- | Inf | unknown 59.10/59.30 c 59.3s| 1 | 0 | 89032 | - | 110M | 0 |5915 |6416 |6124 | 51 | 6 | 150 | 0 | 0.000000e+00 | -- | Inf | unknown 60.80/61.08 c 61.1s| 1 | 0 | 91567 | - | 113M | 0 |5915 |6417 |6130 | 57 | 7 | 153 | 0 | 0.000000e+00 | -- | Inf | unknown 66.48/66.79 c 66.8s| 1 | 0 |101923 | - | 115M | 0 |5915 |6418 |6141 | 68 | 8 | 155 | 0 | 0.000000e+00 | -- | Inf | unknown 70.66/70.93 c 70.9s| 1 | 0 |108644 | - | 116M | 0 |5915 |6420 |6153 | 80 | 9 | 158 | 0 | 0.000000e+00 | -- | Inf | unknown 73.86/74.13 c 74.1s| 1 | 0 |114441 | - | 116M | 0 |5915 |6426 |6161 | 88 | 10 | 164 | 0 | 0.000000e+00 | -- | Inf | unknown 76.54/76.87 c 76.9s| 1 | 0 |119817 | - | 117M | 0 |5915 |6427 |6171 | 98 | 11 | 167 | 0 | 0.000000e+00 | -- | Inf | unknown 110.65/111.06 c 111s| 1 | 2 |169754 | - | 118M | 0 |5915 |6434 |6171 | 98 | 11 | 201 | 10 | 0.000000e+00 | -- | Inf | unknown 838.79/841.31 c 841s| 100 | 85 | 1412k|13061.3 | 137M | 18 |5915 |6478 |6121 | 283 | 1 | 372 | 10 | 0.000000e+00 | -- | Inf | unknown 1198.52/1202.11 c 1202s| 200 | 143 | 2304k|10977.7 | 157M | 20 |5915 |6551 |6114 | 446 | 1 | 504 | 10 | 0.000000e+00 | -- | Inf | unknown 1378.88/1383.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 1378.88/1383.10 c 1383s| 300 | 163 | 2751k|8800.1 | 165M | 20 |5915 |6606 |6119 | 515 | 0 | 629 | 10 | 0.000000e+00 | -- | Inf | unknown 1474.09/1478.59 c 1479s| 400 | 171 | 2997k|7211.9 | 171M | 20 |5915 |6614 |6120 | 603 | 1 | 697 | 10 | 0.000000e+00 | -- | Inf | unknown 1571.01/1575.70 c 1576s| 500 | 179 | 3288k|6349.6 | 177M | 31 |5915 |6743 |6118 | 665 | 1 | 849 | 10 | 0.000000e+00 | -- | Inf | unknown 1677.09/1682.14 c 1682s| 600 | 193 | 3572k|5764.3 | 178M | 38 |5915 |6694 |6114 | 678 | 0 | 900 | 10 | 0.000000e+00 | -- | Inf | unknown 1734.82/1740.08 c 1740s| 700 | 197 | 3735k|5172.6 | 179M | 38 |5915 |6691 |6118 | 731 | 0 | 928 | 10 | 0.000000e+00 | -- | Inf | unknown 1774.69/1780.02 c 1780s| 800 | 197 | 3856k|4677.1 | 180M | 38 |5915 |6712 |6118 | 740 | 1 | 990 | 10 | 0.000000e+00 | -- | Inf | unknown 1837.00/1842.59 c 1843s| 900 | 199 | 4038k|4358.4 | 181M | 38 |5915 |6694 |6119 | 790 | 1 |1043 | 10 | 0.000000e+00 | -- | Inf | unknown 1870.00/1875.62 c 1876s| 1000 | 207 | 4143k|4027.6 | 181M | 38 |5915 |6714 |6118 | 821 | 1 |1069 | 10 | 0.000000e+00 | -- | Inf | unknown 1900.50/1906.28 c 1906s| 1100 | 205 | 4246k|3754.9 | 181M | 38 |5915 |6711 |6117 | 835 | 0 |1069 | 10 | 0.000000e+00 | -- | Inf | unknown 1933.80/1939.62 c 1940s| 1200 | 205 | 4357k|3534.5 | 181M | 38 |5915 |6762 |6117 | 842 | 1 |1125 | 10 | 0.000000e+00 | -- | Inf | unknown 1962.61/1968.59 c 1969s| 1300 | 205 | 4457k|3339.0 | 182M | 40 |5915 |6800 |6117 | 850 | 1 |1183 | 10 | 0.000000e+00 | -- | Inf | unknown 1999.21/2005.27 c 2005s| 1400 | 201 | 4583k|3190.7 | 182M | 40 |5915 |6799 | 0 | 872 | 0 |1190 | 10 | 0.000000e+00 | -- | Inf | unknown 2054.12/2060.31 c 2060s| 1500 | 203 | 4753k|3091.4 | 182M | 40 |5915 |6803 |6125 | 904 | 1 |1214 | 10 | 0.000000e+00 | -- | Inf | unknown 2098.16/2104.57 c 2105s| 1600 | 203 | 4896k|2987.4 | 183M | 40 |5915 |6814 |6128 | 937 | 1 |1230 | 10 | 0.000000e+00 | -- | Inf | unknown 2143.61/2150.18 c 2150s| 1700 | 207 | 5036k|2893.9 | 183M | 40 |5915 |6776 |6126 | 967 | 1 |1247 | 10 | 0.000000e+00 | -- | Inf | unknown 2183.06/2189.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 2183.06/2189.79 c 2190s| 1800 | 203 | 5162k|2803.3 | 183M | 40 |5915 |6781 |6128 | 986 | 0 |1254 | 10 | 0.000000e+00 | -- | Inf | unknown 2270.65/2277.68 c 2278s| 1900 | 207 | 5396k|2778.5 | 183M | 40 |5915 |6782 |6125 |1021 | 1 |1265 | 10 | 0.000000e+00 | -- | Inf | unknown 2308.81/2315.93 c 2316s| 2000 | 205 | 5517k|2700.4 | 183M | 40 |5915 |6784 |6127 |1045 | 0 |1267 | 10 | 0.000000e+00 | -- | Inf | unknown 2350.97/2358.22 c 2358s| 2100 | 205 | 5647k|2633.4 | 184M | 40 |5915 |6770 |6114 |1064 | 0 |1284 | 10 | 0.000000e+00 | -- | Inf | unknown 2361.03/2368.34 c Restart triggered after 50 consecutive estimations that the remaining tree will be large 2361.03/2368.34 c (run 1, node 2114) performing user restart 2361.03/2368.34 c 2361.03/2368.35 c (restart) converted 28 cuts from the global cut pool into linear constraints 2361.03/2368.35 c 2361.03/2368.36 c presolving: 2361.03/2368.37 c (round 1, fast) 0 del vars, 24 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 39927 clqs 2361.03/2368.38 c (round 2, exhaustive) 0 del vars, 37 del conss, 0 add conss, 0 chg bounds, 12 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 39927 clqs 2361.03/2368.39 c (round 3, exhaustive) 0 del vars, 37 del conss, 0 add conss, 0 chg bounds, 12 chg sides, 1 chg coeffs, 151 upgd conss, 0 impls, 39927 clqs 2361.13/2368.40 c (round 4, medium) 0 del vars, 38 del conss, 5 add conss, 0 chg bounds, 23 chg sides, 27 chg coeffs, 151 upgd conss, 0 impls, 39927 clqs 2361.13/2368.41 c (round 5, exhaustive) 0 del vars, 56 del conss, 5 add conss, 0 chg bounds, 23 chg sides, 39 chg coeffs, 151 upgd conss, 0 impls, 39927 clqs 2361.23/2368.59 c (round 6, exhaustive) 0 del vars, 77 del conss, 5 add conss, 0 chg bounds, 23 chg sides, 3265 chg coeffs, 151 upgd conss, 0 impls, 39927 clqs 2361.43/2368.72 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive): 2361.43/2368.72 c 0 deleted vars, 80 deleted constraints, 5 added constraints, 0 tightened bounds, 0 added holes, 23 changed sides, 3297 changed coefficients 2361.43/2368.72 c 0 implications, 39927 cliques 2361.43/2368.72 c presolved problem has 5915 variables (5915 bin, 0 int, 0 impl, 0 cont) and 6721 constraints 2361.43/2368.72 c 14 constraints of type <knapsack> 2361.43/2368.72 c 1486 constraints of type <setppc> 2361.43/2368.72 c 1 constraints of type <linear> 2361.43/2368.72 c 1 constraints of type <orbitope> 2361.43/2368.72 c 5219 constraints of type <logicor> 2361.43/2368.72 c transformed objective value is always integral (scale: 1) 2361.43/2368.72 c Presolving Time: 6.63 2361.43/2368.72 c 2365.53/2372.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 2365.53/2372.80 c 2373s| 1 | 0 | 5689k| - | 185M | 0 |5915 |6724 |6087 | 0 | 0 |1288 | 10 | 0.000000e+00 | -- | Inf | unknown 2369.01/2376.37 c 2376s| 1 | 0 | 5695k| - | 186M | 0 |5915 |6715 |6106 | 19 | 1 |1289 | 10 | 0.000000e+00 | -- | Inf | unknown 2372.70/2380.05 c 2380s| 1 | 0 | 5703k| - | 186M | 0 |5915 |6689 |6123 | 36 | 2 |1290 | 10 | 0.000000e+00 | -- | Inf | unknown 2375.88/2383.26 c 2383s| 1 | 0 | 5709k| - | 187M | 0 |5915 |6682 |6134 | 47 | 3 |1291 | 10 | 0.000000e+00 | -- | Inf | unknown 2378.87/2386.27 c 2386s| 1 | 0 | 5714k| - | 187M | 0 |5915 |6671 |6146 | 59 | 4 |1293 | 10 | 0.000000e+00 | -- | Inf | unknown 2384.55/2391.91 c 2392s| 1 | 0 | 5725k| - | 188M | 0 |5915 |6653 |6165 | 78 | 5 |1294 | 10 | 0.000000e+00 | -- | Inf | unknown 2390.74/2398.16 c 2398s| 1 | 0 | 5735k| - | 188M | 0 |5915 |6659 |6177 | 90 | 6 |1304 | 10 | 0.000000e+00 | -- | Inf | unknown 2397.11/2404.51 c 2405s| 1 | 0 | 5746k| - | 189M | 0 |5915 |6662 |6192 | 105 | 7 |1308 | 10 | 0.000000e+00 | -- | Inf | unknown 2403.49/2410.90 c 2411s| 1 | 0 | 5756k| - | 190M | 0 |5915 |6655 |6209 | 122 | 8 |1309 | 10 | 0.000000e+00 | -- | Inf | unknown 2406.78/2414.23 c 2414s| 1 | 0 | 5761k| - | 190M | 0 |5915 |6651 |6213 | 126 | 9 |1310 | 10 | 0.000000e+00 | -- | Inf | unknown 2411.66/2419.13 c 2419s| 1 | 0 | 5770k| - | 191M | 0 |5915 |6652 |6229 | 142 | 10 |1314 | 10 | 0.000000e+00 | -- | Inf | unknown 2416.44/2423.94 c 2424s| 1 | 0 | 5779k| - | 192M | 0 |5915 |6647 |6242 | 155 | 11 |1315 | 10 | 0.000000e+00 | -- | Inf | unknown 2452.12/2459.77 c 2460s| 1 | 2 | 5825k| - | 192M | 0 |5915 |6630 |6242 | 155 | 11 |1334 | 29 | 0.000000e+00 | -- | Inf | unknown 2572.80/2580.86 c 2581s| 100 | 34 | 6137k|2673.1 | 195M | 36 |5915 |6652 |6157 | 262 | 0 |1374 | 29 | 0.000000e+00 | -- | Inf | unknown 2616.74/2624.93 c 2625s| 200 | 33 | 6276k|2617.2 | 198M | 36 |5915 |6709 |6154 | 286 | 1 |1433 | 29 | 0.000000e+00 | -- | Inf | unknown 2759.14/2767.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 2759.14/2767.89 c 2768s| 300 | 41 | 6625k|2653.5 | 202M | 36 |5915 |6815 |6148 | 304 | 0 |1610 | 29 | 0.000000e+00 | -- | Inf | unknown 2825.22/2834.19 c 2834s| 400 | 41 | 6821k|2626.1 | 204M | 36 |5915 |6856 |6155 | 319 | 1 |1658 | 29 | 0.000000e+00 | -- | Inf | unknown 2885.40/2894.51 c 2895s| 500 | 41 | 6999k|2593.7 | 206M | 40 |5915 |6904 |6157 | 330 | 1 |1714 | 29 | 0.000000e+00 | -- | Inf | unknown 2997.10/3006.65 c 3007s| 600 | 44 | 7304k|2610.4 | 207M | 40 |5915 |6929 |6151 | 368 | 1 |1756 | 29 | 0.000000e+00 | -- | Inf | unknown 3091.77/3101.67 c 3102s| 700 | 54 | 7569k|2611.8 | 209M | 40 |5915 |7004 |6155 | 448 | 1 |1848 | 29 | 0.000000e+00 | -- | Inf | unknown 3149.36/3159.47 c 3159s| 800 | 50 | 7734k|2579.0 | 212M | 40 |5915 |7069 |6152 | 471 | 0 |1922 | 29 | 0.000000e+00 | -- | Inf | unknown 3213.25/3223.53 c 3224s| 900 | 50 | 7922k|2555.6 | 214M | 40 |5915 |7090 |6165 | 508 | 0 |1971 | 29 | 0.000000e+00 | -- | Inf | unknown 3271.97/3282.49 c 3282s| 1000 | 50 | 8093k|2528.4 | 214M | 40 |5915 |7094 |6153 | 542 | 2 |2015 | 29 | 0.000000e+00 | -- | Inf | unknown 3331.29/3341.91 c 3342s| 1100 | 48 | 8270k|2504.9 | 215M | 40 |5915 |7106 |6158 | 620 | 1 |2048 | 29 | 0.000000e+00 | -- | Inf | unknown 3408.85/3419.72 c 3420s| 1200 | 48 | 8505k|2500.2 | 215M | 40 |5915 |7127 |6157 | 706 | 0 |2085 | 29 | 0.000000e+00 | -- | Inf | unknown 3480.73/3491.88 c 3492s| 1300 | 50 | 8720k|2489.9 | 216M | 40 |5915 |7152 |6154 | 755 | 1 |2118 | 29 | 0.000000e+00 | -- | Inf | unknown 3552.31/3563.62 c 3564s| 1400 | 48 | 8934k|2480.0 | 216M | 40 |5915 |7158 |6151 | 889 | 1 |2134 | 29 | 0.000000e+00 | -- | Inf | unknown 3585.51/3597.00 c 3585.51/3597.00 c SCIP Status : solving was interrupted [time limit reached] 3585.51/3597.00 c Solving Time (sec) : 3597.00 3585.51/3597.00 c Solving Nodes : 1439 (total of 3553 nodes in 2 runs) 3585.51/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions) 3585.51/3597.00 c Dual Bound : +0.00000000000000e+00 3585.51/3597.00 c Gap : infinite 3585.51/3597.00 s UNKNOWN 3585.51/3597.00 c SCIP Status : solving was interrupted [time limit reached] 3585.51/3597.00 c Total Time : 3597.00 3585.51/3597.00 c solving : 3597.00 3585.51/3597.00 c presolving : 6.63 (included in solving) 3585.51/3597.00 c reading : 0.02 (included in solving) 3585.51/3597.00 c copying : 1.70 (105 #copies) (minimal 0.01, maximal 0.02, average 0.02) 3585.51/3597.00 c Original Problem : 3585.51/3597.00 c Problem name : HOME/instance-4446975-1721342282.opb 3585.51/3597.00 c Variables : 6664 (6664 binary, 0 integer, 0 implicit integer, 0 continuous) 3585.51/3597.00 c Constraints : 6862 initial, 6862 maximal 3585.62/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20) 3585.62/3597.00 c Presolved Problem : 3585.62/3597.00 c Problem name : t_HOME/instance-4446975-1721342282.opb 3585.62/3597.00 c Variables : 5915 (5915 binary, 0 integer, 0 implicit integer, 0 continuous) 3585.62/3597.00 c Constraints : 6721 initial, 7160 maximal 3585.62/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20) 3585.62/3597.00 c Nonzeros : 68418 constraint, 85648 clique table 3585.62/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs 3585.62/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c domcol : 0.11 0.00 12 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c gateextraction : 0.05 0.00 17 0 0 0 0 0 1 0 0 0 3585.62/3597.00 c implics : 0.00 0.00 21 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c milp : 0.06 0.00 1 100 0 0 0 0 0 0 0 0 3585.62/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c sparsify : 0.15 0.00 3 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c trivial : 0.00 0.00 39 283 0 0 0 0 0 0 0 0 3585.62/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c dualfix : 0.00 0.00 39 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c probing : 5.41 0.00 11 218 1 0 0 0 0 0 0 0 3585.62/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c symmetry : 0.03 0.00 1 6 0 0 0 0 0 1 0 0 3585.62/3597.00 c vbounds : 0.01 0.00 3 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c knapsack : 0.01 0.00 18 0 0 0 0 0 0 5 11 52 3585.62/3597.00 c setppc : 0.06 0.00 65 0 0 0 0 0 103 0 0 0 3585.62/3597.00 c linear : 0.05 0.00 22 141 0 0 141 0 514 0 12 0 3585.62/3597.00 c orbitope : 0.00 0.00 7 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c logicor : 0.65 0.01 62 62 0 0 0 0 251 0 0 3669 3585.62/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c root node : - - - 0 - - 0 - - - - - 3585.62/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children 3585.62/3597.00 c benderslp : 0 0 0 0 1902 0 0 335 0 0 0 0 0 0 0 3585.62/3597.00 c integral : 0 0 0 0 1902 0 0 335 0 0 0 0 0 0 3804 3585.62/3597.00 c knapsack : 14 14 11 21544 0 0 0 0 8000 0 2831 0 0 0 0 3585.62/3597.00 c setppc : 1486+ 1530 22 131852 0 0 0 330 789233 187 172713 3 1 0 0 3585.62/3597.00 c linear : 1+ 2 11 51531 0 0 0 3 483 6 247 2 2 0 0 3585.62/3597.00 c orbitope : 1 1 0 58958 0 0 0 0 2867 1 1043 0 0 0 0 3585.62/3597.00 c logicor : 5219+ 5615 22 109575 0 0 0 0 1385372 365 234098 82 49 0 0 3585.62/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop 3585.62/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3585.62/3597.00 c integral : 16.03 0.00 0.00 0.00 16.03 0.00 0.00 0.00 0.00 0.00 3585.62/3597.00 c knapsack : 0.03 0.00 0.01 0.02 0.00 0.00 0.00 0.00 0.00 0.00 3585.62/3597.00 c setppc : 1.30 0.00 0.00 1.11 0.00 0.00 0.00 0.00 0.17 0.01 3585.62/3597.00 c linear : 0.11 0.00 0.01 0.08 0.00 0.00 0.00 0.00 0.00 0.01 3585.62/3597.00 c orbitope : 0.10 0.00 0.00 0.09 0.00 0.00 0.00 0.00 0.00 0.00 3585.62/3597.00 c logicor : 2.91 0.01 0.02 2.39 0.00 0.00 0.00 0.00 0.47 0.02 3585.62/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3585.62/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3585.62/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3585.62/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3585.62/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds 3585.62/3597.00 c dualfix : 2 0 0 0 3585.62/3597.00 c genvbounds : 0 0 0 0 3585.62/3597.00 c nlobbt : 0 0 0 0 3585.62/3597.00 c obbt : 0 0 0 0 3585.62/3597.00 c probing : 0 0 0 0 3585.62/3597.00 c pseudoobj : 0 0 0 0 3585.62/3597.00 c redcost : 0 0 0 0 3585.62/3597.00 c rootredcost : 0 0 0 0 3585.62/3597.00 c symmetry : 18839 0 0 18 3585.62/3597.00 c vbounds : 29894 0 0 0 3585.62/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop 3585.62/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00 3585.62/3597.00 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00 3585.62/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00 3585.62/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00 3585.62/3597.00 c probing : 5.41 0.00 5.41 0.00 0.00 0.00 3585.62/3597.00 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00 3585.62/3597.00 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00 3585.62/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00 3585.62/3597.00 c symmetry : 0.14 0.00 0.03 0.11 0.00 0.00 3585.62/3597.00 c vbounds : 0.28 0.00 0.01 0.27 0.00 0.00 3585.62/3597.00 c Symmetry : 3585.62/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs 3585.62/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs 3585.62/3597.00 c lexicographic red: 18 reductions applied, 0 cutoffs 3585.62/3597.00 c shadow tree time : 0.01 s 3585.62/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000]) 3585.62/3597.00 c propagation : 0.05 551 403 - 1681 92.7 47 12.3 - - - 3585.62/3597.00 c infeasible LP : 6.00 1692 643 - 14431 1107.3 26 9.2 9 205.8 0 3585.62/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0 3585.62/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0 3585.62/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - - 3585.62/3597.00 c applied globally : 0.07 - - 0 2122 164.1 - - 9 - - 3585.62/3597.00 c applied locally : - - - 0 7 1476.6 - - 0 - - 3585.62/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss 3585.62/3597.00 c cut pool : 0.10 - 515 42 - - 1430 12713 - - - - - (maximal pool size: 833) 3585.62/3597.00 c aggregation : 0.10 0.00 71 22 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 - 3585.62/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 - 3585.62/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 - 3585.62/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c clique : 0.74 0.00 22 22 0 0 153 1017 0 566 566 0 0 3585.62/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c gomory : 12.29 0.00 69 20 0 0 1199 10778 146 734 729 5 0 3585.62/3597.00 c > gomorymi : - - - - - - - 5158 73 394 389 5 - 3585.62/3597.00 c > strongcg : - - - - - - - 5620 73 340 340 0 - 3585.62/3597.00 c impliedbounds : 0.10 0.00 71 22 0 0 70 342 0 209 209 0 0 3585.62/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c multilinear : 0.00 0.00 90 22 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c rapidlearning : 33.15 0.00 100 1 0 21145 0 0 0 0 0 0 370 3585.62/3597.00 c rlt : 0.00 0.00 52 20 0 0 0 0 0 0 0 0 0 3585.62/3597.00 c zerohalf : 6.66 0.00 71 22 0 0 271 576 117 465 373 92 0 3585.62/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt 3585.62/3597.00 c hybrid : 0.02 0.00 368 22 2030 0 10592 253 0 186 3585.62/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0 3585.62/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0 3585.62/3597.00 c Pricers : ExecTime SetupTime Calls Vars 3585.62/3597.00 c problem variables: 0.00 - 0 0 3585.62/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children 3585.62/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0 3585.62/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0 3585.62/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0 3585.62/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0 3585.62/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 3585.62/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0 3585.62/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0 3585.62/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0 3585.62/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0 3585.62/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0 3585.62/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0 3585.62/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0 3585.62/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0 3585.62/3597.00 c relpscost : 16.03 0.00 1902 0 0 0 0 0 0 3804 3585.62/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0 3585.62/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best 3585.62/3597.00 c LP solutions : 0.00 - - 0 0 3585.62/3597.00 c relax solutions : 0.00 - - 0 0 3585.62/3597.00 c pseudo solutions : 0.00 - - 0 0 3585.62/3597.00 c strong branching : 0.00 - - 0 0 3585.62/3597.00 c actconsdiving : 0.00 0.00 0 0 0 3585.62/3597.00 c adaptivediving : 71.71 0.00 6 0 0 3585.62/3597.00 c alns : 7.85 0.00 3 0 0 3585.62/3597.00 c bound : 0.00 0.00 0 0 0 3585.62/3597.00 c clique : 0.02 0.00 1 0 0 3585.62/3597.00 c coefdiving : 0.00 0.00 0 0 0 3585.62/3597.00 c completesol : 0.00 0.00 0 0 0 3585.62/3597.00 c conflictdiving : 157.07 0.00 12 0 0 3585.62/3597.00 c crossover : 0.00 0.00 0 0 0 3585.62/3597.00 c dins : 0.00 0.00 0 0 0 3585.62/3597.00 c distributiondivin: 82.26 0.00 9 0 0 3585.62/3597.00 c dps : 0.00 0.00 0 0 0 3585.62/3597.00 c dualval : 0.00 0.00 0 0 0 3585.62/3597.00 c farkasdiving : 0.00 0.00 0 0 0 3585.62/3597.00 c feasjump : 0.05 0.00 2 0 0 3585.62/3597.00 c feaspump : 94.89 0.00 5 0 0 3585.62/3597.00 c fixandinfer : 0.00 0.00 0 0 0 3585.62/3597.00 c fracdiving : 74.24 0.00 9 0 0 3585.62/3597.00 c gins : 0.00 0.00 0 0 0 3585.62/3597.00 c guideddiving : 0.00 0.00 0 0 0 3585.62/3597.00 c indcoefdiving : 0.00 0.00 0 0 0 3585.62/3597.00 c indicator : 0.00 0.00 0 0 0 3585.62/3597.00 c indicatordiving : 0.00 0.00 0 0 0 3585.62/3597.00 c indoneopt : 0.00 0.00 0 0 0 3585.62/3597.00 c indrounding : 0.00 0.00 0 0 0 3585.62/3597.00 c indtwoopt : 0.00 0.00 0 0 0 3585.62/3597.00 c intdiving : 0.00 0.00 0 0 0 3585.62/3597.00 c intshifting : 0.00 0.00 0 0 0 3585.62/3597.00 c linesearchdiving : 99.65 0.00 9 0 0 3585.62/3597.00 c localbranching : 0.00 0.00 0 0 0 3585.62/3597.00 c locks : 0.02 0.00 1 0 0 3585.62/3597.00 c lpface : 0.02 0.00 0 0 0 3585.62/3597.00 c mpec : 0.00 0.00 0 0 0 3585.62/3597.00 c multistart : 0.00 0.00 0 0 0 3585.62/3597.00 c mutation : 0.00 0.00 0 0 0 3585.62/3597.00 c nlpdiving : 0.00 0.00 0 0 0 3585.62/3597.00 c objpscostdiving : 258.59 0.00 2 0 0 3585.62/3597.00 c octane : 0.00 0.00 0 0 0 3585.62/3597.00 c ofins : 0.00 0.00 0 0 0 3585.62/3597.00 c oneopt : 0.00 0.00 0 0 0 3585.62/3597.00 c padm : 0.00 0.00 0 0 0 3585.62/3597.00 c proximity : 0.00 0.00 0 0 0 3585.62/3597.00 c pscostdiving : 114.76 0.00 10 0 0 3585.62/3597.00 c randrounding : 0.27 0.00 345 0 0 3585.62/3597.00 c rens : 0.21 0.00 2 0 0 3585.62/3597.00 c reoptsols : 0.00 0.00 0 0 0 3585.62/3597.00 c repair : 0.00 0.00 0 0 0 3585.62/3597.00 c rins : 0.00 0.00 0 0 0 3585.62/3597.00 c rootsoldiving : 58.09 0.00 4 0 0 3585.62/3597.00 c rounding : 0.13 0.00 635 0 0 3585.62/3597.00 c scheduler : 0.00 0.00 0 0 0 3585.62/3597.00 c shiftandpropagate: 0.03 0.00 2 0 0 3585.62/3597.00 c shifting : 0.39 0.00 286 0 0 3585.62/3597.00 c simplerounding : 0.00 0.00 0 0 0 3585.62/3597.00 c smallcard : 0.00 0.00 0 0 0 3585.62/3597.00 c subnlp : 0.00 0.00 0 0 0 3585.62/3597.00 c trivial : 0.01 0.00 4 0 0 3585.62/3597.00 c trivialnegation : 0.00 0.00 0 0 0 3585.62/3597.00 c trustregion : 0.00 0.00 0 0 0 3585.62/3597.00 c trysol : 0.00 0.00 0 0 0 3585.62/3597.00 c twoopt : 0.00 0.00 0 0 0 3585.62/3597.00 c undercover : 0.00 0.00 0 0 0 3585.62/3597.00 c vbounds : 0.02 0.00 2 0 0 3585.62/3597.00 c veclendiving : 130.09 0.00 9 0 0 3585.62/3597.00 c zeroobj : 0.00 0.00 0 0 0 3585.62/3597.00 c zirounding : 0.07 0.00 1000 0 0 3585.62/3597.00 c other solutions : - - - 0 - 3585.62/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv 3585.62/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1 3585.62/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1 3585.62/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1 3585.62/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1 3585.62/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1 3585.62/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1 3585.62/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1 3585.62/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0 3585.62/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0 3585.62/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit 3585.62/3597.00 c primal LP : 0.45 130 0 0.00 0.00 0.45 130 3585.62/3597.00 c dual LP : 2358.19 3887 6774988 1748.38 2872.96 0.02 12 3585.62/3597.00 c lex dual LP : 0.00 0 0 0.00 - 3585.62/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0 3585.62/3597.00 c resolve instable : 14.99 60 16816 280.27 1121.85 3585.62/3597.00 c diving/probing LP: 1139.84 2061 2261251 1097.16 1983.83 3585.62/3597.00 c strong branching : 12.25 29 23462 809.03 1915.30 - - 41 3585.62/3597.00 c (at root node) : - 29 23462 809.03 - 3585.62/3597.00 c conflict analysis: 0.00 0 0 0.00 - 3585.62/3597.00 c B&B Tree : 3585.62/3597.00 c number of runs : 2 3585.62/3597.00 c nodes : 1439 (743 internal, 696 leaves) 3585.62/3597.00 c feasible leaves : 0 3585.62/3597.00 c infeas. leaves : 695 3585.62/3597.00 c objective leaves : 0 3585.62/3597.00 c nodes (total) : 3553 (1902 internal, 1651 leaves) 3585.62/3597.00 c nodes left : 46 3585.62/3597.00 c max depth : 40 3585.62/3597.00 c max depth (total): 40 3585.62/3597.00 c backtracks : 191 (13.3%) 3585.62/3597.00 c early backtracks : 0 (0.0%) 3585.62/3597.00 c nodes exc. ref. : 0 (0.0%) 3585.62/3597.00 c delayed cutoffs : 3 3585.62/3597.00 c repropagations : 1164 (7798 domain reductions, 2 cutoffs) 3585.62/3597.00 c avg switch length: 3.38 3585.62/3597.00 c switching time : 1.53 3585.62/3597.00 c Root Node : 3585.62/3597.00 c First LP value : +0.00000000000000e+00 3585.62/3597.00 c First LP Iters : 11059 (3158.09 Iter/sec) 3585.62/3597.00 c First LP Time : 3.50 3585.62/3597.00 c Final Dual Bound : +0.00000000000000e+00 3585.62/3597.00 c Final Root Iters : 222370 3585.62/3597.00 c Root LP Estimate : +4.71441431649986e-02 3585.62/3597.00 c Solution : 3585.62/3597.00 c Solutions found : 0 (0 improvements) 3585.62/3597.00 c Primal Bound : - 3585.62/3597.00 c Dual Bound : +0.00000000000000e+00 3585.62/3597.00 c Gap : infinite 3585.62/3597.00 c Integrals : Total Avg% 3585.62/3597.00 c primal-dual : 359699.76 100.00 3585.62/3597.00 c primal-ref : - - (not evaluated) 3585.62/3597.00 c dual-ref : - - (not evaluated) 3585.62/3597.05 c Time complete: 3585.68.
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: 63931 MiB (59985 MiB free) memory of node 1: 64510 MiB (60735 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446975-1721342282/watcher-4446975-1721342282 -o /tmp/evaluation-result-4446975-1721342282/solver-4446975-1721342282 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721342295-1010591 --watchdog 3760 pbscip -f HOME/instance-4446975-1721342282.opb -t 3600 -j 2 -m 31000 running on 2 cores: 0,2 CPU governors: performance: 0 2 Enforcing FSIZE limit: 104857600 KiB Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 4.18.0-301.1.el8.x86_64 Starting watchdog thread solver pid=1010643, runsolver pid=1010634 Current StackSize limit: 8192 KiB [startup+0.100088 s]* /proc/loadavg: 1.23 2.00 2.96 5/256 1010655 /proc/meminfo: memFree=123471640/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=94976 memory=55280 CPUtime=0.1 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 11486 0 0 0 9 1 0 0 20 0 1 0 186393582 97255424 13820 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 23744 13820 3621 3540 0 12001 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 94976 KiB Current children cumulated memory: 55280 KiB [startup+0.206091 s]* /proc/loadavg: 1.23 2.00 2.96 6/256 1010655 /proc/meminfo: memFree=123438272/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=99984 memory=60228 CPUtime=0.2 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 13315 0 0 0 19 1 0 0 20 0 1 0 186393582 102383616 15057 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 24996 15057 3685 3540 0 13253 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 99984 KiB Current children cumulated memory: 60228 KiB [startup+0.306219 s]* /proc/loadavg: 1.23 2.00 2.96 6/256 1010655 /proc/meminfo: memFree=123390848/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=116696 memory=74168 CPUtime=0.3 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 16840 0 0 0 29 1 0 0 20 0 1 0 186393582 119496704 18542 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 29174 18542 3733 3540 0 17431 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 116696 KiB Current children cumulated memory: 74168 KiB [startup+0.700234 s] /proc/loadavg: 1.23 2.00 2.96 6/256 1010655 /proc/meminfo: memFree=123381700/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=122348 memory=79920 CPUtime=0.68 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 18255 0 0 0 67 1 0 0 20 0 1 0 186393582 125284352 19980 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 30587 19980 3733 3540 0 18844 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 122348 KiB Current children cumulated memory: 79920 KiB [startup+1.50022 s] /proc/loadavg: 1.23 2.00 2.96 6/256 1010655 /proc/meminfo: memFree=123381108/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=122348 memory=80184 CPUtime=1.48 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 18382 0 0 0 147 1 0 0 20 0 1 0 186393582 125284352 20046 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 30587 20046 3733 3540 0 18844 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 122348 KiB Current children cumulated memory: 80184 KiB [startup+3.10605 s] /proc/loadavg: 1.45 2.03 2.96 6/256 1010657 /proc/meminfo: memFree=123378636/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=122348 memory=80184 CPUtime=3.08 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 18382 0 0 0 307 1 0 0 20 0 1 0 186393582 125284352 20046 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 30587 20046 3733 3540 0 18844 0 Current children cumulated CPU time: 3.08 s Current children cumulated vsize: 122348 KiB Current children cumulated memory: 80184 KiB [startup+6.3002 s] /proc/loadavg: 1.45 2.03 2.96 6/256 1010657 /proc/meminfo: memFree=123348280/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=139644 memory=90620 CPUtime=6.27 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 21814 0 0 0 625 2 0 0 20 0 1 0 186393582 142995456 22655 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 34911 22655 3749 3540 0 23168 0 Current children cumulated CPU time: 6.27 s Current children cumulated vsize: 139644 KiB Current children cumulated memory: 90620 KiB [startup+12.7002 s] /proc/loadavg: 1.85 2.09 2.98 5/256 1010659 /proc/meminfo: memFree=123279724/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=157652 memory=108672 CPUtime=12.65 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 26186 0 0 0 1262 3 0 0 20 0 1 0 186393582 161435648 27168 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 39413 27168 3957 3540 0 27670 0 Current children cumulated CPU time: 12.65 s Current children cumulated vsize: 157652 KiB Current children cumulated memory: 108672 KiB [startup+25.5002 s] /proc/loadavg: 2.18 2.16 2.99 5/256 1010660 /proc/meminfo: memFree=123275592/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=158136 memory=109728 CPUtime=25.41 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 26465 0 0 0 2538 3 0 0 20 0 1 0 186393582 161931264 27432 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 39534 27432 3957 3540 0 27791 0 Current children cumulated CPU time: 25.41 s Current children cumulated vsize: 158136 KiB Current children cumulated memory: 109728 KiB [startup+51.106 s] /proc/loadavg: 2.86 2.32 3.02 5/256 1010663 /proc/meminfo: memFree=122889596/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=277168 memory=226624 CPUtime=50.93 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 56587 0 0 0 5085 8 0 0 20 0 1 0 186393582 283820032 56656 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 69292 56656 4013 3540 0 57549 0 Current children cumulated CPU time: 50.93 s Current children cumulated vsize: 277168 KiB Current children cumulated memory: 226624 KiB [startup+102.3 s] /proc/loadavg: 3.75 2.67 3.10 5/256 1010673 /proc/meminfo: memFree=122879156/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=277168 memory=229400 CPUtime=101.97 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 56661 0 0 0 10188 9 0 0 20 0 1 0 186393582 283820032 57350 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 69292 57350 4013 3540 0 57549 0 Current children cumulated CPU time: 101.97 s Current children cumulated vsize: 277168 KiB Current children cumulated memory: 229400 KiB [startup+162.3 s] /proc/loadavg: 3.97 2.93 3.16 6/259 1010690 /proc/meminfo: memFree=122874924/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=277652 memory=232088 CPUtime=161.78 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 57388 0 0 0 16169 9 0 0 20 0 1 0 186393582 284315648 58022 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 69413 58022 4013 3540 0 57670 0 Current children cumulated CPU time: 161.78 s Current children cumulated vsize: 277652 KiB Current children cumulated memory: 232088 KiB [startup+222.3 s] /proc/loadavg: 4.16 3.17 3.24 5/259 1010701 /proc/meminfo: memFree=122865100/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=277652 memory=238004 CPUtime=221.6 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 57457 0 0 0 22151 9 0 0 20 0 1 0 186393582 284315648 59501 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 69413 59501 4013 3540 0 57670 0 Current children cumulated CPU time: 221.6 s Current children cumulated vsize: 277652 KiB Current children cumulated memory: 238004 KiB [startup+282.3 s] /proc/loadavg: 4.20 3.37 3.30 5/259 1010711 /proc/meminfo: memFree=122858860/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=277652 memory=238004 CPUtime=281.43 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 57518 0 0 0 28134 9 0 0 20 0 1 0 186393582 284315648 59501 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 69413 59501 4013 3540 0 57670 0 Current children cumulated CPU time: 281.43 s Current children cumulated vsize: 277652 KiB Current children cumulated memory: 238004 KiB [startup+342.3 s] /proc/loadavg: 4.12 3.50 3.35 6/258 1010722 /proc/meminfo: memFree=122855400/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=277652 memory=238004 CPUtime=341.25 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 57579 0 0 0 34116 9 0 0 20 0 1 0 186393582 284315648 59501 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 69413 59501 4013 3540 0 57670 0 Current children cumulated CPU time: 341.25 s Current children cumulated vsize: 277652 KiB Current children cumulated memory: 238004 KiB [startup+402.3 s] /proc/loadavg: 4.24 3.64 3.41 6/258 1010736 /proc/meminfo: memFree=122848964/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=277652 memory=238004 CPUtime=401.07 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 57640 0 0 0 40098 9 0 0 20 0 1 0 186393582 284315648 59501 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 69413 59501 4013 3540 0 57670 0 Current children cumulated CPU time: 401.07 s Current children cumulated vsize: 277652 KiB Current children cumulated memory: 238004 KiB [startup+462.3 s] /proc/loadavg: 4.08 3.71 3.45 5/255 1010746 /proc/meminfo: memFree=122835412/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=277652 memory=238504 CPUtime=460.89 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 57718 0 0 0 46080 9 0 0 20 0 1 0 186393582 284315648 59626 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 69413 59626 4138 3540 0 57670 0 ################ # More data... # ################ /proc/loadavg: 4.12 4.10 4.09 5/260 1012433 /proc/meminfo: memFree=122623928/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=293700 memory=254336 CPUtime=3152.25 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 82400 0 0 0 315202 23 0 0 20 0 1 0 186393582 300748800 63584 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 73425 63584 4218 3540 0 61682 0 Current children cumulated CPU time: 3152.25 s Current children cumulated vsize: 293700 KiB Current children cumulated memory: 254336 KiB [startup+3222.3 s] /proc/loadavg: 4.20 4.13 4.10 6/260 1012443 /proc/meminfo: memFree=122622680/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=293700 memory=254812 CPUtime=3212.05 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 82564 0 0 0 321181 24 0 0 20 0 1 0 186393582 300748800 63703 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 73425 63703 4218 3540 0 61682 0 Current children cumulated CPU time: 3212.05 s Current children cumulated vsize: 293700 KiB Current children cumulated memory: 254812 KiB [startup+3282.3 s] /proc/loadavg: 4.12 4.12 4.09 7/259 1012454 /proc/meminfo: memFree=122616736/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=293700 memory=254892 CPUtime=3271.87 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 82669 0 0 0 327163 24 0 0 20 0 1 0 186393582 300748800 63723 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 73425 63723 4218 3540 0 61682 0 Current children cumulated CPU time: 3271.87 s Current children cumulated vsize: 293700 KiB Current children cumulated memory: 254892 KiB [startup+3342.3 s] /proc/loadavg: 4.10 4.11 4.09 6/258 1012465 /proc/meminfo: memFree=122615076/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=293700 memory=254892 CPUtime=3331.69 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 82774 0 0 0 333145 24 0 0 20 0 1 0 186393582 300748800 63723 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 73425 63723 4218 3540 0 61682 0 Current children cumulated CPU time: 3331.69 s Current children cumulated vsize: 293700 KiB Current children cumulated memory: 254892 KiB [startup+3402.3 s] /proc/loadavg: 4.08 4.10 4.09 7/258 1012476 /proc/meminfo: memFree=122616136/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=293996 memory=254896 CPUtime=3391.5 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 82921 0 0 0 339126 24 0 0 20 0 1 0 186393582 301051904 63724 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 73499 63724 4218 3540 0 61756 0 Current children cumulated CPU time: 3391.5 s Current children cumulated vsize: 293996 KiB Current children cumulated memory: 254896 KiB [startup+3462.3 s] /proc/loadavg: 4.15 4.11 4.09 5/255 1012487 /proc/meminfo: memFree=122612744/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=294356 memory=255392 CPUtime=3451.33 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 83111 0 0 0 345108 25 0 0 20 0 1 0 186393582 301420544 63848 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 73589 63848 4218 3540 0 61846 0 Current children cumulated CPU time: 3451.33 s Current children cumulated vsize: 294356 KiB Current children cumulated memory: 255392 KiB [startup+3522.3 s] /proc/loadavg: 4.05 4.09 4.09 6/255 1012498 /proc/meminfo: memFree=122612624/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=294648 memory=255808 CPUtime=3511.15 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 83324 0 0 0 351089 26 0 0 20 0 1 0 186393582 301719552 63952 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 73662 63952 4218 3540 0 61919 0 Current children cumulated CPU time: 3511.15 s Current children cumulated vsize: 294648 KiB Current children cumulated memory: 255808 KiB [startup+3582.3 s] /proc/loadavg: 4.06 4.09 4.09 6/255 1012509 /proc/meminfo: memFree=122611548/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=295092 memory=256108 CPUtime=3570.96 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 83514 0 0 0 357070 26 0 0 20 0 1 0 186393582 302174208 64027 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 73773 64027 4218 3540 0 62030 0 Current children cumulated CPU time: 3570.96 s Current children cumulated vsize: 295092 KiB Current children cumulated memory: 256108 KiB [startup+3597.06 s] # the end of solver process 1010643 was just reported to runsolver # Child status: 0 # cumulated CPU time of all completed processes: user=3585.41 s, system=0.273102 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3584 s]* /proc/loadavg: 4.13 4.10 4.09 7/255 1012509 /proc/meminfo: memFree=122611556/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=295092 memory=256108 CPUtime=3572.66 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 83515 0 0 0 357240 26 0 0 20 0 1 0 186393582 302174208 64027 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 73773 64027 4218 3540 0 62030 0 Current children cumulated CPU time: 3572.66 s Current children cumulated vsize: 295092 KiB Current children cumulated memory: 256108 KiB [startup+3590.4 s] /proc/loadavg: 4.12 4.10 4.09 6/255 1012509 /proc/meminfo: memFree=122611596/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=295092 memory=256108 CPUtime=3579.03 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 83518 0 0 0 357877 26 0 0 20 0 1 0 186393582 302174208 64027 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 73773 64027 4218 3540 0 62030 0 Current children cumulated CPU time: 3579.03 s Current children cumulated vsize: 295092 KiB Current children cumulated memory: 256108 KiB [startup+3593.6 s] /proc/loadavg: 4.11 4.10 4.09 5/255 1012511 /proc/meminfo: memFree=122611428/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=295092 memory=256108 CPUtime=3582.22 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 83519 0 0 0 358196 26 0 0 20 0 1 0 186393582 302174208 64027 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 73773 64027 4218 3540 0 62030 0 Current children cumulated CPU time: 3582.22 s Current children cumulated vsize: 295092 KiB Current children cumulated memory: 256108 KiB [startup+3595.2 s] /proc/loadavg: 4.11 4.10 4.09 6/255 1012511 /proc/meminfo: memFree=122600164/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=295092 memory=256108 CPUtime=3583.82 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 83519 0 0 0 358356 26 0 0 20 0 1 0 186393582 302174208 64027 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 73773 64027 4218 3540 0 62030 0 Current children cumulated CPU time: 3583.82 s Current children cumulated vsize: 295092 KiB Current children cumulated memory: 256108 KiB [startup+3596 s]* /proc/loadavg: 4.11 4.10 4.09 6/255 1012511 /proc/meminfo: memFree=122611120/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=295092 memory=256108 CPUtime=3584.62 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 83519 0 0 0 358436 26 0 0 20 0 1 0 186393582 302174208 64027 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 73773 64027 4218 3540 0 62030 0 Current children cumulated CPU time: 3584.62 s Current children cumulated vsize: 295092 KiB Current children cumulated memory: 256108 KiB [startup+3596.8 s] /proc/loadavg: 4.11 4.10 4.09 6/255 1012511 /proc/meminfo: memFree=122611120/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=295092 memory=256108 CPUtime=3585.41 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 83519 0 0 0 358515 26 0 0 20 0 1 0 186393582 302174208 64027 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 73773 64027 4218 3540 0 62030 0 Current children cumulated CPU time: 3585.41 s Current children cumulated vsize: 295092 KiB Current children cumulated memory: 256108 KiB [startup+3597 s]* /proc/loadavg: 4.11 4.10 4.09 5/255 1012511 /proc/meminfo: memFree=122611112/131524600 swapFree=131071996/131071996 [pid=1010643] ppid=1010634 vsize=295092 memory=256108 CPUtime=3585.62 cores=0,2 /proc/1010643/stat : 1010643 (pbscip) R 1010634 1010643 1010581 0 -1 4194304 83519 0 0 0 358536 26 0 0 20 0 1 0 186393582 302174208 64027 134679101440 4194304 18693293 140735850990064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31215616 140735850996738 140735850996837 140735850996837 140735851003854 0 /proc/1010643/statm: 73773 64027 4218 3540 0 62030 0 Current children cumulated CPU time: 3585.62 s Current children cumulated vsize: 295092 KiB Current children cumulated memory: 256108 KiB Child status: 0 Real time (s): 3597.06 CPU time (s): 3585.68 CPU user time (s): 3585.41 CPU system time (s): 0.273102 CPU usage (%): 99.6838 Max. virtual memory (cumulated for all children) (KiB): 299900 Max. memory (cumulated for all children) (KiB): 260308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3585.41 system time used= 0.273102 maximum resident set size= 260572 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 83526 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= 36 involuntary context switches= 24563 # summary of solver processes directly reported to runsolver: # pid: 1010643 # total CPU time (s): 3585.68 # total CPU user time (s): 3585.41 # total CPU system time (s): 0.273102 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.25442 second user time and 16.2222 second system time The end
Begin job on nodeC025 at 2024-07-19 00:38:15 IDJOB=4446975 IDBENCH=158344 IDSOLVER=3059 FILE ID=nodeC025/4446975-1721342282 RUNJOBID= nodeC025-1721342295-1010591 SLURM_JOB_ID= 7542740 Free space on /tmp= 890032 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K98.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446975-1721342282/watcher-4446975-1721342282 -o /tmp/evaluation-result-4446975-1721342282/solver-4446975-1721342282 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721342295-1010591 --watchdog 3760 pbscip -f HOME/instance-4446975-1721342282.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5359c0df8e4997707ebdbb5ef15bc818 RANDOM SEED=4640699 nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 3631.345 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 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 : 3631.635 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 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 : 3651.923 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 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 : 3660.798 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 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 : 3653.456 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 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 : 3764.004 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 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 : 3753.205 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 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 : 3689.931 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123618840 kB MemAvailable: 129619892 kB Buffers: 529016 kB Cached: 6234824 kB SwapCached: 0 kB Active: 1088372 kB Inactive: 6043612 kB Active(anon): 1412 kB Inactive(anon): 404452 kB Active(file): 1086960 kB Inactive(file): 5639160 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 75832 kB Writeback: 0 kB AnonPages: 366200 kB Mapped: 105804 kB Shmem: 37720 kB KReclaimable: 229156 kB Slab: 357112 kB SReclaimable: 229156 kB SUnreclaim: 127956 kB KernelStack: 3776 kB PageTables: 9800 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 831708 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 70560 kB HardwareCorrupted: 0 kB AnonHugePages: 241664 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 318164 kB DirectMap2M: 43495424 kB DirectMap1G: 92274688 kB Free space on /tmp at the end= 889956 MiB End job on nodeC025 at 2024-07-19 01:38:12