| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3587.23 | 3597.19 |
| Name | PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/ miplib2017/normalized-academictimetablesmall.0.s.opb |
| MD5SUM | a01609390e4b909b7e540efbd0d53806 |
| 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 | 1.88101 |
| 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 | 28926 |
| Total number of constraints | 20352 |
| Number of constraints which are clauses | 8741 |
| Number of constraints which are cardinality constraints (but not clauses) | 2114 |
| Number of constraints which are nor clauses,nor cardinality constraints | 9497 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 1295 |
| 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 | 1005 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 11145 |
| Number of bits of the biggest sum of numbers | 14 |
| 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-4514996-1751228585.opb>
0.27/0.34 c original problem has 28926 variables (28926 bin, 0 int, 0 impl, 0 cont) and 20352 constraints
0.27/0.34 c problem read in 0.33
0.27/0.34 c No objective function, only one solution is needed.
0.44/0.53 c presolving:
0.54/0.65 c (round 1, fast) 5568 del vars, 3598 del conss, 0 add conss, 5423 chg bounds, 20 chg sides, 16 chg coeffs, 0 upgd conss, 0 impls, 6031 clqs
0.54/0.68 c (round 2, fast) 5725 del vars, 4263 del conss, 0 add conss, 5491 chg bounds, 25 chg sides, 16 chg coeffs, 0 upgd conss, 0 impls, 7241 clqs
0.73/0.82 c (0.8s) running MILP presolver
0.92/1.02 c (1.0s) MILP presolver (5 rounds): 134 aggregations, 0 fixings, 0 bound changes
0.92/1.04 c (round 3, medium) 5871 del vars, 4263 del conss, 0 add conss, 5491 chg bounds, 25 chg sides, 16 chg coeffs, 0 upgd conss, 0 impls, 7193 clqs
0.92/1.05 c (round 4, fast) 5874 del vars, 4360 del conss, 0 add conss, 5491 chg bounds, 26 chg sides, 18 chg coeffs, 0 upgd conss, 0 impls, 8224 clqs
0.92/1.10 c (round 5, exhaustive) 5887 del vars, 4697 del conss, 0 add conss, 5491 chg bounds, 26 chg sides, 18 chg coeffs, 0 upgd conss, 0 impls, 8291 clqs
1.12/1.25 c (round 6, exhaustive) 5889 del vars, 4698 del conss, 0 add conss, 5491 chg bounds, 26 chg sides, 18 chg coeffs, 15143 upgd conss, 0 impls, 8547 clqs
1.32/1.43 c (round 7, medium) 6208 del vars, 5083 del conss, 413 add conss, 5491 chg bounds, 67 chg sides, 2918 chg coeffs, 15143 upgd conss, 0 impls, 9188 clqs
1.32/1.45 c (round 8, fast) 6208 del vars, 5106 del conss, 413 add conss, 5491 chg bounds, 73 chg sides, 2954 chg coeffs, 15143 upgd conss, 0 impls, 9195 clqs
1.62/1.71 c (round 9, exhaustive) 6273 del vars, 5171 del conss, 413 add conss, 5491 chg bounds, 73 chg sides, 3945 chg coeffs, 15143 upgd conss, 0 impls, 9195 clqs
1.62/1.79 c (round 10, exhaustive) 6273 del vars, 5171 del conss, 413 add conss, 5491 chg bounds, 78 chg sides, 4706 chg coeffs, 15179 upgd conss, 0 impls, 9365 clqs
1.72/1.87 c (round 11, exhaustive) 6273 del vars, 5278 del conss, 413 add conss, 5491 chg bounds, 78 chg sides, 5413 chg coeffs, 15179 upgd conss, 0 impls, 9546 clqs
1.82/1.96 c (round 12, exhaustive) 6425 del vars, 5278 del conss, 413 add conss, 5491 chg bounds, 78 chg sides, 5819 chg coeffs, 15179 upgd conss, 0 impls, 9693 clqs
1.82/1.97 c (round 13, fast) 6425 del vars, 5323 del conss, 413 add conss, 5491 chg bounds, 78 chg sides, 5971 chg coeffs, 15179 upgd conss, 0 impls, 9693 clqs
2.61/2.75 c (2.7s) probing: 182/22742 (0.8%) - 165 fixings, 0 aggregations, 4080 implications, 0 bound changes
2.61/2.75 c (2.7s) probing aborted: 50/50 successive totally useless probings
2.61/2.75 c (2.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
11.90/12.08 c (12.1s) symmetry computation finished: 550 generators found (max: 1500, log10 of symmetry group size: 360.0) (symcode time: 9.25)
12.00/12.18 c dynamic symmetry handling statistics:
12.00/12.18 c orbitopal reduction: no components
12.00/12.18 c orbital reduction: no components
12.00/12.18 c lexicographic reduction: 1 permutations with support sizes 328
12.00/12.18 c handled 13 out of 13 symmetry components
12.00/12.19 c (round 14, exhaustive) 7545 del vars, 5355 del conss, 926 add conss, 5491 chg bounds, 78 chg sides, 6354 chg coeffs, 15179 upgd conss, 0 impls, 13009 clqs
12.09/12.20 c (round 15, fast) 7545 del vars, 5802 del conss, 1123 add conss, 5491 chg bounds, 78 chg sides, 7043 chg coeffs, 15179 upgd conss, 0 impls, 13011 clqs
12.09/12.23 c (round 16, medium) 7776 del vars, 5802 del conss, 1123 add conss, 5491 chg bounds, 78 chg sides, 7196 chg coeffs, 15179 upgd conss, 0 impls, 13052 clqs
12.09/12.23 c (round 17, fast) 7776 del vars, 5827 del conss, 1123 add conss, 5491 chg bounds, 78 chg sides, 7196 chg coeffs, 15179 upgd conss, 0 impls, 13052 clqs
12.09/12.25 c (round 18, medium) 7971 del vars, 5827 del conss, 1123 add conss, 5491 chg bounds, 78 chg sides, 7325 chg coeffs, 15179 upgd conss, 0 impls, 12984 clqs
12.09/12.26 c (round 19, medium) 8143 del vars, 5830 del conss, 1123 add conss, 5491 chg bounds, 78 chg sides, 7449 chg coeffs, 15179 upgd conss, 0 impls, 12928 clqs
12.09/12.28 c (round 20, medium) 8298 del vars, 5830 del conss, 1123 add conss, 5491 chg bounds, 78 chg sides, 7560 chg coeffs, 15179 upgd conss, 0 impls, 12884 clqs
12.09/12.29 c (round 21, medium) 8438 del vars, 5830 del conss, 1123 add conss, 5491 chg bounds, 78 chg sides, 7662 chg coeffs, 15179 upgd conss, 0 impls, 12846 clqs
12.19/12.31 c (round 22, medium) 8563 del vars, 5830 del conss, 1123 add conss, 5491 chg bounds, 78 chg sides, 7747 chg coeffs, 15179 upgd conss, 0 impls, 12819 clqs
12.19/12.32 c (round 23, medium) 8673 del vars, 5830 del conss, 1123 add conss, 5491 chg bounds, 78 chg sides, 7822 chg coeffs, 15179 upgd conss, 0 impls, 12784 clqs
12.19/12.34 c (round 24, medium) 8768 del vars, 5841 del conss, 1123 add conss, 5491 chg bounds, 78 chg sides, 7885 chg coeffs, 15179 upgd conss, 0 impls, 12761 clqs
12.19/12.35 c (round 25, medium) 8841 del vars, 5848 del conss, 1123 add conss, 5491 chg bounds, 78 chg sides, 7934 chg coeffs, 15179 upgd conss, 0 impls, 12707 clqs
12.19/12.36 c (round 26, fast) 8841 del vars, 5878 del conss, 1123 add conss, 5491 chg bounds, 78 chg sides, 7934 chg coeffs, 15179 upgd conss, 0 impls, 12707 clqs
12.19/12.37 c (round 27, medium) 8901 del vars, 5878 del conss, 1123 add conss, 5491 chg bounds, 78 chg sides, 7974 chg coeffs, 15179 upgd conss, 0 impls, 12687 clqs
12.19/12.39 c (round 28, medium) 8929 del vars, 5898 del conss, 1123 add conss, 5491 chg bounds, 78 chg sides, 7994 chg coeffs, 15179 upgd conss, 0 impls, 12679 clqs
12.29/12.40 c (round 29, medium) 8951 del vars, 5898 del conss, 1123 add conss, 5491 chg bounds, 78 chg sides, 8011 chg coeffs, 15179 upgd conss, 0 impls, 12674 clqs
12.49/12.62 c (round 30, exhaustive) 8988 del vars, 5898 del conss, 1123 add conss, 5491 chg bounds, 78 chg sides, 8685 chg coeffs, 15189 upgd conss, 0 impls, 19276 clqs
12.49/12.63 c (round 31, fast) 8988 del vars, 5917 del conss, 1123 add conss, 5491 chg bounds, 78 chg sides, 8690 chg coeffs, 15189 upgd conss, 0 impls, 19277 clqs
12.79/12.91 c (round 32, exhaustive) 9025 del vars, 5917 del conss, 1123 add conss, 5491 chg bounds, 78 chg sides, 9215 chg coeffs, 15189 upgd conss, 0 impls, 34404 clqs
12.79/12.92 c (round 33, fast) 9025 del vars, 5962 del conss, 1139 add conss, 5491 chg bounds, 78 chg sides, 9215 chg coeffs, 15189 upgd conss, 0 impls, 34419 clqs
12.79/12.94 c (round 34, medium) 9041 del vars, 5962 del conss, 1139 add conss, 5491 chg bounds, 78 chg sides, 9220 chg coeffs, 15189 upgd conss, 0 impls, 34522 clqs
12.79/12.95 c (round 35, fast) 9041 del vars, 5973 del conss, 1150 add conss, 5491 chg bounds, 78 chg sides, 9220 chg coeffs, 15189 upgd conss, 0 impls, 34533 clqs
13.00/13.15 c (round 36, exhaustive) 9068 del vars, 5973 del conss, 1150 add conss, 5491 chg bounds, 78 chg sides, 9742 chg coeffs, 15189 upgd conss, 0 impls, 40470 clqs
13.00/13.17 c (round 37, fast) 9068 del vars, 5991 del conss, 1156 add conss, 5491 chg bounds, 78 chg sides, 9742 chg coeffs, 15189 upgd conss, 0 impls, 41076 clqs
13.19/13.38 c (round 38, exhaustive) 9096 del vars, 5991 del conss, 1156 add conss, 5491 chg bounds, 78 chg sides, 10137 chg coeffs, 15189 upgd conss, 0 impls, 45087 clqs
13.49/13.63 c (round 39, exhaustive) 9124 del vars, 5993 del conss, 1156 add conss, 5491 chg bounds, 78 chg sides, 10464 chg coeffs, 15189 upgd conss, 0 impls, 49571 clqs
13.69/13.88 c (round 40, exhaustive) 9152 del vars, 5994 del conss, 1156 add conss, 5491 chg bounds, 78 chg sides, 10702 chg coeffs, 15189 upgd conss, 0 impls, 53801 clqs
14.00/14.12 c (round 41, exhaustive) 9180 del vars, 5996 del conss, 1156 add conss, 5491 chg bounds, 78 chg sides, 10867 chg coeffs, 15189 upgd conss, 0 impls, 56508 clqs
14.18/14.31 c (round 42, exhaustive) 9208 del vars, 5997 del conss, 1156 add conss, 5491 chg bounds, 78 chg sides, 11030 chg coeffs, 15189 upgd conss, 0 impls, 58795 clqs
14.38/14.56 c (round 43, exhaustive) 9236 del vars, 5999 del conss, 1156 add conss, 5491 chg bounds, 78 chg sides, 11192 chg coeffs, 15189 upgd conss, 0 impls, 60665 clqs
14.58/14.78 c (round 44, exhaustive) 9264 del vars, 6001 del conss, 1156 add conss, 5491 chg bounds, 78 chg sides, 11301 chg coeffs, 15189 upgd conss, 0 impls, 62186 clqs
14.89/15.04 c (round 45, exhaustive) 9292 del vars, 6003 del conss, 1156 add conss, 5491 chg bounds, 78 chg sides, 11410 chg coeffs, 15189 upgd conss, 0 impls, 63330 clqs
17.98/18.16 c (18.1s) probing: 1000/22742 (4.4%) - 193 fixings, 307 aggregations, 141453 implications, 0 bound changes
20.26/20.49 c (20.5s) probing: 1481/22742 (6.5%) - 193 fixings, 307 aggregations, 213614 implications, 0 bound changes
20.26/20.49 c (20.5s) probing aborted: 1000/1000 successive useless probings
20.26/20.49 c (round 46, exhaustive) 9314 del vars, 6005 del conss, 1156 add conss, 5491 chg bounds, 78 chg sides, 11513 chg coeffs, 15189 upgd conss, 0 impls, 203646 clqs
20.56/20.76 c (round 47, exhaustive) 9314 del vars, 6026 del conss, 1156 add conss, 5491 chg bounds, 78 chg sides, 11570 chg coeffs, 15189 upgd conss, 0 impls, 203735 clqs
21.06/21.28 c (21.3s) probing: 1581/22742 (7.0%) - 193 fixings, 307 aggregations, 228929 implications, 0 bound changes
21.06/21.28 c (21.3s) probing aborted: 1000/1000 successive useless probings
21.16/21.32 c presolving (48 rounds: 48 fast, 36 medium, 21 exhaustive):
21.16/21.32 c 9314 deleted vars, 6026 deleted constraints, 1156 added constraints, 5491 tightened bounds, 0 added holes, 78 changed sides, 11639 changed coefficients
21.16/21.32 c 0 implications, 203737 cliques
21.16/21.32 c presolved problem has 19701 variables (19701 bin, 0 int, 0 impl, 0 cont) and 15435 constraints
21.16/21.32 c 5651 constraints of type <knapsack>
21.16/21.32 c 6252 constraints of type <setppc>
21.16/21.32 c 58 constraints of type <xor>
21.16/21.32 c 402 constraints of type <linear>
21.16/21.32 c 441 constraints of type <orbitope>
21.16/21.32 c 2631 constraints of type <logicor>
21.16/21.32 c transformed objective value is always integral (scale: 1)
21.16/21.32 c Presolving Time: 20.80
21.16/21.32 c - non default parameters ----------------------------------------------------------------------
21.16/21.32 c # SCIP version 10.0.0
21.16/21.32 c
21.16/21.32 c # maximal time in seconds to run
21.16/21.32 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
21.16/21.32 c limits/time = 3596.99407
21.16/21.32 c
21.16/21.32 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
21.16/21.32 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
21.16/21.32 c limits/memory = 27900
21.16/21.32 c
21.16/21.32 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
21.16/21.32 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
21.16/21.32 c limits/solutions = 1
21.16/21.32 c
21.16/21.32 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.
21.16/21.32 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
21.16/21.32 c misc/usesymmetry = 3
21.16/21.32 c
21.16/21.32 c # belongs reading time to solving time?
21.16/21.32 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
21.16/21.32 c timing/reading = TRUE
21.16/21.32 c
21.16/21.32 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
21.16/21.32 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
21.16/21.32 c propagating/symmetry/detectdoublelex = FALSE
21.16/21.32 c
21.16/21.32 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
21.16/21.32 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
21.16/21.32 c propagating/symmetry/detectsubgroups = FALSE
21.16/21.32 c
21.16/21.32 c # Type of symmetries that shall be computed?
21.16/21.32 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
21.16/21.32 c propagating/symmetry/symtype = 1
21.16/21.32 c
21.16/21.32 c # Should components consisting of a single full reflection be handled?
21.16/21.32 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
21.16/21.32 c propagating/symmetry/usesimplesgncomp = FALSE
21.16/21.32 c
21.16/21.32 c -----------------------------------------------------------------------------------------------
21.16/21.32 c start solving
21.16/21.32 c
23.66/23.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
23.66/23.82 c 23.8s| 1 | 0 | 7799 | - | 387M | 0 | 19k| 15k| 14k| 0 | 0 | 56 | 0 | 0.000000e+00 | -- | Inf | unknown
30.44/30.66 c 30.6s| 1 | 0 | 18650 | - | 403M | 0 | 19k| 15k| 15k| 194 | 1 | 57 | 0 | 0.000000e+00 | -- | Inf | unknown
37.83/38.07 c 38.1s| 1 | 0 | 29717 | - | 412M | 0 | 19k| 15k| 15k| 325 | 2 | 58 | 0 | 0.000000e+00 | -- | Inf | unknown
46.00/46.24 c 46.2s| 1 | 0 | 40217 | - | 417M | 0 | 19k| 15k| 15k| 479 | 3 | 59 | 0 | 0.000000e+00 | -- | Inf | unknown
55.47/55.72 c 55.7s| 1 | 0 | 50913 | - | 423M | 0 | 19k| 15k| 15k| 619 | 4 | 60 | 0 | 0.000000e+00 | -- | Inf | unknown
62.65/62.93 c 62.9s| 1 | 0 | 60821 | - | 432M | 0 | 19k| 15k| 15k| 753 | 5 | 62 | 0 | 0.000000e+00 | -- | Inf | unknown
70.64/70.96 c 70.9s| 1 | 0 | 71739 | - | 436M | 0 | 19k| 15k| 15k| 899 | 6 | 63 | 0 | 0.000000e+00 | -- | Inf | unknown
80.01/80.34 c 80.3s| 1 | 0 | 82796 | - | 439M | 0 | 19k| 15k| 16k|1044 | 7 | 64 | 0 | 0.000000e+00 | -- | Inf | unknown
89.48/89.84 c 89.8s| 1 | 0 | 93928 | - | 443M | 0 | 19k| 15k| 16k|1196 | 8 | 65 | 0 | 0.000000e+00 | -- | Inf | unknown
96.16/96.56 c 96.5s| 1 | 0 |102403 | - | 446M | 0 | 19k| 15k| 16k|1340 | 9 | 66 | 0 | 0.000000e+00 | -- | Inf | unknown
101.95/102.33 c 102s| 1 | 0 |111236 | - | 451M | 0 | 19k| 15k| 16k|1445 | 10 | 71 | 0 | 0.000000e+00 | -- | Inf | unknown
109.92/110.39 c 110s| 1 | 0 |121977 | - | 456M | 0 | 19k| 15k| 16k|1559 | 11 | 72 | 0 | 0.000000e+00 | -- | Inf | unknown
125.60/126.07 c 126s| 1 | 0 |123295 | - | 460M | 0 | 19k| 15k| 16k|1559 | 11 | 78 | 20 | 0.000000e+00 | -- | Inf | unknown
133.68/134.13 c 134s| 1 | 0 |134426 | - | 463M | 0 | 19k| 15k| 16k|1688 | 12 | 81 | 20 | 0.000000e+00 | -- | Inf | unknown
139.35/139.80 c 140s| 1 | 0 |142124 | - | 463M | 0 | 19k| 15k| 16k|1722 | 13 | 82 | 20 | 0.000000e+00 | -- | Inf | unknown
150.72/151.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
150.72/151.30 c 151s| 1 | 0 |142486 | - | 463M | 0 | 19k| 15k| 16k|1722 | 13 | 83 | 39 | 0.000000e+00 | -- | Inf | unknown
157.80/158.30 c 158s| 1 | 0 |152881 | - | 466M | 0 | 19k| 15k| 16k|1847 | 14 | 83 | 39 | 0.000000e+00 | -- | Inf | unknown
159.99/160.58 c 161s| 1 | 0 |154346 | - | 466M | 0 | 19k| 15k| 16k|1889 | 15 | 84 | 39 | 0.000000e+00 | -- | Inf | unknown
171.86/172.46 c 172s| 1 | 0 |154709 | - | 466M | 0 | 19k| 15k| 16k|1889 | 15 | 85 | 58 | 0.000000e+00 | -- | Inf | unknown
179.64/180.27 c 180s| 1 | 0 |164903 | - | 467M | 0 | 19k| 15k| 16k|2019 | 16 | 86 | 58 | 0.000000e+00 | -- | Inf | unknown
182.03/182.67 c 183s| 1 | 0 |165919 | - | 467M | 0 | 19k| 15k| 15k|2063 | 17 | 87 | 58 | 0.000000e+00 | -- | Inf | unknown
187.82/188.41 c 188s| 1 | 0 |166721 | - | 467M | 0 | 19k| 15k| 15k|2063 | 17 | 90 | 67 | 0.000000e+00 | -- | Inf | unknown
195.69/196.36 c 196s| 1 | 0 |177875 | - | 469M | 0 | 19k| 15k| 16k|2153 | 18 | 91 | 67 | 0.000000e+00 | -- | Inf | unknown
199.88/200.58 c 201s| 1 | 0 |181056 | - | 469M | 0 | 19k| 15k| 15k|2205 | 19 | 92 | 67 | 0.000000e+00 | -- | Inf | unknown
204.87/205.53 c 206s| 1 | 0 |181301 | - | 469M | 0 | 19k| 15k| 15k|2205 | 19 | 92 | 75 | 0.000000e+00 | -- | Inf | unknown
210.37/211.05 c 211s| 1 | 0 |190415 | - | 472M | 0 | 19k| 15k| 15k|2352 | 20 | 93 | 75 | 0.000000e+00 | -- | Inf | unknown
211.36/212.11 c 212s| 1 | 0 |192109 | - | 472M | 0 | 19k| 15k| 15k|2416 | 21 | 93 | 75 | 0.000000e+00 | -- | Inf | unknown
214.04/214.73 c 215s| 1 | 0 |192519 | - | 472M | 0 | 19k| 15k| 15k|2416 | 21 | 95 | 80 | 0.000000e+00 | -- | Inf | unknown
216.83/217.59 c 218s| 1 | 0 |196474 | - | 474M | 0 | 19k| 15k| 15k|2551 | 22 | 96 | 80 | 0.000000e+00 | -- | Inf | unknown
218.44/219.17 c 219s| 1 | 0 |199002 | - | 474M | 0 | 19k| 15k| 15k|2612 | 23 | 98 | 80 | 0.000000e+00 | -- | Inf | unknown
225.61/226.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
225.61/226.32 c 226s| 1 | 0 |199616 | - | 474M | 0 | 19k| 15k| 15k|2612 | 23 | 102 | 91 | 0.000000e+00 | -- | Inf | unknown
234.09/234.80 c 235s| 1 | 0 |210834 | - | 476M | 0 | 19k| 15k| 15k|2700 | 24 | 103 | 91 | 0.000000e+00 | -- | Inf | unknown
243.06/243.85 c 244s| 1 | 0 |222055 | - | 476M | 0 | 19k| 15k| 15k|2757 | 25 | 104 | 91 | 0.000000e+00 | -- | Inf | unknown
255.43/256.29 c 256s| 1 | 0 |222598 | - | 476M | 0 | 19k| 15k| 15k|2757 | 25 | 107 | 111 | 0.000000e+00 | -- | Inf | unknown
264.00/264.81 c 265s| 1 | 0 |234427 | - | 481M | 0 | 19k| 15k| 15k|2876 | 26 | 108 | 111 | 0.000000e+00 | -- | Inf | unknown
268.99/269.81 c 270s| 1 | 0 |240552 | - | 481M | 0 | 19k| 15k| 15k|2938 | 27 | 113 | 111 | 0.000000e+00 | -- | Inf | unknown
272.30/273.19 c 273s| 1 | 0 |240903 | - | 481M | 0 | 19k| 15k| 15k|2938 | 27 | 118 | 117 | 0.000000e+00 | -- | Inf | unknown
280.56/281.44 c 281s| 1 | 0 |251800 | - | 482M | 0 | 19k| 15k| 15k|3081 | 28 | 119 | 117 | 0.000000e+00 | -- | Inf | unknown
288.25/289.12 c 289s| 1 | 0 |262591 | - | 482M | 0 | 19k| 15k| 16k|3150 | 29 | 119 | 117 | 0.000000e+00 | -- | Inf | unknown
306.59/307.54 c 308s| 1 | 0 |263421 | - | 482M | 0 | 19k| 15k| 16k|3150 | 29 | 122 | 145 | 0.000000e+00 | -- | Inf | unknown
313.08/314.05 c 314s| 1 | 0 |273293 | - | 484M | 0 | 19k| 15k| 16k|3265 | 30 | 123 | 145 | 0.000000e+00 | -- | Inf | unknown
314.26/315.25 c 315s| 1 | 0 |274368 | - | 484M | 0 | 19k| 15k| 16k|3320 | 31 | 124 | 145 | 0.000000e+00 | -- | Inf | unknown
319.45/320.47 c 320s| 1 | 0 |274574 | - | 484M | 0 | 19k| 15k| 16k|3320 | 31 | 125 | 153 | 0.000000e+00 | -- | Inf | unknown
326.53/327.51 c 327s| 1 | 0 |285045 | - | 484M | 0 | 19k| 15k| 16k|3413 | 32 | 130 | 153 | 0.000000e+00 | -- | Inf | unknown
330.13/331.14 c 331s| 1 | 0 |289128 | - | 484M | 0 | 19k| 15k| 15k|3475 | 33 | 131 | 153 | 0.000000e+00 | -- | Inf | unknown
343.18/344.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
343.18/344.24 c 344s| 1 | 0 |289580 | - | 484M | 0 | 19k| 15k| 15k|3475 | 33 | 133 | 173 | 0.000000e+00 | -- | Inf | unknown
349.67/350.71 c 351s| 1 | 0 |298903 | - | 484M | 0 | 19k| 15k| 16k|3602 | 34 | 134 | 173 | 0.000000e+00 | -- | Inf | unknown
352.46/353.58 c 354s| 1 | 0 |303612 | - | 484M | 0 | 19k| 15k| 16k|3651 | 35 | 136 | 173 | 0.000000e+00 | -- | Inf | unknown
355.35/356.48 c 356s| 1 | 0 |304054 | - | 484M | 0 | 19k| 15k| 16k|3651 | 35 | 137 | 177 | 0.000000e+00 | -- | Inf | unknown
360.34/361.44 c 361s| 1 | 0 |311918 | - | 484M | 0 | 19k| 15k| 16k|3749 | 36 | 137 | 177 | 0.000000e+00 | -- | Inf | unknown
361.13/362.28 c 362s| 1 | 0 |313163 | - | 484M | 0 | 19k| 15k| 16k|3793 | 37 | 138 | 177 | 0.000000e+00 | -- | Inf | unknown
364.72/365.82 c 366s| 1 | 0 |313428 | - | 484M | 0 | 19k| 15k| 16k|3793 | 37 | 139 | 183 | 0.000000e+00 | -- | Inf | unknown
371.02/372.12 c 372s| 1 | 0 |322021 | - | 484M | 0 | 19k| 15k| 15k|3877 | 38 | 140 | 183 | 0.000000e+00 | -- | Inf | unknown
373.50/374.66 c 375s| 1 | 0 |326074 | - | 484M | 0 | 19k| 15k| 15k|3923 | 39 | 144 | 183 | 0.000000e+00 | -- | Inf | unknown
379.58/380.77 c 381s| 1 | 0 |326558 | - | 484M | 0 | 19k| 15k| 15k|3923 | 39 | 149 | 192 | 0.000000e+00 | -- | Inf | unknown
381.89/383.02 c 383s| 1 | 0 |329971 | - | 484M | 0 | 19k| 15k| 16k|3998 | 40 | 149 | 192 | 0.000000e+00 | -- | Inf | unknown
383.07/384.29 c 384s| 1 | 0 |331833 | - | 484M | 0 | 19k| 15k| 16k|4034 | 41 | 150 | 192 | 0.000000e+00 | -- | Inf | unknown
399.53/400.73 c 401s| 1 | 0 |332088 | - | 484M | 0 | 19k| 15k| 16k|4034 | 41 | 152 | 219 | 0.000000e+00 | -- | Inf | unknown
401.72/402.93 c 403s| 1 | 0 |335385 | - | 484M | 0 | 19k| 15k| 16k|4097 | 42 | 157 | 219 | 0.000000e+00 | -- | Inf | unknown
402.32/403.55 c 404s| 1 | 0 |336236 | - | 484M | 0 | 19k| 15k| 16k|4136 | 43 | 157 | 219 | 0.000000e+00 | -- | Inf | unknown
414.09/415.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
414.09/415.35 c 415s| 1 | 0 |336597 | - | 484M | 0 | 19k| 15k| 16k|4136 | 43 | 159 | 239 | 0.000000e+00 | -- | Inf | unknown
414.80/416.07 c 416s| 1 | 0 |337436 | - | 484M | 0 | 19k| 15k| 15k|4205 | 44 | 160 | 239 | 0.000000e+00 | -- | Inf | unknown
416.68/417.90 c 418s| 1 | 0 |338218 | - | 484M | 0 | 19k| 15k| 15k|4233 | 45 | 161 | 239 | 0.000000e+00 | -- | Inf | unknown
430.86/432.13 c 432s| 1 | 0 |339217 | - | 485M | 0 | 19k| 15k| 15k|4233 | 45 | 167 | 260 | 0.000000e+00 | -- | Inf | unknown
431.64/432.98 c 433s| 1 | 0 |340331 | - | 485M | 0 | 19k| 15k| 15k|4289 | 46 | 167 | 260 | 0.000000e+00 | -- | Inf | unknown
433.24/434.60 c 435s| 1 | 0 |340811 | - | 485M | 0 | 19k| 15k| 15k|4325 | 47 | 168 | 260 | 0.000000e+00 | -- | Inf | unknown
438.73/440.09 c 440s| 1 | 0 |340973 | - | 485M | 0 | 19k| 15k| 15k|4325 | 47 | 173 | 272 | 0.000000e+00 | -- | Inf | unknown
439.52/440.83 c 441s| 1 | 0 |341921 | - | 485M | 0 | 19k| 15k| 15k|4372 | 48 | 173 | 272 | 0.000000e+00 | -- | Inf | unknown
439.62/440.96 c 441s| 1 | 0 |342031 | - | 485M | 0 | 19k| 15k| 15k|4387 | 49 | 174 | 272 | 0.000000e+00 | -- | Inf | unknown
449.59/450.95 c 451s| 1 | 2 |342112 | - | 485M | 0 | 19k| 15k| 15k|4387 | 49 | 174 | 291 | 0.000000e+00 | -- | Inf | unknown
1069.70/1072.71 c 1073s| 100 | 75 | 1087k|7600.5 | 512M | 44 | 19k| 15k| 15k|5721 | 1 | 242 | 291 | 0.000000e+00 | -- | Inf | unknown
1654.76/1659.38 c 1659s| 200 | 102 | 1653k|6628.0 | 523M | 65 | 19k| 15k| 15k|6490 | 2 | 424 | 291 | 0.000000e+00 | -- | Inf | unknown
2007.55/2013.06 c 2013s| 300 | 161 | 2112k|5944.2 | 534M | 75 | 19k| 15k| 15k|7198 | 0 | 512 | 291 | 0.000000e+00 | -- | Inf | unknown
2133.10/2138.98 c 2139s| 400 | 159 | 2291k|4905.2 | 544M | 80 | 19k| 15k| 15k|7404 | 1 | 763 | 291 | 0.000000e+00 | -- | Inf | unknown
2295.79/2302.09 c 2302s| 500 | 163 | 2526k|4391.7 | 555M | 88 | 19k| 16k| 15k|7710 | 1 |1005 | 291 | 0.000000e+00 | -- | Inf | unknown
2419.34/2425.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2419.34/2425.92 c 2426s| 600 | 154 | 2687k|3928.1 | 561M | 88 | 19k| 16k| 15k|7882 | 0 |1213 | 291 | 0.000000e+00 | -- | Inf | unknown
2769.63/2777.17 c 2777s| 700 | 137 | 3108k|3967.6 | 564M | 88 | 19k| 16k| 15k|8457 | 2 |1561 | 291 | 0.000000e+00 | -- | Inf | unknown
3195.02/3203.80 c 3204s| 800 | 154 | 3622k|4114.7 | 565M | 88 | 19k| 16k| 15k|9170 | 0 |1656 | 291 | 0.000000e+00 | -- | Inf | unknown
3587.05/3597.01 c
3587.05/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.05/3597.01 c Solving Time (sec) : 3597.00
3587.05/3597.01 c Solving Nodes : 862
3587.05/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.05/3597.01 c Dual Bound : +0.00000000000000e+00
3587.05/3597.01 c Gap : infinite
3587.05/3597.01 s UNKNOWN
3587.05/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.05/3597.01 c Total Time : 3597.00
3587.05/3597.01 c solving : 3597.00
3587.05/3597.01 c presolving : 20.80 (included in solving)
3587.05/3597.01 c reading : 0.33 (included in solving)
3587.05/3597.01 c copying : 0.26 (5 #copies) (minimal 0.05, maximal 0.06, average 0.05)
3587.05/3597.01 c Original Problem :
3587.05/3597.01 c Problem name : HOME/instance-4514996-1751228585.opb
3587.05/3597.01 c Variables : 28926 (28926 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.05/3597.01 c Constraints : 20352 initial, 20352 maximal
3587.05/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.05/3597.01 c Presolved Problem :
3587.05/3597.01 c Problem name : t_HOME/instance-4514996-1751228585.opb
3587.05/3597.01 c Variables : 19701 (19701 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.05/3597.01 c Constraints : 15435 initial, 16080 maximal
3587.05/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.05/3597.01 c Nonzeros : 195663 constraint, 528430 clique table
3587.05/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.05/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c domcol : 0.00 0.00 15 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c dualsparsify : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c gateextraction : 0.15 0.00 19 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c implics : 0.01 0.00 36 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c milp : 0.34 0.00 1 0 134 0 0 0 0 0 0 0
3587.05/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c trivial : 0.03 0.00 48 89 0 0 0 0 0 0 0 0
3587.05/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c dualfix : 0.03 0.00 48 11 0 0 0 0 0 0 0 0
3587.05/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c probing : 7.44 0.00 15 193 307 0 0 0 0 0 0 0
3587.05/3597.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c symmetry : 9.44 0.00 1 1107 0 0 0 0 32 513 0 0
3587.05/3597.01 c vbounds : 0.16 0.00 12 15 10 0 0 0 0 0 0 0
3587.05/3597.01 c knapsack : 1.88 0.00 94 0 0 0 0 0 305 643 52 6496
3587.05/3597.01 c setppc : 0.50 0.00 94 0 323 0 0 0 797 0 0 0
3587.05/3597.01 c xor : 0.00 0.00 93 0 58 0 0 0 58 0 0 8
3587.05/3597.01 c linear : 0.37 0.05 67 5491 53 0 5491 0 4724 0 26 35
3587.05/3597.01 c orbitope : 0.01 0.00 27 1434 0 0 0 0 30 0 0 0
3587.05/3597.01 c logicor : 0.31 0.00 90 0 0 0 0 0 80 0 0 5100
3587.05/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c components : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c root node : - - - 191 - - 191 - - - - -
3587.05/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.05/3597.01 c benderslp : 0 0 0 0 678 0 0 798 0 0 0 0 0 0 0
3587.05/3597.01 c integral : 0 0 0 0 678 0 0 798 0 0 54 0 0 12 1318
3587.05/3597.01 c knapsack : 5651+ 5672 30 26608 0 0 0 794 76266 20 41555 3128 27 0 0
3587.05/3597.01 c setppc : 6252+ 6277 30 26588 0 0 0 712 30203 34 25543 5 5 0 0
3587.05/3597.01 c xor : 58 58 30 26554 0 0 0 0 167 24 217 0 0 0 0
3587.05/3597.01 c linear : 402+ 481 30 26530 0 0 0 3 52496 91 54045 0 0 0 0
3587.05/3597.01 c orbitope : 441 441 0 25937 0 0 0 0 4486 29 10465 0 0 0 0
3587.05/3597.01 c logicor : 2631+ 3165 30 8600 0 0 0 0 2990 23 858 4 3 0 0
3587.05/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.05/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.05/3597.01 c integral : 171.00 0.00 0.00 0.00 170.73 0.00 0.00 0.26 0.00 0.00
3587.05/3597.01 c knapsack : 3.11 0.00 0.32 1.77 0.00 0.00 0.00 0.95 0.02 0.04
3587.05/3597.01 c setppc : 0.80 0.00 0.01 0.74 0.00 0.00 0.00 0.00 0.01 0.04
3587.05/3597.01 c xor : 2.01 0.00 0.00 2.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.05/3597.01 c linear : 0.85 0.05 0.00 0.68 0.00 0.00 0.00 0.00 0.05 0.07
3587.05/3597.01 c orbitope : 3.75 0.00 0.00 3.47 0.00 0.00 0.00 0.00 0.00 0.28
3587.05/3597.01 c logicor : 0.09 0.00 0.01 0.06 0.00 0.00 0.00 0.00 0.00 0.01
3587.05/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.05/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.05/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.05/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.05/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.05/3597.01 c dualfix : 21 0 0 0
3587.05/3597.01 c genvbounds : 0 0 0 0
3587.05/3597.01 c nlobbt : 0 0 0 0
3587.05/3597.01 c obbt : 0 0 0 0
3587.05/3597.01 c probing : 0 0 0 0
3587.05/3597.01 c pseudoobj : 0 0 0 0
3587.05/3597.01 c redcost : 0 0 0 0
3587.05/3597.01 c rootredcost : 0 0 0 0
3587.05/3597.01 c symmetry : 2545 0 0 0
3587.05/3597.01 c vbounds : 8408 0 0 0
3587.05/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.05/3597.01 c dualfix : 0.04 0.00 0.03 0.02 0.00 0.00
3587.05/3597.01 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.05/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.05/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.05/3597.01 c probing : 7.44 0.00 7.44 0.00 0.00 0.00
3587.05/3597.01 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3587.05/3597.01 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3587.05/3597.01 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3587.05/3597.01 c symmetry : 9.52 0.00 9.44 0.08 0.00 0.00
3587.05/3597.01 c vbounds : 0.45 0.00 0.16 0.29 0.00 0.00
3587.05/3597.01 c Symmetry :
3587.05/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.05/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.05/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.05/3597.01 c shadow tree time : 0.00 s
3587.05/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.05/3597.01 c propagation : 0.02 152 146 - 438 119.5 22 183.2 - - -
3587.05/3597.01 c infeasible LP : 0.76 179 183 - 2650 497.4 66 54.5 179 669.2 0
3587.05/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.05/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.05/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.05/3597.01 c applied globally : 0.14 - - 4 1540 348.5 - - 179 - -
3587.05/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.05/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.05/3597.01 c cut pool : 0.40 - 257 78 - - 17938 36652 - - - - - (maximal pool size: 14093)
3587.05/3597.01 c aggregation : 0.60 0.00 58 30 0 0 2187 6004 0 2046 2046 0 0
3587.05/3597.01 c > cmir : - - - - - - - 1788 0 248 248 0 -
3587.05/3597.01 c > flowcover : - - - - - - - 2132 0 282 282 0 -
3587.05/3597.01 c > knapsackcover : - - - - - - - 2084 0 1516 1516 0 -
3587.05/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c clique : 2.56 0.00 30 30 0 0 133 324 0 66 66 0 0
3587.05/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c gomory : 7.09 0.00 38 10 0 0 3406 9167 18 1175 1168 7 0
3587.05/3597.01 c > gomorymi : - - - - - - - 3083 9 196 192 4 -
3587.05/3597.01 c > strongcg : - - - - - - - 6084 9 979 976 3 -
3587.05/3597.01 c impliedbounds : 0.44 0.00 58 30 0 0 11880 19791 0 5213 5213 0 0
3587.05/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c multilinear : 0.00 0.00 50 30 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c rlt : 0.00 0.00 26 10 0 0 0 0 0 0 0 0 0
3587.05/3597.01 c zerohalf : 2.63 0.00 48 20 0 0 411 1366 61 1113 1083 30 0
3587.05/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.05/3597.01 c hybrid : 0.08 0.00 198 49 9641 8 30227 4387 0 18538
3587.05/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.05/3597.01 c problem variables: 0.00 - 0 0
3587.05/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.05/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.01 c relpscost : 170.73 0.00 678 0 0 0 54 0 14 1318
3587.05/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.05/3597.01 c LP solutions : 0.00 - - 0 0
3587.05/3597.01 c relax solutions : 0.00 - - 0 0
3587.05/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.05/3597.01 c strong branching : 0.00 - - 0 0
3587.05/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.05/3597.01 c adaptivediving : 60.71 0.00 5 0 0
3587.05/3597.01 c alns : 135.20 0.00 4 0 0
3587.05/3597.01 c bound : 0.00 0.00 0 0 0
3587.05/3597.01 c clique : 0.11 0.00 1 0 0
3587.05/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.05/3597.01 c completesol : 0.00 0.00 0 0 0
3587.05/3597.01 c conflictdiving : 6.55 0.00 3 0 0
3587.05/3597.01 c crossover : 0.00 0.00 0 0 0
3587.05/3597.01 c dins : 0.00 0.00 0 0 0
3587.05/3597.01 c distributiondivin: 3.61 0.00 2 0 0
3587.05/3597.01 c dps : 0.00 0.00 0 0 0
3587.05/3597.01 c dualval : 0.00 0.00 0 0 0
3587.05/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.05/3597.01 c feasjump : 0.08 0.00 1 0 0
3587.05/3597.01 c feaspump : 0.88 0.00 1 0 0
3587.05/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.05/3597.01 c fracdiving : 20.83 0.00 3 0 0
3587.05/3597.01 c gins : 0.00 0.00 0 0 0
3587.05/3597.01 c guideddiving : 0.00 0.00 0 0 0
3587.05/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.05/3597.01 c indicator : 0.00 0.00 0 0 0
3587.05/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.05/3597.01 c indoneopt : 0.00 0.00 0 0 0
3587.05/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.05/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.05/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.05/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.05/3597.01 c linesearchdiving : 19.49 0.00 3 0 0
3587.05/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.05/3597.01 c locks : 0.02 0.00 1 0 0
3587.05/3597.01 c lpface : 0.04 0.00 0 0 0
3587.05/3597.01 c mpec : 0.00 0.00 0 0 0
3587.05/3597.01 c multistart : 0.00 0.00 0 0 0
3587.05/3597.01 c mutation : 0.00 0.00 0 0 0
3587.05/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.05/3597.01 c objpscostdiving : 62.38 0.00 2 0 0
3587.05/3597.01 c octane : 0.00 0.00 0 0 0
3587.05/3597.01 c ofins : 0.00 0.00 0 0 0
3587.05/3597.01 c oneopt : 0.00 0.00 0 0 0
3587.05/3597.01 c padm : 0.00 0.00 0 0 0
3587.05/3597.01 c proximity : 0.00 0.00 0 0 0
3587.05/3597.01 c pscostdiving : 23.82 0.00 3 0 0
3587.05/3597.01 c randrounding : 26.82 0.00 149 0 0
3587.05/3597.01 c rens : 0.14 0.00 1 0 0
3587.05/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.05/3597.01 c repair : 0.00 0.00 0 0 0
3587.05/3597.01 c rins : 0.00 0.00 0 0 0
3587.05/3597.01 c rootsoldiving : 8.78 0.00 2 0 0
3587.05/3597.01 c rounding : 0.33 0.00 384 0 0
3587.05/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.05/3597.01 c shiftandpropagate: 0.03 0.00 1 0 0
3587.05/3597.01 c shifting : 1.29 0.00 200 0 0
3587.05/3597.01 c simplerounding : 0.00 0.00 0 0 0
3587.05/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.05/3597.01 c subnlp : 0.00 0.00 0 0 0
3587.05/3597.01 c trivial : 0.02 0.00 2 0 0
3587.05/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.05/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.05/3597.01 c trysol : 0.00 0.00 0 0 0
3587.05/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.05/3597.01 c undercover : 0.00 0.00 0 0 0
3587.05/3597.01 c vbounds : 0.65 0.00 1 0 0
3587.05/3597.01 c veclendiving : 27.64 0.00 3 0 0
3587.05/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.05/3597.01 c zirounding : 0.22 0.00 659 0 0
3587.05/3597.01 c other solutions : - - - 0 -
3587.05/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
3587.05/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
3587.05/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
3587.05/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
3587.05/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
3587.05/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
3587.05/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
3587.05/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
3587.05/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
3587.05/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
3587.05/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.05/3597.01 c primal LP : 1.11 102 0 0.00 0.00 1.11 102
3587.05/3597.01 c dual LP : 2981.41 1026 3869622 3819.96 1297.91 0.10 13
3587.05/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.05/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.05/3597.01 c resolve instable : 0.00 0 0 0.00 -
3587.05/3597.01 c diving/probing LP: 271.59 1317 235027 178.46 865.38
3587.05/3597.01 c strong branching : 150.18 291 211725 727.58 1409.80 - - 307
3587.05/3597.01 c (at root node) : - 291 211725 727.58 -
3587.05/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3587.05/3597.01 c B&B Tree :
3587.05/3597.01 c number of runs : 1
3587.05/3597.01 c nodes : 862 (659 internal, 203 leaves)
3587.05/3597.01 c feasible leaves : 0
3587.05/3597.01 c infeas. leaves : 202
3587.05/3597.01 c objective leaves : 0
3587.05/3597.01 c nodes (total) : 862 (659 internal, 203 leaves)
3587.05/3597.01 c nodes left : 192
3587.05/3597.01 c max depth : 88
3587.05/3597.01 c max depth (total): 88
3587.05/3597.01 c backtracks : 127 (14.7%)
3587.05/3597.01 c early backtracks : 0 (0.0%)
3587.05/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.05/3597.01 c delayed cutoffs : 266
3587.05/3597.01 c repropagations : 1165 (14713 domain reductions, 36 cutoffs)
3587.05/3597.01 c avg switch length: 4.66
3587.05/3597.01 c switching time : 1.73
3587.05/3597.01 c Root Node :
3587.05/3597.01 c First LP value : +0.00000000000000e+00
3587.05/3597.01 c First LP Iters : 7799 (4885.14 Iter/sec)
3587.05/3597.01 c First LP Time : 1.60
3587.05/3597.01 c Final Dual Bound : +0.00000000000000e+00
3587.05/3597.01 c Final Root Iters : 334758
3587.05/3597.01 c Root LP Estimate : +8.01499038216926e-02
3587.05/3597.01 c Solution :
3587.05/3597.01 c Solutions found : 0 (0 improvements)
3587.05/3597.01 c Primal Bound : -
3587.05/3597.01 c Dual Bound : +0.00000000000000e+00
3587.05/3597.01 c Gap : infinite
3587.05/3597.01 c Integrals : Total Avg%
3587.05/3597.01 c primal-dual : 359699.55 100.00
3587.05/3597.01 c primal-ref : - - (not evaluated)
3587.05/3597.01 c dual-ref : - - (not evaluated)
3587.15/3597.18 c Time complete: 3587.22.
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: 63794 MiB (62580 MiB free)
memory of node 1: 64507 MiB (63576 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514996-1751228585/watcher-4514996-1751228585 -o /tmp/evaluation-result-4514996-1751228585/solver-4514996-1751228585 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751220587-28487 --watchdog 3760 pbscip -f HOME/instance-4514996-1751228585.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=30160, runsolver pid=30157
Current StackSize limit: 8192 KiB
[startup+0.100074 s]*
/proc/loadavg: 4.07 4.09 4.09 5/250 30161
/proc/meminfo: memFree=129183164/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=63608 memory=35712 CPUtime=0.08 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 6051 0 0 0 7 1 0 0 20 0 1 0 38538216 65134592 8928 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 15902 8928 3200 3530 0 7353 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 63608 KiB
Current children cumulated memory: 35712 KiB
[startup+0.214245 s]*
/proc/loadavg: 4.07 4.09 4.09 5/250 30161
/proc/meminfo: memFree=129169052/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=75892 memory=48000 CPUtime=0.18 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 9133 0 0 0 16 2 0 0 20 0 1 0 38538216 77713408 12000 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 18973 12000 3200 3530 0 10424 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 75892 KiB
Current children cumulated memory: 48000 KiB
[startup+0.31738 s]*
/proc/loadavg: 4.07 4.09 4.09 6/250 30161
/proc/meminfo: memFree=129160988/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=84852 memory=56832 CPUtime=0.27 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 11335 0 0 0 24 3 0 0 20 0 1 0 38538216 86888448 14208 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 21213 14208 3200 3530 0 12664 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 84852 KiB
Current children cumulated memory: 56832 KiB
[startup+0.700251 s]
/proc/loadavg: 4.07 4.09 4.09 5/250 30161
/proc/meminfo: memFree=129088412/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=173240 memory=138772 CPUtime=0.62 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 31081 0 0 0 54 8 0 0 20 0 1 0 38538216 177397760 34693 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 43310 34693 3552 3530 0 34761 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 173240 KiB
Current children cumulated memory: 138772 KiB
[startup+1.50029 s]
/proc/loadavg: 4.07 4.09 4.09 5/250 30161
/proc/meminfo: memFree=129044372/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=212264 memory=182128 CPUtime=1.42 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 44269 0 0 0 130 12 0 0 20 0 1 0 38538216 217358336 45532 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 53066 45532 3744 3530 0 44517 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 212264 KiB
Current children cumulated memory: 182128 KiB
[startup+3.113 s]
/proc/loadavg: 4.07 4.09 4.09 5/250 30161
/proc/meminfo: memFree=128976140/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=314112 memory=249300 CPUtime=3.02 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 57485 0 0 0 288 14 0 0 20 0 1 0 38538216 321650688 62325 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 78528 62325 3744 3530 0 69979 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 314112 KiB
Current children cumulated memory: 249300 KiB
[startup+6.30029 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 30162
/proc/meminfo: memFree=128911628/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=360860 memory=298964 CPUtime=6.21 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 69920 0 0 0 605 16 0 0 20 0 1 0 38538216 369520640 74741 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 90215 74741 3744 3530 0 81666 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 360860 KiB
Current children cumulated memory: 298964 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.10 4.10 5/250 30162
/proc/meminfo: memFree=128872064/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=398788 memory=339540 CPUtime=12.59 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 80079 0 0 0 1242 17 0 0 20 0 1 0 38538216 408358912 84885 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 99697 84885 3744 3530 0 91148 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 398788 KiB
Current children cumulated memory: 339540 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 4.09 4.10 5/250 30162
/proc/meminfo: memFree=128755580/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=515500 memory=454552 CPUtime=25.35 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 95577 0 0 0 2515 20 0 0 20 0 1 0 38538216 527872000 113638 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 128875 113638 3904 3530 0 120326 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 515500 KiB
Current children cumulated memory: 454552 KiB
[startup+51.113 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 30162
/proc/meminfo: memFree=128728804/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=548188 memory=483400 CPUtime=50.9 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 101751 0 0 0 5069 21 0 0 20 0 1 0 38538216 561344512 120850 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 137047 120850 3936 3530 0 128498 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 548188 KiB
Current children cumulated memory: 483400 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/251 30167
/proc/meminfo: memFree=128707384/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=578220 memory=509000 CPUtime=101.95 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 108334 0 0 0 10173 22 0 0 20 0 1 0 38538216 592097280 127250 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 144555 127250 3936 3530 0 136006 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 578220 KiB
Current children cumulated memory: 509000 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 30171
/proc/meminfo: memFree=128679600/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=593960 memory=525128 CPUtime=161.79 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 126204 0 0 0 16154 25 0 0 20 0 1 0 38538216 608215040 131282 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 148490 131282 3936 3530 0 139941 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 593960 KiB
Current children cumulated memory: 525128 KiB
[startup+222.3 s]
/proc/loadavg: 4.76 4.29 4.16 5/250 30173
/proc/meminfo: memFree=128678132/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=600376 memory=530760 CPUtime=221.62 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 127660 0 0 0 22137 25 0 0 20 0 1 0 38538216 614785024 132690 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 150094 132690 3936 3530 0 141545 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 600376 KiB
Current children cumulated memory: 530760 KiB
[startup+282.3 s]
/proc/loadavg: 4.41 4.28 4.17 5/250 30175
/proc/meminfo: memFree=128672336/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=608780 memory=538312 CPUtime=281.46 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 129552 0 0 0 28121 25 0 0 20 0 1 0 38538216 623390720 134578 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 152195 134578 3936 3530 0 143646 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 608780 KiB
Current children cumulated memory: 538312 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 4.24 4.16 5/250 30177
/proc/meminfo: memFree=128672336/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=611340 memory=540488 CPUtime=341.29 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 130136 0 0 0 34104 25 0 0 20 0 1 0 38538216 626012160 135122 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 152835 135122 3936 3530 0 144286 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 611340 KiB
Current children cumulated memory: 540488 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.23 4.16 5/250 30182
/proc/meminfo: memFree=128668592/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=611340 memory=540488 CPUtime=401.12 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 130136 0 0 0 40087 25 0 0 20 0 1 0 38538216 626012160 135122 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 152835 135122 3936 3530 0 144286 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 611340 KiB
Current children cumulated memory: 540488 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.20 4.15 5/250 30185
/proc/meminfo: memFree=128672624/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=614552 memory=544256 CPUtime=460.96 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 130564 0 0 0 46071 25 0 0 20 0 1 0 38538216 629301248 136064 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 153638 136064 3936 3530 0 145089 0
################
# More data... #
################
/proc/loadavg: 1.08 1.90 3.06 2/233 30421
/proc/meminfo: memFree=129444696/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=763636 memory=715008 CPUtime=3213.46 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 167897 0 0 0 321306 40 0 0 20 0 1 0 38538216 781963264 178752 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 190909 178752 3936 3530 0 182360 0
Current children cumulated CPU time: 3213.46 s
Current children cumulated vsize: 763636 KiB
Current children cumulated memory: 715008 KiB
[startup+3282.3 s]
/proc/loadavg: 1.14 1.76 2.94 2/233 30423
/proc/meminfo: memFree=129443688/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=763636 memory=715008 CPUtime=3273.29 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 167925 0 0 0 327289 40 0 0 20 0 1 0 38538216 781963264 178752 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 190909 178752 3936 3530 0 182360 0
Current children cumulated CPU time: 3273.29 s
Current children cumulated vsize: 763636 KiB
Current children cumulated memory: 715008 KiB
[startup+3342.3 s]
/proc/loadavg: 1.11 1.64 2.82 2/232 30425
/proc/meminfo: memFree=129444384/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=763636 memory=715008 CPUtime=3333.11 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 167928 0 0 0 333271 40 0 0 20 0 1 0 38538216 781963264 178752 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 190909 178752 3936 3530 0 182360 0
Current children cumulated CPU time: 3333.11 s
Current children cumulated vsize: 763636 KiB
Current children cumulated memory: 715008 KiB
[startup+3402.3 s]
/proc/loadavg: 1.04 1.52 2.70 2/232 30430
/proc/meminfo: memFree=129445180/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=763636 memory=715008 CPUtime=3392.93 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 167935 0 0 0 339253 40 0 0 20 0 1 0 38538216 781963264 178752 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 190909 178752 3936 3530 0 182360 0
Current children cumulated CPU time: 3392.93 s
Current children cumulated vsize: 763636 KiB
Current children cumulated memory: 715008 KiB
[startup+3462.3 s]
/proc/loadavg: 1.16 1.47 2.61 2/232 30444
/proc/meminfo: memFree=129444208/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=763636 memory=715008 CPUtime=3452.75 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 167935 0 0 0 345235 40 0 0 20 0 1 0 38538216 781963264 178752 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 190909 178752 3936 3530 0 182360 0
Current children cumulated CPU time: 3452.75 s
Current children cumulated vsize: 763636 KiB
Current children cumulated memory: 715008 KiB
[startup+3522.3 s]
/proc/loadavg: 1.11 1.40 2.51 2/232 30446
/proc/meminfo: memFree=129445200/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=763636 memory=715008 CPUtime=3512.56 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 167935 0 0 0 351216 40 0 0 20 0 1 0 38538216 781963264 178752 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 190909 178752 3936 3530 0 182360 0
Current children cumulated CPU time: 3512.56 s
Current children cumulated vsize: 763636 KiB
Current children cumulated memory: 715008 KiB
[startup+3582.3 s]
/proc/loadavg: 1.08 1.34 2.42 2/232 30448
/proc/meminfo: memFree=129444476/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=763636 memory=715008 CPUtime=3572.38 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 167935 0 0 0 357198 40 0 0 20 0 1 0 38538216 781963264 178752 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 190909 178752 3936 3530 0 182360 0
Current children cumulated CPU time: 3572.38 s
Current children cumulated vsize: 763636 KiB
Current children cumulated memory: 715008 KiB
[startup+3597.19 s]
# the end of solver process 30160 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.83 s, system=0.406787 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.08 1.34 2.42 2/232 30448
/proc/meminfo: memFree=129444476/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=763636 memory=715008 CPUtime=3574.09 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 167935 0 0 0 357369 40 0 0 20 0 1 0 38538216 781963264 178752 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 190909 178752 3936 3530 0 182360 0
Current children cumulated CPU time: 3574.09 s
Current children cumulated vsize: 763636 KiB
Current children cumulated memory: 715008 KiB
[startup+3590.4 s]
/proc/loadavg: 1.15 1.35 2.42 2/232 30448
/proc/meminfo: memFree=129444476/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=763636 memory=715008 CPUtime=3580.46 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 167935 0 0 0 358006 40 0 0 20 0 1 0 38538216 781963264 178752 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 190909 178752 3936 3530 0 182360 0
Current children cumulated CPU time: 3580.46 s
Current children cumulated vsize: 763636 KiB
Current children cumulated memory: 715008 KiB
[startup+3593.6 s]
/proc/loadavg: 1.14 1.34 2.41 2/232 30448
/proc/meminfo: memFree=129444476/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=763636 memory=715008 CPUtime=3583.65 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 167935 0 0 0 358325 40 0 0 20 0 1 0 38538216 781963264 178752 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 190909 178752 3936 3530 0 182360 0
Current children cumulated CPU time: 3583.65 s
Current children cumulated vsize: 763636 KiB
Current children cumulated memory: 715008 KiB
[startup+3595.2 s]
/proc/loadavg: 1.14 1.34 2.41 2/232 30448
/proc/meminfo: memFree=129444476/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=763636 memory=715008 CPUtime=3585.24 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 167935 0 0 0 358484 40 0 0 20 0 1 0 38538216 781963264 178752 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 190909 178752 3936 3530 0 182360 0
Current children cumulated CPU time: 3585.24 s
Current children cumulated vsize: 763636 KiB
Current children cumulated memory: 715008 KiB
[startup+3596 s]*
/proc/loadavg: 1.13 1.34 2.40 2/232 30448
/proc/meminfo: memFree=129444228/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=763636 memory=715008 CPUtime=3586.05 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 167935 0 0 0 358565 40 0 0 20 0 1 0 38538216 781963264 178752 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 190909 178752 3936 3530 0 182360 0
Current children cumulated CPU time: 3586.05 s
Current children cumulated vsize: 763636 KiB
Current children cumulated memory: 715008 KiB
[startup+3596.8 s]
/proc/loadavg: 1.13 1.34 2.40 2/232 30448
/proc/meminfo: memFree=129444228/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=763636 memory=715008 CPUtime=3586.84 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 167935 0 0 0 358644 40 0 0 20 0 1 0 38538216 781963264 178752 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 190909 178752 3936 3530 0 182360 0
Current children cumulated CPU time: 3586.84 s
Current children cumulated vsize: 763636 KiB
Current children cumulated memory: 715008 KiB
[startup+3597 s]*
/proc/loadavg: 1.13 1.34 2.40 2/232 30448
/proc/meminfo: memFree=129444228/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=763636 memory=715008 CPUtime=3587.05 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 167935 0 0 0 358665 40 0 0 20 0 1 0 38538216 781963264 178752 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 190909 178752 3936 3530 0 182360 0
Current children cumulated CPU time: 3587.05 s
Current children cumulated vsize: 763636 KiB
Current children cumulated memory: 715008 KiB
[startup+3597.11 s]
/proc/loadavg: 1.13 1.34 2.40 2/232 30448
/proc/meminfo: memFree=129444228/131382112 swapFree=33010684/33010684
[pid=30160] ppid=30157 vsize=714696 memory=666152 CPUtime=3587.15 cores=5,7
/proc/30160/stat : 30160 (pbscip) R 30157 30160 28474 0 -1 4194304 168030 0 0 0 358675 40 0 0 20 0 1 0 38538216 731848704 166538 18446744073709551615 4235264 18693293 140727721316656 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 27521024 140727721318793 140727721318892 140727721318892 140727721324494 0
/proc/30160/statm: 178674 166538 3936 3530 0 170125 0
Current children cumulated CPU time: 3587.15 s
Current children cumulated vsize: 714696 KiB
Current children cumulated memory: 666152 KiB
Child status: 0
Real time (s): 3597.19
CPU time (s): 3587.23
CPU user time (s): 3586.83
CPU system time (s): 0.406787
CPU usage (%): 99.7233
Max. virtual memory (cumulated for all children) (KiB): 763636
Max. memory (cumulated for all children) (KiB): 715008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.83
system time used= 0.406787
maximum resident set size= 715008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168302
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= 111
involuntary context switches= 1545
# summary of solver processes directly reported to runsolver:
# pid: 30160
# total CPU time (s): 3587.23
# total CPU user time (s): 3586.83
# total CPU system time (s): 0.406787
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0807 second user time and 34.5789 second system time
The end
Begin job on nodeC012 at 2025-06-29 22:23:05 IDJOB=4514996 IDBENCH=164082 IDSOLVER=3365 FILE ID=nodeC012/4514996-1751228585 RUNJOBID= nodeC012-1751220587-28487 SLURM_JOB_ID= 9587676 Free space on /tmp= 433000 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-academictimetablesmall.0.s.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4514996-1751228585/watcher-4514996-1751228585 -o /tmp/evaluation-result-4514996-1751228585/solver-4514996-1751228585 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751220587-28487 --watchdog 3760 pbscip -f HOME/instance-4514996-1751228585.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a01609390e4b909b7e540efbd0d53806 RANDOM SEED=87710757 nodeC012 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 : 0xb00001f cpu MHz : 3661.700 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 3662.511 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1197.505 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1197.783 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 3661.705 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 3700.000 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1197.238 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1197.156 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 129184928 kB MemAvailable: 129016928 kB Buffers: 3280 kB Cached: 642456 kB SwapCached: 0 kB Active: 1184196 kB Inactive: 393804 kB Active(anon): 950224 kB Inactive(anon): 0 kB Active(file): 233972 kB Inactive(file): 393804 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 21364 kB Writeback: 4 kB AnonPages: 933420 kB Mapped: 137220 kB Shmem: 17960 kB KReclaimable: 87320 kB Slab: 169444 kB SReclaimable: 87320 kB SUnreclaim: 82124 kB KernelStack: 4048 kB PageTables: 4952 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 1292644 kB VmallocTotal: 34359738367 kB VmallocUsed: 149432 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 768000 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: 187208 kB DirectMap2M: 8103936 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433040 MiB End job on nodeC012 at 2025-06-29 23:23:02