Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIP 2024-07-07 | ? | 3586.54 | 3597.2 |
Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K134.opb |
MD5SUM | 963edb3c79c326322e0bda3e585d3232 |
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 | 15946 |
Total number of constraints | 16216 |
Number of constraints which are clauses | 16082 |
Number of constraints which are cardinality constraints (but not clauses) | 134 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 134 |
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 | 135 |
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.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f] 0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB) 0.00/0.01 c 0.00/0.01 c user parameter file <scip.set> not found - using default parameters 0.00/0.01 c reading problem <HOME/instance-4446465-1721333296.opb> 0.10/0.15 c original problem has 15946 variables (15946 bin, 0 int, 0 impl, 0 cont) and 16216 constraints 0.10/0.15 c problem read in 0.15 0.10/0.15 c No objective function, only one solution is needed. 0.21/0.27 c presolving: 0.31/0.34 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, 1835 clqs 0.31/0.36 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, 1819 clqs 0.31/0.37 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, 1840 clqs 0.31/0.38 c (round 4, fast) 1055 del vars, 536 del conss, 0 add conss, 262 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1873 clqs 0.31/0.38 c (round 5, fast) 1130 del vars, 591 del conss, 0 add conss, 286 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1894 clqs 0.31/0.39 c (round 6, fast) 1171 del vars, 625 del conss, 0 add conss, 300 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1904 clqs 0.41/0.48 c (0.5s) running MILP presolver 0.69/0.74 c (0.7s) MILP presolver (4 rounds): 0 aggregations, 138 fixings, 0 bound changes 0.69/0.75 c (round 7, medium) 1319 del vars, 635 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1913 clqs 0.69/0.77 c (round 8, fast) 1319 del vars, 773 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1916 clqs 0.79/0.80 c (round 9, exhaustive) 1319 del vars, 905 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1916 clqs 0.88/0.91 c (round 10, exhaustive) 1319 del vars, 905 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 15311 upgd conss, 0 impls, 1916 clqs 1.00/1.10 c (round 11, exhaustive) 1425 del vars, 905 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 105 chg coeffs, 15311 upgd conss, 0 impls, 1904 clqs 1.10/1.11 c (round 12, fast) 1531 del vars, 1011 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 105 chg coeffs, 15311 upgd conss, 0 impls, 1904 clqs 2.38/2.40 c (round 13, exhaustive) 1557 del vars, 1012 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 105 chg coeffs, 15311 upgd conss, 0 impls, 96815 clqs 2.38/2.41 c (round 14, fast) 1558 del vars, 1038 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 159 chg coeffs, 15311 upgd conss, 0 impls, 96826 clqs 3.78/3.87 c (round 15, exhaustive) 1583 del vars, 1038 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 159 chg coeffs, 15311 upgd conss, 0 impls, 96800 clqs 3.78/3.88 c (round 16, fast) 1583 del vars, 1063 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 212 chg coeffs, 15311 upgd conss, 0 impls, 96809 clqs 4.99/5.02 c (round 17, exhaustive) 1609 del vars, 1063 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 212 chg coeffs, 15311 upgd conss, 0 impls, 96809 clqs 4.99/5.03 c (round 18, fast) 1610 del vars, 1089 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 275 chg coeffs, 15311 upgd conss, 0 impls, 96826 clqs 5.47/5.59 c (round 19, exhaustive) 1635 del vars, 1089 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 275 chg coeffs, 15311 upgd conss, 0 impls, 96823 clqs 5.57/5.60 c (round 20, fast) 1635 del vars, 1114 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 336 chg coeffs, 15311 upgd conss, 0 impls, 96835 clqs 6.08/6.12 c (round 21, exhaustive) 1660 del vars, 1114 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 336 chg coeffs, 15311 upgd conss, 0 impls, 96851 clqs 6.08/6.12 c (round 22, fast) 1660 del vars, 1139 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 393 chg coeffs, 15311 upgd conss, 0 impls, 96867 clqs 6.27/6.32 c (round 23, exhaustive) 1686 del vars, 1139 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 393 chg coeffs, 15311 upgd conss, 0 impls, 96855 clqs 6.27/6.32 c (round 24, fast) 1687 del vars, 1165 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 459 chg coeffs, 15311 upgd conss, 0 impls, 96863 clqs 6.47/6.56 c (round 25, exhaustive) 1712 del vars, 1165 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 459 chg coeffs, 15311 upgd conss, 0 impls, 96905 clqs 6.47/6.57 c (round 26, fast) 1712 del vars, 1190 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 518 chg coeffs, 15311 upgd conss, 0 impls, 96911 clqs 6.67/6.79 c (6.8s) probing: 1000/14960 (6.7%) - 177 fixings, 0 aggregations, 1063752 implications, 0 bound changes 6.98/7.08 c (round 27, exhaustive) 1740 del vars, 1190 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 518 chg coeffs, 15311 upgd conss, 0 impls, 94614 clqs 6.98/7.09 c (round 28, fast) 1743 del vars, 1218 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 622 chg coeffs, 15311 upgd conss, 0 impls, 94642 clqs 9.86/9.91 c (round 29, exhaustive) 1768 del vars, 1218 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 622 chg coeffs, 15311 upgd conss, 0 impls, 96855 clqs 9.86/9.92 c (round 30, fast) 1768 del vars, 1243 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 681 chg coeffs, 15311 upgd conss, 0 impls, 96864 clqs 10.07/10.13 c (round 31, exhaustive) 1793 del vars, 1243 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 681 chg coeffs, 15311 upgd conss, 0 impls, 96923 clqs 10.07/10.14 c (round 32, fast) 1793 del vars, 1268 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 734 chg coeffs, 15311 upgd conss, 0 impls, 96929 clqs 10.26/10.36 c (round 33, exhaustive) 1819 del vars, 1268 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 734 chg coeffs, 15311 upgd conss, 0 impls, 96923 clqs 10.26/10.37 c (round 34, fast) 1821 del vars, 1295 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 785 chg coeffs, 15311 upgd conss, 0 impls, 96931 clqs 10.46/10.55 c (round 35, exhaustive) 1846 del vars, 1295 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 786 chg coeffs, 15311 upgd conss, 0 impls, 96846 clqs 10.46/10.56 c (round 36, fast) 1846 del vars, 1320 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 810 chg coeffs, 15311 upgd conss, 0 impls, 96846 clqs 10.66/10.74 c (round 37, exhaustive) 1871 del vars, 1320 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 810 chg coeffs, 15311 upgd conss, 0 impls, 96763 clqs 10.66/10.74 c (round 38, fast) 1871 del vars, 1345 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 834 chg coeffs, 15311 upgd conss, 0 impls, 96763 clqs 10.86/10.93 c (round 39, exhaustive) 1909 del vars, 1345 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 834 chg coeffs, 15311 upgd conss, 0 impls, 96683 clqs 10.86/10.94 c (round 40, fast) 1922 del vars, 1383 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 901 chg coeffs, 15311 upgd conss, 0 impls, 96689 clqs 11.07/11.12 c (round 41, exhaustive) 1947 del vars, 1383 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 901 chg coeffs, 15311 upgd conss, 0 impls, 96629 clqs 11.07/11.12 c (round 42, fast) 1947 del vars, 1408 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 926 chg coeffs, 15311 upgd conss, 0 impls, 96629 clqs 12.25/12.33 c (12.3s) probing: 2000/14960 (13.4%) - 396 fixings, 1 aggregations, 2361210 implications, 0 bound changes 12.75/12.85 c (round 43, exhaustive) 1972 del vars, 1408 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 926 chg coeffs, 15311 upgd conss, 0 impls, 97016 clqs 12.75/12.86 c (round 44, fast) 1972 del vars, 1433 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 950 chg coeffs, 15311 upgd conss, 0 impls, 97016 clqs 12.96/13.04 c (round 45, exhaustive) 1997 del vars, 1433 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 950 chg coeffs, 15311 upgd conss, 0 impls, 97040 clqs 12.96/13.04 c (round 46, fast) 1997 del vars, 1458 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 976 chg coeffs, 15311 upgd conss, 0 impls, 97040 clqs 15.84/15.96 c (16.0s) probing: 3000/14960 (20.1%) - 447 fixings, 1 aggregations, 3496619 implications, 0 bound changes 16.24/16.34 c (round 47, exhaustive) 2022 del vars, 1458 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 976 chg coeffs, 15311 upgd conss, 0 impls, 97069 clqs 16.24/16.35 c (round 48, fast) 2022 del vars, 1483 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1004 chg coeffs, 15311 upgd conss, 0 impls, 97069 clqs 16.95/17.02 c (round 49, exhaustive) 2047 del vars, 1483 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1004 chg coeffs, 15311 upgd conss, 0 impls, 97079 clqs 16.95/17.03 c (round 50, fast) 2047 del vars, 1508 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1031 chg coeffs, 15311 upgd conss, 0 impls, 97079 clqs 18.83/18.98 c (round 51, exhaustive) 2072 del vars, 1508 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1031 chg coeffs, 15311 upgd conss, 0 impls, 97078 clqs 18.83/18.98 c (round 52, fast) 2072 del vars, 1533 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1062 chg coeffs, 15311 upgd conss, 0 impls, 97078 clqs 19.23/19.35 c (19.3s) probing: 4000/14960 (26.7%) - 503 fixings, 1 aggregations, 4436236 implications, 0 bound changes 21.73/21.86 c (21.8s) probing: 4924/14960 (32.9%) - 503 fixings, 1 aggregations, 5284926 implications, 0 bound changes 21.73/21.86 c (21.8s) probing aborted: 1000/1000 successive useless probings 21.73/21.88 c (21.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 21.82/21.96 c (22.0s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.03) 21.82/21.96 c dynamic symmetry handling statistics: 21.82/21.96 c orbitopal reduction: no components 21.82/21.96 c orbital reduction: no components 21.82/21.96 c lexicographic reduction: 3 permutations with support sizes 1222, 512, 244 21.82/21.96 c handled 4 out of 4 symmetry components 21.82/21.98 c presolving (53 rounds: 53 fast, 25 medium, 24 exhaustive): 21.82/21.98 c 2079 deleted vars, 1537 deleted constraints, 1 added constraints, 303 tightened bounds, 0 added holes, 0 changed sides, 1067 changed coefficients 21.82/21.98 c 0 implications, 97111 cliques 21.82/21.98 c presolved problem has 14432 variables (14432 bin, 0 int, 0 impl, 0 cont) and 14680 constraints 21.82/21.98 c 1807 constraints of type <setppc> 21.82/21.98 c 1 constraints of type <orbitope> 21.82/21.98 c 12872 constraints of type <logicor> 21.82/21.98 c transformed objective value is always integral (scale: 1) 21.82/21.98 c Presolving Time: 21.72 21.82/21.98 c - non default parameters ---------------------------------------------------------------------- 21.82/21.98 c # SCIP version 10.0.0 21.82/21.98 c 21.82/21.98 c # maximal time in seconds to run 21.82/21.98 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20] 21.82/21.98 c limits/time = 3596.994096 21.82/21.98 c 21.82/21.98 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 21.82/21.98 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207] 21.82/21.98 c limits/memory = 27900 21.82/21.98 c 21.82/21.98 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit) 21.82/21.98 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1] 21.82/21.98 c limits/solutions = 1 21.82/21.98 c 21.82/21.98 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. 21.82/21.98 c # [type: int, advanced: FALSE, range: [0,7], default: 7] 21.82/21.98 c misc/usesymmetry = 3 21.82/21.98 c 21.82/21.98 c # belongs reading time to solving time? 21.82/21.98 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE] 21.82/21.98 c timing/reading = TRUE 21.82/21.98 c 21.82/21.98 c # Should we check whether the components of the symmetry group can be handled by double lex matrices? 21.82/21.98 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE] 21.82/21.98 c propagating/symmetry/detectdoublelex = FALSE 21.82/21.98 c 21.82/21.98 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables? 21.82/21.98 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE] 21.82/21.98 c propagating/symmetry/detectsubgroups = FALSE 21.82/21.98 c 21.82/21.98 c # Type of symmetries that shall be computed? 21.82/21.98 c # [type: int, advanced: TRUE, range: [0,1], default: 0] 21.82/21.98 c propagating/symmetry/symtype = 1 21.82/21.98 c 21.82/21.98 c # Should components consisting of a single full reflection be handled? 21.82/21.98 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE] 21.82/21.98 c propagating/symmetry/usesimplesgncomp = FALSE 21.82/21.98 c 21.82/21.98 c ----------------------------------------------------------------------------------------------- 21.82/21.98 c start solving 21.82/21.98 c 36.49/36.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 36.49/36.61 c 36.6s| 1 | 0 | 15790 | - | 196M | 0 | 14k| 14k| 14k| 0 | 0 | 122 | 0 | 0.000000e+00 | -- | Inf | unknown 145.20/145.66 c 146s| 1 | 0 | 97678 | - | 219M | 0 | 14k| 14k| 14k| 5 | 1 | 123 | 0 | 0.000000e+00 | -- | Inf | unknown 160.37/160.89 c 161s| 1 | 0 |108127 | - | 224M | 0 | 14k| 14k| 14k| 9 | 2 | 124 | 0 | 0.000000e+00 | -- | Inf | unknown 179.42/179.99 c 180s| 1 | 0 |118818 | - | 229M | 0 | 14k| 14k| 14k| 20 | 3 | 126 | 0 | 0.000000e+00 | -- | Inf | unknown 202.26/202.82 c 203s| 1 | 0 |130981 | - | 233M | 0 | 14k| 14k| 14k| 37 | 4 | 132 | 0 | 0.000000e+00 | -- | Inf | unknown 224.90/225.54 c 226s| 1 | 0 |142500 | - | 236M | 0 | 14k| 14k| 14k| 56 | 5 | 139 | 0 | 0.000000e+00 | -- | Inf | unknown 248.84/249.59 c 250s| 1 | 0 |154539 | - | 240M | 0 | 14k| 14k| 14k| 67 | 6 | 145 | 0 | 0.000000e+00 | -- | Inf | unknown 276.77/277.59 c 278s| 1 | 0 |167777 | - | 242M | 0 | 14k| 14k| 14k| 87 | 7 | 149 | 0 | 0.000000e+00 | -- | Inf | unknown 302.79/303.63 c 304s| 1 | 0 |179892 | - | 245M | 0 | 14k| 14k| 14k| 100 | 8 | 150 | 0 | 0.000000e+00 | -- | Inf | unknown 337.37/338.33 c 338s| 1 | 0 |193750 | - | 250M | 0 | 14k| 14k| 14k| 118 | 9 | 155 | 0 | 0.000000e+00 | -- | Inf | unknown 367.18/368.22 c 368s| 1 | 0 |206823 | - | 253M | 0 | 14k| 14k| 14k| 134 | 10 | 157 | 0 | 0.000000e+00 | -- | Inf | unknown 392.80/393.90 c 394s| 1 | 0 |218390 | - | 255M | 0 | 14k| 14k| 14k| 140 | 11 | 158 | 0 | 0.000000e+00 | -- | Inf | unknown 565.30/566.98 c 567s| 1 | 2 |258073 | - | 257M | 0 | 14k| 14k| 14k| 140 | 11 | 165 | 19 | 0.000000e+00 | -- | Inf | unknown 2643.34/2651.17 c 2651s| 100 | 34 | 1820k|16187.5 | 285M | 35 | 14k| 14k| 14k| 181 | 1 | 279 | 19 | 0.000000e+00 | -- | Inf | unknown 3586.34/3597.11 c 3586.34/3597.11 c SCIP Status : solving was interrupted [time limit reached] 3586.34/3597.11 c Solving Time (sec) : 3597.10 3586.34/3597.11 c Solving Nodes : 106 3586.34/3597.11 c Primal Bound : +1.00000000000000e+20 (0 solutions) 3586.34/3597.11 c Dual Bound : +0.00000000000000e+00 3586.34/3597.11 c Gap : infinite 3586.34/3597.11 s UNKNOWN 3586.34/3597.11 c SCIP Status : solving was interrupted [time limit reached] 3586.34/3597.11 c Total Time : 3597.10 3586.34/3597.11 c solving : 3597.10 3586.34/3597.11 c presolving : 21.72 (included in solving) 3586.34/3597.11 c reading : 0.15 (included in solving) 3586.34/3597.11 c copying : 0.13 (3 #copies) (minimal 0.03, maximal 0.05, average 0.04) 3586.34/3597.11 c Original Problem : 3586.34/3597.11 c Problem name : HOME/instance-4446465-1721333296.opb 3586.34/3597.11 c Variables : 15946 (15946 binary, 0 integer, 0 implicit integer, 0 continuous) 3586.34/3597.11 c Constraints : 16216 initial, 16216 maximal 3586.34/3597.11 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20) 3586.34/3597.11 c Presolved Problem : 3586.34/3597.11 c Problem name : t_HOME/instance-4446465-1721333296.opb 3586.34/3597.11 c Variables : 14432 (14432 binary, 0 integer, 0 implicit integer, 0 continuous) 3586.34/3597.11 c Constraints : 14680 initial, 14876 maximal 3586.34/3597.11 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20) 3586.34/3597.11 c Nonzeros : 80172 constraint, 208391 clique table 3586.34/3597.11 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs 3586.34/3597.11 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c domcol : 0.85 0.00 21 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c dualsparsify : 0.03 0.00 1 0 0 0 0 0 4 0 0 5 3586.34/3597.11 c gateextraction : 0.19 0.00 22 0 0 0 0 0 1 0 0 0 3586.34/3597.11 c implics : 0.00 0.00 25 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c milp : 0.35 0.00 1 138 0 0 0 0 0 0 0 0 3586.34/3597.11 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c sparsify : 0.41 0.00 4 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c trivial : 0.02 0.00 53 565 0 0 0 0 0 0 0 0 3586.34/3597.11 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c dualfix : 0.02 0.00 53 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c probing : 16.45 0.00 21 503 1 0 0 0 0 0 0 0 3586.34/3597.11 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c symmetry : 0.08 0.00 1 3 0 0 0 0 0 1 0 0 3586.34/3597.11 c vbounds : 0.02 0.00 2 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c setppc : 0.14 0.00 87 0 0 0 0 0 109 0 0 0 3586.34/3597.11 c linear : 0.24 0.02 12 303 0 0 303 0 905 0 0 0 3586.34/3597.11 c orbitope : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c logicor : 2.85 0.00 87 107 0 0 0 0 518 0 0 1062 3586.34/3597.11 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c root node : - - - 0 - - 0 - - - - - 3586.34/3597.11 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children 3586.34/3597.11 c benderslp : 0 0 0 0 72 0 0 10 0 0 0 0 0 0 0 3586.34/3597.11 c integral : 0 0 0 0 72 0 0 10 0 0 0 0 0 0 144 3586.34/3597.11 c setppc : 1807+ 1898 11 143301 0 0 0 6 59724 352 12535 0 0 0 0 3586.34/3597.11 c linear : 0+ 1 0 7675 0 0 0 3 2 0 0 0 0 0 0 3586.34/3597.11 c orbitope : 1 1 0 12600 0 0 0 0 248 0 21 0 0 0 0 3586.34/3597.11 c logicor : 12872+ 12988 11 80079 0 0 0 0 173362 121 34019 14 7 0 0 3586.34/3597.11 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop 3586.34/3597.11 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3586.34/3597.11 c integral : 40.12 0.00 0.00 0.00 40.12 0.00 0.00 0.00 0.00 0.00 3586.34/3597.11 c setppc : 1.86 0.00 0.00 1.82 0.00 0.00 0.00 0.00 0.02 0.01 3586.34/3597.11 c linear : 0.03 0.02 0.00 0.00 0.00 0.00 0.00 0.01 0.00 0.00 3586.34/3597.11 c orbitope : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00 3586.34/3597.11 c logicor : 6.15 0.00 0.03 6.01 0.00 0.00 0.00 0.00 0.08 0.02 3586.34/3597.11 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3586.34/3597.11 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3586.34/3597.11 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3586.34/3597.11 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3586.34/3597.11 c Propagators : #Propagate #ResProp Cutoffs DomReds 3586.34/3597.11 c dualfix : 1 0 0 0 3586.34/3597.11 c genvbounds : 0 0 0 0 3586.34/3597.11 c nlobbt : 0 0 0 0 3586.34/3597.11 c obbt : 0 0 0 0 3586.34/3597.11 c probing : 0 0 0 0 3586.34/3597.11 c pseudoobj : 0 0 0 0 3586.34/3597.11 c redcost : 0 0 0 0 3586.34/3597.11 c rootredcost : 0 0 0 0 3586.34/3597.11 c symmetry : 1364 0 0 0 3586.34/3597.11 c vbounds : 5896 0 0 0 3586.34/3597.11 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop 3586.34/3597.11 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00 3586.34/3597.11 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00 3586.34/3597.11 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00 3586.34/3597.11 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00 3586.34/3597.11 c probing : 16.45 0.00 16.45 0.00 0.00 0.00 3586.34/3597.11 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00 3586.34/3597.11 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00 3586.34/3597.11 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00 3586.34/3597.11 c symmetry : 0.09 0.00 0.08 0.01 0.00 0.00 3586.34/3597.11 c vbounds : 0.08 0.00 0.02 0.06 0.00 0.00 3586.34/3597.11 c Symmetry : 3586.34/3597.11 c orbitopal red. : 0 reductions applied, 0 cutoffs 3586.34/3597.11 c orbital reduction: 0 reductions applied, 0 cutoffs 3586.34/3597.11 c lexicographic red: 0 reductions applied, 0 cutoffs 3586.34/3597.11 c shadow tree time : 0.00 s 3586.34/3597.11 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000]) 3586.34/3597.11 c propagation : 0.03 468 119 - 724 153.9 6 11.2 - - - 3586.34/3597.11 c infeasible LP : 0.58 41 29 - 493 1274.3 0 0.0 1 1147.0 0 3586.34/3597.11 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0 3586.34/3597.11 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0 3586.34/3597.11 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - - 3586.34/3597.11 c applied globally : 0.01 - - 0 285 174.8 - - 1 - - 3586.34/3597.11 c applied locally : - - - 0 0 0.0 - - 0 - - 3586.34/3597.11 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss 3586.34/3597.11 c cut pool : 0.00 - 35 21 - - 264 417 - - - - - (maximal pool size: 264) 3586.34/3597.11 c aggregation : 0.06 0.00 17 11 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c > cmir : - - - - - - - 0 0 0 0 0 - 3586.34/3597.11 c > flowcover : - - - - - - - 0 0 0 0 0 - 3586.34/3597.11 c > knapsackcover : - - - - - - - 0 0 0 0 0 - 3586.34/3597.11 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c clique : 1.42 0.00 11 11 0 0 72 164 0 71 71 0 0 3586.34/3597.11 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c gomory : 18.55 0.00 16 10 0 0 107 87 50 6 6 0 0 3586.34/3597.11 c > gomorymi : - - - - - - - 43 25 2 2 0 - 3586.34/3597.11 c > strongcg : - - - - - - - 44 25 4 4 0 - 3586.34/3597.11 c impliedbounds : 0.08 0.00 17 11 0 0 49 67 0 16 16 0 0 3586.34/3597.11 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c multilinear : 0.00 0.00 18 11 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c rlt : 0.00 0.00 13 10 0 0 0 0 0 0 0 0 0 3586.34/3597.11 c zerohalf : 16.12 0.00 17 11 0 0 94 99 8 100 93 7 0 3586.34/3597.11 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt 3586.34/3597.11 c hybrid : 0.00 0.00 19 11 200 0 289 140 0 117 3586.34/3597.11 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0 3586.34/3597.11 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0 3586.34/3597.11 c Pricers : ExecTime SetupTime Calls Vars 3586.34/3597.11 c problem variables: 0.00 - 0 0 3586.34/3597.11 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children 3586.34/3597.11 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0 3586.34/3597.11 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0 3586.34/3597.11 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0 3586.34/3597.11 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0 3586.34/3597.11 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 3586.34/3597.11 c inference : 0.00 0.00 0 0 0 0 0 0 0 0 3586.34/3597.11 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0 3586.34/3597.11 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0 3586.34/3597.11 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0 3586.34/3597.11 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0 3586.34/3597.11 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0 3586.34/3597.11 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0 3586.34/3597.11 c random : 0.00 0.00 0 0 0 0 0 0 0 0 3586.34/3597.11 c relpscost : 40.12 0.00 72 0 0 0 0 0 0 144 3586.34/3597.11 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0 3586.34/3597.11 c Primal Heuristics : ExecTime SetupTime Calls Found Best 3586.34/3597.11 c LP solutions : 0.00 - - 0 0 3586.34/3597.11 c relax solutions : 0.00 - - 0 0 3586.34/3597.11 c pseudo solutions : 0.00 - - 0 0 3586.34/3597.11 c strong branching : 0.00 - - 0 0 3586.34/3597.11 c actconsdiving : 0.00 0.00 0 0 0 3586.34/3597.11 c adaptivediving : 187.46 0.00 1 0 0 3586.34/3597.11 c alns : 0.32 0.00 2 0 0 3586.34/3597.11 c bound : 0.00 0.00 0 0 0 3586.34/3597.11 c clique : 0.06 0.00 1 0 0 3586.34/3597.11 c coefdiving : 0.00 0.00 0 0 0 3586.34/3597.11 c completesol : 0.00 0.00 0 0 0 3586.34/3597.11 c conflictdiving : 132.62 0.00 1 0 0 3586.34/3597.11 c crossover : 0.00 0.00 0 0 0 3586.34/3597.11 c dins : 0.00 0.00 0 0 0 3586.34/3597.11 c distributiondivin: 0.02 0.00 0 0 0 3586.34/3597.11 c dps : 0.00 0.00 0 0 0 3586.34/3597.11 c dualval : 0.00 0.00 0 0 0 3586.34/3597.11 c farkasdiving : 0.00 0.00 0 0 0 3586.34/3597.11 c feasjump : 0.03 0.00 1 0 0 3586.34/3597.11 c feaspump : 96.37 0.00 1 0 0 3586.34/3597.11 c fixandinfer : 0.00 0.00 0 0 0 3586.34/3597.11 c fracdiving : 109.70 0.00 1 0 0 3586.34/3597.11 c gins : 0.00 0.00 0 0 0 3586.34/3597.11 c guideddiving : 0.00 0.00 0 0 0 3586.34/3597.11 c indcoefdiving : 0.00 0.00 0 0 0 3586.34/3597.11 c indicator : 0.00 0.00 0 0 0 3586.34/3597.11 c indicatordiving : 0.00 0.00 0 0 0 3586.34/3597.11 c indoneopt : 0.00 0.00 0 0 0 3586.34/3597.11 c indrounding : 0.00 0.00 0 0 0 3586.34/3597.11 c indtwoopt : 0.00 0.00 0 0 0 3586.34/3597.11 c intdiving : 0.00 0.00 0 0 0 3586.34/3597.11 c intshifting : 0.00 0.00 0 0 0 3586.34/3597.11 c linesearchdiving : 0.00 0.00 0 0 0 3586.34/3597.11 c localbranching : 0.00 0.00 0 0 0 3586.34/3597.11 c locks : 0.05 0.00 1 0 0 3586.34/3597.11 c lpface : 0.00 0.00 0 0 0 3586.34/3597.11 c mpec : 0.00 0.00 0 0 0 3586.34/3597.11 c multistart : 0.00 0.00 0 0 0 3586.34/3597.11 c mutation : 0.00 0.00 0 0 0 3586.34/3597.11 c nlpdiving : 0.00 0.00 0 0 0 3586.34/3597.11 c objpscostdiving : 596.85 0.00 1 0 0 3586.34/3597.11 c octane : 0.00 0.00 0 0 0 3586.34/3597.11 c ofins : 0.00 0.00 0 0 0 3586.34/3597.11 c oneopt : 0.00 0.00 0 0 0 3586.34/3597.11 c padm : 0.00 0.00 0 0 0 3586.34/3597.11 c proximity : 0.00 0.00 0 0 0 3586.34/3597.11 c pscostdiving : 28.32 0.00 1 0 0 3586.34/3597.11 c randrounding : 0.19 0.00 15 0 0 3586.34/3597.11 c rens : 0.28 0.00 1 0 0 3586.34/3597.11 c reoptsols : 0.00 0.00 0 0 0 3586.34/3597.11 c repair : 0.00 0.00 0 0 0 3586.34/3597.11 c rins : 0.00 0.00 0 0 0 3586.34/3597.11 c rootsoldiving : 0.00 0.00 0 0 0 3586.34/3597.11 c rounding : 0.09 0.00 91 0 0 3586.34/3597.11 c scheduler : 0.00 0.00 0 0 0 3586.34/3597.11 c shiftandpropagate: 0.02 0.00 1 0 0 3586.34/3597.11 c shifting : 0.23 0.00 25 0 0 3586.34/3597.11 c simplerounding : 0.00 0.00 0 0 0 3586.34/3597.11 c smallcard : 0.00 0.00 0 0 0 3586.34/3597.11 c subnlp : 0.00 0.00 0 0 0 3586.34/3597.11 c trivial : 0.02 0.00 2 0 0 3586.34/3597.11 c trivialnegation : 0.00 0.00 0 0 0 3586.34/3597.11 c trustregion : 0.00 0.00 0 0 0 3586.34/3597.11 c trysol : 0.00 0.00 0 0 0 3586.34/3597.11 c twoopt : 0.00 0.00 0 0 0 3586.34/3597.11 c undercover : 0.00 0.00 0 0 0 3586.34/3597.11 c vbounds : 0.10 0.00 1 0 0 3586.34/3597.11 c veclendiving : 135.26 0.00 1 0 0 3586.34/3597.11 c zeroobj : 0.00 0.00 0 0 0 3586.34/3597.11 c zirounding : 0.03 0.00 71 0 0 3586.34/3597.11 c other solutions : - - - 0 - 3586.34/3597.11 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv 3586.34/3597.11 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.34/3597.11 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.34/3597.11 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.34/3597.11 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.34/3597.11 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.34/3597.11 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.34/3597.11 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.34/3597.11 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.34/3597.11 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.34/3597.11 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit 3586.34/3597.11 c primal LP : 0.13 4 0 0.00 0.00 0.13 4 3586.34/3597.11 c dual LP : 2209.55 140 1625822 13111.47 735.82 0.73 16 3586.34/3597.11 c lex dual LP : 0.00 0 0 0.00 - 3586.34/3597.11 c barrier LP : 0.00 0 0 0.00 - 0.00 0 3586.34/3597.11 c resolve instable : 200.57 33 188788 5720.85 941.27 3586.34/3597.11 c diving/probing LP: 1291.49 405 500979 1236.99 387.91 3586.34/3597.11 c strong branching : 33.11 19 18987 999.32 573.47 - - 37 3586.34/3597.11 c (at root node) : - 19 18987 999.32 - 3586.34/3597.11 c conflict analysis: 0.00 0 0 0.00 - 3586.34/3597.11 c B&B Tree : 3586.34/3597.11 c number of runs : 1 3586.34/3597.11 c nodes : 106 (72 internal, 34 leaves) 3586.34/3597.11 c feasible leaves : 0 3586.34/3597.11 c infeas. leaves : 34 3586.34/3597.11 c objective leaves : 0 3586.34/3597.11 c nodes (total) : 106 (72 internal, 34 leaves) 3586.34/3597.11 c nodes left : 38 3586.34/3597.11 c max depth : 35 3586.34/3597.11 c max depth (total): 35 3586.34/3597.11 c backtracks : 14 (13.2%) 3586.34/3597.11 c early backtracks : 0 (0.0%) 3586.34/3597.11 c nodes exc. ref. : 0 (0.0%) 3586.34/3597.11 c delayed cutoffs : 1 3586.34/3597.11 c repropagations : 198 (896 domain reductions, 1 cutoffs) 3586.34/3597.11 c avg switch length: 5.46 3586.34/3597.11 c switching time : 0.25 3586.34/3597.11 c Root Node : 3586.34/3597.11 c First LP value : +0.00000000000000e+00 3586.34/3597.11 c First LP Iters : 15790 (1099.41 Iter/sec) 3586.34/3597.11 c First LP Time : 14.36 3586.34/3597.11 c Final Dual Bound : +0.00000000000000e+00 3586.34/3597.11 c Final Root Iters : 218390 3586.34/3597.11 c Root LP Estimate : +1.89615198301091e-03 3586.34/3597.11 c Solution : 3586.34/3597.11 c Solutions found : 0 (0 improvements) 3586.34/3597.11 c Primal Bound : - 3586.34/3597.11 c Dual Bound : +0.00000000000000e+00 3586.34/3597.11 c Gap : infinite 3586.34/3597.11 c Integrals : Total Avg% 3586.34/3597.11 c primal-dual : 359709.93 100.00 3586.34/3597.11 c primal-ref : - - (not evaluated) 3586.34/3597.11 c dual-ref : - - (not evaluated) 3586.53/3597.20 c Time complete: 3586.53.
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 (61707 MiB free) memory of node 1: 64510 MiB (57163 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446465-1721333296/watcher-4446465-1721333296 -o /tmp/evaluation-result-4446465-1721333296/solver-4446465-1721333296 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721329708-966735 --watchdog 3760 pbscip -f HOME/instance-4446465-1721333296.opb -t 3600 -j 2 -m 31000 running on 2 cores: 4,6 CPU governors: performance: 4 6 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=968714, runsolver pid=968711 Current StackSize limit: 8192 KiB [startup+0.100094 s]* /proc/loadavg: 4.16 4.16 4.18 5/241 968715 /proc/meminfo: memFree=121671940/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=79884 memory=39448 CPUtime=0.1 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 6937 0 0 0 9 1 0 0 20 0 1 0 185488806 81801216 9862 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 19971 9862 3258 3540 0 8228 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 79884 KiB Current children cumulated memory: 39448 KiB [startup+0.21304 s]* /proc/loadavg: 4.16 4.16 4.18 5/241 968715 /proc/meminfo: memFree=121577664/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=107928 memory=69200 CPUtime=0.21 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 14145 0 0 0 18 3 0 0 20 0 1 0 185488806 110518272 17300 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 26982 17300 3545 3540 0 15239 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 107928 KiB Current children cumulated memory: 69200 KiB [startup+0.313003 s]* /proc/loadavg: 4.16 4.16 4.18 5/241 968715 /proc/meminfo: memFree=121504500/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=124660 memory=82520 CPUtime=0.31 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 17480 0 0 0 27 4 0 0 20 0 1 0 185488806 127651840 20630 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 31165 20630 3577 3540 0 19422 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 124660 KiB Current children cumulated memory: 82520 KiB [startup+0.700325 s] /proc/loadavg: 4.16 4.16 4.18 5/241 968715 /proc/meminfo: memFree=121473192/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=144848 memory=103188 CPUtime=0.69 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 24388 0 0 0 63 6 0 0 20 0 1 0 185488806 148324352 25797 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 36212 25797 3672 3540 0 24469 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 144848 KiB Current children cumulated memory: 103188 KiB [startup+1.50032 s] /proc/loadavg: 4.16 4.16 4.18 5/241 968715 /proc/meminfo: memFree=121361380/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=180324 memory=135892 CPUtime=1.48 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 33407 0 0 0 141 7 0 0 20 0 1 0 185488806 184651776 33973 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 45081 33973 3784 3540 0 33338 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 180324 KiB Current children cumulated memory: 135892 KiB [startup+3.11274 s] /proc/loadavg: 4.14 4.16 4.18 5/241 968715 /proc/meminfo: memFree=121268060/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=190468 memory=145920 CPUtime=3.09 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 35892 0 0 0 301 8 0 0 20 0 1 0 185488806 195039232 36480 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 47617 36480 3784 3540 0 35874 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 190468 KiB Current children cumulated memory: 145920 KiB [startup+6.30029 s] /proc/loadavg: 4.14 4.16 4.18 5/241 968808 /proc/meminfo: memFree=123740292/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=192576 memory=147496 CPUtime=6.27 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 36319 0 0 0 619 8 0 0 20 0 1 0 185488806 197197824 36874 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 48144 36874 3784 3540 0 36401 0 Current children cumulated CPU time: 6.27 s Current children cumulated vsize: 192576 KiB Current children cumulated memory: 147496 KiB [startup+12.7003 s] /proc/loadavg: 4.13 4.16 4.18 5/241 968808 /proc/meminfo: memFree=123684792/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=198412 memory=152868 CPUtime=12.65 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 37707 0 0 0 1257 8 0 0 20 0 1 0 185488806 203173888 38217 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 49603 38217 3784 3540 0 37860 0 Current children cumulated CPU time: 12.65 s Current children cumulated vsize: 198412 KiB Current children cumulated memory: 152868 KiB [startup+25.5003 s] /proc/loadavg: 4.10 4.15 4.17 5/241 968811 /proc/meminfo: memFree=123593368/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=274656 memory=209592 CPUtime=25.42 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 53933 0 0 0 2531 11 0 0 20 0 1 0 185488806 281247744 52398 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 68664 52398 3992 3540 0 56921 0 Current children cumulated CPU time: 25.42 s Current children cumulated vsize: 274656 KiB Current children cumulated memory: 209592 KiB [startup+51.1126 s] /proc/loadavg: 4.13 4.15 4.18 5/242 968817 /proc/meminfo: memFree=123518012/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=281940 memory=216248 CPUtime=50.96 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 55594 0 0 0 5084 12 0 0 20 0 1 0 185488806 288706560 54062 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 70485 54062 4008 3540 0 58742 0 Current children cumulated CPU time: 50.96 s Current children cumulated vsize: 281940 KiB Current children cumulated memory: 216248 KiB [startup+102.3 s] /proc/loadavg: 4.12 4.14 4.17 5/242 968826 /proc/meminfo: memFree=123402324/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=281940 memory=216512 CPUtime=102.01 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 55609 0 0 0 10189 12 0 0 20 0 1 0 185488806 288706560 54128 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 70485 54128 4008 3540 0 58742 0 Current children cumulated CPU time: 102.01 s Current children cumulated vsize: 281940 KiB Current children cumulated memory: 216512 KiB [startup+162.3 s] /proc/loadavg: 4.14 4.14 4.17 5/245 968841 /proc/meminfo: memFree=123322280/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=344872 memory=275660 CPUtime=161.86 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 63319 0 0 0 16171 15 0 0 20 0 1 0 185488806 353148928 68915 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 86218 68915 4008 3540 0 74475 0 Current children cumulated CPU time: 161.86 s Current children cumulated vsize: 344872 KiB Current children cumulated memory: 275660 KiB [startup+222.3 s] /proc/loadavg: 4.12 4.13 4.17 5/245 968851 /proc/meminfo: memFree=123069488/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=360420 memory=288212 CPUtime=221.71 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 66437 0 0 0 22155 16 0 0 20 0 1 0 185488806 369070080 72053 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 90105 72053 4008 3540 0 78362 0 Current children cumulated CPU time: 221.71 s Current children cumulated vsize: 360420 KiB Current children cumulated memory: 288212 KiB [startup+282.3 s] /proc/loadavg: 4.09 4.12 4.16 5/245 968862 /proc/meminfo: memFree=122903592/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=371696 memory=299044 CPUtime=281.56 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 68205 0 0 0 28139 17 0 0 20 0 1 0 185488806 380616704 74761 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 92924 74761 4008 3540 0 81181 0 Current children cumulated CPU time: 281.56 s Current children cumulated vsize: 371696 KiB Current children cumulated memory: 299044 KiB [startup+342.3 s] /proc/loadavg: 4.07 4.11 4.15 5/245 968873 /proc/meminfo: memFree=122769860/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=378792 memory=305208 CPUtime=341.36 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 69743 0 0 0 34119 17 0 0 20 0 1 0 185488806 387883008 76302 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 94698 76302 4008 3540 0 82955 0 Current children cumulated CPU time: 341.36 s Current children cumulated vsize: 378792 KiB Current children cumulated memory: 305208 KiB [startup+402.3 s] /proc/loadavg: 4.06 4.10 4.15 5/244 968883 /proc/meminfo: memFree=122660104/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=382236 memory=306952 CPUtime=401.18 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 70234 0 0 0 40101 17 0 0 20 0 1 0 185488806 391409664 76738 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 95559 76738 4008 3540 0 83816 0 Current children cumulated CPU time: 401.18 s Current children cumulated vsize: 382236 KiB Current children cumulated memory: 306952 KiB [startup+462.3 s] /proc/loadavg: 4.18 4.13 4.15 5/241 968895 /proc/meminfo: memFree=122632564/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=383284 memory=308272 CPUtime=461.01 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 70565 0 0 0 46083 18 0 0 20 0 1 0 185488806 392482816 77068 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 95821 77068 4008 3540 0 84078 0 ################ # More data... # ################ /proc/loadavg: 4.37 4.32 4.22 5/246 970562 /proc/meminfo: memFree=121934312/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3152.92 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89090 0 0 0 315269 23 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 110547 97514 4218 3540 0 98804 0 Current children cumulated CPU time: 3152.92 s Current children cumulated vsize: 442188 KiB Current children cumulated memory: 390056 KiB [startup+3222.3 s] /proc/loadavg: 4.18 4.27 4.20 5/246 970572 /proc/meminfo: memFree=121934140/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3212.74 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89204 0 0 0 321251 23 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 110547 97514 4218 3540 0 98804 0 Current children cumulated CPU time: 3212.74 s Current children cumulated vsize: 442188 KiB Current children cumulated memory: 390056 KiB [startup+3282.3 s] /proc/loadavg: 4.13 4.24 4.19 5/246 970583 /proc/meminfo: memFree=121933700/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3272.56 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89307 0 0 0 327233 23 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 110547 97514 4218 3540 0 98804 0 Current children cumulated CPU time: 3272.56 s Current children cumulated vsize: 442188 KiB Current children cumulated memory: 390056 KiB [startup+3342.3 s] /proc/loadavg: 4.09 4.21 4.18 5/244 970594 /proc/meminfo: memFree=121933584/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3332.38 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89397 0 0 0 333215 23 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 110547 97514 4218 3540 0 98804 0 Current children cumulated CPU time: 3332.38 s Current children cumulated vsize: 442188 KiB Current children cumulated memory: 390056 KiB [startup+3402.3 s] /proc/loadavg: 4.23 4.21 4.19 5/244 970604 /proc/meminfo: memFree=121931280/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3392.2 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89513 0 0 0 339197 23 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 110547 97514 4218 3540 0 98804 0 Current children cumulated CPU time: 3392.2 s Current children cumulated vsize: 442188 KiB Current children cumulated memory: 390056 KiB [startup+3462.3 s] /proc/loadavg: 4.16 4.19 4.18 5/241 970616 /proc/meminfo: memFree=121931080/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3452.04 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89615 0 0 0 345180 24 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 110547 97514 4218 3540 0 98804 0 Current children cumulated CPU time: 3452.04 s Current children cumulated vsize: 442188 KiB Current children cumulated memory: 390056 KiB [startup+3522.3 s] /proc/loadavg: 4.10 4.17 4.17 5/241 970626 /proc/meminfo: memFree=121924668/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3511.86 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89718 0 0 0 351162 24 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 110547 97514 4218 3540 0 98804 0 Current children cumulated CPU time: 3511.86 s Current children cumulated vsize: 442188 KiB Current children cumulated memory: 390056 KiB [startup+3582.3 s] /proc/loadavg: 4.13 4.16 4.17 5/241 970636 /proc/meminfo: memFree=121912504/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3571.68 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89822 0 0 0 357144 24 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 110547 97514 4218 3540 0 98804 0 Current children cumulated CPU time: 3571.68 s Current children cumulated vsize: 442188 KiB Current children cumulated memory: 390056 KiB [startup+3597.2 s] # the end of solver process 968714 was just reported to runsolver # Child status: 0 # cumulated CPU time of all completed processes: user=3586.29 s, system=0.243637 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=121912440/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3573.38 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89822 0 0 0 357314 24 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 110547 97514 4218 3540 0 98804 0 Current children cumulated CPU time: 3573.38 s Current children cumulated vsize: 442188 KiB Current children cumulated memory: 390056 KiB [startup+3590.4 s] /proc/loadavg: 4.11 4.16 4.17 5/241 970637 /proc/meminfo: memFree=121912460/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3579.75 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89822 0 0 0 357951 24 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 110547 97514 4218 3540 0 98804 0 Current children cumulated CPU time: 3579.75 s Current children cumulated vsize: 442188 KiB Current children cumulated memory: 390056 KiB [startup+3593.6 s] /proc/loadavg: 4.11 4.16 4.17 5/241 970637 /proc/meminfo: memFree=121910420/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3582.94 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89822 0 0 0 358270 24 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 110547 97514 4218 3540 0 98804 0 Current children cumulated CPU time: 3582.94 s Current children cumulated vsize: 442188 KiB Current children cumulated memory: 390056 KiB [startup+3595.2 s] /proc/loadavg: 4.10 4.16 4.17 5/241 970639 /proc/meminfo: memFree=121910328/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3584.54 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89822 0 0 0 358430 24 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 110547 97514 4218 3540 0 98804 0 Current children cumulated CPU time: 3584.54 s Current children cumulated vsize: 442188 KiB Current children cumulated memory: 390056 KiB [startup+3596 s]* /proc/loadavg: 4.10 4.16 4.17 5/241 970639 /proc/meminfo: memFree=121910356/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3585.35 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89822 0 0 0 358511 24 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 110547 97514 4218 3540 0 98804 0 Current children cumulated CPU time: 3585.35 s Current children cumulated vsize: 442188 KiB Current children cumulated memory: 390056 KiB [startup+3596.8 s] /proc/loadavg: 4.10 4.16 4.17 5/241 970639 /proc/meminfo: memFree=121910356/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3586.13 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89822 0 0 0 358589 24 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 110547 97514 4218 3540 0 98804 0 Current children cumulated CPU time: 3586.13 s Current children cumulated vsize: 442188 KiB Current children cumulated memory: 390056 KiB [startup+3597.2 s] /proc/loadavg: 4.10 4.16 4.17 5/241 970639 /proc/meminfo: memFree=121911312/131655788 swapFree=131071996/131071996 [pid=968714] ppid=968711 vsize=335240 memory=287132 CPUtime=3586.53 cores=4,6 /proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89859 0 0 0 358629 24 0 0 20 0 1 0 185488806 343285760 71928 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0 /proc/968714/statm: 82785 71928 4218 3540 0 71042 0 Current children cumulated CPU time: 3586.53 s Current children cumulated vsize: 335240 KiB Current children cumulated memory: 287132 KiB Child status: 0 Real time (s): 3597.2 CPU time (s): 3586.54 CPU user time (s): 3586.29 CPU system time (s): 0.243637 CPU usage (%): 99.7035 Max. virtual memory (cumulated for all children) (KiB): 442188 Max. memory (cumulated for all children) (KiB): 390056 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3586.29 system time used= 0.243637 maximum resident set size= 390056 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 89866 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= 33 involuntary context switches= 1822 # summary of solver processes directly reported to runsolver: # pid: 968714 # total CPU time (s): 3586.54 # total CPU user time (s): 3586.29 # total CPU system time (s): 0.243637 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 16.3724 second user time and 35.1484 second system time The end
Begin job on nodeC010 at 2024-07-18 22:08:27 IDJOB=4446465 IDBENCH=158262 IDSOLVER=3059 FILE ID=nodeC010/4446465-1721333296 RUNJOBID= nodeC010-1721329708-966735 SLURM_JOB_ID= 7542700 Free space on /tmp= 723704 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K134.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-4446465-1721333296/watcher-4446465-1721333296 -o /tmp/evaluation-result-4446465-1721333296/solver-4446465-1721333296 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721329708-966735 --watchdog 3760 pbscip -f HOME/instance-4446465-1721333296.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 963edb3c79c326322e0bda3e585d3232 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 : 3488.435 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 : 3666.586 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.198 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.288 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 : 3491.266 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 : 3666.561 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.174 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.434 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: 121734400 kB MemAvailable: 126680492 kB Buffers: 506164 kB Cached: 5220468 kB SwapCached: 0 kB Active: 1032876 kB Inactive: 8206128 kB Active(anon): 1432 kB Inactive(anon): 3548620 kB Active(file): 1031444 kB Inactive(file): 4657508 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 44636 kB Writeback: 0 kB AnonPages: 3512424 kB Mapped: 138228 kB Shmem: 37704 kB KReclaimable: 194344 kB Slab: 308864 kB SReclaimable: 194344 kB SUnreclaim: 114520 kB KernelStack: 3792 kB PageTables: 16764 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 5121936 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 58656 kB HardwareCorrupted: 0 kB AnonHugePages: 2750464 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= 723700 MiB End job on nodeC010 at 2024-07-18 23:08:24