| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3584.93 | 3597.14 |
| Name | PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin18.opb |
| MD5SUM | 524c0290a9c7ac599d8004695d4c7f99 |
| 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 | 21643.2 |
| 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 | 23409 |
| Total number of constraints | 1386 |
| Number of constraints which are clauses | 612 |
| Number of constraints which are cardinality constraints (but not clauses) | 774 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 153 |
| Maximum length of a constraint | 289 |
| 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 | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 291 |
| Number of bits of the biggest sum of numbers | 9 |
| 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 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4493311-1751146325.opb>
0.00/0.06 c original problem has 23409 variables (23409 bin, 0 int, 0 cont) and 1386 constraints
0.00/0.06 c problem read in 0.065 seconds
0.00/0.06 c problem without objective
0.10/0.13 c presolving:
0.20/0.24 c (0.2s) running MILP presolver
0.30/0.35 c (0.4s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.30/0.35 c (round 1, medium) 0 del vars, 1386 del conss, 774 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 612 clqs
0.50/0.55 c (round 2, exhaustive) 0 del vars, 1386 del conss, 774 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 612 clqs
0.89/0.98 c (1.0s) probing: 51/23409 (0.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.98 c (1.0s) probing aborted: 50/50 successive totally useless probings
0.99/1.01 c (1.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.48/1.54 c (1.5s) symmetry computation finished: 41 generators found (max: 1500, log10 of symmetry group size: 35.92) (symcode time: 0.52)
1.58/1.60 c dynamic symmetry handling statistics:
1.58/1.60 c orbitopal reduction: no components
1.58/1.60 c orbital reduction: no components
1.58/1.60 c lexicographic reduction: no permutations
1.58/1.60 c handled 1 out of 1 symmetry components
1.58/1.61 c (round 3, exhaustive) 196 del vars, 1386 del conss, 815 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 612 clqs
1.58/1.63 c (round 4, medium) 226 del vars, 1386 del conss, 815 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 612 clqs
1.58/1.64 c (round 5, medium) 252 del vars, 1386 del conss, 815 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 612 clqs
1.58/1.65 c (round 6, medium) 274 del vars, 1386 del conss, 815 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 612 clqs
1.68/1.70 c (round 7, exhaustive) 325 del vars, 1386 del conss, 815 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 612 clqs
2.68/2.75 c (round 8, exhaustive) 350 del vars, 1386 del conss, 815 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 7144 clqs
2.78/2.83 c (round 9, exhaustive) 851 del vars, 1386 del conss, 815 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 6631 clqs
2.78/2.84 c (round 10, fast) 851 del vars, 1392 del conss, 817 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 6632 clqs
3.08/3.14 c (round 11, exhaustive) 876 del vars, 1392 del conss, 817 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 6768 clqs
3.28/3.38 c (round 12, exhaustive) 901 del vars, 1392 del conss, 817 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 8733 clqs
3.88/3.96 c (round 13, exhaustive) 926 del vars, 1392 del conss, 817 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 22064 clqs
4.28/4.33 c (round 14, exhaustive) 951 del vars, 1392 del conss, 817 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 27602 clqs
4.58/4.67 c (round 15, exhaustive) 1390 del vars, 1392 del conss, 817 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 35803 clqs
4.58/4.68 c (round 16, fast) 1391 del vars, 1399 del conss, 819 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 35804 clqs
4.68/4.76 c (round 17, exhaustive) 1694 del vars, 1399 del conss, 819 add conss, 0 chg bounds, 0 chg sides, 8 chg coeffs, 774 upgd conss, 0 impls, 35278 clqs
4.68/4.76 c (round 18, fast) 1694 del vars, 1404 del conss, 821 add conss, 0 chg bounds, 0 chg sides, 8 chg coeffs, 774 upgd conss, 0 impls, 35280 clqs
5.28/5.36 c (round 19, exhaustive) 1719 del vars, 1404 del conss, 821 add conss, 0 chg bounds, 0 chg sides, 13 chg coeffs, 774 upgd conss, 0 impls, 51654 clqs
6.08/6.10 c (round 20, exhaustive) 1754 del vars, 1404 del conss, 821 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 70094 clqs
6.08/6.11 c (round 21, fast) 1755 del vars, 1405 del conss, 821 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 70094 clqs
6.17/6.23 c (round 22, exhaustive) 2827 del vars, 1405 del conss, 821 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 41521 clqs
6.17/6.24 c (round 23, fast) 2829 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 41532 clqs
6.47/6.56 c (6.6s) probing: 1000/23409 (4.3%) - 2544 fixings, 0 aggregations, 81480 implications, 0 bound changes
6.98/7.03 c (round 24, exhaustive) 2854 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 57122 clqs
7.97/8.02 c (round 25, exhaustive) 2879 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 66401 clqs
9.17/9.27 c (round 26, exhaustive) 2909 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 73238 clqs
10.16/10.22 c (round 27, exhaustive) 2934 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 80570 clqs
11.66/11.72 c (11.7s) probing: 2000/23409 (8.5%) - 2660 fixings, 0 aggregations, 136062 implications, 0 bound changes
11.66/11.76 c (round 28, exhaustive) 2959 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 96361 clqs
11.96/12.08 c (round 29, exhaustive) 3005 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 90027 clqs
13.25/13.30 c (round 30, exhaustive) 3031 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 103653 clqs
15.05/15.16 c (round 31, exhaustive) 3056 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 123776 clqs
15.05/15.19 c (round 32, medium) 3090 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 115536 clqs
16.05/16.19 c (round 33, exhaustive) 3115 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 120691 clqs
16.74/16.83 c (16.8s) probing: 3000/23409 (12.8%) - 2793 fixings, 0 aggregations, 190004 implications, 0 bound changes
17.24/17.35 c (round 34, exhaustive) 3158 del vars, 1440 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 124789 clqs
17.34/17.44 c (round 35, exhaustive) 3158 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 124789 clqs
20.33/20.42 c (round 36, exhaustive) 3183 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 176919 clqs
22.03/22.13 c (22.1s) probing: 4000/23409 (17.1%) - 2859 fixings, 0 aggregations, 272576 implications, 0 bound changes
23.92/24.07 c (round 37, exhaustive) 3208 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 190975 clqs
25.21/25.38 c (round 38, exhaustive) 3233 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 187504 clqs
27.02/27.14 c (27.1s) probing: 5000/23409 (21.4%) - 2924 fixings, 0 aggregations, 354794 implications, 0 bound changes
27.21/27.36 c (round 39, exhaustive) 3258 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 191528 clqs
29.20/29.32 c (round 40, exhaustive) 3293 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 183628 clqs
32.09/32.20 c (round 41, exhaustive) 3318 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 190748 clqs
32.29/32.48 c (32.5s) probing: 6000/23409 (25.6%) - 2988 fixings, 0 aggregations, 445053 implications, 0 bound changes
34.49/34.61 c (round 42, exhaustive) 3343 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 191036 clqs
37.07/37.28 c (round 43, exhaustive) 3368 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 190693 clqs
37.98/38.16 c (38.2s) probing: 7000/23409 (29.9%) - 3058 fixings, 0 aggregations, 516773 implications, 0 bound changes
38.47/38.66 c (round 44, exhaustive) 3393 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 187267 clqs
43.05/43.27 c (round 45, exhaustive) 3418 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 192029 clqs
43.65/43.87 c (43.9s) probing: 8000/23409 (34.2%) - 3092 fixings, 0 aggregations, 592811 implications, 0 bound changes
46.04/46.22 c (round 46, exhaustive) 3463 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 183232 clqs
48.73/48.90 c (48.9s) probing: 9000/23409 (38.4%) - 3153 fixings, 0 aggregations, 667762 implications, 0 bound changes
49.23/49.46 c (round 47, exhaustive) 3488 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 191966 clqs
51.22/51.40 c (round 48, exhaustive) 3527 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 183566 clqs
54.01/54.28 c (54.3s) probing: 10000/23409 (42.7%) - 3217 fixings, 0 aggregations, 744876 implications, 0 bound changes
54.31/54.52 c (round 49, exhaustive) 3552 del vars, 1441 del conss, 833 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 774 upgd conss, 0 impls, 188402 clqs
59.30/59.57 c (59.6s) probing: 11000/23409 (47.0%) - 3220 fixings, 0 aggregations, 761534 implications, 0 bound changes
59.49/59.78 c (59.8s) probing: 11038/23409 (47.2%) - 3220 fixings, 0 aggregations, 762289 implications, 0 bound changes
59.49/59.78 c (59.8s) probing aborted: 1000/1000 successive useless probings
59.60/59.83 c presolving (50 rounds: 50 fast, 45 medium, 40 exhaustive):
59.60/59.83 c 3552 deleted vars, 1441 deleted constraints, 833 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 15 changed coefficients
59.60/59.83 c 0 implications, 193044 cliques
59.60/59.83 c presolved problem has 19859 variables (19859 bin, 0 int, 0 cont) and 778 constraints
59.60/59.83 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
59.60/59.83 c 144 constraints of type <knapsack>
59.60/59.83 c 593 constraints of type <setppc>
59.60/59.83 c 41 constraints of type <orbitope_pp>
59.60/59.83 c transformed objective value is always integral (scale: 1)
59.60/59.83 c Presolving Time: 59.71
59.60/59.83 c
59.60/59.83 c - non default parameters ----------------------------------------------------------------------
59.60/59.83 c
59.60/59.83 c # SCIP version 10.0.0
59.60/59.83 c
59.60/59.83 c # maximal time in seconds to run
59.60/59.83 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
59.60/59.83 c limits/time = 3596.998008
59.60/59.83 c
59.60/59.83 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
59.60/59.83 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
59.60/59.83 c limits/memory = 27900
59.60/59.83 c
59.60/59.83 c # belongs reading time to solving time?
59.60/59.83 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
59.60/59.83 c timing/reading = TRUE
59.60/59.83 c
59.60/59.83 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
59.60/59.83 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
59.60/59.83 c reading/opbreader/maxintsize = 47
59.60/59.83 c
59.60/59.83 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
59.60/59.83 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
59.60/59.83 c propagating/genvbounds/timingmask = 0
59.60/59.83 c
59.60/59.83 c -----------------------------------------------------------------------------------------------
59.60/59.84 c
854.86/857.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
854.86/857.83 c 858s| 1 | 0 | 1537k| - | 503M | 0 | 19k| 882 | 737 | 0 | 0 | 104 | 0 | 0.000000e+00 | -- | Inf | unknown
905.99/909.12 c 909s| 1 | 0 | 1625k| - | 515M | 0 | 19k| 883 | 744 | 7 | 1 | 105 | 0 | 0.000000e+00 | -- | Inf | unknown
906.68/909.86 c 910s| 1 | 0 | 1625k| - | 516M | 0 | 19k| 884 | 748 | 11 | 2 | 106 | 0 | 0.000000e+00 | -- | Inf | unknown
907.28/910.49 c 910s| 1 | 0 | 1626k| - | 517M | 0 | 19k| 886 | 751 | 14 | 3 | 108 | 0 | 0.000000e+00 | -- | Inf | unknown
907.88/911.06 c 911s| 1 | 0 | 1626k| - | 517M | 0 | 19k| 888 | 754 | 17 | 4 | 110 | 0 | 0.000000e+00 | -- | Inf | unknown
908.38/911.54 c 912s| 1 | 0 | 1626k| - | 517M | 0 | 19k| 889 | 759 | 22 | 5 | 111 | 0 | 0.000000e+00 | -- | Inf | unknown
908.88/912.09 c 912s| 1 | 0 | 1626k| - | 517M | 0 | 19k| 890 | 767 | 30 | 6 | 112 | 0 | 0.000000e+00 | -- | Inf | unknown
909.47/912.62 c 913s| 1 | 0 | 1626k| - | 517M | 0 | 19k| 900 | 773 | 36 | 7 | 122 | 0 | 0.000000e+00 | -- | Inf | unknown
909.98/913.16 c 913s| 1 | 0 | 1626k| - | 517M | 0 | 19k| 903 | 779 | 42 | 8 | 125 | 0 | 0.000000e+00 | -- | Inf | unknown
910.47/913.62 c 914s| 1 | 0 | 1626k| - | 518M | 0 | 19k| 904 | 790 | 53 | 9 | 126 | 0 | 0.000000e+00 | -- | Inf | unknown
911.07/914.25 c 914s| 1 | 0 | 1626k| - | 518M | 0 | 19k| 907 | 801 | 64 | 10 | 129 | 0 | 0.000000e+00 | -- | Inf | unknown
911.56/914.71 c 915s| 1 | 0 | 1626k| - | 518M | 0 | 19k| 910 | 810 | 73 | 11 | 132 | 0 | 0.000000e+00 | -- | Inf | unknown
1396.40/1401.29 c 1401s| 1 | 0 | 2430k| - | 519M | 0 | 19k| 923 | 810 | 73 | 11 | 146 | 3 | 0.000000e+00 | -- | Inf | unknown
1397.00/1401.84 c 1402s| 1 | 0 | 2430k| - | 521M | 0 | 19k| 927 | 822 | 85 | 12 | 151 | 3 | 0.000000e+00 | -- | Inf | unknown
1397.39/1402.22 c 1402s| 1 | 0 | 2431k| - | 521M | 0 | 19k| 929 | 826 | 89 | 13 | 153 | 3 | 0.000000e+00 | -- | Inf | unknown
1415.04/1420.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1415.04/1420.00 c 1420s| 1 | 2 | 2431k| - | 521M | 0 | 19k| 929 | 826 | 89 | 13 | 154 | 22 | 0.000000e+00 | -- | Inf | unknown
3584.79/3597.00 c
3584.79/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3584.79/3597.00 c Solving Time (sec) : 3597.00
3584.79/3597.00 c Solving Nodes : 25
3584.79/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3584.79/3597.00 c Dual Bound : +0.00000000000000e+00
3584.79/3597.00 c Gap : infinite
3584.79/3597.00 s UNKNOWN
3584.79/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3584.79/3597.00 c Total Time : 3597.00
3584.79/3597.00 c solving : 3597.00
3584.79/3597.00 c presolving : 59.71 (included in solving)
3584.79/3597.00 c reading : 0.07 (included in solving)
3584.79/3597.00 c copying : 0.03 (1 #copies) (minimal 0.03, maximal 0.03, average 0.03)
3584.79/3597.00 c Original Problem :
3584.79/3597.00 c Problem name : HOME/instance-4493311-1751146325.opb
3584.79/3597.00 c Variables : 23409 (23409 binary, 0 integer, 0 continuous)
3584.79/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3584.79/3597.00 c Constraints : 1386 initial, 1386 maximal
3584.79/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3584.79/3597.00 c Presolved Problem :
3584.79/3597.00 c Problem name : t_HOME/instance-4493311-1751146325.opb
3584.79/3597.00 c Variables : 19859 (19859 binary, 0 integer, 0 continuous)
3584.79/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3584.79/3597.00 c Constraints : 778 initial, 1020 maximal
3584.79/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3584.79/3597.00 c Nonzeros : 288061 constraint, 458361 clique table
3584.79/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3584.79/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c domcol : 0.02 0.00 38 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c dualsparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c implics : 0.01 0.00 45 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c milp : 0.18 0.00 1 0 0 0 0 0 1386 774 0 0
3584.79/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c sparsify : 0.26 0.00 2 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c trivial : 0.03 0.00 50 2 0 0 0 0 0 0 0 0
3584.79/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c dualfix : 0.03 0.00 50 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c probing : 55.96 0.00 38 3220 0 0 0 0 0 0 0 0
3584.79/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c symmetry : 0.59 0.00 1 196 0 0 0 0 0 41 0 0
3584.79/3597.00 c vbounds : 0.26 0.00 18 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c knapsack : 1.00 0.00 130 0 0 0 0 0 18 18 0 15
3584.79/3597.00 c setppc : 0.91 0.00 130 0 2 0 0 0 37 0 0 0
3584.79/3597.00 c linear : 0.21 0.03 3 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c orbitope_pp : 0.05 0.00 42 130 0 0 0 0 0 0 0 0
3584.79/3597.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c components : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c root node : - - - 15 - - 15 - - - - -
3584.79/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3584.79/3597.00 c integral : 0 0 0 0 25 0 0 5 0 0 14 0 0 0 48
3584.79/3597.00 c knapsack : 144+ 146 12 48326 0 0 0 2 857 3 1 0 0 0 0
3584.79/3597.00 c setppc : 593+ 602 12 48323 0 0 0 1 9527 369 5520 0 0 0 0
3584.79/3597.00 c orbitope_pp : 41 41 0 47854 0 0 0 0 41651 323 630 0 0 0 0
3584.79/3597.00 c logicor : 0+ 231 12 251 0 0 0 0 2 2 0 0 0 0 0
3584.79/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3584.79/3597.00 c integral : 19.57 0.00 0.00 0.00 19.57 0.00 0.00 0.00 0.00 0.00
3584.79/3597.00 c knapsack : 0.47 0.00 0.03 0.42 0.00 0.00 0.00 0.00 0.01 0.00
3584.79/3597.00 c setppc : 0.59 0.00 0.01 0.56 0.00 0.00 0.00 0.00 0.00 0.01
3584.79/3597.00 c orbitope_pp : 40.74 0.00 0.00 40.66 0.00 0.00 0.00 0.00 0.00 0.08
3584.79/3597.00 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.79/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.79/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.79/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.79/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3584.79/3597.00 c dualfix : 2 0 0 0
3584.79/3597.00 c genvbounds : 0 0 0 0
3584.79/3597.00 c nlobbt : 0 0 0 0
3584.79/3597.00 c obbt : 0 0 0 0
3584.79/3597.00 c probing : 0 0 0 0
3584.79/3597.00 c pseudoobj : 0 0 0 0
3584.79/3597.00 c redcost : 0 0 0 0
3584.79/3597.00 c rootredcost : 0 0 0 0
3584.79/3597.00 c symmetry : 0 0 0 0
3584.79/3597.00 c vbounds : 723 0 0 0
3584.79/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3584.79/3597.00 c dualfix : 0.03 0.00 0.03 0.00 0.00 0.00
3584.79/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3584.79/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.79/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.79/3597.00 c probing : 55.96 0.00 55.96 0.00 0.00 0.00
3584.79/3597.00 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3584.79/3597.00 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3584.79/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3584.79/3597.00 c symmetry : 0.60 0.00 0.59 0.01 0.00 0.00
3584.79/3597.00 c vbounds : 0.27 0.00 0.26 0.01 0.00 0.00
3584.79/3597.00 c Symmetry :
3584.79/3597.00 c #affected vars : 23409 (23409 bin, 0 int, 0 cont)
3584.79/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3584.79/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3584.79/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3584.79/3597.00 c shadow tree time : 0.00 s
3584.79/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3584.79/3597.00 c propagation : 0.03 686 56 - 317 129.1 5 159.0 - - -
3584.79/3597.00 c infeasible LP : 0.08 5 4 - 94 2335.5 0 0.0 3 1517.0 0
3584.79/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3584.79/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3584.79/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3584.79/3597.00 c applied globally : 0.09 - - 0 242 168.9 - - 3 - -
3584.79/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3584.79/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3584.79/3597.00 c cut pool : 0.00 - 24 24 - - 181 304 - - - - - (maximal pool size: 181)
3584.79/3597.00 c aggregation : 0.19 0.00 12 12 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3584.79/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3584.79/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3584.79/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c clique : 1.63 0.00 12 12 0 0 103 218 0 62 62 0 0
3584.79/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c gomory : 0.71 0.00 10 10 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3584.79/3597.00 c > strongcg : - - - - - - - 0 0 0 0 0 -
3584.79/3597.00 c impliedbounds : 0.17 0.00 12 12 0 0 57 64 0 8 8 0 0
3584.79/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c multilinear : 0.00 0.00 16 12 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3584.79/3597.00 c zerohalf : 0.43 0.00 12 12 0 0 21 22 0 19 19 0 0
3584.79/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3584.79/3597.00 c hybrid : 0.00 0.00 13 13 89 0 215 89 0 215
3584.79/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3584.79/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3584.79/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3584.79/3597.00 c problem variables: 0.00 - 0 0
3584.79/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3584.79/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.79/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3584.79/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3584.79/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.79/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3584.79/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3584.79/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.79/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3584.79/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.79/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3584.79/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3584.79/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3584.79/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3584.79/3597.00 c relpscost : 19.57 0.00 25 0 0 0 14 0 0 48
3584.79/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3584.79/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3584.79/3597.00 c LP solutions : 0.00 - - 0 0
3584.79/3597.00 c relax solutions : 0.00 - - 0 0
3584.79/3597.00 c pseudo solutions : 0.00 - - 0 0
3584.79/3597.00 c strong branching : 0.00 - - 0 0
3584.79/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3584.79/3597.00 c adaptivediving : 58.76 0.00 2 0 0
3584.79/3597.00 c alns : 0.00 0.00 0 0 0
3584.79/3597.00 c bound : 0.00 0.00 0 0 0
3584.79/3597.00 c clique : 0.13 0.00 1 0 0
3584.79/3597.00 c coefdiving : 0.00 0.00 0 0 0
3584.79/3597.00 c completesol : 0.00 0.00 0 0 0
3584.79/3597.00 c conflictdiving : 484.14 0.00 1 0 0
3584.79/3597.00 c crossover : 0.00 0.00 0 0 0
3584.79/3597.00 c dins : 0.00 0.00 0 0 0
3584.79/3597.00 c distributiondivin: 491.84 0.00 1 0 0
3584.79/3597.00 c dks : 0.00 0.00 0 0 0
3584.79/3597.00 c dps : 0.00 0.00 0 0 0
3584.79/3597.00 c dualval : 0.00 0.00 0 0 0
3584.79/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3584.79/3597.00 c feaspump : 47.91 0.00 1 0 0
3584.79/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3584.79/3597.00 c fracdiving : 357.79 0.00 2 0 0
3584.79/3597.00 c gins : 0.00 0.00 0 0 0
3584.79/3597.00 c guideddiving : 0.00 0.00 0 0 0
3584.79/3597.00 c indicator : 0.00 0.00 0 0 0
3584.79/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3584.79/3597.00 c intdiving : 0.00 0.00 0 0 0
3584.79/3597.00 c intshifting : 0.00 0.00 0 0 0
3584.79/3597.00 c linesearchdiving : 83.36 0.00 1 0 0
3584.79/3597.00 c localbranching : 0.00 0.00 0 0 0
3584.79/3597.00 c locks : 13.76 0.00 1 0 0
3584.79/3597.00 c lpface : 0.00 0.00 0 0 0
3584.79/3597.00 c mpec : 0.00 0.00 0 0 0
3584.79/3597.00 c multistart : 0.00 0.00 0 0 0
3584.79/3597.00 c mutation : 0.00 0.00 0 0 0
3584.79/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3584.79/3597.00 c objpscostdiving : 74.18 0.00 1 0 0
3584.79/3597.00 c octane : 0.00 0.00 0 0 0
3584.79/3597.00 c ofins : 0.00 0.00 0 0 0
3584.79/3597.00 c oneopt : 0.00 0.00 0 0 0
3584.79/3597.00 c padm : 0.00 0.00 0 0 0
3584.79/3597.00 c proximity : 0.00 0.00 0 0 0
3584.79/3597.00 c pscostdiving : 5.01 0.00 2 0 0
3584.79/3597.00 c randrounding : 1.74 0.00 15 0 0
3584.79/3597.00 c rens : 0.09 0.00 1 0 0
3584.79/3597.00 c reoptsols : 0.00 0.00 0 0 0
3584.79/3597.00 c repair : 0.00 0.00 0 0 0
3584.79/3597.00 c rins : 0.00 0.00 0 0 0
3584.79/3597.00 c rootsoldiving : 93.27 0.00 1 0 0
3584.79/3597.00 c rounding : 0.12 0.00 38 0 0
3584.79/3597.00 c scheduler : 0.00 0.00 0 0 0
3584.79/3597.00 c shiftandpropagate: 0.12 0.00 1 0 0
3584.79/3597.00 c shifting : 0.14 0.00 15 0 0
3584.79/3597.00 c simplerounding : 0.00 0.00 0 0 0
3584.79/3597.00 c subnlp : 0.00 0.00 0 0 0
3584.79/3597.00 c trivial : 0.01 0.00 2 0 0
3584.79/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3584.79/3597.00 c trustregion : 0.00 0.00 0 0 0
3584.79/3597.00 c trysol : 0.00 0.00 0 0 0
3584.79/3597.00 c twoopt : 0.00 0.00 0 0 0
3584.79/3597.00 c undercover : 0.00 0.00 0 0 0
3584.79/3597.00 c vbounds : 0.57 0.00 1 0 0
3584.79/3597.00 c veclendiving : 12.58 0.00 1 0 0
3584.79/3597.00 c zeroobj : 0.00 0.00 0 0 0
3584.79/3597.00 c zirounding : 0.01 0.00 23 0 0
3584.79/3597.00 c other solutions : - - - 0 -
3584.79/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3584.79/3597.00 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
3584.79/3597.00 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
3584.79/3597.00 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
3584.79/3597.00 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
3584.79/3597.00 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
3584.79/3597.00 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
3584.79/3597.00 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
3584.79/3597.00 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
3584.79/3597.00 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
3584.79/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3584.79/3597.00 c primal LP : 0.04 1 0 0.00 0.00 0.04 1
3584.79/3597.00 c dual LP : 1788.70 38 3302640 86911.58 1846.39 0.00 0
3584.79/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3584.79/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3584.79/3597.00 c resolve instable : 1.41 37 556 15.03 393.62
3584.79/3597.00 c diving/probing LP: 1703.92 467 3003558 6431.60 1762.73
3584.79/3597.00 c strong branching : 19.25 22 9006 409.36 467.87 - - 10
3584.79/3597.00 c (at root node) : - 22 9006 409.36 -
3584.79/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3584.79/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3584.79/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3584.79/3597.00 c B&B Tree :
3584.79/3597.00 c number of runs : 1
3584.79/3597.00 c nodes : 25 (24 internal, 1 leaves)
3584.79/3597.00 c feasible leaves : 0
3584.79/3597.00 c infeas. leaves : 1
3584.79/3597.00 c objective leaves : 0
3584.79/3597.00 c nodes (total) : 25 (24 internal, 1 leaves)
3584.79/3597.00 c nodes left : 24
3584.79/3597.00 c max depth : 8
3584.79/3597.00 c max depth (total): 8
3584.79/3597.00 c backtracks : 12 (48.0%)
3584.79/3597.00 c early backtracks : 0 (0.0%)
3584.79/3597.00 c nodes exc. ref. : 0 (0.0%)
3584.79/3597.00 c delayed cutoffs : 0
3584.79/3597.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3584.79/3597.00 c avg switch length: 2.12
3584.79/3597.00 c switching time : 0.05
3584.79/3597.00 c Root Node :
3584.79/3597.00 c First LP value : +0.00000000000000e+00
3584.79/3597.00 c First LP Iters : 1537867 (1963.05 Iter/sec)
3584.79/3597.00 c First LP Time : 783.41
3584.79/3597.00 c Final Dual Bound : +0.00000000000000e+00
3584.79/3597.00 c Final Root Iters : 1626926
3584.79/3597.00 c Root LP Estimate : +2.36400034834544e-03
3584.79/3597.00 c Solution :
3584.79/3597.00 c Solutions found : 0 (0 improvements)
3584.79/3597.00 c Primal Bound : -
3584.79/3597.00 c Dual Bound : +0.00000000000000e+00
3584.79/3597.00 c Gap : infinite
3584.79/3597.00 c Integrals : Total Avg%
3584.79/3597.00 c primal-dual : 359700.48 100.00
3584.79/3597.00 c primal-ref : - - (not evaluated)
3584.79/3597.00 c dual-ref : - - (not evaluated)
3584.89/3597.13 c Time complete (sec): 3584.926
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 (61853 MiB free)
memory of node 1: 64507 MiB (63555 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493311-1751146325/watcher-4493311-1751146325 -o /tmp/evaluation-result-4493311-1751146325/solver-4493311-1751146325 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751146306-16116 --watchdog 3760 pbsolver -f HOME/instance-4493311-1751146325.opb -t 3600 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=17434, runsolver pid=17431
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 1.38 1.94 3.04 5/265 17435
/proc/meminfo: memFree=128418828/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=82424 memory=73088 CPUtime=0.1 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 16187 0 0 0 8 2 0 0 20 0 1 0 30310306 84402176 18272 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 20606 18272 2368 2575 0 17513 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 82424 KiB
Current children cumulated memory: 73088 KiB
[startup+0.205728 s]*
/proc/loadavg: 1.38 1.94 3.04 5/265 17435
/proc/meminfo: memFree=128384808/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=122564 memory=110988 CPUtime=0.2 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 24074 0 0 0 17 3 0 0 20 0 1 0 30310306 125505536 27747 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 30641 27747 2432 2575 0 27548 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 122564 KiB
Current children cumulated memory: 110988 KiB
[startup+0.30552 s]*
/proc/loadavg: 1.38 1.94 3.04 5/265 17435
/proc/meminfo: memFree=128297992/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=143684 memory=132848 CPUtime=0.3 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 31302 0 0 0 26 4 0 0 20 0 1 0 30310306 147132416 33212 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 35921 33212 2496 2575 0 32828 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 143684 KiB
Current children cumulated memory: 132848 KiB
[startup+0.700192 s]
/proc/loadavg: 1.38 1.94 3.04 5/265 17435
/proc/meminfo: memFree=128201224/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=219208 memory=189156 CPUtime=0.69 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 37964 0 0 0 63 6 0 0 20 0 1 0 30310306 224468992 47289 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 54802 47289 2560 2575 0 51709 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 219208 KiB
Current children cumulated memory: 189156 KiB
[startup+1.50016 s]
/proc/loadavg: 1.38 1.94 3.04 5/265 17435
/proc/meminfo: memFree=128002960/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=329600 memory=267140 CPUtime=1.48 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 47719 0 0 0 140 8 0 0 20 0 1 0 30310306 337510400 66785 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 82400 66785 2592 2575 0 79307 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 329600 KiB
Current children cumulated memory: 267140 KiB
[startup+3.10552 s]
/proc/loadavg: 1.59 1.98 3.04 5/265 17435
/proc/meminfo: memFree=127872100/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=459752 memory=361220 CPUtime=3.08 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 71269 0 0 0 297 11 0 0 20 0 1 0 30310306 470786048 90305 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 114938 90305 2592 2575 0 111845 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 459752 KiB
Current children cumulated memory: 361220 KiB
[startup+6.30019 s]
/proc/loadavg: 1.59 1.98 3.04 5/265 17435
/proc/meminfo: memFree=127785516/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=467176 memory=367620 CPUtime=6.27 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 72872 0 0 0 615 12 0 0 20 0 1 0 30310306 478388224 91905 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 116794 91905 2592 2575 0 113701 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 467176 KiB
Current children cumulated memory: 367620 KiB
[startup+12.7002 s]
/proc/loadavg: 1.79 2.01 3.05 5/264 17435
/proc/meminfo: memFree=127663368/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=471516 memory=371972 CPUtime=12.65 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 73966 0 0 0 1253 12 0 0 20 0 1 0 30310306 482832384 92993 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 117879 92993 2592 2575 0 114786 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 471516 KiB
Current children cumulated memory: 371972 KiB
[startup+25.5002 s]
/proc/loadavg: 2.35 2.13 3.07 5/265 17436
/proc/meminfo: memFree=127572408/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=480936 memory=381060 CPUtime=25.41 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 76286 0 0 0 2529 12 0 0 20 0 1 0 30310306 492478464 95265 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 120234 95265 2592 2575 0 117141 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 480936 KiB
Current children cumulated memory: 381060 KiB
[startup+51.1055 s]
/proc/loadavg: 2.97 2.29 3.10 5/264 17436
/proc/meminfo: memFree=127503480/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=484112 memory=384132 CPUtime=50.93 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 77065 0 0 0 5080 13 0 0 20 0 1 0 30310306 495730688 96033 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 121028 96033 2592 2575 0 117935 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 484112 KiB
Current children cumulated memory: 384132 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 2.58 3.15 5/264 17438
/proc/meminfo: memFree=127248940/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=532048 memory=430212 CPUtime=101.94 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 88537 0 0 0 10179 15 0 0 20 0 1 0 30310306 544817152 107553 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 133012 107553 2656 2575 0 129919 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 532048 KiB
Current children cumulated memory: 430212 KiB
[startup+162.3 s]
/proc/loadavg: 3.98 2.87 3.22 5/264 17440
/proc/meminfo: memFree=127141784/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=532780 memory=430852 CPUtime=161.74 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 88689 0 0 0 16159 15 0 0 20 0 1 0 30310306 545566720 107713 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 133195 107713 2656 2575 0 130102 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 532780 KiB
Current children cumulated memory: 430852 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.09 3.28 5/264 17442
/proc/meminfo: memFree=126932852/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=532780 memory=430852 CPUtime=221.54 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 88690 0 0 0 22139 15 0 0 20 0 1 0 30310306 545566720 107713 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 133195 107713 2656 2575 0 130102 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 532780 KiB
Current children cumulated memory: 430852 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 3.28 3.33 5/264 17444
/proc/meminfo: memFree=126897768/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=532780 memory=430852 CPUtime=281.34 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 88690 0 0 0 28119 15 0 0 20 0 1 0 30310306 545566720 107713 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 133195 107713 2656 2575 0 130102 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 532780 KiB
Current children cumulated memory: 430852 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.44 3.39 5/262 17446
/proc/meminfo: memFree=126898836/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=532780 memory=430852 CPUtime=341.13 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 88690 0 0 0 34098 15 0 0 20 0 1 0 30310306 545566720 107713 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 133195 107713 2656 2575 0 130102 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 532780 KiB
Current children cumulated memory: 430852 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.56 3.43 5/264 17454
/proc/meminfo: memFree=126805728/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=532780 memory=430852 CPUtime=400.92 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 88690 0 0 0 40077 15 0 0 20 0 1 0 30310306 545566720 107713 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 133195 107713 2656 2575 0 130102 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 532780 KiB
Current children cumulated memory: 430852 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.66 3.48 5/265 17459
/proc/meminfo: memFree=126711528/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=532780 memory=430852 CPUtime=460.71 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 88690 0 0 0 46056 15 0 0 20 0 1 0 30310306 545566720 107713 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 133195 107713 2656 2575 0 130102 0
################
# More data... #
################
/proc/loadavg: 4.11 4.09 4.08 5/263 17625
/proc/meminfo: memFree=124995752/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=652480 memory=542976 CPUtime=3211.31 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 105500 0 0 0 321111 20 0 0 20 0 1 0 30310306 668139520 135744 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 163120 135744 2688 2575 0 160027 0
Current children cumulated CPU time: 3211.31 s
Current children cumulated vsize: 652480 KiB
Current children cumulated memory: 542976 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.08 4.08 5/263 17627
/proc/meminfo: memFree=124970760/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=652480 memory=542976 CPUtime=3271.1 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 105502 0 0 0 327090 20 0 0 20 0 1 0 30310306 668139520 135744 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 163120 135744 2688 2575 0 160027 0
Current children cumulated CPU time: 3271.1 s
Current children cumulated vsize: 652480 KiB
Current children cumulated memory: 542976 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.08 5/263 17629
/proc/meminfo: memFree=124945860/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=652480 memory=542976 CPUtime=3330.91 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 105502 0 0 0 333071 20 0 0 20 0 1 0 30310306 668139520 135744 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 163120 135744 2688 2575 0 160027 0
Current children cumulated CPU time: 3330.91 s
Current children cumulated vsize: 652480 KiB
Current children cumulated memory: 542976 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.08 5/264 17636
/proc/meminfo: memFree=124785660/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=652480 memory=542976 CPUtime=3390.71 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 105504 0 0 0 339051 20 0 0 20 0 1 0 30310306 668139520 135744 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 163120 135744 2688 2575 0 160027 0
Current children cumulated CPU time: 3390.71 s
Current children cumulated vsize: 652480 KiB
Current children cumulated memory: 542976 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.08 5/265 17641
/proc/meminfo: memFree=124802668/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=652480 memory=542976 CPUtime=3450.51 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 105504 0 0 0 345031 20 0 0 20 0 1 0 30310306 668139520 135744 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 163120 135744 2688 2575 0 160027 0
Current children cumulated CPU time: 3450.51 s
Current children cumulated vsize: 652480 KiB
Current children cumulated memory: 542976 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.09 4.08 5/264 17643
/proc/meminfo: memFree=124793580/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=652480 memory=543104 CPUtime=3510.31 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 105521 0 0 0 351011 20 0 0 20 0 1 0 30310306 668139520 135776 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 163120 135776 2688 2575 0 160027 0
Current children cumulated CPU time: 3510.31 s
Current children cumulated vsize: 652480 KiB
Current children cumulated memory: 543104 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/264 17645
/proc/meminfo: memFree=124777348/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=652480 memory=545024 CPUtime=3570.13 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 105548 0 0 0 356993 20 0 0 20 0 1 0 30310306 668139520 136256 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 163120 136256 2688 2575 0 160027 0
Current children cumulated CPU time: 3570.13 s
Current children cumulated vsize: 652480 KiB
Current children cumulated memory: 545024 KiB
[startup+3597.14 s]
# the end of solver process 17434 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.72 s, system=0.216293 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.10 4.09 5/264 17645
/proc/meminfo: memFree=124777348/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=652480 memory=545024 CPUtime=3571.83 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 105548 0 0 0 357163 20 0 0 20 0 1 0 30310306 668139520 136256 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 163120 136256 2688 2575 0 160027 0
Current children cumulated CPU time: 3571.83 s
Current children cumulated vsize: 652480 KiB
Current children cumulated memory: 545024 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.10 4.09 4/262 17690
/proc/meminfo: memFree=127180264/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=652480 memory=545536 CPUtime=3578.2 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 105548 0 0 0 357800 20 0 0 20 0 1 0 30310306 668139520 136384 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 163120 136384 2688 2575 0 160027 0
Current children cumulated CPU time: 3578.2 s
Current children cumulated vsize: 652480 KiB
Current children cumulated memory: 545536 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.10 4.09 5/260 17750
/proc/meminfo: memFree=127796004/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=652480 memory=545536 CPUtime=3581.39 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 105548 0 0 0 358119 20 0 0 20 0 1 0 30310306 668139520 136384 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 163120 136384 2688 2575 0 160027 0
Current children cumulated CPU time: 3581.39 s
Current children cumulated vsize: 652480 KiB
Current children cumulated memory: 545536 KiB
[startup+3595.2 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 17780
/proc/meminfo: memFree=126746672/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=652480 memory=545536 CPUtime=3582.99 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 105548 0 0 0 358279 20 0 0 20 0 1 0 30310306 668139520 136384 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 163120 136384 2688 2575 0 160027 0
Current children cumulated CPU time: 3582.99 s
Current children cumulated vsize: 652480 KiB
Current children cumulated memory: 545536 KiB
[startup+3596 s]*
/proc/loadavg: 4.12 4.10 4.09 5/264 17780
/proc/meminfo: memFree=125979140/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=652480 memory=545536 CPUtime=3583.79 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 105548 0 0 0 358359 20 0 0 20 0 1 0 30310306 668139520 136384 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 163120 136384 2688 2575 0 160027 0
Current children cumulated CPU time: 3583.79 s
Current children cumulated vsize: 652480 KiB
Current children cumulated memory: 545536 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 17780
/proc/meminfo: memFree=125979140/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=652480 memory=545664 CPUtime=3584.58 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 105548 0 0 0 358438 20 0 0 20 0 1 0 30310306 668139520 136416 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 163120 136416 2688 2575 0 160027 0
Current children cumulated CPU time: 3584.58 s
Current children cumulated vsize: 652480 KiB
Current children cumulated memory: 545664 KiB
[startup+3597 s]*
/proc/loadavg: 4.12 4.10 4.09 5/264 17780
/proc/meminfo: memFree=125270020/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=652480 memory=545664 CPUtime=3584.79 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 105548 0 0 0 358459 20 0 0 20 0 1 0 30310306 668139520 136416 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 163120 136416 2688 2575 0 160027 0
Current children cumulated CPU time: 3584.79 s
Current children cumulated vsize: 652480 KiB
Current children cumulated memory: 545664 KiB
[startup+3597.11 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 17780
/proc/meminfo: memFree=125270020/131249996 swapFree=33010684/33010684
[pid=17434] ppid=17431 vsize=591772 memory=484968 CPUtime=3584.89 cores=1,3
/proc/17434/stat : 17434 (pbsolver) R 17431 17434 16104 0 -1 4194304 105551 0 0 0 358469 20 0 0 20 0 1 0 30310306 605974528 121242 18446744073709551615 4198400 14743177 140734504216112 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22032384 140734504221066 140734504221162 140734504221162 140734504226764 0
/proc/17434/statm: 147943 121242 2688 2575 0 144850 0
Current children cumulated CPU time: 3584.89 s
Current children cumulated vsize: 591772 KiB
Current children cumulated memory: 484968 KiB
Child status: 0
Real time (s): 3597.14
CPU time (s): 3584.93
CPU user time (s): 3584.72
CPU system time (s): 0.216293
CPU usage (%): 99.6606
Max. virtual memory (cumulated for all children) (KiB): 652480
Max. memory (cumulated for all children) (KiB): 545664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.72
system time used= 0.216293
maximum resident set size= 545664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105552
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= 5
involuntary context switches= 4602
# summary of solver processes directly reported to runsolver:
# pid: 17434
# total CPU time (s): 3584.93
# total CPU user time (s): 3584.72
# total CPU system time (s): 0.216293
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77966 second user time and 14.3348 second system time
The end
Begin job on nodeC017 at 2025-06-28 23:32:06 IDJOB=4493311 IDBENCH=147859 IDSOLVER=3366 FILE ID=nodeC017/4493311-1751146325 RUNJOBID= nodeC017-1751146306-16116 SLURM_JOB_ID= 9587458 Free space on /tmp= 432960 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin18.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4493311-1751146325/watcher-4493311-1751146325 -o /tmp/evaluation-result-4493311-1751146325/solver-4493311-1751146325 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751146306-16116 --watchdog 3760 pbsolver -f HOME/instance-4493311-1751146325.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 524c0290a9c7ac599d8004695d4c7f99 RANDOM SEED=995402223 nodeC017 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.054 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.023 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.658 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.099 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.009 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.066 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.433 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 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 : 3600.719 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 128424328 kB MemAvailable: 128141016 kB Buffers: 3280 kB Cached: 527792 kB SwapCached: 0 kB Active: 1787372 kB Inactive: 308804 kB Active(anon): 1583200 kB Inactive(anon): 0 kB Active(file): 204172 kB Inactive(file): 308804 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 74080 kB Writeback: 0 kB AnonPages: 1567544 kB Mapped: 134812 kB Shmem: 18080 kB KReclaimable: 85504 kB Slab: 168340 kB SReclaimable: 85504 kB SUnreclaim: 82836 kB KernelStack: 4336 kB PageTables: 6228 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 1952592 kB VmallocTotal: 34359738367 kB VmallocUsed: 150600 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 118784 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: 176852 kB DirectMap2M: 6934528 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 432892 MiB End job on nodeC017 at 2025-06-29 00:32:03