| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3593.55 | 3603.14 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K177.opb |
| MD5SUM | 4b187363ec0683eba575f162bd763393 |
| 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 | 211.425 |
| 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 | 21063 |
| Total number of constraints | 21419 |
| Number of constraints which are clauses | 21242 |
| Number of constraints which are cardinality constraints (but not clauses) | 177 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 177 |
| 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 | 178 |
| 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-4507239-1751187285.opb>
0.00/0.06 c original problem has 21063 variables (21063 bin, 0 int, 0 cont) and 21419 constraints
0.00/0.06 c problem read in 0.066 seconds
0.00/0.06 c problem without objective
0.10/0.14 c presolving:
0.10/0.17 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, 2437 clqs
0.10/0.18 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, 2421 clqs
0.10/0.18 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, 2442 clqs
0.10/0.19 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, 2473 clqs
0.10/0.19 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, 2496 clqs
0.10/0.19 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, 2506 clqs
0.20/0.25 c (0.2s) running MILP presolver
0.50/0.57 c (0.6s) MILP presolver (4 rounds): 1 aggregations, 181 fixings, 0 bound changes
0.50/0.58 c (round 7, medium) 1364 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2511 clqs
0.50/0.59 c (round 8, fast) 1364 del vars, 818 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2517 clqs
0.59/0.62 c (round 9, exhaustive) 1364 del vars, 992 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2517 clqs
0.69/0.71 c (round 10, exhaustive) 1364 del vars, 992 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 20427 upgd conss, 0 impls, 2517 clqs
0.89/0.90 c (round 11, exhaustive) 1472 del vars, 992 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 20427 upgd conss, 0 impls, 2504 clqs
0.89/0.91 c (round 12, fast) 1580 del vars, 1100 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 20427 upgd conss, 0 impls, 2504 clqs
2.78/2.81 c (round 13, exhaustive) 1606 del vars, 1101 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 20427 upgd conss, 0 impls, 127866 clqs
2.78/2.82 c (round 14, fast) 1607 del vars, 1127 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 165 chg coeffs, 20427 upgd conss, 0 impls, 127878 clqs
4.38/4.41 c (round 15, exhaustive) 1633 del vars, 1127 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 165 chg coeffs, 20427 upgd conss, 0 impls, 127829 clqs
4.38/4.42 c (round 16, fast) 1634 del vars, 1153 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 223 chg coeffs, 20427 upgd conss, 0 impls, 127839 clqs
5.98/6.08 c (round 17, exhaustive) 1659 del vars, 1153 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 223 chg coeffs, 20427 upgd conss, 0 impls, 127843 clqs
5.98/6.09 c (round 18, fast) 1659 del vars, 1178 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 288 chg coeffs, 20427 upgd conss, 0 impls, 127861 clqs
6.67/6.73 c (round 19, exhaustive) 1685 del vars, 1178 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 288 chg coeffs, 20427 upgd conss, 0 impls, 127872 clqs
6.67/6.74 c (round 20, fast) 1686 del vars, 1204 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 355 chg coeffs, 20427 upgd conss, 0 impls, 127885 clqs
7.07/7.12 c (7.1s) probing: 1000/20031 (5.0%) - 107 fixings, 0 aggregations, 1105602 implications, 0 bound changes
8.07/8.13 c (round 21, exhaustive) 1711 del vars, 1204 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 355 chg coeffs, 20427 upgd conss, 0 impls, 127861 clqs
8.07/8.14 c (round 22, fast) 1711 del vars, 1229 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 415 chg coeffs, 20427 upgd conss, 0 impls, 127879 clqs
8.36/8.41 c (round 23, exhaustive) 1736 del vars, 1229 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 415 chg coeffs, 20427 upgd conss, 0 impls, 127915 clqs
8.36/8.42 c (round 24, fast) 1736 del vars, 1254 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 479 chg coeffs, 20427 upgd conss, 0 impls, 127924 clqs
8.66/8.76 c (round 25, exhaustive) 1761 del vars, 1254 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 479 chg coeffs, 20427 upgd conss, 0 impls, 127964 clqs
8.66/8.77 c (round 26, fast) 1761 del vars, 1279 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 537 chg coeffs, 20427 upgd conss, 0 impls, 127972 clqs
9.96/10.07 c (round 27, exhaustive) 1787 del vars, 1279 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 537 chg coeffs, 20427 upgd conss, 0 impls, 125238 clqs
9.96/10.08 c (round 28, fast) 1788 del vars, 1305 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 635 chg coeffs, 20427 upgd conss, 0 impls, 125265 clqs
10.35/10.47 c (round 29, exhaustive) 1813 del vars, 1305 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 635 chg coeffs, 20427 upgd conss, 0 impls, 127951 clqs
10.35/10.48 c (round 30, fast) 1813 del vars, 1330 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 692 chg coeffs, 20427 upgd conss, 0 impls, 127962 clqs
12.95/13.09 c (round 31, exhaustive) 1838 del vars, 1330 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 692 chg coeffs, 20427 upgd conss, 0 impls, 127719 clqs
13.05/13.10 c (round 32, fast) 1838 del vars, 1355 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 758 chg coeffs, 20427 upgd conss, 0 impls, 127732 clqs
14.05/14.13 c (round 33, exhaustive) 1863 del vars, 1355 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 758 chg coeffs, 20427 upgd conss, 0 impls, 127959 clqs
14.05/14.13 c (round 34, fast) 1863 del vars, 1380 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 817 chg coeffs, 20427 upgd conss, 0 impls, 127971 clqs
15.65/15.71 c (15.7s) probing: 2000/20031 (10.0%) - 276 fixings, 1 aggregations, 3165465 implications, 0 bound changes
15.75/15.80 c (round 35, exhaustive) 1888 del vars, 1380 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 818 chg coeffs, 20427 upgd conss, 0 impls, 127902 clqs
15.75/15.81 c (round 36, fast) 1888 del vars, 1405 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 843 chg coeffs, 20427 upgd conss, 0 impls, 127903 clqs
15.95/16.07 c (round 37, exhaustive) 1913 del vars, 1405 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 843 chg coeffs, 20427 upgd conss, 0 impls, 127957 clqs
15.95/16.08 c (round 38, fast) 1913 del vars, 1430 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 884 chg coeffs, 20427 upgd conss, 0 impls, 127962 clqs
16.24/16.33 c (round 39, exhaustive) 1938 del vars, 1430 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 884 chg coeffs, 20427 upgd conss, 0 impls, 127723 clqs
16.24/16.34 c (round 40, fast) 1938 del vars, 1455 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 906 chg coeffs, 20427 upgd conss, 0 impls, 127723 clqs
16.44/16.59 c (round 41, exhaustive) 1963 del vars, 1455 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 906 chg coeffs, 20427 upgd conss, 0 impls, 127512 clqs
16.44/16.59 c (round 42, fast) 1963 del vars, 1480 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 930 chg coeffs, 20427 upgd conss, 0 impls, 127512 clqs
19.04/19.13 c (round 43, exhaustive) 1988 del vars, 1480 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 930 chg coeffs, 20427 upgd conss, 0 impls, 127960 clqs
19.04/19.14 c (round 44, fast) 1988 del vars, 1505 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 957 chg coeffs, 20427 upgd conss, 0 impls, 127960 clqs
19.23/19.38 c (round 45, exhaustive) 2013 del vars, 1505 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 957 chg coeffs, 20427 upgd conss, 0 impls, 127800 clqs
19.23/19.38 c (round 46, fast) 2013 del vars, 1530 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 984 chg coeffs, 20427 upgd conss, 0 impls, 127800 clqs
20.63/20.73 c (20.7s) probing: 3000/20031 (15.0%) - 444 fixings, 1 aggregations, 4184552 implications, 0 bound changes
23.82/23.99 c (round 47, exhaustive) 2038 del vars, 1530 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 984 chg coeffs, 20427 upgd conss, 0 impls, 128029 clqs
23.92/24.00 c (round 48, fast) 2038 del vars, 1555 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1014 chg coeffs, 20427 upgd conss, 0 impls, 128029 clqs
24.11/24.25 c (round 49, exhaustive) 2063 del vars, 1555 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1014 chg coeffs, 20427 upgd conss, 0 impls, 127847 clqs
24.11/24.26 c (round 50, fast) 2063 del vars, 1580 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1039 chg coeffs, 20427 upgd conss, 0 impls, 127847 clqs
25.11/25.28 c (25.3s) probing: 4000/20031 (20.0%) - 479 fixings, 1 aggregations, 5392851 implications, 0 bound changes
28.80/28.92 c (28.9s) probing: 5000/20031 (25.0%) - 486 fixings, 1 aggregations, 6447207 implications, 0 bound changes
31.99/32.19 c (32.2s) probing: 6000/20031 (30.0%) - 488 fixings, 1 aggregations, 7403556 implications, 0 bound changes
35.38/35.58 c (35.6s) probing: 7000/20031 (34.9%) - 491 fixings, 1 aggregations, 8357326 implications, 0 bound changes
38.76/38.98 c (39.0s) probing: 8000/20031 (39.9%) - 495 fixings, 1 aggregations, 9309876 implications, 0 bound changes
40.16/40.38 c (40.4s) probing: 8456/20031 (42.2%) - 495 fixings, 1 aggregations, 9742565 implications, 0 bound changes
40.16/40.38 c (40.4s) probing aborted: 1000/1000 successive useless probings
40.16/40.38 c (round 51, exhaustive) 2084 del vars, 1580 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1039 chg coeffs, 20427 upgd conss, 0 impls, 128042 clqs
40.16/40.39 c (round 52, fast) 2084 del vars, 1601 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1071 chg coeffs, 20427 upgd conss, 0 impls, 128046 clqs
42.15/42.37 c (42.4s) probing: 9000/20031 (44.9%) - 513 fixings, 1 aggregations, 10221046 implications, 0 bound changes
45.44/45.67 c (45.7s) probing: 9847/20031 (49.2%) - 513 fixings, 1 aggregations, 11029941 implications, 0 bound changes
45.44/45.67 c (45.7s) probing aborted: 1000/1000 successive useless probings
45.44/45.67 c (round 53, exhaustive) 2102 del vars, 1601 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1071 chg coeffs, 20427 upgd conss, 0 impls, 128072 clqs
45.44/45.68 c (round 54, fast) 2102 del vars, 1619 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1095 chg coeffs, 20427 upgd conss, 0 impls, 128072 clqs
46.34/46.52 c (46.5s) probing: 10000/20031 (49.9%) - 516 fixings, 1 aggregations, 11162311 implications, 0 bound changes
49.73/49.94 c (49.9s) probing: 11000/20031 (54.9%) - 517 fixings, 1 aggregations, 12118151 implications, 0 bound changes
50.52/50.73 c (50.7s) probing: 11243/20031 (56.1%) - 517 fixings, 1 aggregations, 12355168 implications, 0 bound changes
50.52/50.73 c (50.7s) probing aborted: 1000/1000 successive useless probings
50.52/50.76 c (50.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
50.62/50.81 c (50.8s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 1.68) (symcode time: 0.02)
50.62/50.85 c dynamic symmetry handling statistics:
50.62/50.85 c orbitopal reduction: no components
50.62/50.85 c orbital reduction: no components
50.62/50.85 c lexicographic reduction: 3 permutations with support sizes 1652, 684, 330
50.62/50.85 c handled 4 out of 4 symmetry components
50.62/50.87 c presolving (55 rounds: 55 fast, 26 medium, 25 exhaustive):
50.62/50.87 c 2109 deleted vars, 1623 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1101 changed coefficients
50.62/50.87 c 0 implications, 128166 cliques
50.62/50.87 c presolved problem has 19506 variables (19506 bin, 0 int, 0 cont) and 19797 constraints
50.62/50.87 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
50.62/50.87 c 1 constraints of type <knapsack>
50.62/50.87 c 2409 constraints of type <setppc>
50.62/50.87 c 1 constraints of type <orbitope_pp>
50.62/50.87 c 17386 constraints of type <logicor>
50.62/50.87 c transformed objective value is always integral (scale: 1)
50.62/50.87 c Presolving Time: 50.75
50.62/50.87 c
50.62/50.87 c - non default parameters ----------------------------------------------------------------------
50.62/50.87 c
50.62/50.87 c # SCIP version 10.0.0
50.62/50.87 c
50.62/50.87 c # maximal time in seconds to run
50.62/50.87 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
50.62/50.87 c limits/time = 3596.998456
50.62/50.87 c
50.62/50.87 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
50.62/50.87 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
50.62/50.87 c limits/memory = 27900
50.62/50.87 c
50.62/50.87 c # belongs reading time to solving time?
50.62/50.87 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
50.62/50.87 c timing/reading = TRUE
50.62/50.87 c
50.62/50.87 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
50.62/50.87 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
50.62/50.87 c reading/opbreader/maxintsize = 47
50.62/50.87 c
50.62/50.87 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
50.62/50.87 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
50.62/50.87 c propagating/genvbounds/timingmask = 0
50.62/50.87 c
50.62/50.87 c -----------------------------------------------------------------------------------------------
50.62/50.88 c
71.35/71.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
71.35/71.64 c 71.6s| 1 | 0 | 17425 | - | 376M | 0 | 19k| 19k| 19k| 0 | 0 | 157 | 0 | 0.000000e+00 | -- | Inf | unknown
234.69/235.57 c 236s| 1 | 0 |114429 | - | 404M | 0 | 19k| 19k| 19k| 13 | 1 | 158 | 0 | 0.000000e+00 | -- | Inf | unknown
267.68/268.61 c 269s| 1 | 0 |127962 | - | 409M | 0 | 19k| 19k| 19k| 26 | 2 | 163 | 0 | 0.000000e+00 | -- | Inf | unknown
301.57/302.62 c 303s| 1 | 0 |140778 | - | 418M | 0 | 19k| 19k| 19k| 34 | 3 | 164 | 0 | 0.000000e+00 | -- | Inf | unknown
337.56/338.76 c 339s| 1 | 0 |154364 | - | 422M | 0 | 19k| 19k| 19k| 43 | 4 | 166 | 0 | 0.000000e+00 | -- | Inf | unknown
370.47/371.77 c 372s| 1 | 0 |166573 | - | 424M | 0 | 19k| 19k| 19k| 49 | 5 | 176 | 0 | 0.000000e+00 | -- | Inf | unknown
411.06/412.48 c 412s| 1 | 0 |181185 | - | 428M | 0 | 19k| 19k| 19k| 60 | 6 | 180 | 0 | 0.000000e+00 | -- | Inf | unknown
447.46/448.99 c 449s| 1 | 0 |194649 | - | 433M | 0 | 19k| 19k| 19k| 73 | 7 | 188 | 0 | 0.000000e+00 | -- | Inf | unknown
486.06/487.63 c 488s| 1 | 0 |208305 | - | 435M | 0 | 19k| 19k| 19k| 96 | 8 | 194 | 0 | 0.000000e+00 | -- | Inf | unknown
518.47/520.18 c 520s| 1 | 0 |219625 | - | 439M | 0 | 19k| 19k| 19k| 102 | 9 | 201 | 0 | 0.000000e+00 | -- | Inf | unknown
551.07/552.83 c 553s| 1 | 0 |231047 | - | 442M | 0 | 19k| 19k| 19k| 109 | 10 | 203 | 0 | 0.000000e+00 | -- | Inf | unknown
586.58/588.43 c 588s| 1 | 0 |243908 | - | 450M | 0 | 19k| 19k| 19k| 117 | 11 | 213 | 0 | 0.000000e+00 | -- | Inf | unknown
934.88/937.61 c 938s| 1 | 2 |336889 | - | 463M | 0 | 19k| 19k| 19k| 117 | 11 | 234 | 19 | 0.000000e+00 | -- | Inf | unknown
3593.40/3603.00 c
3593.40/3603.00 c SCIP Status : solving was interrupted [time limit reached]
3593.40/3603.00 c Solving Time (sec) : 3603.00
3593.40/3603.00 c Solving Nodes : 23
3593.40/3603.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3593.40/3603.00 c Dual Bound : +0.00000000000000e+00
3593.40/3603.00 c Gap : infinite
3593.40/3603.00 s UNKNOWN
3593.40/3603.00 c SCIP Status : solving was interrupted [time limit reached]
3593.40/3603.00 c Total Time : 3603.00
3593.40/3603.00 c solving : 3603.00
3593.40/3603.00 c presolving : 50.75 (included in solving)
3593.40/3603.00 c reading : 0.07 (included in solving)
3593.40/3603.00 c copying : 0.09 (2 #copies) (minimal 0.04, maximal 0.05, average 0.04)
3593.40/3603.00 c Original Problem :
3593.40/3603.00 c Problem name : HOME/instance-4507239-1751187285.opb
3593.40/3603.00 c Variables : 21063 (21063 binary, 0 integer, 0 continuous)
3593.40/3603.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3593.40/3603.00 c Constraints : 21419 initial, 21419 maximal
3593.40/3603.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3593.40/3603.00 c Presolved Problem :
3593.40/3603.00 c Problem name : t_HOME/instance-4507239-1751187285.opb
3593.40/3603.00 c Variables : 19506 (19506 binary, 0 integer, 0 continuous)
3593.40/3603.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3593.40/3603.00 c Constraints : 19797 initial, 20049 maximal
3593.40/3603.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3593.40/3603.00 c Nonzeros : 108431 constraint, 275492 clique table
3593.40/3603.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3593.40/3603.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c domcol : 1.03 0.00 22 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c dualsparsify : 0.04 0.00 1 0 0 0 0 0 4 0 0 6
3593.40/3603.00 c gateextraction : 0.18 0.00 23 0 0 0 0 0 1 0 0 0
3593.40/3603.00 c implics : 0.00 0.00 26 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c milp : 0.37 0.00 1 181 1 0 0 0 0 0 0 0
3593.40/3603.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c sparsify : 0.50 0.00 4 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c trivial : 0.03 0.00 55 552 0 0 0 0 0 0 0 0
3593.40/3603.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c dualfix : 0.02 0.00 55 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c probing : 43.93 0.00 22 517 1 0 0 0 0 0 0 0
3593.40/3603.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c symmetry : 0.08 0.00 1 3 0 0 0 0 0 1 0 0
3593.40/3603.00 c vbounds : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c knapsack : 0.01 0.00 91 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c setppc : 0.22 0.00 91 0 0 0 0 0 107 0 0 0
3593.40/3603.00 c linear : 0.16 0.02 12 302 0 0 302 0 992 0 0 0
3593.40/3603.00 c orbitope_pp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c logicor : 4.07 0.01 91 108 0 0 0 0 519 0 0 1095
3593.40/3603.00 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c root node : - - - 0 - - 0 - - - - -
3593.40/3603.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3593.40/3603.00 c integral : 0 0 0 0 23 0 0 7 0 0 0 0 0 0 46
3593.40/3603.00 c knapsack : 1 1 11 648772 0 0 0 3 0 0 0 0 0 0 0
3593.40/3603.00 c setppc : 2409+ 2517 11 656993 0 0 0 3 22924 347 2245 0 0 0 0
3593.40/3603.00 c orbitope_pp : 1 1 0 18750 0 0 0 0 19 0 9 0 0 0 0
3593.40/3603.00 c logicor : 17386+ 17530 11 187127 0 0 0 0 72855 136 5705 33 13 0 0
3593.40/3603.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3593.40/3603.00 c integral : 44.96 0.00 0.00 0.00 44.96 0.00 0.00 0.00 0.00 0.00
3593.40/3603.00 c knapsack : 0.34 0.00 0.01 0.33 0.00 0.00 0.00 0.00 0.00 0.00
3593.40/3603.00 c setppc : 4.63 0.00 0.01 4.62 0.00 0.00 0.00 0.00 0.01 0.01
3593.40/3603.00 c orbitope_pp : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
3593.40/3603.00 c logicor : 14.41 0.01 0.04 14.32 0.00 0.00 0.00 0.00 0.03 0.02
3593.40/3603.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3593.40/3603.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3593.40/3603.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3593.40/3603.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3593.40/3603.00 c dualfix : 1 0 0 0
3593.40/3603.00 c genvbounds : 0 0 0 0
3593.40/3603.00 c nlobbt : 0 0 0 0
3593.40/3603.00 c obbt : 0 0 0 0
3593.40/3603.00 c probing : 0 0 0 0
3593.40/3603.00 c pseudoobj : 0 0 0 0
3593.40/3603.00 c redcost : 0 0 0 0
3593.40/3603.00 c rootredcost : 0 0 0 0
3593.40/3603.00 c symmetry : 0 0 0 0
3593.40/3603.00 c vbounds : 6932 0 0 0
3593.40/3603.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3593.40/3603.00 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
3593.40/3603.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3593.40/3603.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3593.40/3603.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3593.40/3603.00 c probing : 43.93 0.00 43.93 0.00 0.00 0.00
3593.40/3603.00 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3593.40/3603.00 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3593.40/3603.00 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3593.40/3603.00 c symmetry : 0.11 0.00 0.08 0.03 0.00 0.00
3593.40/3603.00 c vbounds : 0.06 0.00 0.03 0.03 0.00 0.00
3593.40/3603.00 c Symmetry :
3593.40/3603.00 c #affected vars : 3161 (3161 bin, 0 int, 0 cont)
3593.40/3603.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3593.40/3603.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3593.40/3603.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3593.40/3603.00 c shadow tree time : 0.00 s
3593.40/3603.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3593.40/3603.00 c propagation : 0.04 481 144 - 814 246.6 8 12.2 - - -
3593.40/3603.00 c infeasible LP : 0.49 18 5 - 175 3115.4 1 2.0 0 0.0 0
3593.40/3603.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3593.40/3603.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3593.40/3603.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3593.40/3603.00 c applied globally : 0.01 - - 0 327 198.5 - - 0 - -
3593.40/3603.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3593.40/3603.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3593.40/3603.00 c cut pool : 0.00 - 33 21 - - 424 837 - - - - - (maximal pool size: 424)
3593.40/3603.00 c aggregation : 0.08 0.00 17 11 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3593.40/3603.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3593.40/3603.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3593.40/3603.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c clique : 1.95 0.00 11 11 0 0 86 236 0 37 37 0 0
3593.40/3603.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c gomory : 26.83 0.00 16 10 0 0 196 389 0 7 7 0 0
3593.40/3603.00 c > gomorymi : - - - - - - - 208 0 6 6 0 -
3593.40/3603.00 c > strongcg : - - - - - - - 181 0 1 1 0 -
3593.40/3603.00 c impliedbounds : 0.10 0.00 17 11 0 0 67 108 0 32 32 0 0
3593.40/3603.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c multilinear : 0.00 0.00 13 11 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3593.40/3603.00 c zerohalf : 22.17 0.00 17 11 0 0 86 104 11 101 93 8 0
3593.40/3603.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3593.40/3603.00 c hybrid : 0.00 0.00 17 11 190 0 691 117 0 188
3593.40/3603.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3593.40/3603.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3593.40/3603.00 c Pricers : ExecTime SetupTime Calls Vars
3593.40/3603.00 c problem variables: 0.00 - 0 0
3593.40/3603.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3593.40/3603.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3593.40/3603.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3593.40/3603.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3593.40/3603.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3593.40/3603.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3593.40/3603.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3593.40/3603.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3593.40/3603.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3593.40/3603.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3593.40/3603.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3593.40/3603.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3593.40/3603.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3593.40/3603.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3593.40/3603.00 c relpscost : 44.96 0.00 23 0 0 0 0 0 0 46
3593.40/3603.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3593.40/3603.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3593.40/3603.00 c LP solutions : 0.00 - - 0 0
3593.40/3603.00 c relax solutions : 0.00 - - 0 0
3593.40/3603.00 c pseudo solutions : 0.00 - - 0 0
3593.40/3603.00 c strong branching : 0.00 - - 0 0
3593.40/3603.00 c actconsdiving : 0.00 0.00 0 0 0
3593.40/3603.00 c adaptivediving : 167.68 0.00 1 0 0
3593.40/3603.00 c alns : 0.11 0.00 1 0 0
3593.40/3603.00 c bound : 0.00 0.00 0 0 0
3593.40/3603.00 c clique : 0.08 0.00 1 0 0
3593.40/3603.00 c coefdiving : 0.00 0.00 0 0 0
3593.40/3603.00 c completesol : 0.00 0.00 0 0 0
3593.40/3603.00 c conflictdiving : 303.64 0.00 1 0 0
3593.40/3603.00 c crossover : 0.00 0.00 0 0 0
3593.40/3603.00 c dins : 0.00 0.00 0 0 0
3593.40/3603.00 c distributiondivin: 332.80 0.00 1 0 0
3593.40/3603.00 c dks : 0.00 0.00 0 0 0
3593.40/3603.00 c dps : 0.00 0.00 0 0 0
3593.40/3603.00 c dualval : 0.00 0.00 0 0 0
3593.40/3603.00 c farkasdiving : 0.00 0.00 0 0 0
3593.40/3603.00 c feaspump : 127.66 0.00 1 0 0
3593.40/3603.00 c fixandinfer : 0.00 0.00 0 0 0
3593.40/3603.00 c fracdiving : 195.97 0.00 1 0 0
3593.40/3603.00 c gins : 0.00 0.00 0 0 0
3593.40/3603.00 c guideddiving : 0.00 0.00 0 0 0
3593.40/3603.00 c indicator : 0.00 0.00 0 0 0
3593.40/3603.00 c indicatordiving : 0.00 0.00 0 0 0
3593.40/3603.00 c intdiving : 0.00 0.00 0 0 0
3593.40/3603.00 c intshifting : 0.00 0.00 0 0 0
3593.40/3603.00 c linesearchdiving : 0.00 0.00 0 0 0
3593.40/3603.00 c localbranching : 0.00 0.00 0 0 0
3593.40/3603.00 c locks : 0.08 0.00 1 0 0
3593.40/3603.00 c lpface : 0.00 0.00 0 0 0
3593.40/3603.00 c mpec : 0.00 0.00 0 0 0
3593.40/3603.00 c multistart : 0.00 0.00 0 0 0
3593.40/3603.00 c mutation : 0.00 0.00 0 0 0
3593.40/3603.00 c nlpdiving : 0.00 0.00 0 0 0
3593.40/3603.00 c objpscostdiving : 454.23 0.00 1 0 0
3593.40/3603.00 c octane : 0.00 0.00 0 0 0
3593.40/3603.00 c ofins : 0.00 0.00 0 0 0
3593.40/3603.00 c oneopt : 0.00 0.00 0 0 0
3593.40/3603.00 c padm : 0.00 0.00 0 0 0
3593.40/3603.00 c proximity : 0.00 0.00 0 0 0
3593.40/3603.00 c pscostdiving : 454.44 0.00 1 0 0
3593.40/3603.00 c randrounding : 0.19 0.00 12 0 0
3593.40/3603.00 c rens : 0.50 0.00 1 0 0
3593.40/3603.00 c reoptsols : 0.00 0.00 0 0 0
3593.40/3603.00 c repair : 0.00 0.00 0 0 0
3593.40/3603.00 c rins : 0.00 0.00 0 0 0
3593.40/3603.00 c rootsoldiving : 0.00 0.00 0 0 0
3593.40/3603.00 c rounding : 0.05 0.00 40 0 0
3593.40/3603.00 c scheduler : 0.00 0.00 0 0 0
3593.40/3603.00 c shiftandpropagate: 0.02 0.00 1 0 0
3593.40/3603.00 c shifting : 0.26 0.00 21 0 0
3593.40/3603.00 c simplerounding : 0.00 0.00 0 0 0
3593.40/3603.00 c subnlp : 0.00 0.00 0 0 0
3593.40/3603.00 c trivial : 0.01 0.00 2 0 0
3593.40/3603.00 c trivialnegation : 0.00 0.00 0 0 0
3593.40/3603.00 c trustregion : 0.00 0.00 0 0 0
3593.40/3603.00 c trysol : 0.00 0.00 0 0 0
3593.40/3603.00 c twoopt : 0.00 0.00 0 0 0
3593.40/3603.00 c undercover : 0.00 0.00 0 0 0
3593.40/3603.00 c vbounds : 0.14 0.00 1 0 0
3593.40/3603.00 c veclendiving : 431.34 0.00 1 0 0
3593.40/3603.00 c zeroobj : 0.00 0.00 0 0 0
3593.40/3603.00 c zirounding : 0.01 0.00 22 0 0
3593.40/3603.00 c other solutions : - - - 0 -
3593.40/3603.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3593.40/3603.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
3593.40/3603.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
3593.40/3603.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
3593.40/3603.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
3593.40/3603.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
3593.40/3603.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
3593.40/3603.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
3593.40/3603.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
3593.40/3603.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
3593.40/3603.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3593.40/3603.00 c primal LP : 0.13 4 0 0.00 0.00 0.13 4
3593.40/3603.00 c dual LP : 986.44 40 453830 11345.75 460.07 0.00 0
3593.40/3603.00 c lex dual LP : 0.00 0 0 0.00 -
3593.40/3603.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3593.40/3603.00 c resolve instable : 0.30 1 62 62.00 207.59
3593.40/3603.00 c diving/probing LP: 2475.62 150 889319 5928.79 359.23
3593.40/3603.00 c strong branching : 34.28 19 17383 914.89 507.16 - - 33
3593.40/3603.00 c (at root node) : - 19 17383 914.89 -
3593.40/3603.00 c conflict analysis: 0.00 0 0 0.00 -
3593.40/3603.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3593.40/3603.00 c benders : 0.00 0 0 0 0.00 0 0 0
3593.40/3603.00 c B&B Tree :
3593.40/3603.00 c number of runs : 1
3593.40/3603.00 c nodes : 23 (23 internal, 0 leaves)
3593.40/3603.00 c feasible leaves : 0
3593.40/3603.00 c infeas. leaves : 0
3593.40/3603.00 c objective leaves : 0
3593.40/3603.00 c nodes (total) : 23 (23 internal, 0 leaves)
3593.40/3603.00 c nodes left : 24
3593.40/3603.00 c max depth : 11
3593.40/3603.00 c max depth (total): 11
3593.40/3603.00 c backtracks : 5 (21.7%)
3593.40/3603.00 c early backtracks : 0 (0.0%)
3593.40/3603.00 c nodes exc. ref. : 0 (0.0%)
3593.40/3603.00 c delayed cutoffs : 0
3593.40/3603.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3593.40/3603.00 c avg switch length: 2.00
3593.40/3603.00 c switching time : 0.15
3593.40/3603.00 c Root Node :
3593.40/3603.00 c First LP value : +0.00000000000000e+00
3593.40/3603.00 c First LP Iters : 17425 (852.58 Iter/sec)
3593.40/3603.00 c First LP Time : 20.44
3593.40/3603.00 c Final Dual Bound : +0.00000000000000e+00
3593.40/3603.00 c Final Root Iters : 243908
3593.40/3603.00 c Root LP Estimate : +2.48841644260310e-03
3593.40/3603.00 c Solution :
3593.40/3603.00 c Solutions found : 0 (0 improvements)
3593.40/3603.00 c Primal Bound : -
3593.40/3603.00 c Dual Bound : +0.00000000000000e+00
3593.40/3603.00 c Gap : infinite
3593.40/3603.00 c Integrals : Total Avg%
3593.40/3603.00 c primal-dual : 360300.46 100.00
3593.40/3603.00 c primal-ref : - - (not evaluated)
3593.40/3603.00 c dual-ref : - - (not evaluated)
3593.51/3603.13 c Time complete (sec): 3593.543
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 (63042 MiB free)
memory of node 1: 64465 MiB (63455 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507239-1751187285/watcher-4507239-1751187285 -o /tmp/evaluation-result-4507239-1751187285/solver-4507239-1751187285 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751183686-22781 --watchdog 3760 pbsolver -f HOME/instance-4507239-1751187285.opb -t 3600 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=23124, runsolver pid=23117
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.01 4.07 4.08 4/262 23128
/proc/meminfo: memFree=129418004/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=87336 memory=78008 CPUtime=0.1 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 17427 0 0 0 8 2 0 0 20 0 1 0 34351010 89432064 19502 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 21834 19502 2368 2575 0 18741 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 87336 KiB
Current children cumulated memory: 78008 KiB
[startup+0.205482 s]*
/proc/loadavg: 4.01 4.07 4.08 4/260 23141
/proc/meminfo: memFree=129374384/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=115192 memory=102456 CPUtime=0.2 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 23502 0 0 0 18 2 0 0 20 0 1 0 34351010 117956608 25582 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 28798 25582 2432 2575 0 25705 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 115192 KiB
Current children cumulated memory: 102456 KiB
[startup+0.305428 s]*
/proc/loadavg: 4.01 4.07 4.08 4/260 23147
/proc/meminfo: memFree=129317344/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=138128 memory=125728 CPUtime=0.3 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 31833 0 0 0 26 4 0 0 20 0 1 0 34351010 141443072 31432 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 34532 31432 2496 2575 0 31439 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 138128 KiB
Current children cumulated memory: 125728 KiB
[startup+0.700128 s]
/proc/loadavg: 4.01 4.07 4.08 4/262 23156
/proc/meminfo: memFree=129799236/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=148832 memory=136896 CPUtime=0.69 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 36993 0 0 0 64 5 0 0 20 0 1 0 34351010 152403968 34224 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 37208 34224 2496 2575 0 34115 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 148832 KiB
Current children cumulated memory: 136896 KiB
[startup+1.50013 s]
/proc/loadavg: 4.01 4.07 4.08 4/260 23164
/proc/meminfo: memFree=129746896/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=190364 memory=174248 CPUtime=1.48 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 45355 0 0 0 142 6 0 0 20 0 1 0 34351010 194932736 43562 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 47591 43562 2624 2575 0 44498 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 190364 KiB
Current children cumulated memory: 174248 KiB
[startup+3.10535 s]
/proc/loadavg: 4.01 4.07 4.08 5/264 23201
/proc/meminfo: memFree=129609864/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=198784 memory=182312 CPUtime=3.09 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 47364 0 0 0 302 7 0 0 20 0 1 0 34351010 203554816 45578 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 49696 45578 2624 2575 0 46603 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 198784 KiB
Current children cumulated memory: 182312 KiB
[startup+6.30016 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 23201
/proc/meminfo: memFree=129610000/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=199808 memory=183464 CPUtime=6.27 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 47639 0 0 0 620 7 0 0 20 0 1 0 34351010 204603392 45866 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 49952 45866 2624 2575 0 46859 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 199808 KiB
Current children cumulated memory: 183464 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 23201
/proc/meminfo: memFree=129489448/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=209116 memory=192680 CPUtime=12.65 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 49965 0 0 0 1258 7 0 0 20 0 1 0 34351010 214134784 48170 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 52279 48170 2624 2575 0 49186 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 209116 KiB
Current children cumulated memory: 192680 KiB
[startup+25.5001 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 23201
/proc/meminfo: memFree=129313592/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=209600 memory=193192 CPUtime=25.41 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 50100 0 0 0 2533 8 0 0 20 0 1 0 34351010 214630400 48298 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 52400 48298 2624 2575 0 49307 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 209600 KiB
Current children cumulated memory: 193192 KiB
[startup+51.1054 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 23201
/proc/meminfo: memFree=128946664/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=402872 memory=325984 CPUtime=50.93 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 82859 0 0 0 5080 13 0 0 20 0 1 0 34351010 412540928 81496 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 100718 81496 2656 2575 0 97625 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 402872 KiB
Current children cumulated memory: 325984 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 23204
/proc/meminfo: memFree=128912364/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=433240 memory=352992 CPUtime=101.94 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 89788 0 0 0 10180 14 0 0 20 0 1 0 34351010 443637760 88248 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 108310 88248 2688 2575 0 105217 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 433240 KiB
Current children cumulated memory: 352992 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 23206
/proc/meminfo: memFree=128881568/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=433240 memory=353120 CPUtime=161.74 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 89809 0 0 0 16160 14 0 0 20 0 1 0 34351010 443637760 88280 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 108310 88280 2688 2575 0 105217 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 433240 KiB
Current children cumulated memory: 353120 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 23208
/proc/meminfo: memFree=128684052/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=519272 memory=436440 CPUtime=221.54 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 96878 0 0 0 22137 17 0 0 20 0 1 0 34351010 531734528 109110 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 129818 109110 2688 2575 0 126725 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 519272 KiB
Current children cumulated memory: 436440 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 23210
/proc/meminfo: memFree=128655916/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=537344 memory=453720 CPUtime=281.34 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 100741 0 0 0 28117 17 0 0 20 0 1 0 34351010 550240256 113430 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 134336 113430 2688 2575 0 131243 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 537344 KiB
Current children cumulated memory: 453720 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 23212
/proc/meminfo: memFree=128624768/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=543788 memory=459352 CPUtime=341.15 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 102007 0 0 0 34097 18 0 0 20 0 1 0 34351010 556838912 114838 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 135947 114838 2688 2575 0 132854 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 543788 KiB
Current children cumulated memory: 459352 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 23227
/proc/meminfo: memFree=128606012/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=548812 memory=467288 CPUtime=400.99 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 103081 0 0 0 40081 18 0 0 20 0 1 0 34351010 561983488 116822 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 137203 116822 2688 2575 0 134110 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 548812 KiB
Current children cumulated memory: 467288 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 23229
/proc/meminfo: memFree=128557724/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=557192 memory=494296 CPUtime=460.83 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 104620 0 0 0 46065 18 0 0 20 0 1 0 34351010 570564608 123574 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 139298 123574 2688 2575 0 136205 0
Current children cumulated CPU time: 460.83 s
################
# More data... #
################
/proc/loadavg: 4.11 4.10 4.09 5/266 23379
/proc/meminfo: memFree=128266484/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=659304 memory=624940 CPUtime=3213.7 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 131410 0 0 0 321348 22 0 0 20 0 1 0 34351010 675127296 156235 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 164826 156235 2976 2575 0 161733 0
Current children cumulated CPU time: 3213.7 s
Current children cumulated vsize: 659304 KiB
Current children cumulated memory: 624940 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 23383
/proc/meminfo: memFree=128245440/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=659304 memory=624940 CPUtime=3273.55 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 131454 0 0 0 327333 22 0 0 20 0 1 0 34351010 675127296 156235 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 164826 156235 2976 2575 0 161733 0
Current children cumulated CPU time: 3273.55 s
Current children cumulated vsize: 659304 KiB
Current children cumulated memory: 624940 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 23385
/proc/meminfo: memFree=128244912/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=659304 memory=624940 CPUtime=3333.39 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 131517 0 0 0 333317 22 0 0 20 0 1 0 34351010 675127296 156235 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 164826 156235 2976 2575 0 161733 0
Current children cumulated CPU time: 3333.39 s
Current children cumulated vsize: 659304 KiB
Current children cumulated memory: 624940 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/265 23391
/proc/meminfo: memFree=128245536/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=659304 memory=624940 CPUtime=3393.23 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 131523 0 0 0 339301 22 0 0 20 0 1 0 34351010 675127296 156235 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 164826 156235 2976 2575 0 161733 0
Current children cumulated CPU time: 3393.23 s
Current children cumulated vsize: 659304 KiB
Current children cumulated memory: 624940 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.12 4.10 5/264 23393
/proc/meminfo: memFree=128219556/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=659304 memory=624940 CPUtime=3453.08 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 131532 0 0 0 345286 22 0 0 20 0 1 0 34351010 675127296 156235 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 164826 156235 2976 2575 0 161733 0
Current children cumulated CPU time: 3453.08 s
Current children cumulated vsize: 659304 KiB
Current children cumulated memory: 624940 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 23400
/proc/meminfo: memFree=128245604/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=659304 memory=624940 CPUtime=3512.92 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 131533 0 0 0 351270 22 0 0 20 0 1 0 34351010 675127296 156235 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 164826 156235 2976 2575 0 161733 0
Current children cumulated CPU time: 3512.92 s
Current children cumulated vsize: 659304 KiB
Current children cumulated memory: 624940 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 23402
/proc/meminfo: memFree=128245264/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=659304 memory=624940 CPUtime=3572.76 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 131534 0 0 0 357254 22 0 0 20 0 1 0 34351010 675127296 156235 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 164826 156235 2976 2575 0 161733 0
Current children cumulated CPU time: 3572.76 s
Current children cumulated vsize: 659304 KiB
Current children cumulated memory: 624940 KiB
[startup+3603.14 s]
# the end of solver process 23124 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.3 s, system=0.246031 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.09 5/265 23402
/proc/meminfo: memFree=128245288/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=659304 memory=624940 CPUtime=3574.46 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 131534 0 0 0 357424 22 0 0 20 0 1 0 34351010 675127296 156235 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 164826 156235 2976 2575 0 161733 0
Current children cumulated CPU time: 3574.46 s
Current children cumulated vsize: 659304 KiB
Current children cumulated memory: 624940 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 23402
/proc/meminfo: memFree=128245288/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=659304 memory=624940 CPUtime=3587.22 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 131534 0 0 0 358700 22 0 0 20 0 1 0 34351010 675127296 156235 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 164826 156235 2976 2575 0 161733 0
Current children cumulated CPU time: 3587.22 s
Current children cumulated vsize: 659304 KiB
Current children cumulated memory: 624940 KiB
[startup+3600 s]*
/proc/loadavg: 4.07 4.09 4.09 5/261 23500
/proc/meminfo: memFree=129319916/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=659304 memory=624940 CPUtime=3590.41 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 131534 0 0 0 359018 23 0 0 20 0 1 0 34351010 675127296 156235 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 164826 156235 2976 2575 0 161733 0
Current children cumulated CPU time: 3590.41 s
Current children cumulated vsize: 659304 KiB
Current children cumulated memory: 624940 KiB
[startup+3601.6 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 23537
/proc/meminfo: memFree=129260708/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=659304 memory=624940 CPUtime=3592 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 131534 0 0 0 359177 23 0 0 20 0 1 0 34351010 675127296 156235 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 164826 156235 2976 2575 0 161733 0
Current children cumulated CPU time: 3592 s
Current children cumulated vsize: 659304 KiB
Current children cumulated memory: 624940 KiB
[startup+3602.4 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 23537
/proc/meminfo: memFree=129252716/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=659304 memory=624940 CPUtime=3592.8 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 131534 0 0 0 359257 23 0 0 20 0 1 0 34351010 675127296 156235 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 164826 156235 2976 2575 0 161733 0
Current children cumulated CPU time: 3592.8 s
Current children cumulated vsize: 659304 KiB
Current children cumulated memory: 624940 KiB
[startup+3602.8 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 23537
/proc/meminfo: memFree=129252716/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=659304 memory=624940 CPUtime=3593.2 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 131534 0 0 0 359297 23 0 0 20 0 1 0 34351010 675127296 156235 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 164826 156235 2976 2575 0 161733 0
Current children cumulated CPU time: 3593.2 s
Current children cumulated vsize: 659304 KiB
Current children cumulated memory: 624940 KiB
[startup+3603 s]*
/proc/loadavg: 4.07 4.09 4.09 5/265 23537
/proc/meminfo: memFree=129253212/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=659304 memory=624940 CPUtime=3593.4 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 131534 0 0 0 359317 23 0 0 20 0 1 0 34351010 675127296 156235 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 164826 156235 2976 2575 0 161733 0
Current children cumulated CPU time: 3593.4 s
Current children cumulated vsize: 659304 KiB
Current children cumulated memory: 624940 KiB
[startup+3603.11 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 23537
/proc/meminfo: memFree=129253212/131250000 swapFree=33010684/33010684
[pid=23124] ppid=23117 vsize=601616 memory=567336 CPUtime=3593.51 cores=0,2
/proc/23124/stat : 23124 (pbsolver) R 23117 23124 22771 0 -1 4194304 131633 0 0 0 359327 24 0 0 20 0 1 0 34351010 616054784 141834 18446744073709551615 4198400 14743177 140735121022784 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 43859968 140735121025418 140735121025514 140735121025514 140735121031116 0
/proc/23124/statm: 150404 141834 2976 2575 0 147311 0
Current children cumulated CPU time: 3593.51 s
Current children cumulated vsize: 601616 KiB
Current children cumulated memory: 567336 KiB
Child status: 0
Real time (s): 3603.14
CPU time (s): 3593.55
CPU user time (s): 3593.3
CPU system time (s): 0.246031
CPU usage (%): 99.7338
Max. virtual memory (cumulated for all children) (KiB): 659304
Max. memory (cumulated for all children) (KiB): 624940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.3
system time used= 0.246031
maximum resident set size= 624940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131645
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= 37
involuntary context switches= 5076
# summary of solver processes directly reported to runsolver:
# pid: 23124
# total CPU time (s): 3593.55
# total CPU user time (s): 3593.3
# total CPU system time (s): 0.246031
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.2579 second user time and 13.7391 second system time
The end
Begin job on nodeC028 at 2025-06-29 10:54:45 IDJOB=4507239 IDBENCH=158331 IDSOLVER=3366 FILE ID=nodeC028/4507239-1751187285 RUNJOBID= nodeC028-1751183686-22781 SLURM_JOB_ID= 9587572 Free space on /tmp= 433028 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K177.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507239-1751187285/watcher-4507239-1751187285 -o /tmp/evaluation-result-4507239-1751187285/solver-4507239-1751187285 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751183686-22781 --watchdog 3760 pbsolver -f HOME/instance-4507239-1751187285.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4b187363ec0683eba575f162bd763393 RANDOM SEED=767391425 nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.263 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 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.098 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.051 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 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 : 3597.077 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.415 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.284 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.819 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.960 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129526548 kB MemAvailable: 129242480 kB Buffers: 3280 kB Cached: 526648 kB SwapCached: 0 kB Active: 866976 kB Inactive: 270280 kB Active(anon): 625396 kB Inactive(anon): 0 kB Active(file): 241580 kB Inactive(file): 270280 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 32660 kB Writeback: 32 kB AnonPages: 608628 kB Mapped: 114892 kB Shmem: 18068 kB KReclaimable: 86620 kB Slab: 169916 kB SReclaimable: 86620 kB SUnreclaim: 83296 kB KernelStack: 4160 kB PageTables: 4084 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 922964 kB VmallocTotal: 34359738367 kB VmallocUsed: 150456 kB VmallocChunk: 0 kB Percpu: 3712 kB HardwareCorrupted: 0 kB AnonHugePages: 530432 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: 197332 kB DirectMap2M: 7962624 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433000 MiB End job on nodeC028 at 2025-06-29 11:54:48