| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3587.06 | 3597.17 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K196.opb |
| MD5SUM | 8df9702f370312ff59707c84e3b82f3b |
| 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 | 28.0327 |
| 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 | 23324 |
| Total number of constraints | 23718 |
| Number of constraints which are clauses | 23522 |
| Number of constraints which are cardinality constraints (but not clauses) | 196 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 196 |
| 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 | 197 |
| 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-4507130-1751184166.opb>
0.00/0.09 c original problem has 23324 variables (23324 bin, 0 int, 0 impl, 0 cont) and 23718 constraints
0.00/0.09 c problem read in 0.08
0.00/0.09 c No objective function, only one solution is needed.
0.09/0.18 c presolving:
0.19/0.22 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, 2703 clqs
0.19/0.23 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, 2687 clqs
0.19/0.24 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, 2708 clqs
0.19/0.24 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, 2739 clqs
0.19/0.25 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, 2762 clqs
0.19/0.25 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, 2772 clqs
0.29/0.32 c (0.3s) running MILP presolver
0.49/0.56 c (0.5s) MILP presolver (4 rounds): 0 aggregations, 197 fixings, 0 bound changes
0.49/0.57 c (round 7, medium) 1379 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2781 clqs
0.49/0.58 c (round 8, fast) 1379 del vars, 832 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2784 clqs
0.58/0.61 c (round 9, exhaustive) 1379 del vars, 1026 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2784 clqs
0.68/0.73 c (round 10, exhaustive) 1379 del vars, 1026 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 22692 upgd conss, 0 impls, 2784 clqs
0.87/0.95 c (round 11, exhaustive) 1487 del vars, 1026 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 22692 upgd conss, 0 impls, 2772 clqs
0.87/0.96 c (round 12, fast) 1595 del vars, 1134 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 22692 upgd conss, 0 impls, 2772 clqs
3.17/3.28 c (round 13, exhaustive) 1621 del vars, 1135 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 22692 upgd conss, 0 impls, 141646 clqs
3.17/3.28 c (round 14, fast) 1622 del vars, 1161 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 162 chg coeffs, 22692 upgd conss, 0 impls, 141658 clqs
5.46/5.58 c (round 15, exhaustive) 1647 del vars, 1161 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 162 chg coeffs, 22692 upgd conss, 0 impls, 141639 clqs
5.46/5.59 c (round 16, fast) 1647 del vars, 1186 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 215 chg coeffs, 22692 upgd conss, 0 impls, 141650 clqs
6.66/6.74 c (round 17, exhaustive) 1673 del vars, 1186 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 215 chg coeffs, 22692 upgd conss, 0 impls, 141651 clqs
6.66/6.75 c (round 18, fast) 1674 del vars, 1212 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 283 chg coeffs, 22692 upgd conss, 0 impls, 141668 clqs
7.55/7.67 c (7.7s) probing: 1000/22277 (4.5%) - 96 fixings, 0 aggregations, 1116594 implications, 0 bound changes
7.65/7.79 c (round 19, exhaustive) 1700 del vars, 1212 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 283 chg coeffs, 22692 upgd conss, 0 impls, 141662 clqs
7.65/7.79 c (round 20, fast) 1701 del vars, 1238 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 342 chg coeffs, 22692 upgd conss, 0 impls, 141674 clqs
8.35/8.45 c (round 21, exhaustive) 1730 del vars, 1238 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 342 chg coeffs, 22692 upgd conss, 0 impls, 141667 clqs
8.35/8.46 c (round 22, fast) 1730 del vars, 1267 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 418 chg coeffs, 22692 upgd conss, 0 impls, 141683 clqs
9.35/9.40 c (round 23, exhaustive) 1756 del vars, 1267 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 418 chg coeffs, 22692 upgd conss, 0 impls, 141677 clqs
9.35/9.41 c (round 24, fast) 1757 del vars, 1293 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 478 chg coeffs, 22692 upgd conss, 0 impls, 141689 clqs
9.65/9.75 c (round 25, exhaustive) 1782 del vars, 1293 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 478 chg coeffs, 22692 upgd conss, 0 impls, 141704 clqs
9.65/9.76 c (round 26, fast) 1782 del vars, 1318 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 536 chg coeffs, 22692 upgd conss, 0 impls, 141715 clqs
11.55/11.62 c (round 27, exhaustive) 1809 del vars, 1318 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 536 chg coeffs, 22692 upgd conss, 0 impls, 140392 clqs
11.55/11.63 c (round 28, fast) 1809 del vars, 1345 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 616 chg coeffs, 22692 upgd conss, 0 impls, 140414 clqs
12.05/12.16 c (round 29, exhaustive) 1836 del vars, 1345 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 616 chg coeffs, 22692 upgd conss, 0 impls, 141707 clqs
12.05/12.17 c (round 30, fast) 1838 del vars, 1372 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 675 chg coeffs, 22692 upgd conss, 0 impls, 141716 clqs
13.74/13.83 c (round 31, exhaustive) 1864 del vars, 1372 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 675 chg coeffs, 22692 upgd conss, 0 impls, 140021 clqs
13.74/13.84 c (round 32, fast) 1864 del vars, 1398 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 755 chg coeffs, 22692 upgd conss, 0 impls, 140037 clqs
17.63/17.71 c (round 33, exhaustive) 1890 del vars, 1398 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 756 chg coeffs, 22692 upgd conss, 0 impls, 141448 clqs
17.63/17.72 c (round 34, fast) 1891 del vars, 1424 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 820 chg coeffs, 22692 upgd conss, 0 impls, 141460 clqs
18.42/18.53 c (18.5s) probing: 2000/22277 (9.0%) - 293 fixings, 1 aggregations, 3335044 implications, 0 bound changes
20.12/20.25 c (round 35, exhaustive) 1916 del vars, 1424 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 821 chg coeffs, 22692 upgd conss, 0 impls, 141698 clqs
20.12/20.26 c (round 36, fast) 1916 del vars, 1449 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 868 chg coeffs, 22692 upgd conss, 0 impls, 141704 clqs
20.42/20.58 c (round 37, exhaustive) 1941 del vars, 1449 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 868 chg coeffs, 22692 upgd conss, 0 impls, 141677 clqs
20.42/20.59 c (round 38, fast) 1941 del vars, 1474 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 900 chg coeffs, 22692 upgd conss, 0 impls, 141680 clqs
20.82/20.91 c (round 39, exhaustive) 1966 del vars, 1474 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 901 chg coeffs, 22692 upgd conss, 0 impls, 141442 clqs
20.82/20.92 c (round 40, fast) 1966 del vars, 1499 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 925 chg coeffs, 22692 upgd conss, 0 impls, 141443 clqs
21.12/21.23 c (round 41, exhaustive) 1991 del vars, 1499 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 925 chg coeffs, 22692 upgd conss, 0 impls, 141163 clqs
21.12/21.24 c (round 42, fast) 1991 del vars, 1524 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 948 chg coeffs, 22692 upgd conss, 0 impls, 141163 clqs
25.20/25.34 c (25.3s) probing: 3000/22277 (13.5%) - 401 fixings, 1 aggregations, 4584511 implications, 0 bound changes
30.69/30.84 c (30.8s) probing: 4000/22277 (18.0%) - 405 fixings, 1 aggregations, 5846604 implications, 0 bound changes
31.09/31.27 c (round 43, exhaustive) 2016 del vars, 1524 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 948 chg coeffs, 22692 upgd conss, 0 impls, 141699 clqs
31.09/31.27 c (round 44, fast) 2016 del vars, 1549 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 974 chg coeffs, 22692 upgd conss, 0 impls, 141699 clqs
31.39/31.59 c (round 45, exhaustive) 2042 del vars, 1549 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 974 chg coeffs, 22692 upgd conss, 0 impls, 141500 clqs
31.49/31.60 c (round 46, fast) 2043 del vars, 1575 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1004 chg coeffs, 22692 upgd conss, 0 impls, 141500 clqs
36.37/36.58 c (36.6s) probing: 5000/22277 (22.4%) - 452 fixings, 1 aggregations, 6988786 implications, 0 bound changes
40.66/40.82 c (round 47, exhaustive) 2068 del vars, 1575 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1004 chg coeffs, 22692 upgd conss, 0 impls, 141736 clqs
40.66/40.83 c (round 48, fast) 2068 del vars, 1600 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1038 chg coeffs, 22692 upgd conss, 0 impls, 141738 clqs
40.96/41.15 c (round 49, exhaustive) 2093 del vars, 1600 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1038 chg coeffs, 22692 upgd conss, 0 impls, 141709 clqs
40.96/41.16 c (round 50, fast) 2093 del vars, 1625 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1063 chg coeffs, 22692 upgd conss, 0 impls, 141709 clqs
41.46/41.60 c (41.6s) probing: 6000/22277 (26.9%) - 491 fixings, 1 aggregations, 7898608 implications, 0 bound changes
46.04/46.21 c (46.2s) probing: 7000/22277 (31.4%) - 492 fixings, 1 aggregations, 8859222 implications, 0 bound changes
50.53/50.79 c (50.8s) probing: 8000/22277 (35.9%) - 498 fixings, 1 aggregations, 9814730 implications, 0 bound changes
55.11/55.36 c (55.4s) probing: 9000/22277 (40.4%) - 500 fixings, 1 aggregations, 10780258 implications, 0 bound changes
59.81/60.02 c (60.0s) probing: 10000/22277 (44.9%) - 504 fixings, 1 aggregations, 11747965 implications, 0 bound changes
62.59/62.89 c (round 51, exhaustive) 2118 del vars, 1625 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1063 chg coeffs, 22692 upgd conss, 0 impls, 141715 clqs
62.59/62.89 c (round 52, fast) 2118 del vars, 1650 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1099 chg coeffs, 22692 upgd conss, 0 impls, 141716 clqs
64.39/64.68 c (64.7s) probing: 11000/22277 (49.4%) - 516 fixings, 1 aggregations, 12688280 implications, 0 bound changes
66.98/67.29 c (67.3s) probing: 11644/22277 (52.3%) - 516 fixings, 1 aggregations, 13307058 implications, 0 bound changes
66.98/67.29 c (67.3s) probing aborted: 1000/1000 successive useless probings
67.08/67.34 c (67.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
67.18/67.45 c (67.4s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.05)
67.18/67.46 c dynamic symmetry handling statistics:
67.18/67.46 c orbitopal reduction: no components
67.18/67.46 c orbital reduction: no components
67.18/67.46 c lexicographic reduction: 3 permutations with support sizes 1842, 760, 368
67.18/67.46 c handled 4 out of 4 symmetry components
67.18/67.48 c presolving (53 rounds: 53 fast, 25 medium, 24 exhaustive):
67.18/67.48 c 2131 deleted vars, 1660 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1112 changed coefficients
67.18/67.48 c 0 implications, 141850 cliques
67.18/67.48 c presolved problem has 21749 variables (21749 bin, 0 int, 0 impl, 0 cont) and 22059 constraints
67.18/67.48 c 2676 constraints of type <setppc>
67.18/67.48 c 1 constraints of type <orbitope>
67.18/67.48 c 19382 constraints of type <logicor>
67.18/67.48 c transformed objective value is always integral (scale: 1)
67.18/67.48 c Presolving Time: 67.32
67.18/67.48 c - non default parameters ----------------------------------------------------------------------
67.18/67.48 c # SCIP version 10.0.0
67.18/67.48 c
67.18/67.48 c # maximal time in seconds to run
67.18/67.48 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
67.18/67.48 c limits/time = 3596.998017
67.18/67.48 c
67.18/67.48 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
67.18/67.48 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
67.18/67.48 c limits/memory = 27900
67.18/67.48 c
67.18/67.48 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
67.18/67.48 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
67.18/67.48 c limits/solutions = 1
67.18/67.49 c
67.18/67.49 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.
67.18/67.49 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
67.18/67.49 c misc/usesymmetry = 3
67.18/67.49 c
67.18/67.49 c # belongs reading time to solving time?
67.18/67.49 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
67.18/67.49 c timing/reading = TRUE
67.18/67.49 c
67.18/67.49 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
67.18/67.49 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
67.18/67.49 c propagating/symmetry/detectdoublelex = FALSE
67.18/67.49 c
67.18/67.49 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
67.18/67.49 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
67.18/67.49 c propagating/symmetry/detectsubgroups = FALSE
67.18/67.49 c
67.18/67.49 c # Type of symmetries that shall be computed?
67.18/67.49 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
67.18/67.49 c propagating/symmetry/symtype = 1
67.18/67.49 c
67.18/67.49 c # Should components consisting of a single full reflection be handled?
67.18/67.49 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
67.18/67.49 c propagating/symmetry/usesimplesgncomp = FALSE
67.18/67.49 c
67.18/67.49 c -----------------------------------------------------------------------------------------------
67.18/67.49 c start solving
67.18/67.49 c
94.50/94.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
94.50/94.88 c 94.9s| 1 | 0 | 18596 | - | 283M | 0 | 21k| 22k| 22k| 0 | 0 | 160 | 0 | 0.000000e+00 | -- | Inf | unknown
321.35/322.36 c 322s| 1 | 0 |117414 | - | 312M | 0 | 21k| 22k| 22k| 12 | 1 | 161 | 0 | 0.000000e+00 | -- | Inf | unknown
355.86/356.91 c 357s| 1 | 0 |129202 | - | 320M | 0 | 21k| 22k| 22k| 28 | 2 | 162 | 0 | 0.000000e+00 | -- | Inf | unknown
390.87/392.05 c 392s| 1 | 0 |140727 | - | 327M | 0 | 21k| 22k| 22k| 32 | 3 | 171 | 0 | 0.000000e+00 | -- | Inf | unknown
429.66/430.93 c 431s| 1 | 0 |153404 | - | 330M | 0 | 21k| 22k| 22k| 42 | 4 | 181 | 0 | 0.000000e+00 | -- | Inf | unknown
469.26/470.68 c 471s| 1 | 0 |165985 | - | 334M | 0 | 21k| 22k| 22k| 60 | 5 | 190 | 0 | 0.000000e+00 | -- | Inf | unknown
514.15/515.61 c 516s| 1 | 0 |180035 | - | 338M | 0 | 21k| 22k| 22k| 88 | 6 | 192 | 0 | 0.000000e+00 | -- | Inf | unknown
559.82/561.41 c 561s| 1 | 0 |193853 | - | 341M | 0 | 21k| 22k| 22k| 109 | 7 | 193 | 0 | 0.000000e+00 | -- | Inf | unknown
601.22/602.94 c 603s| 1 | 0 |205996 | - | 349M | 0 | 21k| 22k| 22k| 119 | 8 | 194 | 0 | 0.000000e+00 | -- | Inf | unknown
644.51/646.37 c 646s| 1 | 0 |218601 | - | 353M | 0 | 21k| 22k| 22k| 129 | 9 | 196 | 0 | 0.000000e+00 | -- | Inf | unknown
692.99/694.92 c 695s| 1 | 0 |232799 | - | 356M | 0 | 21k| 22k| 22k| 152 | 10 | 197 | 0 | 0.000000e+00 | -- | Inf | unknown
733.78/735.85 c 736s| 1 | 0 |245332 | - | 360M | 0 | 21k| 22k| 22k| 161 | 11 | 204 | 0 | 0.000000e+00 | -- | Inf | unknown
1312.84/1316.68 c 1317s| 1 | 2 |443425 | - | 369M | 0 | 21k| 22k| 22k| 161 | 11 | 210 | 23 | 0.000000e+00 | -- | Inf | unknown
2431.14/2438.07 c 2438s| 100 | 29 | 1045k|8079.0 | 384M | 40 | 21k| 22k| 22k| 230 | 0 | 240 | 23 | 0.000000e+00 | -- | Inf | unknown
3535.61/3545.69 c 3546s| 200 | 39 | 1683k|7228.5 | 402M | 55 | 21k| 22k| 0 | 268 | 0 | 292 | 23 | 0.000000e+00 | -- | Inf | unknown
3586.89/3597.01 c
3586.89/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3586.89/3597.01 c Solving Time (sec) : 3597.00
3586.89/3597.01 c Solving Nodes : 235
3586.89/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.89/3597.01 c Dual Bound : +0.00000000000000e+00
3586.89/3597.01 c Gap : infinite
3586.89/3597.01 s UNKNOWN
3586.89/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3586.89/3597.01 c Total Time : 3597.00
3586.89/3597.01 c solving : 3597.00
3586.89/3597.01 c presolving : 67.32 (included in solving)
3586.89/3597.01 c reading : 0.08 (included in solving)
3586.89/3597.01 c copying : 0.21 (4 #copies) (minimal 0.05, maximal 0.06, average 0.05)
3586.89/3597.01 c Original Problem :
3586.89/3597.01 c Problem name : HOME/instance-4507130-1751184166.opb
3586.89/3597.01 c Variables : 23324 (23324 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.89/3597.01 c Constraints : 23718 initial, 23718 maximal
3586.89/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.89/3597.01 c Presolved Problem :
3586.89/3597.01 c Problem name : t_HOME/instance-4507130-1751184166.opb
3586.89/3597.01 c Variables : 21749 (21749 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.89/3597.01 c Constraints : 22059 initial, 22314 maximal
3586.89/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.89/3597.01 c Nonzeros : 120912 constraint, 305062 clique table
3586.89/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.89/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c domcol : 1.31 0.00 21 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c dualsparsify : 0.05 0.00 1 0 0 0 0 0 10 0 0 13
3586.89/3597.01 c gateextraction : 0.29 0.00 22 0 0 0 0 0 1 0 0 0
3586.89/3597.01 c implics : 0.00 0.00 25 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c milp : 0.30 0.00 1 197 0 0 0 0 0 0 0 0
3586.89/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c sparsify : 0.74 0.00 4 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c trivial : 0.03 0.00 53 556 0 0 0 0 0 0 0 0
3586.89/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c dualfix : 0.03 0.00 53 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c probing : 59.07 0.00 21 516 1 0 0 0 0 0 0 0
3586.89/3597.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c symmetry : 0.12 0.00 1 3 0 0 0 0 0 1 0 0
3586.89/3597.01 c vbounds : 0.04 0.00 2 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c setppc : 0.24 0.00 87 0 0 0 0 0 108 0 0 0
3586.89/3597.01 c linear : 0.19 0.02 12 302 0 0 302 0 1026 0 0 0
3586.89/3597.01 c orbitope : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c logicor : 4.84 0.01 87 108 0 0 0 0 515 0 0 1099
3586.89/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c root node : - - - 0 - - 0 - - - - -
3586.89/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.89/3597.01 c benderslp : 0 0 0 0 136 0 0 20 0 0 0 0 0 0 0
3586.89/3597.01 c integral : 0 0 0 0 136 0 0 20 0 0 0 0 0 0 272
3586.89/3597.01 c setppc : 2676+ 2806 11 812138 0 0 0 16 21941 339 29187 0 0 0 0
3586.89/3597.01 c linear : 0+ 1 0 958 0 0 0 3 0 1 0 0 0 0 0
3586.89/3597.01 c orbitope : 1 1 0 22288 0 0 0 0 2 0 18 0 0 0 0
3586.89/3597.01 c logicor : 19382+ 19506 11 197931 0 0 0 0 65004 169 43816 41 11 0 0
3586.89/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.89/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.89/3597.01 c integral : 64.22 0.00 0.00 0.00 64.22 0.00 0.00 0.00 0.00 0.00
3586.89/3597.01 c setppc : 5.68 0.00 0.01 5.59 0.00 0.00 0.00 0.00 0.01 0.08
3586.89/3597.01 c linear : 0.02 0.02 0.00 0.00 0.00 0.00 0.00 0.01 0.00 0.00
3586.89/3597.01 c orbitope : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
3586.89/3597.01 c logicor : 15.56 0.01 0.04 15.45 0.00 0.00 0.00 0.00 0.02 0.03
3586.89/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.89/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.89/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.89/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.89/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.89/3597.01 c dualfix : 1 0 0 0
3586.89/3597.01 c genvbounds : 0 0 0 0
3586.89/3597.01 c nlobbt : 0 0 0 0
3586.89/3597.01 c obbt : 0 0 0 0
3586.89/3597.01 c probing : 0 0 0 0
3586.89/3597.01 c pseudoobj : 0 0 0 0
3586.89/3597.01 c redcost : 0 0 0 0
3586.89/3597.01 c rootredcost : 0 0 0 0
3586.89/3597.01 c symmetry : 1767 0 0 5
3586.89/3597.01 c vbounds : 9174 0 0 0
3586.89/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.89/3597.01 c dualfix : 0.03 0.00 0.03 0.00 0.00 0.00
3586.89/3597.01 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00
3586.89/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.89/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.89/3597.01 c probing : 59.07 0.00 59.07 0.00 0.00 0.00
3586.89/3597.01 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3586.89/3597.01 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3586.89/3597.01 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3586.89/3597.01 c symmetry : 0.16 0.00 0.12 0.04 0.00 0.00
3586.89/3597.01 c vbounds : 0.35 0.00 0.04 0.31 0.00 0.00
3586.89/3597.01 c Symmetry :
3586.89/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.89/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.89/3597.01 c lexicographic red: 5 reductions applied, 0 cutoffs
3586.89/3597.01 c shadow tree time : 0.00 s
3586.89/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.89/3597.01 c propagation : 0.04 506 169 - 591 86.2 9 11.1 - - -
3586.89/3597.01 c infeasible LP : 0.60 61 4 - 152 2179.1 9 9.7 1 935.0 0
3586.89/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.89/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.89/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.89/3597.01 c applied globally : 0.01 - - 0 314 44.3 - - 1 - -
3586.89/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.89/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.89/3597.01 c cut pool : 0.00 - 56 21 - - 478 1007 - - - - - (maximal pool size: 478)
3586.89/3597.01 c aggregation : 0.11 0.00 22 11 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.89/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.89/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.89/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c clique : 2.68 0.00 11 11 0 0 80 117 0 51 51 0 0
3586.89/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c gomory : 34.33 0.00 21 10 0 0 277 700 26 40 37 3 0
3586.89/3597.01 c > gomorymi : - - - - - - - 308 13 28 25 3 -
3586.89/3597.01 c > strongcg : - - - - - - - 392 13 12 12 0 -
3586.89/3597.01 c impliedbounds : 0.16 0.00 22 11 0 0 44 65 0 34 34 0 0
3586.89/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c multilinear : 0.00 0.00 16 11 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c rlt : 0.00 0.00 17 10 0 0 0 0 0 0 0 0 0
3586.89/3597.01 c zerohalf : 18.18 0.00 22 11 0 0 128 125 25 139 116 23 0
3586.89/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.89/3597.01 c hybrid : 0.00 0.00 32 11 275 0 824 161 0 114
3586.89/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.89/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.89/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3586.89/3597.01 c problem variables: 0.00 - 0 0
3586.89/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.89/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.89/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.89/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.89/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.89/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.89/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.89/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.89/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.89/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.89/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.89/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.89/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.89/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.89/3597.01 c relpscost : 64.22 0.00 136 0 0 0 0 0 0 272
3586.89/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.89/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.89/3597.01 c LP solutions : 0.00 - - 0 0
3586.89/3597.01 c relax solutions : 0.00 - - 0 0
3586.89/3597.01 c pseudo solutions : 0.00 - - 0 0
3586.89/3597.01 c strong branching : 0.00 - - 0 0
3586.89/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3586.89/3597.01 c adaptivediving : 0.00 0.00 0 0 0
3586.89/3597.01 c alns : 0.99 0.00 4 0 0
3586.89/3597.01 c bound : 0.00 0.00 0 0 0
3586.89/3597.01 c clique : 0.09 0.00 1 0 0
3586.89/3597.01 c coefdiving : 0.00 0.00 0 0 0
3586.89/3597.01 c completesol : 0.00 0.00 0 0 0
3586.89/3597.01 c conflictdiving : 516.16 0.00 1 0 0
3586.89/3597.01 c crossover : 0.00 0.00 0 0 0
3586.89/3597.01 c dins : 0.00 0.00 0 0 0
3586.89/3597.01 c distributiondivin: 0.04 0.00 0 0 0
3586.89/3597.01 c dps : 0.00 0.00 0 0 0
3586.89/3597.01 c dualval : 0.00 0.00 0 0 0
3586.89/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3586.89/3597.01 c feasjump : 0.04 0.00 1 0 0
3586.89/3597.01 c feaspump : 193.81 0.00 1 0 0
3586.89/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3586.89/3597.01 c fracdiving : 0.00 0.00 0 0 0
3586.89/3597.01 c gins : 0.00 0.00 0 0 0
3586.89/3597.01 c guideddiving : 0.00 0.00 0 0 0
3586.89/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3586.89/3597.01 c indicator : 0.00 0.00 0 0 0
3586.89/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3586.89/3597.01 c indoneopt : 0.00 0.00 0 0 0
3586.89/3597.01 c indrounding : 0.00 0.00 0 0 0
3586.89/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3586.89/3597.01 c intdiving : 0.00 0.00 0 0 0
3586.89/3597.01 c intshifting : 0.00 0.00 0 0 0
3586.89/3597.01 c linesearchdiving : 0.00 0.00 0 0 0
3586.89/3597.01 c localbranching : 0.00 0.00 0 0 0
3586.89/3597.01 c locks : 0.09 0.00 1 0 0
3586.89/3597.01 c lpface : 0.01 0.00 0 0 0
3586.89/3597.01 c mpec : 0.00 0.00 0 0 0
3586.89/3597.01 c multistart : 0.00 0.00 0 0 0
3586.89/3597.01 c mutation : 0.00 0.00 0 0 0
3586.89/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3586.89/3597.01 c objpscostdiving : 0.00 0.00 0 0 0
3586.89/3597.01 c octane : 0.00 0.00 0 0 0
3586.89/3597.01 c ofins : 0.00 0.00 0 0 0
3586.89/3597.01 c oneopt : 0.00 0.00 0 0 0
3586.89/3597.01 c padm : 0.00 0.00 0 0 0
3586.89/3597.01 c proximity : 0.00 0.00 0 0 0
3586.89/3597.01 c pscostdiving : 352.67 0.00 1 0 0
3586.89/3597.01 c randrounding : 0.24 0.00 25 0 0
3586.89/3597.01 c rens : 0.45 0.00 1 0 0
3586.89/3597.01 c reoptsols : 0.00 0.00 0 0 0
3586.89/3597.01 c repair : 0.00 0.00 0 0 0
3586.89/3597.01 c rins : 0.00 0.00 0 0 0
3586.89/3597.01 c rootsoldiving : 0.00 0.00 0 0 0
3586.89/3597.01 c rounding : 0.13 0.00 128 0 0
3586.89/3597.01 c scheduler : 0.00 0.00 0 0 0
3586.89/3597.01 c shiftandpropagate: 0.02 0.00 1 0 0
3586.89/3597.01 c shifting : 0.35 0.00 43 0 0
3586.89/3597.01 c simplerounding : 0.00 0.00 0 0 0
3586.89/3597.01 c smallcard : 0.00 0.00 0 0 0
3586.89/3597.01 c subnlp : 0.00 0.00 0 0 0
3586.89/3597.01 c trivial : 0.02 0.00 2 0 0
3586.89/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3586.89/3597.01 c trustregion : 0.00 0.00 0 0 0
3586.89/3597.01 c trysol : 0.00 0.00 0 0 0
3586.89/3597.01 c twoopt : 0.00 0.00 0 0 0
3586.89/3597.01 c undercover : 0.00 0.00 0 0 0
3586.89/3597.01 c vbounds : 0.19 0.00 1 0 0
3586.89/3597.01 c veclendiving : 0.00 0.00 0 0 0
3586.89/3597.01 c zeroobj : 0.00 0.00 0 0 0
3586.89/3597.01 c zirounding : 0.03 0.00 136 0 0
3586.89/3597.01 c other solutions : - - - 0 -
3586.89/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.89/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.89/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.89/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.89/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.89/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.89/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.89/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.89/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.89/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.89/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.89/3597.01 c primal LP : 0.15 7 0 0.00 0.00 0.15 7
3586.89/3597.01 c dual LP : 2342.09 226 1315134 5897.46 561.52 0.01 3
3586.89/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3586.89/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.89/3597.01 c resolve instable : 9.51 1 13103 13103.00 1378.22
3586.89/3597.01 c diving/probing LP: 1075.38 35 419394 11982.69 390.00
3586.89/3597.01 c strong branching : 50.55 23 22765 989.78 450.37 - - 45
3586.89/3597.01 c (at root node) : - 23 22765 989.78 -
3586.89/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3586.89/3597.01 c B&B Tree :
3586.89/3597.01 c number of runs : 1
3586.89/3597.01 c nodes : 235 (136 internal, 99 leaves)
3586.89/3597.01 c feasible leaves : 0
3586.89/3597.01 c infeas. leaves : 98
3586.89/3597.01 c objective leaves : 0
3586.89/3597.01 c nodes (total) : 235 (136 internal, 99 leaves)
3586.89/3597.01 c nodes left : 39
3586.89/3597.01 c max depth : 62
3586.89/3597.01 c max depth (total): 62
3586.89/3597.01 c backtracks : 15 (6.4%)
3586.89/3597.01 c early backtracks : 0 (0.0%)
3586.89/3597.01 c nodes exc. ref. : 0 (0.0%)
3586.89/3597.01 c delayed cutoffs : 0
3586.89/3597.01 c repropagations : 889 (155 domain reductions, 0 cutoffs)
3586.89/3597.01 c avg switch length: 8.97
3586.89/3597.01 c switching time : 0.56
3586.89/3597.01 c Root Node :
3586.89/3597.01 c First LP value : +0.00000000000000e+00
3586.89/3597.01 c First LP Iters : 18596 (690.09 Iter/sec)
3586.89/3597.01 c First LP Time : 26.95
3586.89/3597.01 c Final Dual Bound : +0.00000000000000e+00
3586.89/3597.01 c Final Root Iters : 245332
3586.89/3597.01 c Root LP Estimate : +1.42402598534319e-03
3586.89/3597.01 c Solution :
3586.89/3597.01 c Solutions found : 0 (0 improvements)
3586.89/3597.01 c Primal Bound : -
3586.89/3597.01 c Dual Bound : +0.00000000000000e+00
3586.89/3597.01 c Gap : infinite
3586.89/3597.01 c Integrals : Total Avg%
3586.89/3597.01 c primal-dual : 359699.95 100.00
3586.89/3597.01 c primal-ref : - - (not evaluated)
3586.89/3597.01 c dual-ref : - - (not evaluated)
3586.99/3597.16 c Time complete: 3587.05.
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 (63112 MiB free)
memory of node 1: 64507 MiB (63853 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507130-1751184166/watcher-4507130-1751184166 -o /tmp/evaluation-result-4507130-1751184166/solver-4507130-1751184166 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751184166-19933 --watchdog 3760 pbscip -f HOME/instance-4507130-1751184166.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=19981, runsolver pid=19972
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 0.82 2.50 4.32 5/265 19990
/proc/meminfo: memFree=129871740/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=90516 memory=63984 CPUtime=0.09 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 12880 0 0 0 7 2 0 0 20 0 1 0 34096188 92688384 15996 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 22629 15996 3520 3530 0 14080 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 90516 KiB
Current children cumulated memory: 63984 KiB
[startup+0.205758 s]*
/proc/loadavg: 0.82 2.50 4.32 5/265 19990
/proc/meminfo: memFree=129688788/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=139408 memory=109680 CPUtime=0.19 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 24254 0 0 0 16 3 0 0 20 0 1 0 34096188 142753792 27420 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 34852 27420 3584 3530 0 26303 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 139408 KiB
Current children cumulated memory: 109680 KiB
[startup+0.305532 s]*
/proc/loadavg: 0.82 2.50 4.32 4/265 19990
/proc/meminfo: memFree=129616084/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=157860 memory=127892 CPUtime=0.29 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 27817 0 0 0 25 4 0 0 20 0 1 0 34096188 161648640 31973 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 39465 31973 3584 3530 0 30916 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 157860 KiB
Current children cumulated memory: 127892 KiB
[startup+0.700182 s]
/proc/loadavg: 0.82 2.50 4.32 5/265 19990
/proc/meminfo: memFree=129575584/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=179512 memory=150472 CPUtime=0.68 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 38028 0 0 0 63 5 0 0 20 0 1 0 34096188 183820288 37618 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 44878 37618 3680 3530 0 36329 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 179512 KiB
Current children cumulated memory: 150472 KiB
[startup+1.5002 s]
/proc/loadavg: 0.82 2.50 4.32 5/265 19990
/proc/meminfo: memFree=129504112/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=220740 memory=187092 CPUtime=1.47 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 45541 0 0 0 141 6 0 0 20 0 1 0 34096188 226037760 46773 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 55185 46773 3744 3530 0 46636 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 220740 KiB
Current children cumulated memory: 187092 KiB
[startup+3.10563 s]
/proc/loadavg: 1.15 2.55 4.32 5/265 19990
/proc/meminfo: memFree=129361640/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=235228 memory=201300 CPUtime=3.07 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 49074 0 0 0 300 7 0 0 20 0 1 0 34096188 240873472 50325 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 58807 50325 3744 3530 0 50258 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 235228 KiB
Current children cumulated memory: 201300 KiB
[startup+6.30018 s]
/proc/loadavg: 1.15 2.55 4.32 5/265 19990
/proc/meminfo: memFree=129353864/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=235796 memory=201812 CPUtime=6.26 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 49214 0 0 0 619 7 0 0 20 0 1 0 34096188 241455104 50453 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 58949 50453 3744 3530 0 50400 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 235796 KiB
Current children cumulated memory: 201812 KiB
[startup+12.7002 s]
/proc/loadavg: 1.59 2.59 4.32 5/265 19990
/proc/meminfo: memFree=129330468/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=244664 memory=210644 CPUtime=12.64 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 51492 0 0 0 1256 8 0 0 20 0 1 0 34096188 250535936 52661 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 61166 52661 3744 3530 0 52617 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 244664 KiB
Current children cumulated memory: 210644 KiB
[startup+25.5002 s]
/proc/loadavg: 1.96 2.64 4.31 5/265 19990
/proc/meminfo: memFree=129331340/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=246176 memory=212180 CPUtime=25.4 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 51889 0 0 0 2532 8 0 0 20 0 1 0 34096188 252084224 53045 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 61544 53045 3744 3530 0 52995 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 246176 KiB
Current children cumulated memory: 212180 KiB
[startup+51.1055 s]
/proc/loadavg: 2.74 2.77 4.31 5/265 19990
/proc/meminfo: memFree=129324268/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=247288 memory=213332 CPUtime=50.93 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 52146 0 0 0 5085 8 0 0 20 0 1 0 34096188 253222912 53333 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 61822 53333 3744 3530 0 53273 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 247288 KiB
Current children cumulated memory: 213332 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 2.99 4.29 5/265 19993
/proc/meminfo: memFree=128954820/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=370056 memory=304820 CPUtime=101.97 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 73842 0 0 0 10185 12 0 0 20 0 1 0 34096188 378937344 76205 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 92514 76205 3968 3530 0 83965 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 370056 KiB
Current children cumulated memory: 304820 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 3.18 4.27 5/265 19995
/proc/meminfo: memFree=128935896/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=373488 memory=307124 CPUtime=161.8 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 74403 0 0 0 16168 12 0 0 20 0 1 0 34096188 382451712 76781 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 93372 76781 3968 3530 0 84823 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 373488 KiB
Current children cumulated memory: 307124 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.38 4.27 5/265 19997
/proc/meminfo: memFree=128929904/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=373488 memory=307124 CPUtime=221.63 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 74403 0 0 0 22151 12 0 0 20 0 1 0 34096188 382451712 76781 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 93372 76781 3968 3530 0 84823 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 373488 KiB
Current children cumulated memory: 307124 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.51 4.26 5/264 19999
/proc/meminfo: memFree=128821364/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=373488 memory=310580 CPUtime=281.47 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 74436 0 0 0 28134 13 0 0 20 0 1 0 34096188 382451712 77645 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 93372 77645 3968 3530 0 84823 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 373488 KiB
Current children cumulated memory: 310580 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.62 4.25 5/266 20005
/proc/meminfo: memFree=128636076/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=482604 memory=416960 CPUtime=341.3 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 83607 0 0 0 34114 16 0 0 20 0 1 0 34096188 494186496 104240 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 120651 104240 3968 3530 0 112102 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 482604 KiB
Current children cumulated memory: 416960 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.70 4.23 5/265 20009
/proc/meminfo: memFree=128488540/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=492812 memory=437184 CPUtime=401.14 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 85790 0 0 0 40097 17 0 0 20 0 1 0 34096188 504639488 109296 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 123203 109296 3968 3530 0 114654 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 492812 KiB
Current children cumulated memory: 437184 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.78 4.22 5/265 20011
/proc/meminfo: memFree=128475220/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=498100 memory=446016 CPUtime=460.98 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 87123 0 0 0 46081 17 0 0 20 0 1 0 34096188 510054400 111504 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 124525 111504 3968 3530 0 115976 0
Current children cumulated CPU time: 460.98 s
################
# More data... #
################
/proc/loadavg: 4.39 4.20 4.13 5/264 20142
/proc/meminfo: memFree=127949740/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=639548 memory=589376 CPUtime=3213.1 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 121028 0 0 0 321288 22 0 0 20 0 1 0 34096188 654897152 147344 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 159887 147344 3968 3530 0 151338 0
Current children cumulated CPU time: 3213.1 s
Current children cumulated vsize: 639548 KiB
Current children cumulated memory: 589376 KiB
[startup+3282.3 s]
/proc/loadavg: 4.89 4.38 4.20 5/264 20144
/proc/meminfo: memFree=127949996/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=639548 memory=589376 CPUtime=3272.96 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 121028 0 0 0 327274 22 0 0 20 0 1 0 34096188 654897152 147344 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 159887 147344 3968 3530 0 151338 0
Current children cumulated CPU time: 3272.96 s
Current children cumulated vsize: 639548 KiB
Current children cumulated memory: 589376 KiB
[startup+3342.3 s]
/proc/loadavg: 4.38 4.32 4.18 5/264 20149
/proc/meminfo: memFree=127950312/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=639548 memory=590144 CPUtime=3332.81 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 121041 0 0 0 333259 22 0 0 20 0 1 0 34096188 654897152 147536 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 159887 147536 4160 3530 0 151338 0
Current children cumulated CPU time: 3332.81 s
Current children cumulated vsize: 639548 KiB
Current children cumulated memory: 590144 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.28 4.18 5/265 20154
/proc/meminfo: memFree=127950012/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=639548 memory=590144 CPUtime=3392.66 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 121041 0 0 0 339244 22 0 0 20 0 1 0 34096188 654897152 147536 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 159887 147536 4160 3530 0 151338 0
Current children cumulated CPU time: 3392.66 s
Current children cumulated vsize: 639548 KiB
Current children cumulated memory: 590144 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.24 4.17 5/265 20156
/proc/meminfo: memFree=127950516/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=639548 memory=590144 CPUtime=3452.52 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 121165 0 0 0 345230 22 0 0 20 0 1 0 34096188 654897152 147536 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 159887 147536 4160 3530 0 151338 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 639548 KiB
Current children cumulated memory: 590144 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.21 4.16 5/264 20169
/proc/meminfo: memFree=127949872/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=639548 memory=590144 CPUtime=3512.36 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 121190 0 0 0 351214 22 0 0 20 0 1 0 34096188 654897152 147536 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 159887 147536 4160 3530 0 151338 0
Current children cumulated CPU time: 3512.36 s
Current children cumulated vsize: 639548 KiB
Current children cumulated memory: 590144 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.20 4.16 5/264 20173
/proc/meminfo: memFree=127941508/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=649652 memory=598720 CPUtime=3572.22 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 123366 0 0 0 357199 23 0 0 20 0 1 0 34096188 665243648 149680 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 162413 149680 4160 3530 0 153864 0
Current children cumulated CPU time: 3572.22 s
Current children cumulated vsize: 649652 KiB
Current children cumulated memory: 598720 KiB
[startup+3597.17 s]
# the end of solver process 19981 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.82 s, system=0.237189 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.20 4.16 5/264 20173
/proc/meminfo: memFree=127941508/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=649652 memory=598720 CPUtime=3573.92 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 123366 0 0 0 357369 23 0 0 20 0 1 0 34096188 665243648 149680 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 162413 149680 4160 3530 0 153864 0
Current children cumulated CPU time: 3573.92 s
Current children cumulated vsize: 649652 KiB
Current children cumulated memory: 598720 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.19 4.16 5/264 20173
/proc/meminfo: memFree=127941532/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=649652 memory=598720 CPUtime=3580.3 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 123366 0 0 0 358007 23 0 0 20 0 1 0 34096188 665243648 149680 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 162413 149680 4160 3530 0 153864 0
Current children cumulated CPU time: 3580.3 s
Current children cumulated vsize: 649652 KiB
Current children cumulated memory: 598720 KiB
[startup+3593.6 s]
/proc/loadavg: 4.12 4.19 4.16 5/264 20173
/proc/meminfo: memFree=127941532/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=649652 memory=598720 CPUtime=3583.49 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 123366 0 0 0 358326 23 0 0 20 0 1 0 34096188 665243648 149680 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 162413 149680 4160 3530 0 153864 0
Current children cumulated CPU time: 3583.49 s
Current children cumulated vsize: 649652 KiB
Current children cumulated memory: 598720 KiB
[startup+3595.2 s]
/proc/loadavg: 4.12 4.19 4.16 5/264 20173
/proc/meminfo: memFree=127941532/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=649652 memory=598720 CPUtime=3585.09 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 123366 0 0 0 358486 23 0 0 20 0 1 0 34096188 665243648 149680 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 162413 149680 4160 3530 0 153864 0
Current children cumulated CPU time: 3585.09 s
Current children cumulated vsize: 649652 KiB
Current children cumulated memory: 598720 KiB
[startup+3596 s]*
/proc/loadavg: 4.12 4.19 4.16 5/264 20173
/proc/meminfo: memFree=127941532/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=649652 memory=598720 CPUtime=3585.89 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 123366 0 0 0 358566 23 0 0 20 0 1 0 34096188 665243648 149680 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 162413 149680 4160 3530 0 153864 0
Current children cumulated CPU time: 3585.89 s
Current children cumulated vsize: 649652 KiB
Current children cumulated memory: 598720 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.19 4.16 5/264 20173
/proc/meminfo: memFree=127941532/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=649652 memory=598720 CPUtime=3586.69 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 123366 0 0 0 358646 23 0 0 20 0 1 0 34096188 665243648 149680 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 162413 149680 4160 3530 0 153864 0
Current children cumulated CPU time: 3586.69 s
Current children cumulated vsize: 649652 KiB
Current children cumulated memory: 598720 KiB
[startup+3597 s]*
/proc/loadavg: 4.12 4.19 4.16 5/264 20173
/proc/meminfo: memFree=127941532/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=649652 memory=598720 CPUtime=3586.89 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 123366 0 0 0 358666 23 0 0 20 0 1 0 34096188 665243648 149680 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 162413 149680 4160 3530 0 153864 0
Current children cumulated CPU time: 3586.89 s
Current children cumulated vsize: 649652 KiB
Current children cumulated memory: 598720 KiB
[startup+3597.11 s]
/proc/loadavg: 4.12 4.19 4.16 5/264 20173
/proc/meminfo: memFree=127941532/131249996 swapFree=33010684/33010684
[pid=19981] ppid=19972 vsize=576288 memory=525468 CPUtime=3586.99 cores=1,3
/proc/19981/stat : 19981 (pbscip) R 19972 19981 19921 0 -1 4194304 123370 0 0 0 358676 23 0 0 20 0 1 0 34096188 590118912 131367 18446744073709551615 4235264 18693293 140733634315120 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54476800 140733634316681 140733634316780 140733634316780 140733634322382 0
/proc/19981/statm: 144072 131367 4160 3530 0 135523 0
Current children cumulated CPU time: 3586.99 s
Current children cumulated vsize: 576288 KiB
Current children cumulated memory: 525468 KiB
Child status: 0
Real time (s): 3597.17
CPU time (s): 3587.06
CPU user time (s): 3586.82
CPU system time (s): 0.237189
CPU usage (%): 99.719
Max. virtual memory (cumulated for all children) (KiB): 649652
Max. memory (cumulated for all children) (KiB): 598720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.82
system time used= 0.237189
maximum resident set size= 598720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123391
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= 127
involuntary context switches= 2991
# summary of solver processes directly reported to runsolver:
# pid: 19981
# total CPU time (s): 3587.06
# total CPU user time (s): 3586.82
# total CPU system time (s): 0.237189
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.69907 second user time and 14.2008 second system time
The end
Begin job on nodeC030 at 2025-06-29 10:02:46 IDJOB=4507130 IDBENCH=158326 IDSOLVER=3365 FILE ID=nodeC030/4507130-1751184166 RUNJOBID= nodeC030-1751184166-19933 SLURM_JOB_ID= 9587575 Free space on /tmp= 433032 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K196.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507130-1751184166/watcher-4507130-1751184166 -o /tmp/evaluation-result-4507130-1751184166/solver-4507130-1751184166 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751184166-19933 --watchdog 3760 pbscip -f HOME/instance-4507130-1751184166.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8df9702f370312ff59707c84e3b82f3b RANDOM SEED=1677625870 nodeC030 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.302 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.62 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.324 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.62 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.868 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.62 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.731 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.62 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 : 3610.967 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.62 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 : 3600.276 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.62 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.565 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.62 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 : 3597.248 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.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 130016928 kB MemAvailable: 129777824 kB Buffers: 3280 kB Cached: 571388 kB SwapCached: 0 kB Active: 320300 kB Inactive: 314668 kB Active(anon): 78364 kB Inactive(anon): 0 kB Active(file): 241936 kB Inactive(file): 314668 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 79992 kB Writeback: 0 kB AnonPages: 63200 kB Mapped: 102516 kB Shmem: 18064 kB KReclaimable: 86660 kB Slab: 171316 kB SReclaimable: 86660 kB SUnreclaim: 84656 kB KernelStack: 3976 kB PageTables: 2684 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 330196 kB VmallocTotal: 34359738367 kB VmallocUsed: 150392 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 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: 189140 kB DirectMap2M: 9019392 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432960 MiB End job on nodeC030 at 2025-06-29 11:02:43