| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3586.27 | 3597.14 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K169.opb |
| MD5SUM | e3ebae4cd87024085ca08d92094a2c8e |
| 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 | 604.662 |
| 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 | 20111 |
| Total number of constraints | 20451 |
| Number of constraints which are clauses | 20282 |
| Number of constraints which are cardinality constraints (but not clauses) | 169 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 169 |
| 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 | 170 |
| 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-4506770-1751176373.opb>
0.00/0.08 c original problem has 20111 variables (20111 bin, 0 int, 0 impl, 0 cont) and 20451 constraints
0.00/0.08 c problem read in 0.08
0.00/0.08 c No objective function, only one solution is needed.
0.09/0.16 c presolving:
0.09/0.20 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, 2325 clqs
0.19/0.21 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, 2309 clqs
0.19/0.21 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, 2330 clqs
0.19/0.22 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, 2361 clqs
0.19/0.22 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, 2384 clqs
0.19/0.23 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, 2394 clqs
0.19/0.29 c (0.3s) running MILP presolver
0.49/0.52 c (0.5s) MILP presolver (4 rounds): 0 aggregations, 170 fixings, 0 bound changes
0.49/0.54 c (round 7, medium) 1352 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2404 clqs
0.49/0.55 c (round 8, fast) 1352 del vars, 805 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2408 clqs
0.49/0.58 c (round 9, exhaustive) 1352 del vars, 972 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2408 clqs
0.58/0.68 c (round 10, exhaustive) 1352 del vars, 972 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 19479 upgd conss, 0 impls, 2408 clqs
0.78/0.88 c (round 11, exhaustive) 1460 del vars, 972 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 19479 upgd conss, 0 impls, 2396 clqs
0.78/0.89 c (round 12, fast) 1568 del vars, 1080 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 19479 upgd conss, 0 impls, 2396 clqs
3.28/3.32 c (round 13, exhaustive) 1594 del vars, 1081 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 19479 upgd conss, 0 impls, 122103 clqs
3.28/3.33 c (round 14, fast) 1595 del vars, 1107 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 165 chg coeffs, 19479 upgd conss, 0 impls, 122118 clqs
5.17/5.25 c (round 15, exhaustive) 1622 del vars, 1107 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 165 chg coeffs, 19479 upgd conss, 0 impls, 122071 clqs
5.17/5.26 c (round 16, fast) 1622 del vars, 1134 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 227 chg coeffs, 19479 upgd conss, 0 impls, 122082 clqs
6.76/6.85 c (round 17, exhaustive) 1649 del vars, 1134 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 227 chg coeffs, 19479 upgd conss, 0 impls, 122098 clqs
6.76/6.86 c (round 18, fast) 1649 del vars, 1161 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 294 chg coeffs, 19479 upgd conss, 0 impls, 122110 clqs
7.76/7.81 c (round 19, exhaustive) 1674 del vars, 1161 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 294 chg coeffs, 19479 upgd conss, 0 impls, 122121 clqs
7.76/7.82 c (round 20, fast) 1674 del vars, 1186 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 358 chg coeffs, 19479 upgd conss, 0 impls, 122134 clqs
8.86/8.98 c (9.0s) probing: 1000/19091 (5.2%) - 110 fixings, 0 aggregations, 1107918 implications, 0 bound changes
9.85/9.92 c (round 21, exhaustive) 1700 del vars, 1186 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 358 chg coeffs, 19479 upgd conss, 0 impls, 122124 clqs
9.85/9.93 c (round 22, fast) 1701 del vars, 1212 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 423 chg coeffs, 19479 upgd conss, 0 impls, 122143 clqs
10.15/10.26 c (round 23, exhaustive) 1733 del vars, 1212 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 423 chg coeffs, 19479 upgd conss, 0 impls, 122161 clqs
10.15/10.27 c (round 24, fast) 1733 del vars, 1244 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 497 chg coeffs, 19479 upgd conss, 0 impls, 122172 clqs
10.95/11.03 c (round 25, exhaustive) 1759 del vars, 1244 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 497 chg coeffs, 19479 upgd conss, 0 impls, 122177 clqs
10.95/11.03 c (round 26, fast) 1759 del vars, 1270 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 560 chg coeffs, 19479 upgd conss, 0 impls, 122192 clqs
11.44/11.57 c (round 27, exhaustive) 1786 del vars, 1270 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 560 chg coeffs, 19479 upgd conss, 0 impls, 119489 clqs
11.44/11.58 c (round 28, fast) 1786 del vars, 1297 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 658 chg coeffs, 19479 upgd conss, 0 impls, 119511 clqs
11.94/12.08 c (round 29, exhaustive) 1812 del vars, 1297 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 658 chg coeffs, 19479 upgd conss, 0 impls, 120040 clqs
11.94/12.09 c (round 30, fast) 1812 del vars, 1323 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 713 chg coeffs, 19479 upgd conss, 0 impls, 120046 clqs
15.73/15.88 c (round 31, exhaustive) 1840 del vars, 1323 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 713 chg coeffs, 19479 upgd conss, 0 impls, 122217 clqs
15.73/15.89 c (round 32, fast) 1844 del vars, 1352 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 779 chg coeffs, 19479 upgd conss, 0 impls, 122227 clqs
17.23/17.38 c (round 33, exhaustive) 1869 del vars, 1352 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 781 chg coeffs, 19479 upgd conss, 0 impls, 122241 clqs
17.23/17.39 c (round 34, fast) 1869 del vars, 1377 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 844 chg coeffs, 19479 upgd conss, 0 impls, 122254 clqs
19.32/19.40 c (round 35, exhaustive) 1894 del vars, 1377 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 844 chg coeffs, 19479 upgd conss, 0 impls, 122242 clqs
19.32/19.41 c (round 36, fast) 1894 del vars, 1402 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 902 chg coeffs, 19479 upgd conss, 0 impls, 122249 clqs
19.62/19.72 c (round 37, exhaustive) 1919 del vars, 1402 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 902 chg coeffs, 19479 upgd conss, 0 impls, 122203 clqs
19.62/19.73 c (round 38, fast) 1919 del vars, 1427 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 943 chg coeffs, 19479 upgd conss, 0 impls, 122208 clqs
19.92/20.03 c (20.0s) probing: 2000/19091 (10.5%) - 352 fixings, 1 aggregations, 2958132 implications, 0 bound changes
19.92/20.05 c (round 39, exhaustive) 1944 del vars, 1427 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 943 chg coeffs, 19479 upgd conss, 0 impls, 122050 clqs
19.92/20.05 c (round 40, fast) 1944 del vars, 1452 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 968 chg coeffs, 19479 upgd conss, 0 impls, 122050 clqs
20.22/20.37 c (round 41, exhaustive) 1969 del vars, 1452 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 968 chg coeffs, 19479 upgd conss, 0 impls, 121889 clqs
20.22/20.38 c (round 42, fast) 1969 del vars, 1477 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 992 chg coeffs, 19479 upgd conss, 0 impls, 121889 clqs
20.72/20.86 c (round 43, exhaustive) 1994 del vars, 1477 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 992 chg coeffs, 19479 upgd conss, 0 impls, 121711 clqs
20.72/20.87 c (round 44, fast) 1994 del vars, 1502 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1016 chg coeffs, 19479 upgd conss, 0 impls, 121711 clqs
21.02/21.18 c (round 45, exhaustive) 2019 del vars, 1502 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1016 chg coeffs, 19479 upgd conss, 0 impls, 121641 clqs
21.02/21.19 c (round 46, fast) 2019 del vars, 1527 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1045 chg coeffs, 19479 upgd conss, 0 impls, 121642 clqs
27.19/27.31 c (27.3s) probing: 3000/19091 (15.7%) - 463 fixings, 1 aggregations, 4053789 implications, 0 bound changes
27.79/27.91 c (round 47, exhaustive) 2044 del vars, 1527 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1045 chg coeffs, 19479 upgd conss, 0 impls, 122341 clqs
27.79/27.92 c (round 48, fast) 2044 del vars, 1552 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1074 chg coeffs, 19479 upgd conss, 0 impls, 122341 clqs
29.39/29.51 c (round 49, exhaustive) 2069 del vars, 1552 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1074 chg coeffs, 19479 upgd conss, 0 impls, 122351 clqs
29.39/29.51 c (round 50, fast) 2069 del vars, 1577 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1100 chg coeffs, 19479 upgd conss, 0 impls, 122351 clqs
33.98/34.16 c (34.2s) probing: 4000/19091 (21.0%) - 506 fixings, 1 aggregations, 5222708 implications, 0 bound changes
39.75/39.94 c (39.9s) probing: 5000/19091 (26.2%) - 510 fixings, 1 aggregations, 6221812 implications, 0 bound changes
44.73/44.94 c (44.9s) probing: 5883/19091 (30.8%) - 510 fixings, 1 aggregations, 7075815 implications, 0 bound changes
44.73/44.94 c (44.9s) probing aborted: 1000/1000 successive useless probings
44.73/44.94 c (round 51, exhaustive) 2090 del vars, 1577 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1100 chg coeffs, 19479 upgd conss, 0 impls, 122358 clqs
44.73/44.95 c (round 52, fast) 2090 del vars, 1598 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1127 chg coeffs, 19479 upgd conss, 0 impls, 122358 clqs
45.63/45.85 c (45.8s) probing: 6000/19091 (31.4%) - 517 fixings, 1 aggregations, 7174433 implications, 0 bound changes
50.61/50.88 c (50.9s) probing: 6893/19091 (36.1%) - 517 fixings, 1 aggregations, 8020695 implications, 0 bound changes
50.61/50.88 c (50.9s) probing aborted: 1000/1000 successive useless probings
50.71/50.92 c (50.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
50.81/51.03 c (51.0s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.04)
50.81/51.03 c dynamic symmetry handling statistics:
50.81/51.03 c orbitopal reduction: no components
50.81/51.03 c orbital reduction: no components
50.81/51.03 c lexicographic reduction: 3 permutations with support sizes 1572, 652, 314
50.81/51.03 c handled 4 out of 4 symmetry components
50.81/51.06 c presolving (53 rounds: 53 fast, 25 medium, 24 exhaustive):
50.81/51.06 c 2100 deleted vars, 1605 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1135 changed coefficients
50.81/51.06 c 0 implications, 122391 cliques
50.81/51.06 c presolved problem has 18564 variables (18564 bin, 0 int, 0 impl, 0 cont) and 18847 constraints
50.81/51.06 c 2299 constraints of type <setppc>
50.81/51.06 c 1 constraints of type <orbitope>
50.81/51.06 c 16547 constraints of type <logicor>
50.81/51.06 c transformed objective value is always integral (scale: 1)
50.81/51.06 c Presolving Time: 50.90
50.81/51.06 c - non default parameters ----------------------------------------------------------------------
50.81/51.06 c # SCIP version 10.0.0
50.81/51.06 c
50.81/51.06 c # maximal time in seconds to run
50.81/51.06 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
50.81/51.06 c limits/time = 3596.998033
50.81/51.06 c
50.81/51.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
50.81/51.06 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
50.81/51.06 c limits/memory = 27900
50.81/51.06 c
50.81/51.06 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
50.81/51.06 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
50.81/51.06 c limits/solutions = 1
50.81/51.06 c
50.81/51.06 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.
50.81/51.06 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
50.81/51.06 c misc/usesymmetry = 3
50.81/51.06 c
50.81/51.06 c # belongs reading time to solving time?
50.81/51.06 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
50.81/51.06 c timing/reading = TRUE
50.81/51.06 c
50.81/51.06 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
50.81/51.06 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
50.81/51.06 c propagating/symmetry/detectdoublelex = FALSE
50.81/51.06 c
50.81/51.06 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
50.81/51.06 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
50.81/51.06 c propagating/symmetry/detectsubgroups = FALSE
50.81/51.06 c
50.81/51.06 c # Type of symmetries that shall be computed?
50.81/51.06 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
50.81/51.06 c propagating/symmetry/symtype = 1
50.81/51.06 c
50.81/51.06 c # Should components consisting of a single full reflection be handled?
50.81/51.06 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
50.81/51.06 c propagating/symmetry/usesimplesgncomp = FALSE
50.81/51.06 c
50.81/51.06 c -----------------------------------------------------------------------------------------------
50.81/51.06 c start solving
50.81/51.06 c
76.92/77.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
76.92/77.23 c 77.2s| 1 | 0 | 18392 | - | 242M | 0 | 18k| 18k| 18k| 0 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf | unknown
295.44/296.55 c 297s| 1 | 0 |116663 | - | 268M | 0 | 18k| 18k| 18k| 9 | 1 | 155 | 0 | 0.000000e+00 | -- | Inf | unknown
323.64/324.87 c 325s| 1 | 0 |127524 | - | 274M | 0 | 18k| 18k| 18k| 17 | 2 | 157 | 0 | 0.000000e+00 | -- | Inf | unknown
357.23/358.59 c 359s| 1 | 0 |139628 | - | 278M | 0 | 18k| 18k| 18k| 23 | 3 | 159 | 0 | 0.000000e+00 | -- | Inf | unknown
391.61/393.03 c 393s| 1 | 0 |151438 | - | 284M | 0 | 18k| 18k| 18k| 28 | 4 | 161 | 0 | 0.000000e+00 | -- | Inf | unknown
426.19/427.71 c 428s| 1 | 0 |163309 | - | 286M | 0 | 18k| 18k| 18k| 33 | 5 | 171 | 0 | 0.000000e+00 | -- | Inf | unknown
463.47/465.15 c 465s| 1 | 0 |175570 | - | 290M | 0 | 18k| 18k| 18k| 41 | 6 | 175 | 0 | 0.000000e+00 | -- | Inf | unknown
499.36/501.15 c 501s| 1 | 0 |187554 | - | 294M | 0 | 18k| 18k| 18k| 51 | 7 | 180 | 0 | 0.000000e+00 | -- | Inf | unknown
544.89/546.84 c 547s| 1 | 0 |202242 | - | 297M | 0 | 18k| 18k| 18k| 70 | 8 | 184 | 0 | 0.000000e+00 | -- | Inf | unknown
594.82/597.00 c 597s| 1 | 0 |217900 | - | 304M | 0 | 18k| 18k| 18k| 90 | 9 | 185 | 0 | 0.000000e+00 | -- | Inf | unknown
631.70/633.94 c 634s| 1 | 0 |229525 | - | 305M | 0 | 18k| 18k| 18k| 94 | 10 | 186 | 0 | 0.000000e+00 | -- | Inf | unknown
671.96/674.39 c 674s| 1 | 0 |242661 | - | 310M | 0 | 18k| 18k| 18k| 105 | 11 | 187 | 0 | 0.000000e+00 | -- | Inf | unknown
1570.46/1575.74 c 1576s| 1 | 2 |647622 | - | 317M | 0 | 18k| 18k| 18k| 105 | 11 | 196 | 19 | 0.000000e+00 | -- | Inf | unknown
2422.21/2430.28 c 2430s| 100 | 32 | 1130k|8968.4 | 349M | 40 | 18k| 19k| 18k| 202 | 0 | 258 | 19 | 0.000000e+00 | -- | Inf | unknown
3586.13/3597.01 c
3586.13/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3586.13/3597.01 c Solving Time (sec) : 3597.00
3586.13/3597.01 c Solving Nodes : 127
3586.13/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.13/3597.01 c Dual Bound : +0.00000000000000e+00
3586.13/3597.01 c Gap : infinite
3586.13/3597.01 s UNKNOWN
3586.13/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3586.13/3597.01 c Total Time : 3597.00
3586.13/3597.01 c solving : 3597.00
3586.13/3597.01 c presolving : 50.90 (included in solving)
3586.13/3597.01 c reading : 0.08 (included in solving)
3586.13/3597.01 c copying : 0.18 (3 #copies) (minimal 0.05, maximal 0.06, average 0.06)
3586.13/3597.01 c Original Problem :
3586.13/3597.01 c Problem name : HOME/instance-4506770-1751176373.opb
3586.13/3597.01 c Variables : 20111 (20111 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.13/3597.01 c Constraints : 20451 initial, 20451 maximal
3586.13/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.13/3597.01 c Presolved Problem :
3586.13/3597.01 c Problem name : t_HOME/instance-4506770-1751176373.opb
3586.13/3597.01 c Variables : 18564 (18564 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.13/3597.01 c Constraints : 18847 initial, 19052 maximal
3586.13/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.13/3597.01 c Nonzeros : 103181 constraint, 263013 clique table
3586.13/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.13/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c domcol : 1.18 0.00 21 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c dualsparsify : 0.04 0.00 1 0 0 0 0 0 7 0 0 8
3586.13/3597.01 c gateextraction : 0.28 0.00 22 0 0 0 0 0 1 0 0 0
3586.13/3597.01 c implics : 0.01 0.00 25 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c milp : 0.29 0.00 1 170 0 0 0 0 0 0 0 0
3586.13/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c sparsify : 0.71 0.00 4 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c trivial : 0.04 0.00 53 553 0 0 0 0 0 0 0 0
3586.13/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c dualfix : 0.03 0.00 53 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c probing : 42.97 0.00 21 517 1 0 0 0 0 0 0 0
3586.13/3597.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c symmetry : 0.11 0.00 1 3 0 0 0 0 0 1 0 0
3586.13/3597.01 c vbounds : 0.04 0.00 2 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c setppc : 0.25 0.00 87 0 0 0 0 0 109 0 0 0
3586.13/3597.01 c linear : 0.17 0.02 12 302 0 0 302 0 972 0 0 0
3586.13/3597.01 c orbitope : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c logicor : 4.71 0.01 87 109 0 0 0 0 516 0 0 1127
3586.13/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c root node : - - - 0 - - 0 - - - - -
3586.13/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.13/3597.01 c benderslp : 0 0 0 0 84 0 0 14 0 0 0 0 0 0 0
3586.13/3597.01 c integral : 0 0 0 0 84 0 0 14 0 0 0 0 0 0 168
3586.13/3597.01 c setppc : 2299+ 2396 11 411761 0 0 0 10 47920 330 10301 6 2 0 0
3586.13/3597.01 c orbitope : 1 1 0 14568 0 0 0 0 0 0 1 0 0 0 0
3586.13/3597.01 c logicor : 16547+ 16655 11 119790 0 0 0 0 165672 132 26261 10 7 0 0
3586.13/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.13/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.13/3597.01 c integral : 49.79 0.00 0.00 0.00 49.79 0.00 0.00 0.00 0.00 0.00
3586.13/3597.01 c setppc : 4.09 0.00 0.01 4.06 0.00 0.00 0.00 0.00 0.02 0.01
3586.13/3597.01 c orbitope : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
3586.13/3597.01 c logicor : 10.82 0.01 0.04 10.67 0.00 0.00 0.00 0.00 0.08 0.03
3586.13/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.13/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.13/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.13/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.13/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.13/3597.01 c dualfix : 1 0 0 0
3586.13/3597.01 c genvbounds : 0 0 0 0
3586.13/3597.01 c nlobbt : 0 0 0 0
3586.13/3597.01 c obbt : 0 0 0 0
3586.13/3597.01 c probing : 0 0 0 0
3586.13/3597.01 c pseudoobj : 0 0 0 0
3586.13/3597.01 c redcost : 0 0 0 0
3586.13/3597.01 c rootredcost : 0 0 0 0
3586.13/3597.01 c symmetry : 933 0 0 0
3586.13/3597.01 c vbounds : 5275 0 0 0
3586.13/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.13/3597.01 c dualfix : 0.03 0.00 0.03 0.00 0.00 0.00
3586.13/3597.01 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3586.13/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.13/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.13/3597.01 c probing : 42.97 0.00 42.97 0.00 0.00 0.00
3586.13/3597.01 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3586.13/3597.01 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.13/3597.01 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3586.13/3597.01 c symmetry : 0.13 0.00 0.11 0.02 0.00 0.00
3586.13/3597.01 c vbounds : 0.23 0.00 0.04 0.19 0.00 0.00
3586.13/3597.01 c Symmetry :
3586.13/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.13/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.13/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.13/3597.01 c shadow tree time : 0.00 s
3586.13/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.13/3597.01 c propagation : 0.03 458 134 - 567 80.4 2 8.5 - - -
3586.13/3597.01 c infeasible LP : 0.53 21 15 - 324 3043.4 1 9.0 0 0.0 0
3586.13/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.13/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.13/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.13/3597.01 c applied globally : 0.01 - - 0 271 133.9 - - 0 - -
3586.13/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.13/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.13/3597.01 c cut pool : 0.01 - 43 21 - - 529 897 - - - - - (maximal pool size: 529)
3586.13/3597.01 c aggregation : 0.10 0.00 19 11 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.13/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.13/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.13/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c clique : 1.97 0.00 11 11 0 0 89 199 0 47 47 0 0
3586.13/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c gomory : 18.96 0.00 18 10 0 0 400 560 70 56 49 7 0
3586.13/3597.01 c > gomorymi : - - - - - - - 290 35 34 30 4 -
3586.13/3597.01 c > strongcg : - - - - - - - 270 35 22 19 3 -
3586.13/3597.01 c impliedbounds : 0.15 0.00 19 11 0 0 41 52 0 17 17 0 0
3586.13/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c mcf : 0.02 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c multilinear : 0.00 0.00 17 11 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c rlt : 0.00 0.00 14 10 0 0 0 0 0 0 0 0 0
3586.13/3597.01 c zerohalf : 16.76 0.00 19 11 0 0 90 86 21 97 79 18 0
3586.13/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.13/3597.01 c hybrid : 0.01 0.00 25 11 226 0 778 105 0 140
3586.13/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.13/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.13/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3586.13/3597.01 c problem variables: 0.00 - 0 0
3586.13/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.13/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.13/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.13/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.13/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.13/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.13/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.13/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.13/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.13/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.13/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.13/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.13/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.13/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.13/3597.01 c relpscost : 49.79 0.00 84 0 0 0 0 0 0 168
3586.13/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.13/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.13/3597.01 c LP solutions : 0.00 - - 0 0
3586.13/3597.01 c relax solutions : 0.00 - - 0 0
3586.13/3597.01 c pseudo solutions : 0.00 - - 0 0
3586.13/3597.01 c strong branching : 0.00 - - 0 0
3586.13/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3586.13/3597.01 c adaptivediving : 300.23 0.00 1 0 0
3586.13/3597.01 c alns : 0.82 0.00 3 0 0
3586.13/3597.01 c bound : 0.00 0.00 0 0 0
3586.13/3597.01 c clique : 0.09 0.00 1 0 0
3586.13/3597.01 c coefdiving : 0.00 0.00 0 0 0
3586.13/3597.01 c completesol : 0.00 0.00 0 0 0
3586.13/3597.01 c conflictdiving : 851.12 0.00 1 0 0
3586.13/3597.01 c crossover : 0.00 0.00 0 0 0
3586.13/3597.01 c dins : 0.00 0.00 0 0 0
3586.13/3597.01 c distributiondivin: 0.03 0.00 0 0 0
3586.13/3597.01 c dps : 0.00 0.00 0 0 0
3586.13/3597.01 c dualval : 0.00 0.00 0 0 0
3586.13/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3586.13/3597.01 c feasjump : 0.05 0.00 1 0 0
3586.13/3597.01 c feaspump : 186.80 0.00 1 0 0
3586.13/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3586.13/3597.01 c fracdiving : 0.00 0.00 0 0 0
3586.13/3597.01 c gins : 0.00 0.00 0 0 0
3586.13/3597.01 c guideddiving : 0.00 0.00 0 0 0
3586.13/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3586.13/3597.01 c indicator : 0.00 0.00 0 0 0
3586.13/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3586.13/3597.01 c indoneopt : 0.00 0.00 0 0 0
3586.13/3597.01 c indrounding : 0.00 0.00 0 0 0
3586.13/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3586.13/3597.01 c intdiving : 0.00 0.00 0 0 0
3586.13/3597.01 c intshifting : 0.00 0.00 0 0 0
3586.13/3597.01 c linesearchdiving : 0.00 0.00 0 0 0
3586.13/3597.01 c localbranching : 0.00 0.00 0 0 0
3586.13/3597.01 c locks : 0.09 0.00 1 0 0
3586.13/3597.01 c lpface : 0.00 0.00 0 0 0
3586.13/3597.01 c mpec : 0.00 0.00 0 0 0
3586.13/3597.01 c multistart : 0.00 0.00 0 0 0
3586.13/3597.01 c mutation : 0.00 0.00 0 0 0
3586.13/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3586.13/3597.01 c objpscostdiving : 0.00 0.00 0 0 0
3586.13/3597.01 c octane : 0.00 0.00 0 0 0
3586.13/3597.01 c ofins : 0.00 0.00 0 0 0
3586.13/3597.01 c oneopt : 0.00 0.00 0 0 0
3586.13/3597.01 c padm : 0.00 0.00 0 0 0
3586.13/3597.01 c proximity : 0.00 0.00 0 0 0
3586.13/3597.01 c pscostdiving : 517.99 0.00 1 0 0
3586.13/3597.01 c randrounding : 0.18 0.00 19 0 0
3586.13/3597.01 c rens : 0.39 0.00 1 0 0
3586.13/3597.01 c reoptsols : 0.00 0.00 0 0 0
3586.13/3597.01 c repair : 0.00 0.00 0 0 0
3586.13/3597.01 c rins : 0.00 0.00 0 0 0
3586.13/3597.01 c rootsoldiving : 0.00 0.00 0 0 0
3586.13/3597.01 c rounding : 0.12 0.00 101 0 0
3586.13/3597.01 c scheduler : 0.00 0.00 0 0 0
3586.13/3597.01 c shiftandpropagate: 0.02 0.00 1 0 0
3586.13/3597.01 c shifting : 0.39 0.00 31 0 0
3586.13/3597.01 c simplerounding : 0.00 0.00 0 0 0
3586.13/3597.01 c smallcard : 0.00 0.00 0 0 0
3586.13/3597.01 c subnlp : 0.00 0.00 0 0 0
3586.13/3597.01 c trivial : 0.02 0.00 2 0 0
3586.13/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3586.13/3597.01 c trustregion : 0.00 0.00 0 0 0
3586.13/3597.01 c trysol : 0.00 0.00 0 0 0
3586.13/3597.01 c twoopt : 0.00 0.00 0 0 0
3586.13/3597.01 c undercover : 0.00 0.00 0 0 0
3586.13/3597.01 c vbounds : 0.14 0.00 1 0 0
3586.13/3597.01 c veclendiving : 0.00 0.00 0 0 0
3586.13/3597.01 c zeroobj : 0.00 0.00 0 0 0
3586.13/3597.01 c zirounding : 0.04 0.00 84 0 0
3586.13/3597.01 c other solutions : - - - 0 -
3586.13/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.13/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.13/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.13/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.13/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.13/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.13/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.13/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.13/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.13/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.13/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.13/3597.01 c primal LP : 0.19 8 0 0.00 0.00 0.19 8
3586.13/3597.01 c dual LP : 1597.77 128 843373 6588.85 527.84 0.00 0
3586.13/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3586.13/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.13/3597.01 c resolve instable : 30.32 1 24236 24236.00 799.45
3586.13/3597.01 c diving/probing LP: 1866.24 55 777272 14132.22 416.49
3586.13/3597.01 c strong branching : 38.98 19 17705 931.84 454.20 - - 35
3586.13/3597.01 c (at root node) : - 19 17705 931.84 -
3586.13/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3586.13/3597.01 c B&B Tree :
3586.13/3597.01 c number of runs : 1
3586.13/3597.01 c nodes : 127 (84 internal, 43 leaves)
3586.13/3597.01 c feasible leaves : 0
3586.13/3597.01 c infeas. leaves : 42
3586.13/3597.01 c objective leaves : 0
3586.13/3597.01 c nodes (total) : 127 (84 internal, 43 leaves)
3586.13/3597.01 c nodes left : 42
3586.13/3597.01 c max depth : 40
3586.13/3597.01 c max depth (total): 40
3586.13/3597.01 c backtracks : 14 (11.0%)
3586.13/3597.01 c early backtracks : 0 (0.0%)
3586.13/3597.01 c nodes exc. ref. : 0 (0.0%)
3586.13/3597.01 c delayed cutoffs : 1
3586.13/3597.01 c repropagations : 469 (182 domain reductions, 0 cutoffs)
3586.13/3597.01 c avg switch length: 9.27
3586.13/3597.01 c switching time : 0.57
3586.13/3597.01 c Root Node :
3586.13/3597.01 c First LP value : +0.00000000000000e+00
3586.13/3597.01 c First LP Iters : 18392 (713.80 Iter/sec)
3586.13/3597.01 c First LP Time : 25.77
3586.13/3597.01 c Final Dual Bound : +0.00000000000000e+00
3586.13/3597.01 c Final Root Iters : 242661
3586.13/3597.01 c Root LP Estimate : +1.47364017609300e-03
3586.13/3597.01 c Solution :
3586.13/3597.01 c Solutions found : 0 (0 improvements)
3586.13/3597.01 c Primal Bound : -
3586.13/3597.01 c Dual Bound : +0.00000000000000e+00
3586.13/3597.01 c Gap : infinite
3586.13/3597.01 c Integrals : Total Avg%
3586.13/3597.01 c primal-dual : 359699.96 100.00
3586.13/3597.01 c primal-ref : - - (not evaluated)
3586.13/3597.01 c dual-ref : - - (not evaluated)
3586.23/3597.13 c Time complete: 3586.27.
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 (58488 MiB free)
memory of node 1: 64507 MiB (58691 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506770-1751176373/watcher-4506770-1751176373 -o /tmp/evaluation-result-4506770-1751176373/solver-4506770-1751176373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751168386-23685 --watchdog 3760 pbscip -f HOME/instance-4506770-1751176373.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24875, runsolver pid=24872
[startup+0.100066 s]*
/proc/loadavg: 4.11 4.09 4.09 5/263 24876
/proc/meminfo: memFree=119991548/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=92272 memory=65984 CPUtime=0.09 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 13434 0 0 0 8 1 0 0 20 0 1 0 33315186 94486528 16496 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 23068 16496 3488 3530 0 14519 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 92272 KiB
Current children cumulated memory: 65984 KiB
[startup+0.205732 s]*
/proc/loadavg: 4.11 4.09 4.09 5/263 24876
/proc/meminfo: memFree=119991548/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=126440 memory=96960 CPUtime=0.19 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 21096 0 0 0 17 2 0 0 20 0 1 0 33315186 129474560 24240 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 31610 24240 3552 3530 0 23061 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 126440 KiB
Current children cumulated memory: 96960 KiB
[startup+0.305605 s]*
/proc/loadavg: 4.11 4.09 4.09 5/263 24876
/proc/meminfo: memFree=119971896/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=152136 memory=122484 CPUtime=0.29 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 28838 0 0 0 26 3 0 0 20 0 1 0 33315186 155787264 30621 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 38034 30621 3648 3530 0 29485 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 152136 KiB
Current children cumulated memory: 122484 KiB
[startup+0.700184 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 24876
/proc/meminfo: memFree=119979672/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=161304 memory=132152 CPUtime=0.68 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 34206 0 0 0 64 4 0 0 20 0 1 0 33315186 165175296 33038 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 40326 33038 3648 3530 0 31777 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 161304 KiB
Current children cumulated memory: 132152 KiB
[startup+1.50016 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 24876
/proc/meminfo: memFree=119976944/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=197536 memory=166032 CPUtime=1.48 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 40235 0 0 0 142 6 0 0 20 0 1 0 33315186 202276864 41508 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 49384 41508 3712 3530 0 40835 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 197536 KiB
Current children cumulated memory: 166032 KiB
[startup+3.10549 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 24876
/proc/meminfo: memFree=119955880/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=208772 memory=177040 CPUtime=3.08 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 42968 0 0 0 301 7 0 0 20 0 1 0 33315186 213782528 44260 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 52193 44260 3712 3530 0 43644 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 208772 KiB
Current children cumulated memory: 177040 KiB
[startup+6.30015 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 24876
/proc/meminfo: memFree=119984060/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=209340 memory=177552 CPUtime=6.27 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 43094 0 0 0 620 7 0 0 20 0 1 0 33315186 214364160 44388 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 52335 44388 3712 3530 0 43786 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 209340 KiB
Current children cumulated memory: 177552 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 24876
/proc/meminfo: memFree=120024864/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=218484 memory=186512 CPUtime=12.64 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 45394 0 0 0 1256 8 0 0 20 0 1 0 33315186 223727616 46628 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 54621 46628 3712 3530 0 46072 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 218484 KiB
Current children cumulated memory: 186512 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 24877
/proc/meminfo: memFree=120115088/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=218972 memory=187024 CPUtime=25.4 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 45534 0 0 0 2532 8 0 0 20 0 1 0 33315186 224227328 46756 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 54743 46756 3712 3530 0 46194 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 218972 KiB
Current children cumulated memory: 187024 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 24878
/proc/meminfo: memFree=120263136/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=278260 memory=223316 CPUtime=50.91 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 57217 0 0 0 5081 10 0 0 20 0 1 0 33315186 284938240 55829 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 69565 55829 3744 3530 0 61016 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 278260 KiB
Current children cumulated memory: 223316 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 24879
/proc/meminfo: memFree=120499320/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=325400 memory=267988 CPUtime=101.93 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 68324 0 0 0 10180 13 0 0 20 0 1 0 33315186 333209600 66997 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 81350 66997 3936 3530 0 72801 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 325400 KiB
Current children cumulated memory: 267988 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/264 24882
/proc/meminfo: memFree=120598472/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=325400 memory=267988 CPUtime=161.73 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 68346 0 0 0 16158 15 0 0 20 0 1 0 33315186 333209600 66997 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 81350 66997 3936 3530 0 72801 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 325400 KiB
Current children cumulated memory: 267988 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 24884
/proc/meminfo: memFree=120598932/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=325400 memory=267988 CPUtime=221.51 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 68346 0 0 0 22136 15 0 0 20 0 1 0 33315186 333209600 66997 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 81350 66997 3936 3530 0 72801 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 325400 KiB
Current children cumulated memory: 267988 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 24886
/proc/meminfo: memFree=120524996/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=401072 memory=341764 CPUtime=281.29 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 74542 0 0 0 28111 18 0 0 20 0 1 0 33315186 410697728 85441 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 100268 85441 3936 3530 0 91719 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 401072 KiB
Current children cumulated memory: 341764 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 24895
/proc/meminfo: memFree=120520200/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=415588 memory=353924 CPUtime=341.08 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 77577 0 0 0 34089 19 0 0 20 0 1 0 33315186 425562112 88481 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 103897 88481 3936 3530 0 95348 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 415588 KiB
Current children cumulated memory: 353924 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 24897
/proc/meminfo: memFree=120502428/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=423572 memory=361988 CPUtime=400.89 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 79625 0 0 0 40069 20 0 0 20 0 1 0 33315186 433737728 90497 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 105893 90497 3936 3530 0 97344 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 423572 KiB
Current children cumulated memory: 361988 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 24900
/proc/meminfo: memFree=120499680/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=429244 memory=368260 CPUtime=460.68 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 81192 0 0 0 46048 20 0 0 20 0 1 0 33315186 439545856 92065 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 107311 92065 3936 3530 0 98762 0
################
# More data... #
################
/proc/loadavg: 1.21 2.38 3.34 2/246 25135
/proc/meminfo: memFree=129557420/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=539228 memory=481384 CPUtime=3212.21 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 105901 0 0 0 321174 47 0 0 20 0 1 0 33315186 552169472 120346 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 134807 120346 4128 3530 0 126258 0
Current children cumulated CPU time: 3212.21 s
Current children cumulated vsize: 539228 KiB
Current children cumulated memory: 481384 KiB
[startup+3282.3 s]
/proc/loadavg: 1.13 2.14 3.19 2/246 25137
/proc/meminfo: memFree=129551136/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=539228 memory=487528 CPUtime=3272.07 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 105910 0 0 0 327160 47 0 0 20 0 1 0 33315186 552169472 121882 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 134807 121882 4128 3530 0 126258 0
Current children cumulated CPU time: 3272.07 s
Current children cumulated vsize: 539228 KiB
Current children cumulated memory: 487528 KiB
[startup+3342.3 s]
/proc/loadavg: 1.09 1.94 3.06 2/247 25146
/proc/meminfo: memFree=129549612/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=539228 memory=491112 CPUtime=3331.96 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 105911 0 0 0 333148 48 0 0 20 0 1 0 33315186 552169472 122778 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 134807 122778 4128 3530 0 126258 0
Current children cumulated CPU time: 3331.96 s
Current children cumulated vsize: 539228 KiB
Current children cumulated memory: 491112 KiB
[startup+3402.3 s]
/proc/loadavg: 1.07 1.78 2.93 2/247 25149
/proc/meminfo: memFree=129546628/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=539228 memory=492904 CPUtime=3391.83 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 105911 0 0 0 339135 48 0 0 20 0 1 0 33315186 552169472 123226 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 134807 123226 4128 3530 0 126258 0
Current children cumulated CPU time: 3391.83 s
Current children cumulated vsize: 539228 KiB
Current children cumulated memory: 492904 KiB
[startup+3462.3 s]
/proc/loadavg: 1.07 1.65 2.81 2/247 25151
/proc/meminfo: memFree=129547016/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=539228 memory=492904 CPUtime=3451.71 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 105920 0 0 0 345122 49 0 0 20 0 1 0 33315186 552169472 123226 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 134807 123226 4128 3530 0 126258 0
Current children cumulated CPU time: 3451.71 s
Current children cumulated vsize: 539228 KiB
Current children cumulated memory: 492904 KiB
[startup+3522.3 s]
/proc/loadavg: 1.14 1.56 2.71 2/247 25154
/proc/meminfo: memFree=129547616/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=539228 memory=492904 CPUtime=3511.58 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 105921 0 0 0 351109 49 0 0 20 0 1 0 33315186 552169472 123226 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 134807 123226 4128 3530 0 126258 0
Current children cumulated CPU time: 3511.58 s
Current children cumulated vsize: 539228 KiB
Current children cumulated memory: 492904 KiB
[startup+3582.3 s]
/proc/loadavg: 1.11 1.47 2.60 2/247 25156
/proc/meminfo: memFree=129565688/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=539228 memory=492904 CPUtime=3571.46 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 105926 0 0 0 357096 50 0 0 20 0 1 0 33315186 552169472 123226 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 134807 123226 4128 3530 0 126258 0
Current children cumulated CPU time: 3571.46 s
Current children cumulated vsize: 539228 KiB
Current children cumulated memory: 492904 KiB
[startup+3597.14 s]
# the end of solver process 24875 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.77 s, system=0.504083 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.11 1.47 2.60 2/247 25156
/proc/meminfo: memFree=129565688/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=539228 memory=492904 CPUtime=3573.16 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 105926 0 0 0 357266 50 0 0 20 0 1 0 33315186 552169472 123226 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 134807 123226 4128 3530 0 126258 0
Current children cumulated CPU time: 3573.16 s
Current children cumulated vsize: 539228 KiB
Current children cumulated memory: 492904 KiB
[startup+3590.4 s]
/proc/loadavg: 1.10 1.47 2.59 2/247 25156
/proc/meminfo: memFree=129565688/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=539228 memory=492904 CPUtime=3579.54 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 105926 0 0 0 357904 50 0 0 20 0 1 0 33315186 552169472 123226 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 134807 123226 4128 3530 0 126258 0
Current children cumulated CPU time: 3579.54 s
Current children cumulated vsize: 539228 KiB
Current children cumulated memory: 492904 KiB
[startup+3593.6 s]
/proc/loadavg: 1.10 1.46 2.59 2/247 25156
/proc/meminfo: memFree=129565688/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=539228 memory=492904 CPUtime=3582.73 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 105926 0 0 0 358223 50 0 0 20 0 1 0 33315186 552169472 123226 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 134807 123226 4128 3530 0 126258 0
Current children cumulated CPU time: 3582.73 s
Current children cumulated vsize: 539228 KiB
Current children cumulated memory: 492904 KiB
[startup+3595.2 s]
/proc/loadavg: 1.10 1.46 2.59 2/247 25156
/proc/meminfo: memFree=129565688/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=539228 memory=492904 CPUtime=3584.33 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 105926 0 0 0 358383 50 0 0 20 0 1 0 33315186 552169472 123226 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 134807 123226 4128 3530 0 126258 0
Current children cumulated CPU time: 3584.33 s
Current children cumulated vsize: 539228 KiB
Current children cumulated memory: 492904 KiB
[startup+3596 s]*
/proc/loadavg: 1.09 1.45 2.58 2/247 25156
/proc/meminfo: memFree=129565688/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=539228 memory=492904 CPUtime=3585.13 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 105926 0 0 0 358463 50 0 0 20 0 1 0 33315186 552169472 123226 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 134807 123226 4128 3530 0 126258 0
Current children cumulated CPU time: 3585.13 s
Current children cumulated vsize: 539228 KiB
Current children cumulated memory: 492904 KiB
[startup+3596.8 s]
/proc/loadavg: 1.09 1.45 2.58 2/247 25156
/proc/meminfo: memFree=129565688/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=539228 memory=492904 CPUtime=3585.93 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 105926 0 0 0 358543 50 0 0 20 0 1 0 33315186 552169472 123226 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 134807 123226 4128 3530 0 126258 0
Current children cumulated CPU time: 3585.93 s
Current children cumulated vsize: 539228 KiB
Current children cumulated memory: 492904 KiB
[startup+3597 s]*
/proc/loadavg: 1.09 1.45 2.58 2/247 25156
/proc/meminfo: memFree=129565688/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=539228 memory=492904 CPUtime=3586.13 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 105926 0 0 0 358563 50 0 0 20 0 1 0 33315186 552169472 123226 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 134807 123226 4128 3530 0 126258 0
Current children cumulated CPU time: 3586.13 s
Current children cumulated vsize: 539228 KiB
Current children cumulated memory: 492904 KiB
[startup+3597.1 s]
/proc/loadavg: 1.09 1.45 2.58 2/247 25156
/proc/meminfo: memFree=129565688/131250000 swapFree=33010684/33010684
[pid=24875] ppid=24872 vsize=486740 memory=440516 CPUtime=3586.23 cores=4,6
/proc/24875/stat : 24875 (pbscip) R 24872 24875 23674 0 -1 4194304 105927 0 0 0 358573 50 0 0 20 0 1 0 33315186 498421760 110129 18446744073709551615 4235264 18693293 140736305537024 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54886400 140736305539465 140736305539564 140736305539564 140736305545166 0
/proc/24875/statm: 121685 110129 4128 3530 0 113136 0
Current children cumulated CPU time: 3586.23 s
Current children cumulated vsize: 486740 KiB
Current children cumulated memory: 440516 KiB
Child status: 0
Real time (s): 3597.14
CPU time (s): 3586.27
CPU user time (s): 3585.77
CPU system time (s): 0.504083
CPU usage (%): 99.6978
Max. virtual memory (cumulated for all children) (KiB): 539228
Max. memory (cumulated for all children) (KiB): 492904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.77
system time used= 0.504083
maximum resident set size= 492904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105938
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102
involuntary context switches= 1962
# summary of solver processes directly reported to runsolver:
# pid: 24875
# total CPU time (s): 3586.27
# total CPU user time (s): 3585.77
# total CPU system time (s): 0.504083
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.78611 second user time and 14.646 second system time
The end
Begin job on nodeC018 at 2025-06-29 07:52:53 IDJOB=4506770 IDBENCH=158263 IDSOLVER=3365 FILE ID=nodeC018/4506770-1751176373 RUNJOBID= nodeC018-1751168386-23685 SLURM_JOB_ID= 9587511 Free space on /tmp= 432932 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K169.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506770-1751176373/watcher-4506770-1751176373 -o /tmp/evaluation-result-4506770-1751176373/solver-4506770-1751176373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751168386-23685 --watchdog 3760 pbscip -f HOME/instance-4506770-1751176373.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= e3ebae4cd87024085ca08d92094a2c8e RANDOM SEED=1811902201 nodeC018 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.828 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.66 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.822 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.66 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.132 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.66 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 : 3601.657 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.66 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 : 3620.178 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.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.755 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.66 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.927 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.66 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.594 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.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 119991548 kB MemAvailable: 119782828 kB Buffers: 3280 kB Cached: 601400 kB SwapCached: 0 kB Active: 9306664 kB Inactive: 344232 kB Active(anon): 9064292 kB Inactive(anon): 0 kB Active(file): 242372 kB Inactive(file): 344232 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 20052 kB Writeback: 0 kB AnonPages: 9048732 kB Mapped: 137312 kB Shmem: 18076 kB KReclaimable: 87432 kB Slab: 170724 kB SReclaimable: 87432 kB SUnreclaim: 83292 kB KernelStack: 4240 kB PageTables: 21152 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 10303172 kB VmallocTotal: 34359738367 kB VmallocUsed: 150552 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 4169728 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: 201428 kB DirectMap2M: 7958528 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433044 MiB End job on nodeC018 at 2025-06-29 08:52:51