| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3586.68 | 3597.13 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K174.opb |
| MD5SUM | c4faa5671d3144bef53831284f041277 |
| 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 | 278.497 |
| 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 | 20706 |
| Total number of constraints | 21056 |
| Number of constraints which are clauses | 20882 |
| Number of constraints which are cardinality constraints (but not clauses) | 174 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 174 |
| 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 | 175 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 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-4507023-1751179188.opb>
0.00/0.07 c original problem has 20706 variables (20706 bin, 0 int, 0 cont) and 21056 constraints
0.00/0.07 c problem read in 0.069 seconds
0.00/0.07 c problem without objective
0.09/0.14 c presolving:
0.09/0.18 c (round 1, fast) 250 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2395 clqs
0.09/0.19 c (round 2, fast) 682 del vars, 262 del conss, 0 add conss, 121 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2379 clqs
0.09/0.19 c (round 3, fast) 900 del vars, 412 del conss, 0 add conss, 206 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2400 clqs
0.09/0.20 c (round 4, fast) 1055 del vars, 535 del conss, 0 add conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2431 clqs
0.09/0.20 c (round 5, fast) 1131 del vars, 591 del conss, 0 add conss, 285 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2454 clqs
0.09/0.21 c (round 6, fast) 1172 del vars, 625 del conss, 0 add conss, 299 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2464 clqs
0.20/0.26 c (0.3s) running MILP presolver
0.59/0.63 c (0.6s) MILP presolver (4 rounds): 1 aggregations, 188 fixings, 0 bound changes
0.59/0.64 c (round 7, medium) 1371 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2459 clqs
0.59/0.65 c (round 8, fast) 1371 del vars, 825 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2476 clqs
0.59/0.68 c (round 9, exhaustive) 1371 del vars, 996 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2476 clqs
0.68/0.77 c (round 10, exhaustive) 1371 del vars, 996 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 20060 upgd conss, 0 impls, 2476 clqs
0.89/0.96 c (round 11, exhaustive) 1479 del vars, 996 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 20060 upgd conss, 0 impls, 2464 clqs
0.89/0.97 c (round 12, fast) 1587 del vars, 1104 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 20060 upgd conss, 0 impls, 2464 clqs
2.68/2.72 c (round 13, exhaustive) 1613 del vars, 1105 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 20060 upgd conss, 0 impls, 125715 clqs
2.68/2.73 c (round 14, fast) 1614 del vars, 1131 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 162 chg coeffs, 20060 upgd conss, 0 impls, 125730 clqs
4.37/4.41 c (round 15, exhaustive) 1640 del vars, 1131 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 162 chg coeffs, 20060 upgd conss, 0 impls, 125701 clqs
4.37/4.42 c (round 16, fast) 1641 del vars, 1157 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 218 chg coeffs, 20060 upgd conss, 0 impls, 125707 clqs
5.67/5.71 c (round 17, exhaustive) 1667 del vars, 1157 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 218 chg coeffs, 20060 upgd conss, 0 impls, 125686 clqs
5.67/5.72 c (round 18, fast) 1668 del vars, 1183 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 280 chg coeffs, 20060 upgd conss, 0 impls, 125706 clqs
6.36/6.42 c (round 19, exhaustive) 1695 del vars, 1183 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 280 chg coeffs, 20060 upgd conss, 0 impls, 125697 clqs
6.36/6.43 c (round 20, fast) 1695 del vars, 1210 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 344 chg coeffs, 20060 upgd conss, 0 impls, 125711 clqs
7.26/7.32 c (7.3s) probing: 1000/19667 (5.1%) - 115 fixings, 1 aggregations, 1086390 implications, 0 bound changes
7.56/7.68 c (round 21, exhaustive) 1723 del vars, 1210 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 345 chg coeffs, 20060 upgd conss, 0 impls, 125718 clqs
7.56/7.69 c (round 22, fast) 1726 del vars, 1238 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 410 chg coeffs, 20060 upgd conss, 0 impls, 125732 clqs
7.97/8.00 c (round 23, exhaustive) 1751 del vars, 1238 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 410 chg coeffs, 20060 upgd conss, 0 impls, 125751 clqs
7.97/8.01 c (round 24, fast) 1751 del vars, 1263 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 461 chg coeffs, 20060 upgd conss, 0 impls, 125759 clqs
10.66/10.70 c (round 25, exhaustive) 1776 del vars, 1263 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 461 chg coeffs, 20060 upgd conss, 0 impls, 125771 clqs
10.66/10.71 c (round 26, fast) 1776 del vars, 1288 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 526 chg coeffs, 20060 upgd conss, 0 impls, 125790 clqs
10.86/10.98 c (round 27, exhaustive) 1802 del vars, 1288 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 526 chg coeffs, 20060 upgd conss, 0 impls, 125793 clqs
10.86/10.99 c (round 28, fast) 1803 del vars, 1314 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 588 chg coeffs, 20060 upgd conss, 0 impls, 125806 clqs
12.06/12.18 c (round 29, exhaustive) 1831 del vars, 1314 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 588 chg coeffs, 20060 upgd conss, 0 impls, 124681 clqs
12.06/12.19 c (round 30, fast) 1834 del vars, 1342 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 675 chg coeffs, 20060 upgd conss, 0 impls, 124704 clqs
15.95/16.07 c (round 31, exhaustive) 1859 del vars, 1342 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 675 chg coeffs, 20060 upgd conss, 0 impls, 125690 clqs
15.95/16.08 c (round 32, fast) 1859 del vars, 1367 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 726 chg coeffs, 20060 upgd conss, 0 impls, 125696 clqs
16.25/16.31 c (16.3s) probing: 2000/19667 (10.2%) - 256 fixings, 1 aggregations, 3076879 implications, 0 bound changes
16.25/16.35 c (round 33, exhaustive) 1885 del vars, 1367 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 726 chg coeffs, 20060 upgd conss, 0 impls, 125846 clqs
16.25/16.36 c (round 34, fast) 1886 del vars, 1393 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 780 chg coeffs, 20060 upgd conss, 0 impls, 125849 clqs
16.44/16.59 c (round 35, exhaustive) 1911 del vars, 1393 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 780 chg coeffs, 20060 upgd conss, 0 impls, 125792 clqs
16.54/16.60 c (round 36, fast) 1911 del vars, 1418 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 811 chg coeffs, 20060 upgd conss, 0 impls, 125793 clqs
16.74/16.84 c (round 37, exhaustive) 1936 del vars, 1418 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 812 chg coeffs, 20060 upgd conss, 0 impls, 125613 clqs
16.74/16.85 c (round 38, fast) 1936 del vars, 1443 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 836 chg coeffs, 20060 upgd conss, 0 impls, 125614 clqs
16.95/17.08 c (round 39, exhaustive) 1961 del vars, 1443 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 836 chg coeffs, 20060 upgd conss, 0 impls, 125418 clqs
16.95/17.09 c (round 40, fast) 1961 del vars, 1468 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 859 chg coeffs, 20060 upgd conss, 0 impls, 125418 clqs
17.24/17.32 c (round 41, exhaustive) 1988 del vars, 1468 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 859 chg coeffs, 20060 upgd conss, 0 impls, 125378 clqs
17.24/17.33 c (round 42, fast) 1990 del vars, 1495 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 893 chg coeffs, 20060 upgd conss, 0 impls, 125379 clqs
17.54/17.68 c (round 43, exhaustive) 2015 del vars, 1495 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 893 chg coeffs, 20060 upgd conss, 0 impls, 125263 clqs
17.54/17.68 c (round 44, fast) 2015 del vars, 1520 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 918 chg coeffs, 20060 upgd conss, 0 impls, 125263 clqs
21.83/21.98 c (22.0s) probing: 3000/19667 (15.3%) - 410 fixings, 1 aggregations, 4141562 implications, 0 bound changes
26.52/26.62 c (26.6s) probing: 4000/19667 (20.3%) - 419 fixings, 1 aggregations, 5370483 implications, 0 bound changes
29.81/29.96 c (30.0s) probing: 5000/19667 (25.4%) - 425 fixings, 1 aggregations, 6409814 implications, 0 bound changes
31.81/31.95 c (round 45, exhaustive) 2040 del vars, 1520 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 918 chg coeffs, 20060 upgd conss, 0 impls, 125940 clqs
31.81/31.96 c (round 46, fast) 2040 del vars, 1545 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 952 chg coeffs, 20060 upgd conss, 0 impls, 125945 clqs
32.01/32.20 c (round 47, exhaustive) 2066 del vars, 1545 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 952 chg coeffs, 20060 upgd conss, 0 impls, 125931 clqs
32.10/32.20 c (round 48, fast) 2067 del vars, 1571 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 982 chg coeffs, 20060 upgd conss, 0 impls, 125933 clqs
33.50/33.66 c (33.7s) probing: 6000/19667 (30.5%) - 468 fixings, 1 aggregations, 7302912 implications, 0 bound changes
37.59/37.74 c (37.7s) probing: 7000/19667 (35.6%) - 474 fixings, 1 aggregations, 8240969 implications, 0 bound changes
40.28/40.44 c (round 49, exhaustive) 2092 del vars, 1571 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 982 chg coeffs, 20060 upgd conss, 0 impls, 125939 clqs
40.28/40.44 c (round 50, fast) 2092 del vars, 1596 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1017 chg coeffs, 20060 upgd conss, 0 impls, 125940 clqs
41.78/42.00 c (42.0s) probing: 8000/19667 (40.7%) - 492 fixings, 1 aggregations, 9148258 implications, 0 bound changes
44.77/44.91 c (44.9s) probing: 8691/19667 (44.2%) - 492 fixings, 1 aggregations, 9809080 implications, 0 bound changes
44.77/44.91 c (44.9s) probing aborted: 1000/1000 successive useless probings
44.77/44.91 c (round 51, exhaustive) 2108 del vars, 1596 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1017 chg coeffs, 20060 upgd conss, 0 impls, 126000 clqs
44.77/44.92 c (round 52, fast) 2108 del vars, 1612 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1036 chg coeffs, 20060 upgd conss, 0 impls, 126000 clqs
46.26/46.46 c (46.5s) probing: 9000/19667 (45.8%) - 496 fixings, 1 aggregations, 10098681 implications, 0 bound changes
48.66/48.85 c (48.9s) probing: 9695/19667 (49.3%) - 496 fixings, 1 aggregations, 10755082 implications, 0 bound changes
48.66/48.85 c (48.9s) probing aborted: 1000/1000 successive useless probings
48.66/48.89 c (48.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
48.76/48.94 c (48.9s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 1.68) (symcode time: 0.02)
48.76/48.97 c dynamic symmetry handling statistics:
48.76/48.97 c orbitopal reduction: no components
48.76/48.97 c orbital reduction: no components
48.76/48.97 c lexicographic reduction: 3 permutations with support sizes 1622, 672, 324
48.76/48.97 c handled 4 out of 4 symmetry components
48.76/48.99 c presolving (53 rounds: 53 fast, 25 medium, 24 exhaustive):
48.76/48.99 c 2115 deleted vars, 1616 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1040 changed coefficients
48.76/48.99 c 0 implications, 126029 cliques
48.76/48.99 c presolved problem has 19153 variables (19153 bin, 0 int, 0 cont) and 19441 constraints
48.76/48.99 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
48.76/48.99 c 1 constraints of type <knapsack>
48.76/48.99 c 2373 constraints of type <setppc>
48.76/48.99 c 1 constraints of type <orbitope_pp>
48.76/48.99 c 17066 constraints of type <logicor>
48.76/48.99 c transformed objective value is always integral (scale: 1)
48.76/48.99 c Presolving Time: 48.86
48.76/48.99 c
48.76/48.99 c - non default parameters ----------------------------------------------------------------------
48.76/48.99 c
48.76/48.99 c # SCIP version 10.0.0
48.76/48.99 c
48.76/48.99 c # maximal time in seconds to run
48.76/48.99 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
48.76/48.99 c limits/time = 3596.998008
48.76/48.99 c
48.76/48.99 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
48.76/48.99 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
48.76/48.99 c limits/memory = 27900
48.76/48.99 c
48.76/48.99 c # belongs reading time to solving time?
48.76/48.99 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
48.76/48.99 c timing/reading = TRUE
48.76/48.99 c
48.76/48.99 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
48.76/48.99 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
48.76/48.99 c reading/opbreader/maxintsize = 47
48.76/48.99 c
48.76/48.99 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
48.76/48.99 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
48.76/48.99 c propagating/genvbounds/timingmask = 0
48.76/48.99 c
48.76/48.99 c -----------------------------------------------------------------------------------------------
48.76/49.00 c
70.80/71.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
70.80/71.04 c 71.0s| 1 | 0 | 18374 | - | 371M | 0 | 19k| 19k| 19k| 0 | 0 | 156 | 0 | 0.000000e+00 | -- | Inf | unknown
283.42/284.22 c 284s| 1 | 0 |115059 | - | 397M | 0 | 19k| 19k| 19k| 9 | 1 | 158 | 0 | 0.000000e+00 | -- | Inf | unknown
312.85/313.72 c 314s| 1 | 0 |127070 | - | 406M | 0 | 19k| 19k| 19k| 20 | 2 | 159 | 0 | 0.000000e+00 | -- | Inf | unknown
351.15/352.17 c 352s| 1 | 0 |141904 | - | 409M | 0 | 19k| 19k| 19k| 39 | 3 | 168 | 0 | 0.000000e+00 | -- | Inf | unknown
386.25/387.39 c 387s| 1 | 0 |155234 | - | 414M | 0 | 19k| 19k| 19k| 54 | 4 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
417.36/418.53 c 419s| 1 | 0 |166526 | - | 417M | 0 | 19k| 19k| 19k| 59 | 5 | 179 | 0 | 0.000000e+00 | -- | Inf | unknown
454.67/455.90 c 456s| 1 | 0 |179977 | - | 422M | 0 | 19k| 19k| 19k| 68 | 6 | 185 | 0 | 0.000000e+00 | -- | Inf | unknown
485.99/487.35 c 487s| 1 | 0 |191321 | - | 426M | 0 | 19k| 19k| 19k| 73 | 7 | 186 | 0 | 0.000000e+00 | -- | Inf | unknown
528.37/529.83 c 530s| 1 | 0 |205713 | - | 430M | 0 | 19k| 19k| 19k| 92 | 8 | 196 | 0 | 0.000000e+00 | -- | Inf | unknown
571.07/572.63 c 573s| 1 | 0 |220664 | - | 433M | 0 | 19k| 19k| 19k| 113 | 9 | 203 | 0 | 0.000000e+00 | -- | Inf | unknown
614.65/616.31 c 616s| 1 | 0 |235759 | - | 437M | 0 | 19k| 19k| 19k| 127 | 10 | 213 | 0 | 0.000000e+00 | -- | Inf | unknown
650.55/652.34 c 652s| 1 | 0 |248711 | - | 439M | 0 | 19k| 19k| 19k| 141 | 11 | 214 | 0 | 0.000000e+00 | -- | Inf | unknown
1115.78/1118.88 c 1119s| 1 | 2 |478473 | - | 460M | 0 | 19k| 19k| 19k| 141 | 11 | 241 | 19 | 0.000000e+00 | -- | Inf | unknown
3158.66/3167.86 c 3168s| 100 | 37 | 1707k|14737.2 | 492M | 40 | 19k| 19k| 19k| 179 | 0 | 314 | 19 | 0.000000e+00 | -- | Inf | unknown
3586.44/3597.00 c
3586.44/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.44/3597.00 c Solving Time (sec) : 3597.00
3586.44/3597.00 c Solving Nodes : 119
3586.44/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.44/3597.00 c Dual Bound : +0.00000000000000e+00
3586.44/3597.00 c Gap : infinite
3586.44/3597.00 s UNKNOWN
3586.44/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.44/3597.00 c Total Time : 3597.00
3586.44/3597.00 c solving : 3597.00
3586.44/3597.00 c presolving : 48.86 (included in solving)
3586.44/3597.00 c reading : 0.07 (included in solving)
3586.44/3597.00 c copying : 0.09 (2 #copies) (minimal 0.04, maximal 0.05, average 0.05)
3586.44/3597.00 c Original Problem :
3586.44/3597.00 c Problem name : HOME/instance-4507023-1751179188.opb
3586.44/3597.00 c Variables : 20706 (20706 binary, 0 integer, 0 continuous)
3586.44/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.44/3597.00 c Constraints : 21056 initial, 21056 maximal
3586.44/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.44/3597.00 c Presolved Problem :
3586.44/3597.00 c Problem name : t_HOME/instance-4507023-1751179188.opb
3586.44/3597.00 c Variables : 19153 (19153 binary, 0 integer, 0 continuous)
3586.44/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.44/3597.00 c Constraints : 19441 initial, 19665 maximal
3586.44/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.44/3597.00 c Nonzeros : 106466 constraint, 270871 clique table
3586.44/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.44/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c domcol : 0.97 0.00 21 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c dualsparsify : 0.04 0.00 1 0 0 0 0 0 4 0 0 4
3586.44/3597.00 c gateextraction : 0.19 0.00 22 0 0 0 0 0 1 0 0 0
3586.44/3597.00 c implics : 0.00 0.00 25 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c milp : 0.42 0.00 1 188 1 0 0 0 0 0 0 0
3586.44/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c sparsify : 0.51 0.00 4 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c trivial : 0.03 0.00 53 562 0 0 0 0 0 0 0 0
3586.44/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c dualfix : 0.02 0.00 53 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c probing : 42.26 0.00 21 496 1 0 0 0 0 0 0 0
3586.44/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c symmetry : 0.08 0.00 1 3 0 0 0 0 0 1 0 0
3586.44/3597.00 c vbounds : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c knapsack : 0.02 0.00 87 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c setppc : 0.20 0.00 87 0 0 0 0 0 102 0 0 0
3586.44/3597.00 c linear : 0.16 0.02 12 302 0 0 302 0 996 0 0 0
3586.44/3597.00 c orbitope_pp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c logicor : 3.86 0.01 87 108 0 0 0 0 513 0 0 1036
3586.44/3597.00 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c root node : - - - 0 - - 0 - - - - -
3586.44/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.44/3597.00 c integral : 0 0 0 0 77 0 0 13 0 0 0 0 0 0 154
3586.44/3597.00 c knapsack : 1 1 11 528230 0 0 0 9 0 0 0 0 0 0 0
3586.44/3597.00 c setppc : 2373+ 2480 11 538714 0 0 0 9 39699 347 13868 0 0 0 0
3586.44/3597.00 c orbitope_pp : 1 1 0 11082 0 0 0 0 16 0 9 0 0 0 0
3586.44/3597.00 c logicor : 17066+ 17185 11 158091 0 0 0 0 103582 130 31751 13 8 0 0
3586.44/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.44/3597.00 c integral : 56.40 0.00 0.00 0.00 56.40 0.00 0.00 0.00 0.00 0.00
3586.44/3597.00 c knapsack : 0.36 0.00 0.01 0.34 0.00 0.00 0.00 0.00 0.00 0.00
3586.44/3597.00 c setppc : 4.44 0.00 0.01 4.38 0.00 0.00 0.00 0.00 0.01 0.04
3586.44/3597.00 c orbitope_pp : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3586.44/3597.00 c logicor : 12.88 0.01 0.04 12.77 0.00 0.00 0.00 0.00 0.04 0.03
3586.44/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.44/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.44/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.44/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.44/3597.00 c dualfix : 1 0 0 0
3586.44/3597.00 c genvbounds : 0 0 0 0
3586.44/3597.00 c nlobbt : 0 0 0 0
3586.44/3597.00 c obbt : 0 0 0 0
3586.44/3597.00 c probing : 0 0 0 0
3586.44/3597.00 c pseudoobj : 0 0 0 0
3586.44/3597.00 c redcost : 0 0 0 0
3586.44/3597.00 c rootredcost : 0 0 0 0
3586.44/3597.00 c symmetry : 0 0 0 0
3586.44/3597.00 c vbounds : 6021 0 0 0
3586.44/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.44/3597.00 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
3586.44/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.44/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.44/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.44/3597.00 c probing : 42.26 0.00 42.26 0.00 0.00 0.00
3586.44/3597.00 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3586.44/3597.00 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3586.44/3597.00 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3586.44/3597.00 c symmetry : 0.10 0.00 0.08 0.02 0.00 0.00
3586.44/3597.00 c vbounds : 0.08 0.00 0.03 0.04 0.00 0.00
3586.44/3597.00 c Symmetry :
3586.44/3597.00 c #affected vars : 3104 (3104 bin, 0 int, 0 cont)
3586.44/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.44/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.44/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.44/3597.00 c shadow tree time : 0.00 s
3586.44/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.44/3597.00 c propagation : 0.03 472 130 - 511 98.4 7 6.6 - - -
3586.44/3597.00 c infeasible LP : 0.77 48 11 - 482 3256.3 9 6.0 0 0.0 0
3586.44/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.44/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.44/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.44/3597.00 c applied globally : 0.01 - - 0 331 336.9 - - 0 - -
3586.44/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.44/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.44/3597.00 c cut pool : 0.00 - 37 21 - - 402 616 - - - - - (maximal pool size: 402)
3586.44/3597.00 c aggregation : 0.08 0.00 16 11 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.44/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.44/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.44/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c clique : 1.94 0.00 11 11 0 0 98 233 0 32 32 0 0
3586.44/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c gomory : 23.15 0.00 15 10 0 0 246 176 111 16 11 5 0
3586.44/3597.00 c > gomorymi : - - - - - - - 94 56 13 9 4 -
3586.44/3597.00 c > strongcg : - - - - - - - 82 55 3 2 1 -
3586.44/3597.00 c impliedbounds : 0.10 0.00 16 11 0 0 71 94 0 23 23 0 0
3586.44/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c multilinear : 0.00 0.00 16 11 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3586.44/3597.00 c zerohalf : 15.77 0.00 16 11 0 0 111 113 13 117 104 13 0
3586.44/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.44/3597.00 c hybrid : 0.00 0.00 19 11 196 0 557 141 0 243
3586.44/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.44/3597.00 c problem variables: 0.00 - 0 0
3586.44/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.44/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c relpscost : 56.40 0.00 77 0 0 0 0 0 0 154
3586.44/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.44/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.44/3597.00 c LP solutions : 0.00 - - 0 0
3586.44/3597.00 c relax solutions : 0.00 - - 0 0
3586.44/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.44/3597.00 c strong branching : 0.00 - - 0 0
3586.54/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.54/3597.00 c adaptivediving : 118.66 0.00 1 0 0
3586.54/3597.00 c alns : 0.10 0.00 2 0 0
3586.54/3597.00 c bound : 0.00 0.00 0 0 0
3586.54/3597.00 c clique : 0.09 0.00 1 0 0
3586.54/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.54/3597.00 c completesol : 0.00 0.00 0 0 0
3586.54/3597.00 c conflictdiving : 409.82 0.00 1 0 0
3586.54/3597.00 c crossover : 0.00 0.00 0 0 0
3586.54/3597.00 c dins : 0.00 0.00 0 0 0
3586.54/3597.00 c distributiondivin: 0.03 0.00 0 0 0
3586.54/3597.00 c dks : 0.00 0.00 0 0 0
3586.54/3597.00 c dps : 0.00 0.00 0 0 0
3586.54/3597.00 c dualval : 0.00 0.00 0 0 0
3586.54/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3586.54/3597.00 c feaspump : 187.39 0.00 1 0 0
3586.54/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.54/3597.00 c fracdiving : 0.00 0.00 0 0 0
3586.54/3597.00 c gins : 0.00 0.00 0 0 0
3586.54/3597.00 c guideddiving : 0.00 0.00 0 0 0
3586.54/3597.00 c indicator : 0.00 0.00 0 0 0
3586.54/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.54/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.54/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.54/3597.00 c linesearchdiving : 0.00 0.00 0 0 0
3586.54/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.54/3597.00 c locks : 0.07 0.00 1 0 0
3586.54/3597.00 c lpface : 0.00 0.00 0 0 0
3586.54/3597.00 c mpec : 0.00 0.00 0 0 0
3586.54/3597.00 c multistart : 0.00 0.00 0 0 0
3586.54/3597.00 c mutation : 0.00 0.00 0 0 0
3586.54/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.54/3597.00 c objpscostdiving : 0.00 0.00 0 0 0
3586.54/3597.00 c octane : 0.00 0.00 0 0 0
3586.54/3597.00 c ofins : 0.00 0.00 0 0 0
3586.54/3597.00 c oneopt : 0.00 0.00 0 0 0
3586.54/3597.00 c padm : 0.00 0.00 0 0 0
3586.54/3597.00 c proximity : 0.00 0.00 0 0 0
3586.54/3597.00 c pscostdiving : 288.67 0.00 1 0 0
3586.54/3597.00 c randrounding : 0.21 0.00 18 0 0
3586.54/3597.00 c rens : 0.40 0.00 1 0 0
3586.54/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.54/3597.00 c repair : 0.00 0.00 0 0 0
3586.54/3597.00 c rins : 0.00 0.00 0 0 0
3586.54/3597.00 c rootsoldiving : 0.00 0.00 0 0 0
3586.54/3597.00 c rounding : 0.10 0.00 96 0 0
3586.54/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.54/3597.00 c shiftandpropagate: 0.02 0.00 1 0 0
3586.54/3597.00 c shifting : 0.28 0.00 25 0 0
3586.54/3597.00 c simplerounding : 0.00 0.00 0 0 0
3586.54/3597.00 c subnlp : 0.00 0.00 0 0 0
3586.54/3597.00 c trivial : 0.01 0.00 2 0 0
3586.54/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3586.54/3597.00 c trustregion : 0.00 0.00 0 0 0
3586.54/3597.00 c trysol : 0.00 0.00 0 0 0
3586.54/3597.00 c twoopt : 0.00 0.00 0 0 0
3586.54/3597.00 c undercover : 0.00 0.00 0 0 0
3586.54/3597.00 c vbounds : 0.10 0.00 1 0 0
3586.54/3597.00 c veclendiving : 0.00 0.00 0 0 0
3586.54/3597.00 c zeroobj : 0.00 0.00 0 0 0
3586.54/3597.00 c zirounding : 0.02 0.00 77 0 0
3586.54/3597.00 c other solutions : - - - 0 -
3586.54/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
3586.54/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
3586.54/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
3586.54/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
3586.54/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
3586.54/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
3586.54/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
3586.54/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
3586.54/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
3586.54/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
3586.54/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.54/3597.00 c primal LP : 0.14 6 0 0.00 0.00 0.14 6
3586.54/3597.00 c dual LP : 2443.25 149 1519256 11089.46 621.82 2.37 12
3586.54/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3586.54/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.54/3597.00 c resolve instable : 54.62 3 60707 20235.67 1111.37
3586.54/3597.00 c diving/probing LP: 1024.86 41 506664 12357.66 494.38
3586.54/3597.00 c strong branching : 35.05 19 16900 889.47 482.23 - - 33
3586.54/3597.00 c (at root node) : - 19 16900 889.47 -
3586.54/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3586.54/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.54/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3586.54/3597.00 c B&B Tree :
3586.54/3597.00 c number of runs : 1
3586.54/3597.00 c nodes : 119 (77 internal, 42 leaves)
3586.54/3597.00 c feasible leaves : 0
3586.54/3597.00 c infeas. leaves : 41
3586.54/3597.00 c objective leaves : 0
3586.54/3597.00 c nodes (total) : 119 (77 internal, 42 leaves)
3586.54/3597.00 c nodes left : 37
3586.54/3597.00 c max depth : 40
3586.54/3597.00 c max depth (total): 40
3586.54/3597.00 c backtracks : 10 (8.4%)
3586.54/3597.00 c early backtracks : 0 (0.0%)
3586.54/3597.00 c nodes exc. ref. : 0 (0.0%)
3586.54/3597.00 c delayed cutoffs : 0
3586.54/3597.00 c repropagations : 73 (16 domain reductions, 0 cutoffs)
3586.54/3597.00 c avg switch length: 3.07
3586.54/3597.00 c switching time : 0.25
3586.54/3597.00 c Root Node :
3586.54/3597.00 c First LP value : +0.00000000000000e+00
3586.54/3597.00 c First LP Iters : 18374 (844.57 Iter/sec)
3586.54/3597.00 c First LP Time : 21.76
3586.54/3597.00 c Final Dual Bound : +0.00000000000000e+00
3586.54/3597.00 c Final Root Iters : 248711
3586.54/3597.00 c Root LP Estimate : +1.31051696283139e-03
3586.54/3597.00 c Solution :
3586.54/3597.00 c Solutions found : 0 (0 improvements)
3586.54/3597.00 c Primal Bound : -
3586.54/3597.00 c Dual Bound : +0.00000000000000e+00
3586.54/3597.00 c Gap : infinite
3586.54/3597.00 c Integrals : Total Avg%
3586.54/3597.00 c primal-dual : 359700.06 100.00
3586.54/3597.00 c primal-ref : - - (not evaluated)
3586.54/3597.00 c dual-ref : - - (not evaluated)
3586.64/3597.13 c Time complete (sec): 3586.673
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: 63708 MiB (62534 MiB free)
memory of node 1: 64465 MiB (63629 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507023-1751179188/watcher-4507023-1751179188 -o /tmp/evaluation-result-4507023-1751179188/solver-4507023-1751179188 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751171866-20913 --watchdog 3760 pbsolver -f HOME/instance-4507023-1751179188.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
Current StackSize limit: 8192 KiB
solver pid=21755, runsolver pid=21752
[startup+0.100064 s]*
/proc/loadavg: 4.49 4.18 4.12 5/266 21756
/proc/meminfo: memFree=129144136/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=82552 memory=73688 CPUtime=0.09 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 16353 0 0 0 8 1 0 0 20 0 1 0 33597396 84533248 18422 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 20638 18422 2368 2575 0 17545 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 82552 KiB
Current children cumulated memory: 73688 KiB
[startup+0.205729 s]*
/proc/loadavg: 4.49 4.18 4.12 5/266 21756
/proc/meminfo: memFree=129120196/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=108428 memory=96088 CPUtime=0.2 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 21938 0 0 0 18 2 0 0 20 0 1 0 33597396 111030272 24022 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 27107 24022 2400 2575 0 24014 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 108428 KiB
Current children cumulated memory: 96088 KiB
[startup+0.305816 s]*
/proc/loadavg: 4.49 4.18 4.12 5/266 21756
/proc/meminfo: memFree=129087940/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=137136 memory=124676 CPUtime=0.29 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 31533 0 0 0 26 3 0 0 20 0 1 0 33597396 140427264 31169 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 34284 31169 2496 2575 0 31191 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 137136 KiB
Current children cumulated memory: 124676 KiB
[startup+0.700168 s]
/proc/loadavg: 4.49 4.18 4.12 5/266 21756
/proc/meminfo: memFree=129087940/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=127856 memory=115896 CPUtime=0.68 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 31638 0 0 0 65 3 0 0 20 0 1 0 33597396 130924544 28974 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 31964 28974 2528 2575 0 28871 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 127856 KiB
Current children cumulated memory: 115896 KiB
[startup+1.50017 s]
/proc/loadavg: 4.49 4.18 4.12 5/266 21756
/proc/meminfo: memFree=129080144/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=188028 memory=170304 CPUtime=1.48 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 44274 0 0 0 142 6 0 0 20 0 1 0 33597396 192540672 42576 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 47007 42576 2624 2575 0 43914 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 188028 KiB
Current children cumulated memory: 170304 KiB
[startup+3.1056 s]
/proc/loadavg: 4.49 4.18 4.12 5/266 21756
/proc/meminfo: memFree=129036484/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=197976 memory=180032 CPUtime=3.08 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 46693 0 0 0 302 6 0 0 20 0 1 0 33597396 202727424 45008 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 49494 45008 2624 2575 0 46401 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 197976 KiB
Current children cumulated memory: 180032 KiB
[startup+6.30016 s]
/proc/loadavg: 4.53 4.19 4.12 5/266 21757
/proc/meminfo: memFree=129036988/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=201048 memory=183104 CPUtime=6.26 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 47465 0 0 0 620 6 0 0 20 0 1 0 33597396 205873152 45776 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 50262 45776 2624 2575 0 47169 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 201048 KiB
Current children cumulated memory: 183104 KiB
[startup+12.7002 s]
/proc/loadavg: 4.57 4.20 4.13 5/266 21757
/proc/meminfo: memFree=129025268/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=208324 memory=190400 CPUtime=12.65 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 49309 0 0 0 1258 7 0 0 20 0 1 0 33597396 213323776 47600 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 52081 47600 2624 2575 0 48988 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 208324 KiB
Current children cumulated memory: 190400 KiB
[startup+25.5002 s]
/proc/loadavg: 4.44 4.19 4.13 5/266 21757
/proc/meminfo: memFree=129024236/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=208816 memory=190912 CPUtime=25.42 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 49431 0 0 0 2535 7 0 0 20 0 1 0 33597396 213827584 47728 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 52204 47728 2624 2575 0 49111 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 208816 KiB
Current children cumulated memory: 190912 KiB
[startup+51.1049 s]
/proc/loadavg: 4.29 4.18 4.12 5/266 21757
/proc/meminfo: memFree=128873296/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=417300 memory=336320 CPUtime=50.96 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 86053 0 0 0 5084 12 0 0 20 0 1 0 33597396 427315200 84080 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 104325 84080 2688 2575 0 101232 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 417300 KiB
Current children cumulated memory: 336320 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.18 4.12 5/266 21759
/proc/meminfo: memFree=128785520/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=430708 memory=348608 CPUtime=102.01 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 89126 0 0 0 10189 12 0 0 20 0 1 0 33597396 441044992 87152 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 107677 87152 2688 2575 0 104584 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 430708 KiB
Current children cumulated memory: 348608 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/265 21761
/proc/meminfo: memFree=128615900/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=430708 memory=348736 CPUtime=161.85 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 89141 0 0 0 16173 12 0 0 20 0 1 0 33597396 441044992 87184 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 107677 87184 2688 2575 0 104584 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 430708 KiB
Current children cumulated memory: 348736 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.13 4.11 5/263 21763
/proc/meminfo: memFree=128574524/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=430708 memory=348736 CPUtime=221.69 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 89142 0 0 0 22156 13 0 0 20 0 1 0 33597396 441044992 87184 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 107677 87184 2688 2575 0 104584 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 430708 KiB
Current children cumulated memory: 348736 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/263 21766
/proc/meminfo: memFree=128479104/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=510348 memory=425872 CPUtime=281.53 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 95134 0 0 0 28139 14 0 0 20 0 1 0 33597396 522596352 106468 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 127587 106468 2688 2575 0 124494 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 510348 KiB
Current children cumulated memory: 425872 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/263 21768
/proc/meminfo: memFree=128401512/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=525728 memory=439824 CPUtime=341.37 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 98663 0 0 0 34122 15 0 0 20 0 1 0 33597396 538345472 109956 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 131432 109956 2688 2575 0 128339 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 525728 KiB
Current children cumulated memory: 439824 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 21770
/proc/meminfo: memFree=128352120/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=534552 memory=446992 CPUtime=401.21 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 100490 0 0 0 40106 15 0 0 20 0 1 0 33597396 547381248 111748 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 133638 111748 2688 2575 0 130545 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 534552 KiB
Current children cumulated memory: 446992 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 21772
/proc/meminfo: memFree=128341276/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=542660 memory=452240 CPUtime=461.06 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 101844 0 0 0 46090 16 0 0 20 0 1 0 33597396 555683840 113060 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 135665 113060 2688 2575 0 132572 0
################
# More data... #
################
/proc/loadavg: 4.05 4.08 4.09 5/264 21922
/proc/meminfo: memFree=127775904/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=659652 memory=625432 CPUtime=3212.98 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 130441 0 0 0 321278 20 0 0 20 0 1 0 33597396 675483648 156358 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 164913 156358 2976 2575 0 161820 0
Current children cumulated CPU time: 3212.98 s
Current children cumulated vsize: 659652 KiB
Current children cumulated memory: 625432 KiB
[startup+3282.3 s]
/proc/loadavg: 4.42 4.18 4.12 5/264 21924
/proc/meminfo: memFree=127767224/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=659652 memory=625432 CPUtime=3272.78 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 130443 0 0 0 327258 20 0 0 20 0 1 0 33597396 675483648 156358 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 164913 156358 2976 2575 0 161820 0
Current children cumulated CPU time: 3272.78 s
Current children cumulated vsize: 659652 KiB
Current children cumulated memory: 625432 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.16 4.12 5/264 21926
/proc/meminfo: memFree=127767068/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=659652 memory=625432 CPUtime=3332.57 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 130453 0 0 0 333237 20 0 0 20 0 1 0 33597396 675483648 156358 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 164913 156358 2976 2575 0 161820 0
Current children cumulated CPU time: 3332.57 s
Current children cumulated vsize: 659652 KiB
Current children cumulated memory: 625432 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/264 21928
/proc/meminfo: memFree=127766964/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=659652 memory=625432 CPUtime=3392.37 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 130453 0 0 0 339217 20 0 0 20 0 1 0 33597396 675483648 156358 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 164913 156358 2976 2575 0 161820 0
Current children cumulated CPU time: 3392.37 s
Current children cumulated vsize: 659652 KiB
Current children cumulated memory: 625432 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/264 21930
/proc/meminfo: memFree=127766860/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=659652 memory=625432 CPUtime=3452.16 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 130458 0 0 0 345196 20 0 0 20 0 1 0 33597396 675483648 156358 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 164913 156358 2976 2575 0 161820 0
Current children cumulated CPU time: 3452.16 s
Current children cumulated vsize: 659652 KiB
Current children cumulated memory: 625432 KiB
[startup+3522.3 s]
/proc/loadavg: 2.84 3.81 3.99 2/248 22029
/proc/meminfo: memFree=129496524/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=659652 memory=625432 CPUtime=3512 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 130462 0 0 0 351180 20 0 0 20 0 1 0 33597396 675483648 156358 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 164913 156358 2976 2575 0 161820 0
Current children cumulated CPU time: 3512 s
Current children cumulated vsize: 659652 KiB
Current children cumulated memory: 625432 KiB
[startup+3582.3 s]
/proc/loadavg: 1.94 3.38 3.83 2/248 22036
/proc/meminfo: memFree=129496876/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=659652 memory=625432 CPUtime=3571.87 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 130626 0 0 0 357167 20 0 0 20 0 1 0 33597396 675483648 156358 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 164913 156358 2976 2575 0 161820 0
Current children cumulated CPU time: 3571.87 s
Current children cumulated vsize: 659652 KiB
Current children cumulated memory: 625432 KiB
[startup+3597.13 s]
# the end of solver process 21755 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.47 s, system=0.206393 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.94 3.38 3.83 2/248 22036
/proc/meminfo: memFree=129496876/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=659652 memory=625432 CPUtime=3573.57 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 130626 0 0 0 357337 20 0 0 20 0 1 0 33597396 675483648 156358 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 164913 156358 2976 2575 0 161820 0
Current children cumulated CPU time: 3573.57 s
Current children cumulated vsize: 659652 KiB
Current children cumulated memory: 625432 KiB
[startup+3590.4 s]
/proc/loadavg: 1.87 3.32 3.81 2/248 22036
/proc/meminfo: memFree=129496876/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=659652 memory=625432 CPUtime=3579.95 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 130626 0 0 0 357975 20 0 0 20 0 1 0 33597396 675483648 156358 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 164913 156358 2976 2575 0 161820 0
Current children cumulated CPU time: 3579.95 s
Current children cumulated vsize: 659652 KiB
Current children cumulated memory: 625432 KiB
[startup+3593.6 s]
/proc/loadavg: 1.87 3.32 3.81 2/248 22036
/proc/meminfo: memFree=129496876/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=659652 memory=625432 CPUtime=3583.14 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 130626 0 0 0 358294 20 0 0 20 0 1 0 33597396 675483648 156358 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 164913 156358 2976 2575 0 161820 0
Current children cumulated CPU time: 3583.14 s
Current children cumulated vsize: 659652 KiB
Current children cumulated memory: 625432 KiB
[startup+3595.2 s]
/proc/loadavg: 1.80 3.28 3.79 2/248 22036
/proc/meminfo: memFree=129496876/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=659652 memory=625432 CPUtime=3584.74 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 130626 0 0 0 358454 20 0 0 20 0 1 0 33597396 675483648 156358 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 164913 156358 2976 2575 0 161820 0
Current children cumulated CPU time: 3584.74 s
Current children cumulated vsize: 659652 KiB
Current children cumulated memory: 625432 KiB
[startup+3596 s]*
/proc/loadavg: 1.80 3.28 3.79 2/248 22036
/proc/meminfo: memFree=129496876/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=659652 memory=625432 CPUtime=3585.54 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 130626 0 0 0 358534 20 0 0 20 0 1 0 33597396 675483648 156358 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 164913 156358 2976 2575 0 161820 0
Current children cumulated CPU time: 3585.54 s
Current children cumulated vsize: 659652 KiB
Current children cumulated memory: 625432 KiB
[startup+3596.8 s]
/proc/loadavg: 1.80 3.28 3.79 2/248 22036
/proc/meminfo: memFree=129496876/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=659652 memory=625432 CPUtime=3586.34 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 130626 0 0 0 358614 20 0 0 20 0 1 0 33597396 675483648 156358 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 164913 156358 2976 2575 0 161820 0
Current children cumulated CPU time: 3586.34 s
Current children cumulated vsize: 659652 KiB
Current children cumulated memory: 625432 KiB
[startup+3597 s]*
/proc/loadavg: 1.80 3.28 3.79 2/248 22036
/proc/meminfo: memFree=129496876/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=659652 memory=625432 CPUtime=3586.54 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 130626 0 0 0 358634 20 0 0 20 0 1 0 33597396 675483648 156358 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 164913 156358 2976 2575 0 161820 0
Current children cumulated CPU time: 3586.54 s
Current children cumulated vsize: 659652 KiB
Current children cumulated memory: 625432 KiB
[startup+3597.11 s]
/proc/loadavg: 1.80 3.28 3.79 2/248 22036
/proc/meminfo: memFree=129496876/131249996 swapFree=33010684/33010684
[pid=21755] ppid=21752 vsize=605752 memory=571640 CPUtime=3586.64 cores=1,3
/proc/21755/stat : 21755 (pbsolver) R 21752 21755 20901 0 -1 4194304 130687 0 0 0 358644 20 0 0 20 0 1 0 33597396 620290048 142910 18446744073709551615 4198400 14743177 140736470572672 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 31879168 140736470579594 140736470579690 140736470579690 140736470585292 0
/proc/21755/statm: 151438 142910 2976 2575 0 148345 0
Current children cumulated CPU time: 3586.64 s
Current children cumulated vsize: 605752 KiB
Current children cumulated memory: 571640 KiB
Child status: 0
Real time (s): 3597.13
CPU time (s): 3586.68
CPU user time (s): 3586.47
CPU system time (s): 0.206393
CPU usage (%): 99.7093
Max. virtual memory (cumulated for all children) (KiB): 659652
Max. memory (cumulated for all children) (KiB): 625432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.47
system time used= 0.206393
maximum resident set size= 627468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130697
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= 26
involuntary context switches= 1551
# summary of solver processes directly reported to runsolver:
# pid: 21755
# total CPU time (s): 3586.68
# total CPU user time (s): 3586.47
# total CPU system time (s): 0.206393
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.89246 second user time and 14.5953 second system time
The end
Begin job on nodeC032 at 2025-06-29 08:39:48 IDJOB=4507023 IDBENCH=158316 IDSOLVER=3366 FILE ID=nodeC032/4507023-1751179188 RUNJOBID= nodeC032-1751171866-20913 SLURM_JOB_ID= 9587537 Free space on /tmp= 432024 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K174.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507023-1751179188/watcher-4507023-1751179188 -o /tmp/evaluation-result-4507023-1751179188/solver-4507023-1751179188 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751171866-20913 --watchdog 3760 pbsolver -f HOME/instance-4507023-1751179188.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c4faa5671d3144bef53831284f041277 RANDOM SEED=783860535 nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.844 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.69 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.475 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.69 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 : 3644.919 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.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.799 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.69 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.800 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.69 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.848 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.69 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 : 3700.000 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.69 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 : 3617.276 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.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 129191968 kB MemAvailable: 128852156 kB Buffers: 3280 kB Cached: 471012 kB SwapCached: 0 kB Active: 1214140 kB Inactive: 230088 kB Active(anon): 988004 kB Inactive(anon): 0 kB Active(file): 226136 kB Inactive(file): 230088 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 16368 kB Writeback: 4 kB AnonPages: 973076 kB Mapped: 134732 kB Shmem: 18068 kB KReclaimable: 86404 kB Slab: 169612 kB SReclaimable: 86404 kB SUnreclaim: 83208 kB KernelStack: 4288 kB PageTables: 5144 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 1508180 kB VmallocTotal: 34359738367 kB VmallocUsed: 150568 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 36864 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: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432056 MiB End job on nodeC032 at 2025-06-29 09:39:45