| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3595.22 | 3604.64 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K188.opb |
| MD5SUM | 416ae2bcad94d751017f8086501bbe46 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 28.0032 |
| 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 | 22372 |
| Total number of constraints | 22750 |
| Number of constraints which are clauses | 22562 |
| Number of constraints which are cardinality constraints (but not clauses) | 188 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 188 |
| 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 | 189 |
| 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.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4506842-1751176846.opb>
0.00/0.08 c original problem has 22372 variables (22372 bin, 0 int, 0 impl, 0 cont) and 22750 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.19 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, 2591 clqs
0.09/0.20 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, 2575 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, 2596 clqs
0.19/0.21 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, 2627 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, 2650 clqs
0.19/0.22 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, 2660 clqs
0.19/0.28 c (0.3s) running MILP presolver
0.39/0.51 c (0.5s) MILP presolver (4 rounds): 0 aggregations, 192 fixings, 0 bound changes
0.49/0.52 c (round 7, medium) 1374 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2668 clqs
0.49/0.53 c (round 8, fast) 1374 del vars, 827 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2677 clqs
0.49/0.56 c (round 9, exhaustive) 1374 del vars, 1013 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2677 clqs
0.59/0.66 c (round 10, exhaustive) 1374 del vars, 1013 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 21737 upgd conss, 0 impls, 2677 clqs
0.78/0.86 c (round 11, exhaustive) 1481 del vars, 1013 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 107 chg coeffs, 21737 upgd conss, 0 impls, 2662 clqs
0.78/0.87 c (round 12, fast) 1588 del vars, 1120 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 107 chg coeffs, 21737 upgd conss, 0 impls, 2662 clqs
2.47/2.59 c (round 13, exhaustive) 1613 del vars, 1121 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 107 chg coeffs, 21737 upgd conss, 0 impls, 135860 clqs
2.47/2.59 c (round 14, fast) 1613 del vars, 1146 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 161 chg coeffs, 21737 upgd conss, 0 impls, 135870 clqs
4.17/4.20 c (round 15, exhaustive) 1638 del vars, 1146 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 161 chg coeffs, 21737 upgd conss, 0 impls, 135867 clqs
4.17/4.21 c (round 16, fast) 1638 del vars, 1171 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 217 chg coeffs, 21737 upgd conss, 0 impls, 135876 clqs
5.26/5.31 c (round 17, exhaustive) 1664 del vars, 1171 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 217 chg coeffs, 21737 upgd conss, 0 impls, 135871 clqs
5.26/5.32 c (round 18, fast) 1665 del vars, 1197 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 286 chg coeffs, 21737 upgd conss, 0 impls, 135888 clqs
5.87/5.98 c (6.0s) probing: 1000/21331 (4.7%) - 92 fixings, 0 aggregations, 1120632 implications, 0 bound changes
6.08/6.13 c (round 19, exhaustive) 1690 del vars, 1197 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 286 chg coeffs, 21737 upgd conss, 0 impls, 135873 clqs
6.08/6.14 c (round 20, fast) 1690 del vars, 1222 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 344 chg coeffs, 21737 upgd conss, 0 impls, 135888 clqs
6.57/6.62 c (round 21, exhaustive) 1715 del vars, 1222 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 344 chg coeffs, 21737 upgd conss, 0 impls, 135904 clqs
6.57/6.63 c (round 22, fast) 1715 del vars, 1247 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 404 chg coeffs, 21737 upgd conss, 0 impls, 135911 clqs
7.47/7.56 c (round 23, exhaustive) 1741 del vars, 1247 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 404 chg coeffs, 21737 upgd conss, 0 impls, 135884 clqs
7.47/7.57 c (round 24, fast) 1742 del vars, 1273 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 459 chg coeffs, 21737 upgd conss, 0 impls, 135898 clqs
7.87/7.90 c (round 25, exhaustive) 1768 del vars, 1273 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 459 chg coeffs, 21737 upgd conss, 0 impls, 135927 clqs
7.87/7.91 c (round 26, fast) 1768 del vars, 1299 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 522 chg coeffs, 21737 upgd conss, 0 impls, 135938 clqs
9.75/9.80 c (round 27, exhaustive) 1802 del vars, 1299 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 522 chg coeffs, 21737 upgd conss, 0 impls, 133069 clqs
9.75/9.81 c (round 28, fast) 1802 del vars, 1333 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 636 chg coeffs, 21737 upgd conss, 0 impls, 133096 clqs
10.15/10.25 c (round 29, exhaustive) 1828 del vars, 1333 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 636 chg coeffs, 21737 upgd conss, 0 impls, 135926 clqs
10.15/10.26 c (round 30, fast) 1829 del vars, 1359 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 692 chg coeffs, 21737 upgd conss, 0 impls, 135933 clqs
14.54/14.67 c (14.7s) probing: 2000/21331 (9.4%) - 258 fixings, 1 aggregations, 3408865 implications, 0 bound changes
14.94/15.02 c (round 31, exhaustive) 1854 del vars, 1359 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 693 chg coeffs, 21737 upgd conss, 0 impls, 135684 clqs
14.94/15.02 c (round 32, fast) 1854 del vars, 1384 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 760 chg coeffs, 21737 upgd conss, 0 impls, 135698 clqs
15.24/15.31 c (round 33, exhaustive) 1881 del vars, 1384 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 760 chg coeffs, 21737 upgd conss, 0 impls, 135884 clqs
15.24/15.32 c (round 34, fast) 1881 del vars, 1411 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 816 chg coeffs, 21737 upgd conss, 0 impls, 135889 clqs
15.54/15.67 c (round 35, exhaustive) 1906 del vars, 1411 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 818 chg coeffs, 21737 upgd conss, 0 impls, 135927 clqs
15.54/15.68 c (round 36, fast) 1906 del vars, 1436 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 852 chg coeffs, 21737 upgd conss, 0 impls, 135930 clqs
15.83/15.95 c (round 37, exhaustive) 1931 del vars, 1436 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 852 chg coeffs, 21737 upgd conss, 0 impls, 135765 clqs
15.83/15.96 c (round 38, fast) 1931 del vars, 1461 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 877 chg coeffs, 21737 upgd conss, 0 impls, 135765 clqs
16.13/16.23 c (round 39, exhaustive) 1956 del vars, 1461 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 877 chg coeffs, 21737 upgd conss, 0 impls, 135568 clqs
16.13/16.24 c (round 40, fast) 1956 del vars, 1486 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 900 chg coeffs, 21737 upgd conss, 0 impls, 135568 clqs
16.43/16.51 c (round 41, exhaustive) 1981 del vars, 1486 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 900 chg coeffs, 21737 upgd conss, 0 impls, 135937 clqs
16.43/16.52 c (round 42, fast) 1981 del vars, 1511 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 930 chg coeffs, 21737 upgd conss, 0 impls, 135937 clqs
16.83/16.92 c (round 43, exhaustive) 2006 del vars, 1511 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 930 chg coeffs, 21737 upgd conss, 0 impls, 135771 clqs
16.83/16.93 c (round 44, fast) 2006 del vars, 1536 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 955 chg coeffs, 21737 upgd conss, 0 impls, 135771 clqs
19.82/19.97 c (20.0s) probing: 3000/21331 (14.1%) - 427 fixings, 1 aggregations, 4382939 implications, 0 bound changes
23.61/23.70 c (round 45, exhaustive) 2031 del vars, 1536 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 955 chg coeffs, 21737 upgd conss, 0 impls, 135981 clqs
23.61/23.71 c (round 46, fast) 2031 del vars, 1561 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 980 chg coeffs, 21737 upgd conss, 0 impls, 135981 clqs
23.81/23.98 c (round 47, exhaustive) 2056 del vars, 1561 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 980 chg coeffs, 21737 upgd conss, 0 impls, 135853 clqs
23.81/23.98 c (round 48, fast) 2056 del vars, 1586 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1005 chg coeffs, 21737 upgd conss, 0 impls, 135853 clqs
24.31/24.44 c (24.4s) probing: 4000/21331 (18.8%) - 474 fixings, 1 aggregations, 5587303 implications, 0 bound changes
28.10/28.23 c (28.2s) probing: 5000/21331 (23.4%) - 482 fixings, 1 aggregations, 6740171 implications, 0 bound changes
31.28/31.40 c (31.4s) probing: 6000/21331 (28.1%) - 484 fixings, 1 aggregations, 7700594 implications, 0 bound changes
32.28/32.46 c (round 49, exhaustive) 2081 del vars, 1586 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1005 chg coeffs, 21737 upgd conss, 0 impls, 136016 clqs
32.28/32.47 c (round 50, fast) 2081 del vars, 1611 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1037 chg coeffs, 21737 upgd conss, 0 impls, 136018 clqs
32.58/32.76 c (round 51, exhaustive) 2106 del vars, 1611 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1037 chg coeffs, 21737 upgd conss, 0 impls, 136020 clqs
32.58/32.76 c (round 52, fast) 2106 del vars, 1636 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1068 chg coeffs, 21737 upgd conss, 0 impls, 136020 clqs
34.88/35.04 c (35.0s) probing: 7000/21331 (32.8%) - 513 fixings, 1 aggregations, 8616545 implications, 0 bound changes
36.77/36.99 c (37.0s) probing: 7606/21331 (35.7%) - 513 fixings, 1 aggregations, 9194293 implications, 0 bound changes
36.77/36.99 c (37.0s) probing aborted: 1000/1000 successive useless probings
36.87/37.03 c (37.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
36.97/37.14 c (37.1s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.04)
36.97/37.14 c dynamic symmetry handling statistics:
36.97/37.14 c orbitopal reduction: no components
36.97/37.14 c orbital reduction: no components
36.97/37.14 c lexicographic reduction: 3 permutations with support sizes 1762, 728, 352
36.97/37.14 c handled 4 out of 4 symmetry components
36.97/37.17 c presolving (53 rounds: 53 fast, 25 medium, 24 exhaustive):
36.97/37.17 c 2111 deleted vars, 1638 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1070 changed coefficients
36.97/37.17 c 0 implications, 136153 cliques
36.97/37.17 c presolved problem has 20811 variables (20811 bin, 0 int, 0 impl, 0 cont) and 21113 constraints
36.97/37.17 c 2564 constraints of type <setppc>
36.97/37.17 c 1 constraints of type <orbitope>
36.97/37.17 c 18548 constraints of type <logicor>
36.97/37.17 c transformed objective value is always integral (scale: 1)
36.97/37.17 c Presolving Time: 37.02
36.97/37.17 c - non default parameters ----------------------------------------------------------------------
36.97/37.17 c # SCIP version 10.0.0
36.97/37.17 c
36.97/37.17 c # maximal time in seconds to run
36.97/37.17 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
36.97/37.17 c limits/time = 3596.997014
36.97/37.17 c
36.97/37.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
36.97/37.17 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
36.97/37.17 c limits/memory = 27900
36.97/37.17 c
36.97/37.17 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
36.97/37.17 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
36.97/37.17 c limits/solutions = 1
36.97/37.17 c
36.97/37.17 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.
36.97/37.17 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
36.97/37.17 c misc/usesymmetry = 3
36.97/37.17 c
36.97/37.17 c # belongs reading time to solving time?
36.97/37.17 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
36.97/37.17 c timing/reading = TRUE
36.97/37.17 c
36.97/37.17 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
36.97/37.17 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
36.97/37.17 c propagating/symmetry/detectdoublelex = FALSE
36.97/37.17 c
36.97/37.17 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
36.97/37.17 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
36.97/37.17 c propagating/symmetry/detectsubgroups = FALSE
36.97/37.17 c
36.97/37.17 c # Type of symmetries that shall be computed?
36.97/37.17 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
36.97/37.17 c propagating/symmetry/symtype = 1
36.97/37.17 c
36.97/37.17 c # Should components consisting of a single full reflection be handled?
36.97/37.17 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
36.97/37.17 c propagating/symmetry/usesimplesgncomp = FALSE
36.97/37.17 c
36.97/37.17 c -----------------------------------------------------------------------------------------------
36.97/37.17 c start solving
36.97/37.17 c
61.60/61.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
61.60/61.82 c 61.8s| 1 | 0 | 18565 | - | 271M | 0 | 20k| 21k| 21k| 0 | 0 | 153 | 0 | 0.000000e+00 | -- | Inf | unknown
302.12/303.05 c 303s| 1 | 0 |116705 | - | 300M | 0 | 20k| 21k| 21k| 7 | 1 | 163 | 0 | 0.000000e+00 | -- | Inf | unknown
336.82/337.84 c 338s| 1 | 0 |129097 | - | 309M | 0 | 20k| 21k| 21k| 19 | 2 | 167 | 0 | 0.000000e+00 | -- | Inf | unknown
371.02/372.12 c 372s| 1 | 0 |140730 | - | 314M | 0 | 20k| 21k| 21k| 27 | 3 | 168 | 0 | 0.000000e+00 | -- | Inf | unknown
408.12/409.37 c 409s| 1 | 0 |152802 | - | 320M | 0 | 20k| 21k| 21k| 35 | 4 | 172 | 0 | 0.000000e+00 | -- | Inf | unknown
446.72/448.09 c 448s| 1 | 0 |165662 | - | 325M | 0 | 20k| 21k| 21k| 54 | 5 | 177 | 0 | 0.000000e+00 | -- | Inf | unknown
493.00/494.41 c 494s| 1 | 0 |180906 | - | 328M | 0 | 20k| 21k| 21k| 73 | 6 | 180 | 0 | 0.000000e+00 | -- | Inf | unknown
532.70/534.24 c 534s| 1 | 0 |193575 | - | 331M | 0 | 20k| 21k| 21k| 80 | 7 | 181 | 0 | 0.000000e+00 | -- | Inf | unknown
572.90/574.57 c 575s| 1 | 0 |206068 | - | 335M | 0 | 20k| 21k| 21k| 88 | 8 | 184 | 0 | 0.000000e+00 | -- | Inf | unknown
615.87/617.63 c 618s| 1 | 0 |218463 | - | 338M | 0 | 20k| 21k| 21k| 94 | 9 | 185 | 0 | 0.000000e+00 | -- | Inf | unknown
665.13/667.10 c 667s| 1 | 0 |232639 | - | 342M | 0 | 20k| 21k| 21k| 114 | 10 | 193 | 0 | 0.000000e+00 | -- | Inf | unknown
707.40/709.46 c 709s| 1 | 0 |245544 | - | 346M | 0 | 20k| 21k| 21k| 123 | 11 | 200 | 0 | 0.000000e+00 | -- | Inf | unknown
1268.76/1272.30 c 1272s| 1 | 2 |466669 | - | 364M | 0 | 20k| 21k| 21k| 123 | 11 | 208 | 19 | 0.000000e+00 | -- | Inf | unknown
3595.08/3604.50 c
3595.08/3604.50 c SCIP Status : solving was interrupted [time limit reached]
3595.08/3604.50 c Solving Time (sec) : 3604.49
3595.08/3604.50 c Solving Nodes : 29
3595.08/3604.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3595.08/3604.50 c Dual Bound : +0.00000000000000e+00
3595.08/3604.50 c Gap : infinite
3595.08/3604.50 s UNKNOWN
3595.08/3604.50 c SCIP Status : solving was interrupted [time limit reached]
3595.08/3604.50 c Total Time : 3604.49
3595.08/3604.50 c solving : 3604.49
3595.08/3604.50 c presolving : 37.02 (included in solving)
3595.08/3604.50 c reading : 0.08 (included in solving)
3595.08/3604.50 c copying : 0.06 (1 #copies) (minimal 0.06, maximal 0.06, average 0.06)
3595.08/3604.50 c Original Problem :
3595.08/3604.50 c Problem name : HOME/instance-4506842-1751176846.opb
3595.08/3604.50 c Variables : 22372 (22372 binary, 0 integer, 0 implicit integer, 0 continuous)
3595.08/3604.50 c Constraints : 22750 initial, 22750 maximal
3595.08/3604.50 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3595.08/3604.50 c Presolved Problem :
3595.08/3604.50 c Problem name : t_HOME/instance-4506842-1751176846.opb
3595.08/3604.50 c Variables : 20811 (20811 binary, 0 integer, 0 implicit integer, 0 continuous)
3595.08/3604.50 c Constraints : 21113 initial, 21323 maximal
3595.08/3604.50 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3595.08/3604.50 c Nonzeros : 115691 constraint, 292746 clique table
3595.08/3604.50 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3595.08/3604.50 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c domcol : 1.22 0.00 21 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c dualsparsify : 0.04 0.00 1 0 0 0 0 0 2 0 0 2
3595.08/3604.50 c gateextraction : 0.25 0.00 22 0 0 0 0 0 1 0 0 0
3595.08/3604.50 c implics : 0.00 0.00 25 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c milp : 0.28 0.00 1 192 0 0 0 0 0 0 0 0
3595.08/3604.50 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c sparsify : 0.52 0.00 4 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c trivial : 0.03 0.00 53 550 0 0 0 0 0 0 0 0
3595.08/3604.50 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c dualfix : 0.02 0.00 53 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c probing : 30.08 0.00 21 513 1 0 0 0 0 0 0 0
3595.08/3604.50 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c symmetry : 0.11 0.00 1 3 0 0 0 0 0 1 0 0
3595.08/3604.50 c vbounds : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c setppc : 0.16 0.00 87 0 0 0 0 0 113 0 0 0
3595.08/3604.50 c linear : 0.17 0.02 12 302 0 0 302 0 1013 0 0 0
3595.08/3604.50 c orbitope : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c logicor : 4.01 0.01 87 107 0 0 0 0 509 0 0 1068
3595.08/3604.50 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c root node : - - - 0 - - 0 - - - - -
3595.08/3604.50 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3595.08/3604.50 c benderslp : 0 0 0 0 29 0 0 7 0 0 0 0 0 0 0
3595.08/3604.50 c integral : 0 0 0 0 29 0 0 7 0 0 0 0 0 0 58
3595.08/3604.50 c knapsack : 0+ 1 0 6566 0 0 0 0 0 1 0 0 0 0 0
3595.08/3604.50 c setppc : 2564+ 2666 11 513790 0 0 0 3 40635 336 4915 0 0 0 0
3595.08/3604.50 c orbitope : 1 1 0 16268 0 0 0 0 72 0 12 0 0 0 0
3595.08/3604.50 c logicor : 18548+ 18655 11 134541 0 0 0 0 98327 121 6589 8 6 0 0
3595.08/3604.50 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3595.08/3604.50 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3595.08/3604.50 c integral : 44.31 0.00 0.00 0.00 44.31 0.00 0.00 0.00 0.00 0.00
3595.08/3604.50 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3595.08/3604.50 c setppc : 3.71 0.00 0.01 3.66 0.00 0.00 0.00 0.00 0.01 0.03
3595.08/3604.50 c orbitope : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
3595.08/3604.50 c logicor : 9.61 0.01 0.04 9.50 0.00 0.00 0.00 0.00 0.04 0.02
3595.08/3604.50 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3595.08/3604.50 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3595.08/3604.50 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3595.08/3604.50 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3595.08/3604.50 c Propagators : #Propagate #ResProp Cutoffs DomReds
3595.08/3604.50 c dualfix : 1 0 0 0
3595.08/3604.50 c genvbounds : 0 0 0 0
3595.08/3604.50 c nlobbt : 0 0 0 0
3595.08/3604.50 c obbt : 0 0 0 0
3595.08/3604.50 c probing : 0 0 0 0
3595.08/3604.50 c pseudoobj : 0 0 0 0
3595.08/3604.50 c redcost : 0 0 0 0
3595.08/3604.50 c rootredcost : 0 0 0 0
3595.08/3604.50 c symmetry : 10482 0 0 1
3595.08/3604.50 c vbounds : 6203 0 0 0
3595.08/3604.50 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3595.08/3604.50 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
3595.08/3604.50 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3595.08/3604.50 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3595.08/3604.50 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3595.08/3604.50 c probing : 30.08 0.00 30.08 0.00 0.00 0.00
3595.08/3604.50 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3595.08/3604.50 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3595.08/3604.50 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3595.08/3604.50 c symmetry : 0.14 0.00 0.11 0.03 0.00 0.00
3595.08/3604.50 c vbounds : 0.06 0.00 0.03 0.03 0.00 0.00
3595.08/3604.50 c Symmetry :
3595.08/3604.50 c orbitopal red. : 0 reductions applied, 0 cutoffs
3595.08/3604.50 c orbital reduction: 0 reductions applied, 0 cutoffs
3595.08/3604.50 c lexicographic red: 1 reductions applied, 0 cutoffs
3595.08/3604.50 c shadow tree time : 0.00 s
3595.08/3604.50 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3595.08/3604.50 c propagation : 0.06 455 125 - 1050 303.8 19 19.0 - - -
3595.08/3604.50 c infeasible LP : 0.45 17 11 - 336 3002.8 0 0.0 1 519.0 0
3595.08/3604.50 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3595.08/3604.50 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3595.08/3604.50 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3595.08/3604.50 c applied globally : 0.01 - - 0 289 180.3 - - 1 - -
3595.08/3604.50 c applied locally : - - - 0 0 0.0 - - 0 - -
3595.08/3604.50 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3595.08/3604.50 c cut pool : 0.00 - 25 21 - - 288 404 - - - - - (maximal pool size: 288)
3595.08/3604.50 c aggregation : 0.07 0.00 13 11 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c > cmir : - - - - - - - 0 0 0 0 0 -
3595.08/3604.50 c > flowcover : - - - - - - - 0 0 0 0 0 -
3595.08/3604.50 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3595.08/3604.50 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c clique : 2.52 0.00 11 11 0 0 83 174 0 25 25 0 0
3595.08/3604.50 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c gomory : 29.80 0.00 12 10 0 0 95 104 0 6 6 0 0
3595.08/3604.50 c > gomorymi : - - - - - - - 41 0 2 2 0 -
3595.08/3604.50 c > strongcg : - - - - - - - 63 0 4 4 0 -
3595.08/3604.50 c impliedbounds : 0.10 0.00 13 11 0 0 21 25 0 9 9 0 0
3595.08/3604.50 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c multilinear : 0.00 0.00 16 11 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c rlt : 0.00 0.00 11 10 0 0 0 0 0 0 0 0 0
3595.08/3604.50 c zerohalf : 19.13 0.00 13 11 0 0 94 101 5 91 90 1 0
3595.08/3604.50 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3595.08/3604.50 c hybrid : 0.00 0.00 13 11 137 0 280 123 0 165
3595.08/3604.50 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3595.08/3604.50 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3595.08/3604.50 c Pricers : ExecTime SetupTime Calls Vars
3595.08/3604.50 c problem variables: 0.00 - 0 0
3595.08/3604.50 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3595.08/3604.50 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3595.08/3604.50 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3595.08/3604.50 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3595.08/3604.50 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3595.08/3604.50 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3595.08/3604.50 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3595.08/3604.50 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3595.08/3604.50 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3595.08/3604.50 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3595.08/3604.50 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3595.08/3604.50 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3595.08/3604.50 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3595.08/3604.50 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3595.08/3604.50 c relpscost : 44.31 0.00 29 0 0 0 0 0 0 58
3595.08/3604.50 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3595.08/3604.50 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3595.08/3604.50 c LP solutions : 0.00 - - 0 0
3595.08/3604.50 c relax solutions : 0.00 - - 0 0
3595.08/3604.50 c pseudo solutions : 0.00 - - 0 0
3595.08/3604.50 c strong branching : 0.00 - - 0 0
3595.08/3604.50 c actconsdiving : 0.00 0.00 0 0 0
3595.08/3604.50 c adaptivediving : 134.99 0.00 1 0 0
3595.08/3604.50 c alns : 0.00 0.00 0 0 0
3595.08/3604.50 c bound : 0.00 0.00 0 0 0
3595.08/3604.50 c clique : 0.08 0.00 1 0 0
3595.08/3604.50 c coefdiving : 0.00 0.00 0 0 0
3595.08/3604.50 c completesol : 0.00 0.00 0 0 0
3595.08/3604.50 c conflictdiving : 518.12 0.00 1 0 0
3595.08/3604.50 c crossover : 0.00 0.00 0 0 0
3595.08/3604.50 c dins : 0.00 0.00 0 0 0
3595.08/3604.50 c distributiondivin: 256.96 0.00 1 0 0
3595.08/3604.50 c dps : 0.00 0.00 0 0 0
3595.08/3604.50 c dualval : 0.00 0.00 0 0 0
3595.08/3604.50 c farkasdiving : 0.00 0.00 0 0 0
3595.08/3604.50 c feasjump : 0.05 0.00 1 0 0
3595.08/3604.50 c feaspump : 211.46 0.00 1 0 0
3595.08/3604.50 c fixandinfer : 0.00 0.00 0 0 0
3595.08/3604.50 c fracdiving : 117.46 0.00 1 0 0
3595.08/3604.50 c gins : 0.00 0.00 0 0 0
3595.08/3604.50 c guideddiving : 0.00 0.00 0 0 0
3595.08/3604.50 c indcoefdiving : 0.00 0.00 0 0 0
3595.08/3604.50 c indicator : 0.00 0.00 0 0 0
3595.08/3604.50 c indicatordiving : 0.00 0.00 0 0 0
3595.08/3604.50 c indoneopt : 0.00 0.00 0 0 0
3595.08/3604.50 c indrounding : 0.00 0.00 0 0 0
3595.08/3604.50 c indtwoopt : 0.00 0.00 0 0 0
3595.08/3604.50 c intdiving : 0.00 0.00 0 0 0
3595.08/3604.50 c intshifting : 0.00 0.00 0 0 0
3595.08/3604.50 c linesearchdiving : 0.00 0.00 0 0 0
3595.08/3604.50 c localbranching : 0.00 0.00 0 0 0
3595.08/3604.50 c locks : 0.08 0.00 1 0 0
3595.08/3604.50 c lpface : 0.00 0.00 0 0 0
3595.08/3604.50 c mpec : 0.00 0.00 0 0 0
3595.08/3604.50 c multistart : 0.00 0.00 0 0 0
3595.08/3604.50 c mutation : 0.00 0.00 0 0 0
3595.08/3604.50 c nlpdiving : 0.00 0.00 0 0 0
3595.08/3604.50 c objpscostdiving : 56.20 0.00 1 0 0
3595.08/3604.50 c octane : 0.00 0.00 0 0 0
3595.08/3604.50 c ofins : 0.00 0.00 0 0 0
3595.08/3604.50 c oneopt : 0.00 0.00 0 0 0
3595.08/3604.50 c padm : 0.00 0.00 0 0 0
3595.08/3604.50 c proximity : 0.00 0.00 0 0 0
3595.08/3604.50 c pscostdiving : 401.16 0.00 1 0 0
3595.08/3604.50 c randrounding : 0.22 0.00 12 0 0
3595.08/3604.50 c rens : 0.41 0.00 1 0 0
3595.08/3604.50 c reoptsols : 0.00 0.00 0 0 0
3595.08/3604.50 c repair : 0.00 0.00 0 0 0
3595.08/3604.50 c rins : 0.00 0.00 0 0 0
3595.08/3604.50 c rootsoldiving : 0.00 0.00 0 0 0
3595.08/3604.50 c rounding : 0.06 0.00 42 0 0
3595.08/3604.50 c scheduler : 0.00 0.00 0 0 0
3595.08/3604.50 c shiftandpropagate: 0.02 0.00 1 0 0
3595.08/3604.50 c shifting : 0.23 0.00 15 0 0
3595.08/3604.50 c simplerounding : 0.00 0.00 0 0 0
3595.08/3604.50 c smallcard : 0.00 0.00 0 0 0
3595.08/3604.50 c subnlp : 0.00 0.00 0 0 0
3595.08/3604.50 c trivial : 0.02 0.00 2 0 0
3595.08/3604.50 c trivialnegation : 0.00 0.00 0 0 0
3595.08/3604.50 c trustregion : 0.00 0.00 0 0 0
3595.08/3604.50 c trysol : 0.00 0.00 0 0 0
3595.08/3604.50 c twoopt : 0.00 0.00 0 0 0
3595.08/3604.50 c undercover : 0.00 0.00 0 0 0
3595.08/3604.50 c vbounds : 0.15 0.00 1 0 0
3595.08/3604.50 c veclendiving : 580.75 0.00 1 0 0
3595.08/3604.50 c zeroobj : 0.00 0.00 0 0 0
3595.08/3604.50 c zirounding : 0.02 0.00 28 0 0
3595.08/3604.50 c other solutions : - - - 0 -
3595.08/3604.50 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3595.08/3604.50 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
3595.08/3604.50 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
3595.08/3604.50 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
3595.08/3604.50 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
3595.08/3604.50 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
3595.08/3604.50 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
3595.08/3604.50 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
3595.08/3604.50 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
3595.08/3604.50 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
3595.08/3604.50 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3595.08/3604.50 c primal LP : 0.08 2 0 0.00 0.00 0.08 2
3595.08/3604.50 c dual LP : 1192.60 42 485404 11557.24 407.01 0.00 0
3595.08/3604.50 c lex dual LP : 0.00 0 0 0.00 -
3595.08/3604.50 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3595.08/3604.50 c resolve instable : 0.00 0 0 0.00 -
3595.08/3604.50 c diving/probing LP: 2283.41 65 968957 14907.03 424.35
3595.08/3604.50 c strong branching : 35.86 19 16998 894.63 474.04 - - 32
3595.08/3604.50 c (at root node) : - 19 16998 894.63 -
3595.08/3604.50 c conflict analysis: 0.00 0 0 0.00 -
3595.08/3604.50 c B&B Tree :
3595.08/3604.50 c number of runs : 1
3595.08/3604.50 c nodes : 29 (29 internal, 0 leaves)
3595.08/3604.50 c feasible leaves : 0
3595.08/3604.50 c infeas. leaves : 0
3595.08/3604.50 c objective leaves : 0
3595.08/3604.50 c nodes (total) : 29 (29 internal, 0 leaves)
3595.08/3604.50 c nodes left : 30
3595.08/3604.50 c max depth : 19
3595.08/3604.50 c max depth (total): 19
3595.08/3604.50 c backtracks : 5 (17.2%)
3595.08/3604.50 c early backtracks : 0 (0.0%)
3595.08/3604.50 c nodes exc. ref. : 0 (0.0%)
3595.08/3604.50 c delayed cutoffs : 0
3595.08/3604.50 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3595.08/3604.50 c avg switch length: 1.52
3595.08/3604.50 c switching time : 0.10
3595.08/3604.50 c Root Node :
3595.08/3604.50 c First LP value : +0.00000000000000e+00
3595.08/3604.50 c First LP Iters : 18565 (765.16 Iter/sec)
3595.08/3604.50 c First LP Time : 24.26
3595.08/3604.50 c Final Dual Bound : +0.00000000000000e+00
3595.08/3604.50 c Final Root Iters : 245544
3595.08/3604.50 c Root LP Estimate : +1.71805400365155e-03
3595.08/3604.50 c Solution :
3595.08/3604.50 c Solutions found : 0 (0 improvements)
3595.08/3604.50 c Primal Bound : -
3595.08/3604.50 c Dual Bound : +0.00000000000000e+00
3595.08/3604.50 c Gap : infinite
3595.08/3604.50 c Integrals : Total Avg%
3595.08/3604.50 c primal-dual : 360449.07 100.00
3595.08/3604.50 c primal-ref : - - (not evaluated)
3595.08/3604.50 c dual-ref : - - (not evaluated)
3595.17/3604.64 c Time complete: 3595.22.
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 (61774 MiB free)
memory of node 1: 64507 MiB (58174 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506842-1751176846/watcher-4506842-1751176846 -o /tmp/evaluation-result-4506842-1751176846/solver-4506842-1751176846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751169647-24240 --watchdog 3760 pbscip -f HOME/instance-4506842-1751176846.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
Starting watchdog thread
solver pid=24996, runsolver pid=24993
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.13 4.10 4.09 5/264 24997
/proc/meminfo: memFree=122772236/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=102264 memory=75324 CPUtime=0.09 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 15701 0 0 0 7 2 0 0 20 0 1 0 33362340 104718336 18831 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 25566 18831 3520 3530 0 17017 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 102264 KiB
Current children cumulated memory: 75324 KiB
[startup+0.205584 s]*
/proc/loadavg: 4.13 4.10 4.09 5/264 24997
/proc/meminfo: memFree=122731916/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=137096 memory=107196 CPUtime=0.19 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 23656 0 0 0 16 3 0 0 20 0 1 0 33362340 140386304 26799 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 34274 26799 3552 3530 0 25725 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 137096 KiB
Current children cumulated memory: 107196 KiB
[startup+0.305562 s]*
/proc/loadavg: 4.13 4.10 4.09 5/264 24997
/proc/meminfo: memFree=122707724/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=165416 memory=135908 CPUtime=0.29 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 32478 0 0 0 25 4 0 0 20 0 1 0 33362340 169385984 33977 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 41354 33977 3680 3530 0 32805 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 165416 KiB
Current children cumulated memory: 135908 KiB
[startup+0.700169 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 24997
/proc/meminfo: memFree=122707676/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=174796 memory=145680 CPUtime=0.69 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 38123 0 0 0 64 5 0 0 20 0 1 0 33362340 178991104 36420 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 43699 36420 3680 3530 0 35150 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 174796 KiB
Current children cumulated memory: 145680 KiB
[startup+1.50017 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 24997
/proc/meminfo: memFree=122691800/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=222256 memory=188408 CPUtime=1.48 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 46407 0 0 0 142 6 0 0 20 0 1 0 33362340 227590144 47102 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 55564 47102 3744 3530 0 47015 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 222256 KiB
Current children cumulated memory: 188408 KiB
[startup+3.10555 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 25042
/proc/meminfo: memFree=128054232/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=228812 memory=194680 CPUtime=3.08 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 47963 0 0 0 302 6 0 0 20 0 1 0 33362340 234303488 48670 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 57203 48670 3744 3530 0 48654 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 228812 KiB
Current children cumulated memory: 194680 KiB
[startup+6.30016 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 25042
/proc/meminfo: memFree=127985680/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=231884 memory=197752 CPUtime=6.27 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 48733 0 0 0 620 7 0 0 20 0 1 0 33362340 237449216 49438 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 57971 49438 3744 3530 0 49422 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 231884 KiB
Current children cumulated memory: 197752 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 25042
/proc/meminfo: memFree=127983848/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=237612 memory=203512 CPUtime=12.64 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 50233 0 0 0 1257 7 0 0 20 0 1 0 33362340 243314688 50878 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 59403 50878 3744 3530 0 50854 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 237612 KiB
Current children cumulated memory: 203512 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 25054
/proc/meminfo: memFree=127960196/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=239180 memory=205048 CPUtime=25.4 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 50626 0 0 0 2533 7 0 0 20 0 1 0 33362340 244920320 51262 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 59795 51262 3744 3530 0 51246 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 239180 KiB
Current children cumulated memory: 205048 KiB
[startup+51.1055 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 25054
/proc/meminfo: memFree=127794324/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=350916 memory=283512 CPUtime=50.93 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 73921 0 0 0 5082 11 0 0 20 0 1 0 33362340 359337984 70878 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 87729 70878 3936 3530 0 79180 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 350916 KiB
Current children cumulated memory: 283512 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 25057
/proc/meminfo: memFree=127696124/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=357040 memory=288632 CPUtime=101.98 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 75177 0 0 0 10187 11 0 0 20 0 1 0 33362340 365608960 72158 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 89260 72158 3968 3530 0 80711 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 357040 KiB
Current children cumulated memory: 288632 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 25059
/proc/meminfo: memFree=127673404/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=358296 memory=289656 CPUtime=161.82 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 75436 0 0 0 16170 12 0 0 20 0 1 0 33362340 366895104 72414 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 89574 72414 3968 3530 0 81025 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 358296 KiB
Current children cumulated memory: 289656 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 25061
/proc/meminfo: memFree=127682948/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=360108 memory=291832 CPUtime=221.64 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 75974 0 0 0 22152 12 0 0 20 0 1 0 33362340 368750592 72958 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 90027 72958 3968 3530 0 81478 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 360108 KiB
Current children cumulated memory: 291832 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/263 25063
/proc/meminfo: memFree=127520104/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=451980 memory=380716 CPUtime=281.48 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 82866 0 0 0 28134 14 0 0 20 0 1 0 33362340 462827520 95179 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 112995 95179 3968 3530 0 104446 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 451980 KiB
Current children cumulated memory: 380716 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 25065
/proc/meminfo: memFree=127429712/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=470736 memory=397980 CPUtime=341.31 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 86175 0 0 0 34116 15 0 0 20 0 1 0 33362340 482033664 99495 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 117684 99495 3968 3530 0 109135 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 470736 KiB
Current children cumulated memory: 397980 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.10 4.09 5/263 25070
/proc/meminfo: memFree=127402476/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=479932 memory=408476 CPUtime=401.14 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 88837 0 0 0 40098 16 0 0 20 0 1 0 33362340 491450368 102119 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 119983 102119 3968 3530 0 111434 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 479932 KiB
Current children cumulated memory: 408476 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 25077
/proc/meminfo: memFree=127339148/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=485712 memory=412572 CPUtime=460.99 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 89864 0 0 0 46082 17 0 0 20 0 1 0 33362340 497369088 103143 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 121428 103143 3968 3530 0 112879 0
Current children cumulated CPU time: 460.99 s
################
# More data... #
################
/proc/loadavg: 4.31 4.16 4.11 5/265 25255
/proc/meminfo: memFree=127863248/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=599136 memory=544796 CPUtime=3154.03 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 117174 0 0 0 315375 28 0 0 20 0 1 0 33362340 613515264 136199 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 149784 136199 3968 3530 0 141235 0
Current children cumulated CPU time: 3154.03 s
Current children cumulated vsize: 599136 KiB
Current children cumulated memory: 544796 KiB
[startup+3222.3 s]
/proc/loadavg: 4.23 4.16 4.11 5/264 25257
/proc/meminfo: memFree=127863136/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=599136 memory=545564 CPUtime=3213.87 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 117186 0 0 0 321359 28 0 0 20 0 1 0 33362340 613515264 136391 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 149784 136391 4160 3530 0 141235 0
Current children cumulated CPU time: 3213.87 s
Current children cumulated vsize: 599136 KiB
Current children cumulated memory: 545564 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/264 25260
/proc/meminfo: memFree=127863024/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=599136 memory=545564 CPUtime=3273.71 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 117186 0 0 0 327343 28 0 0 20 0 1 0 33362340 613515264 136391 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 149784 136391 4160 3530 0 141235 0
Current children cumulated CPU time: 3273.71 s
Current children cumulated vsize: 599136 KiB
Current children cumulated memory: 545564 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/264 25262
/proc/meminfo: memFree=127838880/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=599136 memory=545564 CPUtime=3333.55 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 117335 0 0 0 333327 28 0 0 20 0 1 0 33362340 613515264 136391 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 149784 136391 4160 3530 0 141235 0
Current children cumulated CPU time: 3333.55 s
Current children cumulated vsize: 599136 KiB
Current children cumulated memory: 545564 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/264 25266
/proc/meminfo: memFree=127838796/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=599136 memory=545564 CPUtime=3393.39 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 117343 0 0 0 339311 28 0 0 20 0 1 0 33362340 613515264 136391 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 149784 136391 4160 3530 0 141235 0
Current children cumulated CPU time: 3393.39 s
Current children cumulated vsize: 599136 KiB
Current children cumulated memory: 545564 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 25273
/proc/meminfo: memFree=127802208/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=599136 memory=545564 CPUtime=3453.23 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 117344 0 0 0 345295 28 0 0 20 0 1 0 33362340 613515264 136391 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 149784 136391 4160 3530 0 141235 0
Current children cumulated CPU time: 3453.23 s
Current children cumulated vsize: 599136 KiB
Current children cumulated memory: 545564 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 25275
/proc/meminfo: memFree=127802060/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=599136 memory=545564 CPUtime=3513.08 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 117345 0 0 0 351280 28 0 0 20 0 1 0 33362340 613515264 136391 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 149784 136391 4160 3530 0 141235 0
Current children cumulated CPU time: 3513.08 s
Current children cumulated vsize: 599136 KiB
Current children cumulated memory: 545564 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 25278
/proc/meminfo: memFree=127801908/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=599136 memory=545564 CPUtime=3572.93 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 117345 0 0 0 357265 28 0 0 20 0 1 0 33362340 613515264 136391 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 149784 136391 4160 3530 0 141235 0
Current children cumulated CPU time: 3572.93 s
Current children cumulated vsize: 599136 KiB
Current children cumulated memory: 545564 KiB
[startup+3604.64 s]
# the end of solver process 24996 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3594.93 s, system=0.299279 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.11 4.09 5/264 25278
/proc/meminfo: memFree=127801908/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=599136 memory=545564 CPUtime=3574.63 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 117345 0 0 0 357435 28 0 0 20 0 1 0 33362340 613515264 136391 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 149784 136391 4160 3530 0 141235 0
Current children cumulated CPU time: 3574.63 s
Current children cumulated vsize: 599136 KiB
Current children cumulated memory: 545564 KiB
[startup+3596.8 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 25278
/proc/meminfo: memFree=127801908/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=599136 memory=545564 CPUtime=3587.4 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 117345 0 0 0 358712 28 0 0 20 0 1 0 33362340 613515264 136391 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 149784 136391 4160 3530 0 141235 0
Current children cumulated CPU time: 3587.4 s
Current children cumulated vsize: 599136 KiB
Current children cumulated memory: 545564 KiB
[startup+3600 s]*
/proc/loadavg: 4.06 4.10 4.09 3/254 25317
/proc/meminfo: memFree=128761032/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=599136 memory=545564 CPUtime=3590.59 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 117345 0 0 0 359031 28 0 0 20 0 1 0 33362340 613515264 136391 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 149784 136391 4160 3530 0 141235 0
Current children cumulated CPU time: 3590.59 s
Current children cumulated vsize: 599136 KiB
Current children cumulated memory: 545564 KiB
[startup+3603.2 s]
/proc/loadavg: 4.06 4.10 4.09 3/252 25340
/proc/meminfo: memFree=128775616/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=599136 memory=545564 CPUtime=3593.78 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 117345 0 0 0 359349 29 0 0 20 0 1 0 33362340 613515264 136391 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 149784 136391 4160 3530 0 141235 0
Current children cumulated CPU time: 3593.78 s
Current children cumulated vsize: 599136 KiB
Current children cumulated memory: 545564 KiB
[startup+3604 s]*
/proc/loadavg: 4.06 4.10 4.09 3/252 25340
/proc/meminfo: memFree=128775616/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=599136 memory=545564 CPUtime=3594.58 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 117345 0 0 0 359429 29 0 0 20 0 1 0 33362340 613515264 136391 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 149784 136391 4160 3530 0 141235 0
Current children cumulated CPU time: 3594.58 s
Current children cumulated vsize: 599136 KiB
Current children cumulated memory: 545564 KiB
[startup+3604.4 s]
/proc/loadavg: 4.06 4.10 4.09 3/252 25340
/proc/meminfo: memFree=128775616/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=599136 memory=545564 CPUtime=3594.98 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 117345 0 0 0 359469 29 0 0 20 0 1 0 33362340 613515264 136391 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 149784 136391 4160 3530 0 141235 0
Current children cumulated CPU time: 3594.98 s
Current children cumulated vsize: 599136 KiB
Current children cumulated memory: 545564 KiB
[startup+3604.6 s]
/proc/loadavg: 4.06 4.10 4.09 3/252 25340
/proc/meminfo: memFree=128775616/131249996 swapFree=33010684/33010684
[pid=24996] ppid=24993 vsize=532656 memory=479088 CPUtime=3595.17 cores=4,6
/proc/24996/stat : 24996 (pbscip) R 24993 24996 24229 0 -1 4194304 117354 0 0 0 359488 29 0 0 20 0 1 0 33362340 545439744 119772 18446744073709551615 4235264 18693293 140734528710176 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40349696 140734528719241 140734528719340 140734528719340 140734528724942 0
/proc/24996/statm: 133164 119772 4160 3530 0 124615 0
Current children cumulated CPU time: 3595.17 s
Current children cumulated vsize: 532656 KiB
Current children cumulated memory: 479088 KiB
Child status: 0
Real time (s): 3604.64
CPU time (s): 3595.22
CPU user time (s): 3594.93
CPU system time (s): 0.299279
CPU usage (%): 99.7387
Max. virtual memory (cumulated for all children) (KiB): 599136
Max. memory (cumulated for all children) (KiB): 545564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.93
system time used= 0.299279
maximum resident set size= 545564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117375
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= 1480
# summary of solver processes directly reported to runsolver:
# pid: 24996
# total CPU time (s): 3595.22
# total CPU user time (s): 3594.93
# total CPU system time (s): 0.299279
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.84816 second user time and 14.4903 second system time
The end
Begin job on nodeC021 at 2025-06-29 08:00:47 IDJOB=4506842 IDBENCH=158284 IDSOLVER=3365 FILE ID=nodeC021/4506842-1751176846 RUNJOBID= nodeC021-1751169647-24240 SLURM_JOB_ID= 9587523 Free space on /tmp= 432956 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K188.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506842-1751176846/watcher-4506842-1751176846 -o /tmp/evaluation-result-4506842-1751176846/solver-4506842-1751176846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751169647-24240 --watchdog 3760 pbscip -f HOME/instance-4506842-1751176846.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 416ae2bcad94d751017f8086501bbe46 RANDOM SEED=1426545459 nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.787 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.412 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.659 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.764 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.775 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.777 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.748 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 122828420 kB MemAvailable: 122881092 kB Buffers: 3280 kB Cached: 861936 kB SwapCached: 0 kB Active: 7204700 kB Inactive: 604704 kB Active(anon): 6962252 kB Inactive(anon): 0 kB Active(file): 242448 kB Inactive(file): 604704 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 39920 kB Writeback: 36 kB AnonPages: 6945064 kB Mapped: 136944 kB Shmem: 18060 kB KReclaimable: 89120 kB Slab: 174956 kB SReclaimable: 89120 kB SUnreclaim: 85836 kB KernelStack: 4192 kB PageTables: 17112 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 8529368 kB VmallocTotal: 34359738367 kB VmallocUsed: 150568 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 2170880 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433024 MiB End job on nodeC021 at 2025-06-29 09:00:51