Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIP 2024-07-07 | ? | 3586.25 | 3597.11 |
Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K143.opb |
MD5SUM | 5b71eb3fc2b19671b5e391982561b6cd |
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 | 17017 |
Total number of constraints | 17305 |
Number of constraints which are clauses | 17162 |
Number of constraints which are cardinality constraints (but not clauses) | 143 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 143 |
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 | 144 |
Number of bits of the biggest sum of numbers | 8 |
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-4446525-1721333300.opb> 0.00/0.07 c original problem has 17017 variables (17017 bin, 0 int, 0 impl, 0 cont) and 17305 constraints 0.00/0.07 c problem read in 0.07 0.00/0.07 c No objective function, only one solution is needed. 0.10/0.13 c presolving: 0.10/0.16 c (round 1, fast) 250 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1961 clqs 0.10/0.17 c (round 2, fast) 682 del vars, 262 del conss, 0 add conss, 121 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1945 clqs 0.10/0.17 c (round 3, fast) 900 del vars, 412 del conss, 0 add conss, 206 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1966 clqs 0.10/0.17 c (round 4, fast) 1055 del vars, 535 del conss, 0 add conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1997 clqs 0.10/0.18 c (round 5, fast) 1131 del vars, 591 del conss, 0 add conss, 285 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2020 clqs 0.10/0.18 c (round 6, fast) 1172 del vars, 625 del conss, 0 add conss, 299 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2030 clqs 0.22/0.23 c (0.2s) running MILP presolver 0.49/0.55 c (0.5s) MILP presolver (4 rounds): 0 aggregations, 143 fixings, 0 bound changes 0.49/0.56 c (round 7, medium) 1325 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2041 clqs 0.49/0.57 c (round 8, fast) 1325 del vars, 778 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2044 clqs 0.49/0.59 c (round 9, exhaustive) 1325 del vars, 919 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2044 clqs 0.58/0.68 c (round 10, exhaustive) 1325 del vars, 919 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 16386 upgd conss, 0 impls, 2044 clqs 0.76/0.83 c (round 11, exhaustive) 1434 del vars, 919 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 16386 upgd conss, 0 impls, 2031 clqs 0.76/0.85 c (round 12, fast) 1543 del vars, 1028 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 16386 upgd conss, 0 impls, 2031 clqs 2.08/2.11 c (round 13, exhaustive) 1569 del vars, 1029 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 16386 upgd conss, 0 impls, 103312 clqs 2.08/2.12 c (round 14, fast) 1570 del vars, 1055 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 163 chg coeffs, 16386 upgd conss, 0 impls, 103329 clqs 2.97/3.06 c (round 15, exhaustive) 1595 del vars, 1055 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 163 chg coeffs, 16386 upgd conss, 0 impls, 103303 clqs 2.97/3.06 c (round 16, fast) 1595 del vars, 1080 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 216 chg coeffs, 16386 upgd conss, 0 impls, 103310 clqs 4.16/4.28 c (round 17, exhaustive) 1621 del vars, 1080 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 216 chg coeffs, 16386 upgd conss, 0 impls, 103305 clqs 4.16/4.28 c (round 18, fast) 1621 del vars, 1106 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 279 chg coeffs, 16386 upgd conss, 0 impls, 103316 clqs 4.85/4.92 c (round 19, exhaustive) 1647 del vars, 1106 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 279 chg coeffs, 16386 upgd conss, 0 impls, 103316 clqs 4.85/4.93 c (round 20, fast) 1648 del vars, 1132 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 343 chg coeffs, 16386 upgd conss, 0 impls, 103328 clqs 6.15/6.22 c (round 21, exhaustive) 1674 del vars, 1132 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 343 chg coeffs, 16386 upgd conss, 0 impls, 103339 clqs 6.15/6.23 c (round 22, fast) 1675 del vars, 1158 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 405 chg coeffs, 16386 upgd conss, 0 impls, 103353 clqs 6.35/6.45 c (6.4s) probing: 1000/16023 (6.2%) - 129 fixings, 0 aggregations, 1088601 implications, 0 bound changes 6.55/6.64 c (round 23, exhaustive) 1701 del vars, 1158 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 405 chg coeffs, 16386 upgd conss, 0 impls, 103369 clqs 6.55/6.65 c (round 24, fast) 1702 del vars, 1184 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 470 chg coeffs, 16386 upgd conss, 0 impls, 103382 clqs 7.14/7.21 c (round 25, exhaustive) 1731 del vars, 1184 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 470 chg coeffs, 16386 upgd conss, 0 impls, 101853 clqs 7.14/7.22 c (round 26, fast) 1731 del vars, 1213 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 566 chg coeffs, 16386 upgd conss, 0 impls, 101878 clqs 10.54/10.69 c (round 27, exhaustive) 1756 del vars, 1213 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 566 chg coeffs, 16386 upgd conss, 0 impls, 102484 clqs 10.64/10.70 c (round 28, fast) 1756 del vars, 1238 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 646 chg coeffs, 16386 upgd conss, 0 impls, 102501 clqs 10.95/11.03 c (round 29, exhaustive) 1791 del vars, 1238 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 646 chg coeffs, 16386 upgd conss, 0 impls, 103363 clqs 10.95/11.03 c (round 30, fast) 1791 del vars, 1273 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 723 chg coeffs, 16386 upgd conss, 0 impls, 103374 clqs 11.44/11.55 c (round 31, exhaustive) 1816 del vars, 1273 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 724 chg coeffs, 16386 upgd conss, 0 impls, 103407 clqs 11.44/11.56 c (round 32, fast) 1816 del vars, 1298 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 783 chg coeffs, 16386 upgd conss, 0 impls, 103419 clqs 11.63/11.78 c (round 33, exhaustive) 1842 del vars, 1298 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 784 chg coeffs, 16386 upgd conss, 0 impls, 103409 clqs 11.63/11.78 c (round 34, fast) 1843 del vars, 1324 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 843 chg coeffs, 16386 upgd conss, 0 impls, 103418 clqs 11.83/11.99 c (round 35, exhaustive) 1870 del vars, 1324 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 843 chg coeffs, 16386 upgd conss, 0 impls, 103254 clqs 11.83/11.99 c (round 36, fast) 1872 del vars, 1351 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 874 chg coeffs, 16386 upgd conss, 0 impls, 103255 clqs 12.13/12.21 c (round 37, exhaustive) 1897 del vars, 1351 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 874 chg coeffs, 16386 upgd conss, 0 impls, 103078 clqs 12.13/12.21 c (round 38, fast) 1897 del vars, 1376 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 898 chg coeffs, 16386 upgd conss, 0 impls, 103078 clqs 12.33/12.42 c (round 39, exhaustive) 1922 del vars, 1376 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 898 chg coeffs, 16386 upgd conss, 0 impls, 102879 clqs 12.33/12.43 c (round 40, fast) 1922 del vars, 1401 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 921 chg coeffs, 16386 upgd conss, 0 impls, 102879 clqs 12.53/12.65 c (round 41, exhaustive) 1947 del vars, 1401 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 921 chg coeffs, 16386 upgd conss, 0 impls, 102750 clqs 12.53/12.66 c (round 42, fast) 1947 del vars, 1426 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 946 chg coeffs, 16386 upgd conss, 0 impls, 102750 clqs 12.83/12.98 c (round 43, exhaustive) 1972 del vars, 1426 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 946 chg coeffs, 16386 upgd conss, 0 impls, 102815 clqs 12.83/12.98 c (round 44, fast) 1972 del vars, 1451 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 973 chg coeffs, 16386 upgd conss, 0 impls, 102815 clqs 13.13/13.20 c (round 45, exhaustive) 1997 del vars, 1451 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 973 chg coeffs, 16386 upgd conss, 0 impls, 102713 clqs 13.13/13.21 c (round 46, fast) 1997 del vars, 1476 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 998 chg coeffs, 16386 upgd conss, 0 impls, 102713 clqs 13.94/14.01 c (14.0s) probing: 2000/16023 (12.5%) - 443 fixings, 1 aggregations, 2437344 implications, 0 bound changes 18.21/18.34 c (18.3s) probing: 3000/16023 (18.7%) - 445 fixings, 1 aggregations, 3662884 implications, 0 bound changes 22.19/22.35 c (22.3s) probing: 4000/16023 (25.0%) - 449 fixings, 1 aggregations, 4752592 implications, 0 bound changes 25.68/25.89 c (25.9s) probing: 5000/16023 (31.2%) - 460 fixings, 1 aggregations, 5672251 implications, 0 bound changes 26.48/26.60 c (round 47, exhaustive) 2022 del vars, 1476 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 998 chg coeffs, 16386 upgd conss, 0 impls, 103523 clqs 26.48/26.60 c (round 48, fast) 2022 del vars, 1501 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1049 chg coeffs, 16386 upgd conss, 0 impls, 103533 clqs 26.68/26.83 c (round 49, exhaustive) 2047 del vars, 1501 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1049 chg coeffs, 16386 upgd conss, 0 impls, 103529 clqs 26.68/26.84 c (round 50, fast) 2047 del vars, 1526 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1080 chg coeffs, 16386 upgd conss, 0 impls, 103529 clqs 29.47/29.66 c (29.7s) probing: 6000/16023 (37.4%) - 506 fixings, 1 aggregations, 6532065 implications, 0 bound changes 33.05/33.23 c (33.2s) probing: 7000/16023 (43.7%) - 508 fixings, 1 aggregations, 7457965 implications, 0 bound changes 35.24/35.46 c (35.5s) probing: 7634/16023 (47.6%) - 508 fixings, 1 aggregations, 8045660 implications, 0 bound changes 35.24/35.46 c (35.5s) probing aborted: 1000/1000 successive useless probings 35.24/35.46 c (round 51, exhaustive) 2066 del vars, 1526 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1080 chg coeffs, 16386 upgd conss, 0 impls, 103579 clqs 35.24/35.47 c (round 52, fast) 2066 del vars, 1545 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1106 chg coeffs, 16386 upgd conss, 0 impls, 103579 clqs 36.74/36.94 c (36.9s) probing: 8000/16023 (49.9%) - 517 fixings, 1 aggregations, 8369321 implications, 0 bound changes 39.03/39.25 c (39.2s) probing: 8652/16023 (54.0%) - 517 fixings, 1 aggregations, 8972496 implications, 0 bound changes 39.03/39.25 c (39.2s) probing aborted: 1000/1000 successive useless probings 39.03/39.28 c (39.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 39.13/39.37 c (39.4s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.03) 39.13/39.37 c dynamic symmetry handling statistics: 39.13/39.37 c orbitopal reduction: no components 39.13/39.37 c orbital reduction: no components 39.13/39.37 c lexicographic reduction: 3 permutations with support sizes 1312, 548, 262 39.13/39.37 c handled 4 out of 4 symmetry components 39.13/39.39 c presolving (53 rounds: 53 fast, 25 medium, 24 exhaustive): 39.13/39.39 c 2078 deleted vars, 1554 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1117 changed coefficients 39.13/39.39 c 0 implications, 103599 cliques 39.13/39.39 c presolved problem has 15495 variables (15495 bin, 0 int, 0 impl, 0 cont) and 15752 constraints 39.13/39.39 c 1934 constraints of type <setppc> 39.13/39.39 c 1 constraints of type <orbitope> 39.13/39.39 c 13817 constraints of type <logicor> 39.13/39.39 c transformed objective value is always integral (scale: 1) 39.13/39.39 c Presolving Time: 39.27 39.13/39.39 c - non default parameters ---------------------------------------------------------------------- 39.13/39.39 c # SCIP version 10.0.0 39.13/39.39 c 39.13/39.39 c # maximal time in seconds to run 39.13/39.39 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20] 39.13/39.39 c limits/time = 3596.997024 39.13/39.39 c 39.13/39.39 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 39.13/39.39 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207] 39.13/39.39 c limits/memory = 27900 39.13/39.39 c 39.13/39.39 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit) 39.13/39.39 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1] 39.13/39.39 c limits/solutions = 1 39.13/39.39 c 39.13/39.39 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. 39.13/39.39 c # [type: int, advanced: FALSE, range: [0,7], default: 7] 39.13/39.39 c misc/usesymmetry = 3 39.13/39.39 c 39.13/39.39 c # belongs reading time to solving time? 39.13/39.39 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE] 39.13/39.39 c timing/reading = TRUE 39.13/39.39 c 39.13/39.39 c # Should we check whether the components of the symmetry group can be handled by double lex matrices? 39.13/39.39 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE] 39.13/39.39 c propagating/symmetry/detectdoublelex = FALSE 39.13/39.39 c 39.13/39.39 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables? 39.13/39.39 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE] 39.13/39.39 c propagating/symmetry/detectsubgroups = FALSE 39.13/39.39 c 39.13/39.39 c # Type of symmetries that shall be computed? 39.13/39.39 c # [type: int, advanced: TRUE, range: [0,1], default: 0] 39.13/39.39 c propagating/symmetry/symtype = 1 39.13/39.39 c 39.13/39.39 c # Should components consisting of a single full reflection be handled? 39.13/39.39 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE] 39.13/39.39 c propagating/symmetry/usesimplesgncomp = FALSE 39.13/39.39 c 39.13/39.39 c ----------------------------------------------------------------------------------------------- 39.13/39.39 c start solving 39.13/39.39 c 54.98/55.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 54.98/55.21 c 55.2s| 1 | 0 | 16072 | - | 209M | 0 | 15k| 15k| 15k| 0 | 0 | 138 | 0 | 0.000000e+00 | -- | Inf | unknown 226.58/227.42 c 227s| 1 | 0 |102673 | - | 233M | 0 | 15k| 15k| 15k| 8 | 1 | 140 | 0 | 0.000000e+00 | -- | Inf | unknown 247.80/248.78 c 249s| 1 | 0 |113765 | - | 239M | 0 | 15k| 15k| 15k| 16 | 2 | 144 | 0 | 0.000000e+00 | -- | Inf | unknown 269.42/270.43 c 270s| 1 | 0 |124587 | - | 245M | 0 | 15k| 15k| 15k| 26 | 3 | 148 | 0 | 0.000000e+00 | -- | Inf | unknown 290.56/291.68 c 292s| 1 | 0 |135068 | - | 248M | 0 | 15k| 15k| 15k| 32 | 4 | 150 | 0 | 0.000000e+00 | -- | Inf | unknown 314.47/315.66 c 316s| 1 | 0 |146525 | - | 251M | 0 | 15k| 15k| 15k| 40 | 5 | 160 | 0 | 0.000000e+00 | -- | Inf | unknown 339.39/340.61 c 341s| 1 | 0 |158002 | - | 254M | 0 | 15k| 15k| 15k| 48 | 6 | 161 | 0 | 0.000000e+00 | -- | Inf | unknown 366.59/367.97 c 368s| 1 | 0 |170638 | - | 256M | 0 | 15k| 15k| 15k| 64 | 7 | 167 | 0 | 0.000000e+00 | -- | Inf | unknown 403.47/405.01 c 405s| 1 | 0 |187012 | - | 258M | 0 | 15k| 15k| 15k| 86 | 8 | 169 | 0 | 0.000000e+00 | -- | Inf | unknown 427.88/429.45 c 429s| 1 | 0 |198582 | - | 261M | 0 | 15k| 15k| 15k| 89 | 9 | 170 | 0 | 0.000000e+00 | -- | Inf | unknown 453.20/454.84 c 455s| 1 | 0 |209941 | - | 263M | 0 | 15k| 15k| 15k| 93 | 10 | 171 | 0 | 0.000000e+00 | -- | Inf | unknown 480.31/482.11 c 482s| 1 | 0 |222187 | - | 266M | 0 | 15k| 15k| 15k| 107 | 11 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown 753.47/756.11 c 756s| 1 | 2 |368452 | - | 273M | 0 | 15k| 15k| 15k| 107 | 11 | 232 | 21 | 0.000000e+00 | -- | Inf | unknown 3093.39/3103.07 c 3103s| 100 | 18 | 1944k|17392.1 | 294M | 38 | 15k| 15k| 15k| 123 | 1 | 300 | 21 | 0.000000e+00 | -- | Inf | 3.13% 3586.03/3597.00 c 3586.03/3597.00 c SCIP Status : solving was interrupted [time limit reached] 3586.03/3597.00 c Solving Time (sec) : 3597.00 3586.03/3597.00 c Solving Nodes : 138 3586.03/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions) 3586.03/3597.00 c Dual Bound : +0.00000000000000e+00 3586.03/3597.00 c Gap : infinite 3586.03/3597.00 s UNKNOWN 3586.03/3597.00 c SCIP Status : solving was interrupted [time limit reached] 3586.03/3597.00 c Total Time : 3597.00 3586.03/3597.00 c solving : 3597.00 3586.03/3597.00 c presolving : 39.27 (included in solving) 3586.03/3597.00 c reading : 0.07 (included in solving) 3586.03/3597.00 c copying : 0.10 (2 #copies) (minimal 0.05, maximal 0.05, average 0.05) 3586.03/3597.00 c Original Problem : 3586.03/3597.00 c Problem name : HOME/instance-4446525-1721333300.opb 3586.03/3597.00 c Variables : 17017 (17017 binary, 0 integer, 0 implicit integer, 0 continuous) 3586.03/3597.00 c Constraints : 17305 initial, 17305 maximal 3586.03/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20) 3586.03/3597.00 c Presolved Problem : 3586.03/3597.00 c Problem name : t_HOME/instance-4446525-1721333300.opb 3586.03/3597.00 c Variables : 15495 (15495 binary, 0 integer, 0 implicit integer, 0 continuous) 3586.03/3597.00 c Constraints : 15752 initial, 15962 maximal 3586.03/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20) 3586.03/3597.00 c Nonzeros : 86090 constraint, 222412 clique table 3586.03/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs 3586.03/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c domcol : 0.92 0.00 21 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c dualsparsify : 0.03 0.00 1 0 0 0 0 0 9 0 0 11 3586.03/3597.00 c gateextraction : 0.20 0.00 22 0 0 0 0 0 1 0 0 0 3586.03/3597.00 c implics : 0.00 0.00 25 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c milp : 0.37 0.00 1 143 0 0 0 0 0 0 0 0 3586.03/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c sparsify : 0.43 0.00 4 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c trivial : 0.02 0.00 53 556 0 0 0 0 0 0 0 0 3586.03/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c dualfix : 0.02 0.00 53 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c probing : 33.58 0.00 21 517 1 0 0 0 0 0 0 0 3586.03/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c symmetry : 0.09 0.00 1 3 0 0 0 0 0 1 0 0 3586.03/3597.00 c vbounds : 0.02 0.00 2 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c setppc : 0.16 0.00 87 0 0 0 0 0 110 0 0 0 3586.03/3597.00 c linear : 0.15 0.01 12 302 0 0 302 0 919 0 0 0 3586.03/3597.00 c orbitope : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c logicor : 3.23 0.01 87 109 0 0 0 0 515 0 0 1106 3586.03/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c root node : - - - 0 - - 0 - - - - - 3586.03/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children 3586.03/3597.00 c benderslp : 0 0 0 0 78 0 0 14 0 0 0 0 0 0 0 3586.03/3597.00 c integral : 0 0 0 0 78 0 0 14 0 0 0 0 0 0 156 3586.03/3597.00 c setppc : 1934+ 2013 11 315904 0 0 0 10 92032 346 13600 0 0 0 0 3586.03/3597.00 c linear : 0+ 1 0 5895 0 0 0 3 8 0 0 0 0 0 0 3586.03/3597.00 c orbitope : 1 1 0 18171 0 0 0 0 0 0 18 0 0 0 0 3586.03/3597.00 c logicor : 13817+ 13948 11 140524 0 0 0 0 206880 114 32325 9 4 0 0 3586.03/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop 3586.03/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3586.03/3597.00 c integral : 29.49 0.00 0.00 0.00 29.49 0.00 0.00 0.00 0.00 0.00 3586.03/3597.00 c setppc : 3.14 0.00 0.00 3.00 0.00 0.00 0.00 0.00 0.03 0.11 3586.03/3597.00 c linear : 0.02 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3586.03/3597.00 c orbitope : 0.03 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00 3586.03/3597.00 c logicor : 11.11 0.01 0.03 10.94 0.00 0.00 0.00 0.00 0.09 0.05 3586.03/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3586.03/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3586.03/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3586.03/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3586.03/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds 3586.03/3597.00 c dualfix : 1 0 0 0 3586.03/3597.00 c genvbounds : 0 0 0 0 3586.03/3597.00 c nlobbt : 0 0 0 0 3586.03/3597.00 c obbt : 0 0 0 0 3586.03/3597.00 c probing : 0 0 0 0 3586.03/3597.00 c pseudoobj : 0 0 0 0 3586.03/3597.00 c redcost : 0 0 0 0 3586.03/3597.00 c rootredcost : 0 0 0 0 3586.03/3597.00 c symmetry : 512 0 0 5 3586.03/3597.00 c vbounds : 6053 0 0 0 3586.03/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop 3586.03/3597.00 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00 3586.03/3597.00 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00 3586.03/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00 3586.03/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00 3586.03/3597.00 c probing : 33.58 0.00 33.58 0.00 0.00 0.00 3586.03/3597.00 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00 3586.03/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00 3586.03/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00 3586.03/3597.00 c symmetry : 0.11 0.00 0.09 0.02 0.00 0.00 3586.03/3597.00 c vbounds : 0.11 0.00 0.02 0.09 0.00 0.00 3586.03/3597.00 c Symmetry : 3586.03/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs 3586.03/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs 3586.03/3597.00 c lexicographic red: 5 reductions applied, 0 cutoffs 3586.03/3597.00 c shadow tree time : 0.00 s 3586.03/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000]) 3586.03/3597.00 c propagation : 0.04 457 115 - 608 192.9 8 4.8 - - - 3586.03/3597.00 c infeasible LP : 0.73 53 37 - 569 1823.1 0 0.0 1 2318.0 0 3586.03/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0 3586.03/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0 3586.03/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - - 3586.03/3597.00 c applied globally : 0.01 - - 0 310 246.0 - - 1 - - 3586.03/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - - 3586.03/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss 3586.03/3597.00 c cut pool : 0.00 - 36 21 - - 173 204 - - - - - (maximal pool size: 173) 3586.03/3597.00 c aggregation : 0.06 0.00 13 11 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 - 3586.03/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 - 3586.03/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 - 3586.03/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c clique : 1.51 0.00 11 11 0 0 70 90 0 53 53 0 0 3586.03/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c gomory : 14.45 0.00 12 10 0 0 64 22 42 2 1 1 0 3586.03/3597.00 c > gomorymi : - - - - - - - 11 21 2 1 1 - 3586.03/3597.00 c > strongcg : - - - - - - - 11 21 0 0 0 - 3586.03/3597.00 c impliedbounds : 0.07 0.00 13 11 0 0 39 47 0 17 17 0 0 3586.03/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c multilinear : 0.00 0.00 14 11 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c rlt : 0.00 0.00 11 10 0 0 0 0 0 0 0 0 0 3586.03/3597.00 c zerohalf : 12.70 0.00 13 11 0 0 46 45 4 49 45 4 0 3586.03/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt 3586.03/3597.00 c hybrid : 0.00 0.00 21 11 125 0 134 107 0 72 3586.03/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0 3586.03/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0 3586.03/3597.00 c Pricers : ExecTime SetupTime Calls Vars 3586.03/3597.00 c problem variables: 0.00 - 0 0 3586.03/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children 3586.03/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0 3586.03/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0 3586.03/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0 3586.03/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0 3586.03/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 3586.03/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0 3586.03/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0 3586.03/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0 3586.03/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0 3586.03/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0 3586.03/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0 3586.03/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0 3586.14/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0 3586.14/3597.01 c relpscost : 29.49 0.00 78 0 0 0 0 0 0 156 3586.14/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0 3586.14/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best 3586.14/3597.01 c LP solutions : 0.00 - - 0 0 3586.14/3597.01 c relax solutions : 0.00 - - 0 0 3586.14/3597.01 c pseudo solutions : 0.00 - - 0 0 3586.14/3597.01 c strong branching : 0.00 - - 0 0 3586.14/3597.01 c actconsdiving : 0.00 0.00 0 0 0 3586.14/3597.01 c adaptivediving : 0.00 0.00 0 0 0 3586.14/3597.01 c alns : 0.11 0.00 1 0 0 3586.14/3597.01 c bound : 0.00 0.00 0 0 0 3586.14/3597.01 c clique : 0.06 0.00 1 0 0 3586.14/3597.01 c coefdiving : 0.00 0.00 0 0 0 3586.14/3597.01 c completesol : 0.00 0.00 0 0 0 3586.14/3597.01 c conflictdiving : 244.18 0.00 1 0 0 3586.14/3597.01 c crossover : 0.00 0.00 0 0 0 3586.14/3597.01 c dins : 0.00 0.00 0 0 0 3586.14/3597.01 c distributiondivin: 0.01 0.00 0 0 0 3586.14/3597.01 c dps : 0.00 0.00 0 0 0 3586.14/3597.01 c dualval : 0.00 0.00 0 0 0 3586.14/3597.01 c farkasdiving : 0.00 0.00 0 0 0 3586.14/3597.01 c feasjump : 0.04 0.00 1 0 0 3586.14/3597.01 c feaspump : 154.53 0.00 1 0 0 3586.14/3597.01 c fixandinfer : 0.00 0.00 0 0 0 3586.14/3597.01 c fracdiving : 0.00 0.00 0 0 0 3586.14/3597.01 c gins : 0.00 0.00 0 0 0 3586.14/3597.01 c guideddiving : 0.00 0.00 0 0 0 3586.14/3597.01 c indcoefdiving : 0.00 0.00 0 0 0 3586.14/3597.01 c indicator : 0.00 0.00 0 0 0 3586.14/3597.01 c indicatordiving : 0.00 0.00 0 0 0 3586.14/3597.01 c indoneopt : 0.00 0.00 0 0 0 3586.14/3597.01 c indrounding : 0.00 0.00 0 0 0 3586.14/3597.01 c indtwoopt : 0.00 0.00 0 0 0 3586.14/3597.01 c intdiving : 0.00 0.00 0 0 0 3586.14/3597.01 c intshifting : 0.00 0.00 0 0 0 3586.14/3597.01 c linesearchdiving : 0.00 0.00 0 0 0 3586.14/3597.01 c localbranching : 0.00 0.00 0 0 0 3586.14/3597.01 c locks : 0.06 0.00 1 0 0 3586.14/3597.01 c lpface : 0.00 0.00 0 0 0 3586.14/3597.01 c mpec : 0.00 0.00 0 0 0 3586.14/3597.01 c multistart : 0.00 0.00 0 0 0 3586.14/3597.01 c mutation : 0.00 0.00 0 0 0 3586.14/3597.01 c nlpdiving : 0.00 0.00 0 0 0 3586.14/3597.01 c objpscostdiving : 0.00 0.00 0 0 0 3586.14/3597.01 c octane : 0.00 0.00 0 0 0 3586.14/3597.01 c ofins : 0.00 0.00 0 0 0 3586.14/3597.01 c oneopt : 0.00 0.00 0 0 0 3586.14/3597.01 c padm : 0.00 0.00 0 0 0 3586.14/3597.01 c proximity : 0.00 0.00 0 0 0 3586.14/3597.01 c pscostdiving : 460.86 0.00 1 0 0 3586.14/3597.01 c randrounding : 0.16 0.00 19 0 0 3586.14/3597.01 c rens : 0.27 0.00 1 0 0 3586.14/3597.01 c reoptsols : 0.00 0.00 0 0 0 3586.14/3597.01 c repair : 0.00 0.00 0 0 0 3586.14/3597.01 c rins : 0.00 0.00 0 0 0 3586.14/3597.01 c rootsoldiving : 0.00 0.00 0 0 0 3586.14/3597.01 c rounding : 0.09 0.00 99 0 0 3586.14/3597.01 c scheduler : 0.00 0.00 0 0 0 3586.14/3597.01 c shiftandpropagate: 0.02 0.00 1 0 0 3586.14/3597.01 c shifting : 0.26 0.00 29 0 0 3586.14/3597.01 c simplerounding : 0.00 0.00 0 0 0 3586.14/3597.01 c smallcard : 0.00 0.00 0 0 0 3586.14/3597.01 c subnlp : 0.00 0.00 0 0 0 3586.14/3597.01 c trivial : 0.01 0.00 2 0 0 3586.14/3597.01 c trivialnegation : 0.00 0.00 0 0 0 3586.14/3597.01 c trustregion : 0.00 0.00 0 0 0 3586.14/3597.01 c trysol : 0.00 0.00 0 0 0 3586.14/3597.01 c twoopt : 0.00 0.00 0 0 0 3586.14/3597.01 c undercover : 0.00 0.00 0 0 0 3586.14/3597.01 c vbounds : 0.10 0.00 1 0 0 3586.14/3597.01 c veclendiving : 0.00 0.00 0 0 0 3586.14/3597.01 c zeroobj : 0.00 0.00 0 0 0 3586.14/3597.01 c zirounding : 0.03 0.00 78 0 0 3586.14/3597.01 c other solutions : - - - 0 - 3586.14/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.14/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.14/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.14/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.14/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.14/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.14/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.14/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.14/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.14/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.14/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit 3586.14/3597.01 c primal LP : 0.07 3 0 0.00 0.00 0.07 3 3586.14/3597.01 c dual LP : 2637.10 155 1967028 13290.73 745.91 0.84 7 3586.14/3597.01 c lex dual LP : 0.00 0 0 0.00 - 3586.14/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0 3586.14/3597.01 c resolve instable : 36.91 2 42641 21320.50 1155.28 3586.14/3597.01 c diving/probing LP: 864.18 38 371736 9782.53 430.16 3586.14/3597.01 c strong branching : 24.02 21 14526 691.71 604.79 - - 25 3586.14/3597.01 c (at root node) : - 21 14526 691.71 - 3586.14/3597.01 c conflict analysis: 0.00 0 0 0.00 - 3586.14/3597.01 c B&B Tree : 3586.14/3597.01 c number of runs : 1 3586.14/3597.01 c nodes : 138 (78 internal, 60 leaves) 3586.14/3597.01 c feasible leaves : 0 3586.14/3597.01 c infeas. leaves : 59 3586.14/3597.01 c objective leaves : 0 3586.14/3597.01 c nodes (total) : 138 (78 internal, 60 leaves) 3586.14/3597.01 c nodes left : 19 3586.14/3597.01 c max depth : 38 3586.14/3597.01 c max depth (total): 38 3586.14/3597.01 c backtracks : 8 (5.8%) 3586.14/3597.01 c early backtracks : 0 (0.0%) 3586.14/3597.01 c nodes exc. ref. : 0 (0.0%) 3586.14/3597.01 c delayed cutoffs : 1 3586.14/3597.01 c repropagations : 296 (907 domain reductions, 1 cutoffs) 3586.14/3597.01 c avg switch length: 5.41 3586.14/3597.01 c switching time : 0.17 3586.14/3597.01 c Root Node : 3586.14/3597.01 c First LP value : +0.00000000000000e+00 3586.14/3597.01 c First LP Iters : 16072 (1034.96 Iter/sec) 3586.14/3597.01 c First LP Time : 15.53 3586.14/3597.01 c Final Dual Bound : +0.00000000000000e+00 3586.14/3597.01 c Final Root Iters : 222187 3586.14/3597.01 c Root LP Estimate : +4.85726030834165e-04 3586.14/3597.01 c Solution : 3586.14/3597.01 c Solutions found : 0 (0 improvements) 3586.14/3597.01 c Primal Bound : - 3586.14/3597.01 c Dual Bound : +0.00000000000000e+00 3586.14/3597.01 c Gap : infinite 3586.14/3597.01 c Integrals : Total Avg% 3586.14/3597.01 c primal-dual : 359699.84 100.00 3586.14/3597.01 c primal-ref : - - (not evaluated) 3586.14/3597.01 c dual-ref : - - (not evaluated) 3586.14/3597.10 c Time complete: 3586.25.
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: 64059 MiB (61046 MiB free) memory of node 1: 64510 MiB (60190 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446525-1721333300/watcher-4446525-1721333300 -o /tmp/evaluation-result-4446525-1721333300/solver-4446525-1721333300 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721329708-966736 --watchdog 3760 pbscip -f HOME/instance-4446525-1721333300.opb -t 3600 -j 2 -m 31000 running on 2 cores: 1,3 CPU governors: performance: 1 3 Enforcing FSIZE limit: 104857600 KiB Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 4.18.0-301.1.el8.x86_64 Linux 4.18.0-301.1.el8.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=968807, runsolver pid=968804 [startup+0.100106 s]* /proc/loadavg: 4.14 4.16 4.18 5/241 968808 /proc/meminfo: memFree=124059408/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=114648 memory=75380 CPUtime=0.1 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 15682 0 0 0 7 3 0 0 20 0 1 0 185489219 117399552 18845 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 28662 18845 3550 3540 0 16919 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 114648 KiB Current children cumulated memory: 75380 KiB [startup+0.213932 s]* /proc/loadavg: 4.14 4.16 4.18 5/241 968808 /proc/meminfo: memFree=123967816/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=144212 memory=102336 CPUtime=0.22 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 21891 0 0 0 18 4 0 0 20 0 1 0 185489219 147673088 25584 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 36053 25584 3614 3540 0 24310 0 Current children cumulated CPU time: 0.22 s Current children cumulated vsize: 144212 KiB Current children cumulated memory: 102336 KiB [startup+0.314418 s]* /proc/loadavg: 4.14 4.16 4.18 5/241 968808 /proc/meminfo: memFree=123891116/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=150136 memory=108184 CPUtime=0.3 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 25305 0 0 0 26 4 0 0 20 0 1 0 185489219 153739264 27046 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 37534 27046 3661 3540 0 25791 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 150136 KiB Current children cumulated memory: 108184 KiB [startup+0.700314 s] /proc/loadavg: 4.14 4.16 4.18 6/241 968808 /proc/meminfo: memFree=123822360/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=159252 memory=117956 CPUtime=0.67 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 29312 0 0 0 62 5 0 0 20 0 1 0 185489219 163074048 29489 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 39813 29489 3725 3540 0 28070 0 Current children cumulated CPU time: 0.67 s Current children cumulated vsize: 159252 KiB Current children cumulated memory: 117956 KiB [startup+1.50038 s] /proc/loadavg: 4.14 4.16 4.18 5/241 968808 /proc/meminfo: memFree=123796460/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=198904 memory=154440 CPUtime=1.47 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 37050 0 0 0 140 7 0 0 20 0 1 0 185489219 203677696 38610 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 49726 38610 3773 3540 0 37983 0 Current children cumulated CPU time: 1.47 s Current children cumulated vsize: 198904 KiB Current children cumulated memory: 154440 KiB [startup+3.11375 s] /proc/loadavg: 4.14 4.16 4.18 5/241 968808 /proc/meminfo: memFree=123692880/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=201764 memory=157072 CPUtime=3.07 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 37696 0 0 0 300 7 0 0 20 0 1 0 185489219 206606336 39268 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 50441 39268 3773 3540 0 38698 0 Current children cumulated CPU time: 3.07 s Current children cumulated vsize: 201764 KiB Current children cumulated memory: 157072 KiB [startup+6.30034 s] /proc/loadavg: 4.13 4.16 4.18 5/241 968808 /proc/meminfo: memFree=123689132/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=203876 memory=158652 CPUtime=6.25 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 38115 0 0 0 618 7 0 0 20 0 1 0 185489219 208769024 39663 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 50969 39663 3773 3540 0 39226 0 Current children cumulated CPU time: 6.25 s Current children cumulated vsize: 203876 KiB Current children cumulated memory: 158652 KiB [startup+12.7004 s] /proc/loadavg: 4.12 4.15 4.18 5/241 968810 /proc/meminfo: memFree=123675836/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=207972 memory=162944 CPUtime=12.63 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 39183 0 0 0 1255 8 0 0 20 0 1 0 185489219 212963328 40736 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 51993 40736 3773 3540 0 40250 0 Current children cumulated CPU time: 12.63 s Current children cumulated vsize: 207972 KiB Current children cumulated memory: 162944 KiB [startup+25.5004 s] /proc/loadavg: 4.09 4.14 4.17 5/241 968811 /proc/meminfo: memFree=123591408/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=209152 memory=163992 CPUtime=25.38 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 39461 0 0 0 2530 8 0 0 20 0 1 0 185489219 214171648 40998 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 52288 40998 3773 3540 0 40545 0 Current children cumulated CPU time: 25.38 s Current children cumulated vsize: 209152 KiB Current children cumulated memory: 163992 KiB [startup+51.1136 s] /proc/loadavg: 4.12 4.15 4.17 5/242 968819 /proc/meminfo: memFree=123515216/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=294708 memory=225516 CPUtime=50.91 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 58213 0 0 0 5079 12 0 0 20 0 1 0 185489219 301780992 56379 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 73677 56379 3981 3540 0 61934 0 Current children cumulated CPU time: 50.91 s Current children cumulated vsize: 294708 KiB Current children cumulated memory: 225516 KiB [startup+102.3 s] /proc/loadavg: 4.11 4.14 4.17 5/242 968827 /proc/meminfo: memFree=123401428/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=296848 memory=228740 CPUtime=101.91 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 58992 0 0 0 10179 12 0 0 20 0 1 0 185489219 303972352 57185 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 74212 57185 3997 3540 0 62469 0 Current children cumulated CPU time: 101.91 s Current children cumulated vsize: 296848 KiB Current children cumulated memory: 228740 KiB [startup+162.3 s] /proc/loadavg: 4.13 4.14 4.17 5/245 968842 /proc/meminfo: memFree=123320124/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=300760 memory=232892 CPUtime=161.69 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 59493 0 0 0 16157 12 0 0 20 0 1 0 185489219 307978240 58223 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 75190 58223 3997 3540 0 63447 0 Current children cumulated CPU time: 161.69 s Current children cumulated vsize: 300760 KiB Current children cumulated memory: 232892 KiB [startup+222.3 s] /proc/loadavg: 4.11 4.13 4.16 5/245 968852 /proc/meminfo: memFree=123067124/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=359508 memory=288704 CPUtime=221.5 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 64790 0 0 0 22136 14 0 0 20 0 1 0 185489219 368136192 72176 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 89877 72176 3997 3540 0 78134 0 Current children cumulated CPU time: 221.5 s Current children cumulated vsize: 359508 KiB Current children cumulated memory: 288704 KiB [startup+282.3 s] /proc/loadavg: 4.09 4.12 4.16 5/245 968863 /proc/meminfo: memFree=122903168/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=377804 memory=304448 CPUtime=281.29 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 69089 0 0 0 28114 15 0 0 20 0 1 0 185489219 386871296 76112 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 94451 76112 3997 3540 0 82708 0 Current children cumulated CPU time: 281.29 s Current children cumulated vsize: 377804 KiB Current children cumulated memory: 304448 KiB [startup+342.3 s] /proc/loadavg: 4.15 4.13 4.16 5/244 968874 /proc/meminfo: memFree=122766776/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=385884 memory=310048 CPUtime=341.08 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 70549 0 0 0 34093 15 0 0 20 0 1 0 185489219 395145216 77512 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 96471 77512 3997 3540 0 84728 0 Current children cumulated CPU time: 341.08 s Current children cumulated vsize: 385884 KiB Current children cumulated memory: 310048 KiB [startup+402.3 s] /proc/loadavg: 4.05 4.10 4.15 5/244 968885 /proc/meminfo: memFree=122660108/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=396712 memory=319580 CPUtime=400.88 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 72474 0 0 0 40072 16 0 0 20 0 1 0 185489219 406233088 79895 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 99178 79895 3997 3540 0 87435 0 Current children cumulated CPU time: 400.88 s Current children cumulated vsize: 396712 KiB Current children cumulated memory: 319580 KiB [startup+462.3 s] /proc/loadavg: 4.16 4.13 4.15 5/241 968896 /proc/meminfo: memFree=122632068/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=398196 memory=319760 CPUtime=460.68 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 72523 0 0 0 46052 16 0 0 20 0 1 0 185489219 407752704 79940 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 ################ # More data... # ################ /proc/loadavg: 4.34 4.31 4.22 5/246 970564 /proc/meminfo: memFree=121934368/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3152.53 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 91963 0 0 0 315232 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 116349 102859 4223 3540 0 104606 0 Current children cumulated CPU time: 3152.53 s Current children cumulated vsize: 465396 KiB Current children cumulated memory: 411436 KiB [startup+3222.3 s] /proc/loadavg: 4.16 4.27 4.20 5/246 970574 /proc/meminfo: memFree=121934140/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3212.37 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 92108 0 0 0 321216 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 116349 102859 4223 3540 0 104606 0 Current children cumulated CPU time: 3212.37 s Current children cumulated vsize: 465396 KiB Current children cumulated memory: 411436 KiB [startup+3282.3 s] /proc/loadavg: 4.12 4.23 4.19 5/246 970585 /proc/meminfo: memFree=121933756/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3272.23 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 92249 0 0 0 327202 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 116349 102859 4223 3540 0 104606 0 Current children cumulated CPU time: 3272.23 s Current children cumulated vsize: 465396 KiB Current children cumulated memory: 411436 KiB [startup+3342.3 s] /proc/loadavg: 4.09 4.20 4.18 5/244 970596 /proc/meminfo: memFree=121933584/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3332.08 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 92388 0 0 0 333187 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 116349 102859 4223 3540 0 104606 0 Current children cumulated CPU time: 3332.08 s Current children cumulated vsize: 465396 KiB Current children cumulated memory: 411436 KiB [startup+3402.3 s] /proc/loadavg: 4.21 4.21 4.18 5/244 970606 /proc/meminfo: memFree=121931204/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3391.93 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 92531 0 0 0 339172 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 116349 102859 4223 3540 0 104606 0 Current children cumulated CPU time: 3391.93 s Current children cumulated vsize: 465396 KiB Current children cumulated memory: 411436 KiB [startup+3462.3 s] /proc/loadavg: 4.15 4.19 4.18 5/241 970617 /proc/meminfo: memFree=121931052/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3451.78 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 92675 0 0 0 345157 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 116349 102859 4223 3540 0 104606 0 Current children cumulated CPU time: 3451.78 s Current children cumulated vsize: 465396 KiB Current children cumulated memory: 411436 KiB [startup+3522.3 s] /proc/loadavg: 4.17 4.18 4.18 5/241 970627 /proc/meminfo: memFree=121924608/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3511.63 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 92818 0 0 0 351142 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 116349 102859 4223 3540 0 104606 0 Current children cumulated CPU time: 3511.63 s Current children cumulated vsize: 465396 KiB Current children cumulated memory: 411436 KiB [startup+3582.3 s] /proc/loadavg: 4.12 4.16 4.17 5/241 970637 /proc/meminfo: memFree=121912464/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3571.47 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 92962 0 0 0 357126 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 116349 102859 4223 3540 0 104606 0 Current children cumulated CPU time: 3571.47 s Current children cumulated vsize: 465396 KiB Current children cumulated memory: 411436 KiB [startup+3597.11 s] # the end of solver process 968807 was just reported to runsolver # Child status: 0 # cumulated CPU time of all completed processes: user=3586.03 s, system=0.21818 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3584 s]* /proc/loadavg: 4.12 4.16 4.17 5/241 970637 /proc/meminfo: memFree=121912468/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3573.18 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 92963 0 0 0 357297 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 116349 102859 4223 3540 0 104606 0 Current children cumulated CPU time: 3573.18 s Current children cumulated vsize: 465396 KiB Current children cumulated memory: 411436 KiB [startup+3590.4 s] /proc/loadavg: 4.10 4.16 4.17 5/241 970639 /proc/meminfo: memFree=121910328/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3579.55 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 93003 0 0 0 357934 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 116349 102859 4223 3540 0 104606 0 Current children cumulated CPU time: 3579.55 s Current children cumulated vsize: 465396 KiB Current children cumulated memory: 411436 KiB [startup+3593.6 s] /proc/loadavg: 4.10 4.16 4.17 4/239 970639 /proc/meminfo: memFree=123613452/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3582.74 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 93004 0 0 0 358253 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 116349 102859 4223 3540 0 104606 0 Current children cumulated CPU time: 3582.74 s Current children cumulated vsize: 465396 KiB Current children cumulated memory: 411436 KiB [startup+3595.2 s] /proc/loadavg: 4.10 4.15 4.17 5/241 970731 /proc/meminfo: memFree=123699772/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3584.34 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 93004 0 0 0 358413 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 116349 102859 4223 3540 0 104606 0 Current children cumulated CPU time: 3584.34 s Current children cumulated vsize: 465396 KiB Current children cumulated memory: 411436 KiB [startup+3596 s]* /proc/loadavg: 4.10 4.15 4.17 5/241 970731 /proc/meminfo: memFree=123667444/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3585.15 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 93004 0 0 0 358494 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 116349 102859 4223 3540 0 104606 0 Current children cumulated CPU time: 3585.15 s Current children cumulated vsize: 465396 KiB Current children cumulated memory: 411436 KiB [startup+3596.8 s] /proc/loadavg: 4.10 4.15 4.17 5/241 970731 /proc/meminfo: memFree=123667444/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3585.93 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 93004 0 0 0 358572 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 116349 102859 4223 3540 0 104606 0 Current children cumulated CPU time: 3585.93 s Current children cumulated vsize: 465396 KiB Current children cumulated memory: 411436 KiB [startup+3597 s]* /proc/loadavg: 4.10 4.15 4.17 4/239 970731 /proc/meminfo: memFree=124213168/131655788 swapFree=131071996/131071996 [pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3586.14 cores=1,3 /proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 93049 0 0 0 358593 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0 /proc/968807/statm: 116349 102859 4223 3540 0 104606 0 Current children cumulated CPU time: 3586.14 s Current children cumulated vsize: 465396 KiB Current children cumulated memory: 411436 KiB Child status: 0 Real time (s): 3597.11 CPU time (s): 3586.25 CPU user time (s): 3586.03 CPU system time (s): 0.21818 CPU usage (%): 99.6981 Max. virtual memory (cumulated for all children) (KiB): 465396 Max. memory (cumulated for all children) (KiB): 411436 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3586.03 system time used= 0.21818 maximum resident set size= 411436 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 93091 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 31 involuntary context switches= 1195 # summary of solver processes directly reported to runsolver: # pid: 968807 # total CPU time (s): 3586.25 # total CPU user time (s): 3586.03 # total CPU system time (s): 0.21818 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 20.569 second user time and 33.7464 second system time The end
Begin job on nodeC010 at 2024-07-18 22:08:31 IDJOB=4446525 IDBENCH=158274 IDSOLVER=3059 FILE ID=nodeC010/4446525-1721333300 RUNJOBID= nodeC010-1721329708-966736 SLURM_JOB_ID= 7542700 Free space on /tmp= 723716 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K143.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-4446525-1721333300/watcher-4446525-1721333300 -o /tmp/evaluation-result-4446525-1721333300/solver-4446525-1721333300 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721329708-966736 --watchdog 3760 pbscip -f HOME/instance-4446525-1721333300.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5b71eb3fc2b19671b5e391982561b6cd RANDOM SEED=622327970 nodeC010.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 : 0xb00001f cpu MHz : 3654.986 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3513.315 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.340 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.174 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3582.772 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1307.352 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.192 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.173 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 124167672 kB MemAvailable: 129100036 kB Buffers: 506176 kB Cached: 5206488 kB SwapCached: 0 kB Active: 1021160 kB Inactive: 5789792 kB Active(anon): 1456 kB Inactive(anon): 1134272 kB Active(file): 1019704 kB Inactive(file): 4655520 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 85000 kB Writeback: 4 kB AnonPages: 1098100 kB Mapped: 136628 kB Shmem: 37704 kB KReclaimable: 194344 kB Slab: 309016 kB SReclaimable: 194344 kB SUnreclaim: 114672 kB KernelStack: 3936 kB PageTables: 11500 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1515780 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 58656 kB HardwareCorrupted: 0 kB AnonHugePages: 333824 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: 295752 kB DirectMap2M: 35260416 kB DirectMap1G: 100663296 kB Free space on /tmp at the end= 723704 MiB End job on nodeC010 at 2024-07-18 23:08:28