| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3586.19 | 3597.34 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K155.opb |
| MD5SUM | 4394b20101c323a14e6df6504cadd31d |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 18445 |
| Total number of constraints | 18757 |
| Number of constraints which are clauses | 18602 |
| Number of constraints which are cardinality constraints (but not clauses) | 155 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 155 |
| 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 | 156 |
| 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.22 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.22 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.22 c
0.00/0.22 c user parameter file <scip.set> not found - using default parameters
0.00/0.22 c reading problem <HOME/instance-4507058-1751182186.opb>
0.00/0.28 c original problem has 18445 variables (18445 bin, 0 int, 0 impl, 0 cont) and 18757 constraints
0.00/0.28 c problem read in 0.06
0.00/0.28 c No objective function, only one solution is needed.
0.08/0.35 c presolving:
0.08/0.38 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, 2129 clqs
0.08/0.39 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, 2113 clqs
0.08/0.39 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, 2134 clqs
0.08/0.40 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, 2165 clqs
0.08/0.40 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, 2188 clqs
0.08/0.40 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, 2198 clqs
0.19/0.46 c (0.2s) running MILP presolver
0.36/0.66 c (0.4s) MILP presolver (4 rounds): 0 aggregations, 156 fixings, 0 bound changes
0.36/0.66 c (round 7, medium) 1338 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2209 clqs
0.36/0.68 c (round 8, fast) 1338 del vars, 791 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2212 clqs
0.46/0.70 c (round 9, exhaustive) 1338 del vars, 944 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2212 clqs
0.46/0.79 c (round 10, exhaustive) 1338 del vars, 944 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 17813 upgd conss, 0 impls, 2212 clqs
0.66/0.95 c (round 11, exhaustive) 1446 del vars, 944 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 107 chg coeffs, 17813 upgd conss, 0 impls, 2199 clqs
0.66/0.96 c (round 12, fast) 1554 del vars, 1052 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 107 chg coeffs, 17813 upgd conss, 0 impls, 2199 clqs
2.35/2.65 c (round 13, exhaustive) 1580 del vars, 1053 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 107 chg coeffs, 17813 upgd conss, 0 impls, 111980 clqs
2.35/2.65 c (round 14, fast) 1581 del vars, 1079 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 162 chg coeffs, 17813 upgd conss, 0 impls, 111992 clqs
3.65/3.99 c (round 15, exhaustive) 1607 del vars, 1079 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 162 chg coeffs, 17813 upgd conss, 0 impls, 111968 clqs
3.65/4.00 c (round 16, fast) 1608 del vars, 1105 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 219 chg coeffs, 17813 upgd conss, 0 impls, 111978 clqs
4.45/4.75 c (round 17, exhaustive) 1633 del vars, 1105 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 219 chg coeffs, 17813 upgd conss, 0 impls, 111970 clqs
4.45/4.75 c (round 18, fast) 1633 del vars, 1130 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 282 chg coeffs, 17813 upgd conss, 0 impls, 111985 clqs
4.95/5.27 c (round 19, exhaustive) 1659 del vars, 1130 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 282 chg coeffs, 17813 upgd conss, 0 impls, 111974 clqs
4.95/5.27 c (round 20, fast) 1660 del vars, 1156 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 346 chg coeffs, 17813 upgd conss, 0 impls, 111991 clqs
6.44/6.70 c (6.5s) probing: 1000/17439 (5.7%) - 116 fixings, 0 aggregations, 1096452 implications, 0 bound changes
6.85/7.19 c (round 21, exhaustive) 1685 del vars, 1156 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 346 chg coeffs, 17813 upgd conss, 0 impls, 112017 clqs
6.94/7.20 c (round 22, fast) 1685 del vars, 1181 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 406 chg coeffs, 17813 upgd conss, 0 impls, 112036 clqs
7.14/7.45 c (round 23, exhaustive) 1716 del vars, 1181 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 406 chg coeffs, 17813 upgd conss, 0 impls, 111983 clqs
7.14/7.46 c (round 24, fast) 1716 del vars, 1212 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 480 chg coeffs, 17813 upgd conss, 0 impls, 111997 clqs
7.44/7.79 c (round 25, exhaustive) 1742 del vars, 1212 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 480 chg coeffs, 17813 upgd conss, 0 impls, 112062 clqs
7.54/7.80 c (round 26, fast) 1743 del vars, 1238 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 545 chg coeffs, 17813 upgd conss, 0 impls, 112075 clqs
8.14/8.43 c (round 27, exhaustive) 1768 del vars, 1238 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 545 chg coeffs, 17813 upgd conss, 0 impls, 110346 clqs
8.14/8.44 c (round 28, fast) 1768 del vars, 1263 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 628 chg coeffs, 17813 upgd conss, 0 impls, 110362 clqs
11.42/11.75 c (round 29, exhaustive) 1794 del vars, 1263 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 628 chg coeffs, 17813 upgd conss, 0 impls, 111237 clqs
11.42/11.76 c (round 30, fast) 1794 del vars, 1289 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 706 chg coeffs, 17813 upgd conss, 0 impls, 111254 clqs
12.02/12.30 c (round 31, exhaustive) 1821 del vars, 1289 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 706 chg coeffs, 17813 upgd conss, 0 impls, 112118 clqs
12.02/12.31 c (round 32, fast) 1821 del vars, 1316 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 773 chg coeffs, 17813 upgd conss, 0 impls, 112130 clqs
12.32/12.67 c (round 33, exhaustive) 1846 del vars, 1316 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 773 chg coeffs, 17813 upgd conss, 0 impls, 112129 clqs
12.32/12.68 c (round 34, fast) 1846 del vars, 1341 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 824 chg coeffs, 17813 upgd conss, 0 impls, 112133 clqs
13.22/13.53 c (round 35, exhaustive) 1871 del vars, 1341 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 824 chg coeffs, 17813 upgd conss, 0 impls, 112174 clqs
13.22/13.54 c (round 36, fast) 1871 del vars, 1366 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 874 chg coeffs, 17813 upgd conss, 0 impls, 112177 clqs
13.42/13.78 c (round 37, exhaustive) 1899 del vars, 1366 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 874 chg coeffs, 17813 upgd conss, 0 impls, 112143 clqs
13.42/13.79 c (round 38, fast) 1899 del vars, 1394 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 919 chg coeffs, 17813 upgd conss, 0 impls, 112147 clqs
13.72/14.03 c (round 39, exhaustive) 1924 del vars, 1394 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 919 chg coeffs, 17813 upgd conss, 0 impls, 112054 clqs
13.72/14.03 c (round 40, fast) 1924 del vars, 1419 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 943 chg coeffs, 17813 upgd conss, 0 impls, 112054 clqs
13.92/14.27 c (round 41, exhaustive) 1949 del vars, 1419 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 943 chg coeffs, 17813 upgd conss, 0 impls, 111969 clqs
13.92/14.28 c (round 42, fast) 1949 del vars, 1444 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 967 chg coeffs, 17813 upgd conss, 0 impls, 111969 clqs
14.62/14.98 c (14.8s) probing: 2000/17439 (11.5%) - 408 fixings, 1 aggregations, 2663139 implications, 0 bound changes
19.30/19.66 c (19.4s) probing: 3000/17439 (17.2%) - 409 fixings, 1 aggregations, 3906997 implications, 0 bound changes
22.80/23.16 c (round 43, exhaustive) 1974 del vars, 1444 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 967 chg coeffs, 17813 upgd conss, 0 impls, 112136 clqs
22.80/23.16 c (round 44, fast) 1974 del vars, 1469 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 990 chg coeffs, 17813 upgd conss, 0 impls, 112136 clqs
23.09/23.40 c (round 45, exhaustive) 1999 del vars, 1469 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 990 chg coeffs, 17813 upgd conss, 0 impls, 112201 clqs
23.09/23.41 c (round 46, fast) 1999 del vars, 1494 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1017 chg coeffs, 17813 upgd conss, 0 impls, 112201 clqs
24.09/24.47 c (round 47, exhaustive) 2024 del vars, 1494 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1017 chg coeffs, 17813 upgd conss, 0 impls, 112206 clqs
24.09/24.48 c (round 48, fast) 2024 del vars, 1519 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1047 chg coeffs, 17813 upgd conss, 0 impls, 112209 clqs
24.39/24.72 c (24.5s) probing: 4000/17439 (22.9%) - 483 fixings, 1 aggregations, 4998543 implications, 0 bound changes
24.39/24.72 c (round 49, exhaustive) 2049 del vars, 1519 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1047 chg coeffs, 17813 upgd conss, 0 impls, 112226 clqs
24.39/24.72 c (round 50, fast) 2049 del vars, 1544 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1072 chg coeffs, 17813 upgd conss, 0 impls, 112226 clqs
28.37/28.75 c (28.5s) probing: 5000/17439 (28.7%) - 494 fixings, 1 aggregations, 5908567 implications, 0 bound changes
32.16/32.59 c (32.4s) probing: 6000/17439 (34.4%) - 497 fixings, 1 aggregations, 6835859 implications, 0 bound changes
36.05/36.43 c (36.2s) probing: 7000/17439 (40.1%) - 499 fixings, 1 aggregations, 7774831 implications, 0 bound changes
39.94/40.32 c (40.1s) probing: 8000/17439 (45.9%) - 503 fixings, 1 aggregations, 8716406 implications, 0 bound changes
43.83/44.20 c (44.0s) probing: 9000/17439 (51.6%) - 506 fixings, 1 aggregations, 9647920 implications, 0 bound changes
44.33/44.77 c (44.5s) probing: 9142/17439 (52.4%) - 506 fixings, 1 aggregations, 9783625 implications, 0 bound changes
44.33/44.77 c (44.5s) probing aborted: 1000/1000 successive useless probings
44.33/44.77 c (round 51, exhaustive) 2069 del vars, 1544 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1072 chg coeffs, 17813 upgd conss, 0 impls, 112263 clqs
44.33/44.77 c (round 52, fast) 2069 del vars, 1564 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1102 chg coeffs, 17813 upgd conss, 0 impls, 112266 clqs
47.81/48.27 c (48.1s) probing: 10000/17439 (57.3%) - 519 fixings, 1 aggregations, 10570393 implications, 0 bound changes
48.41/48.89 c (48.7s) probing: 10161/17439 (58.3%) - 519 fixings, 1 aggregations, 10719558 implications, 0 bound changes
48.41/48.89 c (48.7s) probing aborted: 1000/1000 successive useless probings
48.51/48.93 c (48.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
48.62/49.02 c (48.8s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.04)
48.62/49.03 c dynamic symmetry handling statistics:
48.62/49.03 c orbitopal reduction: no components
48.62/49.03 c orbital reduction: no components
48.62/49.03 c lexicographic reduction: 3 permutations with support sizes 1432, 596, 286
48.62/49.03 c handled 4 out of 4 symmetry components
48.62/49.03 c (round 53, exhaustive) 2085 del vars, 1577 del conss, 1 add conss, 302 chg bounds, 0 chg sides, 1116 chg coeffs, 17813 upgd conss, 0 impls, 112267 clqs
51.81/52.22 c (52.0s) probing: 11000/17439 (63.1%) - 520 fixings, 1 aggregations, 11496599 implications, 0 bound changes
52.31/52.75 c (52.5s) probing: 11162/17439 (64.0%) - 520 fixings, 1 aggregations, 11647088 implications, 0 bound changes
52.31/52.75 c (52.5s) probing aborted: 1000/1000 successive useless probings
52.31/52.77 c presolving (54 rounds: 54 fast, 26 medium, 25 exhaustive):
52.31/52.77 c 2086 deleted vars, 1580 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1122 changed coefficients
52.31/52.77 c 0 implications, 112325 cliques
52.31/52.77 c presolved problem has 16911 variables (16911 bin, 0 int, 0 impl, 0 cont) and 17177 constraints
52.31/52.77 c 2099 constraints of type <setppc>
52.31/52.77 c 1 constraints of type <orbitope>
52.31/52.77 c 15077 constraints of type <logicor>
52.31/52.77 c transformed objective value is always integral (scale: 1)
52.31/52.77 c Presolving Time: 52.43
52.31/52.77 c - non default parameters ----------------------------------------------------------------------
52.31/52.77 c # SCIP version 10.0.0
52.31/52.77 c
52.31/52.77 c # maximal time in seconds to run
52.31/52.77 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
52.31/52.77 c limits/time = 3596.998005
52.31/52.77 c
52.31/52.77 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
52.31/52.77 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
52.31/52.77 c limits/memory = 27900
52.31/52.77 c
52.31/52.77 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
52.31/52.77 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
52.31/52.77 c limits/solutions = 1
52.31/52.77 c
52.31/52.77 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.31/52.77 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
52.31/52.77 c misc/usesymmetry = 3
52.31/52.77 c
52.31/52.77 c # belongs reading time to solving time?
52.31/52.77 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
52.31/52.77 c timing/reading = TRUE
52.31/52.77 c
52.31/52.77 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
52.31/52.77 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
52.31/52.77 c propagating/symmetry/detectdoublelex = FALSE
52.31/52.77 c
52.31/52.77 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
52.31/52.77 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
52.31/52.77 c propagating/symmetry/detectsubgroups = FALSE
52.31/52.77 c
52.31/52.77 c # Type of symmetries that shall be computed?
52.31/52.77 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
52.31/52.77 c propagating/symmetry/symtype = 1
52.31/52.77 c
52.31/52.77 c # Should components consisting of a single full reflection be handled?
52.31/52.77 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
52.31/52.77 c propagating/symmetry/usesimplesgncomp = FALSE
52.31/52.77 c
52.31/52.77 c -----------------------------------------------------------------------------------------------
52.31/52.77 c start solving
52.31/52.77 c
71.35/71.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
71.35/71.81 c 71.6s| 1 | 0 | 16854 | - | 229M | 0 | 16k| 17k| 17k| 0 | 0 | 176 | 0 | 0.000000e+00 | -- | Inf | unknown
258.00/259.05 c 259s| 1 | 0 |106695 | - | 254M | 0 | 16k| 17k| 17k| 8 | 1 | 177 | 0 | 0.000000e+00 | -- | Inf | unknown
281.31/282.43 c 282s| 1 | 0 |117736 | - | 261M | 0 | 16k| 17k| 17k| 16 | 2 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
304.73/306.00 c 306s| 1 | 0 |128532 | - | 265M | 0 | 16k| 17k| 17k| 20 | 3 | 180 | 0 | 0.000000e+00 | -- | Inf | unknown
330.64/331.99 c 332s| 1 | 0 |139980 | - | 267M | 0 | 16k| 17k| 17k| 29 | 4 | 182 | 0 | 0.000000e+00 | -- | Inf | unknown
357.94/359.34 c 359s| 1 | 0 |151789 | - | 271M | 0 | 16k| 17k| 17k| 37 | 5 | 184 | 0 | 0.000000e+00 | -- | Inf | unknown
385.65/387.11 c 387s| 1 | 0 |163447 | - | 273M | 0 | 16k| 17k| 17k| 46 | 6 | 194 | 0 | 0.000000e+00 | -- | Inf | unknown
427.41/429.08 c 429s| 1 | 0 |180475 | - | 275M | 0 | 16k| 17k| 17k| 61 | 7 | 196 | 0 | 0.000000e+00 | -- | Inf | unknown
457.70/459.48 c 459s| 1 | 0 |192665 | - | 281M | 0 | 16k| 17k| 17k| 65 | 8 | 198 | 0 | 0.000000e+00 | -- | Inf | unknown
491.88/493.72 c 494s| 1 | 0 |206077 | - | 283M | 0 | 16k| 17k| 17k| 84 | 9 | 199 | 0 | 0.000000e+00 | -- | Inf | unknown
527.56/529.53 c 529s| 1 | 0 |220174 | - | 286M | 0 | 16k| 17k| 17k| 99 | 10 | 205 | 0 | 0.000000e+00 | -- | Inf | unknown
562.84/564.93 c 565s| 1 | 0 |234912 | - | 287M | 0 | 16k| 17k| 17k| 121 | 11 | 209 | 0 | 0.000000e+00 | -- | Inf | unknown
1139.22/1142.85 c 1143s| 1 | 2 |538954 | - | 297M | 0 | 16k| 17k| 17k| 121 | 11 | 253 | 22 | 0.000000e+00 | -- | Inf | unknown
3586.04/3597.22 c
3586.04/3597.22 c SCIP Status : solving was interrupted [time limit reached]
3586.04/3597.22 c Solving Time (sec) : 3597.00
3586.04/3597.22 c Solving Nodes : 17
3586.04/3597.22 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.04/3597.22 c Dual Bound : +0.00000000000000e+00
3586.04/3597.22 c Gap : infinite
3586.04/3597.22 s UNKNOWN
3586.04/3597.22 c SCIP Status : solving was interrupted [time limit reached]
3586.04/3597.22 c Total Time : 3597.00
3586.04/3597.22 c solving : 3597.00
3586.04/3597.22 c presolving : 52.43 (included in solving)
3586.04/3597.22 c reading : 0.06 (included in solving)
3586.04/3597.22 c copying : 0.10 (2 #copies) (minimal 0.05, maximal 0.05, average 0.05)
3586.04/3597.22 c Original Problem :
3586.04/3597.22 c Problem name : HOME/instance-4507058-1751182186.opb
3586.04/3597.22 c Variables : 18445 (18445 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.04/3597.22 c Constraints : 18757 initial, 18757 maximal
3586.04/3597.22 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.04/3597.22 c Presolved Problem :
3586.04/3597.22 c Problem name : t_HOME/instance-4507058-1751182186.opb
3586.04/3597.22 c Variables : 16911 (16911 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.04/3597.22 c Constraints : 17177 initial, 17354 maximal
3586.04/3597.22 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.04/3597.22 c Nonzeros : 93973 constraint, 241256 clique table
3586.04/3597.22 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.04/3597.22 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c domcol : 1.03 0.00 22 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c dualsparsify : 0.04 0.00 1 0 0 0 0 0 13 0 0 14
3586.04/3597.22 c gateextraction : 0.24 0.00 23 0 0 0 0 0 1 0 0 0
3586.04/3597.22 c implics : 0.00 0.00 26 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c milp : 0.25 0.00 1 156 0 0 0 0 0 0 0 0
3586.04/3597.22 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c sparsify : 0.47 0.00 4 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c trivial : 0.02 0.00 54 552 0 0 0 0 0 0 0 0
3586.04/3597.22 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c dualfix : 0.02 0.00 54 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c probing : 46.16 0.00 22 520 1 0 0 0 0 0 0 0
3586.04/3597.22 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c symmetry : 0.10 0.00 1 3 0 0 0 0 0 1 0 0
3586.04/3597.22 c vbounds : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c setppc : 0.18 0.00 90 0 0 0 0 0 113 0 0 0
3586.04/3597.22 c linear : 0.15 0.01 12 302 0 0 302 0 944 0 0 0
3586.04/3597.22 c orbitope : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c logicor : 3.69 0.01 90 108 0 0 0 0 509 0 0 1108
3586.04/3597.22 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c root node : - - - 0 - - 0 - - - - -
3586.04/3597.22 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.04/3597.22 c benderslp : 0 0 0 0 15 0 0 7 0 0 0 0 0 0 0
3586.04/3597.22 c integral : 0 0 0 0 15 0 0 7 0 0 0 0 0 0 30
3586.04/3597.22 c setppc : 2099+ 2190 11 545204 0 0 0 3 18796 318 8396 0 0 0 0
3586.04/3597.22 c linear : 0+ 1 0 144 0 0 0 3 0 0 0 0 0 0 0
3586.04/3597.22 c orbitope : 1 1 0 54460 0 0 0 0 3 0 9 0 0 0 0
3586.04/3597.22 c logicor : 15077+ 15163 11 173077 0 0 0 0 51955 110 1503 5 4 0 0
3586.04/3597.22 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.04/3597.22 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.04/3597.22 c integral : 42.10 0.00 0.00 0.00 42.10 0.00 0.00 0.00 0.00 0.00
3586.04/3597.22 c setppc : 4.00 0.00 0.01 3.89 0.00 0.00 0.00 0.00 0.01 0.09
3586.04/3597.22 c linear : 0.02 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.04/3597.22 c orbitope : 0.07 0.00 0.00 0.07 0.00 0.00 0.00 0.00 0.00 0.00
3586.04/3597.22 c logicor : 13.71 0.01 0.03 13.61 0.00 0.00 0.00 0.00 0.02 0.04
3586.04/3597.22 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.04/3597.22 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.04/3597.22 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.04/3597.22 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.04/3597.22 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.04/3597.22 c dualfix : 1 0 0 0
3586.04/3597.22 c genvbounds : 0 0 0 0
3586.04/3597.22 c nlobbt : 0 0 0 0
3586.04/3597.22 c obbt : 0 0 0 0
3586.04/3597.22 c probing : 0 0 0 0
3586.04/3597.22 c pseudoobj : 0 0 0 0
3586.04/3597.22 c redcost : 0 0 0 0
3586.04/3597.22 c rootredcost : 0 0 0 0
3586.04/3597.22 c symmetry : 0 0 0 0
3586.04/3597.22 c vbounds : 4891 0 0 0
3586.04/3597.22 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.04/3597.22 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
3586.04/3597.22 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3586.04/3597.22 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.04/3597.22 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.04/3597.22 c probing : 46.16 0.00 46.16 0.00 0.00 0.00
3586.04/3597.22 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3586.04/3597.22 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3586.04/3597.22 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3586.04/3597.22 c symmetry : 0.11 0.00 0.10 0.02 0.00 0.00
3586.04/3597.22 c vbounds : 0.06 0.00 0.03 0.04 0.00 0.00
3586.04/3597.22 c Symmetry :
3586.04/3597.22 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.04/3597.22 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.04/3597.22 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.04/3597.22 c shadow tree time : 0.00 s
3586.04/3597.22 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.04/3597.22 c propagation : 0.02 417 106 - 660 102.9 0 0.0 - - -
3586.04/3597.22 c infeasible LP : 0.10 8 8 - 139 2056.9 0 0.0 1 2267.0 0
3586.04/3597.22 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.04/3597.22 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.04/3597.22 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.04/3597.22 c applied globally : 0.01 - - 0 259 358.4 - - 1 - -
3586.04/3597.22 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.04/3597.22 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.04/3597.22 c cut pool : 0.00 - 25 21 - - 199 301 - - - - - (maximal pool size: 199)
3586.04/3597.22 c aggregation : 0.06 0.00 13 11 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.04/3597.22 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.04/3597.22 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.04/3597.22 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c clique : 1.77 0.00 11 11 0 0 87 179 0 25 25 0 0
3586.04/3597.22 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c gomory : 20.50 0.00 12 10 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3586.04/3597.22 c > strongcg : - - - - - - - 0 0 0 0 0 -
3586.04/3597.22 c impliedbounds : 0.07 0.00 13 11 0 0 31 37 0 15 15 0 0
3586.04/3597.22 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c multilinear : 0.00 0.00 14 11 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c rlt : 0.00 0.00 11 10 0 0 0 0 0 0 0 0 0
3586.04/3597.22 c zerohalf : 12.76 0.00 13 11 0 0 82 85 1 82 82 0 0
3586.04/3597.22 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.04/3597.22 c hybrid : 0.00 0.00 13 11 126 0 181 121 0 178
3586.04/3597.22 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.22 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.22 c Pricers : ExecTime SetupTime Calls Vars
3586.04/3597.22 c problem variables: 0.00 - 0 0
3586.04/3597.22 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.04/3597.22 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.22 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.22 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.22 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.22 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.22 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.22 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.22 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.22 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.22 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.22 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.22 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.22 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.22 c relpscost : 42.10 0.00 15 0 0 0 0 0 0 30
3586.04/3597.22 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.04/3597.22 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.04/3597.22 c LP solutions : 0.00 - - 0 0
3586.04/3597.22 c relax solutions : 0.00 - - 0 0
3586.04/3597.22 c pseudo solutions : 0.00 - - 0 0
3586.04/3597.22 c strong branching : 0.00 - - 0 0
3586.04/3597.22 c actconsdiving : 0.00 0.00 0 0 0
3586.04/3597.22 c adaptivediving : 0.00 0.00 0 0 0
3586.04/3597.22 c alns : 0.11 0.00 1 0 0
3586.04/3597.22 c bound : 0.00 0.00 0 0 0
3586.04/3597.22 c clique : 0.08 0.00 1 0 0
3586.04/3597.22 c coefdiving : 0.00 0.00 0 0 0
3586.04/3597.22 c completesol : 0.00 0.00 0 0 0
3586.04/3597.22 c conflictdiving : 535.31 0.00 1 0 0
3586.04/3597.22 c crossover : 0.00 0.00 0 0 0
3586.04/3597.22 c dins : 0.00 0.00 0 0 0
3586.04/3597.22 c distributiondivin: 0.00 0.00 0 0 0
3586.04/3597.22 c dps : 0.00 0.00 0 0 0
3586.04/3597.22 c dualval : 0.00 0.00 0 0 0
3586.04/3597.22 c farkasdiving : 0.00 0.00 0 0 0
3586.04/3597.22 c feasjump : 0.05 0.00 1 0 0
3586.04/3597.22 c feaspump : 165.14 0.00 1 0 0
3586.04/3597.22 c fixandinfer : 0.00 0.00 0 0 0
3586.04/3597.22 c fracdiving : 0.00 0.00 0 0 0
3586.04/3597.22 c gins : 0.00 0.00 0 0 0
3586.04/3597.22 c guideddiving : 0.00 0.00 0 0 0
3586.04/3597.22 c indcoefdiving : 0.00 0.00 0 0 0
3586.04/3597.22 c indicator : 0.00 0.00 0 0 0
3586.04/3597.22 c indicatordiving : 0.00 0.00 0 0 0
3586.04/3597.22 c indoneopt : 0.00 0.00 0 0 0
3586.04/3597.22 c indrounding : 0.00 0.00 0 0 0
3586.04/3597.22 c indtwoopt : 0.00 0.00 0 0 0
3586.04/3597.22 c intdiving : 0.00 0.00 0 0 0
3586.04/3597.22 c intshifting : 0.00 0.00 0 0 0
3586.04/3597.22 c linesearchdiving : 0.00 0.00 0 0 0
3586.04/3597.22 c localbranching : 0.00 0.00 0 0 0
3586.04/3597.22 c locks : 0.07 0.00 1 0 0
3586.04/3597.22 c lpface : 0.00 0.00 0 0 0
3586.04/3597.22 c mpec : 0.00 0.00 0 0 0
3586.04/3597.22 c multistart : 0.00 0.00 0 0 0
3586.04/3597.22 c mutation : 0.00 0.00 0 0 0
3586.04/3597.22 c nlpdiving : 0.00 0.00 0 0 0
3586.04/3597.22 c objpscostdiving : 0.00 0.00 0 0 0
3586.04/3597.22 c octane : 0.00 0.00 0 0 0
3586.04/3597.22 c ofins : 0.00 0.00 0 0 0
3586.04/3597.22 c oneopt : 0.00 0.00 0 0 0
3586.04/3597.22 c padm : 0.00 0.00 0 0 0
3586.04/3597.22 c proximity : 0.00 0.00 0 0 0
3586.04/3597.22 c pscostdiving : 0.00 0.00 0 0 0
3586.04/3597.22 c randrounding : 0.19 0.00 12 0 0
3586.04/3597.22 c rens : 0.37 0.00 1 0 0
3586.04/3597.22 c reoptsols : 0.00 0.00 0 0 0
3586.04/3597.22 c repair : 0.00 0.00 0 0 0
3586.04/3597.22 c rins : 0.00 0.00 0 0 0
3586.04/3597.22 c rootsoldiving : 0.00 0.00 0 0 0
3586.04/3597.22 c rounding : 0.04 0.00 28 0 0
3586.04/3597.22 c scheduler : 0.00 0.00 0 0 0
3586.04/3597.22 c shiftandpropagate: 0.02 0.00 1 0 0
3586.04/3597.22 c shifting : 0.17 0.00 15 0 0
3586.04/3597.22 c simplerounding : 0.00 0.00 0 0 0
3586.04/3597.22 c smallcard : 0.00 0.00 0 0 0
3586.04/3597.22 c subnlp : 0.00 0.00 0 0 0
3586.04/3597.22 c trivial : 0.01 0.00 2 0 0
3586.04/3597.22 c trivialnegation : 0.00 0.00 0 0 0
3586.04/3597.22 c trustregion : 0.00 0.00 0 0 0
3586.04/3597.22 c trysol : 0.00 0.00 0 0 0
3586.04/3597.22 c twoopt : 0.00 0.00 0 0 0
3586.04/3597.22 c undercover : 0.00 0.00 0 0 0
3586.04/3597.22 c vbounds : 0.13 0.00 1 0 0
3586.04/3597.22 c veclendiving : 0.00 0.00 0 0 0
3586.04/3597.22 c zeroobj : 0.00 0.00 0 0 0
3586.04/3597.22 c zirounding : 0.01 0.00 15 0 0
3586.04/3597.22 c other solutions : - - - 0 -
3586.04/3597.22 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.04/3597.22 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.04/3597.22 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.04/3597.22 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.04/3597.22 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.04/3597.22 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.04/3597.22 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.04/3597.22 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.04/3597.22 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.04/3597.22 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.04/3597.22 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.04/3597.22 c primal LP : 0.06 2 0 0.00 0.00 0.06 2
3586.04/3597.22 c dual LP : 2765.23 30 1447307 48243.57 523.39 0.00 0
3586.04/3597.22 c lex dual LP : 0.00 0 0 0.00 -
3586.04/3597.22 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.04/3597.22 c resolve instable : 0.00 0 0 0.00 -
3586.04/3597.22 c diving/probing LP: 705.51 15 382870 25524.67 542.69
3586.04/3597.22 c strong branching : 36.52 22 22000 1000.00 602.41 - - 44
3586.04/3597.22 c (at root node) : - 22 22000 1000.00 -
3586.04/3597.22 c conflict analysis: 0.00 0 0 0.00 -
3586.04/3597.22 c B&B Tree :
3586.04/3597.22 c number of runs : 1
3586.04/3597.22 c nodes : 17 (15 internal, 2 leaves)
3586.04/3597.22 c feasible leaves : 0
3586.04/3597.22 c infeas. leaves : 1
3586.04/3597.22 c objective leaves : 0
3586.04/3597.22 c nodes (total) : 17 (15 internal, 2 leaves)
3586.04/3597.22 c nodes left : 15
3586.04/3597.22 c max depth : 12
3586.04/3597.22 c max depth (total): 12
3586.04/3597.22 c backtracks : 0 (0.0%)
3586.04/3597.22 c early backtracks : 0 (0.0%)
3586.04/3597.22 c nodes exc. ref. : 0 (0.0%)
3586.04/3597.22 c delayed cutoffs : 0
3586.04/3597.22 c repropagations : 1 (87 domain reductions, 0 cutoffs)
3586.04/3597.22 c avg switch length: 1.24
3586.04/3597.22 c switching time : 0.07
3586.04/3597.22 c Root Node :
3586.04/3597.22 c First LP value : +0.00000000000000e+00
3586.04/3597.22 c First LP Iters : 16854 (902.12 Iter/sec)
3586.04/3597.22 c First LP Time : 18.68
3586.04/3597.22 c Final Dual Bound : +0.00000000000000e+00
3586.04/3597.22 c Final Root Iters : 234912
3586.04/3597.22 c Root LP Estimate : +1.87605202118250e-03
3586.04/3597.22 c Solution :
3586.04/3597.22 c Solutions found : 0 (0 improvements)
3586.04/3597.22 c Primal Bound : -
3586.04/3597.22 c Dual Bound : +0.00000000000000e+00
3586.04/3597.22 c Gap : infinite
3586.04/3597.22 c Integrals : Total Avg%
3586.04/3597.22 c primal-dual : 359700.05 100.00
3586.04/3597.22 c primal-ref : - - (not evaluated)
3586.04/3597.22 c dual-ref : - - (not evaluated)
3586.14/3597.33 c Time complete: 3586.19.
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (63053 MiB free)
memory of node 1: 64465 MiB (63891 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507058-1751182186/watcher-4507058-1751182186 -o /tmp/evaluation-result-4507058-1751182186/solver-4507058-1751182186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751182186-23748 --watchdog 3760 pbscip -f HOME/instance-4507058-1751182186.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=23794, runsolver pid=23788
[startup+0.100061 s]*
/proc/loadavg: 1.05 1.12 1.59 1/270 23807
/proc/meminfo: memFree=129987188/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=28424 memory=384 CPUtime=0 cores=0,2
/proc/23794/stat : 23794 (pbscip) D 23788 23794 23738 0 -1 4194304 87 0 2 0 0 0 0 0 20 0 1 0 33897317 29106176 96 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 0 1 0 0 17 2 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 7106 96 96 3530 0 1342 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 28424 KiB
Current children cumulated memory: 384 KiB
[startup+0.205589 s]*
/proc/loadavg: 1.05 1.12 1.59 2/270 23807
/proc/meminfo: memFree=129987444/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=39800 memory=3712 CPUtime=0 cores=0,2
/proc/23794/stat : 23794 (pbscip) D 23788 23794 23738 0 -1 4194304 216 0 5 0 0 0 0 0 20 0 1 0 33897317 40755200 928 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 0 1 0 0 17 2 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 9950 928 864 3530 0 1401 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 39800 KiB
Current children cumulated memory: 3712 KiB
[startup+0.305069 s]*
/proc/loadavg: 1.05 1.12 1.59 5/270 23807
/proc/meminfo: memFree=129787860/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=94544 memory=68368 CPUtime=0.08 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 14036 0 6 0 6 2 0 0 20 0 1 0 33897317 96813056 17092 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 23636 17092 3488 3530 0 15087 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 94544 KiB
Current children cumulated memory: 68368 KiB
[startup+0.700188 s]
/proc/loadavg: 1.05 1.12 1.59 5/270 23807
/proc/meminfo: memFree=129565952/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=138664 memory=109468 CPUtime=0.46 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 27649 0 6 0 42 4 0 0 20 0 1 0 33897317 141991936 27367 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 34666 27367 3648 3530 0 26117 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 138664 KiB
Current children cumulated memory: 109468 KiB
[startup+1.50018 s]
/proc/loadavg: 1.05 1.12 1.59 5/270 23808
/proc/meminfo: memFree=129518576/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=193440 memory=159928 CPUtime=1.26 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 38200 0 6 0 120 6 0 0 20 0 1 0 33897317 198082560 39982 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 48360 39982 3680 3530 0 39811 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 193440 KiB
Current children cumulated memory: 159928 KiB
[startup+3.10579 s]
/proc/loadavg: 1.05 1.12 1.59 5/270 23808
/proc/meminfo: memFree=129386544/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=198848 memory=165176 CPUtime=2.86 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 39536 0 6 0 280 6 0 0 20 0 1 0 33897317 203620352 41294 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 49712 41294 3680 3530 0 41163 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 198848 KiB
Current children cumulated memory: 165176 KiB
[startup+6.30017 s]
/proc/loadavg: 1.29 1.17 1.61 5/270 23808
/proc/meminfo: memFree=129378816/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=201248 memory=167096 CPUtime=6.04 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 40009 0 6 0 598 6 0 0 20 0 1 0 33897317 206077952 41774 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 50312 41774 3680 3530 0 41763 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 201248 KiB
Current children cumulated memory: 167096 KiB
[startup+12.7002 s]
/proc/loadavg: 1.58 1.23 1.63 5/270 23808
/proc/meminfo: memFree=129362744/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=205948 memory=171704 CPUtime=12.42 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 41208 0 6 0 1236 6 0 0 20 0 1 0 33897317 210890752 42926 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 51487 42926 3680 3530 0 42938 0
Current children cumulated CPU time: 12.42 s
Current children cumulated vsize: 205948 KiB
Current children cumulated memory: 171704 KiB
[startup+25.5002 s]
/proc/loadavg: 2.12 1.37 1.66 5/268 23808
/proc/meminfo: memFree=129354808/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=207404 memory=173112 CPUtime=25.18 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 41554 0 6 0 2512 6 0 0 20 0 1 0 33897317 212381696 43278 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 51851 43278 3680 3530 0 43302 0
Current children cumulated CPU time: 25.18 s
Current children cumulated vsize: 207404 KiB
Current children cumulated memory: 173112 KiB
[startup+51.1058 s]
/proc/loadavg: 2.83 1.60 1.73 5/268 23808
/proc/meminfo: memFree=129173760/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=253320 memory=197276 CPUtime=50.72 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 50842 0 6 0 5064 8 0 0 20 0 1 0 33897317 259399680 49319 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 63330 49319 3712 3530 0 54781 0
Current children cumulated CPU time: 50.72 s
Current children cumulated vsize: 253320 KiB
Current children cumulated memory: 197276 KiB
[startup+102.3 s]
/proc/loadavg: 3.56 1.99 1.86 5/267 23810
/proc/meminfo: memFree=129031608/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=310272 memory=251880 CPUtime=101.75 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 63903 0 6 0 10165 10 0 0 20 0 1 0 33897317 317718528 62970 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 77568 62970 3904 3530 0 69019 0
Current children cumulated CPU time: 101.75 s
Current children cumulated vsize: 310272 KiB
Current children cumulated memory: 251880 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 2.35 2.00 5/267 23812
/proc/meminfo: memFree=129011172/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=310272 memory=252008 CPUtime=161.58 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 63962 0 6 0 16148 10 0 0 20 0 1 0 33897317 317718528 63002 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 77568 63002 3904 3530 0 69019 0
Current children cumulated CPU time: 161.58 s
Current children cumulated vsize: 310272 KiB
Current children cumulated memory: 252008 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 2.72 2.15 5/267 23814
/proc/meminfo: memFree=128957024/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=314180 memory=255040 CPUtime=221.42 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 64185 0 6 0 22131 11 0 0 20 0 1 0 33897317 321720320 63760 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 78545 63760 3904 3530 0 69996 0
Current children cumulated CPU time: 221.42 s
Current children cumulated vsize: 314180 KiB
Current children cumulated memory: 255040 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 2.97 2.27 5/263 23816
/proc/meminfo: memFree=128690912/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=386820 memory=323952 CPUtime=281.21 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 71728 0 6 0 28108 13 0 0 20 0 1 0 33897317 396103680 80988 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 96705 80988 3904 3530 0 88156 0
Current children cumulated CPU time: 281.21 s
Current children cumulated vsize: 386820 KiB
Current children cumulated memory: 323952 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.17 2.39 5/264 23819
/proc/meminfo: memFree=128648900/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=398792 memory=334448 CPUtime=341 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 74387 0 6 0 34087 13 0 0 20 0 1 0 33897317 408363008 83612 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 99698 83612 3904 3530 0 91149 0
Current children cumulated CPU time: 341 s
Current children cumulated vsize: 398792 KiB
Current children cumulated memory: 334448 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.34 2.50 5/265 23822
/proc/meminfo: memFree=128632852/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=404784 memory=337904 CPUtime=400.8 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 75229 0 6 0 40067 13 0 0 20 0 1 0 33897317 414498816 84476 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 101196 84476 3904 3530 0 92647 0
Current children cumulated CPU time: 400.8 s
Current children cumulated vsize: 404784 KiB
Current children cumulated memory: 337904 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.48 2.60 5/265 23824
/proc/meminfo: memFree=128616428/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=410876 memory=341232 CPUtime=460.59 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 76066 0 6 0 46045 14 0 0 20 0 1 0 33897317 420737024 85308 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 102719 85308 3904 3530 0 94170 0
Current children cumulated CPU time: 460.59 s
################
# More data... #
################
/proc/loadavg: 4.24 4.14 4.05 5/265 23972
/proc/meminfo: memFree=128190192/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=490280 memory=446704 CPUtime=3212.36 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 96362 0 6 0 321220 16 0 0 20 0 1 0 33897317 502046720 111676 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 122570 111676 4096 3530 0 114021 0
Current children cumulated CPU time: 3212.36 s
Current children cumulated vsize: 490280 KiB
Current children cumulated memory: 446704 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/265 23974
/proc/meminfo: memFree=128161732/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=490280 memory=446704 CPUtime=3272.17 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 96362 0 6 0 327201 16 0 0 20 0 1 0 33897317 502046720 111676 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 122570 111676 4096 3530 0 114021 0
Current children cumulated CPU time: 3272.17 s
Current children cumulated vsize: 490280 KiB
Current children cumulated memory: 446704 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/265 23976
/proc/meminfo: memFree=128188904/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=490280 memory=446704 CPUtime=3331.97 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 96363 0 6 0 333181 16 0 0 20 0 1 0 33897317 502046720 111676 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 122570 111676 4096 3530 0 114021 0
Current children cumulated CPU time: 3331.97 s
Current children cumulated vsize: 490280 KiB
Current children cumulated memory: 446704 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.11 4.05 5/263 23978
/proc/meminfo: memFree=128189004/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=490280 memory=446704 CPUtime=3391.78 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 96363 0 6 0 339162 16 0 0 20 0 1 0 33897317 502046720 111676 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 122570 111676 4096 3530 0 114021 0
Current children cumulated CPU time: 3391.78 s
Current children cumulated vsize: 490280 KiB
Current children cumulated memory: 446704 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/264 23981
/proc/meminfo: memFree=128188028/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=490280 memory=446704 CPUtime=3451.58 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 96363 0 6 0 345142 16 0 0 20 0 1 0 33897317 502046720 111676 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 122570 111676 4096 3530 0 114021 0
Current children cumulated CPU time: 3451.58 s
Current children cumulated vsize: 490280 KiB
Current children cumulated memory: 446704 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.05 5/264 23985
/proc/meminfo: memFree=128189432/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=490280 memory=446704 CPUtime=3511.39 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 96363 0 6 0 351123 16 0 0 20 0 1 0 33897317 502046720 111676 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 122570 111676 4096 3530 0 114021 0
Current children cumulated CPU time: 3511.39 s
Current children cumulated vsize: 490280 KiB
Current children cumulated memory: 446704 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.06 5/263 23987
/proc/meminfo: memFree=128189744/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=490280 memory=446704 CPUtime=3571.19 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 96364 0 6 0 357103 16 0 0 20 0 1 0 33897317 502046720 111676 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 122570 111676 4096 3530 0 114021 0
Current children cumulated CPU time: 3571.19 s
Current children cumulated vsize: 490280 KiB
Current children cumulated memory: 446704 KiB
[startup+3597.34 s]
# the end of solver process 23794 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.02 s, system=0.172353 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.10 4.06 5/263 23987
/proc/meminfo: memFree=128189752/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=490280 memory=446704 CPUtime=3572.89 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 96364 0 6 0 357273 16 0 0 20 0 1 0 33897317 502046720 111676 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 122570 111676 4096 3530 0 114021 0
Current children cumulated CPU time: 3572.89 s
Current children cumulated vsize: 490280 KiB
Current children cumulated memory: 446704 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.10 4.05 5/263 23987
/proc/meminfo: memFree=128173440/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=490280 memory=446704 CPUtime=3579.26 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 96364 0 6 0 357910 16 0 0 20 0 1 0 33897317 502046720 111676 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 122570 111676 4096 3530 0 114021 0
Current children cumulated CPU time: 3579.26 s
Current children cumulated vsize: 490280 KiB
Current children cumulated memory: 446704 KiB
[startup+3593.6 s]
/proc/loadavg: 4.10 4.10 4.05 5/263 23987
/proc/meminfo: memFree=128173456/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=490280 memory=446704 CPUtime=3582.45 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 96364 0 6 0 358229 16 0 0 20 0 1 0 33897317 502046720 111676 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 122570 111676 4096 3530 0 114021 0
Current children cumulated CPU time: 3582.45 s
Current children cumulated vsize: 490280 KiB
Current children cumulated memory: 446704 KiB
[startup+3595.2 s]
/proc/loadavg: 4.10 4.10 4.05 5/263 23987
/proc/meminfo: memFree=128173456/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=490280 memory=446704 CPUtime=3584.05 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 96364 0 6 0 358389 16 0 0 20 0 1 0 33897317 502046720 111676 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 122570 111676 4096 3530 0 114021 0
Current children cumulated CPU time: 3584.05 s
Current children cumulated vsize: 490280 KiB
Current children cumulated memory: 446704 KiB
[startup+3596 s]*
/proc/loadavg: 4.10 4.10 4.05 5/263 23987
/proc/meminfo: memFree=128173472/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=490280 memory=446704 CPUtime=3584.85 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 96364 0 6 0 358469 16 0 0 20 0 1 0 33897317 502046720 111676 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 122570 111676 4096 3530 0 114021 0
Current children cumulated CPU time: 3584.85 s
Current children cumulated vsize: 490280 KiB
Current children cumulated memory: 446704 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.10 4.05 5/263 23987
/proc/meminfo: memFree=128173472/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=490280 memory=446704 CPUtime=3585.64 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 96364 0 6 0 358548 16 0 0 20 0 1 0 33897317 502046720 111676 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 122570 111676 4096 3530 0 114021 0
Current children cumulated CPU time: 3585.64 s
Current children cumulated vsize: 490280 KiB
Current children cumulated memory: 446704 KiB
[startup+3597.2 s]
/proc/loadavg: 4.10 4.10 4.05 5/263 23987
/proc/meminfo: memFree=128173472/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=490280 memory=446704 CPUtime=3586.04 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 96364 0 6 0 358588 16 0 0 20 0 1 0 33897317 502046720 111676 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 122570 111676 4096 3530 0 114021 0
Current children cumulated CPU time: 3586.04 s
Current children cumulated vsize: 490280 KiB
Current children cumulated memory: 446704 KiB
[startup+3597.3 s]
/proc/loadavg: 4.10 4.10 4.05 5/263 23987
/proc/meminfo: memFree=128173472/131250000 swapFree=33010684/33010684
[pid=23794] ppid=23788 vsize=447336 memory=403876 CPUtime=3586.14 cores=0,2
/proc/23794/stat : 23794 (pbscip) R 23788 23794 23738 0 -1 4194304 96440 0 6 0 358598 16 0 0 20 0 1 0 33897317 458072064 100969 18446744073709551615 4235264 18693293 140721566273056 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40706048 140721566275977 140721566276076 140721566276076 140721566281678 0
/proc/23794/statm: 111834 100969 4096 3530 0 103285 0
Current children cumulated CPU time: 3586.14 s
Current children cumulated vsize: 447336 KiB
Current children cumulated memory: 403876 KiB
Child status: 0
Real time (s): 3597.34
CPU time (s): 3586.19
CPU user time (s): 3586.02
CPU system time (s): 0.172353
CPU usage (%): 99.6902
Max. virtual memory (cumulated for all children) (KiB): 490280
Max. memory (cumulated for all children) (KiB): 446704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.02
system time used= 0.172353
maximum resident set size= 446704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96461
page faults= 6
swaps= 0
block input operations= 264
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 172
involuntary context switches= 7849
# summary of solver processes directly reported to runsolver:
# pid: 23794
# total CPU time (s): 3586.19
# total CPU user time (s): 3586.02
# total CPU system time (s): 0.172353
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.59932 second user time and 16.322 second system time
The end
Begin job on nodeC026 at 2025-06-29 09:29:46 IDJOB=4507058 IDBENCH=158319 IDSOLVER=3365 FILE ID=nodeC026/4507058-1751182186 RUNJOBID= nodeC026-1751182186-23748 SLURM_JOB_ID= 9587556 Free space on /tmp= 433056 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K155.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507058-1751182186/watcher-4507058-1751182186 -o /tmp/evaluation-result-4507058-1751182186/solver-4507058-1751182186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751182186-23748 --watchdog 3760 pbscip -f HOME/instance-4507058-1751182186.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4394b20101c323a14e6df6504cadd31d RANDOM SEED=399878956 nodeC026 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.577 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.59 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.757 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.59 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.796 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.59 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.502 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.59 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.521 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.59 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 : 3680.385 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.59 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 : 3599.777 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.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.788 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.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129992644 kB MemAvailable: 129800472 kB Buffers: 3280 kB Cached: 617620 kB SwapCached: 0 kB Active: 288424 kB Inactive: 398420 kB Active(anon): 84100 kB Inactive(anon): 0 kB Active(file): 204324 kB Inactive(file): 398420 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 79464 kB Writeback: 0 kB AnonPages: 69092 kB Mapped: 102880 kB Shmem: 18080 kB KReclaimable: 88644 kB Slab: 173908 kB SReclaimable: 88644 kB SUnreclaim: 85264 kB KernelStack: 4128 kB PageTables: 2792 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 329712 kB VmallocTotal: 34359738367 kB VmallocUsed: 150440 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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: 187092 kB DirectMap2M: 9021440 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432980 MiB End job on nodeC026 at 2025-06-29 10:29:44