| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3587.73 | 3597.06 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K90.opb |
| MD5SUM | dd58632d9551a3604736dadf6eadc418 |
| 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 | 50.6923 |
| 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 | 6120 |
| Total number of constraints | 6302 |
| Number of constraints which are clauses | 6212 |
| Number of constraints which are cardinality constraints (but not clauses) | 90 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 90 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 91 |
| Number of bits of the biggest sum of numbers | 7 |
| 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-4507274-1751185786.opb>
0.00/0.03 c original problem has 6120 variables (6120 bin, 0 int, 0 impl, 0 cont) and 6302 constraints
0.00/0.03 c problem read in 0.02
0.00/0.03 c No objective function, only one solution is needed.
0.00/0.05 c presolving:
0.00/0.06 c (round 1, fast) 148 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1219 clqs
0.00/0.06 c (round 2, fast) 392 del vars, 155 del conss, 0 add conss, 66 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1206 clqs
0.00/0.06 c (round 3, fast) 506 del vars, 237 del conss, 0 add conss, 114 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1211 clqs
0.00/0.06 c (round 4, fast) 570 del vars, 294 del conss, 0 add conss, 139 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1237 clqs
0.00/0.06 c (round 5, fast) 581 del vars, 303 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1252 clqs
0.00/0.08 c (0.1s) running MILP presolver
0.08/0.12 c (0.1s) MILP presolver (4 rounds): 0 aggregations, 92 fixings, 0 bound changes
0.08/0.12 c (round 6, medium) 675 del vars, 305 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1249 clqs
0.08/0.12 c (round 7, fast) 675 del vars, 397 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1249 clqs
0.08/0.13 c (round 8, exhaustive) 675 del vars, 485 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1249 clqs
0.08/0.15 c (round 9, exhaustive) 675 del vars, 485 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 5817 upgd conss, 0 impls, 1249 clqs
0.08/0.18 c (round 10, exhaustive) 737 del vars, 485 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 5817 upgd conss, 0 impls, 1237 clqs
0.08/0.18 c (round 11, fast) 799 del vars, 547 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 5817 upgd conss, 0 impls, 1237 clqs
0.87/0.91 c (round 12, exhaustive) 825 del vars, 548 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 5817 upgd conss, 0 impls, 36200 clqs
0.87/0.91 c (round 13, fast) 827 del vars, 575 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 121 chg coeffs, 5817 upgd conss, 0 impls, 36214 clqs
1.17/1.29 c (round 14, exhaustive) 856 del vars, 575 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 122 chg coeffs, 5817 upgd conss, 0 impls, 36543 clqs
1.17/1.29 c (round 15, fast) 860 del vars, 604 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 186 chg coeffs, 5817 upgd conss, 0 impls, 36547 clqs
1.37/1.40 c (round 16, exhaustive) 886 del vars, 604 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 186 chg coeffs, 5817 upgd conss, 0 impls, 36566 clqs
1.37/1.41 c (round 17, fast) 886 del vars, 630 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 236 chg coeffs, 5817 upgd conss, 0 impls, 36574 clqs
1.47/1.50 c (round 18, exhaustive) 911 del vars, 630 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 236 chg coeffs, 5817 upgd conss, 0 impls, 36476 clqs
1.47/1.50 c (round 19, fast) 911 del vars, 655 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 258 chg coeffs, 5817 upgd conss, 0 impls, 36476 clqs
1.47/1.54 c (round 20, exhaustive) 936 del vars, 655 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 258 chg coeffs, 5817 upgd conss, 0 impls, 36526 clqs
1.47/1.55 c (round 21, fast) 936 del vars, 680 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 292 chg coeffs, 5817 upgd conss, 0 impls, 36527 clqs
1.77/1.80 c (round 22, exhaustive) 961 del vars, 680 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 295 chg coeffs, 5817 upgd conss, 0 impls, 36575 clqs
1.77/1.80 c (round 23, fast) 961 del vars, 705 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 323 chg coeffs, 5817 upgd conss, 0 impls, 36575 clqs
1.77/1.85 c (1.8s) probing: 1000/5604 (17.8%) - 168 fixings, 1 aggregations, 568637 implications, 0 bound changes
2.47/2.55 c (round 24, exhaustive) 986 del vars, 705 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 323 chg coeffs, 5817 upgd conss, 0 impls, 36594 clqs
2.47/2.55 c (round 25, fast) 986 del vars, 730 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 355 chg coeffs, 5817 upgd conss, 0 impls, 36594 clqs
2.97/3.01 c (3.0s) probing: 2000/5604 (35.7%) - 195 fixings, 1 aggregations, 1096333 implications, 0 bound changes
3.57/3.63 c (round 26, exhaustive) 1011 del vars, 730 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 355 chg coeffs, 5817 upgd conss, 0 impls, 36620 clqs
3.57/3.64 c (round 27, fast) 1011 del vars, 755 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 394 chg coeffs, 5817 upgd conss, 0 impls, 36620 clqs
3.97/4.03 c (4.0s) probing: 3000/5604 (53.5%) - 209 fixings, 1 aggregations, 1507322 implications, 0 bound changes
4.86/4.99 c (5.0s) probing: 4000/5604 (71.4%) - 211 fixings, 1 aggregations, 1930648 implications, 0 bound changes
5.56/5.61 c (5.6s) probing: 4697/5604 (83.8%) - 211 fixings, 1 aggregations, 2197239 implications, 0 bound changes
5.56/5.61 c (5.6s) probing aborted: 1000/1000 successive useless probings
5.56/5.61 c (round 28, exhaustive) 1022 del vars, 755 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 394 chg coeffs, 5817 upgd conss, 0 impls, 36652 clqs
5.56/5.61 c (round 29, fast) 1022 del vars, 766 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 411 chg coeffs, 5817 upgd conss, 0 impls, 36652 clqs
5.86/5.93 c (5.9s) probing: 5000/5604 (89.2%) - 214 fixings, 1 aggregations, 2309063 implications, 0 bound changes
6.36/6.41 c (6.4s) probing cycle finished: starting next cycle
7.55/7.66 c (7.6s) probing: 1000/5383 (18.6%) - 216 fixings, 3 aggregations, 3071286 implications, 0 bound changes
8.06/8.13 c (8.1s) probing: 1483/5383 (27.5%) - 216 fixings, 3 aggregations, 3328711 implications, 0 bound changes
8.06/8.13 c (8.1s) probing aborted: 1000/1000 successive useless probings
8.06/8.13 c (round 30, exhaustive) 1030 del vars, 766 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 420 chg coeffs, 5817 upgd conss, 0 impls, 35320 clqs
8.06/8.13 c (round 31, fast) 1030 del vars, 773 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 426 chg coeffs, 5817 upgd conss, 0 impls, 35325 clqs
8.15/8.27 c (8.3s) probing: 1583/5383 (29.4%) - 216 fixings, 3 aggregations, 3381880 implications, 0 bound changes
8.15/8.27 c (8.3s) probing aborted: 1000/1000 successive useless probings
8.15/8.28 c (8.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
8.26/8.31 c (8.3s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
8.26/8.31 c dynamic symmetry handling statistics:
8.26/8.31 c orbitopal reduction: no components
8.26/8.31 c orbital reduction: no components
8.26/8.31 c lexicographic reduction: 4 permutations with support sizes 168, 332, 168, 152
8.26/8.31 c handled 5 out of 5 symmetry components
8.26/8.31 c (round 32, exhaustive) 1036 del vars, 773 del conss, 1 add conss, 141 chg bounds, 0 chg sides, 427 chg coeffs, 5817 upgd conss, 0 impls, 36647 clqs
8.26/8.31 c (round 33, fast) 1036 del vars, 779 del conss, 1 add conss, 141 chg bounds, 0 chg sides, 439 chg coeffs, 5817 upgd conss, 0 impls, 36647 clqs
8.35/8.45 c (8.4s) probing: 1683/5383 (31.3%) - 216 fixings, 3 aggregations, 3436121 implications, 0 bound changes
8.35/8.45 c (8.4s) probing aborted: 1000/1000 successive useless probings
8.35/8.45 c presolving (34 rounds: 34 fast, 16 medium, 15 exhaustive):
8.35/8.45 c 1036 deleted vars, 779 deleted constraints, 1 added constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 439 changed coefficients
8.35/8.45 c 0 implications, 36677 cliques
8.35/8.45 c presolved problem has 5373 variables (5373 bin, 0 int, 0 impl, 0 cont) and 5524 constraints
8.35/8.45 c 1172 constraints of type <setppc>
8.35/8.45 c 1 constraints of type <orbitope>
8.35/8.45 c 4351 constraints of type <logicor>
8.35/8.45 c transformed objective value is always integral (scale: 1)
8.35/8.45 c Presolving Time: 8.41
8.35/8.45 c - non default parameters ----------------------------------------------------------------------
8.35/8.45 c # SCIP version 10.0.0
8.35/8.45 c
8.35/8.45 c # maximal time in seconds to run
8.35/8.45 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
8.35/8.45 c limits/time = 3596.997011
8.35/8.45 c
8.35/8.45 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
8.35/8.45 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
8.35/8.45 c limits/memory = 27900
8.35/8.45 c
8.35/8.45 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
8.35/8.45 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
8.35/8.45 c limits/solutions = 1
8.35/8.45 c
8.35/8.45 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.
8.35/8.45 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
8.35/8.45 c misc/usesymmetry = 3
8.35/8.45 c
8.35/8.45 c # belongs reading time to solving time?
8.35/8.45 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
8.35/8.45 c timing/reading = TRUE
8.35/8.45 c
8.35/8.45 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
8.35/8.45 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
8.35/8.45 c propagating/symmetry/detectdoublelex = FALSE
8.35/8.45 c
8.35/8.45 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
8.35/8.45 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
8.35/8.45 c propagating/symmetry/detectsubgroups = FALSE
8.35/8.45 c
8.35/8.45 c # Type of symmetries that shall be computed?
8.35/8.45 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
8.35/8.45 c propagating/symmetry/symtype = 1
8.35/8.45 c
8.35/8.45 c # Should components consisting of a single full reflection be handled?
8.35/8.45 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
8.35/8.45 c propagating/symmetry/usesimplesgncomp = FALSE
8.35/8.45 c
8.35/8.45 c -----------------------------------------------------------------------------------------------
8.35/8.45 c start solving
8.35/8.45 c
12.24/12.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.24/12.39 c 12.4s| 1 | 0 | 11773 | - | 83M | 0 |5373 |5658 |5523 | 0 | 0 | 134 | 0 | 0.000000e+00 | -- | Inf | unknown
47.64/47.88 c 47.9s| 1 | 0 | 71729 | - | 91M | 0 |5373 |5856 |5532 | 9 | 1 | 136 | 0 | 0.000000e+00 | -- | Inf | unknown
49.54/49.74 c 49.7s| 1 | 0 | 75306 | - | 92M | 0 |5373 |5859 |5538 | 15 | 2 | 139 | 0 | 0.000000e+00 | -- | Inf | unknown
52.43/52.64 c 52.6s| 1 | 0 | 81121 | - | 95M | 0 |5373 |5861 |5553 | 30 | 3 | 141 | 0 | 0.000000e+00 | -- | Inf | unknown
58.01/58.26 c 58.2s| 1 | 0 | 91939 | - | 97M | 0 |5373 |5868 |5566 | 43 | 4 | 148 | 0 | 0.000000e+00 | -- | Inf | unknown
60.91/61.16 c 61.2s| 1 | 0 | 96517 | - | 99M | 0 |5373 |5868 |5571 | 48 | 5 | 149 | 0 | 0.000000e+00 | -- | Inf | unknown
64.30/64.57 c 64.6s| 1 | 0 |103192 | - | 101M | 0 |5373 |5872 |5582 | 59 | 6 | 153 | 0 | 0.000000e+00 | -- | Inf | unknown
66.59/66.81 c 66.8s| 1 | 0 |107078 | - | 102M | 0 |5373 |5873 |5587 | 64 | 7 | 154 | 0 | 0.000000e+00 | -- | Inf | unknown
72.48/72.79 c 72.8s| 1 | 0 |117999 | - | 104M | 0 |5373 |5878 |5600 | 77 | 8 | 160 | 0 | 0.000000e+00 | -- | Inf | unknown
77.36/77.65 c 77.6s| 1 | 0 |126756 | - | 106M | 0 |5373 |5871 |5615 | 92 | 9 | 168 | 0 | 0.000000e+00 | -- | Inf | unknown
81.35/81.68 c 81.7s| 1 | 0 |134361 | - | 107M | 0 |5373 |5872 |5626 | 103 | 10 | 170 | 0 | 0.000000e+00 | -- | Inf | unknown
85.64/85.90 c 85.9s| 1 | 0 |142962 | - | 109M | 0 |5373 |5871 |5638 | 115 | 11 | 172 | 0 | 0.000000e+00 | -- | Inf | unknown
132.13/132.56 c 133s| 1 | 2 |238264 | - | 114M | 0 |5373 |5911 |5638 | 115 | 11 | 234 | 10 | 0.000000e+00 | -- | Inf | unknown
625.73/627.45 c 627s| 100 | 67 | 1370k|12401.9 | 140M | 20 |5373 |5964 |5570 | 281 | 2 | 437 | 10 | 0.000000e+00 | -- | Inf | unknown
856.44/858.76 c 859s| 200 | 91 | 1989k|9281.4 | 155M | 20 |5373 |6017 |5570 | 510 | 1 | 562 | 10 | 0.000000e+00 | -- | Inf | 1.12%
1416.71/1420.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1416.71/1420.45 c 1420s| 300 | 135 | 3245k|10375.4 | 166M | 20 |5373 |6027 |5579 | 738 | 0 | 672 | 10 | 0.000000e+00 | -- | Inf | 2.14%
1501.19/1505.18 c 1505s| 400 | 143 | 3484k|8374.3 | 170M | 29 |5373 |6033 |5600 | 854 | 1 | 711 | 10 | 0.000000e+00 | -- | Inf | 2.48%
1633.24/1637.53 c 1638s| 500 | 155 | 3812k|7354.5 | 172M | 29 |5373 |6018 |5581 | 910 | 1 | 780 | 10 | 0.000000e+00 | -- | Inf | 2.86%
1800.81/1805.58 c 1806s| 600 | 176 | 4279k|6905.1 | 176M | 29 |5373 |6046 |5587 |1045 | 0 | 865 | 10 | 0.000000e+00 | -- | Inf | 3.27%
1927.38/1932.48 c 1932s| 700 | 188 | 4639k|6432.2 | 178M | 29 |5373 |6039 |5589 |1187 | 0 | 897 | 10 | 0.000000e+00 | -- | Inf | 3.64%
2080.19/2085.63 c 2086s| 800 | 198 | 5044k|6134.5 | 178M | 29 |5373 |6045 |5594 |1329 | 2 | 962 | 10 | 0.000000e+00 | -- | Inf | 3.99%
2220.73/2226.54 c 2227s| 900 | 214 | 5440k|5892.6 | 182M | 29 |5373 |6064 |5586 |1505 | 1 |1034 | 10 | 0.000000e+00 | -- | Inf | 4.83%
2393.97/2400.21 c 2400s| 1000 | 228 | 5933k|5796.6 | 184M | 29 |5373 |6076 |5598 |1677 | 1 |1088 | 10 | 0.000000e+00 | -- | Inf | 5.28%
2450.73/2457.19 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
2450.73/2457.19 c (run 1, node 1061) performing user restart
2450.73/2457.19 c
2450.73/2457.19 c (restart) converted 91 cuts from the global cut pool into linear constraints
2450.73/2457.19 c
2450.82/2457.22 c presolving:
2450.82/2457.22 c (round 1, fast) 0 del vars, 17 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 4 chg coeffs, 0 upgd conss, 0 impls, 36677 clqs
2450.82/2457.24 c (round 2, exhaustive) 0 del vars, 23 del conss, 0 add conss, 0 chg bounds, 8 chg sides, 4 chg coeffs, 0 upgd conss, 0 impls, 36677 clqs
2450.82/2457.25 c (round 3, exhaustive) 0 del vars, 23 del conss, 0 add conss, 0 chg bounds, 8 chg sides, 4 chg coeffs, 285 upgd conss, 0 impls, 36677 clqs
2450.82/2457.25 c (round 4, medium) 0 del vars, 31 del conss, 13 add conss, 0 chg bounds, 110 chg sides, 132 chg coeffs, 285 upgd conss, 0 impls, 36677 clqs
2450.82/2457.27 c (round 5, exhaustive) 0 del vars, 56 del conss, 13 add conss, 0 chg bounds, 111 chg sides, 252 chg coeffs, 285 upgd conss, 0 impls, 36677 clqs
2451.02/2457.41 c (round 6, exhaustive) 0 del vars, 67 del conss, 13 add conss, 0 chg bounds, 111 chg sides, 2396 chg coeffs, 285 upgd conss, 0 impls, 36677 clqs
2451.12/2457.52 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
2451.12/2457.52 c 0 deleted vars, 67 deleted constraints, 13 added constraints, 0 tightened bounds, 0 added holes, 111 changed sides, 2474 changed coefficients
2451.12/2457.52 c 0 implications, 36677 cliques
2451.12/2457.52 c presolved problem has 5373 variables (5373 bin, 0 int, 0 impl, 0 cont) and 6121 constraints
2451.12/2457.52 c 56 constraints of type <knapsack>
2451.12/2457.52 c 1336 constraints of type <setppc>
2451.12/2457.52 c 1 constraints of type <orbitope>
2451.12/2457.52 c 4728 constraints of type <logicor>
2451.12/2457.52 c transformed objective value is always integral (scale: 1)
2451.12/2457.52 c Presolving Time: 8.71
2451.12/2457.52 c
2455.11/2461.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2455.11/2461.51 c 2462s| 1 | 0 | 6107k| - | 188M | 0 |5373 |6134 |5594 | 0 | 0 |1127 | 10 | 0.000000e+00 | -- | Inf | unknown
2458.71/2465.13 c 2465s| 1 | 0 | 6113k| - | 188M | 0 |5373 |6183 |5616 | 22 | 1 |1134 | 10 | 0.000000e+00 | -- | Inf | unknown
2461.30/2467.79 c 2468s| 1 | 0 | 6118k| - | 189M | 0 |5373 |6178 |5626 | 32 | 2 |1136 | 10 | 0.000000e+00 | -- | Inf | unknown
2466.69/2473.17 c 2473s| 1 | 0 | 6129k| - | 189M | 0 |5373 |6177 |5641 | 47 | 3 |1141 | 10 | 0.000000e+00 | -- | Inf | unknown
2469.58/2476.02 c 2476s| 1 | 0 | 6133k| - | 190M | 0 |5373 |6178 |5648 | 54 | 4 |1142 | 10 | 0.000000e+00 | -- | Inf | unknown
2472.17/2478.66 c 2479s| 1 | 0 | 6138k| - | 190M | 0 |5373 |6179 |5659 | 65 | 5 |1145 | 10 | 0.000000e+00 | -- | Inf | unknown
2476.36/2482.80 c 2483s| 1 | 0 | 6146k| - | 191M | 0 |5373 |6179 |5673 | 79 | 6 |1146 | 10 | 0.000000e+00 | -- | Inf | unknown
2480.95/2487.43 c 2487s| 1 | 0 | 6155k| - | 192M | 0 |5373 |6175 |5685 | 91 | 7 |1148 | 10 | 0.000000e+00 | -- | Inf | unknown
2485.73/2492.26 c 2492s| 1 | 0 | 6164k| - | 193M | 0 |5373 |6178 |5699 | 105 | 8 |1152 | 10 | 0.000000e+00 | -- | Inf | unknown
2492.52/2499.01 c 2499s| 1 | 0 | 6176k| - | 193M | 0 |5373 |6177 |5716 | 122 | 9 |1153 | 10 | 0.000000e+00 | -- | Inf | unknown
2498.80/2505.34 c 2505s| 1 | 0 | 6186k| - | 194M | 0 |5373 |6176 |5728 | 134 | 10 |1157 | 10 | 0.000000e+00 | -- | Inf | unknown
2504.89/2511.43 c 2511s| 1 | 0 | 6196k| - | 195M | 0 |5373 |6173 |5744 | 150 | 11 |1160 | 10 | 0.000000e+00 | -- | Inf | unknown
2536.51/2543.19 c 2543s| 1 | 2 | 6240k| - | 195M | 0 |5373 |6168 |5744 | 150 | 11 |1178 | 22 | 0.000000e+00 | -- | Inf | unknown
2620.68/2627.50 c 2627s| 100 | 23 | 6452k|5352.4 | 197M | 34 |5373 |6180 |5606 | 173 | 0 |1210 | 22 | 0.000000e+00 | -- | Inf | unknown
2747.16/2754.31 c 2754s| 200 | 29 | 6803k|5206.6 | 199M | 40 |5373 |6189 |5600 | 214 | 0 |1272 | 22 | 0.000000e+00 | -- | Inf | unknown
2807.70/2815.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2807.70/2815.07 c 2815s| 300 | 29 | 6985k|4957.2 | 199M | 40 |5373 |6195 |5608 | 253 | 1 |1296 | 22 | 0.000000e+00 | -- | Inf | unknown
2839.71/2847.13 c 2847s| 400 | 35 | 7082k|4684.0 | 203M | 52 |5373 |6255 |5614 | 305 | 1 |1377 | 22 | 0.000000e+00 | -- | Inf | unknown
2881.00/2888.56 c 2889s| 500 | 39 | 7205k|4462.8 | 204M | 52 |5373 |6258 |5608 | 385 | 1 |1403 | 22 | 0.000000e+00 | -- | Inf | unknown
2928.98/2936.60 c 2937s| 600 | 44 | 7349k|4280.7 | 204M | 52 |5373 |6283 |5620 | 440 | 1 |1439 | 22 | 0.000000e+00 | -- | Inf | unknown
2966.08/2973.86 c 2974s| 700 | 34 | 7460k|4100.6 | 207M | 52 |5373 |6283 |5617 | 482 | 1 |1482 | 22 | 0.000000e+00 | -- | Inf | unknown
3009.66/3017.54 c 3018s| 800 | 30 | 7592k|3951.1 | 211M | 52 |5373 |6278 |5620 | 544 | 1 |1514 | 22 | 0.000000e+00 | -- | Inf | 0.50%
3067.61/3075.63 c 3076s| 900 | 31 | 7753k|3831.6 | 214M | 52 |5373 |6270 |5603 | 610 | 1 |1551 | 22 | 0.000000e+00 | -- | Inf | 0.55%
3111.20/3119.37 c 3119s| 1000 | 35 | 7884k|3709.2 | 214M | 52 |5373 |6287 |5604 | 637 | 0 |1578 | 22 | 0.000000e+00 | -- | Inf | 0.57%
3155.68/3163.93 c 3164s| 1100 | 33 | 8014k|3597.7 | 215M | 52 |5373 |6299 |5604 | 675 | 1 |1615 | 22 | 0.000000e+00 | -- | Inf | 0.60%
3211.03/3219.44 c 3219s| 1200 | 33 | 8180k|3512.0 | 215M | 52 |5373 |6321 |5616 | 711 | 1 |1661 | 22 | 0.000000e+00 | -- | Inf | 0.60%
3270.68/3279.20 c 3279s| 1300 | 33 | 8358k|3438.4 | 216M | 52 |5373 |6344 |5609 | 732 | 0 |1704 | 22 | 0.000000e+00 | -- | Inf | 0.60%
3330.33/3339.09 c 3339s| 1400 | 31 | 8536k|3371.3 | 216M | 52 |5373 |6331 |5611 | 772 | 1 |1736 | 22 | 0.000000e+00 | -- | Inf | 0.61%
3394.56/3403.41 c 3403s| 1500 | 33 | 8730k|3315.1 | 216M | 52 |5373 |6331 |5614 | 864 | 1 |1757 | 22 | 0.000000e+00 | -- | Inf | 0.66%
3439.84/3448.85 c 3449s| 1600 | 33 | 8866k|3241.8 | 217M | 52 |5373 |6351 |5616 | 878 | 0 |1781 | 22 | 0.000000e+00 | -- | Inf | 0.66%
3484.93/3494.09 c 3494s| 1700 | 39 | 9003k|3173.9 | 217M | 52 |5373 |6330 |5627 | 900 | 1 |1804 | 22 | 0.000000e+00 | -- | Inf | 0.66%
3530.81/3540.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3530.81/3540.09 c 3540s| 1800 | 37 | 9144k|3112.2 | 218M | 52 |5373 |6328 |5621 | 936 | 0 |1829 | 22 | 0.000000e+00 | -- | Inf | 0.66%
3578.39/3587.79 c 3588s| 1900 | 37 | 9289k|3056.1 | 219M | 52 |5373 |6329 |5621 | 988 | 1 |1850 | 22 | 0.000000e+00 | -- | Inf | 0.66%
3587.67/3597.01 c
3587.67/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.67/3597.01 c Solving Time (sec) : 3597.00
3587.67/3597.01 c Solving Nodes : 1926 (total of 2987 nodes in 2 runs)
3587.67/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.67/3597.01 c Dual Bound : +0.00000000000000e+00
3587.67/3597.01 c Gap : infinite
3587.67/3597.01 s UNKNOWN
3587.67/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.67/3597.01 c Total Time : 3597.00
3587.67/3597.01 c solving : 3597.00
3587.67/3597.01 c presolving : 8.71 (included in solving)
3587.67/3597.01 c reading : 0.02 (included in solving)
3587.67/3597.01 c copying : 1.48 (105 #copies) (minimal 0.01, maximal 0.02, average 0.01)
3587.67/3597.01 c Original Problem :
3587.67/3597.01 c Problem name : HOME/instance-4507274-1751185786.opb
3587.67/3597.01 c Variables : 6120 (6120 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.67/3597.01 c Constraints : 6302 initial, 6302 maximal
3587.67/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.67/3597.01 c Presolved Problem :
3587.67/3597.01 c Problem name : t_HOME/instance-4507274-1751185786.opb
3587.67/3597.01 c Variables : 5373 (5373 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.67/3597.01 c Constraints : 6121 initial, 6351 maximal
3587.67/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.67/3597.01 c Nonzeros : 55917 constraint, 78616 clique table
3587.67/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.67/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c domcol : 0.10 0.00 13 0 0 0 0 0 0 0 0 9
3587.67/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c gateextraction : 0.05 0.00 18 0 0 0 0 0 1 0 0 0
3587.67/3597.01 c implics : 0.00 0.00 22 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c milp : 0.05 0.00 1 92 0 0 0 0 0 0 0 0
3587.67/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c sparsify : 0.14 0.00 3 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c trivial : 0.00 0.00 41 288 0 0 0 0 0 0 0 0
3587.67/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c dualfix : 0.00 0.00 41 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c probing : 7.59 0.00 12 216 3 0 0 0 0 0 0 0
3587.67/3597.01 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c symmetry : 0.03 0.00 1 6 0 0 0 0 0 1 0 0
3587.67/3597.01 c vbounds : 0.01 0.00 4 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c knapsack : 0.02 0.00 18 0 0 0 0 0 0 13 103 318
3587.67/3597.01 c setppc : 0.06 0.00 69 0 0 0 0 0 109 0 0 0
3587.67/3597.01 c linear : 0.04 0.00 16 141 0 0 141 0 491 0 8 4
3587.67/3597.01 c orbitope : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c logicor : 0.56 0.01 66 64 0 0 0 0 245 0 0 2582
3587.67/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c root node : - - - 0 - - 0 - - - - -
3587.67/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.67/3597.01 c benderslp : 0 0 0 0 1629 0 0 252 0 0 0 0 0 0 0
3587.67/3597.01 c integral : 0 0 0 0 1629 0 0 252 0 0 0 0 0 0 3258
3587.67/3597.01 c knapsack : 56 56 11 32571 0 0 0 0 17620 0 4940 4 1 0 0
3587.67/3597.01 c setppc : 1336+ 1370 22 187583 0 0 0 247 559745 210 123541 0 0 0 0
3587.67/3597.01 c linear : 0+ 71 22 52758 0 0 0 3 969 1 98 5 4 0 0
3587.67/3597.01 c orbitope : 1 1 0 57224 0 0 0 0 729 1 861 0 0 0 0
3587.67/3597.01 c logicor : 4728+ 4876 22 140201 0 0 0 0 1141300 311 201208 70 43 0 0
3587.67/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.67/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.67/3597.01 c integral : 10.57 0.00 0.00 0.00 10.57 0.00 0.00 0.00 0.00 0.00
3587.67/3597.01 c knapsack : 0.17 0.00 0.09 0.07 0.00 0.00 0.00 0.00 0.01 0.00
3587.67/3597.01 c setppc : 1.41 0.00 0.00 1.26 0.00 0.00 0.00 0.00 0.13 0.01
3587.67/3597.01 c linear : 0.03 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3587.67/3597.01 c orbitope : 0.08 0.00 0.00 0.08 0.00 0.00 0.00 0.00 0.00 0.00
3587.67/3597.01 c logicor : 3.45 0.01 0.02 2.98 0.00 0.00 0.00 0.00 0.43 0.01
3587.67/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.67/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.67/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.67/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.67/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.67/3597.01 c dualfix : 2 0 0 0
3587.67/3597.01 c genvbounds : 0 0 0 0
3587.67/3597.01 c nlobbt : 0 0 0 0
3587.67/3597.01 c obbt : 0 0 0 0
3587.67/3597.01 c probing : 0 0 0 0
3587.67/3597.01 c pseudoobj : 0 0 0 0
3587.67/3597.01 c redcost : 0 0 0 0
3587.67/3597.01 c rootredcost : 0 0 0 0
3587.67/3597.01 c symmetry : 134 0 0 4
3587.67/3597.01 c vbounds : 27709 0 0 0
3587.67/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.67/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.67/3597.01 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3587.67/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.67/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.67/3597.01 c probing : 7.59 0.00 7.59 0.00 0.00 0.00
3587.67/3597.01 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3587.67/3597.01 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.67/3597.01 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.67/3597.01 c symmetry : 0.07 0.00 0.03 0.04 0.00 0.00
3587.67/3597.01 c vbounds : 0.25 0.00 0.01 0.24 0.00 0.00
3587.67/3597.01 c Symmetry :
3587.67/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.67/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.67/3597.01 c lexicographic red: 4 reductions applied, 0 cutoffs
3587.67/3597.01 c shadow tree time : 0.01 s
3587.67/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.67/3597.01 c propagation : 0.06 518 356 - 1661 135.8 56 28.8 - - -
3587.67/3597.01 c infeasible LP : 5.05 1460 717 - 11872 1210.8 34 6.7 6 146.7 0
3587.67/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.67/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.67/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.67/3597.01 c applied globally : 0.07 - - 0 1842 240.7 - - 6 - -
3587.67/3597.01 c applied locally : - - - 0 9 1328.0 - - 0 - -
3587.67/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.67/3597.01 c cut pool : 0.20 - 532 42 - - 3092 28385 - - - - - (maximal pool size: 1967)
3587.67/3597.01 c aggregation : 0.13 0.00 105 22 0 0 1 3 0 1 1 0 0
3587.67/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.67/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.67/3597.01 c > knapsackcover : - - - - - - - 3 0 1 1 0 -
3587.67/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c clique : 0.74 0.00 22 22 0 0 179 1774 0 210 210 0 0
3587.67/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c gomory : 13.81 0.00 103 20 0 0 2862 23679 326 1399 1387 12 0
3587.67/3597.01 c > gomorymi : - - - - - - - 11323 163 867 862 5 -
3587.67/3597.01 c > strongcg : - - - - - - - 12356 163 532 525 7 -
3587.67/3597.01 c impliedbounds : 0.14 0.00 105 22 0 0 120 807 0 273 273 0 0
3587.67/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c multilinear : 0.00 0.00 112 22 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c rapidlearning : 55.53 0.00 100 2 0 43203 0 0 0 0 0 0 811
3587.67/3597.01 c rlt : 0.00 0.00 74 20 0 0 0 0 0 0 0 0 0
3587.67/3597.01 c zerohalf : 7.72 0.00 105 22 0 0 379 2122 123 769 667 102 0
3587.67/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.67/3597.01 c hybrid : 0.04 0.00 353 22 2722 0 25068 265 0 404
3587.67/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.67/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.67/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.67/3597.01 c problem variables: 0.00 - 0 0
3587.67/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.67/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.67/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.67/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.67/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.67/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.67/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.67/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.67/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.67/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.67/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.67/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.67/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.67/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.67/3597.01 c relpscost : 10.57 0.00 1629 0 0 0 0 0 0 3258
3587.67/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.67/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.67/3597.01 c LP solutions : 0.00 - - 0 0
3587.67/3597.01 c relax solutions : 0.00 - - 0 0
3587.67/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.67/3597.01 c strong branching : 0.00 - - 0 0
3587.67/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.67/3597.01 c adaptivediving : 51.16 0.00 4 0 0
3587.67/3597.01 c alns : 7.82 0.00 3 0 0
3587.67/3597.01 c bound : 0.00 0.00 0 0 0
3587.67/3597.01 c clique : 0.02 0.00 1 0 0
3587.67/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.67/3597.01 c completesol : 0.00 0.00 0 0 0
3587.67/3597.01 c conflictdiving : 141.33 0.00 14 0 0
3587.67/3597.01 c crossover : 0.00 0.00 0 0 0
3587.67/3597.01 c dins : 0.00 0.00 0 0 0
3587.67/3597.01 c distributiondivin: 93.38 0.00 13 0 0
3587.67/3597.01 c dps : 0.00 0.00 0 0 0
3587.67/3597.01 c dualval : 0.00 0.00 0 0 0
3587.67/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.67/3597.01 c feasjump : 0.04 0.00 2 0 0
3587.67/3597.01 c feaspump : 60.33 0.00 6 0 0
3587.67/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.67/3597.01 c fracdiving : 72.16 0.00 13 0 0
3587.67/3597.01 c gins : 0.00 0.00 0 0 0
3587.67/3597.01 c guideddiving : 0.00 0.00 0 0 0
3587.67/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.67/3597.01 c indicator : 0.00 0.00 0 0 0
3587.67/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.67/3597.01 c indoneopt : 0.00 0.00 0 0 0
3587.67/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.67/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.67/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.67/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.67/3597.01 c linesearchdiving : 123.29 0.00 11 0 0
3587.67/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.67/3597.01 c locks : 0.02 0.00 1 0 0
3587.67/3597.01 c lpface : 0.01 0.00 0 0 0
3587.67/3597.01 c mpec : 0.00 0.00 0 0 0
3587.67/3597.01 c multistart : 0.00 0.00 0 0 0
3587.67/3597.01 c mutation : 0.00 0.00 0 0 0
3587.67/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.67/3597.01 c objpscostdiving : 260.36 0.00 2 0 0
3587.67/3597.01 c octane : 0.00 0.00 0 0 0
3587.67/3597.01 c ofins : 0.00 0.00 0 0 0
3587.67/3597.01 c oneopt : 0.00 0.00 0 0 0
3587.67/3597.01 c padm : 0.00 0.00 0 0 0
3587.67/3597.01 c proximity : 0.00 0.00 0 0 0
3587.67/3597.01 c pscostdiving : 143.52 0.00 12 0 0
3587.67/3597.01 c randrounding : 0.19 0.00 262 0 0
3587.67/3597.01 c rens : 0.16 0.00 2 0 0
3587.67/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.67/3597.01 c repair : 0.00 0.00 0 0 0
3587.67/3597.01 c rins : 0.00 0.00 0 0 0
3587.67/3597.01 c rootsoldiving : 49.47 0.00 3 0 0
3587.67/3597.01 c rounding : 0.12 0.00 610 0 0
3587.67/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.67/3597.01 c shiftandpropagate: 0.03 0.00 2 0 0
3587.67/3597.01 c shifting : 0.44 0.00 283 0 0
3587.67/3597.01 c simplerounding : 0.00 0.00 0 0 0
3587.67/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.67/3597.01 c subnlp : 0.00 0.00 0 0 0
3587.67/3597.01 c trivial : 0.01 0.00 4 0 0
3587.67/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.67/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.67/3597.01 c trysol : 0.00 0.00 0 0 0
3587.67/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.67/3597.01 c undercover : 0.00 0.00 0 0 0
3587.67/3597.01 c vbounds : 0.04 0.00 2 0 0
3587.67/3597.01 c veclendiving : 163.30 0.00 12 0 0
3587.67/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.67/3597.01 c zirounding : 0.09 0.00 1000 0 0
3587.67/3597.01 c other solutions : - - - 0 -
3587.67/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.67/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.67/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.67/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.67/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.67/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.67/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.67/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.67/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.67/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.67/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.67/3597.01 c primal LP : 0.72 167 0 0.00 0.00 0.72 167
3587.67/3597.01 c dual LP : 2321.24 3365 6706356 2024.25 2889.12 0.58 52
3587.67/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.67/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.67/3597.01 c resolve instable : 18.65 26 67161 2583.12 3601.65
3587.67/3597.01 c diving/probing LP: 1155.63 2040 2612597 1280.68 2260.75
3587.67/3597.01 c strong branching : 8.36 22 16781 762.77 2006.91 - - 31
3587.67/3597.01 c (at root node) : - 22 16781 762.77 -
3587.67/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3587.67/3597.01 c B&B Tree :
3587.67/3597.01 c number of runs : 2
3587.67/3597.01 c nodes : 1926 (984 internal, 942 leaves)
3587.67/3597.01 c feasible leaves : 0
3587.67/3597.01 c infeas. leaves : 941
3587.67/3597.01 c objective leaves : 0
3587.67/3597.01 c nodes (total) : 2987 (1629 internal, 1358 leaves)
3587.67/3597.01 c nodes left : 36
3587.67/3597.01 c max depth : 52
3587.67/3597.01 c max depth (total): 52
3587.67/3597.01 c backtracks : 251 (13.0%)
3587.67/3597.01 c early backtracks : 0 (0.0%)
3587.67/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.67/3597.01 c delayed cutoffs : 8
3587.67/3597.01 c repropagations : 1325 (6315 domain reductions, 7 cutoffs)
3587.67/3597.01 c avg switch length: 3.85
3587.67/3597.01 c switching time : 1.79
3587.67/3597.01 c Root Node :
3587.67/3597.01 c First LP value : +0.00000000000000e+00
3587.67/3597.01 c First LP Iters : 11773 (3064.03 Iter/sec)
3587.67/3597.01 c First LP Time : 3.84
3587.67/3597.01 c Final Dual Bound : +0.00000000000000e+00
3587.67/3597.01 c Final Root Iters : 243483
3587.67/3597.01 c Root LP Estimate : +3.37439979635947e-02
3587.67/3597.01 c Solution :
3587.67/3597.01 c Solutions found : 0 (0 improvements)
3587.67/3597.01 c Primal Bound : -
3587.67/3597.01 c Dual Bound : +0.00000000000000e+00
3587.67/3597.01 c Gap : infinite
3587.67/3597.01 c Integrals : Total Avg%
3587.67/3597.01 c primal-dual : 359699.75 100.00
3587.67/3597.01 c primal-ref : - - (not evaluated)
3587.67/3597.01 c dual-ref : - - (not evaluated)
3587.67/3597.05 c Time complete: 3587.73.
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (63012 MiB free)
memory of node 1: 64465 MiB (63857 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507274-1751185786/watcher-4507274-1751185786 -o /tmp/evaluation-result-4507274-1751185786/solver-4507274-1751185786 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751182186-23751 --watchdog 3760 pbscip -f HOME/instance-4507274-1751185786.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24159, runsolver pid=24152
[startup+0.100064 s]*
/proc/loadavg: 4.10 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129762720/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=77792 memory=50924 CPUtime=0.08 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 10290 0 0 0 7 1 0 0 20 0 1 0 34257232 79659008 12731 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 19448 12731 3648 3530 0 10899 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 77792 KiB
Current children cumulated memory: 50924 KiB
[startup+0.205502 s]*
/proc/loadavg: 4.10 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129732984/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=83336 memory=56192 CPUtime=0.19 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 12203 0 0 0 18 1 0 0 20 0 1 0 34257232 85336064 14048 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 20834 14048 3648 3530 0 12285 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 83336 KiB
Current children cumulated memory: 56192 KiB
[startup+0.305482 s]*
/proc/loadavg: 4.10 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129653540/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=101972 memory=72832 CPUtime=0.29 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 16426 0 0 0 27 2 0 0 20 0 1 0 34257232 104419328 18208 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 25493 18208 3680 3530 0 16944 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 101972 KiB
Current children cumulated memory: 72832 KiB
[startup+0.70018 s]
/proc/loadavg: 4.10 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129645624/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=103772 memory=74752 CPUtime=0.67 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 16877 0 0 0 65 2 0 0 20 0 1 0 34257232 106262528 18688 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 25943 18688 3680 3530 0 17394 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 103772 KiB
Current children cumulated memory: 74752 KiB
[startup+1.50017 s]
/proc/loadavg: 4.10 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129637264/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=103772 memory=75264 CPUtime=1.47 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 17014 0 0 0 145 2 0 0 20 0 1 0 34257232 106262528 18816 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 25943 18816 3680 3530 0 17394 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 103772 KiB
Current children cumulated memory: 75264 KiB
[startup+3.10536 s]
/proc/loadavg: 4.09 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129593728/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=103908 memory=75392 CPUtime=3.07 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 17048 0 0 0 305 2 0 0 20 0 1 0 34257232 106401792 18848 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 25977 18848 3680 3530 0 17428 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 103908 KiB
Current children cumulated memory: 75392 KiB
[startup+6.30017 s]
/proc/loadavg: 4.09 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129594144/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=104952 memory=76416 CPUtime=6.26 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 17307 0 0 0 624 2 0 0 20 0 1 0 34257232 107470848 19104 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 26238 19104 3680 3530 0 17689 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 104952 KiB
Current children cumulated memory: 76416 KiB
[startup+12.7001 s]
/proc/loadavg: 4.07 4.09 4.05 5/265 24169
/proc/meminfo: memFree=129514284/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=136436 memory=100436 CPUtime=12.64 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 24386 0 0 0 1261 3 0 0 20 0 1 0 34257232 139710464 25109 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 34109 25109 3904 3530 0 25560 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 136436 KiB
Current children cumulated memory: 100436 KiB
[startup+25.5001 s]
/proc/loadavg: 4.06 4.09 4.05 5/265 24169
/proc/meminfo: memFree=129506248/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=139468 memory=102228 CPUtime=25.41 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 24852 0 0 0 2537 4 0 0 20 0 1 0 34257232 142815232 25557 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 34867 25557 3904 3530 0 26318 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 139468 KiB
Current children cumulated memory: 102228 KiB
[startup+51.1052 s]
/proc/loadavg: 4.04 4.08 4.05 5/265 24170
/proc/meminfo: memFree=129142068/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=243200 memory=203400 CPUtime=50.94 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 50620 0 0 0 5086 8 0 0 20 0 1 0 34257232 249036800 50850 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 60800 50850 3936 3530 0 52251 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 243200 KiB
Current children cumulated memory: 203400 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.06 5/266 24178
/proc/meminfo: memFree=129140812/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=243200 memory=203912 CPUtime=102 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 50752 0 0 0 10192 8 0 0 20 0 1 0 34257232 249036800 50978 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 60800 50978 3936 3530 0 52251 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 243200 KiB
Current children cumulated memory: 203912 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.06 5/265 24180
/proc/meminfo: memFree=129095240/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=243200 memory=206344 CPUtime=161.85 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 51368 0 0 0 16176 9 0 0 20 0 1 0 34257232 249036800 51586 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 60800 51586 3936 3530 0 52251 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 243200 KiB
Current children cumulated memory: 206344 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.06 5/266 24183
/proc/meminfo: memFree=129092464/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=243200 memory=206984 CPUtime=221.69 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 51369 0 0 0 22160 9 0 0 20 0 1 0 34257232 249036800 51746 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 60800 51746 3936 3530 0 52251 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 243200 KiB
Current children cumulated memory: 206984 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.08 4.06 5/266 24185
/proc/meminfo: memFree=128992180/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=243200 memory=209160 CPUtime=281.52 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 51413 0 0 0 28143 9 0 0 20 0 1 0 34257232 249036800 52290 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 60800 52290 3936 3530 0 52251 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 243200 KiB
Current children cumulated memory: 209160 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.08 4.06 5/264 24187
/proc/meminfo: memFree=128971908/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=243200 memory=216456 CPUtime=341.37 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 51481 0 0 0 34128 9 0 0 20 0 1 0 34257232 249036800 54114 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 60800 54114 3936 3530 0 52251 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 243200 KiB
Current children cumulated memory: 216456 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.10 4.06 5/263 24189
/proc/meminfo: memFree=128971760/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=243200 memory=216456 CPUtime=401.21 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 51543 0 0 0 40112 9 0 0 20 0 1 0 34257232 249036800 54114 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 60800 54114 3936 3530 0 52251 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 243200 KiB
Current children cumulated memory: 216456 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.08 4.06 5/263 24191
/proc/meminfo: memFree=128964748/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=243200 memory=216456 CPUtime=461.05 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 51564 0 0 0 46096 9 0 0 20 0 1 0 34257232 249036800 54114 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 60800 54114 3936 3530 0 52251 0
Current children cumulated CPU time: 461.05 s
################
# More data... #
################
/proc/loadavg: 4.11 4.09 4.09 5/265 24348
/proc/meminfo: memFree=128668152/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=309288 memory=283220 CPUtime=3154.08 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 140771 0 0 0 315382 26 0 0 20 0 1 0 34257232 316710912 70805 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 77322 70805 4096 3530 0 68773 0
Current children cumulated CPU time: 3154.08 s
Current children cumulated vsize: 309288 KiB
Current children cumulated memory: 283220 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 24350
/proc/meminfo: memFree=128668216/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=309288 memory=283220 CPUtime=3213.92 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 140771 0 0 0 321366 26 0 0 20 0 1 0 34257232 316710912 70805 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 77322 70805 4096 3530 0 68773 0
Current children cumulated CPU time: 3213.92 s
Current children cumulated vsize: 309288 KiB
Current children cumulated memory: 283220 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 24351
/proc/meminfo: memFree=128668248/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=309288 memory=283220 CPUtime=3273.77 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 140771 0 0 0 327351 26 0 0 20 0 1 0 34257232 316710912 70805 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 77322 70805 4096 3530 0 68773 0
Current children cumulated CPU time: 3273.77 s
Current children cumulated vsize: 309288 KiB
Current children cumulated memory: 283220 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 24353
/proc/meminfo: memFree=128668788/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=309288 memory=283220 CPUtime=3333.61 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 140780 0 0 0 333335 26 0 0 20 0 1 0 34257232 316710912 70805 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 77322 70805 4096 3530 0 68773 0
Current children cumulated CPU time: 3333.61 s
Current children cumulated vsize: 309288 KiB
Current children cumulated memory: 283220 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 24355
/proc/meminfo: memFree=128668532/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=309288 memory=283220 CPUtime=3393.46 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 140780 0 0 0 339320 26 0 0 20 0 1 0 34257232 316710912 70805 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 77322 70805 4096 3530 0 68773 0
Current children cumulated CPU time: 3393.46 s
Current children cumulated vsize: 309288 KiB
Current children cumulated memory: 283220 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/263 24357
/proc/meminfo: memFree=128667884/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=309288 memory=283220 CPUtime=3453.31 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 140780 0 0 0 345305 26 0 0 20 0 1 0 34257232 316710912 70805 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 77322 70805 4096 3530 0 68773 0
Current children cumulated CPU time: 3453.31 s
Current children cumulated vsize: 309288 KiB
Current children cumulated memory: 283220 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/263 24359
/proc/meminfo: memFree=128667996/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=309288 memory=283220 CPUtime=3513.15 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 140780 0 0 0 351289 26 0 0 20 0 1 0 34257232 316710912 70805 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 77322 70805 4096 3530 0 68773 0
Current children cumulated CPU time: 3513.15 s
Current children cumulated vsize: 309288 KiB
Current children cumulated memory: 283220 KiB
[startup+3582.3 s]
/proc/loadavg: 4.48 4.17 4.12 5/264 24364
/proc/meminfo: memFree=128668316/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=309288 memory=283220 CPUtime=3573 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 140780 0 0 0 357274 26 0 0 20 0 1 0 34257232 316710912 70805 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 77322 70805 4096 3530 0 68773 0
Current children cumulated CPU time: 3573 s
Current children cumulated vsize: 309288 KiB
Current children cumulated memory: 283220 KiB
[startup+3597.06 s]
# the end of solver process 24159 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.46 s, system=0.271229 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.48 4.17 4.12 5/264 24364
/proc/meminfo: memFree=128668340/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=309288 memory=283220 CPUtime=3574.7 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 140780 0 0 0 357444 26 0 0 20 0 1 0 34257232 316710912 70805 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 77322 70805 4096 3530 0 68773 0
Current children cumulated CPU time: 3574.7 s
Current children cumulated vsize: 309288 KiB
Current children cumulated memory: 283220 KiB
[startup+3590.4 s]
/proc/loadavg: 4.52 4.19 4.12 5/264 24365
/proc/meminfo: memFree=128668340/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=309288 memory=283220 CPUtime=3581.08 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 140780 0 0 0 358082 26 0 0 20 0 1 0 34257232 316710912 70805 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 77322 70805 4096 3530 0 68773 0
Current children cumulated CPU time: 3581.08 s
Current children cumulated vsize: 309288 KiB
Current children cumulated memory: 283220 KiB
[startup+3593.6 s]
/proc/loadavg: 4.48 4.18 4.12 5/264 24365
/proc/meminfo: memFree=128668372/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=309288 memory=283220 CPUtime=3584.27 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 140780 0 0 0 358401 26 0 0 20 0 1 0 34257232 316710912 70805 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 77322 70805 4096 3530 0 68773 0
Current children cumulated CPU time: 3584.27 s
Current children cumulated vsize: 309288 KiB
Current children cumulated memory: 283220 KiB
[startup+3595.2 s]
/proc/loadavg: 4.48 4.18 4.12 5/263 24365
/proc/meminfo: memFree=128668372/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=309288 memory=283220 CPUtime=3585.87 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 140780 0 0 0 358561 26 0 0 20 0 1 0 34257232 316710912 70805 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 77322 70805 4096 3530 0 68773 0
Current children cumulated CPU time: 3585.87 s
Current children cumulated vsize: 309288 KiB
Current children cumulated memory: 283220 KiB
[startup+3596 s]*
/proc/loadavg: 4.48 4.18 4.12 5/263 24365
/proc/meminfo: memFree=128668388/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=309288 memory=283220 CPUtime=3586.67 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 140780 0 0 0 358641 26 0 0 20 0 1 0 34257232 316710912 70805 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 77322 70805 4096 3530 0 68773 0
Current children cumulated CPU time: 3586.67 s
Current children cumulated vsize: 309288 KiB
Current children cumulated memory: 283220 KiB
[startup+3596.8 s]
/proc/loadavg: 4.48 4.18 4.12 5/263 24365
/proc/meminfo: memFree=128668388/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=309288 memory=283220 CPUtime=3587.46 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 140780 0 0 0 358720 26 0 0 20 0 1 0 34257232 316710912 70805 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 77322 70805 4096 3530 0 68773 0
Current children cumulated CPU time: 3587.46 s
Current children cumulated vsize: 309288 KiB
Current children cumulated memory: 283220 KiB
[startup+3597 s]*
/proc/loadavg: 4.44 4.18 4.12 5/263 24365
/proc/meminfo: memFree=128668388/131250000 swapFree=33010684/33010684
[pid=24159] ppid=24152 vsize=309288 memory=283220 CPUtime=3587.67 cores=5,7
/proc/24159/stat : 24159 (pbscip) R 24152 24159 23738 0 -1 4194304 140780 0 0 0 358741 26 0 0 20 0 1 0 34257232 316710912 70805 18446744073709551615 4235264 18693293 140728224439984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 48869376 140728224446857 140728224446956 140728224446956 140728224452558 0
/proc/24159/statm: 77322 70805 4096 3530 0 68773 0
Current children cumulated CPU time: 3587.67 s
Current children cumulated vsize: 309288 KiB
Current children cumulated memory: 283220 KiB
Child status: 0
Real time (s): 3597.06
CPU time (s): 3587.73
CPU user time (s): 3587.46
CPU system time (s): 0.271229
CPU usage (%): 99.7407
Max. virtual memory (cumulated for all children) (KiB): 309288
Max. memory (cumulated for all children) (KiB): 283220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.46
system time used= 0.271229
maximum resident set size= 283220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140790
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= 131
involuntary context switches= 2280
# summary of solver processes directly reported to runsolver:
# pid: 24159
# total CPU time (s): 3587.73
# total CPU user time (s): 3587.46
# total CPU system time (s): 0.271229
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.00328 second user time and 14.0004 second system time
The end
Begin job on nodeC026 at 2025-06-29 10:29:46 IDJOB=4507274 IDBENCH=158339 IDSOLVER=3365 FILE ID=nodeC026/4507274-1751185786 RUNJOBID= nodeC026-1751182186-23751 SLURM_JOB_ID= 9587556 Free space on /tmp= 433048 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K90.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507274-1751185786/watcher-4507274-1751185786 -o /tmp/evaluation-result-4507274-1751185786/solver-4507274-1751185786 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751182186-23751 --watchdog 3760 pbscip -f HOME/instance-4507274-1751185786.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= dd58632d9551a3604736dadf6eadc418 RANDOM SEED=1593073636 nodeC026 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.935 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.59 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.956 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.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.074 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.59 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 : 3602.245 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.59 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.994 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.59 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.793 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.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.757 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.59 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 : 3602.028 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.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129953968 kB MemAvailable: 129743188 kB Buffers: 3280 kB Cached: 599032 kB SwapCached: 0 kB Active: 290660 kB Inactive: 378844 kB Active(anon): 85272 kB Inactive(anon): 0 kB Active(file): 205388 kB Inactive(file): 378844 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 58228 kB Writeback: 16 kB AnonPages: 70608 kB Mapped: 102984 kB Shmem: 18080 kB KReclaimable: 88452 kB Slab: 174108 kB SReclaimable: 88452 kB SUnreclaim: 85656 kB KernelStack: 4140 kB PageTables: 2940 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 331708 kB VmallocTotal: 34359738367 kB VmallocUsed: 150440 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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: 187092 kB DirectMap2M: 9021440 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432984 MiB End job on nodeC026 at 2025-06-29 11:29:43