| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3587.1 | 3597.13 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K188.opb |
| MD5SUM | 416ae2bcad94d751017f8086501bbe46 |
| 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 | 28.0032 |
| 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 | 22372 |
| Total number of constraints | 22750 |
| Number of constraints which are clauses | 22562 |
| Number of constraints which are cardinality constraints (but not clauses) | 188 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 188 |
| 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 | 189 |
| 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-4506843-1751176726.opb>
0.00/0.08 c original problem has 22372 variables (22372 bin, 0 int, 0 cont) and 22750 constraints
0.00/0.08 c problem read in 0.077 seconds
0.00/0.08 c problem without objective
0.09/0.16 c presolving:
0.19/0.21 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, 2591 clqs
0.19/0.22 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, 2575 clqs
0.19/0.22 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, 2596 clqs
0.19/0.23 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, 2627 clqs
0.19/0.23 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, 2650 clqs
0.19/0.24 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, 2660 clqs
0.19/0.30 c (0.3s) running MILP presolver
0.66/0.70 c (0.7s) MILP presolver (4 rounds): 1 aggregations, 192 fixings, 0 bound changes
0.66/0.71 c (round 7, medium) 1375 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2667 clqs
0.66/0.73 c (round 8, fast) 1375 del vars, 829 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2678 clqs
0.66/0.75 c (round 9, exhaustive) 1375 del vars, 1014 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2678 clqs
0.76/0.86 c (round 10, exhaustive) 1375 del vars, 1014 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 21736 upgd conss, 0 impls, 2678 clqs
0.96/1.07 c (round 11, exhaustive) 1482 del vars, 1014 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 107 chg coeffs, 21736 upgd conss, 0 impls, 2663 clqs
0.96/1.08 c (round 12, fast) 1589 del vars, 1121 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 107 chg coeffs, 21736 upgd conss, 0 impls, 2663 clqs
3.23/3.36 c (round 13, exhaustive) 1614 del vars, 1122 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 107 chg coeffs, 21736 upgd conss, 0 impls, 135859 clqs
3.23/3.37 c (round 14, fast) 1614 del vars, 1147 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 161 chg coeffs, 21736 upgd conss, 0 impls, 135869 clqs
5.23/5.31 c (round 15, exhaustive) 1639 del vars, 1147 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 161 chg coeffs, 21736 upgd conss, 0 impls, 135858 clqs
5.23/5.32 c (round 16, fast) 1639 del vars, 1172 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 220 chg coeffs, 21736 upgd conss, 0 impls, 135868 clqs
6.62/6.73 c (round 17, exhaustive) 1664 del vars, 1172 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 220 chg coeffs, 21736 upgd conss, 0 impls, 135866 clqs
6.62/6.74 c (round 18, fast) 1664 del vars, 1197 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 283 chg coeffs, 21736 upgd conss, 0 impls, 135883 clqs
7.52/7.66 c (7.7s) probing: 1000/21330 (4.7%) - 98 fixings, 0 aggregations, 1120914 implications, 0 bound changes
7.72/7.81 c (round 19, exhaustive) 1690 del vars, 1197 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 283 chg coeffs, 21736 upgd conss, 0 impls, 135884 clqs
7.72/7.82 c (round 20, fast) 1691 del vars, 1223 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 350 chg coeffs, 21736 upgd conss, 0 impls, 135900 clqs
8.72/8.80 c (round 21, exhaustive) 1717 del vars, 1223 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 350 chg coeffs, 21736 upgd conss, 0 impls, 135877 clqs
8.72/8.81 c (round 22, fast) 1717 del vars, 1249 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 416 chg coeffs, 21736 upgd conss, 0 impls, 135893 clqs
9.02/9.11 c (round 23, exhaustive) 1746 del vars, 1249 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 416 chg coeffs, 21736 upgd conss, 0 impls, 135893 clqs
9.02/9.11 c (round 24, fast) 1746 del vars, 1278 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 483 chg coeffs, 21736 upgd conss, 0 impls, 135902 clqs
10.11/10.24 c (round 25, exhaustive) 1771 del vars, 1278 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 483 chg coeffs, 21736 upgd conss, 0 impls, 135891 clqs
10.11/10.25 c (round 26, fast) 1771 del vars, 1303 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 538 chg coeffs, 21736 upgd conss, 0 impls, 135901 clqs
11.21/11.33 c (round 27, exhaustive) 1808 del vars, 1303 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 538 chg coeffs, 21736 upgd conss, 0 impls, 133944 clqs
11.21/11.34 c (round 28, fast) 1820 del vars, 1340 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 642 chg coeffs, 21736 upgd conss, 0 impls, 133963 clqs
15.30/15.43 c (round 29, exhaustive) 1846 del vars, 1340 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 642 chg coeffs, 21736 upgd conss, 0 impls, 134730 clqs
15.30/15.44 c (round 30, fast) 1846 del vars, 1366 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 716 chg coeffs, 21736 upgd conss, 0 impls, 134744 clqs
17.50/17.69 c (round 31, exhaustive) 1872 del vars, 1366 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 716 chg coeffs, 21736 upgd conss, 0 impls, 135945 clqs
17.60/17.70 c (round 32, fast) 1873 del vars, 1392 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 769 chg coeffs, 21736 upgd conss, 0 impls, 135953 clqs
18.19/18.37 c (18.4s) probing: 2000/21330 (9.4%) - 276 fixings, 1 aggregations, 3385074 implications, 0 bound changes
18.90/19.04 c (round 33, exhaustive) 1898 del vars, 1392 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 770 chg coeffs, 21736 upgd conss, 0 impls, 135964 clqs
18.90/19.05 c (round 34, fast) 1898 del vars, 1417 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 825 chg coeffs, 21736 upgd conss, 0 impls, 135972 clqs
19.19/19.34 c (round 35, exhaustive) 1923 del vars, 1417 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 825 chg coeffs, 21736 upgd conss, 0 impls, 135943 clqs
19.19/19.35 c (round 36, fast) 1923 del vars, 1442 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 860 chg coeffs, 21736 upgd conss, 0 impls, 135947 clqs
19.49/19.65 c (round 37, exhaustive) 1948 del vars, 1442 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 860 chg coeffs, 21736 upgd conss, 0 impls, 135811 clqs
19.49/19.66 c (round 38, fast) 1948 del vars, 1467 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 885 chg coeffs, 21736 upgd conss, 0 impls, 135811 clqs
19.79/19.95 c (round 39, exhaustive) 1973 del vars, 1467 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 885 chg coeffs, 21736 upgd conss, 0 impls, 135642 clqs
19.79/19.95 c (round 40, fast) 1973 del vars, 1492 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 908 chg coeffs, 21736 upgd conss, 0 impls, 135642 clqs
20.09/20.25 c (round 41, exhaustive) 1998 del vars, 1492 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 908 chg coeffs, 21736 upgd conss, 0 impls, 135474 clqs
20.09/20.26 c (round 42, fast) 1998 del vars, 1517 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 931 chg coeffs, 21736 upgd conss, 0 impls, 135474 clqs
20.49/20.69 c (round 43, exhaustive) 2023 del vars, 1517 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 931 chg coeffs, 21736 upgd conss, 0 impls, 135401 clqs
20.59/20.70 c (round 44, fast) 2023 del vars, 1542 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 960 chg coeffs, 21736 upgd conss, 0 impls, 135401 clqs
20.79/20.98 c (round 45, exhaustive) 2048 del vars, 1542 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 960 chg coeffs, 21736 upgd conss, 0 impls, 135331 clqs
20.79/20.99 c (round 46, fast) 2048 del vars, 1567 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 985 chg coeffs, 21736 upgd conss, 0 impls, 135331 clqs
24.88/25.06 c (25.1s) probing: 3000/21330 (14.1%) - 433 fixings, 1 aggregations, 4360420 implications, 0 bound changes
30.46/30.63 c (30.6s) probing: 4000/21330 (18.8%) - 436 fixings, 1 aggregations, 5621020 implications, 0 bound changes
35.04/35.27 c (35.3s) probing: 5000/21330 (23.4%) - 440 fixings, 1 aggregations, 6766634 implications, 0 bound changes
38.84/39.08 c (39.1s) probing: 6000/21330 (28.1%) - 446 fixings, 1 aggregations, 7719639 implications, 0 bound changes
43.41/43.65 c (43.7s) probing: 7000/21330 (32.8%) - 453 fixings, 1 aggregations, 8662424 implications, 0 bound changes
43.82/44.01 c (round 47, exhaustive) 2073 del vars, 1567 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 985 chg coeffs, 21736 upgd conss, 0 impls, 136035 clqs
43.82/44.02 c (round 48, fast) 2073 del vars, 1592 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1030 chg coeffs, 21736 upgd conss, 0 impls, 136041 clqs
44.11/44.31 c (round 49, exhaustive) 2098 del vars, 1592 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1030 chg coeffs, 21736 upgd conss, 0 impls, 136013 clqs
44.11/44.32 c (round 50, fast) 2098 del vars, 1617 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1060 chg coeffs, 21736 upgd conss, 0 impls, 136014 clqs
48.50/48.78 c (48.8s) probing: 8000/21330 (37.5%) - 495 fixings, 1 aggregations, 9564785 implications, 0 bound changes
52.48/52.74 c (52.7s) probing: 8817/21330 (41.3%) - 495 fixings, 1 aggregations, 10343422 implications, 0 bound changes
52.48/52.74 c (52.7s) probing aborted: 1000/1000 successive useless probings
52.48/52.79 c (52.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
52.58/52.84 c (52.8s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 1.68) (symcode time: 0.02)
52.58/52.88 c dynamic symmetry handling statistics:
52.58/52.88 c orbitopal reduction: no components
52.58/52.88 c orbital reduction: no components
52.58/52.88 c lexicographic reduction: 3 permutations with support sizes 1762, 728, 352
52.58/52.88 c handled 4 out of 4 symmetry components
52.58/52.88 c (round 51, exhaustive) 2116 del vars, 1632 del conss, 1 add conss, 302 chg bounds, 0 chg sides, 1079 chg coeffs, 21736 upgd conss, 0 impls, 136063 clqs
53.58/53.89 c (53.9s) probing: 9000/21330 (42.2%) - 508 fixings, 1 aggregations, 10492176 implications, 0 bound changes
57.46/57.79 c (57.8s) probing: 9842/21330 (46.1%) - 508 fixings, 1 aggregations, 11305884 implications, 0 bound changes
57.46/57.79 c (57.8s) probing aborted: 1000/1000 successive useless probings
57.57/57.82 c presolving (52 rounds: 52 fast, 25 medium, 24 exhaustive):
57.57/57.82 c 2129 deleted vars, 1635 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1085 changed coefficients
57.57/57.82 c 0 implications, 136096 cliques
57.57/57.82 c presolved problem has 20804 variables (20804 bin, 0 int, 0 cont) and 21103 constraints
57.57/57.82 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
57.57/57.82 c 1 constraints of type <knapsack>
57.57/57.82 c 2560 constraints of type <setppc>
57.57/57.82 c 1 constraints of type <orbitope_pp>
57.57/57.82 c 18541 constraints of type <logicor>
57.57/57.82 c transformed objective value is always integral (scale: 1)
57.57/57.82 c Presolving Time: 57.67
57.57/57.82 c
57.57/57.82 c - non default parameters ----------------------------------------------------------------------
57.57/57.82 c
57.57/57.82 c # SCIP version 10.0.0
57.57/57.82 c
57.57/57.82 c # maximal time in seconds to run
57.57/57.82 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
57.57/57.82 c limits/time = 3596.999004
57.57/57.82 c
57.57/57.82 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
57.57/57.82 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
57.57/57.82 c limits/memory = 27900
57.57/57.82 c
57.57/57.82 c # belongs reading time to solving time?
57.57/57.82 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
57.57/57.82 c timing/reading = TRUE
57.57/57.82 c
57.57/57.82 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.57/57.82 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
57.57/57.82 c reading/opbreader/maxintsize = 47
57.57/57.82 c
57.57/57.82 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
57.57/57.82 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
57.57/57.82 c propagating/genvbounds/timingmask = 0
57.57/57.82 c
57.57/57.82 c -----------------------------------------------------------------------------------------------
57.57/57.82 c
82.38/82.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
82.38/82.74 c 82.7s| 1 | 0 | 18151 | - | 400M | 0 | 20k| 21k| 21k| 0 | 0 | 164 | 0 | 0.000000e+00 | -- | Inf | unknown
369.01/370.26 c 370s| 1 | 0 |113114 | - | 428M | 0 | 20k| 21k| 21k| 9 | 1 | 172 | 0 | 0.000000e+00 | -- | Inf | unknown
400.31/401.62 c 402s| 1 | 0 |125064 | - | 436M | 0 | 20k| 21k| 21k| 17 | 2 | 180 | 0 | 0.000000e+00 | -- | Inf | unknown
435.81/437.24 c 437s| 1 | 0 |138049 | - | 441M | 0 | 20k| 21k| 21k| 39 | 3 | 181 | 0 | 0.000000e+00 | -- | Inf | unknown
466.31/467.82 c 468s| 1 | 0 |148538 | - | 448M | 0 | 20k| 21k| 21k| 45 | 4 | 183 | 0 | 0.000000e+00 | -- | Inf | unknown
500.12/501.73 c 502s| 1 | 0 |159865 | - | 451M | 0 | 20k| 21k| 21k| 51 | 5 | 187 | 0 | 0.000000e+00 | -- | Inf | unknown
543.68/545.43 c 545s| 1 | 0 |174006 | - | 455M | 0 | 20k| 21k| 21k| 72 | 6 | 193 | 0 | 0.000000e+00 | -- | Inf | unknown
590.24/592.10 c 592s| 1 | 0 |188804 | - | 459M | 0 | 20k| 21k| 21k| 96 | 7 | 199 | 0 | 0.000000e+00 | -- | Inf | unknown
628.13/630.11 c 630s| 1 | 0 |200548 | - | 462M | 0 | 20k| 21k| 21k| 103 | 8 | 200 | 0 | 0.000000e+00 | -- | Inf | unknown
695.51/697.76 c 698s| 1 | 0 |220867 | - | 465M | 0 | 20k| 21k| 21k| 124 | 9 | 204 | 0 | 0.000000e+00 | -- | Inf | unknown
733.60/735.90 c 736s| 1 | 0 |233446 | - | 468M | 0 | 20k| 21k| 21k| 132 | 10 | 211 | 0 | 0.000000e+00 | -- | Inf | unknown
780.46/782.97 c 783s| 1 | 0 |248402 | - | 473M | 0 | 20k| 21k| 21k| 149 | 11 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown
1276.31/1280.28 c 1280s| 1 | 2 |413982 | - | 494M | 0 | 20k| 21k| 21k| 149 | 11 | 265 | 0 | 0.000000e+00 | -- | Inf | unknown
3586.97/3597.00 c
3586.97/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.97/3597.00 c Solving Time (sec) : 3597.00
3586.97/3597.00 c Solving Nodes : 17
3586.97/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.97/3597.00 c Dual Bound : +0.00000000000000e+00
3586.97/3597.00 c Gap : infinite
3586.97/3597.00 s UNKNOWN
3586.97/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.97/3597.00 c Total Time : 3597.00
3586.97/3597.00 c solving : 3597.00
3586.97/3597.00 c presolving : 57.67 (included in solving)
3586.97/3597.00 c reading : 0.08 (included in solving)
3586.97/3597.00 c copying : 0.00 (0 times copied the problem)
3586.97/3597.00 c Original Problem :
3586.97/3597.00 c Problem name : HOME/instance-4506843-1751176726.opb
3586.97/3597.00 c Variables : 22372 (22372 binary, 0 integer, 0 continuous)
3586.97/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.97/3597.00 c Constraints : 22750 initial, 22750 maximal
3586.97/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.97/3597.00 c Presolved Problem :
3586.97/3597.00 c Problem name : t_HOME/instance-4506843-1751176726.opb
3586.97/3597.00 c Variables : 20804 (20804 binary, 0 integer, 0 continuous)
3586.97/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.97/3597.00 c Constraints : 21103 initial, 21322 maximal
3586.97/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.97/3597.00 c Nonzeros : 115654 constraint, 292628 clique table
3586.97/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.97/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c domcol : 1.03 0.00 21 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c dualsparsify : 0.04 0.00 1 0 0 0 0 0 15 0 0 19
3586.97/3597.00 c gateextraction : 0.21 0.00 22 0 0 0 0 0 1 0 0 0
3586.97/3597.00 c implics : 0.00 0.00 25 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c milp : 0.46 0.00 1 192 1 0 0 0 0 0 0 0
3586.97/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c sparsify : 0.59 0.00 4 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c trivial : 0.03 0.00 52 561 0 0 0 0 0 0 0 0
3586.97/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c dualfix : 0.03 0.00 52 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c probing : 50.13 0.00 21 508 1 0 0 0 0 0 0 0
3586.97/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c symmetry : 0.09 0.00 1 3 0 0 0 0 0 1 0 0
3586.97/3597.00 c vbounds : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c knapsack : 0.01 0.00 86 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c setppc : 0.18 0.00 86 0 0 0 0 0 117 0 0 0
3586.97/3597.00 c linear : 0.18 0.02 12 302 0 0 302 0 1014 0 0 0
3586.97/3597.00 c orbitope_pp : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c logicor : 4.56 0.01 86 107 0 0 0 0 488 0 0 1066
3586.97/3597.00 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c root node : - - - 0 - - 0 - - - - -
3586.97/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.97/3597.00 c integral : 0 0 0 0 16 0 0 7 0 0 0 0 0 0 32
3586.97/3597.00 c knapsack : 1 1 11 628211 0 0 1 3 0 0 0 0 0 0 0
3586.97/3597.00 c setppc : 2560+ 2664 11 638846 0 0 1 3 22582 337 787 0 0 0 0
3586.97/3597.00 c orbitope_pp : 1 1 0 73540 0 0 0 0 0 0 9 0 0 0 0
3586.97/3597.00 c logicor : 18541+ 18657 11 161551 0 0 1 0 66731 124 1213 40 11 0 0
3586.97/3597.00 c fixedvar : 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
3586.97/3597.00 c countsols : 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
3586.97/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.97/3597.00 c integral : 0.04 0.00 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00
3586.97/3597.00 c knapsack : 0.39 0.00 0.02 0.37 0.00 0.00 0.00 0.00 0.00 0.00
3586.97/3597.00 c setppc : 5.21 0.00 0.01 5.20 0.00 0.00 0.00 0.00 0.01 0.00
3586.97/3597.00 c orbitope_pp : 0.11 0.00 0.00 0.11 0.00 0.00 0.00 0.00 0.00 0.00
3586.97/3597.00 c logicor : 13.88 0.01 0.04 13.80 0.00 0.01 0.00 0.00 0.03 0.00
3586.97/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.97/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.97/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.97/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.97/3597.00 c dualfix : 1 0 0 0
3586.97/3597.00 c genvbounds : 0 0 0 0
3586.97/3597.00 c nlobbt : 0 0 0 0
3586.97/3597.00 c obbt : 0 0 0 0
3586.97/3597.00 c probing : 0 0 0 0
3586.97/3597.00 c pseudoobj : 0 0 0 0
3586.97/3597.00 c redcost : 0 0 0 0
3586.97/3597.00 c rootredcost : 0 0 0 0
3586.97/3597.00 c symmetry : 0 0 0 0
3586.97/3597.00 c vbounds : 4754 0 0 0
3586.97/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.97/3597.00 c dualfix : 0.03 0.00 0.03 0.00 0.00 0.00
3586.97/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.97/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.97/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.97/3597.00 c probing : 50.13 0.00 50.13 0.00 0.00 0.00
3586.97/3597.00 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3586.97/3597.00 c redcost : 0.03 0.00 0.00 0.03 0.00 0.00
3586.97/3597.00 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3586.97/3597.00 c symmetry : 0.11 0.00 0.09 0.02 0.00 0.00
3586.97/3597.00 c vbounds : 0.06 0.00 0.03 0.03 0.00 0.00
3586.97/3597.00 c Symmetry :
3586.97/3597.00 c #affected vars : 3370 (3370 bin, 0 int, 0 cont)
3586.97/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.97/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.97/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.97/3597.00 c shadow tree time : 0.00 s
3586.97/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.97/3597.00 c propagation : 0.03 454 123 - 543 111.7 0 0.0 - - -
3586.97/3597.00 c infeasible LP : 0.35 12 6 - 234 3068.1 0 0.0 0 0.0 0
3586.97/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.97/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.97/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.97/3597.00 c applied globally : 0.01 - - 0 269 381.7 - - 0 - -
3586.97/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.97/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.97/3597.00 c cut pool : 0.00 - 21 21 - - 203 291 - - - - - (maximal pool size: 203)
3586.97/3597.00 c aggregation : 0.06 0.00 11 11 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.97/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.97/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.97/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c clique : 2.17 0.00 11 11 0 0 77 154 0 32 32 0 0
3586.97/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c gomory : 20.95 0.00 10 10 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3586.97/3597.00 c > strongcg : - - - - - - - 0 0 0 0 0 -
3586.97/3597.00 c impliedbounds : 0.08 0.00 11 11 0 0 32 41 0 14 14 0 0
3586.97/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c multilinear : 0.00 0.00 16 11 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3586.97/3597.00 c zerohalf : 14.04 0.00 11 11 0 0 94 96 0 92 92 0 0
3586.97/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.97/3597.00 c hybrid : 0.00 0.00 11 11 149 0 182 149 0 182
3586.97/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.97/3597.00 c problem variables: 0.00 - 0 0
3586.97/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.97/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.00 c inference : 0.00 0.00 0 0 1 0 0 0 0 2
3586.97/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.00 c relpscost : 0.04 0.00 16 0 0 0 0 0 0 32
3586.97/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.97/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.97/3597.00 c LP solutions : 0.00 - - 0 0
3586.97/3597.00 c relax solutions : 0.00 - - 0 0
3586.97/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.97/3597.00 c strong branching : 0.00 - - 0 0
3586.97/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.97/3597.00 c adaptivediving : 134.56 0.00 1 0 0
3586.97/3597.00 c alns : 0.00 0.00 0 0 0
3586.97/3597.00 c bound : 0.00 0.00 0 0 0
3586.97/3597.00 c clique : 0.11 0.00 1 0 0
3586.97/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.97/3597.00 c completesol : 0.00 0.00 0 0 0
3586.97/3597.00 c conflictdiving : 497.27 0.00 1 0 0
3586.97/3597.00 c crossover : 0.00 0.00 0 0 0
3586.97/3597.00 c dins : 0.00 0.00 0 0 0
3586.97/3597.00 c distributiondivin: 119.09 0.00 1 0 0
3586.97/3597.00 c dks : 0.00 0.00 0 0 0
3586.97/3597.00 c dps : 0.00 0.00 0 0 0
3586.97/3597.00 c dualval : 0.00 0.00 0 0 0
3586.97/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3586.97/3597.00 c feaspump : 260.90 0.00 1 0 0
3586.97/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.97/3597.00 c fracdiving : 108.64 0.00 1 0 0
3586.97/3597.00 c gins : 0.00 0.00 0 0 0
3586.97/3597.00 c guideddiving : 0.00 0.00 0 0 0
3586.97/3597.00 c indicator : 0.00 0.00 0 0 0
3586.97/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.97/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.97/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.97/3597.00 c linesearchdiving : 0.00 0.00 0 0 0
3586.97/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.97/3597.00 c locks : 0.09 0.00 1 0 0
3586.97/3597.00 c lpface : 0.00 0.00 0 0 0
3586.97/3597.00 c mpec : 0.00 0.00 0 0 0
3586.97/3597.00 c multistart : 0.00 0.00 0 0 0
3586.97/3597.00 c mutation : 0.00 0.00 0 0 0
3586.97/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.97/3597.00 c objpscostdiving : 1237.22 0.00 1 0 0
3586.97/3597.00 c octane : 0.00 0.00 0 0 0
3586.97/3597.00 c ofins : 0.00 0.00 0 0 0
3586.97/3597.00 c oneopt : 0.00 0.00 0 0 0
3586.97/3597.00 c padm : 0.00 0.00 0 0 0
3586.97/3597.00 c proximity : 0.00 0.00 0 0 0
3586.97/3597.00 c pscostdiving : 101.95 0.00 1 0 0
3586.97/3597.00 c randrounding : 0.25 0.00 12 0 0
3586.97/3597.00 c rens : 0.00 0.00 0 0 0
3586.97/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.97/3597.00 c repair : 0.00 0.00 0 0 0
3586.97/3597.00 c rins : 0.00 0.00 0 0 0
3586.97/3597.00 c rootsoldiving : 0.00 0.00 0 0 0
3586.97/3597.00 c rounding : 0.04 0.00 28 0 0
3586.97/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.97/3597.00 c shiftandpropagate: 0.02 0.00 1 0 0
3586.97/3597.00 c shifting : 0.17 0.00 12 0 0
3586.97/3597.00 c simplerounding : 0.00 0.00 0 0 0
3586.97/3597.00 c subnlp : 0.00 0.00 0 0 0
3586.97/3597.00 c trivial : 0.02 0.00 2 0 0
3586.97/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3586.97/3597.00 c trustregion : 0.00 0.00 0 0 0
3586.97/3597.00 c trysol : 0.00 0.00 0 0 0
3586.97/3597.00 c twoopt : 0.00 0.00 0 0 0
3586.97/3597.00 c undercover : 0.00 0.00 0 0 0
3586.97/3597.00 c vbounds : 0.17 0.00 1 0 0
3586.97/3597.00 c veclendiving : 408.59 0.00 1 0 0
3586.97/3597.00 c zeroobj : 0.00 0.00 0 0 0
3586.97/3597.00 c zirounding : 0.02 0.00 16 0 0
3586.97/3597.00 c other solutions : - - - 0 -
3586.97/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.97/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.97/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.97/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.97/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.97/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.97/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.97/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.97/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.97/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.97/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.97/3597.00 c primal LP : 0.00 0 0 0.00 - 0.00 0
3586.97/3597.00 c dual LP : 632.51 28 264564 9448.71 418.28 0.00 0
3586.97/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3586.97/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.97/3597.00 c resolve instable : 93.24 16 1435 89.69 15.39
3586.97/3597.00 c diving/probing LP: 2866.07 254 572149 2252.56 199.63
3586.97/3597.00 c strong branching : 0.00 0 0 0.00 - - - 0
3586.97/3597.00 c (at root node) : - 0 0 0.00 -
3586.97/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3586.97/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.97/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3586.97/3597.00 c B&B Tree :
3586.97/3597.00 c number of runs : 1
3586.97/3597.00 c nodes : 17 (17 internal, 0 leaves)
3586.97/3597.00 c feasible leaves : 0
3586.97/3597.00 c infeas. leaves : 0
3586.97/3597.00 c objective leaves : 0
3586.97/3597.00 c nodes (total) : 17 (17 internal, 0 leaves)
3586.97/3597.00 c nodes left : 18
3586.97/3597.00 c max depth : 9
3586.97/3597.00 c max depth (total): 9
3586.97/3597.00 c backtracks : 5 (29.4%)
3586.97/3597.00 c early backtracks : 0 (0.0%)
3586.97/3597.00 c nodes exc. ref. : 0 (0.0%)
3586.97/3597.00 c delayed cutoffs : 0
3586.97/3597.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3586.97/3597.00 c avg switch length: 1.76
3586.97/3597.00 c switching time : 0.01
3586.97/3597.00 c Root Node :
3586.97/3597.00 c First LP value : +0.00000000000000e+00
3586.97/3597.00 c First LP Iters : 18151 (740.13 Iter/sec)
3586.97/3597.00 c First LP Time : 24.52
3586.97/3597.00 c Final Dual Bound : +0.00000000000000e+00
3586.97/3597.00 c Final Root Iters : 248402
3586.97/3597.00 c Root LP Estimate : -
3586.97/3597.00 c Solution :
3586.97/3597.00 c Solutions found : 0 (0 improvements)
3586.97/3597.00 c Primal Bound : -
3586.97/3597.00 c Dual Bound : +0.00000000000000e+00
3586.97/3597.00 c Gap : infinite
3586.97/3597.00 c Integrals : Total Avg%
3586.97/3597.00 c primal-dual : 359700.44 100.00
3586.97/3597.00 c primal-ref : - - (not evaluated)
3586.97/3597.00 c dual-ref : - - (not evaluated)
3587.06/3597.13 c Time complete (sec): 3587.099
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 (62879 MiB free)
memory of node 1: 64465 MiB (62776 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506843-1751176726/watcher-4506843-1751176726 -o /tmp/evaluation-result-4506843-1751176726/solver-4506843-1751176726 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751169526-28919 --watchdog 3760 pbsolver -f HOME/instance-4506843-1751176726.opb -t 3600 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29706, runsolver pid=29703
[startup+0.100067 s]*
/proc/loadavg: 4.15 4.11 4.09 5/265 29707
/proc/meminfo: memFree=128615384/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=79320 memory=70272 CPUtime=0.09 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 15503 0 0 0 6 3 0 0 20 0 1 0 33351359 81223680 17568 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 19830 17568 2368 2575 0 16737 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 79320 KiB
Current children cumulated memory: 70272 KiB
[startup+0.205416 s]*
/proc/loadavg: 4.15 4.11 4.09 5/265 29707
/proc/meminfo: memFree=128575064/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=115204 memory=102400 CPUtime=0.19 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 23516 0 0 0 15 4 0 0 20 0 1 0 33351359 117968896 25600 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 28801 25600 2400 2575 0 25708 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 115204 KiB
Current children cumulated memory: 102400 KiB
[startup+0.305362 s]*
/proc/loadavg: 4.15 4.11 4.09 5/265 29707
/proc/meminfo: memFree=128542860/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=141128 memory=125640 CPUtime=0.28 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 32083 0 0 0 23 5 0 0 20 0 1 0 33351359 144515072 31410 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 35282 31410 2432 2575 0 32189 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 141128 KiB
Current children cumulated memory: 125640 KiB
[startup+0.700207 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 29707
/proc/meminfo: memFree=128535048/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=145896 memory=133320 CPUtime=0.66 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 33949 0 0 0 61 5 0 0 20 0 1 0 33351359 149397504 33330 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 36474 33330 2496 2575 0 33381 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 145896 KiB
Current children cumulated memory: 133320 KiB
[startup+1.5002 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 29707
/proc/meminfo: memFree=128495736/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=192252 memory=176884 CPUtime=1.45 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 45426 0 0 0 138 7 0 0 20 0 1 0 33351359 196866048 44221 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 48063 44221 2592 2575 0 44970 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 192252 KiB
Current children cumulated memory: 176884 KiB
[startup+3.1054 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 29707
/proc/meminfo: memFree=128445452/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=209952 memory=194420 CPUtime=3.04 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 49803 0 0 0 296 8 0 0 20 0 1 0 33351359 214990848 48605 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 52488 48605 2592 2575 0 49395 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 209952 KiB
Current children cumulated memory: 194420 KiB
[startup+6.30016 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 29707
/proc/meminfo: memFree=128445612/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=209952 memory=194420 CPUtime=6.23 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 49803 0 0 0 615 8 0 0 20 0 1 0 33351359 214990848 48605 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 52488 48605 2592 2575 0 49395 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 209952 KiB
Current children cumulated memory: 194420 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 29707
/proc/meminfo: memFree=128426460/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=220636 memory=205044 CPUtime=12.61 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 52473 0 0 0 1252 9 0 0 20 0 1 0 33351359 225931264 51261 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 55159 51261 2592 2575 0 52066 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 220636 KiB
Current children cumulated memory: 205044 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 29707
/proc/meminfo: memFree=128390732/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=222252 memory=206580 CPUtime=25.37 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 52877 0 0 0 2528 9 0 0 20 0 1 0 33351359 227586048 51645 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 55563 51645 2592 2575 0 52470 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 222252 KiB
Current children cumulated memory: 206580 KiB
[startup+51.1054 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 29707
/proc/meminfo: memFree=128096936/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=223276 memory=207732 CPUtime=50.89 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 53156 0 0 0 5080 9 0 0 20 0 1 0 33351359 228634624 51933 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 55819 51933 2592 2575 0 52726 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 223276 KiB
Current children cumulated memory: 207732 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 29714
/proc/meminfo: memFree=127957804/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=460344 memory=375632 CPUtime=101.93 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 94908 0 0 0 10177 16 0 0 20 0 1 0 33351359 471392256 93908 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 115086 93908 2656 2575 0 111993 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 460344 KiB
Current children cumulated memory: 375632 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 29727
/proc/meminfo: memFree=127946016/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=464336 memory=378844 CPUtime=161.73 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 95223 0 0 0 16157 16 0 0 20 0 1 0 33351359 475480064 94711 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 116084 94711 2656 2575 0 112991 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 464336 KiB
Current children cumulated memory: 378844 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 29729
/proc/meminfo: memFree=127899724/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=464336 memory=379356 CPUtime=221.55 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 95337 0 0 0 22138 17 0 0 20 0 1 0 33351359 475480064 94839 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 116084 94839 2656 2575 0 112991 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 464336 KiB
Current children cumulated memory: 379356 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 29731
/proc/meminfo: memFree=127772340/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=466568 memory=380636 CPUtime=281.37 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 95678 0 0 0 28120 17 0 0 20 0 1 0 33351359 477765632 95159 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 116642 95159 2656 2575 0 113549 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 466568 KiB
Current children cumulated memory: 380636 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/263 29733
/proc/meminfo: memFree=127749692/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=466568 memory=380892 CPUtime=341.19 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 95786 0 0 0 34102 17 0 0 20 0 1 0 33351359 477765632 95223 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 116642 95223 2656 2575 0 113549 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 466568 KiB
Current children cumulated memory: 380892 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/262 29735
/proc/meminfo: memFree=127654008/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=566524 memory=476436 CPUtime=401.01 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 104587 0 0 0 40081 20 0 0 20 0 1 0 33351359 580120576 119109 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 141631 119109 2688 2575 0 138538 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 566524 KiB
Current children cumulated memory: 476436 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 29738
/proc/meminfo: memFree=127624712/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=578080 memory=486036 CPUtime=460.83 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 107031 0 0 0 46062 21 0 0 20 0 1 0 33351359 591953920 121509 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 144520 121509 2688 2575 0 141427 0
Current children cumulated CPU time: 460.83 s
################
# More data... #
################
/proc/loadavg: 4.12 4.11 4.09 5/266 29924
/proc/meminfo: memFree=127735720/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=629228 memory=591632 CPUtime=3213.19 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 118025 0 0 0 321280 39 0 0 20 0 1 0 33351359 644329472 147908 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 157307 147908 2688 2575 0 154214 0
Current children cumulated CPU time: 3213.19 s
Current children cumulated vsize: 629228 KiB
Current children cumulated memory: 591632 KiB
[startup+3282.3 s]
/proc/loadavg: 4.46 4.20 4.12 5/266 29926
/proc/meminfo: memFree=127735388/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=629228 memory=591632 CPUtime=3273.04 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 118026 0 0 0 327265 39 0 0 20 0 1 0 33351359 644329472 147908 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 157307 147908 2688 2575 0 154214 0
Current children cumulated CPU time: 3273.04 s
Current children cumulated vsize: 629228 KiB
Current children cumulated memory: 591632 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.17 4.12 5/265 29928
/proc/meminfo: memFree=127735508/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=629228 memory=591632 CPUtime=3332.9 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 118026 0 0 0 333250 40 0 0 20 0 1 0 33351359 644329472 147908 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 157307 147908 2688 2575 0 154214 0
Current children cumulated CPU time: 3332.9 s
Current children cumulated vsize: 629228 KiB
Current children cumulated memory: 591632 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.17 4.12 5/265 29930
/proc/meminfo: memFree=127735388/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=629228 memory=591632 CPUtime=3392.75 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 118121 0 0 0 339235 40 0 0 20 0 1 0 33351359 644329472 147908 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 157307 147908 2688 2575 0 154214 0
Current children cumulated CPU time: 3392.75 s
Current children cumulated vsize: 629228 KiB
Current children cumulated memory: 591632 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.17 4.12 5/263 29932
/proc/meminfo: memFree=127735516/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=629228 memory=591632 CPUtime=3452.6 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 118133 0 0 0 345220 40 0 0 20 0 1 0 33351359 644329472 147908 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 157307 147908 2688 2575 0 154214 0
Current children cumulated CPU time: 3452.6 s
Current children cumulated vsize: 629228 KiB
Current children cumulated memory: 591632 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/263 29935
/proc/meminfo: memFree=127735636/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=629228 memory=591632 CPUtime=3512.45 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 118133 0 0 0 351205 40 0 0 20 0 1 0 33351359 644329472 147908 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 157307 147908 2688 2575 0 154214 0
Current children cumulated CPU time: 3512.45 s
Current children cumulated vsize: 629228 KiB
Current children cumulated memory: 591632 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/263 29937
/proc/meminfo: memFree=127735500/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=629228 memory=591632 CPUtime=3572.29 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 118225 0 0 0 357189 40 0 0 20 0 1 0 33351359 644329472 147908 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 157307 147908 2688 2575 0 154214 0
Current children cumulated CPU time: 3572.29 s
Current children cumulated vsize: 629228 KiB
Current children cumulated memory: 591632 KiB
[startup+3597.13 s]
# the end of solver process 29706 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.68 s, system=0.417722 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.15 4.11 5/263 29937
/proc/meminfo: memFree=127735516/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=629228 memory=591632 CPUtime=3573.99 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 118225 0 0 0 357359 40 0 0 20 0 1 0 33351359 644329472 147908 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 157307 147908 2688 2575 0 154214 0
Current children cumulated CPU time: 3573.99 s
Current children cumulated vsize: 629228 KiB
Current children cumulated memory: 591632 KiB
[startup+3590.4 s]
/proc/loadavg: 4.12 4.15 4.11 5/263 29937
/proc/meminfo: memFree=127735532/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=629228 memory=591632 CPUtime=3580.37 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 118227 0 0 0 357997 40 0 0 20 0 1 0 33351359 644329472 147908 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 157307 147908 2688 2575 0 154214 0
Current children cumulated CPU time: 3580.37 s
Current children cumulated vsize: 629228 KiB
Current children cumulated memory: 591632 KiB
[startup+3593.6 s]
/proc/loadavg: 4.12 4.15 4.11 5/263 29937
/proc/meminfo: memFree=127735532/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=629228 memory=591632 CPUtime=3583.56 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 118227 0 0 0 358316 40 0 0 20 0 1 0 33351359 644329472 147908 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 157307 147908 2688 2575 0 154214 0
Current children cumulated CPU time: 3583.56 s
Current children cumulated vsize: 629228 KiB
Current children cumulated memory: 591632 KiB
[startup+3595.2 s]
/proc/loadavg: 4.11 4.14 4.11 5/263 29937
/proc/meminfo: memFree=127735532/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=629228 memory=591632 CPUtime=3585.16 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 118227 0 0 0 358476 40 0 0 20 0 1 0 33351359 644329472 147908 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 157307 147908 2688 2575 0 154214 0
Current children cumulated CPU time: 3585.16 s
Current children cumulated vsize: 629228 KiB
Current children cumulated memory: 591632 KiB
[startup+3596 s]*
/proc/loadavg: 4.11 4.14 4.11 5/263 29937
/proc/meminfo: memFree=127735532/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=629228 memory=591632 CPUtime=3585.96 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 118227 0 0 0 358556 40 0 0 20 0 1 0 33351359 644329472 147908 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 157307 147908 2688 2575 0 154214 0
Current children cumulated CPU time: 3585.96 s
Current children cumulated vsize: 629228 KiB
Current children cumulated memory: 591632 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.14 4.11 5/263 29937
/proc/meminfo: memFree=127735532/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=629228 memory=591632 CPUtime=3586.76 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 118227 0 0 0 358636 40 0 0 20 0 1 0 33351359 644329472 147908 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 157307 147908 2688 2575 0 154214 0
Current children cumulated CPU time: 3586.76 s
Current children cumulated vsize: 629228 KiB
Current children cumulated memory: 591632 KiB
[startup+3597 s]*
/proc/loadavg: 4.11 4.14 4.11 3/255 29950
/proc/meminfo: memFree=128842280/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=629228 memory=591632 CPUtime=3586.97 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 118228 0 0 0 358656 41 0 0 20 0 1 0 33351359 644329472 147908 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 157307 147908 2688 2575 0 154214 0
Current children cumulated CPU time: 3586.97 s
Current children cumulated vsize: 629228 KiB
Current children cumulated memory: 591632 KiB
[startup+3597.11 s]
/proc/loadavg: 4.11 4.14 4.11 3/255 29950
/proc/meminfo: memFree=128842280/131249992 swapFree=33010684/33010684
[pid=29706] ppid=29703 vsize=562872 memory=525348 CPUtime=3587.06 cores=4,6
/proc/29706/stat : 29706 (pbsolver) R 29703 29706 28908 0 -1 4194304 118329 0 0 0 358665 41 0 0 20 0 1 0 33351359 576380928 131337 18446744073709551615 4198400 14743177 140735870544288 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 44158976 140735870548362 140735870548458 140735870548458 140735870554060 0
/proc/29706/statm: 140718 131337 2688 2575 0 137625 0
Current children cumulated CPU time: 3587.06 s
Current children cumulated vsize: 562872 KiB
Current children cumulated memory: 525348 KiB
Child status: 0
Real time (s): 3597.13
CPU time (s): 3587.1
CPU user time (s): 3586.68
CPU system time (s): 0.417722
CPU usage (%): 99.7211
Max. virtual memory (cumulated for all children) (KiB): 629228
Max. memory (cumulated for all children) (KiB): 591632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.68
system time used= 0.417722
maximum resident set size= 591632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118349
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= 24
involuntary context switches= 20163
# summary of solver processes directly reported to runsolver:
# pid: 29706
# total CPU time (s): 3587.1
# total CPU user time (s): 3586.68
# total CPU system time (s): 0.417722
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.13782 second user time and 13.9644 second system time
The end
Begin job on nodeC025 at 2025-06-29 07:58:46 IDJOB=4506843 IDBENCH=158284 IDSOLVER=3366 FILE ID=nodeC025/4506843-1751176726 RUNJOBID= nodeC025-1751169526-28919 SLURM_JOB_ID= 9587520 Free space on /tmp= 433008 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K188.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506843-1751176726/watcher-4506843-1751176726 -o /tmp/evaluation-result-4506843-1751176726/solver-4506843-1751176726 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751169526-28919 --watchdog 3760 pbsolver -f HOME/instance-4506843-1751176726.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 416ae2bcad94d751017f8086501bbe46 RANDOM SEED=1176018454 nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.861 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.67 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.829 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.67 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.601 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.67 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 : 3643.825 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.67 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 : 3602.925 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.67 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.754 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.67 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.815 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.67 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 : 3606.308 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.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249992 kB MemFree: 128679556 kB MemAvailable: 128388816 kB Buffers: 3280 kB Cached: 519232 kB SwapCached: 0 kB Active: 1688180 kB Inactive: 261080 kB Active(anon): 1444868 kB Inactive(anon): 0 kB Active(file): 243312 kB Inactive(file): 261080 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 43532 kB Writeback: 0 kB AnonPages: 1429012 kB Mapped: 133396 kB Shmem: 18084 kB KReclaimable: 88212 kB Slab: 172380 kB SReclaimable: 88212 kB SUnreclaim: 84168 kB KernelStack: 4260 kB PageTables: 5896 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 2204404 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 208896 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: 207572 kB DirectMap2M: 9000960 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433000 MiB End job on nodeC025 at 2025-06-29 08:58:43