| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3587.72 | 3597.16 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K194.opb |
| MD5SUM | 7d29d77727f08087434452962a118642 |
| 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 | 38.0612 |
| 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 | 23086 |
| Total number of constraints | 23476 |
| Number of constraints which are clauses | 23282 |
| Number of constraints which are cardinality constraints (but not clauses) | 194 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 194 |
| 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 | 195 |
| 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-4507166-1751184166.opb>
0.00/0.09 c original problem has 23086 variables (23086 bin, 0 int, 0 impl, 0 cont) and 23476 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.20/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, 2675 clqs
0.20/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, 2659 clqs
0.20/0.23 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, 2680 clqs
0.20/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, 2711 clqs
0.20/0.24 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, 2734 clqs
0.20/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, 2744 clqs
0.29/0.31 c (0.3s) running MILP presolver
0.49/0.55 c (0.5s) MILP presolver (4 rounds): 0 aggregations, 196 fixings, 0 bound changes
0.49/0.56 c (round 7, medium) 1378 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2754 clqs
0.49/0.58 c (round 8, fast) 1378 del vars, 831 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2757 clqs
0.59/0.61 c (round 9, exhaustive) 1378 del vars, 1023 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2757 clqs
0.68/0.71 c (round 10, exhaustive) 1378 del vars, 1023 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 22453 upgd conss, 0 impls, 2757 clqs
0.88/0.92 c (round 11, exhaustive) 1486 del vars, 1023 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 22453 upgd conss, 0 impls, 2745 clqs
0.88/0.93 c (round 12, fast) 1594 del vars, 1131 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 22453 upgd conss, 0 impls, 2745 clqs
3.08/3.12 c (round 13, exhaustive) 1620 del vars, 1132 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 22453 upgd conss, 0 impls, 140183 clqs
3.08/3.12 c (round 14, fast) 1621 del vars, 1158 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 164 chg coeffs, 22453 upgd conss, 0 impls, 140198 clqs
5.17/5.29 c (round 15, exhaustive) 1647 del vars, 1158 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 164 chg coeffs, 22453 upgd conss, 0 impls, 140190 clqs
5.27/5.30 c (round 16, fast) 1648 del vars, 1184 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 223 chg coeffs, 22453 upgd conss, 0 impls, 140202 clqs
6.76/6.88 c (6.9s) probing: 1000/22040 (4.5%) - 74 fixings, 0 aggregations, 1129345 implications, 0 bound changes
6.86/6.93 c (round 17, exhaustive) 1674 del vars, 1184 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 223 chg coeffs, 22453 upgd conss, 0 impls, 140201 clqs
6.86/6.94 c (round 18, fast) 1675 del vars, 1210 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 287 chg coeffs, 22453 upgd conss, 0 impls, 140215 clqs
7.76/7.80 c (round 19, exhaustive) 1701 del vars, 1210 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 287 chg coeffs, 22453 upgd conss, 0 impls, 140214 clqs
7.76/7.81 c (round 20, fast) 1701 del vars, 1236 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 358 chg coeffs, 22453 upgd conss, 0 impls, 140229 clqs
8.76/8.88 c (round 21, exhaustive) 1727 del vars, 1236 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 358 chg coeffs, 22453 upgd conss, 0 impls, 140205 clqs
8.76/8.89 c (round 22, fast) 1729 del vars, 1263 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 424 chg coeffs, 22453 upgd conss, 0 impls, 140217 clqs
9.15/9.21 c (round 23, exhaustive) 1754 del vars, 1263 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 425 chg coeffs, 22453 upgd conss, 0 impls, 140227 clqs
9.15/9.22 c (round 24, fast) 1754 del vars, 1288 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 479 chg coeffs, 22453 upgd conss, 0 impls, 140233 clqs
9.96/10.10 c (round 25, exhaustive) 1779 del vars, 1288 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 479 chg coeffs, 22453 upgd conss, 0 impls, 140282 clqs
10.06/10.11 c (round 26, fast) 1779 del vars, 1313 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 543 chg coeffs, 22453 upgd conss, 0 impls, 140293 clqs
10.45/10.57 c (round 27, exhaustive) 1805 del vars, 1313 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 543 chg coeffs, 22453 upgd conss, 0 impls, 140295 clqs
10.45/10.58 c (round 28, fast) 1806 del vars, 1339 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 600 chg coeffs, 22453 upgd conss, 0 impls, 140303 clqs
11.65/11.76 c (round 29, exhaustive) 1832 del vars, 1339 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 600 chg coeffs, 22453 upgd conss, 0 impls, 137630 clqs
11.65/11.77 c (round 30, fast) 1833 del vars, 1365 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 693 chg coeffs, 22453 upgd conss, 0 impls, 137656 clqs
12.05/12.12 c (round 31, exhaustive) 1859 del vars, 1365 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 693 chg coeffs, 22453 upgd conss, 0 impls, 140261 clqs
12.05/12.13 c (round 32, fast) 1860 del vars, 1391 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 755 chg coeffs, 22453 upgd conss, 0 impls, 140274 clqs
17.83/17.95 c (17.9s) probing: 2000/22040 (9.1%) - 274 fixings, 0 aggregations, 3498316 implications, 0 bound changes
17.93/18.09 c (round 33, exhaustive) 1885 del vars, 1391 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 758 chg coeffs, 22453 upgd conss, 0 impls, 139706 clqs
17.93/18.10 c (round 34, fast) 1885 del vars, 1416 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 825 chg coeffs, 22453 upgd conss, 0 impls, 139722 clqs
18.33/18.43 c (round 35, exhaustive) 1911 del vars, 1416 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 825 chg coeffs, 22453 upgd conss, 0 impls, 140205 clqs
18.33/18.43 c (round 36, fast) 1911 del vars, 1442 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 885 chg coeffs, 22453 upgd conss, 0 impls, 140214 clqs
19.42/19.53 c (round 37, exhaustive) 1936 del vars, 1442 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 887 chg coeffs, 22453 upgd conss, 0 impls, 140215 clqs
19.42/19.54 c (round 38, fast) 1936 del vars, 1467 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 938 chg coeffs, 22453 upgd conss, 0 impls, 140223 clqs
19.72/19.85 c (round 39, exhaustive) 1963 del vars, 1467 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 939 chg coeffs, 22453 upgd conss, 0 impls, 140155 clqs
19.72/19.86 c (round 40, fast) 1965 del vars, 1494 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 986 chg coeffs, 22453 upgd conss, 0 impls, 140160 clqs
20.03/20.18 c (round 41, exhaustive) 1990 del vars, 1494 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 986 chg coeffs, 22453 upgd conss, 0 impls, 139915 clqs
20.03/20.19 c (round 42, fast) 1990 del vars, 1519 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1011 chg coeffs, 22453 upgd conss, 0 impls, 139915 clqs
20.52/20.66 c (round 43, exhaustive) 2015 del vars, 1519 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1011 chg coeffs, 22453 upgd conss, 0 impls, 139643 clqs
20.52/20.67 c (round 44, fast) 2015 del vars, 1544 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1034 chg coeffs, 22453 upgd conss, 0 impls, 139643 clqs
24.02/24.15 c (round 45, exhaustive) 2040 del vars, 1544 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1034 chg coeffs, 22453 upgd conss, 0 impls, 140207 clqs
24.02/24.16 c (round 46, fast) 2040 del vars, 1569 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1060 chg coeffs, 22453 upgd conss, 0 impls, 140207 clqs
24.31/24.47 c (round 47, exhaustive) 2065 del vars, 1569 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1060 chg coeffs, 22453 upgd conss, 0 impls, 140049 clqs
24.31/24.48 c (round 48, fast) 2065 del vars, 1594 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1085 chg coeffs, 22453 upgd conss, 0 impls, 140049 clqs
24.71/24.82 c (24.8s) probing: 3000/22040 (13.6%) - 465 fixings, 0 aggregations, 4472363 implications, 0 bound changes
29.90/30.06 c (30.0s) probing: 4000/22040 (18.1%) - 468 fixings, 0 aggregations, 5733080 implications, 0 bound changes
34.98/35.13 c (35.1s) probing: 5000/22040 (22.7%) - 469 fixings, 0 aggregations, 6923761 implications, 0 bound changes
39.26/39.46 c (39.5s) probing: 6000/22040 (27.2%) - 472 fixings, 0 aggregations, 7884542 implications, 0 bound changes
43.55/43.76 c (43.8s) probing: 7000/22040 (31.8%) - 476 fixings, 0 aggregations, 8841205 implications, 0 bound changes
45.44/45.60 c (round 49, exhaustive) 2090 del vars, 1594 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1085 chg coeffs, 22453 upgd conss, 0 impls, 140301 clqs
45.44/45.61 c (round 50, fast) 2090 del vars, 1619 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1128 chg coeffs, 22453 upgd conss, 0 impls, 140304 clqs
45.74/45.94 c (round 51, exhaustive) 2115 del vars, 1619 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1128 chg coeffs, 22453 upgd conss, 0 impls, 140304 clqs
45.74/45.95 c (round 52, fast) 2115 del vars, 1644 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1161 chg coeffs, 22453 upgd conss, 0 impls, 140304 clqs
48.24/48.44 c (48.4s) probing: 8000/22040 (36.3%) - 504 fixings, 0 aggregations, 9761924 implications, 0 bound changes
52.42/52.66 c (52.6s) probing: 9000/22040 (40.8%) - 506 fixings, 0 aggregations, 10725207 implications, 0 bound changes
56.21/56.42 c (56.4s) probing: 10000/22040 (45.4%) - 509 fixings, 0 aggregations, 11692376 implications, 0 bound changes
59.90/60.10 c (60.1s) probing: 11000/22040 (49.9%) - 512 fixings, 0 aggregations, 12651926 implications, 0 bound changes
64.19/64.41 c (64.4s) probing: 12000/22040 (54.4%) - 513 fixings, 0 aggregations, 13615111 implications, 0 bound changes
65.68/65.95 c (65.9s) probing: 12349/22040 (56.0%) - 513 fixings, 0 aggregations, 13955716 implications, 0 bound changes
65.68/65.95 c (65.9s) probing aborted: 1000/1000 successive useless probings
65.68/66.00 c (66.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
65.89/66.12 c (66.1s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.05)
65.89/66.12 c dynamic symmetry handling statistics:
65.89/66.12 c orbitopal reduction: no components
65.89/66.12 c orbital reduction: no components
65.89/66.12 c lexicographic reduction: 3 permutations with support sizes 1822, 752, 364
65.89/66.12 c handled 4 out of 4 symmetry components
65.89/66.15 c presolving (53 rounds: 53 fast, 25 medium, 24 exhaustive):
65.89/66.15 c 2129 deleted vars, 1655 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1179 changed coefficients
65.89/66.15 c 0 implications, 140404 cliques
65.89/66.15 c presolved problem has 21514 variables (21514 bin, 0 int, 0 impl, 0 cont) and 21822 constraints
65.89/66.15 c 2648 constraints of type <setppc>
65.89/66.15 c 1 constraints of type <orbitope>
65.89/66.15 c 19173 constraints of type <logicor>
65.89/66.15 c transformed objective value is always integral (scale: 1)
65.89/66.15 c Presolving Time: 65.98
65.89/66.15 c - non default parameters ----------------------------------------------------------------------
65.89/66.15 c # SCIP version 10.0.0
65.89/66.15 c
65.89/66.15 c # maximal time in seconds to run
65.89/66.15 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
65.89/66.15 c limits/time = 3596.997014
65.89/66.15 c
65.89/66.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
65.89/66.15 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
65.89/66.15 c limits/memory = 27900
65.89/66.15 c
65.89/66.15 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
65.89/66.15 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
65.89/66.15 c limits/solutions = 1
65.89/66.15 c
65.89/66.15 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.
65.89/66.15 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
65.89/66.15 c misc/usesymmetry = 3
65.89/66.15 c
65.89/66.15 c # belongs reading time to solving time?
65.89/66.15 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
65.89/66.15 c timing/reading = TRUE
65.89/66.15 c
65.89/66.15 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
65.89/66.15 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
65.89/66.15 c propagating/symmetry/detectdoublelex = FALSE
65.89/66.15 c
65.89/66.15 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
65.89/66.15 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
65.89/66.15 c propagating/symmetry/detectsubgroups = FALSE
65.89/66.15 c
65.89/66.15 c # Type of symmetries that shall be computed?
65.89/66.15 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
65.89/66.15 c propagating/symmetry/symtype = 1
65.89/66.15 c
65.89/66.15 c # Should components consisting of a single full reflection be handled?
65.89/66.15 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
65.89/66.15 c propagating/symmetry/usesimplesgncomp = FALSE
65.89/66.15 c
65.89/66.15 c -----------------------------------------------------------------------------------------------
65.89/66.15 c start solving
65.89/66.15 c
92.40/92.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
92.40/92.70 c 92.7s| 1 | 0 | 18638 | - | 281M | 0 | 21k| 22k| 21k| 0 | 0 | 251 | 0 | 0.000000e+00 | -- | Inf | unknown
378.18/379.39 c 379s| 1 | 0 |118245 | - | 319M | 0 | 21k| 22k| 21k| 5 | 1 | 252 | 0 | 0.000000e+00 | -- | Inf | unknown
415.68/416.99 c 417s| 1 | 0 |131080 | - | 322M | 0 | 21k| 22k| 21k| 15 | 2 | 256 | 0 | 0.000000e+00 | -- | Inf | unknown
450.39/451.72 c 452s| 1 | 0 |142355 | - | 327M | 0 | 21k| 22k| 21k| 22 | 3 | 265 | 0 | 0.000000e+00 | -- | Inf | unknown
492.47/493.92 c 494s| 1 | 0 |155820 | - | 332M | 0 | 21k| 22k| 21k| 34 | 4 | 266 | 0 | 0.000000e+00 | -- | Inf | unknown
531.36/532.96 c 533s| 1 | 0 |167776 | - | 334M | 0 | 21k| 22k| 21k| 43 | 5 | 276 | 0 | 0.000000e+00 | -- | Inf | unknown
582.61/584.32 c 584s| 1 | 0 |183237 | - | 339M | 0 | 21k| 22k| 21k| 64 | 6 | 277 | 0 | 0.000000e+00 | -- | Inf | unknown
622.91/624.79 c 625s| 1 | 0 |195850 | - | 344M | 0 | 21k| 22k| 21k| 73 | 7 | 278 | 0 | 0.000000e+00 | -- | Inf | unknown
672.37/674.34 c 674s| 1 | 0 |211257 | - | 347M | 0 | 21k| 22k| 21k| 92 | 8 | 284 | 0 | 0.000000e+00 | -- | Inf | unknown
719.14/721.21 c 721s| 1 | 0 |225388 | - | 351M | 0 | 21k| 22k| 21k| 118 | 9 | 285 | 0 | 0.000000e+00 | -- | Inf | unknown
784.07/786.39 c 786s| 1 | 0 |245870 | - | 354M | 0 | 21k| 22k| 21k| 138 | 10 | 286 | 0 | 0.000000e+00 | -- | Inf | unknown
848.40/850.80 c 851s| 1 | 0 |265988 | - | 359M | 0 | 21k| 22k| 21k| 159 | 11 | 294 | 0 | 0.000000e+00 | -- | Inf | unknown
1286.58/1290.13 c 1290s| 1 | 2 |367210 | - | 369M | 0 | 21k| 21k| 21k| 159 | 11 | 302 | 19 | 0.000000e+00 | -- | Inf | unknown
3587.56/3597.01 c
3587.56/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.56/3597.01 c Solving Time (sec) : 3597.00
3587.56/3597.01 c Solving Nodes : 90
3587.56/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.56/3597.01 c Dual Bound : +0.00000000000000e+00
3587.56/3597.01 c Gap : infinite
3587.56/3597.01 s UNKNOWN
3587.56/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.56/3597.01 c Total Time : 3597.00
3587.56/3597.01 c solving : 3597.00
3587.56/3597.01 c presolving : 65.98 (included in solving)
3587.56/3597.01 c reading : 0.08 (included in solving)
3587.56/3597.01 c copying : 0.16 (3 #copies) (minimal 0.05, maximal 0.06, average 0.05)
3587.56/3597.01 c Original Problem :
3587.56/3597.01 c Problem name : HOME/instance-4507166-1751184166.opb
3587.56/3597.01 c Variables : 23086 (23086 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.56/3597.01 c Constraints : 23476 initial, 23476 maximal
3587.56/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.56/3597.01 c Presolved Problem :
3587.56/3597.01 c Problem name : t_HOME/instance-4507166-1751184166.opb
3587.56/3597.01 c Variables : 21514 (21514 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.56/3597.01 c Constraints : 21822 initial, 22091 maximal
3587.56/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.56/3597.01 c Nonzeros : 119599 constraint, 301938 clique table
3587.56/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.56/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c domcol : 1.30 0.00 21 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c dualsparsify : 0.05 0.00 1 0 0 0 0 0 11 0 0 18
3587.56/3597.01 c gateextraction : 0.29 0.00 22 0 0 0 0 0 1 0 0 0
3587.56/3597.01 c implics : 0.00 0.00 25 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c milp : 0.30 0.00 1 196 0 0 0 0 0 0 0 0
3587.56/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c sparsify : 0.62 0.00 4 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c trivial : 0.03 0.00 53 557 0 0 0 0 0 0 0 0
3587.56/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c dualfix : 0.03 0.00 53 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c probing : 58.12 0.00 21 513 0 0 0 0 0 0 0 0
3587.56/3597.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c symmetry : 0.12 0.00 1 3 0 0 0 0 0 1 0 0
3587.56/3597.01 c vbounds : 0.04 0.00 2 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c setppc : 0.25 0.00 87 0 0 0 0 0 109 0 0 0
3587.56/3597.01 c linear : 0.18 0.02 12 302 0 0 302 0 1023 0 0 0
3587.56/3597.01 c orbitope : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c logicor : 4.58 0.01 87 109 0 0 0 0 511 0 0 1161
3587.56/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c root node : - - - 0 - - 0 - - - - -
3587.56/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.56/3597.01 c benderslp : 0 0 0 0 60 0 0 10 0 0 0 0 0 0 0
3587.56/3597.01 c integral : 0 0 0 0 60 0 0 10 0 0 0 0 0 0 120
3587.56/3597.01 c setppc : 2648+ 2746 11 845521 0 0 0 6 31683 317 11668 0 0 0 0
3587.56/3597.01 c orbitope : 1 1 0 17456 0 0 0 0 10 0 3 0 0 0 0
3587.56/3597.01 c logicor : 19173+ 19346 11 204572 0 0 0 0 69200 123 19375 7 2 0 0
3587.56/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.56/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.56/3597.01 c integral : 54.90 0.00 0.00 0.00 54.90 0.00 0.00 0.00 0.00 0.00
3587.56/3597.01 c setppc : 5.65 0.00 0.01 5.54 0.00 0.00 0.00 0.00 0.01 0.10
3587.56/3597.01 c orbitope : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
3587.56/3597.01 c logicor : 16.11 0.01 0.04 15.99 0.00 0.00 0.00 0.00 0.03 0.04
3587.56/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.56/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.56/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.56/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.56/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.56/3597.01 c dualfix : 1 0 0 0
3587.56/3597.01 c genvbounds : 0 0 0 0
3587.56/3597.01 c nlobbt : 0 0 0 0
3587.56/3597.01 c obbt : 0 0 0 0
3587.56/3597.01 c probing : 0 0 0 0
3587.56/3597.01 c pseudoobj : 0 0 0 0
3587.56/3597.01 c redcost : 0 0 0 0
3587.56/3597.01 c rootredcost : 0 0 0 0
3587.56/3597.01 c symmetry : 0 0 0 0
3587.56/3597.01 c vbounds : 7267 0 0 0
3587.56/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.56/3597.01 c dualfix : 0.03 0.00 0.03 0.00 0.00 0.00
3587.56/3597.01 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00
3587.56/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.56/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.56/3597.01 c probing : 58.12 0.00 58.12 0.00 0.00 0.00
3587.56/3597.01 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3587.56/3597.01 c redcost : 0.03 0.00 0.00 0.03 0.00 0.00
3587.56/3597.01 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.00
3587.56/3597.01 c symmetry : 0.15 0.00 0.12 0.03 0.00 0.00
3587.56/3597.01 c vbounds : 0.09 0.00 0.04 0.05 0.00 0.00
3587.56/3597.01 c Symmetry :
3587.56/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.56/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.56/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.56/3597.01 c shadow tree time : 0.00 s
3587.56/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.56/3597.01 c propagation : 0.03 435 130 - 1425 146.5 0 0.0 - - -
3587.56/3597.01 c infeasible LP : 0.51 27 6 - 171 3759.1 0 0.0 0 0.0 0
3587.56/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.56/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.56/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.56/3597.01 c applied globally : 0.00 - - 0 310 86.3 - - 0 - -
3587.56/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.56/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.56/3597.01 c cut pool : 0.00 - 34 21 - - 371 512 - - - - - (maximal pool size: 371)
3587.56/3597.01 c aggregation : 0.08 0.00 14 11 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.56/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.56/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.56/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c clique : 2.52 0.00 11 11 0 0 78 128 0 28 28 0 0
3587.56/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c gomory : 28.13 0.00 13 10 0 0 168 204 38 17 16 1 0
3587.56/3597.01 c > gomorymi : - - - - - - - 93 19 10 9 1 -
3587.56/3597.01 c > strongcg : - - - - - - - 111 19 7 7 0 -
3587.56/3597.01 c impliedbounds : 0.10 0.00 14 11 0 0 48 54 0 22 22 0 0
3587.56/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c mcf : 0.02 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c multilinear : 0.00 0.00 15 11 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c rlt : 0.00 0.00 12 10 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c zerohalf : 16.08 0.00 14 11 0 0 124 126 9 125 118 7 0
3587.56/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.56/3597.01 c hybrid : 0.00 0.00 19 11 195 0 371 160 0 164
3587.56/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.56/3597.01 c problem variables: 0.00 - 0 0
3587.56/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.56/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c relpscost : 54.90 0.00 60 0 0 0 0 0 0 120
3587.56/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.56/3597.01 c LP solutions : 0.00 - - 0 0
3587.56/3597.01 c relax solutions : 0.00 - - 0 0
3587.56/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.56/3597.01 c strong branching : 0.00 - - 0 0
3587.56/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.56/3597.01 c adaptivediving : 0.00 0.00 0 0 0
3587.56/3597.01 c alns : 0.57 0.00 2 0 0
3587.56/3597.01 c bound : 0.00 0.00 0 0 0
3587.56/3597.01 c clique : 0.10 0.00 1 0 0
3587.56/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.56/3597.01 c completesol : 0.00 0.00 0 0 0
3587.56/3597.01 c conflictdiving : 383.63 0.00 1 0 0
3587.56/3597.01 c crossover : 0.00 0.00 0 0 0
3587.56/3597.01 c dins : 0.00 0.00 0 0 0
3587.56/3597.01 c distributiondivin: 0.01 0.00 0 0 0
3587.56/3597.01 c dps : 0.00 0.00 0 0 0
3587.56/3597.01 c dualval : 0.00 0.00 0 0 0
3587.56/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.56/3597.01 c feasjump : 0.05 0.00 1 0 0
3587.56/3597.01 c feaspump : 251.13 0.00 1 0 0
3587.56/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.56/3597.01 c fracdiving : 0.00 0.00 0 0 0
3587.56/3597.01 c gins : 0.00 0.00 0 0 0
3587.56/3597.01 c guideddiving : 0.00 0.00 0 0 0
3587.56/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.56/3597.01 c indicator : 0.00 0.00 0 0 0
3587.56/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.56/3597.01 c indoneopt : 0.00 0.00 0 0 0
3587.56/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.56/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.56/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.56/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.56/3597.01 c linesearchdiving : 0.00 0.00 0 0 0
3587.56/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.56/3597.01 c locks : 0.09 0.00 1 0 0
3587.56/3597.01 c lpface : 0.00 0.00 0 0 0
3587.56/3597.01 c mpec : 0.00 0.00 0 0 0
3587.56/3597.01 c multistart : 0.00 0.00 0 0 0
3587.56/3597.01 c mutation : 0.00 0.00 0 0 0
3587.56/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.56/3597.01 c objpscostdiving : 0.00 0.00 0 0 0
3587.56/3597.01 c octane : 0.00 0.00 0 0 0
3587.56/3597.01 c ofins : 0.00 0.00 0 0 0
3587.56/3597.01 c oneopt : 0.00 0.00 0 0 0
3587.56/3597.01 c padm : 0.00 0.00 0 0 0
3587.56/3597.01 c proximity : 0.00 0.00 0 0 0
3587.56/3597.01 c pscostdiving : 0.00 0.00 0 0 0
3587.56/3597.01 c randrounding : 0.21 0.00 15 0 0
3587.56/3597.01 c rens : 0.71 0.00 1 0 0
3587.56/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.56/3597.01 c repair : 0.00 0.00 0 0 0
3587.56/3597.01 c rins : 0.00 0.00 0 0 0
3587.56/3597.01 c rootsoldiving : 0.00 0.00 0 0 0
3587.56/3597.01 c rounding : 0.09 0.00 79 0 0
3587.56/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.56/3597.01 c shiftandpropagate: 0.10 0.00 1 0 0
3587.56/3597.01 c shifting : 0.26 0.00 24 0 0
3587.56/3597.01 c simplerounding : 0.00 0.00 0 0 0
3587.56/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.56/3597.01 c subnlp : 0.00 0.00 0 0 0
3587.56/3597.01 c trivial : 0.02 0.00 2 0 0
3587.56/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.56/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.56/3597.01 c trysol : 0.00 0.00 0 0 0
3587.56/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.56/3597.01 c undercover : 0.00 0.00 0 0 0
3587.56/3597.01 c vbounds : 0.18 0.00 1 0 0
3587.56/3597.01 c veclendiving : 0.00 0.00 0 0 0
3587.56/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.56/3597.01 c zirounding : 0.02 0.00 60 0 0
3587.56/3597.01 c other solutions : - - - 0 -
3587.56/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.56/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.56/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.56/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.56/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.56/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.56/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.56/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.56/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.56/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.56/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.56/3597.01 c primal LP : 0.09 3 0 0.00 0.00 0.09 3
3587.56/3597.01 c dual LP : 2790.74 111 1522232 14226.47 545.46 1.62 4
3587.56/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.56/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.56/3597.01 c resolve instable : 31.56 1 30022 30022.00 951.31
3587.56/3597.01 c diving/probing LP: 647.41 10 187974 18797.40 290.35
3587.56/3597.01 c strong branching : 41.66 19 19000 1000.00 456.12 - - 38
3587.56/3597.01 c (at root node) : - 19 19000 1000.00 -
3587.56/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3587.56/3597.01 c B&B Tree :
3587.56/3597.01 c number of runs : 1
3587.56/3597.01 c nodes : 90 (60 internal, 30 leaves)
3587.56/3597.01 c feasible leaves : 0
3587.56/3597.01 c infeas. leaves : 29
3587.56/3597.01 c objective leaves : 0
3587.56/3597.01 c nodes (total) : 90 (60 internal, 30 leaves)
3587.56/3597.01 c nodes left : 32
3587.56/3597.01 c max depth : 40
3587.56/3597.01 c max depth (total): 40
3587.56/3597.01 c backtracks : 4 (4.4%)
3587.56/3597.01 c early backtracks : 0 (0.0%)
3587.56/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.56/3597.01 c delayed cutoffs : 0
3587.56/3597.01 c repropagations : 14 (12 domain reductions, 0 cutoffs)
3587.56/3597.01 c avg switch length: 1.82
3587.56/3597.01 c switching time : 0.13
3587.56/3597.01 c Root Node :
3587.56/3597.01 c First LP value : +0.00000000000000e+00
3587.56/3597.01 c First LP Iters : 18638 (716.32 Iter/sec)
3587.56/3597.01 c First LP Time : 26.02
3587.56/3597.01 c Final Dual Bound : +0.00000000000000e+00
3587.56/3597.01 c Final Root Iters : 265988
3587.56/3597.01 c Root LP Estimate : +2.30476765253870e-03
3587.56/3597.01 c Solution :
3587.56/3597.01 c Solutions found : 0 (0 improvements)
3587.56/3597.01 c Primal Bound : -
3587.56/3597.01 c Dual Bound : +0.00000000000000e+00
3587.56/3597.01 c Gap : infinite
3587.56/3597.01 c Integrals : Total Avg%
3587.56/3597.01 c primal-dual : 359699.90 100.00
3587.56/3597.01 c primal-ref : - - (not evaluated)
3587.56/3597.01 c dual-ref : - - (not evaluated)
3587.66/3597.15 c Time complete: 3587.72.
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 (63104 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-4507166-1751184166/watcher-4507166-1751184166 -o /tmp/evaluation-result-4507166-1751184166/solver-4507166-1751184166 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751184166-19931 --watchdog 3760 pbscip -f HOME/instance-4507166-1751184166.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
solver pid=19985, runsolver pid=19977
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 0.82 2.50 4.32 6/265 19990
/proc/meminfo: memFree=129846036/131249996 swapFree=33010684/33010684
[pid=19985] ppid=19977 vsize=89484 memory=62960 CPUtime=0.09 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 12624 0 0 0 8 1 0 0 20 0 1 0 34096189 91631616 15740 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 22371 15740 3520 3530 0 13822 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 89484 KiB
Current children cumulated memory: 62960 KiB
[startup+0.205921 s]*
/proc/loadavg: 0.82 2.50 4.32 5/265 19990
/proc/meminfo: memFree=129688788/131249996 swapFree=33010684/33010684
[pid=19985] ppid=19977 vsize=138388 memory=108784 CPUtime=0.2 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 24012 0 0 0 17 3 0 0 20 0 1 0 34096189 141709312 27196 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 34597 27196 3584 3530 0 26048 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 138388 KiB
Current children cumulated memory: 108784 KiB
[startup+0.305756 s]*
/proc/loadavg: 0.82 2.50 4.32 5/265 19990
/proc/meminfo: memFree=129603684/131249996 swapFree=33010684/33010684
[pid=19985] ppid=19977 vsize=161168 memory=131200 CPUtime=0.29 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 28138 0 0 0 26 3 0 0 20 0 1 0 34096189 165036032 32800 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 40292 32800 3584 3530 0 31743 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 161168 KiB
Current children cumulated memory: 131200 KiB
[startup+0.700186 s]
/proc/loadavg: 0.82 2.50 4.32 5/265 19990
/proc/meminfo: memFree=129571804/131249996 swapFree=33010684/33010684
[pid=19985] ppid=19977 vsize=182284 memory=153136 CPUtime=0.68 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 38632 0 0 0 63 5 0 0 20 0 1 0 34096189 186658816 38284 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 45571 38284 3680 3530 0 37022 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 182284 KiB
Current children cumulated memory: 153136 KiB
[startup+1.50017 s]
/proc/loadavg: 0.82 2.50 4.32 5/265 19990
/proc/meminfo: memFree=129504112/131249996 swapFree=33010684/33010684
[pid=19985] ppid=19977 vsize=219316 memory=187168 CPUtime=1.47 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 45261 0 0 0 141 6 0 0 20 0 1 0 34096189 224579584 46792 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 54829 46792 3744 3530 0 46280 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 219316 KiB
Current children cumulated memory: 187168 KiB
[startup+3.10568 s]
/proc/loadavg: 1.15 2.55 4.32 5/265 19990
/proc/meminfo: memFree=129361640/131249996 swapFree=33010684/33010684
[pid=19985] ppid=19977 vsize=231620 memory=199072 CPUtime=3.08 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 48246 0 0 0 301 7 0 0 20 0 1 0 34096189 237178880 49768 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 57905 49768 3744 3530 0 49356 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 231620 KiB
Current children cumulated memory: 199072 KiB
[startup+6.30016 s]
/proc/loadavg: 1.15 2.55 4.32 5/265 19990
/proc/meminfo: memFree=129353864/131249996 swapFree=33010684/33010684
[pid=19985] ppid=19977 vsize=231776 memory=199200 CPUtime=6.26 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 48283 0 0 0 619 7 0 0 20 0 1 0 34096189 237338624 49800 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 57944 49800 3744 3530 0 49395 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 231776 KiB
Current children cumulated memory: 199200 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=19985] ppid=19977 vsize=241088 memory=208416 CPUtime=12.64 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 50669 0 0 0 1257 7 0 0 20 0 1 0 34096189 246874112 52104 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 60272 52104 3744 3530 0 51723 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 241088 KiB
Current children cumulated memory: 208416 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=19985] ppid=19977 vsize=242792 memory=210080 CPUtime=25.4 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 51084 0 0 0 2533 7 0 0 20 0 1 0 34096189 248619008 52520 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 60698 52520 3744 3530 0 52149 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 242792 KiB
Current children cumulated memory: 210080 KiB
[startup+51.1057 s]
/proc/loadavg: 2.74 2.77 4.31 5/265 19990
/proc/meminfo: memFree=129324268/131249996 swapFree=33010684/33010684
[pid=19985] ppid=19977 vsize=243748 memory=211104 CPUtime=50.93 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 51340 0 0 0 5086 7 0 0 20 0 1 0 34096189 249597952 52776 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 60937 52776 3744 3530 0 52388 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 243748 KiB
Current children cumulated memory: 211104 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=19985] ppid=19977 vsize=367336 memory=300820 CPUtime=101.97 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 76571 0 0 0 10185 12 0 0 20 0 1 0 34096189 376152064 75205 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 91834 75205 3968 3530 0 83285 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 367336 KiB
Current children cumulated memory: 300820 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=19985] ppid=19977 vsize=368956 memory=302612 CPUtime=161.8 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 77021 0 0 0 16168 12 0 0 20 0 1 0 34096189 377810944 75653 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 92239 75653 3968 3530 0 83690 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 368956 KiB
Current children cumulated memory: 302612 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=19985] ppid=19977 vsize=369688 memory=303380 CPUtime=221.63 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 77230 0 0 0 22150 13 0 0 20 0 1 0 34096189 378560512 75845 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 92422 75845 3968 3530 0 83873 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 369688 KiB
Current children cumulated memory: 303380 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=19985] ppid=19977 vsize=375380 memory=308268 CPUtime=281.46 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 77937 0 0 0 28133 13 0 0 20 0 1 0 34096189 384389120 77067 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 93845 77067 3968 3530 0 85296 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 375380 KiB
Current children cumulated memory: 308268 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=19985] ppid=19977 vsize=375380 memory=308268 CPUtime=341.29 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 77938 0 0 0 34116 13 0 0 20 0 1 0 34096189 384389120 77067 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 93845 77067 3968 3530 0 85296 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 375380 KiB
Current children cumulated memory: 308268 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=19985] ppid=19977 vsize=482868 memory=411700 CPUtime=401.12 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 87464 0 0 0 40096 16 0 0 20 0 1 0 34096189 494456832 102925 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 120717 102925 3968 3530 0 112168 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 482868 KiB
Current children cumulated memory: 411700 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=19985] ppid=19977 vsize=494308 memory=421384 CPUtime=460.96 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 89387 0 0 0 46079 17 0 0 20 0 1 0 34096189 506171392 105346 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 123577 105346 3968 3530 0 115028 0
Current children cumulated CPU time: 460.96 s
################
# More data... #
################
/proc/loadavg: 4.39 4.20 4.13 5/264 20142
/proc/meminfo: memFree=127949740/131249996 swapFree=33010684/33010684
[pid=19985] ppid=19977 vsize=619648 memory=566996 CPUtime=3213.78 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 118648 0 0 0 321356 22 0 0 20 0 1 0 34096189 634519552 141749 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 154912 141749 4128 3530 0 146363 0
Current children cumulated CPU time: 3213.78 s
Current children cumulated vsize: 619648 KiB
Current children cumulated memory: 566996 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=19985] ppid=19977 vsize=619648 memory=566996 CPUtime=3273.63 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 118648 0 0 0 327341 22 0 0 20 0 1 0 34096189 634519552 141749 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 154912 141749 4128 3530 0 146363 0
Current children cumulated CPU time: 3273.63 s
Current children cumulated vsize: 619648 KiB
Current children cumulated memory: 566996 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=19985] ppid=19977 vsize=619648 memory=566996 CPUtime=3333.48 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 118649 0 0 0 333326 22 0 0 20 0 1 0 34096189 634519552 141749 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 154912 141749 4128 3530 0 146363 0
Current children cumulated CPU time: 3333.48 s
Current children cumulated vsize: 619648 KiB
Current children cumulated memory: 566996 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=19985] ppid=19977 vsize=619648 memory=566996 CPUtime=3393.34 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 118649 0 0 0 339312 22 0 0 20 0 1 0 34096189 634519552 141749 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 154912 141749 4128 3530 0 146363 0
Current children cumulated CPU time: 3393.34 s
Current children cumulated vsize: 619648 KiB
Current children cumulated memory: 566996 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=19985] ppid=19977 vsize=619648 memory=566996 CPUtime=3453.19 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 118649 0 0 0 345297 22 0 0 20 0 1 0 34096189 634519552 141749 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 154912 141749 4128 3530 0 146363 0
Current children cumulated CPU time: 3453.19 s
Current children cumulated vsize: 619648 KiB
Current children cumulated memory: 566996 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=19985] ppid=19977 vsize=619648 memory=566996 CPUtime=3513.04 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 118722 0 0 0 351282 22 0 0 20 0 1 0 34096189 634519552 141749 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 154912 141749 4128 3530 0 146363 0
Current children cumulated CPU time: 3513.04 s
Current children cumulated vsize: 619648 KiB
Current children cumulated memory: 566996 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=19985] ppid=19977 vsize=619648 memory=566996 CPUtime=3572.89 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 118805 0 0 0 357267 22 0 0 20 0 1 0 34096189 634519552 141749 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 154912 141749 4128 3530 0 146363 0
Current children cumulated CPU time: 3572.89 s
Current children cumulated vsize: 619648 KiB
Current children cumulated memory: 566996 KiB
[startup+3597.16 s]
# the end of solver process 19985 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.49 s, system=0.228241 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=19985] ppid=19977 vsize=619648 memory=566996 CPUtime=3574.59 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 118805 0 0 0 357437 22 0 0 20 0 1 0 34096189 634519552 141749 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 154912 141749 4128 3530 0 146363 0
Current children cumulated CPU time: 3574.59 s
Current children cumulated vsize: 619648 KiB
Current children cumulated memory: 566996 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=19985] ppid=19977 vsize=619648 memory=566996 CPUtime=3580.97 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 118805 0 0 0 358075 22 0 0 20 0 1 0 34096189 634519552 141749 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 154912 141749 4128 3530 0 146363 0
Current children cumulated CPU time: 3580.97 s
Current children cumulated vsize: 619648 KiB
Current children cumulated memory: 566996 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=19985] ppid=19977 vsize=619648 memory=566996 CPUtime=3584.16 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 118805 0 0 0 358394 22 0 0 20 0 1 0 34096189 634519552 141749 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 154912 141749 4128 3530 0 146363 0
Current children cumulated CPU time: 3584.16 s
Current children cumulated vsize: 619648 KiB
Current children cumulated memory: 566996 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=19985] ppid=19977 vsize=619648 memory=566996 CPUtime=3585.76 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 118805 0 0 0 358554 22 0 0 20 0 1 0 34096189 634519552 141749 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 154912 141749 4128 3530 0 146363 0
Current children cumulated CPU time: 3585.76 s
Current children cumulated vsize: 619648 KiB
Current children cumulated memory: 566996 KiB
[startup+3596 s]*
/proc/loadavg: 4.12 4.19 4.16 5/264 20173
/proc/meminfo: memFree=127941532/131249996 swapFree=33010684/33010684
[pid=19985] ppid=19977 vsize=619648 memory=566996 CPUtime=3586.56 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 118805 0 0 0 358634 22 0 0 20 0 1 0 34096189 634519552 141749 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 154912 141749 4128 3530 0 146363 0
Current children cumulated CPU time: 3586.56 s
Current children cumulated vsize: 619648 KiB
Current children cumulated memory: 566996 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=19985] ppid=19977 vsize=619648 memory=566996 CPUtime=3587.35 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 118805 0 0 0 358713 22 0 0 20 0 1 0 34096189 634519552 141749 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 154912 141749 4128 3530 0 146363 0
Current children cumulated CPU time: 3587.35 s
Current children cumulated vsize: 619648 KiB
Current children cumulated memory: 566996 KiB
[startup+3597 s]*
/proc/loadavg: 4.12 4.19 4.16 5/264 20173
/proc/meminfo: memFree=127941532/131249996 swapFree=33010684/33010684
[pid=19985] ppid=19977 vsize=619648 memory=566996 CPUtime=3587.56 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 118805 0 0 0 358734 22 0 0 20 0 1 0 34096189 634519552 141749 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 154912 141749 4128 3530 0 146363 0
Current children cumulated CPU time: 3587.56 s
Current children cumulated vsize: 619648 KiB
Current children cumulated memory: 566996 KiB
[startup+3597.1 s]
/proc/loadavg: 4.12 4.19 4.16 5/264 20173
/proc/meminfo: memFree=127941532/131249996 swapFree=33010684/33010684
[pid=19985] ppid=19977 vsize=548804 memory=496244 CPUtime=3587.66 cores=0,2
/proc/19985/stat : 19985 (pbscip) R 19977 19985 19921 0 -1 4194304 118814 0 0 0 358744 22 0 0 20 0 1 0 34096189 561975296 124061 18446744073709551615 4235264 18693293 140724832938272 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43651072 140724832946569 140724832946668 140724832946668 140724832952270 0
/proc/19985/statm: 137201 124061 4128 3530 0 128652 0
Current children cumulated CPU time: 3587.66 s
Current children cumulated vsize: 548804 KiB
Current children cumulated memory: 496244 KiB
Child status: 0
Real time (s): 3597.16
CPU time (s): 3587.72
CPU user time (s): 3587.49
CPU system time (s): 0.228241
CPU usage (%): 99.7377
Max. virtual memory (cumulated for all children) (KiB): 619648
Max. memory (cumulated for all children) (KiB): 566996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.49
system time used= 0.228241
maximum resident set size= 566996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118839
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= 108
involuntary context switches= 7854
# summary of solver processes directly reported to runsolver:
# pid: 19985
# total CPU time (s): 3587.72
# total CPU user time (s): 3587.49
# total CPU system time (s): 0.228241
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.03546 second user time and 14.4528 second system time
The end
Begin job on nodeC030 at 2025-06-29 10:02:46 IDJOB=4507166 IDBENCH=158327 IDSOLVER=3365 FILE ID=nodeC030/4507166-1751184166 RUNJOBID= nodeC030-1751184166-19931 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_K194.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507166-1751184166/watcher-4507166-1751184166 -o /tmp/evaluation-result-4507166-1751184166/solver-4507166-1751184166 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751184166-19931 --watchdog 3760 pbscip -f HOME/instance-4507166-1751184166.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7d29d77727f08087434452962a118642 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.323 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 : 3600.414 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.494 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 : 3600.439 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.324 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.321 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: 330732 kB VmallocTotal: 34359738367 kB VmallocUsed: 150408 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