| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3587.85 | 3597.12 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K166.opb |
| MD5SUM | 50117bf6e22b142cc615b717d0d3b45a |
| 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 | 462.134 |
| 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 | 19754 |
| Total number of constraints | 20088 |
| Number of constraints which are clauses | 19922 |
| Number of constraints which are cardinality constraints (but not clauses) | 166 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 166 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 167 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4506914-1751177838.opb>
0.00/0.08 c original problem has 19754 variables (19754 bin, 0 int, 0 impl, 0 cont) and 20088 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.09/0.18 c (round 1, fast) 250 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2283 clqs
0.09/0.19 c (round 2, fast) 682 del vars, 262 del conss, 0 add conss, 121 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2267 clqs
0.09/0.20 c (round 3, fast) 900 del vars, 412 del conss, 0 add conss, 206 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2288 clqs
0.09/0.20 c (round 4, fast) 1055 del vars, 535 del conss, 0 add conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2319 clqs
0.09/0.20 c (round 5, fast) 1131 del vars, 591 del conss, 0 add conss, 285 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2342 clqs
0.20/0.21 c (round 6, fast) 1172 del vars, 625 del conss, 0 add conss, 299 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2352 clqs
0.20/0.26 c (0.3s) running MILP presolver
0.39/0.45 c (0.4s) MILP presolver (4 rounds): 0 aggregations, 166 fixings, 0 bound changes
0.39/0.46 c (round 7, medium) 1348 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2362 clqs
0.39/0.48 c (round 8, fast) 1348 del vars, 801 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2366 clqs
0.39/0.50 c (round 9, exhaustive) 1348 del vars, 965 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2366 clqs
0.49/0.59 c (round 10, exhaustive) 1348 del vars, 965 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 19123 upgd conss, 0 impls, 2366 clqs
0.68/0.77 c (round 11, exhaustive) 1456 del vars, 965 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 19123 upgd conss, 0 impls, 2354 clqs
0.68/0.78 c (round 12, fast) 1564 del vars, 1073 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 19123 upgd conss, 0 impls, 2354 clqs
2.48/2.58 c (round 13, exhaustive) 1590 del vars, 1074 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 19123 upgd conss, 0 impls, 119976 clqs
2.48/2.59 c (round 14, fast) 1591 del vars, 1100 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 164 chg coeffs, 19123 upgd conss, 0 impls, 119992 clqs
4.37/4.45 c (round 15, exhaustive) 1617 del vars, 1100 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 164 chg coeffs, 19123 upgd conss, 0 impls, 119983 clqs
4.37/4.45 c (round 16, fast) 1618 del vars, 1126 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 220 chg coeffs, 19123 upgd conss, 0 impls, 119990 clqs
5.47/5.56 c (round 17, exhaustive) 1645 del vars, 1126 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 220 chg coeffs, 19123 upgd conss, 0 impls, 119991 clqs
5.47/5.57 c (round 18, fast) 1647 del vars, 1153 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 288 chg coeffs, 19123 upgd conss, 0 impls, 120003 clqs
6.56/6.65 c (6.6s) probing: 1000/18738 (5.3%) - 93 fixings, 0 aggregations, 1113896 implications, 0 bound changes
6.76/6.88 c (round 19, exhaustive) 1674 del vars, 1153 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 288 chg coeffs, 19123 upgd conss, 0 impls, 120008 clqs
6.76/6.89 c (round 20, fast) 1676 del vars, 1180 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 360 chg coeffs, 19123 upgd conss, 0 impls, 120024 clqs
7.36/7.43 c (round 21, exhaustive) 1701 del vars, 1180 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 360 chg coeffs, 19123 upgd conss, 0 impls, 120019 clqs
7.36/7.44 c (round 22, fast) 1701 del vars, 1205 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 423 chg coeffs, 19123 upgd conss, 0 impls, 120037 clqs
8.26/8.36 c (round 23, exhaustive) 1746 del vars, 1205 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 423 chg coeffs, 19123 upgd conss, 0 impls, 117187 clqs
8.26/8.37 c (round 24, fast) 1746 del vars, 1250 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 572 chg coeffs, 19123 upgd conss, 0 impls, 117223 clqs
8.56/8.64 c (round 25, exhaustive) 1771 del vars, 1250 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 572 chg coeffs, 19123 upgd conss, 0 impls, 118978 clqs
8.56/8.65 c (round 26, fast) 1771 del vars, 1275 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 627 chg coeffs, 19123 upgd conss, 0 impls, 118986 clqs
8.85/8.98 c (round 27, exhaustive) 1796 del vars, 1275 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 627 chg coeffs, 19123 upgd conss, 0 impls, 120045 clqs
8.85/8.98 c (round 28, fast) 1796 del vars, 1300 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 687 chg coeffs, 19123 upgd conss, 0 impls, 120059 clqs
12.05/12.15 c (round 29, exhaustive) 1821 del vars, 1300 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 688 chg coeffs, 19123 upgd conss, 0 impls, 120059 clqs
12.05/12.15 c (round 30, fast) 1821 del vars, 1325 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 752 chg coeffs, 19123 upgd conss, 0 impls, 120070 clqs
12.24/12.38 c (round 31, exhaustive) 1849 del vars, 1325 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 753 chg coeffs, 19123 upgd conss, 0 impls, 120079 clqs
12.24/12.39 c (round 32, fast) 1862 del vars, 1360 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 824 chg coeffs, 19123 upgd conss, 0 impls, 120064 clqs
13.74/13.89 c (round 33, exhaustive) 1891 del vars, 1364 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 841 chg coeffs, 19123 upgd conss, 0 impls, 120062 clqs
13.84/13.90 c (round 34, fast) 1891 del vars, 1389 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 879 chg coeffs, 19123 upgd conss, 0 impls, 120064 clqs
14.04/14.16 c (round 35, exhaustive) 1917 del vars, 1389 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 879 chg coeffs, 19123 upgd conss, 0 impls, 120025 clqs
14.04/14.17 c (round 36, fast) 1918 del vars, 1415 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 913 chg coeffs, 19123 upgd conss, 0 impls, 120029 clqs
14.34/14.42 c (round 37, exhaustive) 1943 del vars, 1415 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 913 chg coeffs, 19123 upgd conss, 0 impls, 119909 clqs
14.34/14.43 c (round 38, fast) 1943 del vars, 1440 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 938 chg coeffs, 19123 upgd conss, 0 impls, 119909 clqs
14.54/14.68 c (14.7s) probing: 2000/18738 (10.7%) - 356 fixings, 1 aggregations, 2856701 implications, 0 bound changes
14.54/14.69 c (round 39, exhaustive) 1968 del vars, 1440 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 938 chg coeffs, 19123 upgd conss, 0 impls, 119735 clqs
14.64/14.70 c (round 40, fast) 1968 del vars, 1465 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 960 chg coeffs, 19123 upgd conss, 0 impls, 119735 clqs
19.52/19.65 c (19.6s) probing: 3000/18738 (16.0%) - 387 fixings, 1 aggregations, 4077020 implications, 0 bound changes
24.31/24.40 c (24.4s) probing: 4000/18738 (21.3%) - 390 fixings, 1 aggregations, 5315133 implications, 0 bound changes
25.60/25.79 c (round 41, exhaustive) 1993 del vars, 1465 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 960 chg coeffs, 19123 upgd conss, 0 impls, 120092 clqs
25.70/25.80 c (round 42, fast) 1993 del vars, 1490 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 987 chg coeffs, 19123 upgd conss, 0 impls, 120092 clqs
26.01/26.18 c (round 43, exhaustive) 2018 del vars, 1490 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 987 chg coeffs, 19123 upgd conss, 0 impls, 120092 clqs
26.01/26.18 c (round 44, fast) 2018 del vars, 1515 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1012 chg coeffs, 19123 upgd conss, 0 impls, 120092 clqs
28.00/28.17 c (28.2s) probing: 5000/18738 (26.7%) - 442 fixings, 1 aggregations, 6217899 implications, 0 bound changes
30.29/30.44 c (round 45, exhaustive) 2043 del vars, 1515 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1012 chg coeffs, 19123 upgd conss, 0 impls, 120166 clqs
30.29/30.45 c (round 46, fast) 2043 del vars, 1540 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1048 chg coeffs, 19123 upgd conss, 0 impls, 120167 clqs
30.59/30.70 c (round 47, exhaustive) 2068 del vars, 1540 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1048 chg coeffs, 19123 upgd conss, 0 impls, 120163 clqs
30.59/30.71 c (round 48, fast) 2068 del vars, 1565 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1073 chg coeffs, 19123 upgd conss, 0 impls, 120163 clqs
32.48/32.65 c (32.6s) probing: 6000/18738 (32.0%) - 476 fixings, 1 aggregations, 7107179 implications, 0 bound changes
36.57/36.76 c (36.8s) probing: 7000/18738 (37.4%) - 481 fixings, 1 aggregations, 8051249 implications, 0 bound changes
40.66/40.81 c (40.8s) probing: 8000/18738 (42.7%) - 484 fixings, 1 aggregations, 8997232 implications, 0 bound changes
43.65/43.81 c (43.8s) probing: 9000/18738 (48.0%) - 487 fixings, 1 aggregations, 9933494 implications, 0 bound changes
44.05/44.25 c (44.2s) probing: 9160/18738 (48.9%) - 487 fixings, 1 aggregations, 10084291 implications, 0 bound changes
44.05/44.25 c (44.2s) probing aborted: 1000/1000 successive useless probings
44.05/44.25 c (round 49, exhaustive) 2086 del vars, 1565 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1073 chg coeffs, 19123 upgd conss, 0 impls, 120209 clqs
44.05/44.26 c (round 50, fast) 2086 del vars, 1583 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1099 chg coeffs, 19123 upgd conss, 0 impls, 120210 clqs
47.44/47.65 c (47.6s) probing: 10000/18738 (53.4%) - 500 fixings, 1 aggregations, 10856828 implications, 0 bound changes
48.13/48.38 c (48.4s) probing: 10185/18738 (54.4%) - 500 fixings, 1 aggregations, 11030082 implications, 0 bound changes
48.13/48.38 c (48.4s) probing aborted: 1000/1000 successive useless probings
48.23/48.42 c (48.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
48.34/48.52 c (48.5s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.04)
48.34/48.52 c dynamic symmetry handling statistics:
48.34/48.52 c orbitopal reduction: no components
48.34/48.52 c orbital reduction: no components
48.34/48.52 c lexicographic reduction: 3 permutations with support sizes 1542, 640, 308
48.34/48.52 c handled 4 out of 4 symmetry components
48.34/48.52 c (round 51, exhaustive) 2102 del vars, 1596 del conss, 1 add conss, 302 chg bounds, 0 chg sides, 1116 chg coeffs, 19123 upgd conss, 0 impls, 120209 clqs
51.72/51.95 c (51.9s) probing: 11000/18738 (58.7%) - 503 fixings, 1 aggregations, 11795781 implications, 0 bound changes
52.52/52.71 c (52.7s) probing: 11188/18738 (59.7%) - 503 fixings, 1 aggregations, 11974632 implications, 0 bound changes
52.52/52.71 c (52.7s) probing aborted: 1000/1000 successive useless probings
52.52/52.73 c presolving (52 rounds: 52 fast, 25 medium, 24 exhaustive):
52.52/52.73 c 2105 deleted vars, 1599 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1122 changed coefficients
52.52/52.73 c 0 implications, 120272 cliques
52.52/52.73 c presolved problem has 18210 variables (18210 bin, 0 int, 0 impl, 0 cont) and 18487 constraints
52.52/52.73 c 2253 constraints of type <setppc>
52.52/52.73 c 1 constraints of type <orbitope>
52.52/52.73 c 16233 constraints of type <logicor>
52.52/52.73 c transformed objective value is always integral (scale: 1)
52.52/52.73 c Presolving Time: 52.59
52.52/52.73 c - non default parameters ----------------------------------------------------------------------
52.52/52.73 c # SCIP version 10.0.0
52.52/52.73 c
52.52/52.73 c # maximal time in seconds to run
52.52/52.73 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
52.52/52.73 c limits/time = 3596.997042
52.52/52.73 c
52.52/52.73 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
52.52/52.73 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
52.52/52.73 c limits/memory = 27900
52.52/52.73 c
52.52/52.73 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
52.52/52.73 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
52.52/52.73 c limits/solutions = 1
52.52/52.73 c
52.52/52.73 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.
52.52/52.73 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
52.52/52.73 c misc/usesymmetry = 3
52.52/52.73 c
52.52/52.73 c # belongs reading time to solving time?
52.52/52.73 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
52.52/52.73 c timing/reading = TRUE
52.52/52.73 c
52.52/52.73 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
52.52/52.73 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
52.52/52.73 c propagating/symmetry/detectdoublelex = FALSE
52.52/52.73 c
52.52/52.73 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
52.52/52.73 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
52.52/52.73 c propagating/symmetry/detectsubgroups = FALSE
52.52/52.73 c
52.52/52.73 c # Type of symmetries that shall be computed?
52.52/52.73 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
52.52/52.73 c propagating/symmetry/symtype = 1
52.52/52.73 c
52.52/52.73 c # Should components consisting of a single full reflection be handled?
52.52/52.73 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
52.52/52.73 c propagating/symmetry/usesimplesgncomp = FALSE
52.52/52.73 c
52.52/52.73 c -----------------------------------------------------------------------------------------------
52.52/52.73 c start solving
52.52/52.74 c
73.56/73.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
73.56/73.84 c 73.8s| 1 | 0 | 17715 | - | 237M | 0 | 18k| 18k| 18k| 0 | 0 | 165 | 0 | 0.000000e+00 | -- | Inf | unknown
328.35/329.33 c 329s| 1 | 0 |116394 | - | 266M | 0 | 18k| 18k| 18k| 19 | 1 | 175 | 0 | 0.000000e+00 | -- | Inf | unknown
356.37/357.42 c 357s| 1 | 0 |128443 | - | 273M | 0 | 18k| 18k| 18k| 35 | 2 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
395.76/396.91 c 397s| 1 | 0 |144380 | - | 279M | 0 | 18k| 18k| 18k| 54 | 3 | 179 | 0 | 0.000000e+00 | -- | Inf | unknown
424.78/426.07 c 426s| 1 | 0 |156389 | - | 282M | 0 | 18k| 18k| 18k| 61 | 4 | 180 | 0 | 0.000000e+00 | -- | Inf | unknown
461.77/463.19 c 463s| 1 | 0 |170197 | - | 289M | 0 | 18k| 18k| 18k| 78 | 5 | 190 | 0 | 0.000000e+00 | -- | Inf | unknown
504.66/506.10 c 506s| 1 | 0 |185832 | - | 291M | 0 | 18k| 18k| 18k| 95 | 6 | 191 | 0 | 0.000000e+00 | -- | Inf | unknown
558.00/559.60 c 560s| 1 | 0 |204777 | - | 293M | 0 | 18k| 18k| 18k| 112 | 7 | 195 | 0 | 0.000000e+00 | -- | Inf | unknown
600.97/602.75 c 603s| 1 | 0 |220417 | - | 296M | 0 | 18k| 18k| 18k| 133 | 8 | 196 | 0 | 0.000000e+00 | -- | Inf | unknown
646.83/648.74 c 649s| 1 | 0 |236194 | - | 298M | 0 | 18k| 18k| 18k| 155 | 9 | 198 | 0 | 0.000000e+00 | -- | Inf | unknown
694.89/696.93 c 697s| 1 | 0 |252066 | - | 302M | 0 | 18k| 18k| 18k| 173 | 10 | 199 | 0 | 0.000000e+00 | -- | Inf | unknown
749.72/751.93 c 752s| 1 | 0 |270364 | - | 308M | 0 | 18k| 18k| 18k| 197 | 11 | 204 | 0 | 0.000000e+00 | -- | Inf | unknown
1156.81/1160.14 c 1160s| 1 | 2 |422649 | - | 328M | 0 | 18k| 18k| 18k| 197 | 11 | 234 | 19 | 0.000000e+00 | -- | Inf | unknown
3587.72/3597.01 c
3587.72/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.72/3597.01 c Solving Time (sec) : 3597.00
3587.72/3597.01 c Solving Nodes : 14
3587.72/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.72/3597.01 c Dual Bound : +0.00000000000000e+00
3587.72/3597.01 c Gap : infinite
3587.72/3597.01 s UNKNOWN
3587.72/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.72/3597.01 c Total Time : 3597.00
3587.72/3597.01 c solving : 3597.00
3587.72/3597.01 c presolving : 52.59 (included in solving)
3587.72/3597.01 c reading : 0.07 (included in solving)
3587.72/3597.01 c copying : 0.09 (2 #copies) (minimal 0.04, maximal 0.05, average 0.05)
3587.72/3597.01 c Original Problem :
3587.72/3597.01 c Problem name : HOME/instance-4506914-1751177838.opb
3587.72/3597.01 c Variables : 19754 (19754 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.72/3597.01 c Constraints : 20088 initial, 20088 maximal
3587.72/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.72/3597.01 c Presolved Problem :
3587.72/3597.01 c Problem name : t_HOME/instance-4506914-1751177838.opb
3587.72/3597.01 c Variables : 18210 (18210 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.72/3597.01 c Constraints : 18487 initial, 18690 maximal
3587.72/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.72/3597.01 c Nonzeros : 101204 constraint, 258427 clique table
3587.72/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.72/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c domcol : 1.03 0.00 21 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c dualsparsify : 0.04 0.00 1 0 0 0 0 0 13 0 0 17
3587.72/3597.01 c gateextraction : 0.23 0.00 22 0 0 0 0 0 1 0 0 0
3587.72/3597.01 c implics : 0.00 0.00 25 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c milp : 0.24 0.00 1 166 0 0 0 0 0 0 0 0
3587.72/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c sparsify : 0.49 0.00 4 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c trivial : 0.03 0.00 52 561 0 0 0 0 0 0 0 0
3587.72/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c dualfix : 0.02 0.00 52 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c probing : 46.32 0.00 21 503 1 0 0 0 0 0 0 0
3587.72/3597.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c symmetry : 0.10 0.00 1 3 0 0 0 0 0 1 0 0
3587.72/3597.01 c vbounds : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c setppc : 0.18 0.00 86 0 0 0 0 0 113 0 0 0
3587.72/3597.01 c linear : 0.16 0.01 12 302 0 0 302 0 965 0 0 0
3587.72/3597.01 c orbitope : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c logicor : 3.66 0.01 86 116 0 0 0 0 507 0 0 1105
3587.72/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c root node : - - - 0 - - 0 - - - - -
3587.72/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.72/3597.01 c benderslp : 0 0 0 0 11 0 0 7 0 0 0 0 0 0 0
3587.72/3597.01 c integral : 0 0 0 0 11 0 0 7 0 0 0 0 0 0 22
3587.72/3597.01 c setppc : 2253+ 2354 11 634063 0 0 0 3 25749 339 17018 0 0 0 0
3587.72/3597.01 c orbitope : 1 1 0 66404 0 0 0 0 2 0 3 0 0 0 0
3587.72/3597.01 c logicor : 16233+ 16335 11 178476 0 0 0 0 64279 114 2504 17 9 0 0
3587.72/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.72/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.72/3597.01 c integral : 52.36 0.00 0.00 0.00 52.36 0.00 0.00 0.00 0.00 0.00
3587.72/3597.01 c setppc : 4.15 0.00 0.01 4.05 0.00 0.00 0.00 0.00 0.01 0.09
3587.72/3597.01 c orbitope : 0.09 0.00 0.00 0.09 0.00 0.00 0.00 0.00 0.00 0.00
3587.72/3597.01 c logicor : 13.59 0.01 0.04 13.48 0.00 0.00 0.00 0.00 0.02 0.03
3587.72/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.72/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.72/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.72/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.72/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.72/3597.01 c dualfix : 1 0 0 0
3587.72/3597.01 c genvbounds : 0 0 0 0
3587.72/3597.01 c nlobbt : 0 0 0 0
3587.72/3597.01 c obbt : 0 0 0 0
3587.72/3597.01 c probing : 0 0 0 0
3587.72/3597.01 c pseudoobj : 0 0 0 0
3587.72/3597.01 c redcost : 0 0 0 0
3587.72/3597.01 c rootredcost : 0 0 0 0
3587.72/3597.01 c symmetry : 4926 0 0 0
3587.72/3597.01 c vbounds : 5210 0 0 0
3587.72/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.72/3597.01 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
3587.72/3597.01 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3587.72/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.72/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.72/3597.01 c probing : 46.32 0.00 46.32 0.00 0.00 0.00
3587.72/3597.01 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3587.72/3597.01 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3587.72/3597.01 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3587.72/3597.01 c symmetry : 0.13 0.00 0.10 0.02 0.00 0.00
3587.72/3597.01 c vbounds : 0.07 0.00 0.03 0.03 0.00 0.00
3587.72/3597.01 c Symmetry :
3587.72/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.72/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.72/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.72/3597.01 c shadow tree time : 0.00 s
3587.72/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.72/3597.01 c propagation : 0.02 451 118 - 466 79.0 0 0.0 - - -
3587.72/3597.01 c infeasible LP : 0.26 13 8 - 240 3016.7 0 0.0 0 0.0 0
3587.72/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.72/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.72/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.72/3597.01 c applied globally : 0.01 - - 0 246 259.9 - - 0 - -
3587.72/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.72/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.72/3597.01 c cut pool : 0.00 - 21 21 - - 264 365 - - - - - (maximal pool size: 264)
3587.72/3597.01 c aggregation : 0.06 0.00 11 11 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.72/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.72/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.72/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c clique : 1.99 0.00 11 11 0 0 80 164 0 28 28 0 0
3587.72/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c gomory : 18.17 0.00 10 10 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3587.72/3597.01 c > strongcg : - - - - - - - 0 0 0 0 0 -
3587.72/3597.01 c impliedbounds : 0.07 0.00 11 11 0 0 41 55 0 17 17 0 0
3587.72/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c multilinear : 0.00 0.00 13 11 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3587.72/3597.01 c zerohalf : 13.75 0.00 11 11 0 0 143 146 0 143 143 0 0
3587.72/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.72/3597.01 c hybrid : 0.00 0.00 11 11 197 0 185 197 0 185
3587.72/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.72/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.72/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.72/3597.01 c problem variables: 0.00 - 0 0
3587.72/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.72/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.72/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.72/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.72/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.72/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.72/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.72/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.72/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.72/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.72/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.72/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.72/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.72/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.72/3597.01 c relpscost : 52.36 0.00 11 0 0 0 0 0 0 22
3587.72/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.72/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.72/3597.01 c LP solutions : 0.00 - - 0 0
3587.72/3597.01 c relax solutions : 0.00 - - 0 0
3587.72/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.72/3597.01 c strong branching : 0.00 - - 0 0
3587.72/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.72/3597.01 c adaptivediving : 166.31 0.00 1 0 0
3587.72/3597.01 c alns : 0.11 0.00 1 0 0
3587.72/3597.01 c bound : 0.00 0.00 0 0 0
3587.72/3597.01 c clique : 0.06 0.00 1 0 0
3587.72/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.72/3597.01 c completesol : 0.00 0.00 0 0 0
3587.72/3597.01 c conflictdiving : 355.26 0.00 1 0 0
3587.72/3597.01 c crossover : 0.00 0.00 0 0 0
3587.72/3597.01 c dins : 0.00 0.00 0 0 0
3587.72/3597.01 c distributiondivin: 0.01 0.00 0 0 0
3587.72/3597.01 c dps : 0.00 0.00 0 0 0
3587.72/3597.01 c dualval : 0.00 0.00 0 0 0
3587.72/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.72/3597.01 c feasjump : 0.04 0.00 1 0 0
3587.72/3597.01 c feaspump : 229.28 0.00 1 0 0
3587.72/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.72/3597.01 c fracdiving : 0.00 0.00 0 0 0
3587.72/3597.01 c gins : 0.00 0.00 0 0 0
3587.72/3597.01 c guideddiving : 0.00 0.00 0 0 0
3587.72/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.72/3597.01 c indicator : 0.00 0.00 0 0 0
3587.72/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.72/3597.01 c indoneopt : 0.00 0.00 0 0 0
3587.72/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.72/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.72/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.72/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.72/3597.01 c linesearchdiving : 0.00 0.00 0 0 0
3587.72/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.72/3597.01 c locks : 0.07 0.00 1 0 0
3587.72/3597.01 c lpface : 0.00 0.00 0 0 0
3587.72/3597.01 c mpec : 0.00 0.00 0 0 0
3587.72/3597.01 c multistart : 0.00 0.00 0 0 0
3587.72/3597.01 c mutation : 0.00 0.00 0 0 0
3587.72/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.72/3597.01 c objpscostdiving : 0.00 0.00 0 0 0
3587.72/3597.01 c octane : 0.00 0.00 0 0 0
3587.72/3597.01 c ofins : 0.00 0.00 0 0 0
3587.72/3597.01 c oneopt : 0.00 0.00 0 0 0
3587.72/3597.01 c padm : 0.00 0.00 0 0 0
3587.72/3597.01 c proximity : 0.00 0.00 0 0 0
3587.72/3597.01 c pscostdiving : 314.60 0.00 1 0 0
3587.72/3597.01 c randrounding : 0.20 0.00 12 0 0
3587.72/3597.01 c rens : 0.48 0.00 1 0 0
3587.72/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.72/3597.01 c repair : 0.00 0.00 0 0 0
3587.72/3597.01 c rins : 0.00 0.00 0 0 0
3587.72/3597.01 c rootsoldiving : 0.00 0.00 0 0 0
3587.72/3597.01 c rounding : 0.03 0.00 22 0 0
3587.72/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.72/3597.01 c shiftandpropagate: 0.02 0.00 1 0 0
3587.72/3597.01 c shifting : 0.16 0.00 12 0 0
3587.72/3597.01 c simplerounding : 0.00 0.00 0 0 0
3587.72/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.72/3597.01 c subnlp : 0.00 0.00 0 0 0
3587.72/3597.01 c trivial : 0.01 0.00 2 0 0
3587.72/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.72/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.72/3597.01 c trysol : 0.00 0.00 0 0 0
3587.72/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.72/3597.01 c undercover : 0.00 0.00 0 0 0
3587.72/3597.01 c vbounds : 0.09 0.00 1 0 0
3587.72/3597.01 c veclendiving : 0.00 0.00 0 0 0
3587.72/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.72/3597.01 c zirounding : 0.01 0.00 11 0 0
3587.72/3597.01 c other solutions : - - - 0 -
3587.72/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.72/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.72/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.72/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.72/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.72/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.72/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.72/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.72/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.72/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.72/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.72/3597.01 c primal LP : 0.05 1 0 0.00 0.00 0.05 1
3587.72/3597.01 c dual LP : 2390.90 25 1134917 45396.68 474.68 0.00 0
3587.72/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.72/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.72/3597.01 c resolve instable : 0.00 0 0 0.00 -
3587.72/3597.01 c diving/probing LP: 1078.79 47 440386 9369.91 408.22
3587.72/3597.01 c strong branching : 37.80 19 18717 985.11 495.10 - - 37
3587.72/3597.01 c (at root node) : - 19 18717 985.11 -
3587.72/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3587.72/3597.01 c B&B Tree :
3587.72/3597.01 c number of runs : 1
3587.72/3597.01 c nodes : 14 (11 internal, 3 leaves)
3587.72/3597.01 c feasible leaves : 0
3587.72/3597.01 c infeas. leaves : 2
3587.72/3597.01 c objective leaves : 0
3587.72/3597.01 c nodes (total) : 14 (11 internal, 3 leaves)
3587.72/3597.01 c nodes left : 10
3587.72/3597.01 c max depth : 8
3587.72/3597.01 c max depth (total): 8
3587.72/3597.01 c backtracks : 2 (14.3%)
3587.72/3597.01 c early backtracks : 0 (0.0%)
3587.72/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.72/3597.01 c delayed cutoffs : 0
3587.72/3597.01 c repropagations : 2 (15 domain reductions, 0 cutoffs)
3587.72/3597.01 c avg switch length: 1.64
3587.72/3597.01 c switching time : 0.07
3587.72/3597.01 c Root Node :
3587.72/3597.01 c First LP value : +0.00000000000000e+00
3587.72/3597.01 c First LP Iters : 17715 (850.91 Iter/sec)
3587.72/3597.01 c First LP Time : 20.82
3587.72/3597.01 c Final Dual Bound : +0.00000000000000e+00
3587.72/3597.01 c Final Root Iters : 270364
3587.72/3597.01 c Root LP Estimate : +1.67462355649375e-03
3587.72/3597.01 c Solution :
3587.72/3597.01 c Solutions found : 0 (0 improvements)
3587.72/3597.01 c Primal Bound : -
3587.72/3597.01 c Dual Bound : +0.00000000000000e+00
3587.72/3597.01 c Gap : infinite
3587.72/3597.01 c Integrals : Total Avg%
3587.72/3597.01 c primal-dual : 359699.94 100.00
3587.72/3597.01 c primal-ref : - - (not evaluated)
3587.72/3597.01 c dual-ref : - - (not evaluated)
3587.82/3597.11 c Time complete: 3587.84.
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: 63665 MiB (62599 MiB free)
memory of node 1: 64507 MiB (62955 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506914-1751177838/watcher-4506914-1751177838 -o /tmp/evaluation-result-4506914-1751177838/solver-4506914-1751177838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751169647-24239 --watchdog 3760 pbscip -f HOME/instance-4506914-1751177838.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=25142, runsolver pid=25139
[startup+0.100061 s]*
/proc/loadavg: 4.25 4.18 4.12 5/265 25143
/proc/meminfo: memFree=128513024/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=97960 memory=71736 CPUtime=0.09 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 14851 0 0 0 7 2 0 0 20 0 1 0 33461519 100311040 17934 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 24490 17934 3488 3530 0 15941 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 97960 KiB
Current children cumulated memory: 71736 KiB
[startup+0.205646 s]*
/proc/loadavg: 4.25 4.18 4.12 5/265 25143
/proc/meminfo: memFree=128488832/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=126416 memory=96824 CPUtime=0.2 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 21094 0 0 0 16 4 0 0 20 0 1 0 33461519 129449984 24206 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 31604 24206 3520 3530 0 23055 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 126416 KiB
Current children cumulated memory: 96824 KiB
[startup+0.305602 s]*
/proc/loadavg: 4.25 4.18 4.12 5/265 25143
/proc/meminfo: memFree=128464640/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=151240 memory=122040 CPUtime=0.29 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 28153 0 0 0 24 5 0 0 20 0 1 0 33461519 154869760 30510 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 37810 30510 3648 3530 0 29261 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 151240 KiB
Current children cumulated memory: 122040 KiB
[startup+0.700176 s]
/proc/loadavg: 4.25 4.18 4.12 5/265 25143
/proc/meminfo: memFree=128464640/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=164460 memory=134464 CPUtime=0.68 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 33954 0 0 0 62 6 0 0 20 0 1 0 33461519 168407040 33616 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 41115 33616 3648 3530 0 32566 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 164460 KiB
Current children cumulated memory: 134464 KiB
[startup+1.50017 s]
/proc/loadavg: 4.25 4.18 4.12 5/265 25143
/proc/meminfo: memFree=128453048/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=202472 memory=170884 CPUtime=1.47 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 41636 0 0 0 140 7 0 0 20 0 1 0 33461519 207331328 42721 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 50618 42721 3680 3530 0 42069 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 202472 KiB
Current children cumulated memory: 170884 KiB
[startup+3.10541 s]
/proc/loadavg: 4.23 4.17 4.12 5/265 25143
/proc/meminfo: memFree=128413888/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=206172 memory=174724 CPUtime=3.08 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 42589 0 0 0 300 8 0 0 20 0 1 0 33461519 211120128 43681 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 51543 43681 3680 3530 0 42994 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 206172 KiB
Current children cumulated memory: 174724 KiB
[startup+6.30016 s]
/proc/loadavg: 4.23 4.17 4.12 5/265 25143
/proc/meminfo: memFree=128405824/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=209432 memory=178008 CPUtime=6.26 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 42899 0 0 0 618 8 0 0 20 0 1 0 33461519 214458368 44502 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 52358 44502 3680 3530 0 43809 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 209432 KiB
Current children cumulated memory: 178008 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.17 4.12 5/265 25144
/proc/meminfo: memFree=128405872/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=214284 memory=182744 CPUtime=12.64 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 44151 0 0 0 1256 8 0 0 20 0 1 0 33461519 219426816 45686 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 53571 45686 3680 3530 0 45022 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 214284 KiB
Current children cumulated memory: 182744 KiB
[startup+25.5002 s]
/proc/loadavg: 4.32 4.20 4.13 5/263 25144
/proc/meminfo: memFree=128393584/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=215548 memory=184024 CPUtime=25.4 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 44488 0 0 0 2532 8 0 0 20 0 1 0 33461519 220721152 46006 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 53887 46006 3680 3530 0 45338 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 215548 KiB
Current children cumulated memory: 184024 KiB
[startup+51.1054 s]
/proc/loadavg: 4.46 4.24 4.15 5/263 25144
/proc/meminfo: memFree=128326032/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=265456 memory=210240 CPUtime=50.93 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 54041 0 0 0 5084 9 0 0 20 0 1 0 33461519 271826944 52560 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 66364 52560 3712 3530 0 57815 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 265456 KiB
Current children cumulated memory: 210240 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.22 4.14 5/264 25151
/proc/meminfo: memFree=128276352/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=316860 memory=260416 CPUtime=101.98 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 66515 0 0 0 10187 11 0 0 20 0 1 0 33461519 324464640 65104 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 79215 65104 3904 3530 0 70666 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 316860 KiB
Current children cumulated memory: 260416 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.21 4.14 5/263 25153
/proc/meminfo: memFree=128165968/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=322060 memory=264664 CPUtime=161.8 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 67091 0 0 0 16169 11 0 0 20 0 1 0 33461519 329789440 66166 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 80515 66166 3904 3530 0 71966 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 322060 KiB
Current children cumulated memory: 264664 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.18 4.14 5/264 25156
/proc/meminfo: memFree=128192836/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=326144 memory=268236 CPUtime=221.64 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 67450 0 0 0 22153 11 0 0 20 0 1 0 33461519 333971456 67059 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 81536 67059 3904 3530 0 72987 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 326144 KiB
Current children cumulated memory: 268236 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.16 4.13 5/264 25158
/proc/meminfo: memFree=128095480/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=326144 memory=268236 CPUtime=281.48 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 67474 0 0 0 28137 11 0 0 20 0 1 0 33461519 333971456 67059 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 81536 67059 3904 3530 0 72987 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 326144 KiB
Current children cumulated memory: 268236 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.16 4.13 5/264 25160
/proc/meminfo: memFree=128018992/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=409100 memory=348448 CPUtime=341.31 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 75785 0 0 0 34118 13 0 0 20 0 1 0 33461519 418918400 87112 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 102275 87112 3904 3530 0 93726 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 409100 KiB
Current children cumulated memory: 348448 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/264 25163
/proc/meminfo: memFree=128006560/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=417404 memory=356256 CPUtime=401.15 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 77762 0 0 0 40101 14 0 0 20 0 1 0 33461519 427421696 89064 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 104351 89064 3904 3530 0 95802 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 417404 KiB
Current children cumulated memory: 356256 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.15 4.12 5/266 25168
/proc/meminfo: memFree=127989764/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=427936 memory=364724 CPUtime=460.97 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 79368 0 0 0 46083 14 0 0 20 0 1 0 33461519 438206464 91181 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 106984 91181 3904 3530 0 98435 0
Current children cumulated CPU time: 460.97 s
################
# More data... #
################
/proc/loadavg: 1.15 1.49 2.63 2/246 25412
/proc/meminfo: memFree=129314112/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=538448 memory=493236 CPUtime=3213.83 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 105315 0 0 0 321363 20 0 0 20 0 1 0 33461519 551370752 123309 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 134612 123309 3936 3530 0 126063 0
Current children cumulated CPU time: 3213.83 s
Current children cumulated vsize: 538448 KiB
Current children cumulated memory: 493236 KiB
[startup+3282.3 s]
/proc/loadavg: 1.11 1.42 2.53 2/246 25414
/proc/meminfo: memFree=129313904/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=538448 memory=493236 CPUtime=3273.7 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 105315 0 0 0 327350 20 0 0 20 0 1 0 33461519 551370752 123309 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 134612 123309 3936 3530 0 126063 0
Current children cumulated CPU time: 3273.7 s
Current children cumulated vsize: 538448 KiB
Current children cumulated memory: 493236 KiB
[startup+3342.3 s]
/proc/loadavg: 1.08 1.35 2.44 2/246 25416
/proc/meminfo: memFree=129314096/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=538448 memory=493236 CPUtime=3333.57 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 105315 0 0 0 333337 20 0 0 20 0 1 0 33461519 551370752 123309 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 134612 123309 3936 3530 0 126063 0
Current children cumulated CPU time: 3333.57 s
Current children cumulated vsize: 538448 KiB
Current children cumulated memory: 493236 KiB
[startup+3402.3 s]
/proc/loadavg: 1.14 1.32 2.36 2/246 25418
/proc/meminfo: memFree=129314204/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=538448 memory=493236 CPUtime=3393.44 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 105315 0 0 0 339324 20 0 0 20 0 1 0 33461519 551370752 123309 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 134612 123309 3936 3530 0 126063 0
Current children cumulated CPU time: 3393.44 s
Current children cumulated vsize: 538448 KiB
Current children cumulated memory: 493236 KiB
[startup+3462.3 s]
/proc/loadavg: 1.10 1.27 2.27 2/246 25420
/proc/meminfo: memFree=129314124/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=538448 memory=493236 CPUtime=3453.31 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 105315 0 0 0 345311 20 0 0 20 0 1 0 33461519 551370752 123309 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 134612 123309 3936 3530 0 126063 0
Current children cumulated CPU time: 3453.31 s
Current children cumulated vsize: 538448 KiB
Current children cumulated memory: 493236 KiB
[startup+3522.3 s]
/proc/loadavg: 1.15 1.25 2.20 2/246 25422
/proc/meminfo: memFree=129314180/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=538448 memory=493236 CPUtime=3513.18 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 105315 0 0 0 351298 20 0 0 20 0 1 0 33461519 551370752 123309 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 134612 123309 3936 3530 0 126063 0
Current children cumulated CPU time: 3513.18 s
Current children cumulated vsize: 538448 KiB
Current children cumulated memory: 493236 KiB
[startup+3582.3 s]
/proc/loadavg: 1.12 1.22 2.13 2/246 25425
/proc/meminfo: memFree=129314036/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=538448 memory=493236 CPUtime=3573.05 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 105315 0 0 0 357285 20 0 0 20 0 1 0 33461519 551370752 123309 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 134612 123309 3936 3530 0 126063 0
Current children cumulated CPU time: 3573.05 s
Current children cumulated vsize: 538448 KiB
Current children cumulated memory: 493236 KiB
[startup+3597.12 s]
# the end of solver process 25142 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.64 s, system=0.209906 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.11 1.22 2.12 2/246 25425
/proc/meminfo: memFree=129314036/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=538448 memory=493236 CPUtime=3574.75 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 105315 0 0 0 357455 20 0 0 20 0 1 0 33461519 551370752 123309 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 134612 123309 3936 3530 0 126063 0
Current children cumulated CPU time: 3574.75 s
Current children cumulated vsize: 538448 KiB
Current children cumulated memory: 493236 KiB
[startup+3590.4 s]
/proc/loadavg: 1.10 1.21 2.12 2/246 25425
/proc/meminfo: memFree=129314036/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=538448 memory=493236 CPUtime=3581.13 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 105315 0 0 0 358093 20 0 0 20 0 1 0 33461519 551370752 123309 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 134612 123309 3936 3530 0 126063 0
Current children cumulated CPU time: 3581.13 s
Current children cumulated vsize: 538448 KiB
Current children cumulated memory: 493236 KiB
[startup+3593.6 s]
/proc/loadavg: 1.09 1.21 2.11 2/246 25425
/proc/meminfo: memFree=129314036/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=538448 memory=493236 CPUtime=3584.32 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 105315 0 0 0 358412 20 0 0 20 0 1 0 33461519 551370752 123309 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 134612 123309 3936 3530 0 126063 0
Current children cumulated CPU time: 3584.32 s
Current children cumulated vsize: 538448 KiB
Current children cumulated memory: 493236 KiB
[startup+3595.2 s]
/proc/loadavg: 1.09 1.21 2.11 2/246 25425
/proc/meminfo: memFree=129314036/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=538448 memory=493236 CPUtime=3585.92 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 105315 0 0 0 358572 20 0 0 20 0 1 0 33461519 551370752 123309 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 134612 123309 3936 3530 0 126063 0
Current children cumulated CPU time: 3585.92 s
Current children cumulated vsize: 538448 KiB
Current children cumulated memory: 493236 KiB
[startup+3596 s]*
/proc/loadavg: 1.09 1.21 2.11 2/246 25425
/proc/meminfo: memFree=129314036/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=538448 memory=493236 CPUtime=3586.72 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 105315 0 0 0 358652 20 0 0 20 0 1 0 33461519 551370752 123309 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 134612 123309 3936 3530 0 126063 0
Current children cumulated CPU time: 3586.72 s
Current children cumulated vsize: 538448 KiB
Current children cumulated memory: 493236 KiB
[startup+3596.8 s]
/proc/loadavg: 1.09 1.21 2.11 2/246 25425
/proc/meminfo: memFree=129314036/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=538448 memory=493236 CPUtime=3587.52 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 105315 0 0 0 358732 20 0 0 20 0 1 0 33461519 551370752 123309 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 134612 123309 3936 3530 0 126063 0
Current children cumulated CPU time: 3587.52 s
Current children cumulated vsize: 538448 KiB
Current children cumulated memory: 493236 KiB
[startup+3597 s]*
/proc/loadavg: 1.09 1.21 2.11 2/246 25425
/proc/meminfo: memFree=129314036/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=538448 memory=493236 CPUtime=3587.72 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 105315 0 0 0 358752 20 0 0 20 0 1 0 33461519 551370752 123309 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 134612 123309 3936 3530 0 126063 0
Current children cumulated CPU time: 3587.72 s
Current children cumulated vsize: 538448 KiB
Current children cumulated memory: 493236 KiB
[startup+3597.11 s]
/proc/loadavg: 1.09 1.21 2.11 2/246 25425
/proc/meminfo: memFree=129314036/131249996 swapFree=33010684/33010684
[pid=25142] ppid=25139 vsize=471220 memory=426116 CPUtime=3587.82 cores=0,2
/proc/25142/stat : 25142 (pbscip) R 25139 25142 24229 0 -1 4194304 105403 0 0 0 358762 20 0 0 20 0 1 0 33461519 482529280 106529 18446744073709551615 4235264 18693293 140735392949456 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40947712 140735392954761 140735392954860 140735392954860 140735392960462 0
/proc/25142/statm: 117805 106529 3936 3530 0 109256 0
Current children cumulated CPU time: 3587.82 s
Current children cumulated vsize: 471220 KiB
Current children cumulated memory: 426116 KiB
Child status: 0
Real time (s): 3597.12
CPU time (s): 3587.85
CPU user time (s): 3587.64
CPU system time (s): 0.209906
CPU usage (%): 99.7422
Max. virtual memory (cumulated for all children) (KiB): 538448
Max. memory (cumulated for all children) (KiB): 493236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.64
system time used= 0.209906
maximum resident set size= 493236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105424
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= 111
involuntary context switches= 4567
# summary of solver processes directly reported to runsolver:
# pid: 25142
# total CPU time (s): 3587.85
# total CPU user time (s): 3587.64
# total CPU system time (s): 0.209906
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.31814 second user time and 14.001 second system time
The end
Begin job on nodeC021 at 2025-06-29 08:17:18 IDJOB=4506914 IDBENCH=158308 IDSOLVER=3365 FILE ID=nodeC021/4506914-1751177838 RUNJOBID= nodeC021-1751169647-24239 SLURM_JOB_ID= 9587523 Free space on /tmp= 433004 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K166.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506914-1751177838/watcher-4506914-1751177838 -o /tmp/evaluation-result-4506914-1751177838/solver-4506914-1751177838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751169647-24239 --watchdog 3760 pbscip -f HOME/instance-4506914-1751177838.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 50117bf6e22b142cc615b717d0d3b45a RANDOM SEED=102107514 nodeC021 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 : 3599.755 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 : 6999.56 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 : 3599.811 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 : 6999.56 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 : 3599.764 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 : 6999.56 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 : 3599.314 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 : 6999.56 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 : 3599.757 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 : 6999.56 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 : 3599.781 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 : 6999.56 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 : 3592.251 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 : 6999.56 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 : 3592.105 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 : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 128568968 kB MemAvailable: 128575480 kB Buffers: 3280 kB Cached: 815764 kB SwapCached: 0 kB Active: 1509336 kB Inactive: 558536 kB Active(anon): 1266888 kB Inactive(anon): 0 kB Active(file): 242448 kB Inactive(file): 558536 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 20012 kB Writeback: 4 kB AnonPages: 1251408 kB Mapped: 137712 kB Shmem: 18060 kB KReclaimable: 89136 kB Slab: 174968 kB SReclaimable: 89136 kB SUnreclaim: 85832 kB KernelStack: 4272 kB PageTables: 5696 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 1739644 kB VmallocTotal: 34359738367 kB VmallocUsed: 150536 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 206848 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: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433044 MiB End job on nodeC021 at 2025-06-29 09:17:16