| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3587.11 | 3598.24 |
| Name | PB24/normalized-PB11/DEC-LIN/ lopes/normalized-164.opb |
| MD5SUM | b4f7b6a8046a7674beacf37f098f7772 |
| 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 | 10.6111 |
| 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 | 26339 |
| Total number of constraints | 612374 |
| Number of constraints which are clauses | 549666 |
| Number of constraints which are cardinality constraints (but not clauses) | 2270 |
| Number of constraints which are nor clauses,nor cardinality constraints | 60438 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 1485 |
| 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 | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1486 |
| Number of bits of the biggest sum of numbers | 11 |
| 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-4503503-1751171989.opb>
1.19/1.21 c original problem has 26339 variables (26339 bin, 0 int, 0 cont) and 612374 constraints
1.19/1.21 c problem read in 1.213 seconds
1.19/1.21 c problem without objective
2.09/2.14 c presolving:
2.99/3.10 c (round 1, fast) 8289 del vars, 133981 del conss, 0 add conss, 8288 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 43442 clqs
3.28/3.32 c (round 2, fast) 8655 del vars, 229627 del conss, 0 add conss, 8288 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 43076 clqs
3.88/3.94 c (3.9s) running MILP presolver
4.38/4.49 c (4.5s) MILP presolver (3 rounds): 736 aggregations, 0 fixings, 0 bound changes
4.48/4.53 c (round 3, medium) 11665 del vars, 229627 del conss, 0 add conss, 8288 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 37056 clqs
4.68/4.74 c (round 4, fast) 11665 del vars, 237062 del conss, 0 add conss, 8288 chg bounds, 581 chg sides, 700 chg coeffs, 0 upgd conss, 0 impls, 37061 clqs
5.88/5.90 c (round 5, exhaustive) 11665 del vars, 237074 del conss, 0 add conss, 8288 chg bounds, 593 chg sides, 700 chg coeffs, 375299 upgd conss, 0 impls, 37061 clqs
7.27/7.31 c (round 6, exhaustive) 11665 del vars, 246631 del conss, 3 add conss, 8288 chg bounds, 599 chg sides, 15931 chg coeffs, 375299 upgd conss, 0 impls, 37061 clqs
9.56/9.62 c (round 7, exhaustive) 11695 del vars, 246631 del conss, 3 add conss, 8288 chg bounds, 599 chg sides, 15993 chg coeffs, 375299 upgd conss, 0 impls, 37311 clqs
9.66/9.73 c (round 8, fast) 11695 del vars, 247141 del conss, 93 add conss, 8288 chg bounds, 599 chg sides, 16353 chg coeffs, 375299 upgd conss, 0 impls, 37313 clqs
11.26/11.36 c (round 9, exhaustive) 11725 del vars, 247143 del conss, 93 add conss, 8288 chg bounds, 599 chg sides, 16393 chg coeffs, 375299 upgd conss, 0 impls, 37253 clqs
11.36/11.48 c (round 10, fast) 11725 del vars, 247638 del conss, 183 add conss, 8288 chg bounds, 599 chg sides, 16741 chg coeffs, 375299 upgd conss, 0 impls, 37255 clqs
13.15/13.21 c (round 11, exhaustive) 11755 del vars, 247638 del conss, 183 add conss, 8288 chg bounds, 599 chg sides, 16746 chg coeffs, 375299 upgd conss, 0 impls, 37195 clqs
13.25/13.33 c (round 12, fast) 11755 del vars, 248148 del conss, 273 add conss, 8288 chg bounds, 599 chg sides, 17106 chg coeffs, 375299 upgd conss, 0 impls, 37196 clqs
15.35/15.43 c (round 13, exhaustive) 11785 del vars, 248148 del conss, 273 add conss, 8288 chg bounds, 599 chg sides, 17111 chg coeffs, 375299 upgd conss, 0 impls, 37136 clqs
15.45/15.55 c (round 14, fast) 11785 del vars, 248658 del conss, 363 add conss, 8288 chg bounds, 599 chg sides, 17471 chg coeffs, 375299 upgd conss, 0 impls, 37136 clqs
17.05/17.19 c (round 15, exhaustive) 11815 del vars, 248658 del conss, 363 add conss, 8288 chg bounds, 599 chg sides, 17471 chg coeffs, 375299 upgd conss, 0 impls, 37076 clqs
17.24/17.30 c (round 16, fast) 11815 del vars, 249168 del conss, 453 add conss, 8288 chg bounds, 599 chg sides, 17831 chg coeffs, 375299 upgd conss, 0 impls, 37076 clqs
18.84/18.93 c (round 17, exhaustive) 11845 del vars, 249168 del conss, 453 add conss, 8288 chg bounds, 599 chg sides, 17831 chg coeffs, 375299 upgd conss, 0 impls, 37016 clqs
18.94/19.05 c (round 18, fast) 11845 del vars, 249678 del conss, 543 add conss, 8288 chg bounds, 599 chg sides, 18191 chg coeffs, 375299 upgd conss, 0 impls, 37016 clqs
20.63/20.70 c (round 19, exhaustive) 11875 del vars, 249678 del conss, 543 add conss, 8288 chg bounds, 599 chg sides, 18191 chg coeffs, 375299 upgd conss, 0 impls, 36956 clqs
20.73/20.81 c (round 20, fast) 11875 del vars, 250188 del conss, 633 add conss, 8288 chg bounds, 599 chg sides, 18551 chg coeffs, 375299 upgd conss, 0 impls, 36956 clqs
22.33/22.44 c (round 21, exhaustive) 11901 del vars, 250188 del conss, 633 add conss, 8288 chg bounds, 599 chg sides, 18551 chg coeffs, 375299 upgd conss, 0 impls, 36904 clqs
22.43/22.55 c (round 22, fast) 11901 del vars, 250631 del conss, 712 add conss, 8288 chg bounds, 599 chg sides, 18863 chg coeffs, 375299 upgd conss, 0 impls, 36904 clqs
24.52/24.67 c (round 23, exhaustive) 11926 del vars, 250632 del conss, 712 add conss, 8288 chg bounds, 599 chg sides, 18866 chg coeffs, 375299 upgd conss, 0 impls, 36854 clqs
24.62/24.78 c (round 24, fast) 11926 del vars, 251057 del conss, 787 add conss, 8288 chg bounds, 599 chg sides, 19166 chg coeffs, 375299 upgd conss, 0 impls, 36854 clqs
26.32/26.43 c (round 25, exhaustive) 11951 del vars, 251057 del conss, 787 add conss, 8288 chg bounds, 599 chg sides, 19166 chg coeffs, 375299 upgd conss, 0 impls, 36804 clqs
26.42/26.55 c (round 26, fast) 11951 del vars, 251482 del conss, 862 add conss, 8288 chg bounds, 599 chg sides, 19466 chg coeffs, 375299 upgd conss, 0 impls, 36804 clqs
27.21/27.30 c (27.3s) running MILP presolver
27.61/27.70 c (27.7s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
29.11/29.25 c (round 27, exhaustive) 11976 del vars, 251482 del conss, 862 add conss, 8288 chg bounds, 599 chg sides, 19466 chg coeffs, 375299 upgd conss, 0 impls, 36754 clqs
29.21/29.36 c (round 28, fast) 11976 del vars, 251907 del conss, 937 add conss, 8288 chg bounds, 599 chg sides, 19766 chg coeffs, 375299 upgd conss, 0 impls, 36754 clqs
30.80/30.99 c (round 29, exhaustive) 12001 del vars, 251907 del conss, 937 add conss, 8288 chg bounds, 599 chg sides, 19766 chg coeffs, 375299 upgd conss, 0 impls, 36704 clqs
31.01/31.11 c (round 30, fast) 12001 del vars, 252332 del conss, 1012 add conss, 8288 chg bounds, 599 chg sides, 20066 chg coeffs, 375299 upgd conss, 0 impls, 36704 clqs
32.60/32.74 c (round 31, exhaustive) 12026 del vars, 252332 del conss, 1012 add conss, 8288 chg bounds, 599 chg sides, 20066 chg coeffs, 375299 upgd conss, 0 impls, 36654 clqs
32.70/32.86 c (round 32, fast) 12026 del vars, 252757 del conss, 1087 add conss, 8288 chg bounds, 599 chg sides, 20366 chg coeffs, 375299 upgd conss, 0 impls, 36654 clqs
34.29/34.48 c (round 33, exhaustive) 12051 del vars, 252757 del conss, 1087 add conss, 8288 chg bounds, 599 chg sides, 20366 chg coeffs, 375299 upgd conss, 0 impls, 36604 clqs
34.49/34.60 c (round 34, fast) 12051 del vars, 253182 del conss, 1162 add conss, 8288 chg bounds, 599 chg sides, 20666 chg coeffs, 375299 upgd conss, 0 impls, 36604 clqs
37.69/37.89 c (round 35, exhaustive) 12076 del vars, 253182 del conss, 1162 add conss, 8288 chg bounds, 599 chg sides, 20666 chg coeffs, 375299 upgd conss, 0 impls, 36554 clqs
37.90/38.00 c (round 36, fast) 12076 del vars, 253607 del conss, 1237 add conss, 8288 chg bounds, 599 chg sides, 20966 chg coeffs, 375299 upgd conss, 0 impls, 36554 clqs
39.99/40.17 c (round 37, exhaustive) 12104 del vars, 253607 del conss, 1237 add conss, 8288 chg bounds, 599 chg sides, 20966 chg coeffs, 375299 upgd conss, 0 impls, 36498 clqs
40.09/40.29 c (round 38, fast) 12104 del vars, 254083 del conss, 1321 add conss, 8288 chg bounds, 599 chg sides, 21302 chg coeffs, 375299 upgd conss, 0 impls, 36498 clqs
41.78/41.99 c (round 39, exhaustive) 12132 del vars, 254083 del conss, 1321 add conss, 8288 chg bounds, 599 chg sides, 21302 chg coeffs, 375299 upgd conss, 0 impls, 36442 clqs
41.99/42.10 c (round 40, fast) 12132 del vars, 254555 del conss, 1405 add conss, 8288 chg bounds, 599 chg sides, 21633 chg coeffs, 375299 upgd conss, 0 impls, 36444 clqs
43.78/43.91 c (round 41, exhaustive) 12160 del vars, 254555 del conss, 1405 add conss, 8288 chg bounds, 599 chg sides, 21640 chg coeffs, 375299 upgd conss, 0 impls, 36388 clqs
43.88/44.03 c (round 42, fast) 12160 del vars, 255023 del conss, 1490 add conss, 8288 chg bounds, 599 chg sides, 21967 chg coeffs, 375299 upgd conss, 0 impls, 36392 clqs
45.67/45.84 c (round 43, exhaustive) 12188 del vars, 255023 del conss, 1490 add conss, 8288 chg bounds, 599 chg sides, 21985 chg coeffs, 375299 upgd conss, 0 impls, 36336 clqs
45.77/45.95 c (round 44, fast) 12188 del vars, 255500 del conss, 1575 add conss, 8288 chg bounds, 599 chg sides, 22321 chg coeffs, 375299 upgd conss, 0 impls, 36337 clqs
47.57/47.75 c (round 45, exhaustive) 12216 del vars, 255502 del conss, 1575 add conss, 8288 chg bounds, 599 chg sides, 22332 chg coeffs, 375299 upgd conss, 0 impls, 36281 clqs
47.67/47.87 c (round 46, fast) 12216 del vars, 255978 del conss, 1659 add conss, 8288 chg bounds, 599 chg sides, 22668 chg coeffs, 375299 upgd conss, 0 impls, 36281 clqs
49.36/49.57 c (round 47, exhaustive) 12244 del vars, 255978 del conss, 1659 add conss, 8288 chg bounds, 599 chg sides, 22670 chg coeffs, 375299 upgd conss, 0 impls, 36225 clqs
49.46/49.68 c (round 48, fast) 12244 del vars, 256454 del conss, 1743 add conss, 8288 chg bounds, 599 chg sides, 23006 chg coeffs, 375299 upgd conss, 0 impls, 36225 clqs
51.16/51.38 c (round 49, exhaustive) 12272 del vars, 256454 del conss, 1743 add conss, 8288 chg bounds, 599 chg sides, 23006 chg coeffs, 375299 upgd conss, 0 impls, 36169 clqs
51.36/51.50 c (round 50, fast) 12272 del vars, 256930 del conss, 1827 add conss, 8288 chg bounds, 599 chg sides, 23342 chg coeffs, 375299 upgd conss, 0 impls, 36169 clqs
53.05/53.20 c (round 51, exhaustive) 12300 del vars, 256930 del conss, 1827 add conss, 8288 chg bounds, 599 chg sides, 23342 chg coeffs, 375299 upgd conss, 0 impls, 36113 clqs
53.15/53.31 c (round 52, fast) 12300 del vars, 257406 del conss, 1911 add conss, 8288 chg bounds, 599 chg sides, 23678 chg coeffs, 375299 upgd conss, 0 impls, 36113 clqs
54.85/55.01 c (round 53, exhaustive) 12328 del vars, 257406 del conss, 1911 add conss, 8288 chg bounds, 599 chg sides, 23678 chg coeffs, 375299 upgd conss, 0 impls, 36057 clqs
54.95/55.12 c (round 54, fast) 12328 del vars, 257882 del conss, 1995 add conss, 8288 chg bounds, 599 chg sides, 24014 chg coeffs, 375299 upgd conss, 0 impls, 36057 clqs
57.14/57.30 c (round 55, exhaustive) 12356 del vars, 257882 del conss, 1995 add conss, 8288 chg bounds, 599 chg sides, 24014 chg coeffs, 375299 upgd conss, 0 impls, 36001 clqs
57.24/57.41 c (round 56, fast) 12356 del vars, 258358 del conss, 2079 add conss, 8288 chg bounds, 599 chg sides, 24350 chg coeffs, 375299 upgd conss, 0 impls, 36001 clqs
58.94/59.13 c (round 57, exhaustive) 12384 del vars, 258358 del conss, 2079 add conss, 8288 chg bounds, 599 chg sides, 24350 chg coeffs, 375299 upgd conss, 0 impls, 35945 clqs
59.04/59.24 c (round 58, fast) 12384 del vars, 258834 del conss, 2163 add conss, 8288 chg bounds, 599 chg sides, 24686 chg coeffs, 375299 upgd conss, 0 impls, 35945 clqs
60.73/60.92 c (round 59, exhaustive) 12412 del vars, 258834 del conss, 2163 add conss, 8288 chg bounds, 599 chg sides, 24686 chg coeffs, 375299 upgd conss, 0 impls, 35889 clqs
60.84/61.03 c (round 60, fast) 12412 del vars, 259310 del conss, 2247 add conss, 8288 chg bounds, 599 chg sides, 25022 chg coeffs, 375299 upgd conss, 0 impls, 35889 clqs
62.53/62.72 c (round 61, exhaustive) 12440 del vars, 259310 del conss, 2247 add conss, 8288 chg bounds, 599 chg sides, 25022 chg coeffs, 375299 upgd conss, 0 impls, 35833 clqs
62.63/62.83 c (round 62, fast) 12440 del vars, 259786 del conss, 2331 add conss, 8288 chg bounds, 599 chg sides, 25358 chg coeffs, 375299 upgd conss, 0 impls, 35833 clqs
64.32/64.53 c (round 63, exhaustive) 12468 del vars, 259786 del conss, 2331 add conss, 8288 chg bounds, 599 chg sides, 25358 chg coeffs, 375299 upgd conss, 0 impls, 35777 clqs
64.42/64.64 c (round 64, fast) 12468 del vars, 260262 del conss, 2415 add conss, 8288 chg bounds, 599 chg sides, 25694 chg coeffs, 375299 upgd conss, 0 impls, 35777 clqs
66.12/66.34 c (round 65, exhaustive) 12496 del vars, 260262 del conss, 2415 add conss, 8288 chg bounds, 599 chg sides, 25694 chg coeffs, 375299 upgd conss, 0 impls, 35721 clqs
66.22/66.46 c (round 66, fast) 12496 del vars, 260738 del conss, 2499 add conss, 8288 chg bounds, 599 chg sides, 26030 chg coeffs, 375299 upgd conss, 0 impls, 35721 clqs
67.92/68.16 c (round 67, exhaustive) 12524 del vars, 260738 del conss, 2499 add conss, 8288 chg bounds, 599 chg sides, 26030 chg coeffs, 375299 upgd conss, 0 impls, 35665 clqs
68.01/68.27 c (round 68, fast) 12524 del vars, 261214 del conss, 2583 add conss, 8288 chg bounds, 599 chg sides, 26366 chg coeffs, 375299 upgd conss, 0 impls, 35665 clqs
69.71/69.98 c (round 69, exhaustive) 12552 del vars, 261214 del conss, 2583 add conss, 8288 chg bounds, 599 chg sides, 26366 chg coeffs, 375299 upgd conss, 0 impls, 35609 clqs
69.82/70.09 c (round 70, fast) 12552 del vars, 261690 del conss, 2667 add conss, 8288 chg bounds, 599 chg sides, 26702 chg coeffs, 375299 upgd conss, 0 impls, 35609 clqs
71.51/71.79 c (round 71, exhaustive) 12580 del vars, 261690 del conss, 2667 add conss, 8288 chg bounds, 599 chg sides, 26702 chg coeffs, 375299 upgd conss, 0 impls, 35553 clqs
71.70/71.90 c (round 72, fast) 12580 del vars, 262166 del conss, 2751 add conss, 8288 chg bounds, 599 chg sides, 27038 chg coeffs, 375299 upgd conss, 0 impls, 35553 clqs
73.40/73.60 c (round 73, exhaustive) 12608 del vars, 262166 del conss, 2751 add conss, 8288 chg bounds, 599 chg sides, 27038 chg coeffs, 375299 upgd conss, 0 impls, 35497 clqs
73.50/73.72 c (round 74, fast) 12608 del vars, 262642 del conss, 2835 add conss, 8288 chg bounds, 599 chg sides, 27374 chg coeffs, 375299 upgd conss, 0 impls, 35497 clqs
75.20/75.42 c (round 75, exhaustive) 12636 del vars, 262642 del conss, 2835 add conss, 8288 chg bounds, 599 chg sides, 27374 chg coeffs, 375299 upgd conss, 0 impls, 35441 clqs
75.30/75.53 c (round 76, fast) 12636 del vars, 263118 del conss, 2919 add conss, 8288 chg bounds, 599 chg sides, 27710 chg coeffs, 375299 upgd conss, 0 impls, 35441 clqs
77.49/77.70 c (round 77, exhaustive) 12664 del vars, 263118 del conss, 2919 add conss, 8288 chg bounds, 599 chg sides, 27710 chg coeffs, 375299 upgd conss, 0 impls, 35385 clqs
77.59/77.82 c (round 78, fast) 12664 del vars, 263594 del conss, 3003 add conss, 8288 chg bounds, 599 chg sides, 28046 chg coeffs, 375299 upgd conss, 0 impls, 35385 clqs
79.29/79.51 c (round 79, exhaustive) 12692 del vars, 263594 del conss, 3003 add conss, 8288 chg bounds, 599 chg sides, 28046 chg coeffs, 375299 upgd conss, 0 impls, 35329 clqs
79.39/79.63 c (round 80, fast) 12692 del vars, 264070 del conss, 3087 add conss, 8288 chg bounds, 599 chg sides, 28382 chg coeffs, 375299 upgd conss, 0 impls, 35329 clqs
81.08/81.33 c (round 81, exhaustive) 12720 del vars, 264070 del conss, 3087 add conss, 8288 chg bounds, 599 chg sides, 28382 chg coeffs, 375299 upgd conss, 0 impls, 35273 clqs
81.18/81.44 c (round 82, fast) 12720 del vars, 264546 del conss, 3171 add conss, 8288 chg bounds, 599 chg sides, 28718 chg coeffs, 375299 upgd conss, 0 impls, 35273 clqs
84.37/84.65 c (84.7s) probing: 340/14674 (2.3%) - 1067 fixings, 0 aggregations, 310 implications, 0 bound changes
84.37/84.65 c (84.7s) probing aborted: 50/50 successive totally useless probings
84.37/84.65 c (round 83, exhaustive) 12732 del vars, 264546 del conss, 3171 add conss, 8288 chg bounds, 599 chg sides, 28718 chg coeffs, 375299 upgd conss, 0 impls, 35249 clqs
85.96/86.28 c (86.3s) probing: 345/14674 (2.4%) - 1067 fixings, 0 aggregations, 310 implications, 0 bound changes
85.96/86.28 c (86.3s) probing aborted: 50/50 successive totally useless probings
88.55/88.89 c (88.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
89.16/89.45 c (89.5s) no symmetry present (symcode time: 0.10)
90.25/90.57 c presolving (84 rounds: 84 fast, 43 medium, 42 exhaustive):
90.25/90.57 c 12732 deleted vars, 264750 deleted constraints, 3207 added constraints, 8288 tightened bounds, 0 added holes, 599 changed sides, 28862 changed coefficients
90.25/90.57 c 0 implications, 35249 cliques
90.25/90.57 c presolved problem has 13607 variables (13607 bin, 0 int, 0 cont) and 350831 constraints
90.25/90.57 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
90.25/90.57 c 57833 constraints of type <knapsack>
90.25/90.57 c 34937 constraints of type <setppc>
90.25/90.57 c 1 constraints of type <linear>
90.25/90.57 c 258060 constraints of type <logicor>
90.25/90.57 c transformed objective value is always integral (scale: 1)
90.25/90.57 c Presolving Time: 88.44
90.25/90.57 c
90.25/90.57 c - non default parameters ----------------------------------------------------------------------
90.25/90.57 c
90.25/90.57 c # SCIP version 10.0.0
90.25/90.57 c
90.25/90.57 c # maximal time in seconds to run
90.25/90.57 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
90.25/90.57 c limits/time = 3596.998178
90.25/90.57 c
90.25/90.57 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
90.25/90.57 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
90.25/90.57 c limits/memory = 27900
90.25/90.57 c
90.25/90.57 c # belongs reading time to solving time?
90.25/90.57 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
90.25/90.57 c timing/reading = TRUE
90.25/90.57 c
90.25/90.57 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
90.25/90.57 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
90.25/90.57 c reading/opbreader/maxintsize = 47
90.25/90.57 c
90.25/90.57 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
90.25/90.57 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
90.25/90.57 c propagating/genvbounds/timingmask = 0
90.25/90.57 c
90.25/90.57 c -----------------------------------------------------------------------------------------------
90.25/90.58 c
131.63/132.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
131.63/132.02 c 132s| 1 | 0 | 4705 | - | 2032M | 0 | 13k| 350k| 350k| 0 | 0 | 83 | 0 | 0.000000e+00 | -- | Inf | unknown
424.81/426.14 c 426s| 1 | 0 | 22746 | - | 2078M | 0 | 13k| 350k| 350k| 204 | 1 | 84 | 0 | 0.000000e+00 | -- | Inf | unknown
717.45/719.61 c 720s| 1 | 0 | 22754 | - | 2117M | 0 | 13k| 350k| 350k| 208 | 2 | 87 | 0 | 0.000000e+00 | -- | Inf | unknown
974.46/977.43 c 977s| 1 | 0 | 22769 | - | 2154M | 0 | 13k| 350k| 350k| 214 | 3 | 87 | 0 | 0.000000e+00 | -- | Inf | unknown
975.36/978.34 c 978s| 1 | 0 | 22781 | - | 2191M | 0 | 13k| 350k| 350k| 217 | 4 | 87 | 0 | 0.000000e+00 | -- | Inf | unknown
1273.69/1277.50 c 1278s| 1 | 0 | 22801 | - | 2228M | 0 | 13k| 350k| 350k| 221 | 5 | 89 | 0 | 0.000000e+00 | -- | Inf | unknown
1587.05/1591.84 c 1592s| 1 | 0 | 22811 | - | 2278M | 0 | 13k| 350k| 350k| 224 | 6 | 91 | 0 | 0.000000e+00 | -- | Inf | unknown
1903.80/1909.58 c 1910s| 1 | 0 | 22858 | - | 2342M | 0 | 13k| 350k| 350k| 229 | 7 | 92 | 0 | 0.000000e+00 | -- | Inf | unknown
1971.77/1977.75 c 1978s| 1 | 0 | 22906 | - | 2380M | 0 | 13k| 350k| 350k| 237 | 8 | 94 | 0 | 0.000000e+00 | -- | Inf | unknown
2259.66/2266.51 c 2267s| 1 | 0 | 22934 | - | 2446M | 0 | 13k| 350k| 350k| 245 | 9 | 97 | 0 | 0.000000e+00 | -- | Inf | unknown
2265.84/2272.74 c 2273s| 1 | 0 | 22951 | - | 2499M | 0 | 13k| 350k| 350k| 251 | 10 | 97 | 0 | 0.000000e+00 | -- | Inf | unknown
2266.54/2273.48 c 2273s| 1 | 0 | 22992 | - | 2536M | 0 | 13k| 350k| 350k| 255 | 11 | 97 | 0 | 0.000000e+00 | -- | Inf | unknown
2267.14/2274.06 c 2274s| 1 | 0 | 23026 | - | 2572M | 0 | 13k| 350k| 350k| 261 | 12 | 97 | 0 | 0.000000e+00 | -- | Inf | unknown
2267.74/2274.64 c 2275s| 1 | 0 | 23037 | - | 2609M | 0 | 13k| 350k| 350k| 267 | 13 | 98 | 0 | 0.000000e+00 | -- | Inf | unknown
2278.79/2285.73 c 2286s| 1 | 2 | 23069 | - | 2610M | 0 | 13k| 350k| 350k| 267 | 13 | 105 | 25 | 0.000000e+00 | -- | Inf | unknown
3389.15/3399.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3389.15/3399.68 c 3400s| 100 | 99 |985326 |9725.6 | 2738M | 31 | 13k| 349k| 350k| 284 | 1 | 518 | 25 | 0.000000e+00 | -- | Inf | unknown
3580.19/3591.36 c 3591s| 200 | 199 | 1079k|5310.5 | 2741M | 39 | 13k| 349k| 350k| 284 | 1 | 976 | 25 | 0.000000e+00 | -- | Inf | unknown
3585.87/3597.00 c
3585.87/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.87/3597.00 c Solving Time (sec) : 3597.01
3585.87/3597.00 c Solving Nodes : 208
3585.87/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3585.87/3597.00 c Dual Bound : +0.00000000000000e+00
3585.87/3597.00 c Gap : infinite
3585.87/3597.00 s UNKNOWN
3585.87/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.87/3597.00 c Total Time : 3597.01
3585.87/3597.00 c solving : 3597.01
3585.87/3597.00 c presolving : 88.44 (included in solving)
3585.87/3597.00 c reading : 1.21 (included in solving)
3585.87/3597.00 c copying : 3.28 (7 #copies) (minimal 0.45, maximal 0.48, average 0.47)
3585.87/3597.00 c Original Problem :
3585.87/3597.00 c Problem name : HOME/instance-4503503-1751171989.opb
3585.87/3597.00 c Variables : 26339 (26339 binary, 0 integer, 0 continuous)
3585.87/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3585.87/3597.00 c Constraints : 612374 initial, 612374 maximal
3585.87/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.87/3597.00 c Presolved Problem :
3585.87/3597.00 c Problem name : t_HOME/instance-4503503-1751171989.opb
3585.87/3597.00 c Variables : 13607 (13607 binary, 0 integer, 0 continuous)
3585.87/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3585.87/3597.00 c Constraints : 350831 initial, 350890 maximal
3585.87/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.87/3597.00 c Nonzeros : 1578075 constraint, 72336 clique table
3585.87/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.87/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.87/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.87/3597.00 c domcol : 8.27 0.00 40 0 0 0 0 0 0 0 0 0
3585.87/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.87/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.87/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.87/3597.00 c dualsparsify : 2.60 0.00 1 0 0 0 0 0 0 0 0 0
3585.87/3597.00 c gateextraction : 4.39 0.00 41 0 0 0 0 0 0 0 0 0
3585.87/3597.00 c implics : 0.01 0.00 43 0 0 0 0 0 0 0 0 0
3585.87/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.87/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c milp : 2.19 0.00 2 0 736 0 0 0 0 0 0 0
3585.87/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c sparsify : 2.89 0.00 6 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c trivial : 0.04 0.00 84 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c dualfix : 0.04 0.00 84 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c probing : 11.89 0.00 40 1067 0 0 0 0 0 0 0 0
3585.87/3597.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c symmetry : 0.56 0.00 1 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c vbounds : 0.03 0.00 1 94 2180 0 0 0 0 0 0 0
3585.87/3597.01 c knapsack : 2.12 0.01 161 0 0 0 0 0 3204 3207 6 14
3585.87/3597.01 c setppc : 2.74 0.00 161 0 0 0 0 0 2137 0 0 0
3585.87/3597.01 c linear : 2.05 0.24 126 8288 367 0 8288 0 237074 0 593 700
3585.87/3597.01 c logicor : 46.93 0.93 161 0 0 0 0 0 22335 0 0 28148
3585.87/3597.01 c components : 0.16 0.00 1 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c root node : - - - 53 - - 53 - - - - -
3585.87/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.87/3597.01 c integral : 0 0 0 0 206 0 0 19 0 0 0 0 0 0 412
3585.87/3597.01 c knapsack : 57833 57833 13 23153 0 0 0 15 7594 96 4183 4 2 0 0
3585.87/3597.01 c setppc : 34937+ 34983 13 23056 0 0 0 8 2933 274 1409 0 0 0 0
3585.87/3597.01 c linear : 1+ 2 13 22783 0 0 0 3 0 1 0 0 0 0 0
3585.87/3597.01 c logicor : 258060+ 258073 13 11284 0 0 0 0 797 294 701 1 0 0 0
3585.87/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.87/3597.01 c integral : 9.71 0.00 0.00 0.00 9.71 0.00 0.00 0.00 0.00 0.00
3585.87/3597.01 c knapsack : 6.55 0.01 0.53 5.86 0.00 0.00 0.00 0.14 0.00 0.00
3585.87/3597.01 c setppc : 1.70 0.00 0.04 1.64 0.00 0.00 0.00 0.01 0.00 0.01
3585.87/3597.01 c linear : 0.24 0.24 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.87/3597.01 c logicor : 3.92 0.93 0.55 2.33 0.00 0.00 0.00 0.00 0.00 0.11
3585.87/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.87/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.87/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.87/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.87/3597.01 c dualfix : 2 0 0 0
3585.87/3597.01 c genvbounds : 0 0 0 0
3585.87/3597.01 c nlobbt : 0 0 0 0
3585.87/3597.01 c obbt : 0 0 0 0
3585.87/3597.01 c probing : 0 0 0 0
3585.87/3597.01 c pseudoobj : 0 0 0 0
3585.87/3597.01 c redcost : 0 0 0 0
3585.87/3597.01 c rootredcost : 0 0 0 0
3585.87/3597.01 c symmetry : 0 0 0 0
3585.87/3597.01 c vbounds : 11755 0 0 0
3585.87/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.87/3597.01 c dualfix : 0.04 0.00 0.04 0.00 0.00 0.00
3585.87/3597.01 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3585.87/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.87/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.87/3597.01 c probing : 11.89 0.00 11.89 0.00 0.00 0.00
3585.87/3597.01 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3585.87/3597.01 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3585.87/3597.01 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3585.87/3597.01 c symmetry : 0.57 0.00 0.56 0.00 0.00 0.00
3585.87/3597.01 c vbounds : 0.08 0.00 0.03 0.04 0.00 0.00
3585.87/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.87/3597.01 c propagation : 0.03 654 654 - 1118 180.0 90 3.6 - - -
3585.87/3597.01 c infeasible LP : 0.01 1 1 - 59 840.3 4 6.5 1 1516.0 0
3585.87/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.87/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.87/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.87/3597.01 c applied globally : 0.01 - - 0 988 14.9 - - 1 - -
3585.87/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3585.87/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.87/3597.01 c cut pool : 0.08 - 51 25 - - 866 1309 - - - - - (maximal pool size: 866)
3585.87/3597.01 c aggregation : 0.41 0.00 18 13 0 0 2 2 0 0 0 0 0
3585.87/3597.01 c > cmir : - - - - - - - 1 0 0 0 0 -
3585.87/3597.01 c > flowcover : - - - - - - - 1 0 0 0 0 -
3585.87/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3585.87/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c clique : 1.97 0.00 13 13 0 0 51 104 0 33 33 0 0
3585.87/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c gomory : 2091.09 0.00 15 10 0 0 1106 1181 312 225 23 202 0
3585.87/3597.01 c > gomorymi : - - - - - - - 573 156 113 10 103 -
3585.87/3597.01 c > strongcg : - - - - - - - 608 156 112 13 99 -
3585.87/3597.01 c impliedbounds : 0.06 0.00 18 13 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c mcf : 0.16 0.00 1 1 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c multilinear : 0.00 0.00 19 13 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3585.87/3597.01 c zerohalf : 0.45 0.00 18 13 0 0 28 22 9 24 18 6 0
3585.87/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.87/3597.01 c hybrid : 0.02 0.00 19 13 85 200 1550 67 200 1234
3585.87/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.87/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.87/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3585.87/3597.01 c problem variables: 0.00 - 0 0
3585.87/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.87/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.87/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.87/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.87/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.87/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.87/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.87/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.87/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.87/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.87/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.87/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.87/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.87/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.87/3597.01 c relpscost : 9.71 0.00 206 0 0 0 0 0 0 412
3585.87/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.87/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.87/3597.01 c LP solutions : 0.00 - - 0 0
3585.87/3597.01 c relax solutions : 0.00 - - 0 0
3585.87/3597.01 c pseudo solutions : 0.00 - - 0 0
3585.87/3597.01 c strong branching : 0.00 - - 0 0
3585.87/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3585.87/3597.01 c adaptivediving : 28.05 0.00 1 0 0
3585.87/3597.01 c alns : 6.03 0.00 3 0 0
3585.87/3597.01 c bound : 0.00 0.00 0 0 0
3585.87/3597.01 c clique : 36.50 0.00 1 0 0
3585.87/3597.01 c coefdiving : 0.00 0.00 0 0 0
3585.87/3597.01 c completesol : 0.00 0.00 0 0 0
3585.87/3597.01 c conflictdiving : 21.20 0.00 13 0 0
3585.87/3597.01 c crossover : 0.00 0.00 0 0 0
3585.87/3597.01 c dins : 0.00 0.00 0 0 0
3585.87/3597.01 c distributiondivin: 28.70 0.00 3 0 0
3585.87/3597.01 c dks : 0.00 0.00 0 0 0
3585.87/3597.01 c dps : 0.00 0.00 0 0 0
3585.87/3597.01 c dualval : 0.00 0.00 0 0 0
3585.87/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3585.87/3597.01 c feaspump : 93.70 0.00 2 0 0
3585.87/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3585.87/3597.01 c fracdiving : 29.64 0.00 4 0 0
3585.87/3597.01 c gins : 0.00 0.00 0 0 0
3585.87/3597.01 c guideddiving : 0.00 0.00 0 0 0
3585.87/3597.01 c indicator : 0.00 0.00 0 0 0
3585.87/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3585.87/3597.01 c intdiving : 0.00 0.00 0 0 0
3585.87/3597.01 c intshifting : 0.00 0.00 0 0 0
3585.87/3597.01 c linesearchdiving : 65.27 0.00 8 0 0
3585.87/3597.01 c localbranching : 0.00 0.00 0 0 0
3585.87/3597.01 c locks : 0.44 0.00 1 0 0
3585.87/3597.01 c lpface : 0.01 0.00 0 0 0
3585.87/3597.01 c mpec : 0.00 0.00 0 0 0
3585.87/3597.01 c multistart : 0.00 0.00 0 0 0
3585.87/3597.01 c mutation : 0.00 0.00 0 0 0
3585.87/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3585.87/3597.01 c objpscostdiving : 691.41 0.00 1 0 0
3585.87/3597.01 c octane : 0.00 0.00 0 0 0
3585.87/3597.01 c ofins : 0.00 0.00 0 0 0
3585.87/3597.01 c oneopt : 0.00 0.00 0 0 0
3585.87/3597.01 c padm : 0.00 0.00 0 0 0
3585.87/3597.01 c proximity : 0.00 0.00 0 0 0
3585.87/3597.01 c pscostdiving : 75.26 0.00 5 0 0
3585.87/3597.01 c randrounding : 0.88 0.00 20 0 0
3585.87/3597.01 c rens : 1.31 0.00 1 0 0
3585.87/3597.01 c reoptsols : 0.00 0.00 0 0 0
3585.87/3597.01 c repair : 0.00 0.00 0 0 0
3585.87/3597.01 c rins : 0.00 0.00 0 0 0
3585.87/3597.01 c rootsoldiving : 79.67 0.00 1 0 0
3585.87/3597.01 c rounding : 1.93 0.00 162 0 0
3585.87/3597.01 c scheduler : 0.00 0.00 0 0 0
3585.87/3597.01 c shiftandpropagate: 0.15 0.00 1 0 0
3585.87/3597.01 c shifting : 10.97 0.00 38 0 0
3585.87/3597.01 c simplerounding : 0.00 0.00 0 0 0
3585.87/3597.01 c subnlp : 0.00 0.00 0 0 0
3585.87/3597.01 c trivial : 0.04 0.00 2 0 0
3585.87/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3585.87/3597.01 c trustregion : 0.00 0.00 0 0 0
3585.87/3597.01 c trysol : 0.00 0.00 0 0 0
3585.87/3597.01 c twoopt : 0.00 0.00 0 0 0
3585.87/3597.01 c undercover : 0.00 0.00 0 0 0
3585.87/3597.01 c vbounds : 3.87 0.00 1 0 0
3585.87/3597.01 c veclendiving : 52.32 0.00 6 0 0
3585.87/3597.01 c zeroobj : 0.00 0.00 0 0 0
3585.87/3597.01 c zirounding : 0.91 0.00 206 0 0
3585.87/3597.01 c other solutions : - - - 0 -
3585.87/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3585.87/3597.01 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
3585.87/3597.01 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
3585.87/3597.01 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
3585.87/3597.01 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
3585.87/3597.01 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
3585.87/3597.01 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
3585.87/3597.01 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
3585.87/3597.01 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
3585.87/3597.01 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
3585.87/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.87/3597.01 c primal LP : 0.16 4 0 0.00 0.00 0.16 4
3585.87/3597.01 c dual LP : 163.15 226 85326 377.55 522.98 0.00 0
3585.87/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3585.87/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.87/3597.01 c resolve instable : 0.00 0 0 0.00 -
3585.87/3597.01 c diving/probing LP: 1127.84 1371 996025 726.50 883.13
3585.87/3597.01 c strong branching : 6.35 25 5980 239.20 941.37 - - 8
3585.87/3597.01 c (at root node) : - 25 5980 239.20 -
3585.87/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3585.87/3597.01 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3585.87/3597.01 c benders : 0.00 0 0 0 0.00 0 0 0
3585.87/3597.01 c B&B Tree :
3585.87/3597.01 c number of runs : 1
3585.87/3597.01 c nodes : 208 (206 internal, 2 leaves)
3585.87/3597.01 c feasible leaves : 0
3585.87/3597.01 c infeas. leaves : 1
3585.87/3597.01 c objective leaves : 0
3585.87/3597.01 c nodes (total) : 208 (206 internal, 2 leaves)
3585.87/3597.01 c nodes left : 206
3585.87/3597.01 c max depth : 39
3585.87/3597.01 c max depth (total): 39
3585.87/3597.01 c backtracks : 48 (23.1%)
3585.87/3597.01 c early backtracks : 0 (0.0%)
3585.87/3597.01 c nodes exc. ref. : 0 (0.0%)
3585.87/3597.01 c delayed cutoffs : 0
3585.87/3597.01 c repropagations : 173 (113 domain reductions, 0 cutoffs)
3585.87/3597.01 c avg switch length: 7.02
3585.87/3597.01 c switching time : 1.43
3585.87/3597.01 c Root Node :
3585.87/3597.01 c First LP value : +0.00000000000000e+00
3585.87/3597.01 c First LP Iters : 4159 (9848.73 Iter/sec)
3585.87/3597.01 c First LP Time : 0.42
3585.87/3597.01 c Final Dual Bound : +0.00000000000000e+00
3585.87/3597.01 c Final Root Iters : 22491
3585.87/3597.01 c Root LP Estimate : +2.82263588473973e-03
3585.87/3597.01 c Solution :
3585.87/3597.01 c Solutions found : 0 (0 improvements)
3585.87/3597.01 c Primal Bound : -
3585.87/3597.01 c Dual Bound : +0.00000000000000e+00
3585.87/3597.01 c Gap : infinite
3585.87/3597.01 c Integrals : Total Avg%
3585.87/3597.01 c primal-dual : 359700.59 100.00
3585.87/3597.01 c primal-ref : - - (not evaluated)
3585.87/3597.01 c dual-ref : - - (not evaluated)
3586.97/3598.17 c Time complete (sec): 3587.046
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 (61117 MiB free)
memory of node 1: 64465 MiB (62887 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503503-1751171989/watcher-4503503-1751171989 -o /tmp/evaluation-result-4503503-1751171989/solver-4503503-1751171989 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751171866-20913 --watchdog 3760 pbsolver -f HOME/instance-4503503-1751171989.opb -t 3600 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=21019, runsolver pid=21016
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 3.63 2.00 1.65 5/266 21020
/proc/meminfo: memFree=126949516/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=53044 memory=42624 CPUtime=0.1 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 8726 0 0 0 9 1 0 0 20 0 1 0 32877605 54317056 10656 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 13261 10656 2176 2575 0 10168 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 53044 KiB
Current children cumulated memory: 42624 KiB
[startup+0.205656 s]*
/proc/loadavg: 3.63 2.00 1.65 5/266 21020
/proc/meminfo: memFree=126917260/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=83032 memory=72192 CPUtime=0.2 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 16111 0 0 0 18 2 0 0 20 0 1 0 32877605 85024768 18048 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 20758 18048 2176 2575 0 17665 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 83032 KiB
Current children cumulated memory: 72192 KiB
[startup+0.305641 s]*
/proc/loadavg: 3.63 2.00 1.65 5/266 21020
/proc/meminfo: memFree=126885004/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=111664 memory=100864 CPUtime=0.3 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 23269 0 0 0 26 4 0 0 20 0 1 0 32877605 114343936 25216 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 27916 25216 2176 2575 0 24823 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 111664 KiB
Current children cumulated memory: 100864 KiB
[startup+0.700171 s]
/proc/loadavg: 3.63 2.00 1.65 5/266 21020
/proc/meminfo: memFree=126836620/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=219284 memory=208116 CPUtime=0.69 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 49578 0 0 0 61 8 0 0 20 0 1 0 32877605 224546816 52029 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 54821 52029 2176 2575 0 51728 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 219284 KiB
Current children cumulated memory: 208116 KiB
[startup+1.50017 s]
/proc/loadavg: 3.63 2.00 1.65 5/266 21020
/proc/meminfo: memFree=126709720/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=521548 memory=510272 CPUtime=1.49 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 124850 0 0 0 128 21 0 0 20 0 1 0 32877605 534065152 127568 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 130387 127568 2368 2575 0 127294 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 521548 KiB
Current children cumulated memory: 510272 KiB
[startup+3.10558 s]
/proc/loadavg: 3.63 2.00 1.65 5/266 21020
/proc/meminfo: memFree=126097816/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=917824 memory=892184 CPUtime=3.09 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 208518 0 0 0 276 33 0 0 20 0 1 0 32877605 939851776 223046 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 229456 223046 2432 2575 0 226363 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 917824 KiB
Current children cumulated memory: 892184 KiB
[startup+6.30016 s]
/proc/loadavg: 3.66 2.03 1.66 5/266 21020
/proc/meminfo: memFree=125663924/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=1179616 memory=1151356 CPUtime=6.27 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 250078 0 0 0 578 49 0 0 20 0 1 0 32877605 1207926784 287839 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 294904 287839 2560 2575 0 291811 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1179616 KiB
Current children cumulated memory: 1151356 KiB
[startup+12.7002 s]
/proc/loadavg: 3.69 2.06 1.68 5/266 21020
/proc/meminfo: memFree=125651636/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=1187808 memory=1161012 CPUtime=12.65 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 250995 0 0 0 1216 49 0 0 20 0 1 0 32877605 1216315392 290253 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 296952 290253 2592 2575 0 293859 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1187808 KiB
Current children cumulated memory: 1161012 KiB
[startup+25.5002 s]
/proc/loadavg: 3.83 2.17 1.72 5/266 21021
/proc/meminfo: memFree=125728844/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=1187808 memory=1161012 CPUtime=25.42 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 250995 0 0 0 2493 49 0 0 20 0 1 0 32877605 1216315392 290253 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 296952 290253 2592 2575 0 293859 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1187808 KiB
Current children cumulated memory: 1161012 KiB
[startup+51.1055 s]
/proc/loadavg: 3.89 2.32 1.78 5/266 21021
/proc/meminfo: memFree=125745892/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=1187808 memory=1161244 CPUtime=50.96 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 258368 0 0 0 5039 57 0 0 20 0 1 0 32877605 1216315392 290311 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 296952 290311 2592 2575 0 293859 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1187808 KiB
Current children cumulated memory: 1161244 KiB
[startup+102.3 s]
/proc/loadavg: 4.00 2.60 1.91 5/265 21023
/proc/meminfo: memFree=124277488/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=2762508 memory=2618740 CPUtime=102.02 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 485894 0 0 0 10100 102 0 0 20 0 1 0 32877605 2828808192 654685 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 690627 654685 2688 2575 0 687534 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2762508 KiB
Current children cumulated memory: 2618740 KiB
[startup+162.3 s]
/proc/loadavg: 4.03 2.87 2.04 5/263 21025
/proc/meminfo: memFree=124266176/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=2677256 memory=2545464 CPUtime=161.83 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 489227 0 0 0 16080 103 0 0 20 0 1 0 32877605 2741510144 636366 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 669314 636366 2688 2575 0 666221 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 2677256 KiB
Current children cumulated memory: 2545464 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.09 2.18 5/263 21028
/proc/meminfo: memFree=124195500/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=2677256 memory=2546616 CPUtime=221.64 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 489591 0 0 0 22061 103 0 0 20 0 1 0 32877605 2741510144 636654 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 669314 636654 2688 2575 0 666221 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 2677256 KiB
Current children cumulated memory: 2546616 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 3.29 2.30 5/263 21030
/proc/meminfo: memFree=124128684/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=2677256 memory=2546616 CPUtime=281.45 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 489593 0 0 0 28042 103 0 0 20 0 1 0 32877605 2741510144 636654 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 669314 636654 2688 2575 0 666221 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 2677256 KiB
Current children cumulated memory: 2546616 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.44 2.42 5/263 21032
/proc/meminfo: memFree=124131092/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=2677256 memory=2546616 CPUtime=341.27 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 489625 0 0 0 34024 103 0 0 20 0 1 0 32877605 2741510144 636654 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 669314 636654 2688 2575 0 666221 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 2677256 KiB
Current children cumulated memory: 2546616 KiB
[startup+402.3 s]
/proc/loadavg: 4.04 3.54 2.52 5/264 21037
/proc/meminfo: memFree=124086212/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=2677256 memory=2546616 CPUtime=401.08 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 489626 0 0 0 40005 103 0 0 20 0 1 0 32877605 2741510144 636654 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 669314 636654 2688 2575 0 666221 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 2677256 KiB
Current children cumulated memory: 2546616 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.66 2.62 5/264 21043
/proc/meminfo: memFree=124068248/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=2677256 memory=2548408 CPUtime=460.9 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 490157 0 0 0 45987 103 0 0 20 0 1 0 32877605 2741510144 637102 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 669314 637102 2688 2575 0 666221 0
################
# More data... #
################
Current children cumulated memory: 2757412 KiB
[startup+3162.3 s]
/proc/loadavg: 4.23 4.12 4.03 5/263 21181
/proc/meminfo: memFree=122567680/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=3215508 memory=2757540 CPUtime=3152.58 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 576904 0 0 0 315140 118 0 0 20 0 1 0 32877605 3292680192 689385 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 803877 689385 2688 2575 0 800784 0
Current children cumulated CPU time: 3152.58 s
Current children cumulated vsize: 3215508 KiB
Current children cumulated memory: 2757540 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.16 4.04 5/263 21184
/proc/meminfo: memFree=122261196/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=3509976 memory=3052000 CPUtime=3212.39 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 645967 0 0 0 321110 129 0 0 20 0 1 0 32877605 3594215424 763000 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 877494 763000 2688 2575 0 874401 0
Current children cumulated CPU time: 3212.39 s
Current children cumulated vsize: 3509976 KiB
Current children cumulated memory: 3052000 KiB
[startup+3282.3 s]
/proc/loadavg: 4.28 4.17 4.06 5/263 21186
/proc/meminfo: memFree=122241092/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=3509976 memory=3052128 CPUtime=3272.2 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 645979 0 0 0 327091 129 0 0 20 0 1 0 32877605 3594215424 763032 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 877494 763032 2688 2575 0 874401 0
Current children cumulated CPU time: 3272.2 s
Current children cumulated vsize: 3509976 KiB
Current children cumulated memory: 3052128 KiB
[startup+3342.3 s]
/proc/loadavg: 4.36 4.23 4.08 5/263 21188
/proc/meminfo: memFree=122230824/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=3509976 memory=3052384 CPUtime=3332.02 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 646117 0 0 0 333073 129 0 0 20 0 1 0 32877605 3594215424 763096 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 877494 763096 2688 2575 0 874401 0
Current children cumulated CPU time: 3332.02 s
Current children cumulated vsize: 3509976 KiB
Current children cumulated memory: 3052384 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.20 4.08 5/265 21194
/proc/meminfo: memFree=122207812/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=3509976 memory=3052384 CPUtime=3391.84 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 646121 0 0 0 339055 129 0 0 20 0 1 0 32877605 3594215424 763096 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 877494 763096 2688 2575 0 874401 0
Current children cumulated CPU time: 3391.84 s
Current children cumulated vsize: 3509976 KiB
Current children cumulated memory: 3052384 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.18 4.08 5/265 21200
/proc/meminfo: memFree=122194612/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=3509976 memory=3052384 CPUtime=3451.64 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 646148 0 0 0 345035 129 0 0 20 0 1 0 32877605 3594215424 763096 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 877494 763096 2688 2575 0 874401 0
Current children cumulated CPU time: 3451.64 s
Current children cumulated vsize: 3509976 KiB
Current children cumulated memory: 3052384 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.17 4.09 5/265 21337
/proc/meminfo: memFree=112346700/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=3509976 memory=3052384 CPUtime=3511.44 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 646225 0 0 0 351014 130 0 0 20 0 1 0 32877605 3594215424 763096 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 877494 763096 2688 2575 0 874401 0
Current children cumulated CPU time: 3511.44 s
Current children cumulated vsize: 3509976 KiB
Current children cumulated memory: 3052384 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.16 4.09 5/265 21339
/proc/meminfo: memFree=109935280/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=3509976 memory=3052384 CPUtime=3571.21 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 646234 0 0 0 356991 130 0 0 20 0 1 0 32877605 3594215424 763096 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 877494 763096 2688 2575 0 874401 0
Current children cumulated CPU time: 3571.21 s
Current children cumulated vsize: 3509976 KiB
Current children cumulated memory: 3052384 KiB
[startup+3598.24 s]
# the end of solver process 21019 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.72 s, system=1.38612 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.16 4.09 5/265 21339
/proc/meminfo: memFree=109935280/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=3509976 memory=3052384 CPUtime=3572.91 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 646234 0 0 0 357161 130 0 0 20 0 1 0 32877605 3594215424 763096 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 877494 763096 2688 2575 0 874401 0
Current children cumulated CPU time: 3572.91 s
Current children cumulated vsize: 3509976 KiB
Current children cumulated memory: 3052384 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.15 4.09 5/265 21339
/proc/meminfo: memFree=108700872/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=3509976 memory=3052384 CPUtime=3579.29 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 646234 0 0 0 357799 130 0 0 20 0 1 0 32877605 3594215424 763096 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 877494 763096 2688 2575 0 874401 0
Current children cumulated CPU time: 3579.29 s
Current children cumulated vsize: 3509976 KiB
Current children cumulated memory: 3052384 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.15 4.09 5/265 21339
/proc/meminfo: memFree=108199876/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=3509976 memory=3052384 CPUtime=3582.48 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 646234 0 0 0 358118 130 0 0 20 0 1 0 32877605 3594215424 763096 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 877494 763096 2688 2575 0 874401 0
Current children cumulated CPU time: 3582.48 s
Current children cumulated vsize: 3509976 KiB
Current children cumulated memory: 3052384 KiB
[startup+3596.8 s]
/proc/loadavg: 4.16 4.16 4.09 5/265 21340
/proc/meminfo: memFree=107591020/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=3509976 memory=3052384 CPUtime=3585.67 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 646234 0 0 0 358437 130 0 0 20 0 1 0 32877605 3594215424 763096 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 877494 763096 2688 2575 0 874401 0
Current children cumulated CPU time: 3585.67 s
Current children cumulated vsize: 3509976 KiB
Current children cumulated memory: 3052384 KiB
[startup+3597.6 s]
/proc/loadavg: 4.16 4.16 4.09 5/265 21340
/proc/meminfo: memFree=107591020/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=3509976 memory=3052384 CPUtime=3586.47 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 646235 0 0 0 358517 130 0 0 20 0 1 0 32877605 3594215424 763096 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 877494 763096 2688 2575 0 874401 0
Current children cumulated CPU time: 3586.47 s
Current children cumulated vsize: 3509976 KiB
Current children cumulated memory: 3052384 KiB
[startup+3598 s]*
/proc/loadavg: 4.16 4.16 4.09 5/265 21340
/proc/meminfo: memFree=107657116/131249996 swapFree=33010684/33010684
[pid=21019] ppid=21016 vsize=3412328 memory=2955468 CPUtime=3586.87 cores=1,3
/proc/21019/stat : 21019 (pbsolver) R 21016 21019 20901 0 -1 4194304 646240 0 0 0 358557 130 0 0 20 0 1 0 32877605 3494223872 738867 18446744073709551615 4198400 14743177 140728137820336 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 40538112 140728137824650 140728137824746 140728137824746 140728137830348 0
/proc/21019/statm: 853082 738867 2688 2575 0 849989 0
Current children cumulated CPU time: 3586.87 s
Current children cumulated vsize: 3412328 KiB
Current children cumulated memory: 2955468 KiB
[startup+3598.2 s]*
/proc/loadavg: 4.16 4.16 4.09 5/265 21340
/proc/meminfo: memFree=109416068/131249996 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3598.24
CPU time (s): 3587.11
CPU user time (s): 3585.72
CPU system time (s): 1.38612
CPU usage (%): 99.6907
Max. virtual memory (cumulated for all children) (KiB): 3509976
Max. memory (cumulated for all children) (KiB): 3052384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.72
system time used= 1.38612
maximum resident set size= 3052384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 646336
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= 4
involuntary context switches= 1196
# summary of solver processes directly reported to runsolver:
# pid: 21019
# total CPU time (s): 3587.11
# total CPU user time (s): 3585.72
# total CPU system time (s): 1.38612
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.68607 second user time and 17.2325 second system time
The end
Begin job on nodeC032 at 2025-06-29 06:39:50 IDJOB=4503503 IDBENCH=155506 IDSOLVER=3366 FILE ID=nodeC032/4503503-1751171989 RUNJOBID= nodeC032-1751171866-20913 SLURM_JOB_ID= 9587537 Free space on /tmp= 431976 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-164.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503503-1751171989/watcher-4503503-1751171989 -o /tmp/evaluation-result-4503503-1751171989/solver-4503503-1751171989 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751171866-20913 --watchdog 3760 pbsolver -f HOME/instance-4503503-1751171989.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b4f7b6a8046a7674beacf37f098f7772 RANDOM SEED=1721843222 nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.840 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.867 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 : 3600.232 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 : 3661.622 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.849 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.844 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3597.312 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: 126981556 kB MemAvailable: 126676016 kB Buffers: 3280 kB Cached: 505552 kB SwapCached: 0 kB Active: 3408212 kB Inactive: 264628 kB Active(anon): 3182076 kB Inactive(anon): 0 kB Active(file): 226136 kB Inactive(file): 264628 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 41196 kB Writeback: 0 kB AnonPages: 3166832 kB Mapped: 134856 kB Shmem: 18068 kB KReclaimable: 85868 kB Slab: 168804 kB SReclaimable: 85868 kB SUnreclaim: 82936 kB KernelStack: 4288 kB PageTables: 9528 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 4021892 kB VmallocTotal: 34359738367 kB VmallocUsed: 150600 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 651264 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= 431652 MiB End job on nodeC032 at 2025-06-29 07:39:48