| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3584.03 | 3598.25 |
| 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.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4503502-1751172254.opb>
1.18/1.25 c original problem has 26339 variables (26339 bin, 0 int, 0 impl, 0 cont) and 612374 constraints
1.18/1.25 c problem read in 1.24
1.18/1.26 c No objective function, only one solution is needed.
2.08/2.15 c presolving:
2.98/3.09 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.27/3.31 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.98/4.01 c (4.0s) running MILP presolver
4.67/4.75 c (4.7s) MILP presolver (3 rounds): 736 aggregations, 0 fixings, 0 bound changes
4.67/4.78 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.87/5.00 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
6.08/6.10 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.46/7.57 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.85/9.96 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.96/10.08 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.65/11.77 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.75/11.88 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.64/13.70 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.74/13.82 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.94/16.03 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
16.04/16.15 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.73/17.85 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.83/17.96 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
19.53/19.66 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
19.63/19.78 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
21.32/21.48 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
21.42/21.59 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
23.22/23.30 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
23.32/23.41 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
25.51/25.62 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
25.61/25.73 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
27.31/27.44 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
27.41/27.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
28.21/28.33 c (28.3s) running MILP presolver
28.71/28.89 c (28.9s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
30.30/30.49 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
30.50/30.61 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
32.19/32.31 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
32.29/32.42 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
34.00/34.13 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
34.09/34.24 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
35.78/35.95 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
35.89/36.06 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
39.37/39.58 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
39.47/39.69 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
41.77/41.99 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
41.97/42.10 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
43.66/43.88 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
43.76/44.00 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
45.76/45.90 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
45.86/46.02 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
47.75/47.93 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
47.85/48.04 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
49.74/49.95 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
49.85/50.06 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
51.64/51.85 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
51.74/51.96 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
53.53/53.75 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
53.63/53.86 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
55.43/55.64 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
55.53/55.76 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
57.32/57.54 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
57.42/57.65 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
59.71/59.95 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
59.82/60.06 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
61.61/61.84 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
61.71/61.96 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
63.50/63.74 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
63.60/63.86 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
65.40/65.64 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
65.50/65.76 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
67.29/67.55 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
67.39/67.66 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
69.19/69.45 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
69.29/69.56 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
71.08/71.35 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
71.18/71.46 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
72.98/73.25 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
73.08/73.36 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
74.88/75.15 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
74.97/75.26 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
76.77/77.05 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
76.87/77.17 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
78.66/78.96 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
78.77/79.07 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
81.06/81.37 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
81.15/81.49 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
82.95/83.28 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
83.05/83.39 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
84.85/85.18 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
84.94/85.29 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
88.43/88.77 c (88.8s) probing: 340/14674 (2.3%) - 1067 fixings, 0 aggregations, 310 implications, 0 bound changes
88.43/88.77 c (88.8s) probing aborted: 50/50 successive totally useless probings
88.43/88.77 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
90.13/90.49 c (90.5s) probing: 345/14674 (2.4%) - 1067 fixings, 0 aggregations, 310 implications, 0 bound changes
90.13/90.49 c (90.5s) probing aborted: 50/50 successive totally useless probings
92.72/93.06 c (93.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
93.82/94.14 c (94.1s) no symmetry present (symcode time: 0.14)
95.31/95.62 c presolving (84 rounds: 84 fast, 43 medium, 42 exhaustive):
95.31/95.62 c 12732 deleted vars, 264750 deleted constraints, 3207 added constraints, 8288 tightened bounds, 0 added holes, 599 changed sides, 28862 changed coefficients
95.31/95.62 c 0 implications, 35249 cliques
95.31/95.62 c presolved problem has 13607 variables (13607 bin, 0 int, 0 impl, 0 cont) and 350831 constraints
95.31/95.62 c 57833 constraints of type <knapsack>
95.31/95.62 c 34937 constraints of type <setppc>
95.31/95.62 c 1 constraints of type <linear>
95.31/95.62 c 258060 constraints of type <logicor>
95.31/95.62 c transformed objective value is always integral (scale: 1)
95.31/95.62 c Presolving Time: 93.47
95.31/95.62 c - non default parameters ----------------------------------------------------------------------
95.31/95.62 c # SCIP version 10.0.0
95.31/95.62 c
95.31/95.62 c # maximal time in seconds to run
95.31/95.62 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
95.31/95.62 c limits/time = 3596.998015
95.31/95.62 c
95.31/95.62 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
95.31/95.62 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
95.31/95.62 c limits/memory = 27900
95.31/95.62 c
95.31/95.62 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
95.31/95.62 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
95.31/95.62 c limits/solutions = 1
95.31/95.62 c
95.31/95.62 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
95.31/95.62 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
95.31/95.62 c misc/usesymmetry = 3
95.31/95.62 c
95.31/95.62 c # belongs reading time to solving time?
95.31/95.62 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
95.31/95.62 c timing/reading = TRUE
95.31/95.62 c
95.31/95.62 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
95.31/95.62 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
95.31/95.62 c propagating/symmetry/detectdoublelex = FALSE
95.31/95.62 c
95.31/95.62 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
95.31/95.62 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
95.31/95.62 c propagating/symmetry/detectsubgroups = FALSE
95.31/95.62 c
95.31/95.62 c # Type of symmetries that shall be computed?
95.31/95.62 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
95.31/95.62 c propagating/symmetry/symtype = 1
95.31/95.62 c
95.31/95.62 c # Should components consisting of a single full reflection be handled?
95.31/95.62 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
95.31/95.62 c propagating/symmetry/usesimplesgncomp = FALSE
95.31/95.62 c
95.31/95.62 c -----------------------------------------------------------------------------------------------
95.31/95.62 c start solving
95.31/95.63 c
139.87/140.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
139.87/140.31 c 140s| 1 | 0 | 4705 | - | 2224M | 0 | 13k| 350k| 350k| 0 | 0 | 83 | 0 | 0.000000e+00 | -- | Inf | unknown
447.46/449.26 c 449s| 1 | 0 | 22746 | - | 2271M | 0 | 13k| 350k| 350k| 204 | 1 | 84 | 0 | 0.000000e+00 | -- | Inf | unknown
760.65/763.72 c 764s| 1 | 0 | 22754 | - | 2310M | 0 | 13k| 350k| 350k| 208 | 2 | 87 | 0 | 0.000000e+00 | -- | Inf | unknown
1029.86/1034.10 c 1034s| 1 | 0 | 22769 | - | 2347M | 0 | 13k| 350k| 350k| 214 | 3 | 87 | 0 | 0.000000e+00 | -- | Inf | unknown
1030.75/1034.99 c 1035s| 1 | 0 | 22781 | - | 2384M | 0 | 13k| 350k| 350k| 217 | 4 | 87 | 0 | 0.000000e+00 | -- | Inf | unknown
1331.47/1336.84 c 1337s| 1 | 0 | 22801 | - | 2421M | 0 | 13k| 350k| 350k| 221 | 5 | 89 | 0 | 0.000000e+00 | -- | Inf | unknown
1629.99/1636.55 c 1637s| 1 | 0 | 22811 | - | 2470M | 0 | 13k| 350k| 350k| 224 | 6 | 91 | 0 | 0.000000e+00 | -- | Inf | unknown
1942.55/1950.36 c 1950s| 1 | 0 | 22858 | - | 2535M | 0 | 13k| 350k| 350k| 229 | 7 | 92 | 0 | 0.000000e+00 | -- | Inf | unknown
2014.54/2022.69 c 2023s| 1 | 0 | 22906 | - | 2572M | 0 | 13k| 350k| 350k| 237 | 8 | 94 | 0 | 0.000000e+00 | -- | Inf | unknown
2304.35/2313.60 c 2314s| 1 | 0 | 22934 | - | 2637M | 0 | 13k| 350k| 350k| 245 | 9 | 97 | 0 | 0.000000e+00 | -- | Inf | unknown
2310.33/2319.61 c 2320s| 1 | 0 | 22951 | - | 2693M | 0 | 13k| 350k| 350k| 251 | 10 | 97 | 0 | 0.000000e+00 | -- | Inf | unknown
2311.03/2320.31 c 2320s| 1 | 0 | 22992 | - | 2729M | 0 | 13k| 350k| 350k| 255 | 11 | 97 | 0 | 0.000000e+00 | -- | Inf | unknown
2311.53/2320.87 c 2321s| 1 | 0 | 23026 | - | 2766M | 0 | 13k| 350k| 350k| 261 | 12 | 97 | 0 | 0.000000e+00 | -- | Inf | unknown
2312.12/2321.44 c 2321s| 1 | 0 | 23037 | - | 2803M | 0 | 13k| 350k| 350k| 267 | 13 | 98 | 0 | 0.000000e+00 | -- | Inf | unknown
2323.37/2332.72 c 2333s| 1 | 2 | 23069 | - | 2805M | 0 | 13k| 350k| 350k| 267 | 13 | 105 | 25 | 0.000000e+00 | -- | Inf | unknown
3496.05/3509.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3496.05/3509.90 c 3510s| 100 | 99 |985326 |9725.6 | 2925M | 31 | 13k| 349k| 350k| 284 | 1 | 518 | 25 | 0.000000e+00 | -- | Inf | unknown
3582.78/3597.04 c
3582.78/3597.04 c SCIP Status : solving was interrupted [time limit reached]
3582.78/3597.04 c Solving Time (sec) : 3597.03
3582.78/3597.04 c Solving Nodes : 131
3582.78/3597.04 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3582.78/3597.04 c Dual Bound : +0.00000000000000e+00
3582.78/3597.04 c Gap : infinite
3582.78/3597.04 s UNKNOWN
3582.78/3597.04 c SCIP Status : solving was interrupted [time limit reached]
3582.78/3597.04 c Total Time : 3597.03
3582.78/3597.04 c solving : 3597.03
3582.78/3597.04 c presolving : 93.47 (included in solving)
3582.78/3597.04 c reading : 1.24 (included in solving)
3582.78/3597.04 c copying : 3.59 (7 #copies) (minimal 0.49, maximal 0.55, average 0.51)
3582.78/3597.04 c Original Problem :
3582.78/3597.04 c Problem name : HOME/instance-4503502-1751172254.opb
3582.78/3597.04 c Variables : 26339 (26339 binary, 0 integer, 0 implicit integer, 0 continuous)
3582.78/3597.04 c Constraints : 612374 initial, 612374 maximal
3582.78/3597.04 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3582.78/3597.04 c Presolved Problem :
3582.78/3597.04 c Problem name : t_HOME/instance-4503502-1751172254.opb
3582.78/3597.04 c Variables : 13607 (13607 binary, 0 integer, 0 implicit integer, 0 continuous)
3582.78/3597.04 c Constraints : 350831 initial, 350890 maximal
3582.78/3597.04 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3582.78/3597.04 c Nonzeros : 1578075 constraint, 72292 clique table
3582.78/3597.04 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3582.78/3597.04 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c domcol : 10.04 0.00 40 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c dualsparsify : 2.57 0.00 1 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c gateextraction : 6.82 0.00 41 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c implics : 0.01 0.00 43 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c milp : 2.66 0.00 2 0 736 0 0 0 0 0 0 0
3582.78/3597.04 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c sparsify : 3.07 0.00 6 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c trivial : 0.04 0.00 84 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c dualfix : 0.04 0.00 84 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c probing : 12.90 0.00 40 1067 0 0 0 0 0 0 0 0
3582.78/3597.04 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c symmetry : 1.08 0.00 1 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c vbounds : 0.03 0.00 1 94 2180 0 0 0 0 0 0 0
3582.78/3597.04 c knapsack : 2.05 0.01 161 0 0 0 0 0 3204 3207 6 14
3582.78/3597.04 c setppc : 2.76 0.00 161 0 0 0 0 0 2137 0 0 0
3582.78/3597.04 c linear : 1.96 0.23 126 8288 367 0 8288 0 237074 0 593 700
3582.78/3597.04 c logicor : 45.41 1.28 161 0 0 0 0 0 22335 0 0 28148
3582.78/3597.04 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c components : 0.16 0.00 1 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c root node : - - - 48 - - 48 - - - - -
3582.78/3597.04 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3582.78/3597.04 c benderslp : 0 0 0 0 130 0 0 19 0 0 0 0 0 0 0
3582.78/3597.04 c integral : 0 0 0 0 130 0 0 19 0 0 0 0 0 0 260
3582.78/3597.04 c knapsack : 57833 57833 13 20903 0 0 0 15 7391 76 2227 4 2 0 0
3582.78/3597.04 c setppc : 34937+ 34983 13 20826 0 0 0 8 2564 241 953 0 0 0 0
3582.78/3597.04 c linear : 1+ 2 13 20586 0 0 0 3 0 0 0 0 0 0 0
3582.78/3597.04 c logicor : 258060+ 258073 13 9984 0 0 0 0 759 211 333 1 0 0 0
3582.78/3597.04 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3582.78/3597.04 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3582.78/3597.04 c integral : 9.45 0.00 0.00 0.00 9.45 0.00 0.00 0.00 0.00 0.00
3582.78/3597.04 c knapsack : 6.08 0.01 0.53 5.40 0.00 0.00 0.00 0.14 0.00 0.00
3582.78/3597.04 c setppc : 1.68 0.00 0.04 1.62 0.00 0.00 0.00 0.01 0.00 0.01
3582.78/3597.04 c linear : 0.23 0.23 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3582.78/3597.04 c logicor : 3.82 1.28 0.54 1.88 0.00 0.00 0.00 0.00 0.00 0.11
3582.78/3597.04 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3582.78/3597.04 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3582.78/3597.04 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3582.78/3597.04 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3582.78/3597.04 c Propagators : #Propagate #ResProp Cutoffs DomReds
3582.78/3597.04 c dualfix : 2 0 0 0
3582.78/3597.04 c genvbounds : 0 0 0 0
3582.78/3597.04 c nlobbt : 0 0 0 0
3582.78/3597.04 c obbt : 0 0 0 0
3582.78/3597.04 c probing : 0 0 0 0
3582.78/3597.04 c pseudoobj : 0 0 0 0
3582.78/3597.04 c redcost : 0 0 0 0
3582.78/3597.04 c rootredcost : 0 0 0 0
3582.78/3597.04 c symmetry : 0 0 0 0
3582.78/3597.04 c vbounds : 10437 0 0 0
3582.78/3597.04 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3582.78/3597.04 c dualfix : 0.04 0.00 0.04 0.00 0.00 0.00
3582.78/3597.04 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3582.78/3597.04 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3582.78/3597.04 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3582.78/3597.04 c probing : 12.90 0.00 12.90 0.00 0.00 0.00
3582.78/3597.04 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3582.78/3597.04 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3582.78/3597.04 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3582.78/3597.04 c symmetry : 1.08 0.00 1.08 0.00 0.00 0.00
3582.78/3597.04 c vbounds : 0.07 0.00 0.03 0.03 0.00 0.00
3582.78/3597.04 c Symmetry :
3582.78/3597.04 c orbitopal red. : 0 reductions applied, 0 cutoffs
3582.78/3597.04 c orbital reduction: 0 reductions applied, 0 cutoffs
3582.78/3597.04 c lexicographic red: 0 reductions applied, 0 cutoffs
3582.78/3597.04 c shadow tree time : 0.00 s
3582.78/3597.04 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3582.78/3597.04 c propagation : 0.03 517 517 - 959 209.1 77 3.5 - - -
3582.78/3597.04 c infeasible LP : 0.01 1 1 - 59 840.3 4 6.5 1 1516.0 0
3582.78/3597.04 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3582.78/3597.04 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3582.78/3597.04 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3582.78/3597.04 c applied globally : 0.00 - - 0 816 17.2 - - 1 - -
3582.78/3597.04 c applied locally : - - - 0 0 0.0 - - 0 - -
3582.78/3597.04 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3582.78/3597.04 c cut pool : 0.06 - 46 25 - - 865 1306 - - - - - (maximal pool size: 865)
3582.78/3597.04 c aggregation : 0.41 0.00 18 13 0 0 2 2 0 0 0 0 0
3582.78/3597.04 c > cmir : - - - - - - - 1 0 0 0 0 -
3582.78/3597.04 c > flowcover : - - - - - - - 1 0 0 0 0 -
3582.78/3597.04 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3582.78/3597.04 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c clique : 2.30 0.00 13 13 0 0 51 104 0 33 33 0 0
3582.78/3597.04 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c gomory : 2128.59 0.00 15 10 0 0 1105 1178 312 224 22 202 0
3582.78/3597.04 c > gomorymi : - - - - - - - 573 156 113 10 103 -
3582.78/3597.04 c > strongcg : - - - - - - - 605 156 111 12 99 -
3582.78/3597.04 c impliedbounds : 0.05 0.00 18 13 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c mcf : 0.17 0.00 1 1 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c multilinear : 0.00 0.00 19 13 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c rlt : 0.00 0.00 12 10 0 0 0 0 0 0 0 0 0
3582.78/3597.04 c zerohalf : 0.43 0.00 18 13 0 0 28 22 9 24 18 6 0
3582.78/3597.04 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3582.78/3597.04 c hybrid : 0.02 0.00 18 13 84 200 1548 67 200 1234
3582.78/3597.04 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3582.78/3597.04 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3582.78/3597.04 c Pricers : ExecTime SetupTime Calls Vars
3582.78/3597.04 c problem variables: 0.00 - 0 0
3582.78/3597.04 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3582.78/3597.04 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3582.78/3597.04 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3582.78/3597.04 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3582.78/3597.04 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3582.78/3597.04 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3582.78/3597.04 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3582.78/3597.04 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3582.78/3597.04 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3582.78/3597.04 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3582.78/3597.04 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3582.78/3597.04 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3582.78/3597.04 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3582.78/3597.04 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3582.78/3597.04 c relpscost : 9.45 0.00 130 0 0 0 0 0 0 260
3582.78/3597.04 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3582.78/3597.04 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3582.78/3597.04 c LP solutions : 0.00 - - 0 0
3582.78/3597.04 c relax solutions : 0.00 - - 0 0
3582.78/3597.04 c pseudo solutions : 0.00 - - 0 0
3582.78/3597.04 c strong branching : 0.00 - - 0 0
3582.78/3597.04 c actconsdiving : 0.00 0.00 0 0 0
3582.78/3597.04 c adaptivediving : 28.90 0.00 1 0 0
3582.78/3597.04 c alns : 6.27 0.00 3 0 0
3582.78/3597.04 c bound : 0.00 0.00 0 0 0
3582.78/3597.04 c clique : 39.43 0.00 1 0 0
3582.78/3597.04 c coefdiving : 0.00 0.00 0 0 0
3582.78/3597.04 c completesol : 0.00 0.00 0 0 0
3582.78/3597.04 c conflictdiving : 22.33 0.00 9 0 0
3582.78/3597.04 c crossover : 0.00 0.00 0 0 0
3582.78/3597.04 c dins : 0.00 0.00 0 0 0
3582.78/3597.04 c distributiondivin: 31.97 0.00 3 0 0
3582.78/3597.04 c dps : 0.00 0.00 0 0 0
3582.78/3597.04 c dualval : 0.00 0.00 0 0 0
3582.78/3597.04 c farkasdiving : 0.00 0.00 0 0 0
3582.78/3597.04 c feasjump : 0.30 0.00 1 0 0
3582.78/3597.04 c feaspump : 98.77 0.00 2 0 0
3582.78/3597.04 c fixandinfer : 0.00 0.00 0 0 0
3582.78/3597.04 c fracdiving : 32.07 0.00 4 0 0
3582.78/3597.04 c gins : 0.00 0.00 0 0 0
3582.78/3597.04 c guideddiving : 0.00 0.00 0 0 0
3582.78/3597.04 c indcoefdiving : 0.00 0.00 0 0 0
3582.78/3597.04 c indicator : 0.00 0.00 0 0 0
3582.78/3597.04 c indicatordiving : 0.00 0.00 0 0 0
3582.78/3597.04 c indoneopt : 0.00 0.00 0 0 0
3582.78/3597.04 c indrounding : 0.00 0.00 0 0 0
3582.78/3597.04 c indtwoopt : 0.00 0.00 0 0 0
3582.78/3597.04 c intdiving : 0.00 0.00 0 0 0
3582.78/3597.04 c intshifting : 0.00 0.00 0 0 0
3582.78/3597.04 c linesearchdiving : 43.05 0.00 5 0 0
3582.78/3597.04 c localbranching : 0.00 0.00 0 0 0
3582.78/3597.04 c locks : 0.46 0.00 1 0 0
3582.78/3597.04 c lpface : 0.01 0.00 0 0 0
3582.78/3597.04 c mpec : 0.00 0.00 0 0 0
3582.78/3597.04 c multistart : 0.00 0.00 0 0 0
3582.78/3597.04 c mutation : 0.00 0.00 0 0 0
3582.78/3597.04 c nlpdiving : 0.00 0.00 0 0 0
3582.78/3597.04 c objpscostdiving : 719.93 0.00 1 0 0
3582.78/3597.04 c octane : 0.00 0.00 0 0 0
3582.78/3597.04 c ofins : 0.00 0.00 0 0 0
3582.78/3597.04 c oneopt : 0.00 0.00 0 0 0
3582.78/3597.04 c padm : 0.00 0.00 0 0 0
3582.78/3597.04 c proximity : 0.00 0.00 0 0 0
3582.78/3597.04 c pscostdiving : 65.11 0.00 4 0 0
3582.78/3597.04 c randrounding : 0.84 0.00 20 0 0
3582.78/3597.04 c rens : 1.28 0.00 1 0 0
3582.78/3597.04 c reoptsols : 0.00 0.00 0 0 0
3582.78/3597.04 c repair : 0.00 0.00 0 0 0
3582.78/3597.04 c rins : 0.00 0.00 0 0 0
3582.78/3597.04 c rootsoldiving : 79.54 0.00 1 0 0
3582.78/3597.04 c rounding : 1.48 0.00 124 0 0
3582.78/3597.04 c scheduler : 0.00 0.00 0 0 0
3582.78/3597.04 c shiftandpropagate: 0.15 0.00 1 0 0
3582.78/3597.04 c shifting : 7.80 0.00 33 0 0
3582.78/3597.04 c simplerounding : 0.00 0.00 0 0 0
3582.78/3597.04 c smallcard : 0.00 0.00 0 0 0
3582.78/3597.04 c subnlp : 0.00 0.00 0 0 0
3582.78/3597.04 c trivial : 0.04 0.00 2 0 0
3582.78/3597.04 c trivialnegation : 0.00 0.00 0 0 0
3582.78/3597.04 c trustregion : 0.00 0.00 0 0 0
3582.78/3597.04 c trysol : 0.00 0.00 0 0 0
3582.78/3597.04 c twoopt : 0.00 0.00 0 0 0
3582.78/3597.04 c undercover : 0.00 0.00 0 0 0
3582.78/3597.04 c vbounds : 3.88 0.00 1 0 0
3582.78/3597.04 c veclendiving : 49.49 0.00 6 0 0
3582.78/3597.04 c zeroobj : 0.00 0.00 0 0 0
3582.78/3597.04 c zirounding : 0.59 0.00 129 0 0
3582.78/3597.04 c other solutions : - - - 0 -
3582.78/3597.04 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3582.78/3597.04 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
3582.78/3597.04 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
3582.78/3597.04 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
3582.78/3597.04 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
3582.78/3597.04 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
3582.78/3597.04 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
3582.78/3597.04 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
3582.78/3597.04 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
3582.78/3597.04 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
3582.78/3597.04 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3582.78/3597.04 c primal LP : 0.15 4 0 0.00 0.00 0.15 4
3582.78/3597.04 c dual LP : 118.77 148 61896 418.22 521.13 0.00 0
3582.78/3597.04 c lex dual LP : 0.00 0 0 0.00 -
3582.78/3597.04 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3582.78/3597.04 c resolve instable : 0.00 0 0 0.00 -
3582.78/3597.04 c diving/probing LP: 1137.22 1296 960096 740.81 844.24
3582.78/3597.04 c strong branching : 6.62 25 5980 239.20 902.98 - - 8
3582.78/3597.04 c (at root node) : - 25 5980 239.20 -
3582.78/3597.04 c conflict analysis: 0.00 0 0 0.00 -
3582.78/3597.04 c B&B Tree :
3582.78/3597.04 c number of runs : 1
3582.78/3597.04 c nodes : 131 (130 internal, 1 leaves)
3582.78/3597.04 c feasible leaves : 0
3582.78/3597.04 c infeas. leaves : 1
3582.78/3597.04 c objective leaves : 0
3582.78/3597.04 c nodes (total) : 131 (130 internal, 1 leaves)
3582.78/3597.04 c nodes left : 130
3582.78/3597.04 c max depth : 36
3582.78/3597.04 c max depth (total): 36
3582.78/3597.04 c backtracks : 30 (22.9%)
3582.78/3597.04 c early backtracks : 0 (0.0%)
3582.78/3597.04 c nodes exc. ref. : 0 (0.0%)
3582.78/3597.04 c delayed cutoffs : 0
3582.78/3597.04 c repropagations : 90 (76 domain reductions, 0 cutoffs)
3582.78/3597.04 c avg switch length: 7.03
3582.78/3597.04 c switching time : 0.84
3582.78/3597.04 c Root Node :
3582.78/3597.04 c First LP value : +0.00000000000000e+00
3582.78/3597.04 c First LP Iters : 4159 (9924.24 Iter/sec)
3582.78/3597.04 c First LP Time : 0.42
3582.78/3597.04 c Final Dual Bound : +0.00000000000000e+00
3582.78/3597.04 c Final Root Iters : 22491
3582.78/3597.04 c Root LP Estimate : +2.82396940808776e-03
3582.78/3597.04 c Solution :
3582.78/3597.04 c Solutions found : 0 (0 improvements)
3582.78/3597.04 c Primal Bound : -
3582.78/3597.04 c Dual Bound : +0.00000000000000e+00
3582.78/3597.04 c Gap : infinite
3582.78/3597.04 c Integrals : Total Avg%
3582.78/3597.04 c primal-dual : 359703.06 100.00
3582.78/3597.04 c primal-ref : - - (not evaluated)
3582.78/3597.04 c dual-ref : - - (not evaluated)
3583.98/3598.21 c Time complete: 3584.
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: 63665 MiB (61621 MiB free)
memory of node 1: 64507 MiB (62049 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503502-1751172254/watcher-4503502-1751172254 -o /tmp/evaluation-result-4503502-1751172254/solver-4503502-1751172254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751168386-23686 --watchdog 3760 pbscip -f HOME/instance-4503502-1751172254.opb -t 3600 -j 2 -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=24437, runsolver pid=24434
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 4.10 4.08 4.04 5/265 24438
/proc/meminfo: memFree=126611272/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=73240 memory=45184 CPUtime=0.09 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 8440 0 0 0 8 1 0 0 20 0 1 0 32903221 74997760 11296 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 18310 11296 3200 3530 0 9761 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 73240 KiB
Current children cumulated memory: 45184 KiB
[startup+0.205599 s]*
/proc/loadavg: 4.10 4.08 4.04 5/265 24438
/proc/meminfo: memFree=126583048/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=103064 memory=74496 CPUtime=0.19 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 15761 0 0 0 17 2 0 0 20 0 1 0 32903221 105537536 18624 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 25766 18624 3200 3530 0 17217 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 103064 KiB
Current children cumulated memory: 74496 KiB
[startup+0.305601 s]*
/proc/loadavg: 4.10 4.08 4.04 5/265 24438
/proc/meminfo: memFree=126550792/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=131240 memory=102656 CPUtime=0.3 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 22803 0 0 0 26 4 0 0 20 0 1 0 32903221 134389760 25664 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 32810 25664 3200 3530 0 24261 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 131240 KiB
Current children cumulated memory: 102656 KiB
[startup+0.700181 s]
/proc/loadavg: 4.10 4.08 4.04 5/265 24438
/proc/meminfo: memFree=126502408/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=234612 memory=205640 CPUtime=0.68 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 48050 0 0 0 60 8 0 0 20 0 1 0 32903221 240242688 51410 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 58653 51410 3200 3530 0 50104 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 234612 KiB
Current children cumulated memory: 205640 KiB
[startup+1.50018 s]
/proc/loadavg: 4.10 4.08 4.04 5/265 24438
/proc/meminfo: memFree=126366156/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=522656 memory=494656 CPUtime=1.48 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 120929 0 0 0 129 19 0 0 20 0 1 0 32903221 535199744 123664 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 130664 123664 3488 3530 0 122115 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 522656 KiB
Current children cumulated memory: 494656 KiB
[startup+3.10556 s]
/proc/loadavg: 4.10 4.08 4.04 5/265 24438
/proc/meminfo: memFree=125751012/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=939680 memory=895436 CPUtime=3.08 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 207819 0 0 0 275 33 0 0 20 0 1 0 32903221 962232320 223859 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 234920 223859 3552 3530 0 226371 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 939680 KiB
Current children cumulated memory: 895436 KiB
[startup+6.30018 s]
/proc/loadavg: 4.09 4.08 4.04 5/265 24438
/proc/meminfo: memFree=125308256/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=1200044 memory=1152248 CPUtime=6.27 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 255554 0 0 0 578 49 0 0 20 0 1 0 32903221 1228845056 288062 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 300011 288062 3712 3530 0 291462 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1200044 KiB
Current children cumulated memory: 1152248 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.04 5/265 24438
/proc/meminfo: memFree=125295020/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=1208236 memory=1161712 CPUtime=12.65 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 256455 0 0 0 1216 49 0 0 20 0 1 0 32903221 1237233664 290428 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 302059 290428 3712 3530 0 293510 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1208236 KiB
Current children cumulated memory: 1161712 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.09 4.05 5/265 24438
/proc/meminfo: memFree=125362720/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=1208236 memory=1161712 CPUtime=25.41 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 256455 0 0 0 2492 49 0 0 20 0 1 0 32903221 1237233664 290428 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 302059 290428 3712 3530 0 293510 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1208236 KiB
Current children cumulated memory: 1161712 KiB
[startup+51.1055 s]
/proc/loadavg: 4.09 4.09 4.04 5/265 24439
/proc/meminfo: memFree=125356480/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=1274208 memory=1227916 CPUtime=50.95 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 266065 0 0 0 5039 56 0 0 20 0 1 0 32903221 1304788992 306979 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 318552 306979 3712 3530 0 310003 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1274208 KiB
Current children cumulated memory: 1227916 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.05 5/265 24441
/proc/meminfo: memFree=123739944/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=2967428 memory=2805988 CPUtime=102 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 483631 0 0 0 10094 106 0 0 20 0 1 0 32903221 3038646272 701497 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 741857 701497 3904 3530 0 733308 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2967428 KiB
Current children cumulated memory: 2805988 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.08 4.05 5/265 24450
/proc/meminfo: memFree=123688512/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=2972732 memory=2827268 CPUtime=161.78 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 488076 0 0 0 16071 107 0 0 20 0 1 0 32903221 3044077568 706817 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 743183 706817 3936 3530 0 734634 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 2972732 KiB
Current children cumulated memory: 2827268 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.08 4.05 5/265 24452
/proc/meminfo: memFree=123614772/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=2972732 memory=2828420 CPUtime=221.53 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 488414 0 0 0 22046 107 0 0 20 0 1 0 32903221 3044077568 707105 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 743183 707105 3936 3530 0 734634 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 2972732 KiB
Current children cumulated memory: 2828420 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.08 4.05 5/265 24454
/proc/meminfo: memFree=123612332/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=2972732 memory=2828420 CPUtime=281.27 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 488414 0 0 0 28020 107 0 0 20 0 1 0 32903221 3044077568 707105 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 743183 707105 3936 3530 0 734634 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 2972732 KiB
Current children cumulated memory: 2828420 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.08 4.05 5/265 24457
/proc/meminfo: memFree=123604592/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=2972732 memory=2828420 CPUtime=341.01 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 488440 0 0 0 33994 107 0 0 20 0 1 0 32903221 3044077568 707105 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 743183 707105 3936 3530 0 734634 0
Current children cumulated CPU time: 341.01 s
Current children cumulated vsize: 2972732 KiB
Current children cumulated memory: 2828420 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.08 4.05 5/265 24460
/proc/meminfo: memFree=123546304/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=2972732 memory=2828420 CPUtime=400.76 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 488440 0 0 0 39969 107 0 0 20 0 1 0 32903221 3044077568 707105 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 743183 707105 3936 3530 0 734634 0
Current children cumulated CPU time: 400.76 s
Current children cumulated vsize: 2972732 KiB
Current children cumulated memory: 2828420 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.09 4.05 5/263 24462
/proc/meminfo: memFree=123445344/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=2972732 memory=2828804 CPUtime=460.51 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 488627 0 0 0 45944 107 0 0 20 0 1 0 32903221 3044077568 707201 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 743183 707201 3936 3530 0 734634 0
################
# More data... #
################
/proc/loadavg: 4.08 4.08 4.09 5/264 24609
/proc/meminfo: memFree=120616212/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=3319388 memory=2922324 CPUtime=3149.77 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 576437 0 0 0 314855 122 0 0 20 0 1 0 32903221 3399053312 730581 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 829847 730581 3936 3530 0 821298 0
Current children cumulated CPU time: 3149.77 s
Current children cumulated vsize: 3319388 KiB
Current children cumulated memory: 2922324 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 24611
/proc/meminfo: memFree=120589956/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=3319388 memory=2922324 CPUtime=3209.56 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 576451 0 0 0 320834 122 0 0 20 0 1 0 32903221 3399053312 730581 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 829847 730581 3936 3530 0 821298 0
Current children cumulated CPU time: 3209.56 s
Current children cumulated vsize: 3319388 KiB
Current children cumulated memory: 2922324 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 24614
/proc/meminfo: memFree=120185220/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=3713168 memory=3304672 CPUtime=3269.34 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 667374 0 0 0 326797 137 0 0 20 0 1 0 32903221 3802284032 826168 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 928292 826168 3936 3530 0 919743 0
Current children cumulated CPU time: 3269.34 s
Current children cumulated vsize: 3713168 KiB
Current children cumulated memory: 3304672 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.11 4.10 5/264 24706
/proc/meminfo: memFree=120175964/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=3713168 memory=3330528 CPUtime=3329.11 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 670914 0 0 0 332774 137 0 0 20 0 1 0 32903221 3802284032 832632 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 928292 832632 3936 3530 0 919743 0
Current children cumulated CPU time: 3329.11 s
Current children cumulated vsize: 3713168 KiB
Current children cumulated memory: 3330528 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 24708
/proc/meminfo: memFree=110358064/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=3713168 memory=3330528 CPUtime=3388.88 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 670921 0 0 0 338751 137 0 0 20 0 1 0 32903221 3802284032 832632 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 928292 832632 3936 3530 0 919743 0
Current children cumulated CPU time: 3388.88 s
Current children cumulated vsize: 3713168 KiB
Current children cumulated memory: 3330528 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 24711
/proc/meminfo: memFree=107459480/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=3713168 memory=3333216 CPUtime=3448.65 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 670925 0 0 0 344728 137 0 0 20 0 1 0 32903221 3802284032 833304 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 928292 833304 3936 3530 0 919743 0
Current children cumulated CPU time: 3448.65 s
Current children cumulated vsize: 3713168 KiB
Current children cumulated memory: 3333216 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/264 24757
/proc/meminfo: memFree=106364168/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=3713168 memory=3333472 CPUtime=3508.4 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 670925 0 0 0 350703 137 0 0 20 0 1 0 32903221 3802284032 833368 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 928292 833368 3936 3530 0 919743 0
Current children cumulated CPU time: 3508.4 s
Current children cumulated vsize: 3713168 KiB
Current children cumulated memory: 3333472 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 24760
/proc/meminfo: memFree=106358280/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=3713168 memory=3333472 CPUtime=3568.14 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 671459 0 0 0 356677 137 0 0 20 0 1 0 32903221 3802284032 833368 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 928292 833368 3936 3530 0 919743 0
Current children cumulated CPU time: 3568.14 s
Current children cumulated vsize: 3713168 KiB
Current children cumulated memory: 3333472 KiB
[startup+3598.25 s]
# the end of solver process 24437 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.6 s, system=1.43157 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.11 4.09 5/264 24760
/proc/meminfo: memFree=106358280/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=3713168 memory=3333472 CPUtime=3569.84 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 671462 0 0 0 356847 137 0 0 20 0 1 0 32903221 3802284032 833368 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 928292 833368 3936 3530 0 919743 0
Current children cumulated CPU time: 3569.84 s
Current children cumulated vsize: 3713168 KiB
Current children cumulated memory: 3333472 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 24761
/proc/meminfo: memFree=106384272/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=3713168 memory=3333472 CPUtime=3576.21 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 671463 0 0 0 357484 137 0 0 20 0 1 0 32903221 3802284032 833368 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 928292 833368 3936 3530 0 919743 0
Current children cumulated CPU time: 3576.21 s
Current children cumulated vsize: 3713168 KiB
Current children cumulated memory: 3333472 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 24761
/proc/meminfo: memFree=106384448/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=3713168 memory=3333472 CPUtime=3579.39 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 671464 0 0 0 357802 137 0 0 20 0 1 0 32903221 3802284032 833368 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 928292 833368 3936 3530 0 919743 0
Current children cumulated CPU time: 3579.39 s
Current children cumulated vsize: 3713168 KiB
Current children cumulated memory: 3333472 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 24761
/proc/meminfo: memFree=106372160/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=3713168 memory=3333472 CPUtime=3582.58 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 671464 0 0 0 358121 137 0 0 20 0 1 0 32903221 3802284032 833368 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 928292 833368 3936 3530 0 919743 0
Current children cumulated CPU time: 3582.58 s
Current children cumulated vsize: 3713168 KiB
Current children cumulated memory: 3333472 KiB
[startup+3597.6 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 24761
/proc/meminfo: memFree=106372160/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=3713168 memory=3333472 CPUtime=3583.37 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 671466 0 0 0 358200 137 0 0 20 0 1 0 32903221 3802284032 833368 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 928292 833368 3936 3530 0 919743 0
Current children cumulated CPU time: 3583.37 s
Current children cumulated vsize: 3713168 KiB
Current children cumulated memory: 3333472 KiB
[startup+3598 s]*
/proc/loadavg: 4.08 4.10 4.09 5/264 24761
/proc/meminfo: memFree=106407240/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=3661848 memory=3282812 CPUtime=3583.78 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 671471 0 0 0 358241 137 0 0 20 0 1 0 32903221 3749732352 820703 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 915462 820703 3936 3530 0 906913 0
Current children cumulated CPU time: 3583.78 s
Current children cumulated vsize: 3661848 KiB
Current children cumulated memory: 3282812 KiB
[startup+3598.2 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 24761
/proc/meminfo: memFree=106407240/131250000 swapFree=33010684/33010684
[pid=24437] ppid=24434 vsize=3420544 memory=3042168 CPUtime=3583.98 cores=1,3
/proc/24437/stat : 24437 (pbscip) R 24434 24437 23674 0 -1 4194304 671471 0 0 0 358259 139 0 0 20 0 1 0 32903221 3502637056 760542 18446744073709551615 4235264 18693293 140727864894880 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56938496 140727864899977 140727864900076 140727864900076 140727864905678 0
/proc/24437/statm: 855136 760542 3936 3530 0 846587 0
Current children cumulated CPU time: 3583.98 s
Current children cumulated vsize: 3420544 KiB
Current children cumulated memory: 3042168 KiB
Child status: 0
Real time (s): 3598.25
CPU time (s): 3584.03
CPU user time (s): 3582.6
CPU system time (s): 1.43157
CPU usage (%): 99.605
Max. virtual memory (cumulated for all children) (KiB): 3713168
Max. memory (cumulated for all children) (KiB): 3333472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.6
system time used= 1.43157
maximum resident set size= 3333472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 671535
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= 96
involuntary context switches= 6250
# summary of solver processes directly reported to runsolver:
# pid: 24437
# total CPU time (s): 3584.03
# total CPU user time (s): 3582.6
# total CPU system time (s): 1.43157
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.105 second user time and 16.2466 second system time
The end
Begin job on nodeC018 at 2025-06-29 06:44:14 IDJOB=4503502 IDBENCH=155506 IDSOLVER=3365 FILE ID=nodeC018/4503502-1751172254 RUNJOBID= nodeC018-1751168386-23686 SLURM_JOB_ID= 9587511 Free space on /tmp= 432960 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-164.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503502-1751172254/watcher-4503502-1751172254 -o /tmp/evaluation-result-4503502-1751172254/solver-4503502-1751172254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751168386-23686 --watchdog 3760 pbscip -f HOME/instance-4503502-1751172254.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b4f7b6a8046a7674beacf37f098f7772 RANDOM SEED=786619763 nodeC018 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.830 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.66 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.626 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.66 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 : 3718.467 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.66 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 : 3506.465 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.66 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.821 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.66 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.830 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.66 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 : 3592.392 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.66 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 : 3599.627 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.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 126638920 kB MemAvailable: 126392444 kB Buffers: 3280 kB Cached: 563904 kB SwapCached: 0 kB Active: 3700828 kB Inactive: 306732 kB Active(anon): 3458456 kB Inactive(anon): 0 kB Active(file): 242372 kB Inactive(file): 306732 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 44900 kB Writeback: 0 kB AnonPages: 3442028 kB Mapped: 137328 kB Shmem: 18076 kB KReclaimable: 86916 kB Slab: 169984 kB SReclaimable: 86916 kB SUnreclaim: 83068 kB KernelStack: 4272 kB PageTables: 10204 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 4364856 kB VmallocTotal: 34359738367 kB VmallocUsed: 150536 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 880640 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: 201428 kB DirectMap2M: 7958528 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432632 MiB End job on nodeC018 at 2025-06-29 07:44:12