| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3587.79 | 3597.09 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K96.opb |
| MD5SUM | 85449da570d8e9c3bf031cd447953d83 |
| 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 | 6.73265 |
| 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 | 6528 |
| Total number of constraints | 6722 |
| Number of constraints which are clauses | 6626 |
| Number of constraints which are cardinality constraints (but not clauses) | 96 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 96 |
| 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 | 97 |
| Number of bits of the biggest sum of numbers | 7 |
| 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-4507599-1751191306.opb>
0.00/0.02 c original problem has 6528 variables (6528 bin, 0 int, 0 cont) and 6722 constraints
0.00/0.02 c problem read in 0.021 seconds
0.00/0.02 c problem without objective
0.00/0.04 c presolving:
0.00/0.05 c (round 1, fast) 148 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1303 clqs
0.00/0.05 c (round 2, fast) 392 del vars, 155 del conss, 0 add conss, 66 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1290 clqs
0.00/0.05 c (round 3, fast) 506 del vars, 237 del conss, 0 add conss, 114 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1295 clqs
0.00/0.05 c (round 4, fast) 570 del vars, 294 del conss, 0 add conss, 139 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1321 clqs
0.00/0.05 c (round 5, fast) 581 del vars, 303 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1336 clqs
0.00/0.07 c (0.1s) running MILP presolver
0.10/0.13 c (0.1s) MILP presolver (4 rounds): 1 aggregations, 93 fixings, 0 bound changes
0.10/0.13 c (round 6, medium) 677 del vars, 305 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1338 clqs
0.10/0.14 c (round 7, fast) 677 del vars, 400 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1340 clqs
0.10/0.14 c (round 8, exhaustive) 677 del vars, 493 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1340 clqs
0.10/0.17 c (round 9, exhaustive) 677 del vars, 493 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 6229 upgd conss, 0 impls, 1340 clqs
0.10/0.20 c (round 10, exhaustive) 739 del vars, 493 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 6229 upgd conss, 0 impls, 1327 clqs
0.10/0.20 c (round 11, fast) 801 del vars, 555 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 6229 upgd conss, 0 impls, 1327 clqs
0.88/0.91 c (round 12, exhaustive) 827 del vars, 556 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 6229 upgd conss, 0 impls, 38562 clqs
0.88/0.91 c (round 13, fast) 827 del vars, 582 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 113 chg coeffs, 6229 upgd conss, 0 impls, 38573 clqs
1.38/1.47 c (round 14, exhaustive) 854 del vars, 582 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 113 chg coeffs, 6229 upgd conss, 0 impls, 38891 clqs
1.38/1.47 c (round 15, fast) 856 del vars, 609 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 167 chg coeffs, 6229 upgd conss, 0 impls, 38897 clqs
1.58/1.64 c (round 16, exhaustive) 883 del vars, 609 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 167 chg coeffs, 6229 upgd conss, 0 impls, 39002 clqs
1.58/1.65 c (round 17, fast) 883 del vars, 636 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 227 chg coeffs, 6229 upgd conss, 0 impls, 39009 clqs
1.68/1.76 c (round 18, exhaustive) 912 del vars, 636 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 227 chg coeffs, 6229 upgd conss, 0 impls, 38970 clqs
1.68/1.77 c (round 19, fast) 916 del vars, 665 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 268 chg coeffs, 6229 upgd conss, 0 impls, 38973 clqs
1.78/1.81 c (round 20, exhaustive) 941 del vars, 665 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 268 chg coeffs, 6229 upgd conss, 0 impls, 38901 clqs
1.78/1.81 c (round 21, fast) 941 del vars, 690 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 290 chg coeffs, 6229 upgd conss, 0 impls, 38901 clqs
1.98/2.08 c (2.1s) probing: 1000/6010 (16.6%) - 143 fixings, 1 aggregations, 620725 implications, 0 bound changes
3.08/3.16 c (3.2s) probing: 1836/6010 (30.5%) - 143 fixings, 1 aggregations, 1096036 implications, 0 bound changes
3.08/3.16 c (3.2s) probing aborted: 1000/1000 successive useless probings
3.08/3.16 c (round 22, exhaustive) 957 del vars, 690 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 290 chg coeffs, 6229 upgd conss, 0 impls, 39056 clqs
3.08/3.16 c (round 23, fast) 957 del vars, 706 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 306 chg coeffs, 6229 upgd conss, 0 impls, 39056 clqs
3.18/3.20 c (round 24, exhaustive) 982 del vars, 706 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 306 chg coeffs, 6229 upgd conss, 0 impls, 39046 clqs
3.18/3.21 c (round 25, fast) 982 del vars, 731 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 331 chg coeffs, 6229 upgd conss, 0 impls, 39046 clqs
3.37/3.41 c (3.4s) probing: 2000/6010 (33.3%) - 174 fixings, 1 aggregations, 1165152 implications, 0 bound changes
4.37/4.45 c (4.5s) probing: 3000/6010 (49.9%) - 186 fixings, 1 aggregations, 1586948 implications, 0 bound changes
4.87/4.97 c (round 26, exhaustive) 1007 del vars, 731 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 331 chg coeffs, 6229 upgd conss, 0 impls, 39069 clqs
4.87/4.98 c (round 27, fast) 1007 del vars, 756 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 375 chg coeffs, 6229 upgd conss, 0 impls, 39073 clqs
5.47/5.56 c (5.6s) probing: 4000/6010 (66.6%) - 213 fixings, 1 aggregations, 2001528 implications, 0 bound changes
6.46/6.58 c (6.6s) probing: 5000/6010 (83.2%) - 216 fixings, 1 aggregations, 2396949 implications, 0 bound changes
6.76/6.85 c (6.8s) probing: 5256/6010 (87.5%) - 216 fixings, 1 aggregations, 2495676 implications, 0 bound changes
6.76/6.85 c (6.8s) probing aborted: 1000/1000 successive useless probings
6.76/6.85 c (round 28, exhaustive) 1030 del vars, 756 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 375 chg coeffs, 6229 upgd conss, 0 impls, 39072 clqs
6.76/6.85 c (round 29, fast) 1030 del vars, 779 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 411 chg coeffs, 6229 upgd conss, 0 impls, 39072 clqs
7.46/7.56 c (7.6s) probing: 6000/6010 (99.8%) - 220 fixings, 1 aggregations, 2742611 implications, 0 bound changes
7.46/7.56 c (7.6s) probing cycle finished: starting next cycle
8.66/8.75 c (8.8s) probing: 1000/5783 (17.3%) - 220 fixings, 2 aggregations, 3344129 implications, 0 bound changes
8.66/8.77 c (8.8s) probing: 1020/5783 (17.6%) - 220 fixings, 2 aggregations, 3354115 implications, 0 bound changes
8.66/8.77 c (8.8s) probing aborted: 1000/1000 successive useless probings
8.66/8.78 c (round 30, exhaustive) 1036 del vars, 779 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 423 chg coeffs, 6229 upgd conss, 0 impls, 38469 clqs
8.66/8.78 c (round 31, fast) 1036 del vars, 784 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 423 chg coeffs, 6229 upgd conss, 0 impls, 38473 clqs
8.86/8.93 c (8.9s) probing: 1120/5783 (19.4%) - 220 fixings, 2 aggregations, 3408134 implications, 0 bound changes
8.86/8.93 c (8.9s) probing aborted: 1000/1000 successive useless probings
8.86/8.94 c (8.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
8.86/8.95 c (9.0s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 2.58) (symcode time: 0.01)
8.86/8.96 c dynamic symmetry handling statistics:
8.86/8.96 c orbitopal reduction: no components
8.86/8.96 c orbital reduction: no components
8.86/8.96 c lexicographic reduction: 4 permutations with support sizes 180, 356, 180, 164
8.86/8.96 c handled 5 out of 5 symmetry components
8.86/8.97 c presolving (32 rounds: 32 fast, 15 medium, 14 exhaustive):
8.86/8.97 c 1039 deleted vars, 784 deleted constraints, 3 added constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 423 changed coefficients
8.86/8.97 c 0 implications, 39100 cliques
8.86/8.97 c presolved problem has 5779 variables (5779 bin, 0 int, 0 cont) and 5941 constraints
8.86/8.97 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
8.86/8.97 c 1 constraints of type <knapsack>
8.86/8.97 c 1263 constraints of type <setppc>
8.86/8.97 c 3 constraints of type <orbitope_pp>
8.86/8.97 c 4674 constraints of type <logicor>
8.86/8.97 c transformed objective value is always integral (scale: 1)
8.86/8.97 c Presolving Time: 8.93
8.86/8.97 c
8.86/8.97 c - non default parameters ----------------------------------------------------------------------
8.86/8.97 c
8.86/8.97 c # SCIP version 10.0.0
8.86/8.97 c
8.86/8.97 c # maximal time in seconds to run
8.86/8.97 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
8.86/8.97 c limits/time = 3596.998007
8.86/8.97 c
8.86/8.97 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
8.86/8.97 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
8.86/8.97 c limits/memory = 27900
8.86/8.97 c
8.86/8.97 c # belongs reading time to solving time?
8.86/8.97 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
8.86/8.97 c timing/reading = TRUE
8.86/8.97 c
8.86/8.97 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
8.86/8.97 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
8.86/8.97 c reading/opbreader/maxintsize = 47
8.86/8.97 c
8.86/8.97 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
8.86/8.97 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
8.86/8.97 c propagating/genvbounds/timingmask = 0
8.86/8.97 c
8.86/8.97 c -----------------------------------------------------------------------------------------------
8.86/8.97 c
12.85/12.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.85/12.96 c 13.0s| 1 | 0 | 11253 | - | 125M | 0 |5779 |6053 |5935 | 0 | 0 | 114 | 0 | 0.000000e+00 | -- | Inf | unknown
54.92/55.18 c 55.2s| 1 | 0 | 70499 | - | 133M | 0 |5779 |6257 |5946 | 11 | 1 | 118 | 0 | 0.000000e+00 | -- | Inf | unknown
58.01/58.24 c 58.2s| 1 | 0 | 76645 | - | 138M | 0 |5779 |6263 |5957 | 22 | 2 | 124 | 0 | 0.000000e+00 | -- | Inf | unknown
61.49/61.78 c 61.8s| 1 | 0 | 83566 | - | 142M | 0 |5779 |6270 |5969 | 34 | 3 | 131 | 0 | 0.000000e+00 | -- | Inf | unknown
63.59/63.80 c 63.8s| 1 | 0 | 86914 | - | 143M | 0 |5779 |6274 |5974 | 39 | 4 | 135 | 0 | 0.000000e+00 | -- | Inf | unknown
67.18/67.46 c 67.5s| 1 | 0 | 93805 | - | 145M | 0 |5779 |6275 |5983 | 48 | 5 | 136 | 0 | 0.000000e+00 | -- | Inf | unknown
71.17/71.48 c 71.5s| 1 | 0 |101260 | - | 147M | 0 |5779 |6275 |5996 | 61 | 6 | 138 | 0 | 0.000000e+00 | -- | Inf | unknown
75.35/75.64 c 75.6s| 1 | 0 |108865 | - | 148M | 0 |5779 |6274 |6006 | 71 | 7 | 140 | 0 | 0.000000e+00 | -- | Inf | unknown
79.94/80.20 c 80.2s| 1 | 0 |116907 | - | 150M | 0 |5779 |6275 |6013 | 78 | 8 | 141 | 0 | 0.000000e+00 | -- | Inf | unknown
85.92/86.27 c 86.3s| 1 | 0 |127279 | - | 150M | 0 |5779 |6276 |6023 | 88 | 9 | 142 | 0 | 0.000000e+00 | -- | Inf | unknown
91.90/92.24 c 92.2s| 1 | 0 |137140 | - | 151M | 0 |5779 |6273 |6039 | 104 | 10 | 144 | 0 | 0.000000e+00 | -- | Inf | unknown
97.98/98.31 c 98.3s| 1 | 0 |147428 | - | 152M | 0 |5779 |6274 |6053 | 118 | 11 | 146 | 0 | 0.000000e+00 | -- | Inf | unknown
136.96/137.48 c 137s| 1 | 2 |205530 | - | 154M | 0 |5779 |6298 |6053 | 118 | 11 | 176 | 11 | 0.000000e+00 | -- | Inf | unknown
298.17/299.13 c 299s| 100 | 25 |518936 |3752.6 | 162M | 36 |5779 |6239 |6037 | 170 | 1 | 202 | 11 | 0.000000e+00 | -- | Inf | 25.10%
341.83/342.97 c 343s| 200 | 25 |652820 |2539.7 | 175M | 40 |5779 |6258 |6042 | 194 | 0 | 244 | 11 | 0.000000e+00 | -- | Inf | 25.10%
386.39/387.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
386.39/387.60 c 388s| 300 | 25 |790349 |2150.2 | 182M | 40 |5779 |6265 |6042 | 238 | 0 | 255 | 11 | 0.000000e+00 | -- | Inf | 25.10%
432.55/433.99 c 434s| 400 | 27 |927801 |1955.8 | 192M | 40 |5779 |6270 |6038 | 271 | 1 | 289 | 11 | 0.000000e+00 | -- | Inf | 25.10%
501.35/502.94 c 503s| 500 | 27 | 1143k|1996.5 | 203M | 41 |5779 |6271 |6045 | 308 | 0 | 310 | 11 | 0.000000e+00 | -- | Inf | 25.10%
552.42/554.16 c 554s| 600 | 25 | 1295k|1916.9 | 211M | 41 |5779 |6274 |6044 | 349 | 1 | 331 | 11 | 0.000000e+00 | -- | Inf | 25.10%
618.05/619.95 c 620s| 700 | 27 | 1489k|1920.3 | 225M | 46 |5779 |6277 |6044 | 407 | 1 | 359 | 11 | 0.000000e+00 | -- | Inf | 25.10%
686.38/688.42 c 688s| 800 | 27 | 1690k|1931.2 | 237M | 47 |5779 |6280 |6059 | 532 | 1 | 375 | 11 | 0.000000e+00 | -- | Inf | 25.10%
745.43/747.60 c 748s| 900 | 23 | 1855k|1900.2 | 243M | 48 |5779 |6276 |6038 | 581 | 0 | 394 | 11 | 0.000000e+00 | -- | Inf | 25.10%
799.89/802.28 c 802s| 1000 | 23 | 2010k|1865.1 | 247M | 48 |5779 |6279 |6036 | 631 | 0 | 421 | 11 | 0.000000e+00 | -- | Inf | 25.10%
849.07/851.58 c 852s| 1100 | 25 | 2159k|1830.9 | 251M | 48 |5779 |6288 |6047 | 661 | 0 | 444 | 11 | 0.000000e+00 | -- | Inf | 25.10%
912.52/915.10 c 915s| 1200 | 27 | 2337k|1826.2 | 255M | 49 |5779 |6286 |6042 | 754 | 0 | 460 | 11 | 0.000000e+00 | -- | Inf | 25.10%
970.28/973.01 c 973s| 1300 | 25 | 2502k|1813.3 | 256M | 69 |5779 |6287 |6076 | 836 | 0 | 467 | 11 | 0.000000e+00 | -- | Inf | 25.10%
1054.27/1057.28 c 1057s| 1400 | 29 | 2728k|1845.0 | 257M | 75 |5779 |6282 |6031 | 919 | 1 | 488 | 11 | 0.000000e+00 | -- | Inf | 25.11%
1114.42/1117.56 c 1118s| 1500 | 39 | 2893k|1831.9 | 259M | 75 |5779 |6295 |6036 | 946 | 0 | 521 | 11 | 0.000000e+00 | -- | Inf | 25.11%
1179.66/1182.91 c 1183s| 1600 | 38 | 3073k|1830.1 | 262M | 75 |5779 |6305 |6035 | 965 | 1 | 560 | 11 | 0.000000e+00 | -- | Inf | 25.11%
1213.37/1216.74 c 1217s| 1700 | 36 | 3173k|1781.2 | 263M | 75 |5779 |6324 |6045 | 991 | 0 | 596 | 11 | 0.000000e+00 | -- | Inf | 25.11%
1260.06/1263.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1260.06/1263.50 c 1264s| 1800 | 38 | 3309k|1757.8 | 263M | 75 |5779 |6329 |6039 |1030 | 1 | 611 | 11 | 0.000000e+00 | -- | Inf | 25.11%
1308.44/1312.02 c 1312s| 1900 | 36 | 3448k|1738.2 | 266M | 75 |5779 |6358 |6045 |1118 | 1 | 646 | 11 | 0.000000e+00 | -- | Inf | 25.11%
1358.90/1362.69 c 1363s| 2000 | 34 | 3592k|1723.5 | 267M | 75 |5779 |6371 |6059 |1195 | 0 | 673 | 11 | 0.000000e+00 | -- | Inf | 25.11%
1417.07/1420.96 c 1421s| 2100 | 39 | 3758k|1720.3 | 268M | 75 |5779 |6360 |6055 |1263 | 1 | 684 | 11 | 0.000000e+00 | -- | Inf | 25.11%
1483.20/1487.22 c 1487s| 2200 | 37 | 3946k|1727.8 | 271M | 75 |5779 |6391 | 0 |1343 | 0 | 724 | 11 | 0.000000e+00 | -- | Inf | 25.11%
1538.97/1543.17 c 1543s| 2300 | 47 | 4107k|1722.3 | 272M | 75 |5779 |6364 |6063 |1396 | 0 | 748 | 11 | 0.000000e+00 | -- | Inf | 25.11%
1574.57/1578.83 c 1579s| 2400 | 47 | 4210k|1693.5 | 272M | 75 |5779 |6396 | 0 |1419 | 0 | 808 | 11 | 0.000000e+00 | -- | Inf | 25.11%
1620.86/1625.21 c 1625s| 2500 | 47 | 4341k|1678.1 | 273M | 75 |5779 |6427 |6075 |1486 | 0 | 848 | 11 | 0.000000e+00 | -- | Inf | 25.11%
1672.64/1677.16 c 1677s| 2600 | 45 | 4489k|1670.6 | 274M | 75 |5779 |6435 |6079 |1542 | 1 | 862 | 11 | 0.000000e+00 | -- | Inf | 25.11%
1723.90/1728.50 c 1729s| 2700 | 37 | 4636k|1663.2 | 274M | 75 |5779 |6425 |6046 |1579 | 1 | 868 | 11 | 0.000000e+00 | -- | Inf | 25.11%
1791.13/1795.91 c 1796s| 2800 | 39 | 4828k|1672.3 | 278M | 75 |5779 |6399 |6049 |1660 | 1 | 901 | 11 | 0.000000e+00 | -- | Inf | 25.11%
1849.10/1854.06 c 1854s| 2900 | 37 | 4991k|1670.9 | 278M | 75 |5779 |6387 |6054 |1699 | 0 | 925 | 11 | 0.000000e+00 | -- | Inf | 25.11%
1901.25/1906.36 c 1906s| 3000 | 37 | 5142k|1665.4 | 279M | 75 |5779 |6397 |6061 |1745 | 0 | 948 | 11 | 0.000000e+00 | -- | Inf | 25.11%
1957.88/1963.17 c 1963s| 3100 | 39 | 5304k|1664.0 | 281M | 75 |5779 |6408 |6075 |1823 | 0 | 988 | 11 | 0.000000e+00 | -- | Inf | 25.11%
2003.54/2008.94 c 2009s| 3200 | 39 | 5436k|1653.2 | 282M | 75 |5779 |6421 |6074 |1883 | 2 |1049 | 11 | 0.000000e+00 | -- | Inf | 25.11%
2056.98/2062.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2056.98/2062.54 c 2063s| 3300 | 37 | 5590k|1649.8 | 283M | 75 |5779 |6422 |6049 |1944 | 0 |1067 | 11 | 0.000000e+00 | -- | Inf | 25.11%
2111.83/2117.56 c 2118s| 3400 | 35 | 5746k|1647.3 | 284M | 75 |5779 |6382 |6041 |2014 | 0 |1089 | 11 | 0.000000e+00 | -- | Inf | 25.11%
2167.89/2173.76 c 2174s| 3500 | 37 | 5906k|1645.9 | 285M | 75 |5779 |6367 |6047 |2050 | 0 |1105 | 11 | 0.000000e+00 | -- | Inf | 25.11%
2230.54/2236.59 c 2237s| 3600 | 45 | 6073k|1646.7 | 285M | 75 |5779 |6366 |6034 |2089 | 1 |1121 | 11 | 0.000000e+00 | -- | Inf | 25.11%
2258.67/2264.78 c 2265s| 3700 | 47 | 6161k|1626.0 | 286M | 75 |5779 |6379 |6037 |2115 | 0 |1156 | 11 | 0.000000e+00 | -- | Inf | 25.11%
2287.50/2293.67 c 2294s| 3800 | 45 | 6250k|1606.6 | 287M | 75 |5779 |6412 |6034 |2131 | 1 |1219 | 11 | 0.000000e+00 | -- | Inf | 25.11%
2316.42/2322.61 c 2323s| 3900 | 43 | 6341k|1588.6 | 289M | 75 |5779 |6439 | 0 |2151 | 0 |1278 | 11 | 0.000000e+00 | -- | Inf | 25.11%
2346.25/2352.54 c 2353s| 4000 | 45 | 6433k|1572.0 | 290M | 75 |5779 |6453 |6035 |2163 | 0 |1361 | 11 | 0.000000e+00 | -- | Inf | 25.11%
2378.67/2385.01 c 2385s| 4100 | 43 | 6532k|1557.6 | 292M | 75 |5779 |6439 |6039 |2195 | 0 |1438 | 11 | 0.000000e+00 | -- | Inf | 25.11%
2424.46/2430.93 c 2431s| 4200 | 45 | 6662k|1551.6 | 294M | 75 |5779 |6438 |6049 |2294 | 1 |1462 | 11 | 0.000000e+00 | -- | Inf | 25.11%
2476.73/2483.39 c 2483s| 4300 | 47 | 6809k|1549.7 | 294M | 75 |5779 |6414 |6038 |2352 | 0 |1488 | 11 | 0.000000e+00 | -- | Inf | 25.11%
2546.96/2553.75 c 2554s| 4400 | 45 | 7011k|1560.5 | 295M | 75 |5779 |6415 |6039 |2382 | 0 |1533 | 11 | 0.000000e+00 | -- | Inf | 25.11%
2620.87/2627.80 c 2628s| 4500 | 43 | 7224k|1573.0 | 296M | 75 |5779 |6419 |6038 |2405 | 1 |1573 | 11 | 0.000000e+00 | -- | Inf | 25.11%
2703.27/2710.43 c 2710s| 4600 | 45 | 7469k|1592.2 | 297M | 75 |5779 |6421 |6038 |2427 | 0 |1623 | 11 | 0.000000e+00 | -- | Inf | 25.11%
2763.62/2770.93 c 2771s| 4700 | 45 | 7645k|1595.6 | 298M | 75 |5779 |6424 |6037 |2455 | 1 |1660 | 11 | 0.000000e+00 | -- | Inf | 25.11%
2850.11/2857.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2850.11/2857.66 c 2858s| 4800 | 46 | 7889k|1613.3 | 299M | 75 |5779 |6433 |6042 |2513 | 0 |1704 | 11 | 0.000000e+00 | -- | Inf | 25.11%
2932.20/2939.90 c 2940s| 4900 | 46 | 8126k|1628.8 | 300M | 75 |5779 |6440 |6038 |2572 | 1 |1746 | 11 | 0.000000e+00 | -- | Inf | 25.11%
2994.25/3002.15 c 3002s| 5000 | 45 | 8301k|1631.1 | 301M | 75 |5779 |6447 |6049 |2617 | 0 |1802 | 11 | 0.000000e+00 | -- | Inf | 25.11%
3082.04/3090.18 c 3090s| 5100 | 41 | 8548k|1647.7 | 302M | 75 |5779 |6481 |6037 |2657 | 1 |1897 | 11 | 0.000000e+00 | -- | Inf | 25.11%
3164.33/3172.61 c 3173s| 5200 | 41 | 8778k|1660.2 | 303M | 75 |5779 |6480 | 0 |2731 | 0 |1944 | 11 | 0.000000e+00 | -- | Inf | 25.11%
3253.21/3261.76 c 3262s| 5300 | 43 | 9028k|1676.0 | 305M | 75 |5779 |6489 |6066 |2787 | 1 |1985 | 11 | 0.000000e+00 | -- | Inf | 25.11%
3300.79/3309.44 c 3309s| 5400 | 43 | 9160k|1669.5 | 308M | 75 |5779 |6471 |6047 |2814 | 1 |2039 | 11 | 0.000000e+00 | -- | Inf | 25.11%
3395.46/3404.31 c 3404s| 5500 | 55 | 9411k|1684.6 | 309M | 75 |5779 |6425 |6031 |2863 | 1 |2074 | 11 | 0.000000e+00 | -- | Inf | 25.21%
3438.35/3447.37 c 3447s| 5600 | 55 | 9538k|1677.3 | 309M | 75 |5779 |6464 |6036 |2880 | 1 |2124 | 11 | 0.000000e+00 | -- | Inf | 25.21%
3451.22/3460.26 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
3451.22/3460.26 c (run 1, node 5624) performing user restart
3451.22/3460.26 c
3451.22/3460.27 c (restart) converted 85 cuts from the global cut pool into linear constraints
3451.22/3460.27 c
3451.32/3460.33 c presolving:
3451.32/3460.34 c (round 1, fast) 48 del vars, 17 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 152 chg coeffs, 0 upgd conss, 0 impls, 28148 clqs
3451.32/3460.36 c (round 2, exhaustive) 48 del vars, 20 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 153 chg coeffs, 0 upgd conss, 0 impls, 28148 clqs
3451.32/3460.37 c (round 3, exhaustive) 48 del vars, 20 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 154 chg coeffs, 247 upgd conss, 0 impls, 28148 clqs
3451.32/3460.38 c (round 4, medium) 48 del vars, 24 del conss, 19 add conss, 0 chg bounds, 69 chg sides, 262 chg coeffs, 247 upgd conss, 0 impls, 28165 clqs
3451.32/3460.39 c (round 5, exhaustive) 48 del vars, 64 del conss, 19 add conss, 0 chg bounds, 69 chg sides, 302 chg coeffs, 247 upgd conss, 0 impls, 28165 clqs
3451.72/3460.73 c (round 6, exhaustive) 48 del vars, 90 del conss, 19 add conss, 0 chg bounds, 69 chg sides, 3414 chg coeffs, 247 upgd conss, 0 impls, 28168 clqs
3452.03/3461.04 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
3452.03/3461.04 c 48 deleted vars, 90 deleted constraints, 19 added constraints, 0 tightened bounds, 0 added holes, 69 changed sides, 3546 changed coefficients
3452.03/3461.04 c 0 implications, 28171 cliques
3452.03/3461.04 c presolved problem has 5731 variables (5731 bin, 0 int, 0 cont) and 6483 constraints
3452.03/3461.04 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
3452.03/3461.04 c 59 constraints of type <knapsack>
3452.03/3461.04 c 1302 constraints of type <setppc>
3452.03/3461.04 c 4 constraints of type <linear>
3452.03/3461.04 c 3 constraints of type <orbitope_pp>
3452.03/3461.04 c 5115 constraints of type <logicor>
3452.03/3461.04 c transformed objective value is always integral (scale: 1)
3452.03/3461.04 c Presolving Time: 9.69
3452.03/3461.04 c
3456.12/3465.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3456.12/3465.15 c 3465s| 1 | 0 | 9588k| - | 336M | 0 |5731 |6493 |5947 | 0 | 0 |2166 | 11 | 0.000000e+00 | -- | Inf | unknown
3459.30/3468.35 c 3468s| 1 | 0 | 9592k| - | 337M | 0 |5731 |6513 |5957 | 10 | 1 |2168 | 11 | 0.000000e+00 | -- | Inf | unknown
3461.00/3470.10 c 3470s| 1 | 0 | 9594k| - | 338M | 0 |5731 |6514 |5960 | 13 | 2 |2177 | 11 | 0.000000e+00 | -- | Inf | unknown
3465.58/3474.66 c 3475s| 1 | 0 | 9604k| - | 338M | 0 |5731 |6507 |5972 | 25 | 3 |2182 | 11 | 0.000000e+00 | -- | Inf | unknown
3470.47/3479.55 c 3480s| 1 | 0 | 9614k| - | 339M | 0 |5731 |6510 |5983 | 36 | 4 |2185 | 11 | 0.000000e+00 | -- | Inf | unknown
3475.16/3484.24 c 3484s| 1 | 0 | 9623k| - | 340M | 0 |5731 |6518 |5997 | 50 | 5 |2194 | 11 | 0.000000e+00 | -- | Inf | unknown
3481.15/3490.25 c 3490s| 1 | 0 | 9633k| - | 341M | 0 |5731 |6523 |6016 | 69 | 6 |2202 | 11 | 0.000000e+00 | -- | Inf | unknown
3487.43/3496.57 c 3497s| 1 | 0 | 9643k| - | 341M | 0 |5731 |6525 |6031 | 84 | 7 |2209 | 11 | 0.000000e+00 | -- | Inf | unknown
3492.32/3501.48 c 3501s| 1 | 0 | 9651k| - | 342M | 0 |5731 |6526 |6041 | 94 | 8 |2212 | 11 | 0.000000e+00 | -- | Inf | unknown
3497.41/3506.57 c 3507s| 1 | 0 | 9660k| - | 342M | 0 |5731 |6521 |6052 | 105 | 9 |2217 | 11 | 0.000000e+00 | -- | Inf | unknown
3502.49/3511.60 c 3512s| 1 | 0 | 9669k| - | 342M | 0 |5731 |6520 |6065 | 118 | 10 |2218 | 11 | 0.000000e+00 | -- | Inf | unknown
3508.38/3517.53 c 3518s| 1 | 0 | 9680k| - | 342M | 0 |5731 |6520 |6078 | 131 | 11 |2220 | 11 | 0.000000e+00 | -- | Inf | unknown
3538.91/3548.14 c 3548s| 1 | 2 | 9725k| - | 343M | 0 |5731 |6516 |6078 | 131 | 11 |2238 | 22 | 0.000000e+00 | -- | Inf | unknown
3587.69/3597.02 c
3587.69/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3587.69/3597.02 c Solving Time (sec) : 3597.02
3587.69/3597.02 c Solving Nodes : 31 (total of 5655 nodes in 2 runs)
3587.69/3597.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.69/3597.02 c Dual Bound : +0.00000000000000e+00
3587.69/3597.02 c Gap : infinite
3587.69/3597.02 s UNKNOWN
3587.69/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3587.69/3597.02 c Total Time : 3597.02
3587.69/3597.02 c solving : 3597.02
3587.69/3597.02 c presolving : 9.69 (included in solving)
3587.69/3597.02 c reading : 0.02 (included in solving)
3587.69/3597.02 c copying : 0.88 (69 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3587.69/3597.02 c Original Problem :
3587.69/3597.02 c Problem name : HOME/instance-4507599-1751191306.opb
3587.69/3597.02 c Variables : 6528 (6528 binary, 0 integer, 0 continuous)
3587.69/3597.02 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.69/3597.02 c Constraints : 6722 initial, 6722 maximal
3587.69/3597.02 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.69/3597.02 c Presolved Problem :
3587.69/3597.02 c Problem name : t_HOME/instance-4507599-1751191306.opb
3587.69/3597.02 c Variables : 5731 (5731 binary, 0 integer, 0 continuous)
3587.69/3597.02 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.69/3597.02 c Constraints : 6483 initial, 6535 maximal
3587.69/3597.02 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.69/3597.02 c Nonzeros : 85771 constraint, 62329 clique table
3587.69/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.69/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c domcol : 0.10 0.00 12 0 0 0 0 0 0 0 0 12
3587.69/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c gateextraction : 0.04 0.00 17 0 0 0 0 0 1 0 0 0
3587.69/3597.02 c implics : 0.00 0.00 21 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c milp : 0.08 0.00 1 93 1 0 0 0 0 0 0 0
3587.69/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c sparsify : 0.15 0.00 3 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c trivial : 0.00 0.00 39 337 0 0 0 0 0 0 0 0
3587.69/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c dualfix : 0.00 0.00 39 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c probing : 8.11 0.00 11 220 2 0 0 0 0 0 0 0
3587.69/3597.02 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c symmetry : 0.02 0.00 1 3 0 0 0 0 0 3 0 0
3587.69/3597.02 c vbounds : 0.01 0.00 4 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c knapsack : 0.02 0.00 65 0 0 0 0 0 0 19 66 205
3587.69/3597.02 c setppc : 0.04 0.00 65 0 0 0 0 0 129 0 0 0
3587.69/3597.02 c linear : 0.05 0.00 22 141 0 0 141 0 496 0 3 0
3587.69/3597.02 c orbitope_pp : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c logicor : 0.87 0.16 62 63 0 0 0 0 248 0 0 3752
3587.69/3597.02 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c root node : - - - 48 - - 48 - - - - -
3587.69/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.69/3597.02 c integral : 0 0 0 0 2871 0 0 320 0 0 0 0 0 0 5742
3587.69/3597.02 c knapsack : 59 59 22 159982 0 0 0 315 1069 2 267 5 0 0 0
3587.69/3597.02 c setppc : 1302+ 1309 22 167746 0 0 0 242 816145 232 181878 2 0 0 0
3587.69/3597.02 c linear : 4+ 85 22 42653 0 0 0 3 1263 7 1306 2 1 0 0
3587.69/3597.02 c orbitope_pp : 3 3 0 43890 0 0 0 0 3992 0 630 0 0 0 0
3587.69/3597.02 c logicor : 5115+ 5120 22 130274 0 0 0 0 1491581 257 297595 75 37 0 0
3587.69/3597.02 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.69/3597.02 c integral : 11.74 0.00 0.00 0.00 11.74 0.00 0.00 0.00 0.00 0.00
3587.69/3597.02 c knapsack : 0.32 0.00 0.16 0.16 0.00 0.00 0.00 0.00 0.00 0.00
3587.69/3597.02 c setppc : 1.92 0.00 0.00 1.71 0.00 0.00 0.00 0.00 0.20 0.01
3587.69/3597.02 c linear : 0.08 0.00 0.00 0.06 0.00 0.00 0.00 0.00 0.00 0.00
3587.69/3597.02 c orbitope_pp : 0.12 0.00 0.00 0.12 0.00 0.00 0.00 0.00 0.00 0.00
3587.69/3597.02 c logicor : 4.26 0.16 0.02 3.35 0.00 0.00 0.00 0.00 0.72 0.02
3587.69/3597.02 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.69/3597.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.69/3597.02 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.69/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.69/3597.02 c dualfix : 2 0 0 0
3587.69/3597.02 c genvbounds : 0 0 0 0
3587.69/3597.02 c nlobbt : 0 0 0 0
3587.69/3597.02 c obbt : 0 0 0 0
3587.69/3597.02 c probing : 0 0 0 0
3587.69/3597.02 c pseudoobj : 0 0 0 0
3587.69/3597.02 c redcost : 0 0 0 0
3587.69/3597.02 c rootredcost : 0 0 0 0
3587.69/3597.02 c symmetry : 36811 0 0 93
3587.69/3597.02 c vbounds : 32721 0 0 0
3587.69/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.69/3597.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.69/3597.02 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.69/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.69/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.69/3597.02 c probing : 8.11 0.00 8.11 0.00 0.00 0.00
3587.69/3597.02 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3587.69/3597.02 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.69/3597.02 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.69/3597.02 c symmetry : 0.21 0.00 0.02 0.18 0.00 0.00
3587.69/3597.02 c vbounds : 0.54 0.00 0.01 0.53 0.00 0.00
3587.69/3597.02 c Symmetry :
3587.69/3597.02 c #affected vars : 1216 (1216 bin, 0 int, 0 cont)
3587.69/3597.02 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.69/3597.02 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.69/3597.02 c lexicographic red: 93 reductions applied, 0 cutoffs
3587.69/3597.02 c shadow tree time : 0.01 s
3587.69/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.69/3597.02 c propagation : 0.32 484 335 - 2487 611.9 37 75.6 - - -
3587.69/3597.02 c infeasible LP : 9.96 2539 989 - 20567 1575.5 7 28.0 22 432.3 0
3587.69/3597.02 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.69/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.69/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.69/3597.02 c applied globally : 0.05 - - 0 1641 277.2 - - 22 - -
3587.69/3597.02 c applied locally : - - - 0 582 1102.6 - - 0 - -
3587.69/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.69/3597.02 c cut pool : 0.41 - 794 42 - - 2689 30671 - - - - - (maximal pool size: 958)
3587.69/3597.02 c aggregation : 0.23 0.00 169 22 0 0 12 15 0 5 5 0 0
3587.69/3597.02 c > cmir : - - - - - - - 12 0 4 4 0 -
3587.69/3597.02 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.69/3597.02 c > knapsackcover : - - - - - - - 3 0 1 1 0 -
3587.69/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c clique : 0.66 0.00 22 22 0 0 185 563 0 134 134 0 0
3587.69/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c gomory : 18.41 0.00 167 20 0 0 2527 28888 363 1822 1810 12 0
3587.69/3597.02 c > gomorymi : - - - - - - - 14537 194 1041 1030 11 -
3587.69/3597.02 c > strongcg : - - - - - - - 14351 169 781 780 1 -
3587.69/3597.02 c impliedbounds : 0.22 0.00 169 22 0 0 126 520 0 242 242 0 0
3587.69/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c multilinear : 0.00 0.00 40 22 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c rapidlearning : 34.24 0.00 63 2 0 29653 0 0 0 0 0 0 561
3587.69/3597.02 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3587.69/3597.02 c zerohalf : 9.16 0.00 169 22 0 0 580 685 378 792 434 358 0
3587.69/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.69/3597.02 c hybrid : 0.07 0.00 577 22 3066 0 27941 250 0 489
3587.69/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3587.69/3597.02 c problem variables: 0.00 - 0 0
3587.69/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.69/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.02 c relpscost : 11.74 0.00 2871 0 0 0 0 0 0 5742
3587.69/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.69/3597.02 c LP solutions : 0.00 - - 0 0
3587.69/3597.02 c relax solutions : 0.00 - - 0 0
3587.69/3597.02 c pseudo solutions : 0.00 - - 0 0
3587.69/3597.02 c strong branching : 0.00 - - 0 0
3587.69/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3587.69/3597.02 c adaptivediving : 1.48 0.00 1 0 0
3587.69/3597.02 c alns : 20.21 0.00 4 0 0
3587.69/3597.02 c bound : 0.00 0.00 0 0 0
3587.69/3597.02 c clique : 0.03 0.00 1 0 0
3587.69/3597.02 c coefdiving : 0.00 0.00 0 0 0
3587.69/3597.02 c completesol : 0.00 0.00 0 0 0
3587.69/3597.02 c conflictdiving : 58.48 0.00 2 0 0
3587.69/3597.02 c crossover : 0.00 0.00 0 0 0
3587.69/3597.02 c dins : 0.00 0.00 0 0 0
3587.69/3597.02 c distributiondivin: 0.53 0.00 0 0 0
3587.69/3597.02 c dks : 0.00 0.00 0 0 0
3587.69/3597.02 c dps : 0.00 0.00 0 0 0
3587.69/3597.02 c dualval : 0.00 0.00 0 0 0
3587.69/3597.02 c farkasdiving : 0.00 0.00 0 0 0
3587.69/3597.02 c feaspump : 34.96 0.00 2 0 0
3587.69/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3587.69/3597.02 c fracdiving : 1.42 0.00 1 0 0
3587.69/3597.02 c gins : 0.00 0.00 0 0 0
3587.69/3597.02 c guideddiving : 0.00 0.00 0 0 0
3587.69/3597.02 c indicator : 0.00 0.00 0 0 0
3587.69/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3587.69/3597.02 c intdiving : 0.00 0.00 0 0 0
3587.69/3597.02 c intshifting : 0.00 0.00 0 0 0
3587.69/3597.02 c linesearchdiving : 0.00 0.00 0 0 0
3587.69/3597.02 c localbranching : 0.00 0.00 0 0 0
3587.69/3597.02 c locks : 0.02 0.00 1 0 0
3587.69/3597.02 c lpface : 0.03 0.00 0 0 0
3587.69/3597.02 c mpec : 0.00 0.00 0 0 0
3587.69/3597.02 c multistart : 0.00 0.00 0 0 0
3587.69/3597.02 c mutation : 0.00 0.00 0 0 0
3587.69/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3587.69/3597.02 c objpscostdiving : 0.00 0.00 0 0 0
3587.69/3597.02 c octane : 0.00 0.00 0 0 0
3587.69/3597.02 c ofins : 0.00 0.00 0 0 0
3587.69/3597.02 c oneopt : 0.00 0.00 0 0 0
3587.69/3597.02 c padm : 0.00 0.00 0 0 0
3587.69/3597.02 c proximity : 0.00 0.00 0 0 0
3587.69/3597.02 c pscostdiving : 0.92 0.00 1 0 0
3587.69/3597.02 c randrounding : 0.28 0.00 330 0 0
3587.69/3597.02 c rens : 0.18 0.00 2 0 0
3587.69/3597.02 c reoptsols : 0.00 0.00 0 0 0
3587.69/3597.02 c repair : 0.00 0.00 0 0 0
3587.69/3597.02 c rins : 0.00 0.00 0 0 0
3587.69/3597.02 c rootsoldiving : 0.00 0.00 0 0 0
3587.69/3597.02 c rounding : 0.16 0.00 759 0 0
3587.69/3597.02 c scheduler : 0.00 0.00 0 0 0
3587.69/3597.02 c shiftandpropagate: 0.05 0.00 2 0 0
3587.69/3597.02 c shifting : 0.54 0.00 362 0 0
3587.69/3597.02 c simplerounding : 0.00 0.00 0 0 0
3587.69/3597.02 c subnlp : 0.00 0.00 0 0 0
3587.69/3597.02 c trivial : 0.01 0.00 4 0 0
3587.69/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3587.69/3597.02 c trustregion : 0.00 0.00 0 0 0
3587.69/3597.02 c trysol : 0.00 0.00 0 0 0
3587.69/3597.02 c twoopt : 0.00 0.00 0 0 0
3587.69/3597.02 c undercover : 0.00 0.00 0 0 0
3587.69/3597.02 c vbounds : 0.02 0.00 2 0 0
3587.69/3597.02 c veclendiving : 16.10 0.00 1 0 0
3587.69/3597.02 c zeroobj : 0.00 0.00 0 0 0
3587.69/3597.02 c zirounding : 0.08 0.00 1000 0 0
3587.69/3597.02 c other solutions : - - - 0 -
3587.69/3597.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.69/3597.02 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.69/3597.02 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.69/3597.02 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.69/3597.02 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.69/3597.02 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.69/3597.02 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.69/3597.02 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.69/3597.02 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.69/3597.02 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.69/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.69/3597.02 c primal LP : 1.47 292 0 0.00 0.00 1.47 292
3587.69/3597.02 c dual LP : 3354.64 6053 9608772 1595.88 2864.32 0.06 32
3587.69/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3587.69/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.69/3597.02 c resolve instable : 1.70 1 7882 7882.00 4638.83
3587.69/3597.02 c diving/probing LP: 114.78 54 227323 4209.69 1980.55
3587.69/3597.02 c strong branching : 9.14 22 17221 782.77 1883.13 - - 30
3587.69/3597.02 c (at root node) : - 22 17221 782.77 -
3587.69/3597.02 c conflict analysis: 0.00 0 0 0.00 -
3587.69/3597.02 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3587.69/3597.02 c benders : 0.00 0 0 0 0.00 0 0 0
3587.69/3597.02 c B&B Tree :
3587.69/3597.02 c number of runs : 2
3587.69/3597.02 c nodes : 31 (25 internal, 6 leaves)
3587.69/3597.02 c feasible leaves : 0
3587.69/3597.02 c infeas. leaves : 5
3587.69/3597.02 c objective leaves : 0
3587.69/3597.02 c nodes (total) : 5655 (2871 internal, 2784 leaves)
3587.69/3597.02 c nodes left : 21
3587.69/3597.02 c max depth : 20
3587.69/3597.02 c max depth (total): 75
3587.69/3597.02 c backtracks : 3 (9.7%)
3587.69/3597.02 c early backtracks : 0 (0.0%)
3587.69/3597.02 c nodes exc. ref. : 0 (0.0%)
3587.69/3597.02 c delayed cutoffs : 0
3587.69/3597.02 c repropagations : 3 (24 domain reductions, 0 cutoffs)
3587.69/3597.02 c avg switch length: 1.45
3587.69/3597.02 c switching time : 2.79
3587.69/3597.02 c Root Node :
3587.69/3597.02 c First LP value : +0.00000000000000e+00
3587.69/3597.02 c First LP Iters : 11253 (2874.12 Iter/sec)
3587.69/3597.02 c First LP Time : 3.92
3587.69/3597.02 c Final Dual Bound : +0.00000000000000e+00
3587.69/3597.02 c Final Root Iters : 250268
3587.69/3597.02 c Root LP Estimate : +1.51624070685871e-02
3587.69/3597.02 c Solution :
3587.69/3597.02 c Solutions found : 0 (0 improvements)
3587.69/3597.02 c Primal Bound : -
3587.69/3597.02 c Dual Bound : +0.00000000000000e+00
3587.69/3597.02 c Gap : infinite
3587.69/3597.02 c Integrals : Total Avg%
3587.69/3597.02 c primal-dual : 359702.37 100.00
3587.69/3597.02 c primal-ref : - - (not evaluated)
3587.69/3597.02 c dual-ref : - - (not evaluated)
3587.69/3597.08 c Time complete (sec): 3587.784
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 (62679 MiB free)
memory of node 1: 64507 MiB (63997 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507599-1751191306/watcher-4507599-1751191306 -o /tmp/evaluation-result-4507599-1751191306/solver-4507599-1751191306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751191306-21830 --watchdog 3760 pbsolver -f HOME/instance-4507599-1751191306.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21886, runsolver pid=21871
[startup+0.100059 s]*
/proc/loadavg: 0.72 1.34 2.40 6/264 21887
/proc/meminfo: memFree=129584116/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=58612 memory=48948 CPUtime=0.1 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 10943 0 0 0 8 2 0 0 20 0 1 0 34810554 60018688 12237 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 14653 12237 2496 2575 0 11560 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 58612 KiB
Current children cumulated memory: 48948 KiB
[startup+0.204905 s]*
/proc/loadavg: 0.72 1.34 2.40 6/264 21887
/proc/meminfo: memFree=129561468/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=64652 memory=54944 CPUtime=0.2 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 13015 0 0 0 18 2 0 0 20 0 1 0 34810554 66203648 13736 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 16163 13736 2560 2575 0 13070 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 64652 KiB
Current children cumulated memory: 54944 KiB
[startup+0.305136 s]*
/proc/loadavg: 0.72 1.34 2.40 6/264 21887
/proc/meminfo: memFree=129516616/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=81860 memory=69024 CPUtime=0.3 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 16560 0 0 0 27 3 0 0 20 0 1 0 34810554 83824640 17256 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 20465 17256 2592 2575 0 17372 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 81860 KiB
Current children cumulated memory: 69024 KiB
[startup+0.700169 s]
/proc/loadavg: 0.72 1.34 2.40 6/264 21887
/proc/meminfo: memFree=129492424/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=88976 memory=76064 CPUtime=0.68 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 18314 0 0 0 65 3 0 0 20 0 1 0 34810554 91111424 19016 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 22244 19016 2592 2575 0 19151 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 88976 KiB
Current children cumulated memory: 76064 KiB
[startup+1.50014 s]
/proc/loadavg: 0.72 1.34 2.40 6/264 21887
/proc/meminfo: memFree=129492424/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=88976 memory=76064 CPUtime=1.48 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 18314 0 0 0 145 3 0 0 20 0 1 0 34810554 91111424 19016 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 22244 19016 2592 2575 0 19151 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 88976 KiB
Current children cumulated memory: 76064 KiB
[startup+3.10514 s]
/proc/loadavg: 0.72 1.34 2.40 6/264 21887
/proc/meminfo: memFree=129489240/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=88976 memory=76704 CPUtime=3.08 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 18502 0 0 0 305 3 0 0 20 0 1 0 34810554 91111424 19176 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 22244 19176 2592 2575 0 19151 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 88976 KiB
Current children cumulated memory: 76704 KiB
[startup+6.30015 s]
/proc/loadavg: 0.98 1.38 2.41 6/264 21887
/proc/meminfo: memFree=129449700/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=90000 memory=77728 CPUtime=6.27 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 18758 0 0 0 624 3 0 0 20 0 1 0 34810554 92160000 19432 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 22500 19432 2592 2575 0 19407 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 90000 KiB
Current children cumulated memory: 77728 KiB
[startup+12.7001 s]
/proc/loadavg: 1.22 1.43 2.42 6/264 21887
/proc/meminfo: memFree=129288728/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=154584 memory=123040 CPUtime=12.65 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 30101 0 0 0 1260 5 0 0 20 0 1 0 34810554 158294016 30760 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 38646 30760 2656 2575 0 35553 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 154584 KiB
Current children cumulated memory: 123040 KiB
[startup+25.5001 s]
/proc/loadavg: 1.92 1.57 2.45 6/264 21887
/proc/meminfo: memFree=129287512/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=159072 memory=126624 CPUtime=25.41 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 30992 0 0 0 2536 5 0 0 20 0 1 0 34810554 162889728 31656 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 39768 31656 2656 2575 0 36675 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 159072 KiB
Current children cumulated memory: 126624 KiB
[startup+51.105 s]
/proc/loadavg: 2.63 1.77 2.49 6/264 21888
/proc/meminfo: memFree=128993384/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=227828 memory=193252 CPUtime=50.93 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 47104 0 0 0 5086 7 0 0 20 0 1 0 34810554 233295872 48313 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 56957 48313 2688 2575 0 53864 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 227828 KiB
Current children cumulated memory: 193252 KiB
[startup+102.3 s]
/proc/loadavg: 3.45 2.13 2.58 6/264 21890
/proc/meminfo: memFree=128949576/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=250512 memory=216676 CPUtime=101.97 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 52979 0 0 0 10188 9 0 0 20 0 1 0 34810554 256524288 54169 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 62628 54169 2688 2575 0 59535 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 250512 KiB
Current children cumulated memory: 216676 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.50 2.68 6/265 21894
/proc/meminfo: memFree=128925808/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=250512 memory=218980 CPUtime=161.78 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 53552 0 0 0 16169 9 0 0 20 0 1 0 34810554 256524288 54745 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 62628 54745 2688 2575 0 59535 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 250512 KiB
Current children cumulated memory: 218980 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.79 2.77 6/265 21896
/proc/meminfo: memFree=128902092/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=250512 memory=220132 CPUtime=221.6 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 53606 0 0 0 22151 9 0 0 20 0 1 0 34810554 256524288 55033 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 62628 55033 2944 2575 0 59535 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 250512 KiB
Current children cumulated memory: 220132 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 3.03 2.85 6/265 21900
/proc/meminfo: memFree=128879476/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=250512 memory=220132 CPUtime=281.42 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 53606 0 0 0 28133 9 0 0 20 0 1 0 34810554 256524288 55033 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 62628 55033 2944 2575 0 59535 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 250512 KiB
Current children cumulated memory: 220132 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.24 2.94 6/263 21904
/proc/meminfo: memFree=128903996/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=250512 memory=220132 CPUtime=341.23 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 53608 0 0 0 34114 9 0 0 20 0 1 0 34810554 256524288 55033 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 62628 55033 2944 2575 0 59535 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 250512 KiB
Current children cumulated memory: 220132 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.39 3.01 6/263 21906
/proc/meminfo: memFree=128852524/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=255764 memory=224612 CPUtime=401.05 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 54722 0 0 0 40096 9 0 0 20 0 1 0 34810554 261902336 56153 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 63941 56153 2944 2575 0 60848 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 255764 KiB
Current children cumulated memory: 224612 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.54 3.09 6/263 21908
/proc/meminfo: memFree=128845896/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=255764 memory=224740 CPUtime=460.86 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 54748 0 0 0 46077 9 0 0 20 0 1 0 34810554 261902336 56185 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 63941 56185 2944 2575 0 60848 0
Current children cumulated CPU time: 460.86 s
################
# More data... #
################
/proc/loadavg: 4.08 4.09 4.02 6/264 22035
/proc/meminfo: memFree=128501292/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=364704 memory=352356 CPUtime=3154.05 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 122521 0 0 0 315383 22 0 0 20 0 1 0 34810554 373456896 88089 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 91176 88089 2944 2575 0 88083 0
Current children cumulated CPU time: 3154.05 s
Current children cumulated vsize: 364704 KiB
Current children cumulated memory: 352356 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.10 4.03 6/264 22037
/proc/meminfo: memFree=128501100/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=364704 memory=352356 CPUtime=3213.91 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 122545 0 0 0 321369 22 0 0 20 0 1 0 34810554 373456896 88089 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 91176 88089 2944 2575 0 88083 0
Current children cumulated CPU time: 3213.91 s
Current children cumulated vsize: 364704 KiB
Current children cumulated memory: 352356 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.03 6/264 22041
/proc/meminfo: memFree=128473624/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=364704 memory=352356 CPUtime=3273.76 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 122546 0 0 0 327354 22 0 0 20 0 1 0 34810554 373456896 88089 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 91176 88089 2944 2575 0 88083 0
Current children cumulated CPU time: 3273.76 s
Current children cumulated vsize: 364704 KiB
Current children cumulated memory: 352356 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.11 4.04 6/263 22045
/proc/meminfo: memFree=128477064/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=375832 memory=361528 CPUtime=3333.61 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 128091 0 0 0 333338 23 0 0 20 0 1 0 34810554 384851968 90382 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 93958 90382 2944 2575 0 90865 0
Current children cumulated CPU time: 3333.61 s
Current children cumulated vsize: 375832 KiB
Current children cumulated memory: 361528 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.04 6/263 22047
/proc/meminfo: memFree=128461148/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=376768 memory=364496 CPUtime=3393.46 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 132242 0 0 0 339322 24 0 0 20 0 1 0 34810554 385810432 91124 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 94192 91124 2944 2575 0 91099 0
Current children cumulated CPU time: 3393.46 s
Current children cumulated vsize: 376768 KiB
Current children cumulated memory: 364496 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.04 6/263 22049
/proc/meminfo: memFree=128463844/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=372696 memory=360188 CPUtime=3453.32 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 133998 0 0 0 345307 25 0 0 20 0 1 0 34810554 381640704 90047 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 93174 90047 2944 2575 0 90081 0
Current children cumulated CPU time: 3453.32 s
Current children cumulated vsize: 372696 KiB
Current children cumulated memory: 360188 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.04 6/263 22051
/proc/meminfo: memFree=128424388/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=411480 memory=397008 CPUtime=3513.17 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 146925 0 0 0 351290 27 0 0 20 0 1 0 34810554 421355520 99252 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 102870 99252 2944 2575 0 99777 0
Current children cumulated CPU time: 3513.17 s
Current children cumulated vsize: 411480 KiB
Current children cumulated memory: 397008 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.04 6/263 22064
/proc/meminfo: memFree=128419332/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=427020 memory=414288 CPUtime=3573.02 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 151269 0 0 0 357274 28 0 0 20 0 1 0 34810554 437268480 103572 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 106755 103572 2944 2575 0 103662 0
Current children cumulated CPU time: 3573.02 s
Current children cumulated vsize: 427020 KiB
Current children cumulated memory: 414288 KiB
[startup+3597.09 s]
# the end of solver process 21886 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.5 s, system=0.290139 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.10 4.04 6/263 22064
/proc/meminfo: memFree=128419364/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=427020 memory=414288 CPUtime=3574.73 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 151269 0 0 0 357445 28 0 0 20 0 1 0 34810554 437268480 103572 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 106755 103572 2944 2575 0 103662 0
Current children cumulated CPU time: 3574.73 s
Current children cumulated vsize: 427020 KiB
Current children cumulated memory: 414288 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.09 4.04 6/263 22064
/proc/meminfo: memFree=128419164/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=427020 memory=414288 CPUtime=3581.1 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 151269 0 0 0 358082 28 0 0 20 0 1 0 34810554 437268480 103572 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 106755 103572 2944 2575 0 103662 0
Current children cumulated CPU time: 3581.1 s
Current children cumulated vsize: 427020 KiB
Current children cumulated memory: 414288 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.09 4.04 6/263 22064
/proc/meminfo: memFree=128419204/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=427020 memory=414288 CPUtime=3584.3 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 151270 0 0 0 358402 28 0 0 20 0 1 0 34810554 437268480 103572 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 106755 103572 2944 2575 0 103662 0
Current children cumulated CPU time: 3584.3 s
Current children cumulated vsize: 427020 KiB
Current children cumulated memory: 414288 KiB
[startup+3595.2 s]
/proc/loadavg: 4.08 4.09 4.04 6/263 22064
/proc/meminfo: memFree=128419212/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=427020 memory=414288 CPUtime=3585.89 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 151270 0 0 0 358561 28 0 0 20 0 1 0 34810554 437268480 103572 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 106755 103572 2944 2575 0 103662 0
Current children cumulated CPU time: 3585.89 s
Current children cumulated vsize: 427020 KiB
Current children cumulated memory: 414288 KiB
[startup+3596 s]*
/proc/loadavg: 4.08 4.09 4.04 6/263 22064
/proc/meminfo: memFree=128419236/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=427020 memory=414288 CPUtime=3586.7 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 151270 0 0 0 358642 28 0 0 20 0 1 0 34810554 437268480 103572 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 106755 103572 2944 2575 0 103662 0
Current children cumulated CPU time: 3586.7 s
Current children cumulated vsize: 427020 KiB
Current children cumulated memory: 414288 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.09 4.04 6/263 22064
/proc/meminfo: memFree=128419236/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=416788 memory=404536 CPUtime=3587.49 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 151270 0 0 0 358721 28 0 0 20 0 1 0 34810554 426790912 101134 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 104197 101134 2944 2575 0 101104 0
Current children cumulated CPU time: 3587.49 s
Current children cumulated vsize: 416788 KiB
Current children cumulated memory: 404536 KiB
[startup+3597 s]*
/proc/loadavg: 4.08 4.09 4.04 7/263 22064
/proc/meminfo: memFree=128419236/131250000 swapFree=33010684/33010684
[pid=21886] ppid=21871 vsize=416788 memory=404536 CPUtime=3587.69 cores=1,3
/proc/21886/stat : 21886 (pbsolver) R 21871 21886 21818 0 -1 4194304 151270 0 0 0 358741 28 0 0 20 0 1 0 34810554 426790912 101134 18446744073709551615 4198400 14743177 140727050210192 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25649152 140727050213770 140727050213866 140727050213866 140727050219468 0
/proc/21886/statm: 104197 101134 2944 2575 0 101104 0
Current children cumulated CPU time: 3587.69 s
Current children cumulated vsize: 416788 KiB
Current children cumulated memory: 404536 KiB
Child status: 0
Real time (s): 3597.09
CPU time (s): 3587.79
CPU user time (s): 3587.5
CPU system time (s): 0.290139
CPU usage (%): 99.7414
Max. virtual memory (cumulated for all children) (KiB): 428364
Max. memory (cumulated for all children) (KiB): 414288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.5
system time used= 0.290139
maximum resident set size= 414288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151286
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= 50
involuntary context switches= 1399
# summary of solver processes directly reported to runsolver:
# pid: 21886
# total CPU time (s): 3587.79
# total CPU user time (s): 3587.5
# total CPU system time (s): 0.290139
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.57203 second user time and 12.2876 second system time
The end
Begin job on nodeC027 at 2025-06-29 12:01:47 IDJOB=4507599 IDBENCH=158367 IDSOLVER=3366 FILE ID=nodeC027/4507599-1751191306 RUNJOBID= nodeC027-1751191306-21830 SLURM_JOB_ID= 9587579 Free space on /tmp= 433064 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K96.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507599-1751191306/watcher-4507599-1751191306 -o /tmp/evaluation-result-4507599-1751191306/solver-4507599-1751191306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751191306-21830 --watchdog 3760 pbsolver -f HOME/instance-4507599-1751191306.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 85449da570d8e9c3bf031cd447953d83 RANDOM SEED=246740614 nodeC027 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 : 3601.765 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.29 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.592 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.29 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.648 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.29 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.169 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.29 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.679 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.29 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.669 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.29 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 : 3595.669 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.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.626 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.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129757740 kB MemAvailable: 129812652 kB Buffers: 3280 kB Cached: 860552 kB SwapCached: 0 kB Active: 328012 kB Inactive: 606636 kB Active(anon): 88940 kB Inactive(anon): 0 kB Active(file): 239072 kB Inactive(file): 606636 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 61080 kB Writeback: 8 kB AnonPages: 74208 kB Mapped: 102760 kB Shmem: 18068 kB KReclaimable: 96488 kB Slab: 182012 kB SReclaimable: 96488 kB SUnreclaim: 85524 kB KernelStack: 4020 kB PageTables: 2448 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 335764 kB VmallocTotal: 34359738367 kB VmallocUsed: 150328 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 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: 203476 kB DirectMap2M: 9005056 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433004 MiB End job on nodeC027 at 2025-06-29 13:01:44