| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3598.97 | 3609.19 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K159.opb |
| MD5SUM | 27d58ce279c297ab3aeba38d0412d1d9 |
| 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 | 2789.9 |
| 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 | 18921 |
| Total number of constraints | 19241 |
| Number of constraints which are clauses | 19082 |
| Number of constraints which are cardinality constraints (but not clauses) | 159 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 159 |
| 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 | 160 |
| 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-4506987-1751179079.opb>
0.00/0.06 c original problem has 18921 variables (18921 bin, 0 int, 0 cont) and 19241 constraints
0.00/0.06 c problem read in 0.064 seconds
0.00/0.06 c problem without objective
0.09/0.13 c presolving:
0.09/0.16 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, 2185 clqs
0.09/0.17 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, 2169 clqs
0.09/0.17 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, 2190 clqs
0.09/0.18 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, 2221 clqs
0.09/0.18 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, 2244 clqs
0.09/0.18 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, 2254 clqs
0.20/0.23 c (0.2s) running MILP presolver
0.40/0.42 c (0.4s) MILP presolver (3 rounds): 1 aggregations, 157 fixings, 0 bound changes
0.40/0.43 c (round 7, medium) 1340 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2264 clqs
0.40/0.44 c (round 8, fast) 1340 del vars, 794 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2268 clqs
0.40/0.46 c (round 9, exhaustive) 1340 del vars, 950 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2268 clqs
0.49/0.55 c (round 10, exhaustive) 1340 del vars, 950 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 18291 upgd conss, 0 impls, 2268 clqs
0.68/0.71 c (round 11, exhaustive) 1449 del vars, 950 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 18291 upgd conss, 0 impls, 2255 clqs
0.68/0.72 c (round 12, fast) 1558 del vars, 1059 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 18291 upgd conss, 0 impls, 2255 clqs
2.19/2.26 c (round 13, exhaustive) 1584 del vars, 1060 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 18291 upgd conss, 0 impls, 114884 clqs
2.19/2.27 c (round 14, fast) 1585 del vars, 1086 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 164 chg coeffs, 18291 upgd conss, 0 impls, 114896 clqs
3.99/4.00 c (round 15, exhaustive) 1611 del vars, 1086 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 164 chg coeffs, 18291 upgd conss, 0 impls, 114848 clqs
3.99/4.01 c (round 16, fast) 1612 del vars, 1112 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 221 chg coeffs, 18291 upgd conss, 0 impls, 114858 clqs
5.08/5.15 c (round 17, exhaustive) 1638 del vars, 1112 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 221 chg coeffs, 18291 upgd conss, 0 impls, 114842 clqs
5.08/5.15 c (round 18, fast) 1639 del vars, 1138 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 287 chg coeffs, 18291 upgd conss, 0 impls, 114858 clqs
5.48/5.57 c (round 19, exhaustive) 1665 del vars, 1138 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 287 chg coeffs, 18291 upgd conss, 0 impls, 114881 clqs
5.48/5.57 c (round 20, fast) 1666 del vars, 1164 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 353 chg coeffs, 18291 upgd conss, 0 impls, 114897 clqs
6.47/6.54 c (6.5s) probing: 1000/17912 (5.6%) - 119 fixings, 0 aggregations, 1094932 implications, 0 bound changes
6.77/6.81 c (round 21, exhaustive) 1692 del vars, 1164 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 353 chg coeffs, 18291 upgd conss, 0 impls, 114875 clqs
6.77/6.82 c (round 22, fast) 1692 del vars, 1190 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 408 chg coeffs, 18291 upgd conss, 0 impls, 114883 clqs
6.98/7.07 c (round 23, exhaustive) 1717 del vars, 1190 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 408 chg coeffs, 18291 upgd conss, 0 impls, 114933 clqs
6.98/7.07 c (round 24, fast) 1717 del vars, 1215 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 475 chg coeffs, 18291 upgd conss, 0 impls, 114946 clqs
8.56/8.65 c (round 25, exhaustive) 1757 del vars, 1215 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 475 chg coeffs, 18291 upgd conss, 0 impls, 112953 clqs
8.56/8.66 c (round 26, fast) 1772 del vars, 1255 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 601 chg coeffs, 18291 upgd conss, 0 impls, 112981 clqs
8.86/8.91 c (round 27, exhaustive) 1797 del vars, 1255 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 601 chg coeffs, 18291 upgd conss, 0 impls, 114968 clqs
8.86/8.92 c (round 28, fast) 1797 del vars, 1280 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 658 chg coeffs, 18291 upgd conss, 0 impls, 114976 clqs
11.46/11.55 c (round 29, exhaustive) 1822 del vars, 1280 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 658 chg coeffs, 18291 upgd conss, 0 impls, 114140 clqs
11.46/11.56 c (round 30, fast) 1822 del vars, 1305 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 733 chg coeffs, 18291 upgd conss, 0 impls, 114160 clqs
11.75/11.80 c (round 31, exhaustive) 1849 del vars, 1305 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 734 chg coeffs, 18291 upgd conss, 0 impls, 114937 clqs
11.75/11.81 c (round 32, fast) 1851 del vars, 1332 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 791 chg coeffs, 18291 upgd conss, 0 impls, 114941 clqs
13.95/14.01 c (round 33, exhaustive) 1876 del vars, 1332 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 793 chg coeffs, 18291 upgd conss, 0 impls, 114880 clqs
13.95/14.02 c (round 34, fast) 1876 del vars, 1357 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 835 chg coeffs, 18291 upgd conss, 0 impls, 114890 clqs
14.15/14.27 c (round 35, exhaustive) 1901 del vars, 1357 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 835 chg coeffs, 18291 upgd conss, 0 impls, 114885 clqs
14.15/14.28 c (round 36, fast) 1901 del vars, 1382 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 880 chg coeffs, 18291 upgd conss, 0 impls, 114890 clqs
14.35/14.42 c (round 37, exhaustive) 1926 del vars, 1382 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 880 chg coeffs, 18291 upgd conss, 0 impls, 114589 clqs
14.35/14.42 c (round 38, fast) 1926 del vars, 1407 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 904 chg coeffs, 18291 upgd conss, 0 impls, 114589 clqs
14.55/14.66 c (round 39, exhaustive) 1951 del vars, 1407 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 906 chg coeffs, 18291 upgd conss, 0 impls, 114311 clqs
14.55/14.66 c (round 40, fast) 1951 del vars, 1432 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 930 chg coeffs, 18291 upgd conss, 0 impls, 114312 clqs
14.85/14.90 c (round 41, exhaustive) 1976 del vars, 1432 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 930 chg coeffs, 18291 upgd conss, 0 impls, 114032 clqs
14.85/14.91 c (round 42, fast) 1976 del vars, 1457 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 952 chg coeffs, 18291 upgd conss, 0 impls, 114032 clqs
15.14/15.26 c (round 43, exhaustive) 2001 del vars, 1457 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 952 chg coeffs, 18291 upgd conss, 0 impls, 113912 clqs
15.14/15.27 c (round 44, fast) 2001 del vars, 1482 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 981 chg coeffs, 18291 upgd conss, 0 impls, 113912 clqs
15.44/15.50 c (15.5s) probing: 2000/17912 (11.2%) - 421 fixings, 0 aggregations, 2683807 implications, 0 bound changes
15.44/15.50 c (round 45, exhaustive) 2026 del vars, 1482 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 981 chg coeffs, 18291 upgd conss, 0 impls, 113698 clqs
15.44/15.51 c (round 46, fast) 2026 del vars, 1507 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1006 chg coeffs, 18291 upgd conss, 0 impls, 113698 clqs
20.63/20.76 c (20.8s) probing: 3000/17912 (16.7%) - 429 fixings, 0 aggregations, 3913162 implications, 0 bound changes
25.61/25.76 c (25.8s) probing: 4000/17912 (22.3%) - 431 fixings, 0 aggregations, 5126752 implications, 0 bound changes
29.60/29.79 c (29.8s) probing: 5000/17912 (27.9%) - 438 fixings, 0 aggregations, 6067608 implications, 0 bound changes
33.19/33.36 c (33.4s) probing: 6000/17912 (33.5%) - 446 fixings, 0 aggregations, 7000681 implications, 0 bound changes
35.68/35.87 c (round 47, exhaustive) 2051 del vars, 1507 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1006 chg coeffs, 18291 upgd conss, 0 impls, 115006 clqs
35.68/35.88 c (round 48, fast) 2051 del vars, 1532 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1052 chg coeffs, 18291 upgd conss, 0 impls, 115012 clqs
35.98/36.12 c (round 49, exhaustive) 2076 del vars, 1532 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1052 chg coeffs, 18291 upgd conss, 0 impls, 114987 clqs
35.98/36.13 c (round 50, fast) 2076 del vars, 1557 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1081 chg coeffs, 18291 upgd conss, 0 impls, 114987 clqs
37.17/37.32 c (37.3s) probing: 7000/17912 (39.1%) - 485 fixings, 0 aggregations, 7886979 implications, 0 bound changes
40.66/40.86 c (40.9s) probing: 8000/17912 (44.7%) - 488 fixings, 0 aggregations, 8824433 implications, 0 bound changes
44.85/45.05 c (45.0s) probing: 9000/17912 (50.2%) - 492 fixings, 0 aggregations, 9764653 implications, 0 bound changes
49.13/49.32 c (49.3s) probing: 10000/17912 (55.8%) - 495 fixings, 0 aggregations, 10702268 implications, 0 bound changes
53.32/53.51 c (53.5s) probing: 11000/17912 (61.4%) - 499 fixings, 0 aggregations, 11633837 implications, 0 bound changes
53.51/53.74 c (round 51, exhaustive) 2101 del vars, 1557 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1081 chg coeffs, 18291 upgd conss, 0 impls, 115019 clqs
53.51/53.75 c (round 52, fast) 2101 del vars, 1582 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1120 chg coeffs, 18291 upgd conss, 0 impls, 115021 clqs
57.50/57.71 c (57.7s) probing: 12000/17912 (67.0%) - 505 fixings, 0 aggregations, 12555258 implications, 0 bound changes
57.70/57.96 c (58.0s) probing: 12064/17912 (67.4%) - 505 fixings, 0 aggregations, 12614687 implications, 0 bound changes
57.70/57.96 c (58.0s) probing aborted: 1000/1000 successive useless probings
57.70/58.00 c (58.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
57.80/58.04 c (58.0s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 1.68) (symcode time: 0.02)
57.80/58.07 c dynamic symmetry handling statistics:
57.80/58.07 c orbitopal reduction: no components
57.80/58.07 c orbital reduction: no components
57.80/58.07 c lexicographic reduction: 3 permutations with support sizes 1472, 612, 294
57.80/58.07 c handled 4 out of 4 symmetry components
57.80/58.10 c presolving (53 rounds: 53 fast, 25 medium, 24 exhaustive):
57.80/58.10 c 2108 deleted vars, 1586 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1124 changed coefficients
57.80/58.10 c 0 implications, 115151 cliques
57.80/58.10 c presolved problem has 17383 variables (17383 bin, 0 int, 0 cont) and 17656 constraints
57.80/58.10 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
57.80/58.10 c 1 constraints of type <knapsack>
57.80/58.10 c 2157 constraints of type <setppc>
57.80/58.10 c 1 constraints of type <orbitope_pp>
57.80/58.10 c 15497 constraints of type <logicor>
57.80/58.10 c transformed objective value is always integral (scale: 1)
57.80/58.10 c Presolving Time: 57.98
57.80/58.10 c
57.80/58.10 c - non default parameters ----------------------------------------------------------------------
57.80/58.10 c
57.80/58.10 c # SCIP version 10.0.0
57.80/58.10 c
57.80/58.10 c # maximal time in seconds to run
57.80/58.10 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
57.80/58.10 c limits/time = 3596.999004
57.80/58.10 c
57.80/58.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
57.80/58.10 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
57.80/58.10 c limits/memory = 27900
57.80/58.10 c
57.80/58.10 c # belongs reading time to solving time?
57.80/58.10 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
57.80/58.10 c timing/reading = TRUE
57.80/58.10 c
57.80/58.10 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
57.80/58.10 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
57.80/58.10 c reading/opbreader/maxintsize = 47
57.80/58.10 c
57.80/58.10 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
57.80/58.10 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
57.80/58.10 c propagating/genvbounds/timingmask = 0
57.80/58.10 c
57.80/58.10 c -----------------------------------------------------------------------------------------------
57.80/58.10 c
78.92/79.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
78.92/79.29 c 79.3s| 1 | 0 | 17351 | - | 340M | 0 | 17k| 17k| 17k| 0 | 0 | 283 | 0 | 0.000000e+00 | -- | Inf | unknown
288.33/289.38 c 289s| 1 | 0 |109874 | - | 367M | 0 | 17k| 17k| 17k| 13 | 1 | 293 | 0 | 0.000000e+00 | -- | Inf | unknown
313.54/314.62 c 315s| 1 | 0 |121691 | - | 372M | 0 | 17k| 17k| 17k| 23 | 2 | 300 | 0 | 0.000000e+00 | -- | Inf | unknown
339.46/340.68 c 341s| 1 | 0 |133040 | - | 376M | 0 | 17k| 17k| 17k| 28 | 3 | 309 | 0 | 0.000000e+00 | -- | Inf | unknown
375.34/376.60 c 377s| 1 | 0 |147543 | - | 382M | 0 | 17k| 17k| 17k| 47 | 4 | 319 | 0 | 0.000000e+00 | -- | Inf | unknown
404.34/405.70 c 406s| 1 | 0 |159304 | - | 387M | 0 | 17k| 17k| 17k| 53 | 5 | 326 | 0 | 0.000000e+00 | -- | Inf | unknown
433.15/434.62 c 435s| 1 | 0 |170603 | - | 390M | 0 | 17k| 17k| 17k| 60 | 6 | 329 | 0 | 0.000000e+00 | -- | Inf | unknown
466.24/467.80 c 468s| 1 | 0 |183562 | - | 392M | 0 | 17k| 17k| 17k| 76 | 7 | 331 | 0 | 0.000000e+00 | -- | Inf | unknown
502.02/503.72 c 504s| 1 | 0 |196898 | - | 394M | 0 | 17k| 17k| 17k| 95 | 8 | 341 | 0 | 0.000000e+00 | -- | Inf | unknown
532.32/534.13 c 534s| 1 | 0 |208113 | - | 396M | 0 | 17k| 17k| 17k| 104 | 9 | 342 | 0 | 0.000000e+00 | -- | Inf | unknown
574.48/576.43 c 576s| 1 | 0 |222832 | - | 402M | 0 | 17k| 17k| 17k| 126 | 10 | 347 | 0 | 0.000000e+00 | -- | Inf | unknown
616.84/618.90 c 619s| 1 | 0 |238461 | - | 407M | 0 | 17k| 17k| 17k| 146 | 11 | 348 | 0 | 0.000000e+00 | -- | Inf | unknown
1345.82/1350.00 c 1350s| 1 | 2 |626120 | - | 423M | 0 | 17k| 17k| 17k| 146 | 11 | 430 | 19 | 0.000000e+00 | -- | Inf | unknown
3598.78/3609.08 c
3598.78/3609.08 c SCIP Status : solving was interrupted [time limit reached]
3598.78/3609.08 c Solving Time (sec) : 3609.09
3598.78/3609.08 c Solving Nodes : 25
3598.78/3609.08 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3598.78/3609.08 c Dual Bound : +0.00000000000000e+00
3598.78/3609.08 c Gap : infinite
3598.78/3609.08 s UNKNOWN
3598.78/3609.08 c SCIP Status : solving was interrupted [time limit reached]
3598.78/3609.08 c Total Time : 3609.09
3598.78/3609.08 c solving : 3609.09
3598.78/3609.08 c presolving : 57.98 (included in solving)
3598.78/3609.08 c reading : 0.06 (included in solving)
3598.78/3609.08 c copying : 0.09 (2 #copies) (minimal 0.04, maximal 0.05, average 0.04)
3598.78/3609.08 c Original Problem :
3598.78/3609.08 c Problem name : HOME/instance-4506987-1751179079.opb
3598.78/3609.08 c Variables : 18921 (18921 binary, 0 integer, 0 continuous)
3598.78/3609.08 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3598.78/3609.08 c Constraints : 19241 initial, 19241 maximal
3598.78/3609.08 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3598.78/3609.08 c Presolved Problem :
3598.78/3609.08 c Problem name : t_HOME/instance-4506987-1751179079.opb
3598.78/3609.08 c Variables : 17383 (17383 binary, 0 integer, 0 continuous)
3598.78/3609.08 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3598.78/3609.08 c Constraints : 17656 initial, 18012 maximal
3598.78/3609.08 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3598.78/3609.08 c Nonzeros : 96606 constraint, 247374 clique table
3598.78/3609.08 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3598.78/3609.08 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c domcol : 0.90 0.00 21 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c dualsparsify : 0.04 0.00 1 0 0 0 0 0 4 0 0 4
3598.78/3609.08 c gateextraction : 0.17 0.00 22 0 0 0 0 0 1 0 0 0
3598.78/3609.08 c implics : 0.00 0.00 25 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c milp : 0.23 0.00 1 157 1 0 0 0 0 0 0 0
3598.78/3609.08 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c sparsify : 0.47 0.00 4 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c trivial : 0.03 0.00 53 570 0 0 0 0 0 0 0 0
3598.78/3609.08 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c dualfix : 0.02 0.00 53 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c probing : 52.16 0.00 21 505 0 0 0 0 0 0 0 0
3598.78/3609.08 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c symmetry : 0.07 0.00 1 3 0 0 0 0 0 1 0 0
3598.78/3609.08 c vbounds : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c knapsack : 0.01 0.00 87 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c setppc : 0.18 0.00 87 0 0 0 0 0 110 0 0 0
3598.78/3609.08 c linear : 0.15 0.01 12 302 0 0 302 0 950 0 0 0
3598.78/3609.08 c orbitope_pp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c logicor : 3.46 0.01 87 109 0 0 0 0 521 0 0 1120
3598.78/3609.08 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c root node : - - - 0 - - 0 - - - - -
3598.78/3609.08 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3598.78/3609.08 c integral : 0 0 0 0 25 0 0 7 0 0 0 0 0 0 50
3598.78/3609.08 c knapsack : 1 1 11 651660 0 0 0 3 0 0 0 0 0 0 0
3598.78/3609.08 c setppc : 2157+ 2250 11 659076 0 0 0 3 27946 350 2211 0 0 0 0
3598.78/3609.08 c orbitope_pp : 1 1 0 26735 0 0 0 0 405 0 2 0 0 0 0
3598.78/3609.08 c logicor : 15497+ 15772 11 200334 0 0 0 0 68670 128 6293 35 15 0 0
3598.78/3609.08 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3598.78/3609.08 c integral : 41.22 0.00 0.00 0.00 41.22 0.00 0.00 0.00 0.00 0.00
3598.78/3609.08 c knapsack : 0.35 0.00 0.01 0.34 0.00 0.00 0.00 0.00 0.00 0.00
3598.78/3609.08 c setppc : 4.62 0.00 0.01 4.60 0.00 0.00 0.00 0.00 0.01 0.01
3598.78/3609.08 c orbitope_pp : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
3598.78/3609.08 c logicor : 15.79 0.01 0.04 15.70 0.00 0.00 0.00 0.00 0.03 0.02
3598.78/3609.08 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3598.78/3609.08 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3598.78/3609.08 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3598.78/3609.08 c Propagators : #Propagate #ResProp Cutoffs DomReds
3598.78/3609.08 c dualfix : 1 0 0 0
3598.78/3609.08 c genvbounds : 0 0 0 0
3598.78/3609.08 c nlobbt : 0 0 0 0
3598.78/3609.08 c obbt : 0 0 0 0
3598.78/3609.08 c probing : 0 0 0 0
3598.78/3609.08 c pseudoobj : 0 0 0 0
3598.78/3609.08 c redcost : 0 0 0 0
3598.78/3609.08 c rootredcost : 0 0 0 0
3598.78/3609.08 c symmetry : 0 0 0 0
3598.78/3609.08 c vbounds : 7901 0 0 0
3598.78/3609.08 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3598.78/3609.08 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
3598.78/3609.08 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3598.78/3609.08 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3598.78/3609.08 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3598.78/3609.08 c probing : 52.16 0.00 52.16 0.00 0.00 0.00
3598.78/3609.08 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3598.78/3609.08 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3598.78/3609.08 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3598.78/3609.08 c symmetry : 0.10 0.00 0.07 0.03 0.00 0.00
3598.78/3609.08 c vbounds : 0.06 0.00 0.03 0.03 0.00 0.00
3598.78/3609.08 c Symmetry :
3598.78/3609.08 c #affected vars : 2819 (2819 bin, 0 int, 0 cont)
3598.78/3609.08 c orbitopal red. : 0 reductions applied, 0 cutoffs
3598.78/3609.08 c orbital reduction: 0 reductions applied, 0 cutoffs
3598.78/3609.08 c lexicographic red: 0 reductions applied, 0 cutoffs
3598.78/3609.08 c shadow tree time : 0.00 s
3598.78/3609.08 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3598.78/3609.08 c propagation : 0.03 476 148 - 1388 131.1 8 29.8 - - -
3598.78/3609.08 c infeasible LP : 0.50 26 8 - 206 2379.6 0 0.0 0 0.0 0
3598.78/3609.08 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3598.78/3609.08 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3598.78/3609.08 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3598.78/3609.08 c applied globally : 0.01 - - 0 488 247.5 - - 0 - -
3598.78/3609.08 c applied locally : - - - 0 0 0.0 - - 0 - -
3598.78/3609.08 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3598.78/3609.08 c cut pool : 0.00 - 37 21 - - 369 652 - - - - - (maximal pool size: 369)
3598.78/3609.08 c aggregation : 0.08 0.00 19 11 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c > cmir : - - - - - - - 0 0 0 0 0 -
3598.78/3609.08 c > flowcover : - - - - - - - 0 0 0 0 0 -
3598.78/3609.08 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3598.78/3609.08 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c clique : 1.74 0.00 11 11 0 0 87 254 0 53 53 0 0
3598.78/3609.08 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c gomory : 24.93 0.00 18 10 0 0 120 161 4 10 9 1 0
3598.78/3609.08 c > gomorymi : - - - - - - - 69 2 3 2 1 -
3598.78/3609.08 c > strongcg : - - - - - - - 92 2 7 7 0 -
3598.78/3609.08 c impliedbounds : 0.11 0.00 19 11 0 0 71 112 0 35 35 0 0
3598.78/3609.08 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c multilinear : 0.00 0.00 13 11 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3598.78/3609.08 c zerohalf : 22.24 0.00 19 11 0 0 110 125 15 123 111 12 0
3598.78/3609.08 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3598.78/3609.08 c hybrid : 0.00 0.00 19 11 236 0 470 146 0 203
3598.78/3609.08 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3598.78/3609.08 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3598.78/3609.08 c Pricers : ExecTime SetupTime Calls Vars
3598.78/3609.08 c problem variables: 0.00 - 0 0
3598.78/3609.08 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3598.78/3609.08 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3598.78/3609.08 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3598.78/3609.08 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3598.78/3609.08 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3598.78/3609.08 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3598.78/3609.08 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3598.78/3609.08 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3598.78/3609.08 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3598.78/3609.08 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3598.78/3609.08 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3598.78/3609.08 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3598.78/3609.08 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3598.78/3609.08 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3598.78/3609.08 c relpscost : 41.22 0.00 25 0 0 0 0 0 0 50
3598.78/3609.08 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3598.78/3609.08 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3598.78/3609.08 c LP solutions : 0.00 - - 0 0
3598.78/3609.08 c relax solutions : 0.00 - - 0 0
3598.78/3609.08 c pseudo solutions : 0.00 - - 0 0
3598.78/3609.08 c strong branching : 0.00 - - 0 0
3598.78/3609.08 c actconsdiving : 0.00 0.00 0 0 0
3598.78/3609.08 c adaptivediving : 152.42 0.00 1 0 0
3598.78/3609.08 c alns : 0.10 0.00 1 0 0
3598.78/3609.08 c bound : 0.00 0.00 0 0 0
3598.78/3609.08 c clique : 0.07 0.00 1 0 0
3598.78/3609.08 c coefdiving : 0.00 0.00 0 0 0
3598.78/3609.08 c completesol : 0.00 0.00 0 0 0
3598.78/3609.08 c conflictdiving : 689.39 0.00 1 0 0
3598.78/3609.08 c crossover : 0.00 0.00 0 0 0
3598.78/3609.08 c dins : 0.00 0.00 0 0 0
3598.78/3609.08 c distributiondivin: 229.44 0.00 1 0 0
3598.78/3609.08 c dks : 0.00 0.00 0 0 0
3598.78/3609.08 c dps : 0.00 0.00 0 0 0
3598.78/3609.08 c dualval : 0.00 0.00 0 0 0
3598.78/3609.08 c farkasdiving : 0.00 0.00 0 0 0
3598.78/3609.08 c feaspump : 186.66 0.00 1 0 0
3598.78/3609.08 c fixandinfer : 0.00 0.00 0 0 0
3598.78/3609.08 c fracdiving : 179.12 0.00 1 0 0
3598.78/3609.08 c gins : 0.00 0.00 0 0 0
3598.78/3609.08 c guideddiving : 0.00 0.00 0 0 0
3598.78/3609.08 c indicator : 0.00 0.00 0 0 0
3598.78/3609.08 c indicatordiving : 0.00 0.00 0 0 0
3598.78/3609.08 c intdiving : 0.00 0.00 0 0 0
3598.78/3609.08 c intshifting : 0.00 0.00 0 0 0
3598.78/3609.08 c linesearchdiving : 0.00 0.00 0 0 0
3598.78/3609.08 c localbranching : 0.00 0.00 0 0 0
3598.78/3609.08 c locks : 0.07 0.00 1 0 0
3598.78/3609.08 c lpface : 0.00 0.00 0 0 0
3598.78/3609.08 c mpec : 0.00 0.00 0 0 0
3598.78/3609.08 c multistart : 0.00 0.00 0 0 0
3598.78/3609.08 c mutation : 0.00 0.00 0 0 0
3598.78/3609.08 c nlpdiving : 0.00 0.00 0 0 0
3598.78/3609.08 c objpscostdiving : 158.90 0.00 1 0 0
3598.78/3609.08 c octane : 0.00 0.00 0 0 0
3598.78/3609.08 c ofins : 0.00 0.00 0 0 0
3598.78/3609.08 c oneopt : 0.00 0.00 0 0 0
3598.78/3609.08 c padm : 0.00 0.00 0 0 0
3598.78/3609.08 c proximity : 0.00 0.00 0 0 0
3598.78/3609.08 c pscostdiving : 432.12 0.00 1 0 0
3598.78/3609.08 c randrounding : 0.26 0.00 12 0 0
3598.78/3609.08 c rens : 0.39 0.00 1 0 0
3598.78/3609.08 c reoptsols : 0.00 0.00 0 0 0
3598.78/3609.08 c repair : 0.00 0.00 0 0 0
3598.78/3609.08 c rins : 0.00 0.00 0 0 0
3598.78/3609.08 c rootsoldiving : 0.00 0.00 0 0 0
3598.78/3609.08 c rounding : 0.05 0.00 44 0 0
3598.78/3609.08 c scheduler : 0.00 0.00 0 0 0
3598.78/3609.08 c shiftandpropagate: 0.08 0.00 1 0 0
3598.78/3609.08 c shifting : 0.29 0.00 24 0 0
3598.78/3609.08 c simplerounding : 0.00 0.00 0 0 0
3598.78/3609.08 c subnlp : 0.00 0.00 0 0 0
3598.78/3609.08 c trivial : 0.01 0.00 2 0 0
3598.78/3609.08 c trivialnegation : 0.00 0.00 0 0 0
3598.78/3609.08 c trustregion : 0.00 0.00 0 0 0
3598.78/3609.08 c trysol : 0.00 0.00 0 0 0
3598.78/3609.08 c twoopt : 0.00 0.00 0 0 0
3598.78/3609.08 c undercover : 0.00 0.00 0 0 0
3598.78/3609.08 c vbounds : 0.15 0.00 1 0 0
3598.78/3609.08 c veclendiving : 302.77 0.00 1 0 0
3598.78/3609.08 c zeroobj : 0.00 0.00 0 0 0
3598.78/3609.08 c zirounding : 0.02 0.00 24 0 0
3598.78/3609.08 c other solutions : - - - 0 -
3598.78/3609.08 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3598.78/3609.08 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
3598.78/3609.08 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
3598.78/3609.08 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
3598.78/3609.08 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
3598.78/3609.08 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
3598.78/3609.08 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
3598.78/3609.08 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
3598.78/3609.08 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
3598.78/3609.08 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
3598.78/3609.08 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3598.78/3609.08 c primal LP : 0.15 5 0 0.00 0.00 0.15 5
3598.78/3609.08 c dual LP : 1127.93 44 541730 12312.05 480.29 0.00 0
3598.78/3609.08 c lex dual LP : 0.00 0 0 0.00 -
3598.78/3609.08 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3598.78/3609.08 c resolve instable : 11.29 1 14388 14388.00 1274.37
3598.78/3609.08 c diving/probing LP: 2335.00 92 1111740 12084.13 476.12
3598.78/3609.08 c strong branching : 34.62 19 17471 919.53 504.71 - - 33
3598.78/3609.08 c (at root node) : - 19 17471 919.53 -
3598.78/3609.08 c conflict analysis: 0.00 0 0 0.00 -
3598.78/3609.08 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3598.78/3609.08 c benders : 0.00 0 0 0 0.00 0 0 0
3598.78/3609.08 c B&B Tree :
3598.78/3609.08 c number of runs : 1
3598.78/3609.08 c nodes : 25 (25 internal, 0 leaves)
3598.78/3609.08 c feasible leaves : 0
3598.78/3609.08 c infeas. leaves : 0
3598.78/3609.08 c objective leaves : 0
3598.78/3609.08 c nodes (total) : 25 (25 internal, 0 leaves)
3598.78/3609.08 c nodes left : 26
3598.78/3609.08 c max depth : 11
3598.78/3609.08 c max depth (total): 11
3598.78/3609.08 c backtracks : 5 (20.0%)
3598.78/3609.08 c early backtracks : 0 (0.0%)
3598.78/3609.08 c nodes exc. ref. : 0 (0.0%)
3598.78/3609.08 c delayed cutoffs : 0
3598.78/3609.08 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3598.78/3609.08 c avg switch length: 1.68
3598.78/3609.08 c switching time : 0.17
3598.78/3609.08 c Root Node :
3598.78/3609.08 c First LP value : +0.00000000000000e+00
3598.78/3609.08 c First LP Iters : 17351 (833.84 Iter/sec)
3598.78/3609.08 c First LP Time : 20.81
3598.78/3609.08 c Final Dual Bound : +0.00000000000000e+00
3598.78/3609.08 c Final Root Iters : 238461
3598.78/3609.08 c Root LP Estimate : +1.37299434472443e-03
3598.78/3609.08 c Solution :
3598.78/3609.08 c Solutions found : 0 (0 improvements)
3598.78/3609.08 c Primal Bound : -
3598.78/3609.08 c Dual Bound : +0.00000000000000e+00
3598.78/3609.08 c Gap : infinite
3598.78/3609.08 c Integrals : Total Avg%
3598.78/3609.08 c primal-dual : 360908.54 100.00
3598.78/3609.08 c primal-ref : - - (not evaluated)
3598.78/3609.08 c dual-ref : - - (not evaluated)
3598.88/3609.19 c Time complete (sec): 3598.969
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 (62993 MiB free)
memory of node 1: 64465 MiB (63302 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506987-1751179079/watcher-4506987-1751179079 -o /tmp/evaluation-result-4506987-1751179079/solver-4506987-1751179079 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751171866-20911 --watchdog 3760 pbsolver -f HOME/instance-4506987-1751179079.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=21707, runsolver pid=21704
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.13 4.09 4.09 5/266 21708
/proc/meminfo: memFree=129263216/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=83812 memory=74252 CPUtime=0.09 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 16497 0 0 0 8 1 0 0 20 0 1 0 33586544 85823488 18563 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 20953 18563 2368 2575 0 17860 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83812 KiB
Current children cumulated memory: 74252 KiB
[startup+0.205632 s]*
/proc/loadavg: 4.13 4.09 4.09 5/266 21708
/proc/meminfo: memFree=129239024/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=111748 memory=98020 CPUtime=0.2 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 21886 0 0 0 18 2 0 0 20 0 1 0 33586544 114429952 24505 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 27937 24505 2432 2575 0 24844 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 111748 KiB
Current children cumulated memory: 98020 KiB
[startup+0.305393 s]*
/proc/loadavg: 4.13 4.09 4.09 5/266 21708
/proc/meminfo: memFree=129222896/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=126660 memory=114556 CPUtime=0.3 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 27707 0 0 0 27 3 0 0 20 0 1 0 33586544 129699840 28639 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 31665 28639 2496 2575 0 28572 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 126660 KiB
Current children cumulated memory: 114556 KiB
[startup+0.700138 s]
/proc/loadavg: 4.13 4.09 4.09 5/266 21708
/proc/meminfo: memFree=129223064/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=139572 memory=127080 CPUtime=0.68 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 33921 0 0 0 64 4 0 0 20 0 1 0 33586544 142921728 31770 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 34893 31770 2560 2575 0 31800 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 139572 KiB
Current children cumulated memory: 127080 KiB
[startup+1.50018 s]
/proc/loadavg: 4.13 4.09 4.09 5/266 21708
/proc/meminfo: memFree=129191688/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=180636 memory=165556 CPUtime=1.48 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 40964 0 0 0 142 6 0 0 20 0 1 0 33586544 184971264 41389 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 45159 41389 2592 2575 0 42066 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 180636 KiB
Current children cumulated memory: 165556 KiB
[startup+3.10547 s]
/proc/loadavg: 4.12 4.09 4.09 5/266 21708
/proc/meminfo: memFree=129167812/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=182648 memory=167348 CPUtime=3.09 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 41412 0 0 0 302 7 0 0 20 0 1 0 33586544 187031552 41837 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 45662 41837 2592 2575 0 42569 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 182648 KiB
Current children cumulated memory: 167348 KiB
[startup+6.30017 s]
/proc/loadavg: 4.12 4.09 4.09 5/266 21708
/proc/meminfo: memFree=129168224/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=183672 memory=168372 CPUtime=6.27 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 41673 0 0 0 620 7 0 0 20 0 1 0 33586544 188080128 42093 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 45918 42093 2592 2575 0 42825 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 183672 KiB
Current children cumulated memory: 168372 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 21708
/proc/meminfo: memFree=129160916/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=189844 memory=174516 CPUtime=12.65 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 43225 0 0 0 1258 7 0 0 20 0 1 0 33586544 194400256 43629 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 47461 43629 2592 2575 0 44368 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 189844 KiB
Current children cumulated memory: 174516 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 21709
/proc/meminfo: memFree=129148880/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=191276 memory=176052 CPUtime=25.41 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 43583 0 0 0 2534 7 0 0 20 0 1 0 33586544 195866624 44013 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 47819 44013 2592 2575 0 44726 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 191276 KiB
Current children cumulated memory: 176052 KiB
[startup+51.1054 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 21709
/proc/meminfo: memFree=128854228/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=193324 memory=178100 CPUtime=50.93 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 44096 0 0 0 5086 7 0 0 20 0 1 0 33586544 197963776 44525 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 48331 44525 2592 2575 0 45238 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 193324 KiB
Current children cumulated memory: 178100 KiB
[startup+102.3 s]
/proc/loadavg: 4.35 4.15 4.11 5/266 21711
/proc/meminfo: memFree=128680088/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=394408 memory=322100 CPUtime=101.95 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 80313 0 0 0 10182 13 0 0 20 0 1 0 33586544 403873792 80525 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 98602 80525 2688 2575 0 95509 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 394408 KiB
Current children cumulated memory: 322100 KiB
[startup+162.3 s]
/proc/loadavg: 4.35 4.19 4.13 5/266 21757
/proc/meminfo: memFree=128869768/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=397044 memory=323764 CPUtime=161.75 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 80742 0 0 0 16162 13 0 0 20 0 1 0 33586544 406573056 80941 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 99261 80941 2688 2575 0 96168 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 397044 KiB
Current children cumulated memory: 323764 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.17 4.12 5/266 21759
/proc/meminfo: memFree=128720040/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=397044 memory=324020 CPUtime=221.55 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 80794 0 0 0 22142 13 0 0 20 0 1 0 33586544 406573056 81005 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 99261 81005 2688 2575 0 96168 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 397044 KiB
Current children cumulated memory: 324020 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.14 4.11 5/265 21761
/proc/meminfo: memFree=128608048/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=468460 memory=393444 CPUtime=281.35 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 87426 0 0 0 28119 16 0 0 20 0 1 0 33586544 479703040 98361 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 117115 98361 2688 2575 0 114022 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 468460 KiB
Current children cumulated memory: 393444 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/263 21764
/proc/meminfo: memFree=128566672/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=479352 memory=403300 CPUtime=341.15 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 89894 0 0 0 34099 16 0 0 20 0 1 0 33586544 490856448 100825 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 119838 100825 2688 2575 0 116745 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 479352 KiB
Current children cumulated memory: 403300 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/263 21766
/proc/meminfo: memFree=128462004/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=492976 memory=415524 CPUtime=400.96 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 92485 0 0 0 40079 17 0 0 20 0 1 0 33586544 504807424 103881 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 123244 103881 2688 2575 0 120151 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 492976 KiB
Current children cumulated memory: 415524 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/263 21768
/proc/meminfo: memFree=128398764/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=497808 memory=418852 CPUtime=460.76 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 93324 0 0 0 46059 17 0 0 20 0 1 0 33586544 509755392 104713 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 124452 104713 2688 2575 0 121359 0
Current children cumulated CPU time: 460.76 s
################
# More data... #
################
/proc/loadavg: 4.14 4.09 4.09 5/264 21917
/proc/meminfo: memFree=127772812/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=600664 memory=571556 CPUtime=3213.11 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 119703 0 0 0 321276 35 0 0 20 0 1 0 33586544 615079936 142889 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 150166 142889 2976 2575 0 147073 0
Current children cumulated CPU time: 3213.11 s
Current children cumulated vsize: 600664 KiB
Current children cumulated memory: 571556 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 21919
/proc/meminfo: memFree=127772680/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=600664 memory=571556 CPUtime=3272.95 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 119834 0 0 0 327260 35 0 0 20 0 1 0 33586544 615079936 142889 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 150166 142889 2976 2575 0 147073 0
Current children cumulated CPU time: 3272.95 s
Current children cumulated vsize: 600664 KiB
Current children cumulated memory: 571556 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/264 21922
/proc/meminfo: memFree=127759520/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=600664 memory=571556 CPUtime=3332.78 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 119843 0 0 0 333243 35 0 0 20 0 1 0 33586544 615079936 142889 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 150166 142889 2976 2575 0 147073 0
Current children cumulated CPU time: 3332.78 s
Current children cumulated vsize: 600664 KiB
Current children cumulated memory: 571556 KiB
[startup+3402.3 s]
/proc/loadavg: 4.35 4.18 4.12 5/264 21924
/proc/meminfo: memFree=127767224/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=600664 memory=571556 CPUtime=3392.62 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 119979 0 0 0 339227 35 0 0 20 0 1 0 33586544 615079936 142889 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 150166 142889 2976 2575 0 147073 0
Current children cumulated CPU time: 3392.62 s
Current children cumulated vsize: 600664 KiB
Current children cumulated memory: 571556 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/264 21926
/proc/meminfo: memFree=127767084/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=600664 memory=571556 CPUtime=3452.45 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 119985 0 0 0 345210 35 0 0 20 0 1 0 33586544 615079936 142889 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 150166 142889 2976 2575 0 147073 0
Current children cumulated CPU time: 3452.45 s
Current children cumulated vsize: 600664 KiB
Current children cumulated memory: 571556 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/264 21928
/proc/meminfo: memFree=127766980/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=600664 memory=571556 CPUtime=3512.29 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 119986 0 0 0 351194 35 0 0 20 0 1 0 33586544 615079936 142889 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 150166 142889 2976 2575 0 147073 0
Current children cumulated CPU time: 3512.29 s
Current children cumulated vsize: 600664 KiB
Current children cumulated memory: 571556 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/264 21930
/proc/meminfo: memFree=127766860/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=600664 memory=571556 CPUtime=3572.14 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 119986 0 0 0 357178 36 0 0 20 0 1 0 33586544 615079936 142889 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 150166 142889 2976 2575 0 147073 0
Current children cumulated CPU time: 3572.14 s
Current children cumulated vsize: 600664 KiB
Current children cumulated memory: 571556 KiB
[startup+3609.19 s]
# the end of solver process 21707 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.59 s, system=0.377035 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.13 4.10 4/262 21930
/proc/meminfo: memFree=128396824/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=600664 memory=571556 CPUtime=3573.84 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 119986 0 0 0 357348 36 0 0 20 0 1 0 33586544 615079936 142889 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 150166 142889 2976 2575 0 147073 0
Current children cumulated CPU time: 3573.84 s
Current children cumulated vsize: 600664 KiB
Current children cumulated memory: 571556 KiB
[startup+3596.8 s]
/proc/loadavg: 3.92 4.09 4.09 3/254 21971
/proc/meminfo: memFree=128900024/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=600664 memory=571556 CPUtime=3586.59 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 119986 0 0 0 358623 36 0 0 20 0 1 0 33586544 615079936 142889 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 150166 142889 2976 2575 0 147073 0
Current children cumulated CPU time: 3586.59 s
Current children cumulated vsize: 600664 KiB
Current children cumulated memory: 571556 KiB
[startup+3603.2 s]
/proc/loadavg: 3.70 4.04 4.07 3/253 21995
/proc/meminfo: memFree=128917212/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=600664 memory=571556 CPUtime=3592.99 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 119986 0 0 0 359262 37 0 0 20 0 1 0 33586544 615079936 142889 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 150166 142889 2976 2575 0 147073 0
Current children cumulated CPU time: 3592.99 s
Current children cumulated vsize: 600664 KiB
Current children cumulated memory: 571556 KiB
[startup+3606.4 s]
/proc/loadavg: 3.70 4.04 4.07 3/253 21995
/proc/meminfo: memFree=128917212/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=600664 memory=571556 CPUtime=3596.18 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 119986 0 0 0 359581 37 0 0 20 0 1 0 33586544 615079936 142889 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 150166 142889 2976 2575 0 147073 0
Current children cumulated CPU time: 3596.18 s
Current children cumulated vsize: 600664 KiB
Current children cumulated memory: 571556 KiB
[startup+3608 s]*
/proc/loadavg: 3.57 4.00 4.06 3/253 21995
/proc/meminfo: memFree=128917212/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=600664 memory=571556 CPUtime=3597.78 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 119986 0 0 0 359741 37 0 0 20 0 1 0 33586544 615079936 142889 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 150166 142889 2976 2575 0 147073 0
Current children cumulated CPU time: 3597.78 s
Current children cumulated vsize: 600664 KiB
Current children cumulated memory: 571556 KiB
[startup+3608.8 s]
/proc/loadavg: 3.57 4.00 4.06 3/253 21995
/proc/meminfo: memFree=128917212/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=600664 memory=571556 CPUtime=3598.57 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 119986 0 0 0 359820 37 0 0 20 0 1 0 33586544 615079936 142889 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 150166 142889 2976 2575 0 147073 0
Current children cumulated CPU time: 3598.57 s
Current children cumulated vsize: 600664 KiB
Current children cumulated memory: 571556 KiB
[startup+3609 s]*
/proc/loadavg: 3.57 4.00 4.06 3/253 21995
/proc/meminfo: memFree=128917212/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=600664 memory=571556 CPUtime=3598.78 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 119986 0 0 0 359841 37 0 0 20 0 1 0 33586544 615079936 142889 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 150166 142889 2976 2575 0 147073 0
Current children cumulated CPU time: 3598.78 s
Current children cumulated vsize: 600664 KiB
Current children cumulated memory: 571556 KiB
[startup+3609.1 s]
/proc/loadavg: 3.57 4.00 4.06 3/253 21995
/proc/meminfo: memFree=128917212/131249996 swapFree=33010684/33010684
[pid=21707] ppid=21704 vsize=556176 memory=527164 CPUtime=3598.88 cores=0,2
/proc/21707/stat : 21707 (pbsolver) R 21704 21707 20901 0 -1 4194304 119998 0 0 0 359851 37 0 0 20 0 1 0 33586544 569524224 131791 18446744073709551615 4198400 14743177 140721199018160 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36360192 140721199024522 140721199024618 140721199024618 140721199030220 0
/proc/21707/statm: 139044 131791 2976 2575 0 135951 0
Current children cumulated CPU time: 3598.88 s
Current children cumulated vsize: 556176 KiB
Current children cumulated memory: 527164 KiB
Child status: 0
Real time (s): 3609.19
CPU time (s): 3598.97
CPU user time (s): 3598.59
CPU system time (s): 0.377035
CPU usage (%): 99.7168
Max. virtual memory (cumulated for all children) (KiB): 600664
Max. memory (cumulated for all children) (KiB): 571556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.59
system time used= 0.377035
maximum resident set size= 571556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120061
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= 29
involuntary context switches= 7894
# summary of solver processes directly reported to runsolver:
# pid: 21707
# total CPU time (s): 3598.97
# total CPU user time (s): 3598.59
# total CPU system time (s): 0.377035
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.82528 second user time and 14.8827 second system time
The end
Begin job on nodeC032 at 2025-06-29 08:37:59 IDJOB=4506987 IDBENCH=158311 IDSOLVER=3366 FILE ID=nodeC032/4506987-1751179079 RUNJOBID= nodeC032-1751171866-20911 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_K159.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506987-1751179079/watcher-4506987-1751179079 -o /tmp/evaluation-result-4506987-1751179079/solver-4506987-1751179079 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751171866-20911 --watchdog 3760 pbsolver -f HOME/instance-4506987-1751179079.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 27d58ce279c297ab3aeba38d0412d1d9 RANDOM SEED=505574314 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 : 3603.040 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 : 3599.873 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 : 3599.729 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.169 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.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.839 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.824 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 : 3604.308 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 : 3605.290 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: 129327224 kB MemAvailable: 128986964 kB Buffers: 3280 kB Cached: 470560 kB SwapCached: 0 kB Active: 1094876 kB Inactive: 229632 kB Active(anon): 868740 kB Inactive(anon): 0 kB Active(file): 226136 kB Inactive(file): 229632 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 32320 kB Writeback: 36 kB AnonPages: 853972 kB Mapped: 135256 kB Shmem: 18068 kB KReclaimable: 86420 kB Slab: 169516 kB SReclaimable: 86420 kB SUnreclaim: 83096 kB KernelStack: 4288 kB PageTables: 4808 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 1284492 kB VmallocTotal: 34359738367 kB VmallocUsed: 150504 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 57344 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= 432040 MiB End job on nodeC032 at 2025-06-29 09:38:08