Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIP 2024-07-07 | ? | 3585.99 | 3597.13 |
Name | PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin18.opb |
MD5SUM | 524c0290a9c7ac599d8004695d4c7f99 |
Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 3575.64 |
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 | 23409 |
Total number of constraints | 1386 |
Number of constraints which are clauses | 612 |
Number of constraints which are cardinality constraints (but not clauses) | 774 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 153 |
Maximum length of a constraint | 289 |
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 | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 291 |
Number of bits of the biggest sum of numbers | 9 |
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-4442985-1721297420.opb> 0.00/0.09 c original problem has 23409 variables (23409 bin, 0 int, 0 impl, 0 cont) and 1386 constraints 0.00/0.09 c problem read in 0.09 0.00/0.09 c No objective function, only one solution is needed. 0.09/0.17 c presolving: 0.30/0.31 c (0.3s) running MILP presolver 0.40/0.45 c (0.4s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes 0.40/0.46 c (round 1, medium) 0 del vars, 1386 del conss, 774 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 612 clqs 0.69/0.70 c (round 2, exhaustive) 0 del vars, 1386 del conss, 774 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 612 clqs 1.18/1.23 c (1.2s) probing: 51/23409 (0.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 1.18/1.23 c (1.2s) probing aborted: 50/50 successive totally useless probings 1.18/1.26 c (1.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 1.59/1.69 c (1.7s) symmetry computation finished: 41 generators found (max: 1500, log10 of symmetry group size: 30.0) (symcode time: 0.39) 1.69/1.72 c dynamic symmetry handling statistics: 1.69/1.72 c orbitopal reduction: no components 1.69/1.72 c orbital reduction: no components 1.69/1.72 c lexicographic reduction: no permutations 1.69/1.72 c handled 1 out of 1 symmetry components 1.69/1.73 c (round 3, exhaustive) 301 del vars, 1386 del conss, 815 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 612 clqs 2.78/2.87 c (round 4, exhaustive) 344 del vars, 1386 del conss, 815 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 8319 clqs 2.88/2.97 c (round 5, exhaustive) 840 del vars, 1386 del conss, 815 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 7193 clqs 2.88/2.98 c (round 6, fast) 840 del vars, 1392 del conss, 817 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 7194 clqs 3.58/3.69 c (round 7, exhaustive) 1273 del vars, 1392 del conss, 817 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 14233 clqs 3.68/3.70 c (round 8, fast) 1419 del vars, 1398 del conss, 819 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 14235 clqs 3.78/3.82 c (round 9, exhaustive) 1475 del vars, 1398 del conss, 819 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 14823 clqs 3.78/3.82 c (round 10, fast) 1476 del vars, 1399 del conss, 819 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 14823 clqs 4.77/4.83 c (round 11, exhaustive) 1506 del vars, 1399 del conss, 819 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 37763 clqs 4.87/4.90 c (round 12, exhaustive) 1821 del vars, 1399 del conss, 819 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 31960 clqs 4.87/4.91 c (round 13, fast) 1822 del vars, 1405 del conss, 821 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 31960 clqs 5.77/5.81 c (round 14, exhaustive) 1853 del vars, 1405 del conss, 821 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 53487 clqs 5.77/5.88 c (round 15, exhaustive) 2096 del vars, 1405 del conss, 821 add conss, 0 chg bounds, 0 chg sides, 2 chg coeffs, 774 upgd conss, 0 impls, 42896 clqs 5.77/5.88 c (round 16, fast) 2097 del vars, 1410 del conss, 823 add conss, 0 chg bounds, 0 chg sides, 2 chg coeffs, 774 upgd conss, 0 impls, 42898 clqs 5.87/5.90 c (round 17, medium) 2321 del vars, 1410 del conss, 823 add conss, 0 chg bounds, 0 chg sides, 2 chg coeffs, 774 upgd conss, 0 impls, 38078 clqs 5.87/5.91 c (round 18, fast) 2524 del vars, 1416 del conss, 825 add conss, 0 chg bounds, 0 chg sides, 2 chg coeffs, 774 upgd conss, 0 impls, 38080 clqs 6.56/6.62 c (round 19, exhaustive) 2557 del vars, 1416 del conss, 825 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 50801 clqs 7.26/7.31 c (round 20, exhaustive) 2582 del vars, 1416 del conss, 825 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 60047 clqs 7.26/7.32 c (round 21, fast) 2583 del vars, 1417 del conss, 825 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 60047 clqs 7.26/7.38 c (round 22, exhaustive) 2764 del vars, 1417 del conss, 825 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 54336 clqs 7.26/7.39 c (round 23, fast) 2764 del vars, 1422 del conss, 827 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 54337 clqs 7.46/7.57 c (7.6s) probing: 1000/23409 (4.3%) - 1683 fixings, 0 aggregations, 94158 implications, 0 bound changes 7.76/7.87 c (round 24, exhaustive) 2925 del vars, 1422 del conss, 827 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 57487 clqs 7.76/7.87 c (round 25, fast) 3061 del vars, 1428 del conss, 829 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 57489 clqs 7.76/7.89 c (round 26, medium) 3332 del vars, 1428 del conss, 829 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 56093 clqs 7.76/7.89 c (round 27, fast) 3600 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 56097 clqs 8.65/8.72 c (round 28, exhaustive) 3636 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 58153 clqs 10.05/10.16 c (round 29, exhaustive) 3661 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 69218 clqs 10.74/10.83 c (round 30, exhaustive) 3686 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 70360 clqs 13.04/13.16 c (round 31, exhaustive) 3711 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 94088 clqs 13.43/13.59 c (13.6s) probing: 2000/23409 (8.5%) - 1832 fixings, 0 aggregations, 150664 implications, 0 bound changes 14.14/14.22 c (round 32, exhaustive) 3736 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 104150 clqs 15.34/15.47 c (round 33, exhaustive) 3790 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 102434 clqs 16.83/16.94 c (round 34, exhaustive) 3815 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 108847 clqs 17.53/17.68 c (round 35, exhaustive) 3848 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 111062 clqs 19.32/19.45 c (round 36, exhaustive) 3882 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 125226 clqs 19.72/19.83 c (19.8s) probing: 3000/23409 (12.8%) - 1991 fixings, 0 aggregations, 201962 implications, 0 bound changes 20.71/20.89 c (round 37, exhaustive) 3907 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 132621 clqs 20.81/20.95 c (round 38, exhaustive) 3907 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 132621 clqs 22.30/22.42 c (round 39, exhaustive) 3932 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 155840 clqs 25.90/26.06 c (round 40, exhaustive) 3957 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 190579 clqs 26.00/26.16 c (26.2s) probing: 4000/23409 (17.1%) - 2063 fixings, 0 aggregations, 281663 implications, 0 bound changes 28.99/29.12 c (round 41, exhaustive) 3982 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 189985 clqs 28.99/29.16 c (round 42, medium) 3999 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 184169 clqs 32.17/32.38 c (32.4s) probing: 5000/23409 (21.4%) - 2105 fixings, 0 aggregations, 372188 implications, 0 bound changes 34.07/34.25 c (round 43, exhaustive) 4024 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 191105 clqs 38.45/38.63 c (38.6s) probing: 6000/23409 (25.6%) - 2122 fixings, 0 aggregations, 463541 implications, 0 bound changes 41.04/41.23 c (round 44, exhaustive) 4049 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 191331 clqs 44.53/44.78 c (44.8s) probing: 7000/23409 (29.9%) - 2156 fixings, 0 aggregations, 540791 implications, 0 bound changes 45.62/45.88 c (round 45, exhaustive) 4074 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 191195 clqs 49.21/49.41 c (round 46, exhaustive) 4114 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 182927 clqs 50.70/50.99 c (51.0s) probing: 8000/23409 (34.2%) - 2215 fixings, 0 aggregations, 613770 implications, 0 bound changes 51.90/52.13 c (round 47, exhaustive) 4139 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 186040 clqs 55.19/55.45 c (round 48, exhaustive) 4164 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 187236 clqs 56.38/56.62 c (round 49, exhaustive) 4189 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 186628 clqs 57.08/57.35 c (57.3s) probing: 9000/23409 (38.4%) - 2280 fixings, 0 aggregations, 681786 implications, 0 bound changes 61.87/62.15 c (round 50, exhaustive) 4236 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 185173 clqs 61.96/62.23 c (round 51, exhaustive) 4236 del vars, 1442 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 774 upgd conss, 0 impls, 185173 clqs 62.06/62.36 c (62.4s) probing: 10000/23409 (42.7%) - 2325 fixings, 0 aggregations, 759219 implications, 0 bound changes 66.94/67.22 c (67.2s) probing: 10975/23409 (46.9%) - 2325 fixings, 0 aggregations, 773703 implications, 0 bound changes 66.94/67.22 c (67.2s) probing aborted: 1000/1000 successive useless probings 66.94/67.27 c presolving (52 rounds: 52 fast, 42 medium, 38 exhaustive): 66.94/67.27 c 4236 deleted vars, 1442 deleted constraints, 833 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 9 changed coefficients 66.94/67.27 c 0 implications, 192898 cliques 66.94/67.27 c presolved problem has 19927 variables (19927 bin, 0 int, 0 impl, 0 cont) and 777 constraints 66.94/67.27 c 144 constraints of type <knapsack> 66.94/67.27 c 592 constraints of type <setppc> 66.94/67.27 c 41 constraints of type <orbitope> 66.94/67.27 c transformed objective value is always integral (scale: 1) 66.94/67.27 c Presolving Time: 67.10 66.94/67.27 c - non default parameters ---------------------------------------------------------------------- 66.94/67.27 c # SCIP version 10.0.0 66.94/67.27 c 66.94/67.27 c # maximal time in seconds to run 66.94/67.27 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20] 66.94/67.27 c limits/time = 3596.99705 66.94/67.27 c 66.94/67.27 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 66.94/67.27 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207] 66.94/67.27 c limits/memory = 27900 66.94/67.27 c 66.94/67.27 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit) 66.94/67.27 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1] 66.94/67.27 c limits/solutions = 1 66.94/67.27 c 66.94/67.27 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. 66.94/67.27 c # [type: int, advanced: FALSE, range: [0,7], default: 7] 66.94/67.27 c misc/usesymmetry = 3 66.94/67.27 c 66.94/67.27 c # belongs reading time to solving time? 66.94/67.27 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE] 66.94/67.27 c timing/reading = TRUE 66.94/67.27 c 66.94/67.27 c # Should we check whether the components of the symmetry group can be handled by double lex matrices? 66.94/67.27 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE] 66.94/67.27 c propagating/symmetry/detectdoublelex = FALSE 66.94/67.27 c 66.94/67.27 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables? 66.94/67.27 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE] 66.94/67.27 c propagating/symmetry/detectsubgroups = FALSE 66.94/67.27 c 66.94/67.27 c # Type of symmetries that shall be computed? 66.94/67.27 c # [type: int, advanced: TRUE, range: [0,1], default: 0] 66.94/67.27 c propagating/symmetry/symtype = 1 66.94/67.27 c 66.94/67.27 c # Should components consisting of a single full reflection be handled? 66.94/67.27 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE] 66.94/67.27 c propagating/symmetry/usesimplesgncomp = FALSE 66.94/67.27 c 66.94/67.27 c ----------------------------------------------------------------------------------------------- 66.94/67.27 c start solving 66.94/67.28 c 761.38/763.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 761.38/763.83 c 764s| 1 | 0 | 1373k| - | 365M | 0 | 19k| 852 | 736 | 0 | 0 | 74 | 0 | 0.000000e+00 | -- | Inf | unknown 834.95/837.61 c 838s| 1 | 0 | 1496k| - | 377M | 0 | 19k| 855 | 748 | 12 | 1 | 77 | 0 | 0.000000e+00 | -- | Inf | unknown 835.56/838.24 c 838s| 1 | 0 | 1496k| - | 379M | 0 | 19k| 860 | 756 | 20 | 2 | 82 | 0 | 0.000000e+00 | -- | Inf | unknown 836.36/839.00 c 839s| 1 | 0 | 1497k| - | 379M | 0 | 19k| 860 | 761 | 25 | 3 | 82 | 0 | 0.000000e+00 | -- | Inf | unknown 836.95/839.60 c 840s| 1 | 0 | 1497k| - | 379M | 0 | 19k| 862 | 767 | 31 | 4 | 84 | 0 | 0.000000e+00 | -- | Inf | unknown 837.46/840.13 c 840s| 1 | 0 | 1497k| - | 379M | 0 | 19k| 865 | 771 | 35 | 5 | 87 | 0 | 0.000000e+00 | -- | Inf | unknown 838.15/840.81 c 841s| 1 | 0 | 1498k| - | 379M | 0 | 19k| 867 | 778 | 42 | 6 | 89 | 0 | 0.000000e+00 | -- | Inf | unknown 838.75/841.42 c 841s| 1 | 0 | 1498k| - | 379M | 0 | 19k| 868 | 788 | 52 | 7 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown 839.15/841.86 c 842s| 1 | 0 | 1498k| - | 381M | 0 | 19k| 870 | 795 | 59 | 8 | 92 | 0 | 0.000000e+00 | -- | Inf | unknown 839.74/842.44 c 842s| 1 | 0 | 1498k| - | 381M | 0 | 19k| 872 | 802 | 66 | 9 | 94 | 0 | 0.000000e+00 | -- | Inf | unknown 840.35/843.01 c 843s| 1 | 0 | 1498k| - | 381M | 0 | 19k| 873 | 807 | 71 | 10 | 95 | 0 | 0.000000e+00 | -- | Inf | unknown 840.74/843.42 c 843s| 1 | 0 | 1498k| - | 381M | 0 | 19k| 877 | 814 | 78 | 11 | 99 | 0 | 0.000000e+00 | -- | Inf | unknown 887.69/890.51 c 891s| 1 | 2 | 1536k| - | 383M | 0 | 19k| 895 | 814 | 78 | 11 | 117 | 21 | 0.000000e+00 | -- | Inf | unknown 3585.76/3597.00 c 3585.76/3597.00 c SCIP Status : solving was interrupted [time limit reached] 3585.76/3597.00 c Solving Time (sec) : 3597.00 3585.76/3597.00 c Solving Nodes : 29 3585.76/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions) 3585.76/3597.00 c Dual Bound : +0.00000000000000e+00 3585.76/3597.00 c Gap : infinite 3585.76/3597.00 s UNKNOWN 3585.76/3597.00 c SCIP Status : solving was interrupted [time limit reached] 3585.76/3597.00 c Total Time : 3597.00 3585.76/3597.00 c solving : 3597.00 3585.76/3597.00 c presolving : 67.10 (included in solving) 3585.76/3597.00 c reading : 0.09 (included in solving) 3585.76/3597.00 c copying : 0.03 (1 #copies) (minimal 0.03, maximal 0.03, average 0.03) 3585.76/3597.00 c Original Problem : 3585.76/3597.00 c Problem name : HOME/instance-4442985-1721297420.opb 3585.76/3597.00 c Variables : 23409 (23409 binary, 0 integer, 0 implicit integer, 0 continuous) 3585.76/3597.00 c Constraints : 1386 initial, 1386 maximal 3585.76/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20) 3585.76/3597.00 c Presolved Problem : 3585.76/3597.00 c Problem name : t_HOME/instance-4442985-1721297420.opb 3585.76/3597.00 c Variables : 19927 (19927 binary, 0 integer, 0 implicit integer, 0 continuous) 3585.76/3597.00 c Constraints : 777 initial, 932 maximal 3585.76/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20) 3585.76/3597.00 c Nonzeros : 288458 constraint, 468188 clique table 3585.76/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs 3585.76/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c domcol : 0.02 0.00 35 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c dualsparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c implics : 0.01 0.00 42 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c milp : 0.23 0.00 1 0 0 0 0 0 1386 774 0 0 3585.76/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c sparsify : 0.31 0.00 2 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c trivial : 0.03 0.00 52 754 0 0 0 0 0 0 0 0 3585.76/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c dualfix : 0.03 0.00 52 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c probing : 63.36 0.00 35 2325 0 0 0 0 0 0 0 0 3585.76/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c symmetry : 0.46 0.00 1 301 0 0 0 0 0 41 0 0 3585.76/3597.00 c vbounds : 0.22 0.00 15 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c knapsack : 1.01 0.00 127 0 0 0 0 0 18 18 0 9 3585.76/3597.00 c setppc : 0.86 0.00 127 0 3 0 0 0 38 0 0 0 3585.76/3597.00 c linear : 0.26 0.03 3 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c orbitope : 0.06 0.00 39 99 0 0 0 0 0 0 0 0 3585.76/3597.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c components : 0.05 0.00 1 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c root node : - - - 0 - - 0 - - - - - 3585.76/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children 3585.76/3597.00 c benderslp : 0 0 0 0 22 0 0 5 0 0 0 0 0 0 0 3585.76/3597.00 c integral : 0 0 0 0 22 0 0 5 0 0 0 0 0 0 44 3585.76/3597.00 c knapsack : 144+ 148 11 45183 0 0 0 2 209 7 359 0 0 0 0 3585.76/3597.00 c setppc : 592+ 600 11 45176 0 0 0 1 4850 210 5442 0 0 0 0 3585.76/3597.00 c orbitope : 41 41 0 44866 0 0 0 0 27864 325 1216 0 0 0 0 3585.76/3597.00 c logicor : 0+ 145 11 182 0 0 0 0 0 7 5 1 1 0 0 3585.76/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3585.76/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop 3585.76/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3585.76/3597.00 c integral : 15.04 0.00 0.00 0.00 15.04 0.00 0.00 0.00 0.00 0.00 3585.76/3597.00 c knapsack : 0.45 0.00 0.03 0.42 0.00 0.00 0.00 0.00 0.00 0.00 3585.76/3597.00 c setppc : 0.43 0.00 0.01 0.41 0.00 0.00 0.00 0.00 0.00 0.01 3585.76/3597.00 c orbitope : 43.51 0.00 0.00 43.43 0.00 0.00 0.00 0.00 0.00 0.07 3585.76/3597.00 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3585.76/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3585.76/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3585.76/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3585.76/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3585.76/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds 3585.76/3597.00 c dualfix : 1 0 0 0 3585.76/3597.00 c genvbounds : 0 0 0 0 3585.76/3597.00 c nlobbt : 0 0 0 0 3585.76/3597.00 c obbt : 0 0 0 0 3585.76/3597.00 c probing : 0 0 0 0 3585.76/3597.00 c pseudoobj : 0 0 0 0 3585.76/3597.00 c redcost : 0 0 0 0 3585.76/3597.00 c rootredcost : 0 0 0 0 3585.86/3597.00 c symmetry : 0 0 0 0 3585.86/3597.00 c vbounds : 492 0 0 0 3585.86/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop 3585.86/3597.00 c dualfix : 0.03 0.00 0.03 0.00 0.00 0.00 3585.86/3597.00 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00 3585.86/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00 3585.86/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00 3585.86/3597.00 c probing : 63.36 0.00 63.36 0.00 0.00 0.00 3585.86/3597.00 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00 3585.86/3597.00 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00 3585.86/3597.00 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00 3585.86/3597.00 c symmetry : 0.47 0.00 0.46 0.01 0.00 0.00 3585.86/3597.00 c vbounds : 0.24 0.00 0.22 0.01 0.00 0.00 3585.86/3597.00 c Symmetry : 3585.86/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs 3585.86/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs 3585.86/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs 3585.86/3597.00 c shadow tree time : 0.00 s 3585.86/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000]) 3585.86/3597.00 c propagation : 0.01 544 44 - 202 129.2 0 0.0 - - - 3585.86/3597.00 c infeasible LP : 0.01 4 4 - 16 558.1 0 0.0 4 861.8 0 3585.86/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0 3585.86/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0 3585.86/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - - 3585.86/3597.00 c applied globally : 0.05 - - 0 152 115.6 - - 4 - - 3585.86/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - - 3585.86/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss 3585.86/3597.00 c cut pool : 0.00 - 27 21 - - 253 447 - - - - - (maximal pool size: 253) 3585.86/3597.00 c aggregation : 0.16 0.00 14 11 0 0 0 0 0 0 0 0 0 3585.86/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 - 3585.86/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 - 3585.86/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 - 3585.86/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.86/3597.00 c clique : 1.62 0.00 11 11 0 0 83 222 0 41 41 0 0 3585.86/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.86/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.86/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.86/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.86/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.86/3597.00 c gomory : 0.92 0.00 13 10 0 0 1 1 0 1 1 0 0 3585.86/3597.00 c > gomorymi : - - - - - - - 0 0 0 0 0 - 3585.86/3597.00 c > strongcg : - - - - - - - 1 0 1 1 0 - 3585.86/3597.00 c impliedbounds : 0.15 0.00 14 11 0 0 152 207 0 39 39 0 0 3585.86/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.86/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.86/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.86/3597.00 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0 3585.86/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.86/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.86/3597.00 c multilinear : 0.00 0.00 14 11 0 0 0 0 0 0 0 0 0 3585.86/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.86/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.86/3597.00 c rlt : 0.00 0.00 12 10 0 0 0 0 0 0 0 0 0 3585.86/3597.00 c zerohalf : 0.51 0.00 14 11 0 0 23 17 6 22 16 6 0 3585.86/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt 3585.86/3597.00 c hybrid : 0.00 0.00 14 11 104 0 350 78 0 264 3585.86/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0 3585.86/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0 3585.86/3597.00 c Pricers : ExecTime SetupTime Calls Vars 3585.86/3597.00 c problem variables: 0.00 - 0 0 3585.86/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children 3585.86/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0 3585.86/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0 3585.86/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0 3585.86/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0 3585.86/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 3585.86/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0 3585.86/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0 3585.86/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0 3585.86/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0 3585.86/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0 3585.86/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0 3585.86/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0 3585.86/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0 3585.86/3597.00 c relpscost : 15.04 0.00 22 0 0 0 0 0 0 44 3585.86/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0 3585.86/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best 3585.86/3597.00 c LP solutions : 0.00 - - 0 0 3585.86/3597.00 c relax solutions : 0.00 - - 0 0 3585.86/3597.00 c pseudo solutions : 0.00 - - 0 0 3585.86/3597.00 c strong branching : 0.00 - - 0 0 3585.86/3597.00 c actconsdiving : 0.00 0.00 0 0 0 3585.86/3597.00 c adaptivediving : 100.80 0.00 2 0 0 3585.86/3597.00 c alns : 0.00 0.00 0 0 0 3585.86/3597.00 c bound : 0.00 0.00 0 0 0 3585.86/3597.00 c clique : 0.07 0.00 1 0 0 3585.86/3597.00 c coefdiving : 0.00 0.00 0 0 0 3585.86/3597.00 c completesol : 0.00 0.00 0 0 0 3585.86/3597.00 c conflictdiving : 31.22 0.00 1 0 0 3585.86/3597.00 c crossover : 0.00 0.00 0 0 0 3585.86/3597.00 c dins : 0.00 0.00 0 0 0 3585.86/3597.00 c distributiondivin: 0.01 0.00 0 0 0 3585.86/3597.00 c dps : 0.00 0.00 0 0 0 3585.86/3597.00 c dualval : 0.00 0.00 0 0 0 3585.86/3597.00 c farkasdiving : 0.00 0.00 0 0 0 3585.86/3597.00 c feasjump : 0.08 0.00 1 0 0 3585.86/3597.00 c feaspump : 71.16 0.00 1 0 0 3585.86/3597.00 c fixandinfer : 0.00 0.00 0 0 0 3585.86/3597.00 c fracdiving : 452.44 0.00 1 0 0 3585.86/3597.00 c gins : 0.00 0.00 0 0 0 3585.86/3597.00 c guideddiving : 0.00 0.00 0 0 0 3585.86/3597.00 c indcoefdiving : 0.00 0.00 0 0 0 3585.86/3597.00 c indicator : 0.00 0.00 0 0 0 3585.86/3597.00 c indicatordiving : 0.00 0.00 0 0 0 3585.86/3597.00 c indoneopt : 0.00 0.00 0 0 0 3585.86/3597.00 c indrounding : 0.00 0.00 0 0 0 3585.86/3597.00 c indtwoopt : 0.00 0.00 0 0 0 3585.86/3597.00 c intdiving : 0.00 0.00 0 0 0 3585.86/3597.00 c intshifting : 0.00 0.00 0 0 0 3585.86/3597.00 c linesearchdiving : 81.61 0.00 1 0 0 3585.86/3597.00 c localbranching : 0.00 0.00 0 0 0 3585.86/3597.00 c locks : 14.83 0.00 1 0 0 3585.86/3597.00 c lpface : 0.00 0.00 0 0 0 3585.86/3597.00 c mpec : 0.00 0.00 0 0 0 3585.86/3597.00 c multistart : 0.00 0.00 0 0 0 3585.86/3597.00 c mutation : 0.00 0.00 0 0 0 3585.86/3597.00 c nlpdiving : 0.00 0.00 0 0 0 3585.86/3597.00 c objpscostdiving : 144.60 0.00 1 0 0 3585.86/3597.00 c octane : 0.00 0.00 0 0 0 3585.86/3597.00 c ofins : 0.00 0.00 0 0 0 3585.86/3597.00 c oneopt : 0.00 0.00 0 0 0 3585.86/3597.00 c padm : 0.00 0.00 0 0 0 3585.86/3597.00 c proximity : 0.00 0.00 0 0 0 3585.86/3597.00 c pscostdiving : 1.77 0.00 1 0 0 3585.86/3597.00 c randrounding : 1.00 0.00 12 0 0 3585.86/3597.00 c rens : 0.75 0.00 1 0 0 3585.86/3597.00 c reoptsols : 0.00 0.00 0 0 0 3585.86/3597.00 c repair : 0.00 0.00 0 0 0 3585.86/3597.00 c rins : 0.00 0.00 0 0 0 3585.86/3597.00 c rootsoldiving : 99.61 0.00 1 0 0 3585.86/3597.00 c rounding : 0.09 0.00 36 0 0 3585.86/3597.00 c scheduler : 0.00 0.00 0 0 0 3585.86/3597.00 c shiftandpropagate: 0.11 0.00 1 0 0 3585.86/3597.00 c shifting : 0.09 0.00 16 0 0 3585.86/3597.00 c simplerounding : 0.00 0.00 0 0 0 3585.86/3597.00 c smallcard : 0.00 0.00 0 0 0 3585.86/3597.00 c subnlp : 0.00 0.00 0 0 0 3585.86/3597.00 c trivial : 0.01 0.00 2 0 0 3585.86/3597.00 c trivialnegation : 0.00 0.00 0 0 0 3585.86/3597.00 c trustregion : 0.00 0.00 0 0 0 3585.86/3597.00 c trysol : 0.00 0.00 0 0 0 3585.86/3597.00 c twoopt : 0.00 0.00 0 0 0 3585.86/3597.00 c undercover : 0.00 0.00 0 0 0 3585.86/3597.00 c vbounds : 0.44 0.00 1 0 0 3585.86/3597.00 c veclendiving : 12.33 0.00 1 0 0 3585.86/3597.00 c zeroobj : 0.00 0.00 0 0 0 3585.86/3597.00 c zirounding : 0.01 0.00 22 0 0 3585.86/3597.00 c other solutions : - - - 0 - 3585.86/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv 3585.86/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1 3585.86/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1 3585.86/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1 3585.86/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1 3585.86/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1 3585.86/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1 3585.86/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1 3585.86/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0 3585.86/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0 3585.86/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit 3585.86/3597.00 c primal LP : 0.06 2 0 0.00 0.00 0.06 2 3585.86/3597.00 c dual LP : 2498.05 38 4802619 126384.71 1922.55 0.00 0 3585.86/3597.00 c lex dual LP : 0.00 0 0 0.00 - 3585.86/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0 3585.86/3597.00 c resolve instable : 89.90 39 187433 4805.97 2084.92 3585.86/3597.00 c diving/probing LP: 992.58 378 1836049 4857.27 1849.78 3585.86/3597.00 c strong branching : 14.81 21 8415 400.71 568.19 - - 2 3585.86/3597.00 c (at root node) : - 21 8415 400.71 - 3585.86/3597.00 c conflict analysis: 0.00 0 0 0.00 - 3585.86/3597.00 c B&B Tree : 3585.86/3597.00 c number of runs : 1 3585.86/3597.00 c nodes : 29 (22 internal, 7 leaves) 3585.86/3597.00 c feasible leaves : 0 3585.86/3597.00 c infeas. leaves : 6 3585.86/3597.00 c objective leaves : 0 3585.86/3597.00 c nodes (total) : 29 (22 internal, 7 leaves) 3585.86/3597.00 c nodes left : 17 3585.86/3597.00 c max depth : 11 3585.86/3597.00 c max depth (total): 11 3585.86/3597.00 c backtracks : 13 (44.8%) 3585.86/3597.00 c early backtracks : 0 (0.0%) 3585.86/3597.00 c nodes exc. ref. : 0 (0.0%) 3585.86/3597.00 c delayed cutoffs : 0 3585.86/3597.00 c repropagations : 0 (0 domain reductions, 0 cutoffs) 3585.86/3597.00 c avg switch length: 2.10 3585.86/3597.00 c switching time : 0.07 3585.86/3597.00 c Root Node : 3585.86/3597.00 c First LP value : +0.00000000000000e+00 3585.86/3597.00 c First LP Iters : 1373481 (2016.80 Iter/sec) 3585.86/3597.00 c First LP Time : 681.02 3585.86/3597.00 c Final Dual Bound : +0.00000000000000e+00 3585.86/3597.00 c Final Root Iters : 1498729 3585.86/3597.00 c Root LP Estimate : +2.31091303953618e-03 3585.86/3597.00 c Solution : 3585.86/3597.00 c Solutions found : 0 (0 improvements) 3585.86/3597.00 c Primal Bound : - 3585.86/3597.00 c Dual Bound : +0.00000000000000e+00 3585.86/3597.00 c Gap : infinite 3585.86/3597.00 c Integrals : Total Avg% 3585.86/3597.00 c primal-dual : 359699.81 100.00 3585.86/3597.00 c primal-ref : - - (not evaluated) 3585.86/3597.00 c dual-ref : - - (not evaluated) 3585.96/3597.12 c Time complete: 3585.99.
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 63931 MiB (59366 MiB free) memory of node 1: 64510 MiB (60428 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442985-1721297420/watcher-4442985-1721297420 -o /tmp/evaluation-result-4442985-1721297420/solver-4442985-1721297420 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721293764-975184 --watchdog 3760 pbscip -f HOME/instance-4442985-1721297420.opb -t 3600 -j 2 -m 31000 running on 2 cores: 0,2 CPU governors: performance: 0 2 Enforcing FSIZE limit: 104857600 KiB Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 4.18.0-301.1.el8.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=978778, runsolver pid=978775 [startup+0.100099 s]* /proc/loadavg: 4.13 4.11 4.07 5/257 978779 /proc/meminfo: memFree=122632636/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=96396 memory=57616 CPUtime=0.09 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 11239 0 0 0 8 1 0 0 20 0 1 0 181907374 98709504 14404 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 24099 14404 3547 3540 0 12356 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 96396 KiB Current children cumulated memory: 57616 KiB [startup+0.205895 s]* /proc/loadavg: 4.13 4.11 4.07 5/257 978779 /proc/meminfo: memFree=122584084/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=141132 memory=100564 CPUtime=0.2 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 21952 0 0 0 17 3 0 0 20 0 1 0 181907374 144519168 25141 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 35283 25141 3595 3540 0 23540 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 141132 KiB Current children cumulated memory: 100564 KiB [startup+0.305789 s]* /proc/loadavg: 4.13 4.11 4.07 5/257 978779 /proc/meminfo: memFree=122556484/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=174168 memory=132340 CPUtime=0.3 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 26832 0 0 0 26 4 0 0 20 0 1 0 181907374 178348032 33085 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 43542 33085 3627 3540 0 31799 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 174168 KiB Current children cumulated memory: 132340 KiB [startup+0.700253 s] /proc/loadavg: 4.13 4.11 4.07 5/257 978779 /proc/meminfo: memFree=122559800/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=164816 memory=124376 CPUtime=0.69 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 30602 0 0 0 64 5 0 0 20 0 1 0 181907374 168771584 31094 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 41204 31094 3722 3540 0 29461 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 164816 KiB Current children cumulated memory: 124376 KiB [startup+1.50025 s] /proc/loadavg: 4.13 4.11 4.07 5/257 978779 /proc/meminfo: memFree=122475928/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=367344 memory=272492 CPUtime=1.48 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 48667 0 0 0 139 9 0 0 20 0 1 0 181907374 376160256 68123 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 91836 68123 3802 3540 0 80093 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 367344 KiB Current children cumulated memory: 272492 KiB [startup+3.10541 s] /proc/loadavg: 4.13 4.11 4.07 5/257 978779 /proc/meminfo: memFree=122197048/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=370088 memory=280676 CPUtime=3.08 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 50694 0 0 0 298 10 0 0 20 0 1 0 181907374 378970112 70169 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 92522 70169 3802 3540 0 80779 0 Current children cumulated CPU time: 3.08 s Current children cumulated vsize: 370088 KiB Current children cumulated memory: 280676 KiB [startup+6.30022 s] /proc/loadavg: 4.20 4.13 4.07 5/257 978781 /proc/meminfo: memFree=122194496/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=370088 memory=280904 CPUtime=6.26 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 50808 0 0 0 616 10 0 0 20 0 1 0 181907374 378970112 70226 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 92522 70226 3802 3540 0 80779 0 Current children cumulated CPU time: 6.26 s Current children cumulated vsize: 370088 KiB Current children cumulated memory: 280904 KiB [startup+12.7002 s] /proc/loadavg: 4.27 4.14 4.08 5/257 978781 /proc/meminfo: memFree=122190092/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=370088 memory=281424 CPUtime=12.64 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 50894 0 0 0 1254 10 0 0 20 0 1 0 181907374 378970112 70356 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 92522 70356 3802 3540 0 80779 0 Current children cumulated CPU time: 12.64 s Current children cumulated vsize: 370088 KiB Current children cumulated memory: 281424 KiB [startup+25.5002 s] /proc/loadavg: 4.38 4.17 4.09 5/257 978786 /proc/meminfo: memFree=122160304/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=380144 memory=291228 CPUtime=25.4 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 53409 0 0 0 2528 12 0 0 20 0 1 0 181907374 389267456 72807 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 95036 72807 3802 3540 0 83293 0 Current children cumulated CPU time: 25.4 s Current children cumulated vsize: 380144 KiB Current children cumulated memory: 291228 KiB [startup+51.1055 s] /proc/loadavg: 4.34 4.19 4.10 5/257 978835 /proc/meminfo: memFree=122896564/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=382492 memory=293260 CPUtime=50.91 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 53976 0 0 0 5079 12 0 0 20 0 1 0 181907374 391671808 73315 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 95623 73315 3802 3540 0 83880 0 Current children cumulated CPU time: 50.91 s Current children cumulated vsize: 382492 KiB Current children cumulated memory: 293260 KiB [startup+102.3 s] /proc/loadavg: 4.20 4.17 4.09 5/257 978842 /proc/meminfo: memFree=122677808/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=434120 memory=342952 CPUtime=101.93 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 66229 0 0 0 10179 14 0 0 20 0 1 0 181907374 444538880 85738 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 108530 85738 3978 3540 0 96787 0 Current children cumulated CPU time: 101.93 s Current children cumulated vsize: 434120 KiB Current children cumulated memory: 342952 KiB [startup+162.3 s] /proc/loadavg: 4.11 4.15 4.09 5/257 978854 /proc/meminfo: memFree=122653028/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=434120 memory=342952 CPUtime=161.75 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 66235 0 0 0 16160 15 0 0 20 0 1 0 181907374 444538880 85738 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 108530 85738 3978 3540 0 96787 0 Current children cumulated CPU time: 161.75 s Current children cumulated vsize: 434120 KiB Current children cumulated memory: 342952 KiB [startup+222.3 s] /proc/loadavg: 4.15 4.15 4.09 5/257 978866 /proc/meminfo: memFree=122649240/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=434120 memory=344660 CPUtime=221.57 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 66241 0 0 0 22142 15 0 0 20 0 1 0 181907374 444538880 86165 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 108530 86165 3978 3540 0 96787 0 Current children cumulated CPU time: 221.57 s Current children cumulated vsize: 434120 KiB Current children cumulated memory: 344660 KiB [startup+282.3 s] /proc/loadavg: 4.10 4.14 4.09 5/257 978876 /proc/meminfo: memFree=122638096/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=434384 memory=346252 CPUtime=281.38 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 66317 0 0 0 28122 16 0 0 20 0 1 0 181907374 444809216 86563 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 108596 86563 3978 3540 0 96853 0 Current children cumulated CPU time: 281.38 s Current children cumulated vsize: 434384 KiB Current children cumulated memory: 346252 KiB [startup+342.3 s] /proc/loadavg: 4.14 4.14 4.09 5/255 978886 /proc/meminfo: memFree=122614664/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=434384 memory=351720 CPUtime=341.19 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 66357 0 0 0 34103 16 0 0 20 0 1 0 181907374 444809216 87930 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 108596 87930 3978 3540 0 96853 0 Current children cumulated CPU time: 341.19 s Current children cumulated vsize: 434384 KiB Current children cumulated memory: 351720 KiB [startup+402.3 s] /proc/loadavg: 4.19 4.15 4.10 5/255 978896 /proc/meminfo: memFree=122600000/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=434384 memory=352244 CPUtime=401 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 66377 0 0 0 40084 16 0 0 20 0 1 0 181907374 444809216 88061 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 108596 88061 3978 3540 0 96853 0 Current children cumulated CPU time: 401 s Current children cumulated vsize: 434384 KiB Current children cumulated memory: 352244 KiB [startup+462.3 s] /proc/loadavg: 4.34 4.21 4.12 5/255 978908 /proc/meminfo: memFree=122566632/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=434384 memory=352292 CPUtime=460.83 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 66394 0 0 0 46066 17 0 0 20 0 1 0 181907374 444809216 88073 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 108596 88073 3978 3540 0 96853 0 ################ # More data... # ################ /proc/loadavg: 4.15 4.15 4.13 5/256 981288 /proc/meminfo: memFree=122074620/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3212.34 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 87748 0 0 0 321206 28 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 140057 119653 4048 3540 0 128314 0 Current children cumulated CPU time: 3212.34 s Current children cumulated vsize: 560228 KiB Current children cumulated memory: 478612 KiB [startup+3282.3 s] /proc/loadavg: 4.05 4.12 4.12 5/256 981298 /proc/meminfo: memFree=122067276/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3272.15 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 87847 0 0 0 327187 28 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 140057 119653 4048 3540 0 128314 0 Current children cumulated CPU time: 3272.15 s Current children cumulated vsize: 560228 KiB Current children cumulated memory: 478612 KiB [startup+3342.3 s] /proc/loadavg: 4.13 4.13 4.12 5/256 981309 /proc/meminfo: memFree=122061056/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3331.97 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 87901 0 0 0 333169 28 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 140057 119653 4048 3540 0 128314 0 Current children cumulated CPU time: 3331.97 s Current children cumulated vsize: 560228 KiB Current children cumulated memory: 478612 KiB [startup+3402.3 s] /proc/loadavg: 4.23 4.15 4.12 5/256 981321 /proc/meminfo: memFree=122022392/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3391.78 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 87956 0 0 0 339150 28 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 140057 119653 4048 3540 0 128314 0 Current children cumulated CPU time: 3391.78 s Current children cumulated vsize: 560228 KiB Current children cumulated memory: 478612 KiB [startup+3462.3 s] /proc/loadavg: 4.13 4.13 4.12 5/256 981332 /proc/meminfo: memFree=122013156/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3451.6 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 88010 0 0 0 345131 29 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 140057 119653 4048 3540 0 128314 0 Current children cumulated CPU time: 3451.6 s Current children cumulated vsize: 560228 KiB Current children cumulated memory: 478612 KiB [startup+3522.3 s] /proc/loadavg: 4.18 4.14 4.12 5/255 981342 /proc/meminfo: memFree=122002276/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3511.42 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 88064 0 0 0 351113 29 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 140057 119653 4048 3540 0 128314 0 Current children cumulated CPU time: 3511.42 s Current children cumulated vsize: 560228 KiB Current children cumulated memory: 478612 KiB [startup+3582.3 s] /proc/loadavg: 4.12 4.13 4.11 5/255 981398 /proc/meminfo: memFree=121436024/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3571.21 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 88120 0 0 0 357092 29 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 140057 119653 4048 3540 0 128314 0 Current children cumulated CPU time: 3571.21 s Current children cumulated vsize: 560228 KiB Current children cumulated memory: 478612 KiB [startup+3597.13 s] # the end of solver process 978778 was just reported to runsolver # Child status: 0 # cumulated CPU time of all completed processes: user=3585.7 s, system=0.293247 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3584 s]* /proc/loadavg: 4.12 4.13 4.11 5/258 981406 /proc/meminfo: memFree=121435324/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3572.91 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 88120 0 0 0 357262 29 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 140057 119653 4048 3540 0 128314 0 Current children cumulated CPU time: 3572.91 s Current children cumulated vsize: 560228 KiB Current children cumulated memory: 478612 KiB [startup+3590.4 s] /proc/loadavg: 4.11 4.12 4.11 5/258 981406 /proc/meminfo: memFree=121435172/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3579.28 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 88120 0 0 0 357899 29 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 140057 119653 4048 3540 0 128314 0 Current children cumulated CPU time: 3579.28 s Current children cumulated vsize: 560228 KiB Current children cumulated memory: 478612 KiB [startup+3593.6 s] /proc/loadavg: 4.10 4.12 4.11 6/258 981406 /proc/meminfo: memFree=121435224/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3582.47 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 88120 0 0 0 358218 29 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 140057 119653 4048 3540 0 128314 0 Current children cumulated CPU time: 3582.47 s Current children cumulated vsize: 560228 KiB Current children cumulated memory: 478612 KiB [startup+3595.2 s] /proc/loadavg: 4.10 4.12 4.11 5/258 981408 /proc/meminfo: memFree=121427152/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3584.06 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 88120 0 0 0 358377 29 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 140057 119653 4048 3540 0 128314 0 Current children cumulated CPU time: 3584.06 s Current children cumulated vsize: 560228 KiB Current children cumulated memory: 478612 KiB [startup+3596 s]* /proc/loadavg: 4.09 4.12 4.11 5/258 981408 /proc/meminfo: memFree=121427124/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3584.86 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 88120 0 0 0 358457 29 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 140057 119653 4048 3540 0 128314 0 Current children cumulated CPU time: 3584.86 s Current children cumulated vsize: 560228 KiB Current children cumulated memory: 478612 KiB [startup+3596.8 s] /proc/loadavg: 4.09 4.12 4.11 5/258 981408 /proc/meminfo: memFree=121427124/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3585.66 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 88146 0 0 0 358537 29 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 140057 119653 4048 3540 0 128314 0 Current children cumulated CPU time: 3585.66 s Current children cumulated vsize: 560228 KiB Current children cumulated memory: 478612 KiB [startup+3597 s]* /proc/loadavg: 4.09 4.12 4.11 5/258 981408 /proc/meminfo: memFree=121426784/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=560228 memory=478612 CPUtime=3585.86 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 88167 0 0 0 358557 29 0 0 20 0 1 0 181907374 573673472 119653 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 140057 119653 4048 3540 0 128314 0 Current children cumulated CPU time: 3585.86 s Current children cumulated vsize: 560228 KiB Current children cumulated memory: 478612 KiB [startup+3597.11 s] /proc/loadavg: 4.09 4.12 4.11 5/258 981408 /proc/meminfo: memFree=121426784/131524600 swapFree=131071996/131071996 [pid=978778] ppid=978775 vsize=498184 memory=416568 CPUtime=3585.96 cores=0,2 /proc/978778/stat : 978778 (pbscip) R 978775 978778 975174 0 -1 4194304 88245 0 0 0 358567 29 0 0 20 0 1 0 181907374 510140416 104142 134679101440 4194304 18693293 140734349014208 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 47816704 140734349022211 140734349022310 140734349022310 140734349029326 0 /proc/978778/statm: 124546 104142 4048 3540 0 112803 0 Current children cumulated CPU time: 3585.96 s Current children cumulated vsize: 498184 KiB Current children cumulated memory: 416568 KiB Child status: 0 Real time (s): 3597.13 CPU time (s): 3585.99 CPU user time (s): 3585.7 CPU system time (s): 0.293247 CPU usage (%): 99.6903 Max. virtual memory (cumulated for all children) (KiB): 560228 Max. memory (cumulated for all children) (KiB): 478612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3585.7 system time used= 0.293247 maximum resident set size= 478612 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 88266 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= 26 involuntary context switches= 24568 # summary of solver processes directly reported to runsolver: # pid: 978778 # total CPU time (s): 3585.99 # total CPU user time (s): 3585.7 # total CPU system time (s): 0.293247 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.53604 second user time and 14.1039 second system time The end
Begin job on nodeC025 at 2024-07-18 12:10:33 IDJOB=4442985 IDBENCH=147859 IDSOLVER=3059 FILE ID=nodeC025/4442985-1721297420 RUNJOBID= nodeC025-1721293764-975184 SLURM_JOB_ID= 7542596 Free space on /tmp= 889964 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin18.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-4442985-1721297420/watcher-4442985-1721297420 -o /tmp/evaluation-result-4442985-1721297420/solver-4442985-1721297420 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721293764-975184 --watchdog 3760 pbscip -f HOME/instance-4442985-1721297420.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 524c0290a9c7ac599d8004695d4c7f99 RANDOM SEED=1478100993 nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3665.015 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3679.014 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3656.368 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.111 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3664.946 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3679.016 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3612.269 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.872 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122671012 kB MemAvailable: 128660924 kB Buffers: 498492 kB Cached: 6254828 kB SwapCached: 0 kB Active: 1043076 kB Inactive: 7037360 kB Active(anon): 1528 kB Inactive(anon): 1363308 kB Active(file): 1041548 kB Inactive(file): 5674052 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 49392 kB Writeback: 4 kB AnonPages: 1323748 kB Mapped: 139368 kB Shmem: 37720 kB KReclaimable: 227916 kB Slab: 355924 kB SReclaimable: 227916 kB SUnreclaim: 128008 kB KernelStack: 4128 kB PageTables: 12104 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1607488 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 69088 kB HardwareCorrupted: 0 kB AnonHugePages: 378880 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 318164 kB DirectMap2M: 43495424 kB DirectMap1G: 92274688 kB Free space on /tmp at the end= 889948 MiB End job on nodeC025 at 2024-07-18 13:10:30