| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3587.98 | 3597.12 |
| 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 | 21643.2 |
| 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.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-4493310-1751145073.opb>
0.00/0.08 c original problem has 23409 variables (23409 bin, 0 int, 0 impl, 0 cont) and 1386 constraints
0.00/0.08 c problem read in 0.07
0.00/0.08 c No objective function, only one solution is needed.
0.09/0.15 c presolving:
0.19/0.26 c (0.3s) running MILP presolver
0.29/0.38 c (0.4s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.29/0.39 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.49/0.59 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
0.99/1.03 c (1.0s) probing: 51/23409 (0.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.99/1.03 c (1.0s) probing aborted: 50/50 successive totally useless probings
0.99/1.06 c (1.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.38/1.48 c (1.5s) symmetry computation finished: 41 generators found (max: 1500, log10 of symmetry group size: 30.0) (symcode time: 0.39)
1.48/1.51 c dynamic symmetry handling statistics:
1.48/1.51 c orbitopal reduction: no components
1.48/1.51 c orbital reduction: no components
1.48/1.51 c lexicographic reduction: no permutations
1.48/1.51 c handled 1 out of 1 symmetry components
1.48/1.52 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.47/2.58 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.57/2.68 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.57/2.69 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.27/3.36 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.27/3.37 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.37/3.48 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.37/3.49 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.37/4.43 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.37/4.49 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.47/4.50 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.26/5.34 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.36/5.41 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.36/5.42 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.36/5.43 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.36/5.44 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.07/6.11 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
6.66/6.74 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
6.66/6.75 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
6.76/6.81 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
6.76/6.82 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
6.86/6.99 c (7.0s) probing: 1000/23409 (4.3%) - 1683 fixings, 0 aggregations, 94158 implications, 0 bound changes
7.16/7.29 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.26/7.30 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.26/7.31 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.26/7.32 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.06/8.16 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
9.35/9.49 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.06/10.11 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
12.05/12.19 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
12.44/12.58 c (12.6s) probing: 2000/23409 (8.5%) - 1832 fixings, 0 aggregations, 150664 implications, 0 bound changes
13.05/13.12 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
14.04/14.19 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
15.34/15.43 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
15.95/16.01 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
17.54/17.64 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
17.94/18.01 c (18.0s) probing: 3000/23409 (12.8%) - 1991 fixings, 0 aggregations, 201962 implications, 0 bound changes
18.94/19.01 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
18.94/19.07 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
20.33/20.46 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
23.72/23.90 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
23.82/23.99 c (24.0s) probing: 4000/23409 (17.1%) - 2063 fixings, 0 aggregations, 281663 implications, 0 bound changes
26.41/26.59 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
26.51/26.63 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
29.41/29.57 c (29.6s) probing: 5000/23409 (21.4%) - 2105 fixings, 0 aggregations, 372188 implications, 0 bound changes
31.10/31.29 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
35.19/35.35 c (35.3s) probing: 6000/23409 (25.6%) - 2122 fixings, 0 aggregations, 463541 implications, 0 bound changes
37.68/37.80 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
40.98/41.17 c (41.2s) probing: 7000/23409 (29.9%) - 2156 fixings, 0 aggregations, 540791 implications, 0 bound changes
41.98/42.15 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
45.26/45.44 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
46.56/46.79 c (46.8s) probing: 8000/23409 (34.2%) - 2215 fixings, 0 aggregations, 613770 implications, 0 bound changes
47.56/47.77 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
50.25/50.48 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
51.35/51.59 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
52.15/52.36 c (52.4s) probing: 9000/23409 (38.4%) - 2280 fixings, 0 aggregations, 681786 implications, 0 bound changes
57.73/57.96 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
57.83/58.04 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
57.93/58.19 c (58.2s) probing: 10000/23409 (42.7%) - 2325 fixings, 0 aggregations, 759219 implications, 0 bound changes
63.12/63.33 c (63.3s) probing: 10975/23409 (46.9%) - 2325 fixings, 0 aggregations, 773703 implications, 0 bound changes
63.12/63.33 c (63.3s) probing aborted: 1000/1000 successive useless probings
63.12/63.38 c presolving (52 rounds: 52 fast, 42 medium, 38 exhaustive):
63.12/63.38 c 4236 deleted vars, 1442 deleted constraints, 833 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 9 changed coefficients
63.12/63.38 c 0 implications, 192898 cliques
63.12/63.38 c presolved problem has 19927 variables (19927 bin, 0 int, 0 impl, 0 cont) and 777 constraints
63.12/63.38 c 144 constraints of type <knapsack>
63.12/63.38 c 592 constraints of type <setppc>
63.12/63.38 c 41 constraints of type <orbitope>
63.12/63.38 c transformed objective value is always integral (scale: 1)
63.12/63.38 c Presolving Time: 63.24
63.12/63.38 c - non default parameters ----------------------------------------------------------------------
63.12/63.38 c # SCIP version 10.0.0
63.12/63.38 c
63.12/63.38 c # maximal time in seconds to run
63.12/63.38 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
63.12/63.38 c limits/time = 3596.998012
63.12/63.38 c
63.12/63.38 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
63.12/63.38 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
63.12/63.38 c limits/memory = 27900
63.12/63.38 c
63.12/63.38 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
63.12/63.38 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
63.12/63.38 c limits/solutions = 1
63.12/63.38 c
63.12/63.38 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.
63.12/63.38 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
63.12/63.38 c misc/usesymmetry = 3
63.12/63.38 c
63.12/63.38 c # belongs reading time to solving time?
63.12/63.38 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
63.12/63.38 c timing/reading = TRUE
63.12/63.38 c
63.12/63.38 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
63.12/63.38 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
63.12/63.38 c propagating/symmetry/detectdoublelex = FALSE
63.12/63.38 c
63.12/63.38 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
63.12/63.38 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
63.12/63.38 c propagating/symmetry/detectsubgroups = FALSE
63.12/63.38 c
63.12/63.38 c # Type of symmetries that shall be computed?
63.12/63.38 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
63.12/63.38 c propagating/symmetry/symtype = 1
63.12/63.38 c
63.12/63.38 c # Should components consisting of a single full reflection be handled?
63.12/63.38 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
63.12/63.38 c propagating/symmetry/usesimplesgncomp = FALSE
63.12/63.38 c
63.12/63.38 c -----------------------------------------------------------------------------------------------
63.12/63.38 c start solving
63.12/63.38 c
762.14/764.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
762.14/764.18 c 764s| 1 | 0 | 1373k| - | 365M | 0 | 19k| 852 | 736 | 0 | 0 | 74 | 0 | 0.000000e+00 | -- | Inf | unknown
835.71/837.99 c 838s| 1 | 0 | 1496k| - | 377M | 0 | 19k| 855 | 748 | 12 | 1 | 77 | 0 | 0.000000e+00 | -- | Inf | unknown
836.41/838.63 c 839s| 1 | 0 | 1496k| - | 379M | 0 | 19k| 860 | 756 | 20 | 2 | 82 | 0 | 0.000000e+00 | -- | Inf | unknown
837.20/839.40 c 839s| 1 | 0 | 1497k| - | 379M | 0 | 19k| 860 | 761 | 25 | 3 | 82 | 0 | 0.000000e+00 | -- | Inf | unknown
837.81/840.01 c 840s| 1 | 0 | 1497k| - | 379M | 0 | 19k| 862 | 767 | 31 | 4 | 84 | 0 | 0.000000e+00 | -- | Inf | unknown
838.30/840.55 c 841s| 1 | 0 | 1497k| - | 379M | 0 | 19k| 865 | 771 | 35 | 5 | 87 | 0 | 0.000000e+00 | -- | Inf | unknown
839.00/841.24 c 841s| 1 | 0 | 1498k| - | 379M | 0 | 19k| 867 | 778 | 42 | 6 | 89 | 0 | 0.000000e+00 | -- | Inf | unknown
839.60/841.87 c 842s| 1 | 0 | 1498k| - | 379M | 0 | 19k| 868 | 788 | 52 | 7 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
840.09/842.31 c 842s| 1 | 0 | 1498k| - | 381M | 0 | 19k| 870 | 795 | 59 | 8 | 92 | 0 | 0.000000e+00 | -- | Inf | unknown
840.69/842.90 c 843s| 1 | 0 | 1498k| - | 381M | 0 | 19k| 872 | 802 | 66 | 9 | 94 | 0 | 0.000000e+00 | -- | Inf | unknown
841.19/843.48 c 843s| 1 | 0 | 1498k| - | 381M | 0 | 19k| 873 | 807 | 71 | 10 | 95 | 0 | 0.000000e+00 | -- | Inf | unknown
841.70/843.90 c 844s| 1 | 0 | 1498k| - | 381M | 0 | 19k| 877 | 814 | 78 | 11 | 99 | 0 | 0.000000e+00 | -- | Inf | unknown
888.55/891.00 c 891s| 1 | 2 | 1536k| - | 383M | 0 | 19k| 895 | 814 | 78 | 11 | 117 | 21 | 0.000000e+00 | -- | Inf | unknown
3587.84/3597.01 c
3587.84/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.84/3597.01 c Solving Time (sec) : 3597.00
3587.84/3597.01 c Solving Nodes : 29
3587.84/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.84/3597.01 c Dual Bound : +0.00000000000000e+00
3587.84/3597.01 c Gap : infinite
3587.84/3597.01 s UNKNOWN
3587.84/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.84/3597.01 c Total Time : 3597.00
3587.84/3597.01 c solving : 3597.00
3587.84/3597.01 c presolving : 63.24 (included in solving)
3587.84/3597.01 c reading : 0.07 (included in solving)
3587.84/3597.01 c copying : 0.03 (1 #copies) (minimal 0.03, maximal 0.03, average 0.03)
3587.84/3597.01 c Original Problem :
3587.84/3597.01 c Problem name : HOME/instance-4493310-1751145073.opb
3587.84/3597.01 c Variables : 23409 (23409 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.84/3597.01 c Constraints : 1386 initial, 1386 maximal
3587.84/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.84/3597.01 c Presolved Problem :
3587.84/3597.01 c Problem name : t_HOME/instance-4493310-1751145073.opb
3587.84/3597.01 c Variables : 19927 (19927 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.84/3597.01 c Constraints : 777 initial, 932 maximal
3587.84/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.84/3597.01 c Nonzeros : 288458 constraint, 468188 clique table
3587.84/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.84/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c domcol : 0.02 0.00 35 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c dualsparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c implics : 0.01 0.00 42 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c milp : 0.20 0.00 1 0 0 0 0 0 1386 774 0 0
3587.84/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c sparsify : 0.26 0.00 2 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c trivial : 0.03 0.00 52 754 0 0 0 0 0 0 0 0
3587.84/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c dualfix : 0.03 0.00 52 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c probing : 59.74 0.00 35 2325 0 0 0 0 0 0 0 0
3587.84/3597.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c symmetry : 0.46 0.00 1 301 0 0 0 0 0 41 0 0
3587.84/3597.01 c vbounds : 0.20 0.00 15 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c knapsack : 0.98 0.00 127 0 0 0 0 0 18 18 0 9
3587.84/3597.01 c setppc : 0.83 0.00 127 0 3 0 0 0 38 0 0 0
3587.84/3597.01 c linear : 0.23 0.03 3 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c orbitope : 0.06 0.00 39 99 0 0 0 0 0 0 0 0
3587.84/3597.01 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c components : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c root node : - - - 0 - - 0 - - - - -
3587.84/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.84/3597.01 c benderslp : 0 0 0 0 22 0 0 5 0 0 0 0 0 0 0
3587.84/3597.01 c integral : 0 0 0 0 22 0 0 5 0 0 0 0 0 0 44
3587.84/3597.01 c knapsack : 144+ 148 11 45183 0 0 0 2 209 7 359 0 0 0 0
3587.84/3597.01 c setppc : 592+ 600 11 45176 0 0 0 1 4850 210 5442 0 0 0 0
3587.84/3597.01 c orbitope : 41 41 0 44866 0 0 0 0 27864 325 1216 0 0 0 0
3587.84/3597.01 c logicor : 0+ 145 11 182 0 0 0 0 0 7 5 1 1 0 0
3587.84/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.84/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.84/3597.01 c integral : 14.98 0.00 0.00 0.00 14.98 0.00 0.00 0.00 0.00 0.00
3587.84/3597.01 c knapsack : 0.44 0.00 0.03 0.40 0.00 0.00 0.00 0.00 0.00 0.00
3587.84/3597.01 c setppc : 0.42 0.00 0.01 0.40 0.00 0.00 0.00 0.00 0.00 0.01
3587.84/3597.01 c orbitope : 43.50 0.00 0.00 43.43 0.00 0.00 0.00 0.00 0.00 0.07
3587.84/3597.01 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.84/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.84/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.84/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.84/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.84/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.84/3597.01 c dualfix : 1 0 0 0
3587.84/3597.01 c genvbounds : 0 0 0 0
3587.84/3597.01 c nlobbt : 0 0 0 0
3587.84/3597.01 c obbt : 0 0 0 0
3587.84/3597.01 c probing : 0 0 0 0
3587.84/3597.01 c pseudoobj : 0 0 0 0
3587.84/3597.01 c redcost : 0 0 0 0
3587.84/3597.01 c rootredcost : 0 0 0 0
3587.84/3597.01 c symmetry : 0 0 0 0
3587.84/3597.01 c vbounds : 492 0 0 0
3587.84/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.84/3597.01 c dualfix : 0.03 0.00 0.03 0.00 0.00 0.00
3587.84/3597.01 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3587.84/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.84/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.84/3597.01 c probing : 59.75 0.00 59.74 0.00 0.00 0.00
3587.84/3597.01 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3587.84/3597.01 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3587.84/3597.01 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3587.84/3597.01 c symmetry : 0.46 0.00 0.46 0.01 0.00 0.00
3587.84/3597.01 c vbounds : 0.22 0.00 0.20 0.01 0.00 0.00
3587.84/3597.01 c Symmetry :
3587.84/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.84/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.84/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.84/3597.01 c shadow tree time : 0.00 s
3587.84/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.84/3597.01 c propagation : 0.01 544 44 - 202 129.2 0 0.0 - - -
3587.84/3597.01 c infeasible LP : 0.01 4 4 - 16 558.1 0 0.0 4 861.8 0
3587.84/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.84/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.84/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.84/3597.01 c applied globally : 0.05 - - 0 152 115.6 - - 4 - -
3587.84/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.84/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.84/3597.01 c cut pool : 0.00 - 27 21 - - 253 447 - - - - - (maximal pool size: 253)
3587.84/3597.01 c aggregation : 0.16 0.00 14 11 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.84/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.84/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.84/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c clique : 1.63 0.00 11 11 0 0 83 222 0 41 41 0 0
3587.84/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c gomory : 0.97 0.00 13 10 0 0 1 1 0 1 1 0 0
3587.84/3597.01 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3587.84/3597.01 c > strongcg : - - - - - - - 1 0 1 1 0 -
3587.84/3597.01 c impliedbounds : 0.15 0.00 14 11 0 0 152 207 0 39 39 0 0
3587.84/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c multilinear : 0.00 0.00 14 11 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c rlt : 0.00 0.00 12 10 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c zerohalf : 0.51 0.00 14 11 0 0 23 17 6 22 16 6 0
3587.84/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.84/3597.01 c hybrid : 0.00 0.00 14 11 104 0 350 78 0 264
3587.84/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.84/3597.01 c problem variables: 0.00 - 0 0
3587.84/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.84/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c relpscost : 14.98 0.00 22 0 0 0 0 0 0 44
3587.84/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.84/3597.01 c LP solutions : 0.00 - - 0 0
3587.84/3597.01 c relax solutions : 0.00 - - 0 0
3587.84/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.84/3597.01 c strong branching : 0.00 - - 0 0
3587.84/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.84/3597.01 c adaptivediving : 101.09 0.00 2 0 0
3587.84/3597.01 c alns : 0.00 0.00 0 0 0
3587.84/3597.01 c bound : 0.00 0.00 0 0 0
3587.84/3597.01 c clique : 0.07 0.00 1 0 0
3587.84/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.84/3597.01 c completesol : 0.00 0.00 0 0 0
3587.84/3597.01 c conflictdiving : 31.27 0.00 1 0 0
3587.84/3597.01 c crossover : 0.00 0.00 0 0 0
3587.84/3597.01 c dins : 0.00 0.00 0 0 0
3587.84/3597.01 c distributiondivin: 0.01 0.00 0 0 0
3587.84/3597.01 c dps : 0.00 0.00 0 0 0
3587.84/3597.01 c dualval : 0.00 0.00 0 0 0
3587.84/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.84/3597.01 c feasjump : 0.08 0.00 1 0 0
3587.84/3597.01 c feaspump : 71.19 0.00 1 0 0
3587.84/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.84/3597.01 c fracdiving : 455.12 0.00 1 0 0
3587.84/3597.01 c gins : 0.00 0.00 0 0 0
3587.84/3597.01 c guideddiving : 0.00 0.00 0 0 0
3587.84/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.84/3597.01 c indicator : 0.00 0.00 0 0 0
3587.84/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.84/3597.01 c indoneopt : 0.00 0.00 0 0 0
3587.84/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.84/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.84/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.84/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.84/3597.01 c linesearchdiving : 82.73 0.00 1 0 0
3587.84/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.84/3597.01 c locks : 15.67 0.00 1 0 0
3587.84/3597.01 c lpface : 0.00 0.00 0 0 0
3587.84/3597.01 c mpec : 0.00 0.00 0 0 0
3587.84/3597.01 c multistart : 0.00 0.00 0 0 0
3587.84/3597.01 c mutation : 0.00 0.00 0 0 0
3587.84/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.84/3597.01 c objpscostdiving : 146.37 0.00 1 0 0
3587.84/3597.01 c octane : 0.00 0.00 0 0 0
3587.84/3597.01 c ofins : 0.00 0.00 0 0 0
3587.84/3597.01 c oneopt : 0.00 0.00 0 0 0
3587.84/3597.01 c padm : 0.00 0.00 0 0 0
3587.84/3597.01 c proximity : 0.00 0.00 0 0 0
3587.84/3597.01 c pscostdiving : 1.78 0.00 1 0 0
3587.84/3597.01 c randrounding : 1.04 0.00 12 0 0
3587.84/3597.01 c rens : 0.77 0.00 1 0 0
3587.84/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.84/3597.01 c repair : 0.00 0.00 0 0 0
3587.84/3597.01 c rins : 0.00 0.00 0 0 0
3587.84/3597.01 c rootsoldiving : 100.11 0.00 1 0 0
3587.84/3597.01 c rounding : 0.10 0.00 36 0 0
3587.84/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.84/3597.01 c shiftandpropagate: 0.12 0.00 1 0 0
3587.84/3597.01 c shifting : 0.10 0.00 16 0 0
3587.84/3597.01 c simplerounding : 0.00 0.00 0 0 0
3587.84/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.84/3597.01 c subnlp : 0.00 0.00 0 0 0
3587.84/3597.01 c trivial : 0.01 0.00 2 0 0
3587.84/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.84/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.84/3597.01 c trysol : 0.00 0.00 0 0 0
3587.84/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.84/3597.01 c undercover : 0.00 0.00 0 0 0
3587.84/3597.01 c vbounds : 0.47 0.00 1 0 0
3587.84/3597.01 c veclendiving : 12.43 0.00 1 0 0
3587.84/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.84/3597.01 c zirounding : 0.01 0.00 22 0 0
3587.84/3597.01 c other solutions : - - - 0 -
3587.84/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.84/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.84/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.84/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.84/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.84/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.84/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.84/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.84/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.84/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.84/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.84/3597.01 c primal LP : 0.06 2 0 0.00 0.00 0.06 2
3587.84/3597.01 c dual LP : 2494.43 38 4746984 124920.63 1903.03 0.00 0
3587.84/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.84/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.84/3597.01 c resolve instable : 90.76 39 187433 4805.97 2065.22
3587.84/3597.01 c diving/probing LP: 998.98 378 1836049 4857.27 1837.93
3587.84/3597.01 c strong branching : 14.75 21 8415 400.71 570.65 - - 2
3587.84/3597.01 c (at root node) : - 21 8415 400.71 -
3587.84/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3587.84/3597.01 c B&B Tree :
3587.84/3597.01 c number of runs : 1
3587.84/3597.01 c nodes : 29 (22 internal, 7 leaves)
3587.84/3597.01 c feasible leaves : 0
3587.84/3597.01 c infeas. leaves : 6
3587.84/3597.01 c objective leaves : 0
3587.84/3597.01 c nodes (total) : 29 (22 internal, 7 leaves)
3587.84/3597.01 c nodes left : 17
3587.84/3597.01 c max depth : 11
3587.84/3597.01 c max depth (total): 11
3587.84/3597.01 c backtracks : 13 (44.8%)
3587.84/3597.01 c early backtracks : 0 (0.0%)
3587.84/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.84/3597.01 c delayed cutoffs : 0
3587.84/3597.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.84/3597.01 c avg switch length: 2.10
3587.84/3597.01 c switching time : 0.07
3587.84/3597.01 c Root Node :
3587.84/3597.01 c First LP value : +0.00000000000000e+00
3587.84/3597.01 c First LP Iters : 1373481 (2006.93 Iter/sec)
3587.84/3597.01 c First LP Time : 684.37
3587.84/3597.01 c Final Dual Bound : +0.00000000000000e+00
3587.84/3597.01 c Final Root Iters : 1498729
3587.84/3597.01 c Root LP Estimate : +2.31091303953618e-03
3587.84/3597.01 c Solution :
3587.84/3597.01 c Solutions found : 0 (0 improvements)
3587.84/3597.01 c Primal Bound : -
3587.84/3597.01 c Dual Bound : +0.00000000000000e+00
3587.84/3597.01 c Gap : infinite
3587.84/3597.01 c Integrals : Total Avg%
3587.84/3597.01 c primal-dual : 359699.88 100.00
3587.84/3597.01 c primal-ref : - - (not evaluated)
3587.84/3597.01 c dual-ref : - - (not evaluated)
3587.95/3597.12 c Time complete: 3587.98.
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62709 MiB free)
memory of node 1: 64465 MiB (63644 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493310-1751145073/watcher-4493310-1751145073 -o /tmp/evaluation-result-4493310-1751145073/solver-4493310-1751145073 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751144686-14146 --watchdog 3760 pbscip -f HOME/instance-4493310-1751145073.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15801, runsolver pid=15798
[startup+0.100066 s]*
/proc/loadavg: 4.13 3.32 2.70 5/264 15802
/proc/meminfo: memFree=129346696/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=96384 memory=69732 CPUtime=0.09 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 14325 0 0 0 7 2 0 0 20 0 1 0 30183910 98697216 17401 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 24096 17433 3520 3530 0 15547 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 96384 KiB
Current children cumulated memory: 69732 KiB
[startup+0.20551 s]*
/proc/loadavg: 4.13 3.32 2.70 5/264 15802
/proc/meminfo: memFree=129346696/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=143516 memory=108900 CPUtime=0.19 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 24127 0 0 0 16 3 0 0 20 0 1 0 30183910 146960384 27225 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 35879 27225 3552 3530 0 27330 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 143516 KiB
Current children cumulated memory: 108900 KiB
[startup+0.305395 s]*
/proc/loadavg: 4.13 3.32 2.70 5/264 15802
/proc/meminfo: memFree=129318548/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=164200 memory=136196 CPUtime=0.29 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 31617 0 0 0 25 4 0 0 20 0 1 0 30183910 168140800 34049 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 41050 34049 3680 3530 0 32501 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 164200 KiB
Current children cumulated memory: 136196 KiB
[startup+0.700184 s]
/proc/loadavg: 4.13 3.32 2.70 5/264 15802
/proc/meminfo: memFree=129318548/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=163264 memory=135476 CPUtime=0.68 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 34456 0 0 0 63 5 0 0 20 0 1 0 30183910 167182336 33869 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 40816 33869 3712 3530 0 32267 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 163264 KiB
Current children cumulated memory: 135476 KiB
[startup+1.50017 s]
/proc/loadavg: 4.13 3.32 2.70 5/264 15802
/proc/meminfo: memFree=129213860/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=357328 memory=274660 CPUtime=1.48 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 50813 0 0 0 139 9 0 0 20 0 1 0 30183910 365903872 68665 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 89332 68665 3744 3530 0 80783 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 357328 KiB
Current children cumulated memory: 274660 KiB
[startup+3.10537 s]
/proc/loadavg: 4.12 3.34 2.71 5/264 15802
/proc/meminfo: memFree=129177532/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=357328 memory=279652 CPUtime=3.07 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 52085 0 0 0 298 9 0 0 20 0 1 0 30183910 365903872 69913 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 89332 69913 3744 3530 0 80783 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 357328 KiB
Current children cumulated memory: 279652 KiB
[startup+6.30016 s]
/proc/loadavg: 4.12 3.34 2.71 5/264 15802
/proc/meminfo: memFree=129177532/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=357328 memory=280164 CPUtime=6.26 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 52198 0 0 0 617 9 0 0 20 0 1 0 30183910 365903872 70041 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 89332 70041 3744 3530 0 80783 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 357328 KiB
Current children cumulated memory: 280164 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 3.36 2.72 5/264 15802
/proc/meminfo: memFree=129161260/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=358208 memory=281188 CPUtime=12.64 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 52470 0 0 0 1255 9 0 0 20 0 1 0 30183910 366804992 70297 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 89552 70297 3744 3530 0 81003 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 358208 KiB
Current children cumulated memory: 281188 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 3.38 2.74 5/264 15802
/proc/meminfo: memFree=129129268/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=368328 memory=291044 CPUtime=25.42 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 54985 0 0 0 2532 10 0 0 20 0 1 0 30183910 377167872 72761 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 92082 72761 3744 3530 0 83533 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 368328 KiB
Current children cumulated memory: 291044 KiB
[startup+51.1054 s]
/proc/loadavg: 4.12 3.45 2.78 5/265 15804
/proc/meminfo: memFree=129088408/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=369732 memory=292452 CPUtime=50.95 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 55342 0 0 0 5085 10 0 0 20 0 1 0 30183910 378605568 73113 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 92433 73113 3744 3530 0 83884 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 369732 KiB
Current children cumulated memory: 292452 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 3.56 2.85 5/266 15808
/proc/meminfo: memFree=129051508/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=421444 memory=342244 CPUtime=102.01 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 67606 0 0 0 10189 12 0 0 20 0 1 0 30183910 431558656 85561 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 105361 85561 3936 3530 0 96812 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 421444 KiB
Current children cumulated memory: 342244 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 3.67 2.94 5/265 15812
/proc/meminfo: memFree=129071828/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=421444 memory=342244 CPUtime=161.86 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 67612 0 0 0 16174 12 0 0 20 0 1 0 30183910 431558656 85561 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 105361 85561 3936 3530 0 96812 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 421444 KiB
Current children cumulated memory: 342244 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.75 3.01 5/265 15814
/proc/meminfo: memFree=129054664/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=421444 memory=342244 CPUtime=221.71 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 67616 0 0 0 22159 12 0 0 20 0 1 0 30183910 431558656 85561 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 105361 85561 3936 3530 0 96812 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 421444 KiB
Current children cumulated memory: 342244 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.81 3.08 5/265 15815
/proc/meminfo: memFree=129028032/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=421704 memory=344164 CPUtime=281.56 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 67684 0 0 0 28144 12 0 0 20 0 1 0 30183910 431824896 86041 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 105426 86041 3936 3530 0 96877 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 421704 KiB
Current children cumulated memory: 344164 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.88 3.15 5/266 15822
/proc/meminfo: memFree=129015312/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=421704 memory=345316 CPUtime=341.41 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 67702 0 0 0 34129 12 0 0 20 0 1 0 30183910 431824896 86329 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 105426 86329 3936 3530 0 96877 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 421704 KiB
Current children cumulated memory: 345316 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.93 3.22 5/263 15824
/proc/meminfo: memFree=129045976/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=421704 memory=350820 CPUtime=401.26 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 67727 0 0 0 40114 12 0 0 20 0 1 0 30183910 431824896 87705 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 105426 87705 3936 3530 0 96877 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 421704 KiB
Current children cumulated memory: 350820 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 3.98 3.28 5/263 15826
/proc/meminfo: memFree=129007636/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=421704 memory=351332 CPUtime=461.11 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 67743 0 0 0 46099 12 0 0 20 0 1 0 30183910 431824896 87833 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 105426 87833 3936 3530 0 96877 0
Current children cumulated CPU time: 461.11 s
################
# More data... #
################
/proc/loadavg: 4.13 4.10 4.03 5/263 16188
/proc/meminfo: memFree=128732084/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=547444 memory=477068 CPUtime=3214.06 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 86287 0 0 0 321391 15 0 0 20 0 1 0 30183910 560582656 119267 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 136861 119267 3968 3530 0 128312 0
Current children cumulated CPU time: 3214.06 s
Current children cumulated vsize: 547444 KiB
Current children cumulated memory: 477068 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.03 5/262 16190
/proc/meminfo: memFree=128716336/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=547444 memory=477068 CPUtime=3273.91 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 86357 0 0 0 327376 15 0 0 20 0 1 0 30183910 560582656 119267 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 136861 119267 3968 3530 0 128312 0
Current children cumulated CPU time: 3273.91 s
Current children cumulated vsize: 547444 KiB
Current children cumulated memory: 477068 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/263 16237
/proc/meminfo: memFree=128875668/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=547444 memory=477068 CPUtime=3333.77 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 86357 0 0 0 333362 15 0 0 20 0 1 0 30183910 560582656 119267 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 136861 119267 3968 3530 0 128312 0
Current children cumulated CPU time: 3333.77 s
Current children cumulated vsize: 547444 KiB
Current children cumulated memory: 477068 KiB
[startup+3402.3 s]
/proc/loadavg: 4.42 4.18 4.07 5/265 16245
/proc/meminfo: memFree=128875612/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=547444 memory=477068 CPUtime=3393.62 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 86357 0 0 0 339347 15 0 0 20 0 1 0 30183910 560582656 119267 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 136861 119267 3968 3530 0 128312 0
Current children cumulated CPU time: 3393.62 s
Current children cumulated vsize: 547444 KiB
Current children cumulated memory: 477068 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.16 4.07 5/266 16338
/proc/meminfo: memFree=126887576/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=547444 memory=477068 CPUtime=3453.48 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 86357 0 0 0 345333 15 0 0 20 0 1 0 30183910 560582656 119267 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 136861 119267 3968 3530 0 128312 0
Current children cumulated CPU time: 3453.48 s
Current children cumulated vsize: 547444 KiB
Current children cumulated memory: 477068 KiB
[startup+3522.3 s]
/proc/loadavg: 4.26 4.18 4.08 5/267 16385
/proc/meminfo: memFree=124399244/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=547444 memory=477068 CPUtime=3513.33 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 86357 0 0 0 351318 15 0 0 20 0 1 0 30183910 560582656 119267 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 136861 119267 3968 3530 0 128312 0
Current children cumulated CPU time: 3513.33 s
Current children cumulated vsize: 547444 KiB
Current children cumulated memory: 477068 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.16 4.08 5/267 16388
/proc/meminfo: memFree=122333320/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=547444 memory=477068 CPUtime=3573.18 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 86357 0 0 0 357303 15 0 0 20 0 1 0 30183910 560582656 119267 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 136861 119267 3968 3530 0 128312 0
Current children cumulated CPU time: 3573.18 s
Current children cumulated vsize: 547444 KiB
Current children cumulated memory: 477068 KiB
[startup+3597.12 s]
# the end of solver process 15801 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.82 s, system=0.163506 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.16 4.08 5/267 16388
/proc/meminfo: memFree=121254404/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=547444 memory=477068 CPUtime=3574.88 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 86357 0 0 0 357473 15 0 0 20 0 1 0 30183910 560582656 119267 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 136861 119267 3968 3530 0 128312 0
Current children cumulated CPU time: 3574.88 s
Current children cumulated vsize: 547444 KiB
Current children cumulated memory: 477068 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.15 4.08 5/267 16388
/proc/meminfo: memFree=119990660/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=547444 memory=477068 CPUtime=3581.26 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 86357 0 0 0 358111 15 0 0 20 0 1 0 30183910 560582656 119267 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 136861 119267 3968 3530 0 128312 0
Current children cumulated CPU time: 3581.26 s
Current children cumulated vsize: 547444 KiB
Current children cumulated memory: 477068 KiB
[startup+3593.6 s]
/proc/loadavg: 4.12 4.15 4.08 4/266 16402
/proc/meminfo: memFree=128715012/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=547444 memory=477068 CPUtime=3584.45 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 86357 0 0 0 358430 15 0 0 20 0 1 0 30183910 560582656 119267 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 136861 119267 3968 3530 0 128312 0
Current children cumulated CPU time: 3584.45 s
Current children cumulated vsize: 547444 KiB
Current children cumulated memory: 477068 KiB
[startup+3595.2 s]
/proc/loadavg: 4.12 4.15 4.08 5/266 16402
/proc/meminfo: memFree=128730240/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=547444 memory=477068 CPUtime=3586.04 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 86357 0 0 0 358589 15 0 0 20 0 1 0 30183910 560582656 119267 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 136861 119267 3968 3530 0 128312 0
Current children cumulated CPU time: 3586.04 s
Current children cumulated vsize: 547444 KiB
Current children cumulated memory: 477068 KiB
[startup+3596 s]*
/proc/loadavg: 4.12 4.15 4.08 5/266 16402
/proc/meminfo: memFree=128738512/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=547444 memory=477068 CPUtime=3586.85 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 86357 0 0 0 358670 15 0 0 20 0 1 0 30183910 560582656 119267 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 136861 119267 3968 3530 0 128312 0
Current children cumulated CPU time: 3586.85 s
Current children cumulated vsize: 547444 KiB
Current children cumulated memory: 477068 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.15 4.08 5/266 16402
/proc/meminfo: memFree=128738512/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=547444 memory=477068 CPUtime=3587.64 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 86357 0 0 0 358749 15 0 0 20 0 1 0 30183910 560582656 119267 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 136861 119267 3968 3530 0 128312 0
Current children cumulated CPU time: 3587.64 s
Current children cumulated vsize: 547444 KiB
Current children cumulated memory: 477068 KiB
[startup+3597 s]*
/proc/loadavg: 4.12 4.15 4.08 5/265 16402
/proc/meminfo: memFree=128746576/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=547444 memory=477068 CPUtime=3587.84 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 86357 0 0 0 358769 15 0 0 20 0 1 0 30183910 560582656 119267 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 136861 119267 3968 3530 0 128312 0
Current children cumulated CPU time: 3587.84 s
Current children cumulated vsize: 547444 KiB
Current children cumulated memory: 477068 KiB
[startup+3597.1 s]
/proc/loadavg: 4.12 4.15 4.08 5/265 16402
/proc/meminfo: memFree=128746576/131250000 swapFree=33010684/33010684
[pid=15801] ppid=15798 vsize=485400 memory=415072 CPUtime=3587.95 cores=5,7
/proc/15801/stat : 15801 (pbscip) R 15798 15801 14133 0 -1 4194304 86389 0 0 0 358780 15 0 0 20 0 1 0 30183910 497049600 103768 18446744073709551615 4235264 18693293 140732405366688 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 33005568 140732405373321 140732405373420 140732405373420 140732405379022 0
/proc/15801/statm: 121350 103768 3968 3530 0 112801 0
Current children cumulated CPU time: 3587.95 s
Current children cumulated vsize: 485400 KiB
Current children cumulated memory: 415072 KiB
Child status: 0
Real time (s): 3597.12
CPU time (s): 3587.98
CPU user time (s): 3587.82
CPU system time (s): 0.163506
CPU usage (%): 99.7458
Max. virtual memory (cumulated for all children) (KiB): 547444
Max. memory (cumulated for all children) (KiB): 477068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.82
system time used= 0.163506
maximum resident set size= 477068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86409
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= 102
involuntary context switches= 1063
# summary of solver processes directly reported to runsolver:
# pid: 15801
# total CPU time (s): 3587.98
# total CPU user time (s): 3587.82
# total CPU system time (s): 0.163506
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.14396 second user time and 13.6553 second system time
The end
Begin job on nodeC014 at 2025-06-28 23:11:13 IDJOB=4493310 IDBENCH=147859 IDSOLVER=3365 FILE ID=nodeC014/4493310-1751145073 RUNJOBID= nodeC014-1751144686-14146 SLURM_JOB_ID= 9587442 Free space on /tmp= 432956 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 -w /tmp/evaluation-result-4493310-1751145073/watcher-4493310-1751145073 -o /tmp/evaluation-result-4493310-1751145073/solver-4493310-1751145073 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751144686-14146 --watchdog 3760 pbscip -f HOME/instance-4493310-1751145073.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 524c0290a9c7ac599d8004695d4c7f99 RANDOM SEED=145133453 nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.143 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.104 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 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 : 3601.133 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 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.300 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 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 : 3600.160 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 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 : 3601.105 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 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 : 3600.119 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 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 : 3600.108 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129386368 kB MemAvailable: 129044776 kB Buffers: 3280 kB Cached: 469948 kB SwapCached: 0 kB Active: 939616 kB Inactive: 260608 kB Active(anon): 745064 kB Inactive(anon): 0 kB Active(file): 194552 kB Inactive(file): 260608 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 20880 kB Writeback: 8 kB AnonPages: 730068 kB Mapped: 138128 kB Shmem: 18068 kB KReclaimable: 84972 kB Slab: 167256 kB SReclaimable: 84972 kB SUnreclaim: 82284 kB KernelStack: 4256 kB PageTables: 4724 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 1164144 kB VmallocTotal: 34359738367 kB VmallocUsed: 150504 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 305152 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 203476 kB DirectMap2M: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432856 MiB End job on nodeC014 at 2025-06-29 00:11:11