| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | UNSAT | 20.3466 | 20.4205 |
| Name | PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6021_1-unsat.opb |
| MD5SUM | acb3bfa25be6cee6deaef298d2d917c1 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.387219 |
| 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 | 12566 |
| Total number of constraints | 41514 |
| Number of constraints which are clauses | 41106 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 408 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 36 |
| 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 | 15 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 233 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 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-4501840-1751154464.opb>
0.00/0.08 c original problem has 12566 variables (12566 bin, 0 int, 0 impl, 0 cont) and 41514 constraints
0.00/0.08 c problem read in 0.08
0.00/0.08 c No objective function, only one solution is needed.
0.09/0.16 c presolving:
0.19/0.25 c (round 1, fast) 7602 del vars, 8021 del conss, 0 add conss, 2089 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 12350 clqs
0.19/0.30 c (round 2, fast) 12821 del vars, 28384 del conss, 0 add conss, 2089 chg bounds, 34 chg sides, 33 chg coeffs, 0 upgd conss, 0 impls, 12076 clqs
0.19/0.30 c (round 3, fast) 12821 del vars, 28894 del conss, 0 add conss, 2089 chg bounds, 34 chg sides, 33 chg coeffs, 0 upgd conss, 0 impls, 12381 clqs
0.29/0.32 c (0.3s) running MILP presolver
0.59/0.69 c (0.7s) MILP presolver (17 rounds): 253 aggregations, 389 fixings, 0 bound changes
0.68/0.70 c (round 4, medium) 13463 del vars, 28894 del conss, 0 add conss, 2089 chg bounds, 34 chg sides, 33 chg coeffs, 0 upgd conss, 0 impls, 10054 clqs
0.68/0.70 c (round 5, fast) 13463 del vars, 31215 del conss, 0 add conss, 2089 chg bounds, 38 chg sides, 37 chg coeffs, 0 upgd conss, 0 impls, 10077 clqs
0.68/0.73 c (round 6, exhaustive) 13463 del vars, 31215 del conss, 0 add conss, 2089 chg bounds, 38 chg sides, 37 chg coeffs, 10299 upgd conss, 0 impls, 10077 clqs
0.68/0.74 c (round 7, fast) 13463 del vars, 31219 del conss, 8 add conss, 2089 chg bounds, 57 chg sides, 89 chg coeffs, 10299 upgd conss, 0 impls, 10077 clqs
0.68/0.75 c (round 8, medium) 13463 del vars, 31233 del conss, 83 add conss, 2089 chg bounds, 139 chg sides, 341 chg coeffs, 10299 upgd conss, 0 impls, 10103 clqs
0.68/0.75 c (round 9, fast) 13463 del vars, 31239 del conss, 87 add conss, 2089 chg bounds, 151 chg sides, 382 chg coeffs, 10299 upgd conss, 0 impls, 10105 clqs
0.68/0.77 c (round 10, exhaustive) 13463 del vars, 36820 del conss, 1826 add conss, 2089 chg bounds, 151 chg sides, 382 chg coeffs, 10299 upgd conss, 0 impls, 10105 clqs
0.68/0.77 c (round 11, fast) 13465 del vars, 36830 del conss, 1826 add conss, 2089 chg bounds, 151 chg sides, 382 chg coeffs, 10299 upgd conss, 0 impls, 10448 clqs
0.68/0.77 c (round 12, fast) 13467 del vars, 36837 del conss, 1826 add conss, 2089 chg bounds, 151 chg sides, 382 chg coeffs, 10299 upgd conss, 0 impls, 10446 clqs
0.68/0.77 c (round 13, fast) 13468 del vars, 36852 del conss, 1826 add conss, 2089 chg bounds, 151 chg sides, 382 chg coeffs, 10299 upgd conss, 0 impls, 10428 clqs
0.68/0.78 c (round 14, medium) 13482 del vars, 36869 del conss, 1826 add conss, 2089 chg bounds, 162 chg sides, 393 chg coeffs, 10299 upgd conss, 0 impls, 10375 clqs
0.68/0.78 c (round 15, fast) 13487 del vars, 36933 del conss, 1826 add conss, 2089 chg bounds, 162 chg sides, 393 chg coeffs, 10299 upgd conss, 0 impls, 10310 clqs
0.68/0.78 c (round 16, fast) 13491 del vars, 36967 del conss, 1826 add conss, 2089 chg bounds, 162 chg sides, 393 chg coeffs, 10299 upgd conss, 0 impls, 10274 clqs
0.68/0.78 c (round 17, medium) 13498 del vars, 36975 del conss, 1826 add conss, 2089 chg bounds, 163 chg sides, 396 chg coeffs, 10299 upgd conss, 0 impls, 10264 clqs
1.08/1.11 c (round 18, exhaustive) 13549 del vars, 36976 del conss, 1826 add conss, 2089 chg bounds, 167 chg sides, 443 chg coeffs, 10299 upgd conss, 0 impls, 63635 clqs
1.08/1.12 c (round 19, fast) 13578 del vars, 37128 del conss, 1826 add conss, 2089 chg bounds, 169 chg sides, 477 chg coeffs, 10299 upgd conss, 0 impls, 63267 clqs
1.08/1.13 c (round 20, medium) 13581 del vars, 37134 del conss, 1833 add conss, 2089 chg bounds, 182 chg sides, 511 chg coeffs, 10299 upgd conss, 0 impls, 63238 clqs
1.08/1.13 c (round 21, fast) 13582 del vars, 37135 del conss, 1834 add conss, 2089 chg bounds, 186 chg sides, 543 chg coeffs, 10299 upgd conss, 0 impls, 63225 clqs
1.08/1.13 c (round 22, medium) 13587 del vars, 37138 del conss, 1834 add conss, 2089 chg bounds, 188 chg sides, 551 chg coeffs, 10299 upgd conss, 0 impls, 63155 clqs
1.08/1.14 c (round 23, medium) 13591 del vars, 37140 del conss, 1834 add conss, 2089 chg bounds, 190 chg sides, 559 chg coeffs, 10299 upgd conss, 0 impls, 63081 clqs
1.08/1.15 c (round 24, exhaustive) 13594 del vars, 37141 del conss, 1834 add conss, 2089 chg bounds, 192 chg sides, 589 chg coeffs, 10299 upgd conss, 0 impls, 63008 clqs
1.08/1.15 c (round 25, medium) 13597 del vars, 37143 del conss, 1835 add conss, 2089 chg bounds, 195 chg sides, 599 chg coeffs, 10299 upgd conss, 0 impls, 62931 clqs
1.08/1.16 c (round 26, medium) 13601 del vars, 37145 del conss, 1835 add conss, 2089 chg bounds, 197 chg sides, 607 chg coeffs, 10299 upgd conss, 0 impls, 62786 clqs
1.08/1.16 c (round 27, medium) 13605 del vars, 37147 del conss, 1835 add conss, 2089 chg bounds, 197 chg sides, 608 chg coeffs, 10299 upgd conss, 0 impls, 62600 clqs
1.08/1.17 c (round 28, exhaustive) 13608 del vars, 37148 del conss, 1835 add conss, 2089 chg bounds, 199 chg sides, 620 chg coeffs, 10299 upgd conss, 0 impls, 62427 clqs
1.08/1.17 c (round 29, fast) 13612 del vars, 37150 del conss, 1835 add conss, 2089 chg bounds, 201 chg sides, 629 chg coeffs, 10299 upgd conss, 0 impls, 62101 clqs
1.08/1.17 c (round 30, fast) 13612 del vars, 37222 del conss, 1835 add conss, 2089 chg bounds, 205 chg sides, 646 chg coeffs, 10299 upgd conss, 0 impls, 62101 clqs
1.08/1.18 c (round 31, exhaustive) 13612 del vars, 37331 del conss, 1944 add conss, 2089 chg bounds, 205 chg sides, 646 chg coeffs, 10299 upgd conss, 0 impls, 62101 clqs
1.28/1.31 c (round 32, exhaustive) 13639 del vars, 37331 del conss, 1944 add conss, 2089 chg bounds, 205 chg sides, 646 chg coeffs, 10300 upgd conss, 0 impls, 78266 clqs
1.28/1.31 c (round 33, fast) 13656 del vars, 37419 del conss, 1944 add conss, 2089 chg bounds, 205 chg sides, 657 chg coeffs, 10300 upgd conss, 0 impls, 77832 clqs
1.28/1.34 c (round 34, exhaustive) 13657 del vars, 37533 del conss, 2057 add conss, 2089 chg bounds, 205 chg sides, 660 chg coeffs, 10300 upgd conss, 0 impls, 77826 clqs
2.08/2.19 c (2.2s) probing: 1000/3773 (26.5%) - 79 fixings, 3 aggregations, 207906 implications, 0 bound changes
2.27/2.32 c (round 35, exhaustive) 13685 del vars, 37533 del conss, 2057 add conss, 2089 chg bounds, 205 chg sides, 664 chg coeffs, 10300 upgd conss, 0 impls, 93597 clqs
2.27/2.32 c (round 36, fast) 13710 del vars, 37640 del conss, 2057 add conss, 2089 chg bounds, 205 chg sides, 679 chg coeffs, 10300 upgd conss, 0 impls, 92276 clqs
2.27/2.35 c (round 37, exhaustive) 13710 del vars, 37753 del conss, 2170 add conss, 2089 chg bounds, 209 chg sides, 724 chg coeffs, 10300 upgd conss, 0 impls, 92276 clqs
2.27/2.36 c (round 38, medium) 13710 del vars, 37759 del conss, 2184 add conss, 2089 chg bounds, 227 chg sides, 773 chg coeffs, 10300 upgd conss, 0 impls, 92406 clqs
2.27/2.36 c (round 39, fast) 13710 del vars, 37764 del conss, 2189 add conss, 2089 chg bounds, 230 chg sides, 783 chg coeffs, 10300 upgd conss, 0 impls, 92406 clqs
2.97/3.03 c (round 40, exhaustive) 13735 del vars, 37764 del conss, 2189 add conss, 2089 chg bounds, 230 chg sides, 787 chg coeffs, 10300 upgd conss, 0 impls, 96149 clqs
2.97/3.03 c (round 41, fast) 13745 del vars, 37827 del conss, 2189 add conss, 2089 chg bounds, 230 chg sides, 797 chg coeffs, 10300 upgd conss, 0 impls, 95864 clqs
2.97/3.04 c (round 42, medium) 13745 del vars, 37827 del conss, 2191 add conss, 2089 chg bounds, 234 chg sides, 807 chg coeffs, 10300 upgd conss, 0 impls, 95869 clqs
2.97/3.06 c (round 43, exhaustive) 13745 del vars, 37865 del conss, 2229 add conss, 2089 chg bounds, 234 chg sides, 815 chg coeffs, 10300 upgd conss, 0 impls, 95869 clqs
3.27/3.37 c (round 44, exhaustive) 13770 del vars, 37865 del conss, 2231 add conss, 2089 chg bounds, 236 chg sides, 822 chg coeffs, 10300 upgd conss, 0 impls, 95209 clqs
3.27/3.37 c (round 45, fast) 13795 del vars, 37954 del conss, 2231 add conss, 2089 chg bounds, 236 chg sides, 841 chg coeffs, 10300 upgd conss, 0 impls, 93635 clqs
3.37/3.40 c (round 46, exhaustive) 13795 del vars, 37960 del conss, 2239 add conss, 2089 chg bounds, 238 chg sides, 886 chg coeffs, 10300 upgd conss, 0 impls, 93643 clqs
3.47/3.55 c (round 47, exhaustive) 13821 del vars, 37960 del conss, 2239 add conss, 2089 chg bounds, 239 chg sides, 892 chg coeffs, 10300 upgd conss, 0 impls, 95347 clqs
3.47/3.56 c (round 48, fast) 13848 del vars, 38078 del conss, 2239 add conss, 2089 chg bounds, 241 chg sides, 920 chg coeffs, 10300 upgd conss, 0 impls, 94303 clqs
3.47/3.58 c (round 49, exhaustive) 13850 del vars, 38082 del conss, 2241 add conss, 2089 chg bounds, 241 chg sides, 937 chg coeffs, 10300 upgd conss, 0 impls, 94155 clqs
3.47/3.58 c (round 50, medium) 13850 del vars, 38082 del conss, 2242 add conss, 2089 chg bounds, 246 chg sides, 957 chg coeffs, 10300 upgd conss, 0 impls, 94157 clqs
3.47/3.59 c (round 51, exhaustive) 13850 del vars, 38086 del conss, 2246 add conss, 2089 chg bounds, 247 chg sides, 968 chg coeffs, 10300 upgd conss, 0 impls, 94157 clqs
3.67/3.70 c (3.7s) probing: 2000/3773 (53.0%) - 165 fixings, 12 aggregations, 475416 implications, 0 bound changes
4.66/4.75 c (4.7s) probing: 3000/3773 (79.5%) - 176 fixings, 12 aggregations, 650775 implications, 0 bound changes
5.26/5.32 c (round 52, exhaustive) 13875 del vars, 38086 del conss, 2246 add conss, 2089 chg bounds, 247 chg sides, 968 chg coeffs, 10302 upgd conss, 0 impls, 96428 clqs
5.26/5.32 c (round 53, fast) 13889 del vars, 38123 del conss, 2246 add conss, 2089 chg bounds, 247 chg sides, 972 chg coeffs, 10309 upgd conss, 0 impls, 94993 clqs
5.26/5.33 c (round 54, medium) 13910 del vars, 38125 del conss, 2246 add conss, 2089 chg bounds, 247 chg sides, 972 chg coeffs, 10309 upgd conss, 0 impls, 94093 clqs
5.26/5.34 c (round 55, fast) 13910 del vars, 38154 del conss, 2247 add conss, 2089 chg bounds, 247 chg sides, 972 chg coeffs, 10309 upgd conss, 0 impls, 94095 clqs
5.26/5.36 c (round 56, exhaustive) 13910 del vars, 38173 del conss, 2266 add conss, 2089 chg bounds, 247 chg sides, 998 chg coeffs, 10309 upgd conss, 0 impls, 94095 clqs
5.36/5.42 c (5.4s) probing cycle finished: starting next cycle
5.86/5.99 c (round 57, exhaustive) 13939 del vars, 38173 del conss, 2266 add conss, 2089 chg bounds, 247 chg sides, 1009 chg coeffs, 10310 upgd conss, 0 impls, 94409 clqs
5.86/6.00 c (round 58, fast) 13952 del vars, 38265 del conss, 2266 add conss, 2089 chg bounds, 248 chg sides, 1030 chg coeffs, 10310 upgd conss, 0 impls, 93830 clqs
5.86/6.00 c (round 59, medium) 13953 del vars, 38269 del conss, 2276 add conss, 2089 chg bounds, 257 chg sides, 1056 chg coeffs, 10310 upgd conss, 0 impls, 93703 clqs
5.96/6.03 c (round 60, exhaustive) 13953 del vars, 38274 del conss, 2280 add conss, 2089 chg bounds, 258 chg sides, 1141 chg coeffs, 10310 upgd conss, 0 impls, 93704 clqs
5.96/6.03 c (round 61, medium) 13953 del vars, 38275 del conss, 2284 add conss, 2089 chg bounds, 262 chg sides, 1156 chg coeffs, 10310 upgd conss, 0 impls, 93733 clqs
6.46/6.50 c (6.5s) probing: 1000/3365 (29.7%) - 203 fixings, 26 aggregations, 859550 implications, 0 bound changes
7.55/7.65 c (7.6s) probing: 2000/3365 (59.4%) - 221 fixings, 30 aggregations, 1082473 implications, 0 bound changes
7.75/7.83 c (round 62, exhaustive) 13978 del vars, 38275 del conss, 2284 add conss, 2089 chg bounds, 262 chg sides, 1170 chg coeffs, 10311 upgd conss, 0 impls, 95242 clqs
7.75/7.83 c (round 63, fast) 13994 del vars, 38348 del conss, 2284 add conss, 2089 chg bounds, 262 chg sides, 1184 chg coeffs, 10312 upgd conss, 0 impls, 94578 clqs
7.75/7.87 c (round 64, exhaustive) 13995 del vars, 38400 del conss, 2335 add conss, 2089 chg bounds, 262 chg sides, 1197 chg coeffs, 10312 upgd conss, 0 impls, 94572 clqs
8.65/8.76 c (8.8s) probing: 3000/3365 (89.2%) - 229 fixings, 32 aggregations, 1258897 implications, 0 bound changes
9.05/9.12 c (9.1s) probing cycle finished: starting next cycle
9.95/10.10 c (10.1s) probing: 1000/3271 (30.6%) - 234 fixings, 43 aggregations, 1418343 implications, 0 bound changes
10.44/10.58 c (round 65, exhaustive) 14020 del vars, 38400 del conss, 2335 add conss, 2089 chg bounds, 262 chg sides, 1201 chg coeffs, 10313 upgd conss, 0 impls, 96371 clqs
10.44/10.58 c (round 66, fast) 14021 del vars, 38431 del conss, 2335 add conss, 2089 chg bounds, 262 chg sides, 1208 chg coeffs, 10318 upgd conss, 0 impls, 96285 clqs
10.44/10.58 c (round 67, fast) 14021 del vars, 38436 del conss, 2335 add conss, 2089 chg bounds, 262 chg sides, 1208 chg coeffs, 10318 upgd conss, 0 impls, 96285 clqs
10.54/10.62 c (round 68, exhaustive) 14023 del vars, 38450 del conss, 2347 add conss, 2089 chg bounds, 263 chg sides, 1216 chg coeffs, 10318 upgd conss, 0 impls, 96273 clqs
11.14/11.26 c (11.3s) probing: 2000/3271 (61.1%) - 239 fixings, 45 aggregations, 1626841 implications, 0 bound changes
12.14/12.29 c (12.3s) probing: 3000/3271 (91.7%) - 245 fixings, 47 aggregations, 1791521 implications, 0 bound changes
12.54/12.61 c (12.6s) probing cycle finished: starting next cycle
12.74/12.81 c (round 69, exhaustive) 14048 del vars, 38450 del conss, 2347 add conss, 2089 chg bounds, 263 chg sides, 1217 chg coeffs, 10318 upgd conss, 0 impls, 95179 clqs
12.74/12.82 c (round 70, fast) 14052 del vars, 38486 del conss, 2347 add conss, 2089 chg bounds, 263 chg sides, 1221 chg coeffs, 10322 upgd conss, 0 impls, 94926 clqs
12.74/12.82 c (round 71, fast) 14052 del vars, 38492 del conss, 2347 add conss, 2089 chg bounds, 263 chg sides, 1221 chg coeffs, 10322 upgd conss, 0 impls, 94926 clqs
12.74/12.82 c (round 72, medium) 14052 del vars, 38493 del conss, 2350 add conss, 2089 chg bounds, 266 chg sides, 1233 chg coeffs, 10322 upgd conss, 0 impls, 94927 clqs
12.74/12.85 c (round 73, exhaustive) 14052 del vars, 38503 del conss, 2360 add conss, 2089 chg bounds, 266 chg sides, 1249 chg coeffs, 10322 upgd conss, 0 impls, 94927 clqs
13.53/13.63 c (13.6s) probing: 1000/3231 (31.0%) - 248 fixings, 56 aggregations, 1942378 implications, 0 bound changes
13.73/13.88 c (13.9s) probing: 1231/3231 (38.1%) - 248 fixings, 56 aggregations, 1983473 implications, 0 bound changes
13.73/13.88 c (13.9s) probing aborted: 1000/1000 successive useless probings
13.73/13.88 c (13.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
13.73/13.89 c (13.9s) no symmetry present (symcode time: 0.00)
13.83/13.90 c presolving (74 rounds: 74 fast, 45 medium, 28 exhaustive):
13.83/13.90 c 14052 deleted vars, 38503 deleted constraints, 2360 added constraints, 2089 tightened bounds, 0 added holes, 266 changed sides, 1250 changed coefficients
13.83/13.90 c 0 implications, 98064 cliques
13.83/13.90 c presolved problem has 3226 variables (3226 bin, 0 int, 0 impl, 0 cont) and 5367 constraints
13.83/13.90 c 341 constraints of type <knapsack>
13.83/13.90 c 4287 constraints of type <setppc>
13.83/13.90 c 734 constraints of type <and>
13.83/13.90 c 5 constraints of type <logicor>
13.83/13.90 c transformed objective value is always integral (scale: 1)
13.83/13.90 c Presolving Time: 13.74
13.83/13.90 c - non default parameters ----------------------------------------------------------------------
13.83/13.90 c # SCIP version 10.0.0
13.83/13.90 c
13.83/13.90 c # maximal time in seconds to run
13.83/13.90 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
13.83/13.90 c limits/time = 3596.998007
13.83/13.90 c
13.83/13.90 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
13.83/13.90 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
13.83/13.90 c limits/memory = 27900
13.83/13.90 c
13.83/13.90 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
13.83/13.90 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
13.83/13.90 c limits/solutions = 1
13.83/13.90 c
13.83/13.90 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.
13.83/13.90 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
13.83/13.90 c misc/usesymmetry = 3
13.83/13.90 c
13.83/13.90 c # belongs reading time to solving time?
13.83/13.90 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
13.83/13.90 c timing/reading = TRUE
13.83/13.90 c
13.83/13.90 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
13.83/13.90 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
13.83/13.90 c propagating/symmetry/detectdoublelex = FALSE
13.83/13.90 c
13.83/13.90 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
13.83/13.90 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
13.83/13.90 c propagating/symmetry/detectsubgroups = FALSE
13.83/13.90 c
13.83/13.90 c # Type of symmetries that shall be computed?
13.83/13.90 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
13.83/13.90 c propagating/symmetry/symtype = 1
13.83/13.90 c
13.83/13.90 c # Should components consisting of a single full reflection be handled?
13.83/13.90 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
13.83/13.90 c propagating/symmetry/usesimplesgncomp = FALSE
13.83/13.90 c
13.83/13.90 c -----------------------------------------------------------------------------------------------
13.83/13.90 c start solving
13.83/13.90 c
14.63/14.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.63/14.78 c 14.8s| 1 | 0 | 4551 | - | 113M | 0 |3226 |5428 |6101 | 0 | 0 | 60 | 0 | 0.000000e+00 | -- | Inf | unknown
20.21/20.35 c 20.3s| 1 | 0 | 22404 | - | 118M | 0 |3226 |5629 |6101 | 0 | 1 | 61 | 0 | cutoff | -- | 0.00%| unknown
20.21/20.35 c 20.3s| 1 | 0 | 22404 | - | 118M | 0 |3226 |5629 |6101 | 0 | 1 | 61 | 0 | cutoff | -- | 0.00%| unknown
20.21/20.35 c
20.21/20.35 c SCIP Status : problem is solved [infeasible]
20.21/20.35 c Solving Time (sec) : 20.35
20.21/20.35 c Solving Nodes : 1
20.21/20.35 c Primal Bound : +1.00000000000000e+20 (0 solutions)
20.21/20.35 c Dual Bound : +1.00000000000000e+20
20.21/20.35 c Gap : 0.00 %
20.21/20.35 s UNSATISFIABLE
20.21/20.35 c SCIP Status : problem is solved [infeasible]
20.21/20.35 c Total Time : 20.35
20.21/20.35 c solving : 20.35
20.21/20.35 c presolving : 13.74 (included in solving)
20.21/20.35 c reading : 0.08 (included in solving)
20.21/20.35 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
20.21/20.35 c Original Problem :
20.21/20.35 c Problem name : HOME/instance-4501840-1751154464.opb
20.21/20.35 c Variables : 12566 (12566 binary, 0 integer, 0 implicit integer, 0 continuous)
20.21/20.35 c Constraints : 41514 initial, 41514 maximal
20.21/20.35 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
20.21/20.35 c Presolved Problem :
20.21/20.35 c Problem name : t_HOME/instance-4501840-1751154464.opb
20.21/20.35 c Variables : 3226 (3226 binary, 0 integer, 0 implicit integer, 0 continuous)
20.21/20.35 c Constraints : 5367 initial, 5629 maximal
20.21/20.35 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
20.21/20.35 c Nonzeros : 15891 constraint, 200219 clique table
20.21/20.35 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
20.21/20.35 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c domcol : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
20.21/20.35 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
20.21/20.35 c gateextraction : 0.06 0.00 19 0 0 0 0 0 5581 1739 0 0
20.21/20.35 c implics : 0.00 0.00 45 0 0 0 0 0 0 0 0 0
20.21/20.35 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c milp : 0.39 0.00 1 389 253 0 0 0 0 0 0 0
20.21/20.35 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
20.21/20.35 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c trivial : 0.01 0.00 74 4712 0 0 0 0 0 0 0 0
20.21/20.35 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c dualfix : 0.00 0.00 74 1 0 0 0 0 0 0 0 0
20.21/20.35 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c probing : 12.51 0.00 12 248 56 0 0 0 0 0 0 0
20.21/20.35 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
20.21/20.35 c vbounds : 0.04 0.00 5 0 20 0 0 0 0 0 0 0
20.21/20.35 c knapsack : 0.24 0.00 137 0 0 0 0 0 32 137 217 1060
20.21/20.35 c setppc : 0.21 0.00 137 34 95 0 0 0 1055 6 11 11
20.21/20.35 c and : 0.06 0.00 87 0 127 0 0 0 620 478 0 142
20.21/20.35 c linear : 0.13 0.01 34 2089 1316 0 2089 0 31215 0 38 37
20.21/20.35 c logicor : 0.00 0.00 75 0 0 0 0 0 0 0 0 0
20.21/20.35 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
20.21/20.35 c root node : - - - 1060 - - 1060 - - - - -
20.21/20.35 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
20.21/20.35 c benderslp : 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0
20.21/20.35 c integral : 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0
20.21/20.35 c knapsack : 341 341 1 191316 0 0 0 3 1095 15 0 201 0 0 0
20.21/20.35 c setppc : 4287+ 4301 1 191301 0 0 0 0 2623 86 0 0 0 0 0
20.21/20.35 c and : 734 734 1 191215 0 0 0 0 396 22 0 18 0 0 0
20.21/20.35 c linear : 0+ 200 0 0 0 0 0 3 0 0 0 0 0 0 0
20.21/20.35 c logicor : 5+ 53 1 1070 0 0 0 0 2 2 0 0 0 0 0
20.21/20.35 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
20.21/20.35 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
20.21/20.35 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
20.21/20.35 c knapsack : 0.66 0.00 0.00 0.66 0.00 0.00 0.00 0.00 0.00 0.00
20.21/20.35 c setppc : 3.14 0.00 0.00 3.13 0.00 0.00 0.00 0.00 0.00 0.00
20.21/20.35 c and : 1.45 0.00 0.00 1.45 0.00 0.00 0.00 0.00 0.00 0.00
20.21/20.35 c linear : 0.01 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
20.21/20.35 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
20.21/20.35 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
20.21/20.35 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
20.21/20.35 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
20.21/20.35 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
20.21/20.35 c Propagators : #Propagate #ResProp Cutoffs DomReds
20.21/20.35 c dualfix : 1 0 0 0
20.21/20.35 c genvbounds : 0 0 0 0
20.21/20.35 c nlobbt : 0 0 0 0
20.21/20.35 c obbt : 0 0 0 0
20.21/20.35 c probing : 0 0 0 0
20.21/20.35 c pseudoobj : 0 0 0 0
20.21/20.35 c redcost : 0 0 0 0
20.21/20.35 c rootredcost : 0 0 0 0
20.21/20.35 c symmetry : 0 0 0 0
20.21/20.35 c vbounds : 1253 0 0 0
20.21/20.35 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
20.21/20.35 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
20.21/20.35 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
20.21/20.35 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
20.21/20.35 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
20.21/20.35 c probing : 12.51 0.00 12.51 0.00 0.00 0.00
20.21/20.35 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
20.21/20.35 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
20.21/20.35 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
20.21/20.35 c symmetry : 0.02 0.00 0.01 0.01 0.00 0.00
20.21/20.35 c vbounds : 0.05 0.00 0.04 0.01 0.00 0.00
20.21/20.35 c Symmetry :
20.21/20.35 c orbitopal red. : 0 reductions applied, 0 cutoffs
20.21/20.35 c orbital reduction: 0 reductions applied, 0 cutoffs
20.21/20.35 c lexicographic red: 0 reductions applied, 0 cutoffs
20.21/20.35 c shadow tree time : 0.00 s
20.21/20.35 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
20.21/20.35 c propagation : 0.00 120 32 - 64 4.5 0 0.0 - - -
20.21/20.35 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
20.21/20.35 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
20.21/20.35 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
20.21/20.35 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
20.21/20.35 c applied globally : 0.00 - - 0 61 3.9 - - 0 - -
20.21/20.35 c applied locally : - - - 0 0 0.0 - - 0 - -
20.21/20.35 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
20.21/20.35 c cut pool : 0.00 - 0 0 - - 454 0 - - - - - (maximal pool size: 454)
20.21/20.35 c aggregation : 0.00 0.00 1 1 0 0 16 0 0 0 0 0 0
20.21/20.35 c > cmir : - - - - - - - 0 0 0 0 0 -
20.21/20.35 c > flowcover : - - - - - - - 0 0 0 0 0 -
20.21/20.35 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
20.21/20.35 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c clique : 0.28 0.00 1 1 0 0 6 0 0 0 0 0 0
20.21/20.35 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c gomory : 0.47 0.00 1 1 0 0 5 0 0 0 0 0 0
20.21/20.35 c > gomorymi : - - - - - - - 0 0 0 0 0 -
20.21/20.35 c > strongcg : - - - - - - - 0 0 0 0 0 -
20.21/20.35 c impliedbounds : 0.01 0.00 1 1 0 0 419 0 0 0 0 0 0
20.21/20.35 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
20.21/20.35 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c multilinear : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
20.21/20.35 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.21/20.35 c rapidlearning : 2.18 0.00 1 1 0 1060 0 0 0 0 0 0 200
20.21/20.35 c rlt : 0.02 0.00 1 1 0 0 2 0 0 0 0 0 0
20.21/20.35 c zerohalf : 0.03 0.00 1 1 0 0 6 0 0 0 0 0 0
20.21/20.35 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
20.21/20.35 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
20.21/20.35 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
20.21/20.35 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
20.21/20.35 c Pricers : ExecTime SetupTime Calls Vars
20.21/20.35 c problem variables: 0.00 - 0 0
20.21/20.35 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
20.21/20.35 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
20.21/20.35 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
20.21/20.35 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
20.21/20.35 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
20.21/20.35 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
20.21/20.35 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
20.21/20.35 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
20.21/20.35 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
20.21/20.35 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
20.21/20.35 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
20.21/20.35 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
20.21/20.35 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
20.21/20.35 c random : 0.00 0.00 0 0 0 0 0 0 0 0
20.21/20.35 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
20.21/20.35 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
20.21/20.35 c Primal Heuristics : ExecTime SetupTime Calls Found Best
20.21/20.35 c LP solutions : 0.00 - - 0 0
20.21/20.35 c relax solutions : 0.00 - - 0 0
20.21/20.35 c pseudo solutions : 0.00 - - 0 0
20.21/20.35 c strong branching : 0.00 - - 0 0
20.21/20.35 c actconsdiving : 0.00 0.00 0 0 0
20.21/20.35 c adaptivediving : 0.00 0.00 0 0 0
20.21/20.35 c alns : 0.00 0.00 0 0 0
20.21/20.35 c bound : 0.00 0.00 0 0 0
20.21/20.35 c clique : 0.02 0.00 1 0 0
20.21/20.35 c coefdiving : 0.00 0.00 0 0 0
20.21/20.35 c completesol : 0.00 0.00 0 0 0
20.21/20.35 c conflictdiving : 0.00 0.00 0 0 0
20.21/20.35 c crossover : 0.00 0.00 0 0 0
20.21/20.35 c dins : 0.00 0.00 0 0 0
20.21/20.35 c distributiondivin: 0.00 0.00 0 0 0
20.21/20.35 c dps : 0.00 0.00 0 0 0
20.21/20.35 c dualval : 0.00 0.00 0 0 0
20.21/20.35 c farkasdiving : 0.00 0.00 0 0 0
20.21/20.35 c feasjump : 0.01 0.00 1 0 0
20.21/20.35 c feaspump : 2.55 0.00 1 0 0
20.21/20.35 c fixandinfer : 0.00 0.00 0 0 0
20.21/20.35 c fracdiving : 0.00 0.00 0 0 0
20.21/20.35 c gins : 0.00 0.00 0 0 0
20.21/20.35 c guideddiving : 0.00 0.00 0 0 0
20.21/20.35 c indcoefdiving : 0.00 0.00 0 0 0
20.21/20.35 c indicator : 0.00 0.00 0 0 0
20.21/20.35 c indicatordiving : 0.00 0.00 0 0 0
20.21/20.35 c indoneopt : 0.00 0.00 0 0 0
20.21/20.35 c indrounding : 0.00 0.00 0 0 0
20.21/20.35 c indtwoopt : 0.00 0.00 0 0 0
20.21/20.35 c intdiving : 0.00 0.00 0 0 0
20.21/20.35 c intshifting : 0.00 0.00 0 0 0
20.21/20.35 c linesearchdiving : 0.00 0.00 0 0 0
20.21/20.35 c localbranching : 0.00 0.00 0 0 0
20.21/20.35 c locks : 0.01 0.00 1 0 0
20.21/20.35 c lpface : 0.00 0.00 0 0 0
20.21/20.35 c mpec : 0.00 0.00 0 0 0
20.21/20.35 c multistart : 0.00 0.00 0 0 0
20.21/20.35 c mutation : 0.00 0.00 0 0 0
20.21/20.35 c nlpdiving : 0.00 0.00 0 0 0
20.21/20.35 c objpscostdiving : 0.00 0.00 0 0 0
20.21/20.35 c octane : 0.00 0.00 0 0 0
20.21/20.35 c ofins : 0.00 0.00 0 0 0
20.21/20.35 c oneopt : 0.00 0.00 0 0 0
20.21/20.35 c padm : 0.00 0.00 0 0 0
20.21/20.35 c proximity : 0.00 0.00 0 0 0
20.21/20.35 c pscostdiving : 0.00 0.00 0 0 0
20.21/20.35 c randrounding : 0.00 0.00 1 0 0
20.21/20.35 c rens : 0.00 0.00 0 0 0
20.21/20.35 c reoptsols : 0.00 0.00 0 0 0
20.21/20.35 c repair : 0.00 0.00 0 0 0
20.21/20.35 c rins : 0.00 0.00 0 0 0
20.21/20.35 c rootsoldiving : 0.00 0.00 0 0 0
20.21/20.35 c rounding : 0.00 0.00 1 0 0
20.21/20.35 c scheduler : 0.00 0.00 0 0 0
20.21/20.35 c shiftandpropagate: 0.01 0.00 1 0 0
20.21/20.35 c shifting : 0.00 0.00 1 0 0
20.21/20.35 c simplerounding : 0.00 0.00 0 0 0
20.21/20.35 c smallcard : 0.00 0.00 0 0 0
20.21/20.35 c subnlp : 0.00 0.00 0 0 0
20.21/20.35 c trivial : 0.00 0.00 2 0 0
20.21/20.35 c trivialnegation : 0.00 0.00 0 0 0
20.21/20.35 c trustregion : 0.00 0.00 0 0 0
20.21/20.35 c trysol : 0.00 0.00 0 0 0
20.21/20.35 c twoopt : 0.00 0.00 0 0 0
20.21/20.35 c undercover : 0.00 0.00 1 0 0
20.21/20.35 c vbounds : 0.03 0.00 1 0 0
20.21/20.35 c veclendiving : 0.00 0.00 0 0 0
20.21/20.35 c zeroobj : 0.00 0.00 0 0 0
20.21/20.35 c zirounding : 0.00 0.00 0 0 0
20.21/20.35 c other solutions : - - - 0 -
20.21/20.35 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
20.21/20.35 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
20.21/20.35 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
20.21/20.35 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
20.21/20.35 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
20.21/20.35 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
20.21/20.35 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
20.21/20.35 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
20.21/20.35 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
20.21/20.35 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
20.21/20.35 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
20.21/20.35 c primal LP : 0.00 0 0 0.00 - 0.00 0
20.21/20.35 c dual LP : 0.84 2 4721 2360.50 5621.80 0.00 0
20.21/20.35 c lex dual LP : 0.00 0 0 0.00 -
20.21/20.35 c barrier LP : 0.00 0 0 0.00 - 0.00 0
20.21/20.35 c resolve instable : 0.00 0 0 0.00 -
20.21/20.35 c diving/probing LP: 2.54 9 17683 1964.78 6959.36
20.21/20.35 c strong branching : 0.00 0 0 0.00 - - - 0
20.21/20.35 c (at root node) : - 0 0 0.00 -
20.21/20.35 c conflict analysis: 0.00 0 0 0.00 -
20.21/20.35 c B&B Tree :
20.21/20.35 c number of runs : 1
20.21/20.35 c nodes : 1 (0 internal, 1 leaves)
20.21/20.35 c feasible leaves : 0
20.21/20.35 c infeas. leaves : 0
20.21/20.35 c objective leaves : 0
20.21/20.35 c nodes (total) : 1 (0 internal, 1 leaves)
20.21/20.35 c nodes left : 0
20.21/20.35 c max depth : 0
20.21/20.35 c max depth (total): 0
20.21/20.35 c backtracks : 0 (0.0%)
20.21/20.35 c early backtracks : 0 (0.0%)
20.21/20.35 c nodes exc. ref. : 0 (0.0%)
20.21/20.35 c delayed cutoffs : 0
20.21/20.35 c repropagations : 0 (0 domain reductions, 0 cutoffs)
20.21/20.35 c avg switch length: 2.00
20.21/20.35 c switching time : 0.00
20.21/20.35 c Root Node :
20.21/20.35 c First LP value : +0.00000000000000e+00
20.21/20.35 c First LP Iters : 4551 (5674.66 Iter/sec)
20.21/20.35 c First LP Time : 0.80
20.21/20.35 c Final Dual Bound : -
20.21/20.35 c Final Root Iters : 22404
20.21/20.35 c Root LP Estimate : -
20.21/20.35 c Solution :
20.21/20.35 c Solutions found : 0 (0 improvements)
20.21/20.35 c Primal Bound : infeasible
20.21/20.35 c Dual Bound : -
20.21/20.35 c Gap : 0.00 %
20.21/20.35 c Integrals : Total Avg%
20.21/20.35 c primal-dual : - - (problem infeasible)
20.21/20.35 c primal-ref : - - (problem infeasible)
20.21/20.35 c dual-ref : - - (problem infeasible)
20.32/20.41 c Time complete: 20.3398.
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 (61599 MiB free)
memory of node 1: 64465 MiB (63044 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4501840-1751154464/watcher-4501840-1751154464 -o /tmp/evaluation-result-4501840-1751154464/solver-4501840-1751154464 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751144686-14143 --watchdog 3760 pbscip -f HOME/instance-4501840-1751154464.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=18176, runsolver pid=18173
[startup+0.100068 s]*
/proc/loadavg: 4.11 4.12 4.10 5/265 18177
/proc/meminfo: memFree=127587208/131250000 swapFree=33010684/33010684
[pid=18176] ppid=18173 vsize=90936 memory=63808 CPUtime=0.09 cores=0,2
/proc/18176/stat : 18176 (pbscip) R 18173 18176 14133 0 -1 4194304 12884 0 0 0 7 2 0 0 20 0 1 0 31123003 93118464 15920 18446744073709551615 4235264 18693293 140733423483696 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50827264 140733423487369 140733423487468 140733423487468 140733423493070 0
/proc/18176/statm: 22734 15920 3488 3530 0 14185 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 90936 KiB
Current children cumulated memory: 63808 KiB
[startup+0.205629 s]*
/proc/loadavg: 4.11 4.12 4.10 5/265 18177
/proc/meminfo: memFree=127587208/131250000 swapFree=33010684/33010684
[pid=18176] ppid=18173 vsize=127840 memory=99264 CPUtime=0.19 cores=0,2
/proc/18176/stat : 18176 (pbscip) R 18173 18176 14133 0 -1 4194304 21749 0 0 0 16 3 0 0 20 0 1 0 31123003 130908160 24816 18446744073709551615 4235264 18693293 140733423483696 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50827264 140733423487369 140733423487468 140733423487468 140733423493070 0
/proc/18176/statm: 31960 24816 3520 3530 0 23411 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 127840 KiB
Current children cumulated memory: 99264 KiB
[startup+0.305584 s]*
/proc/loadavg: 4.11 4.12 4.10 5/265 18177
/proc/meminfo: memFree=127587208/131250000 swapFree=33010684/33010684
[pid=18176] ppid=18173 vsize=131360 memory=103616 CPUtime=0.29 cores=0,2
/proc/18176/stat : 18176 (pbscip) R 18173 18176 14133 0 -1 4194304 22832 0 0 0 26 3 0 0 20 0 1 0 31123003 134512640 25904 18446744073709551615 4235264 18693293 140733423483696 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50827264 140733423487369 140733423487468 140733423487468 140733423493070 0
/proc/18176/statm: 32840 25904 3552 3530 0 24291 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 131360 KiB
Current children cumulated memory: 103616 KiB
[startup+0.700175 s]
/proc/loadavg: 4.11 4.12 4.10 5/265 18177
/proc/meminfo: memFree=127584184/131250000 swapFree=33010684/33010684
[pid=18176] ppid=18173 vsize=135704 memory=108500 CPUtime=0.68 cores=0,2
/proc/18176/stat : 18176 (pbscip) R 18173 18176 14133 0 -1 4194304 25327 0 0 0 64 4 0 0 20 0 1 0 31123003 138960896 27125 18446744073709551615 4235264 18693293 140733423483696 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50827264 140733423487369 140733423487468 140733423487468 140733423493070 0
/proc/18176/statm: 33926 27125 3680 3530 0 25377 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 135704 KiB
Current children cumulated memory: 108500 KiB
[startup+1.50017 s]
/proc/loadavg: 4.11 4.12 4.10 5/265 18177
/proc/meminfo: memFree=127584216/131250000 swapFree=33010684/33010684
[pid=18176] ppid=18173 vsize=141620 memory=113316 CPUtime=1.47 cores=0,2
/proc/18176/stat : 18176 (pbscip) R 18173 18176 14133 0 -1 4194304 28065 0 0 0 143 4 0 0 20 0 1 0 31123003 145018880 28329 18446744073709551615 4235264 18693293 140733423483696 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50827264 140733423487369 140733423487468 140733423487468 140733423493070 0
/proc/18176/statm: 35405 28329 3680 3530 0 26856 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 141620 KiB
Current children cumulated memory: 113316 KiB
[startup+3.10552 s]
/proc/loadavg: 4.10 4.12 4.10 5/265 18177
/proc/meminfo: memFree=127576152/131250000 swapFree=33010684/33010684
[pid=18176] ppid=18173 vsize=143436 memory=115108 CPUtime=3.07 cores=0,2
/proc/18176/stat : 18176 (pbscip) R 18173 18176 14133 0 -1 4194304 28526 0 0 0 303 4 0 0 20 0 1 0 31123003 146878464 28777 18446744073709551615 4235264 18693293 140733423483696 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50827264 140733423487369 140733423487468 140733423487468 140733423493070 0
/proc/18176/statm: 35859 28777 3680 3530 0 27310 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 143436 KiB
Current children cumulated memory: 115108 KiB
[startup+6.30015 s]
/proc/loadavg: 4.10 4.12 4.10 5/265 18177
/proc/meminfo: memFree=127576204/131250000 swapFree=33010684/33010684
[pid=18176] ppid=18173 vsize=144780 memory=116516 CPUtime=6.26 cores=0,2
/proc/18176/stat : 18176 (pbscip) R 18173 18176 14133 0 -1 4194304 28870 0 0 0 622 4 0 0 20 0 1 0 31123003 148254720 29129 18446744073709551615 4235264 18693293 140733423483696 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50827264 140733423487369 140733423487468 140733423487468 140733423493070 0
/proc/18176/statm: 36195 29129 3680 3530 0 27646 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 144780 KiB
Current children cumulated memory: 116516 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 18177
/proc/meminfo: memFree=127571868/131250000 swapFree=33010684/33010684
[pid=18176] ppid=18173 vsize=145536 memory=117156 CPUtime=12.64 cores=0,2
/proc/18176/stat : 18176 (pbscip) R 18173 18176 14133 0 -1 4194304 29051 0 0 0 1260 4 0 0 20 0 1 0 31123003 149028864 29289 18446744073709551615 4235264 18693293 140733423483696 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50827264 140733423487369 140733423487468 140733423487468 140733423493070 0
/proc/18176/statm: 36384 29289 3680 3530 0 27835 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 145536 KiB
Current children cumulated memory: 117156 KiB
[startup+20.4204 s]
# the end of solver process 18176 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=20.2489 s, system=0.097696 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8002 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 18177
/proc/meminfo: memFree=127571868/131250000 swapFree=33010684/33010684
[pid=18176] ppid=18173 vsize=145536 memory=117156 CPUtime=12.74 cores=0,2
/proc/18176/stat : 18176 (pbscip) R 18173 18176 14133 0 -1 4194304 29051 0 0 0 1270 4 0 0 20 0 1 0 31123003 149028864 29289 18446744073709551615 4235264 18693293 140733423483696 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50827264 140733423487369 140733423487468 140733423487468 140733423493070 0
/proc/18176/statm: 36384 29289 3680 3530 0 27835 0
Current children cumulated CPU time: 12.74 s
Current children cumulated vsize: 145536 KiB
Current children cumulated memory: 117156 KiB
[startup+16.0001 s]*
/proc/loadavg: 4.08 4.11 4.09 5/265 18177
/proc/meminfo: memFree=127571660/131250000 swapFree=33010684/33010684
[pid=18176] ppid=18173 vsize=164764 memory=132136 CPUtime=15.94 cores=0,2
/proc/18176/stat : 18176 (pbscip) R 18173 18176 14133 0 -1 4194304 32859 0 0 0 1589 5 0 0 20 0 1 0 31123003 168718336 33034 18446744073709551615 4235264 18693293 140733423483696 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50827264 140733423487369 140733423487468 140733423487468 140733423493070 0
/proc/18176/statm: 41191 33034 3872 3530 0 32642 0
Current children cumulated CPU time: 15.94 s
Current children cumulated vsize: 164764 KiB
Current children cumulated memory: 132136 KiB
[startup+17.6001 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 18177
/proc/meminfo: memFree=127571764/131250000 swapFree=33010684/33010684
[pid=18176] ppid=18173 vsize=166440 memory=133672 CPUtime=17.53 cores=0,2
/proc/18176/stat : 18176 (pbscip) R 18173 18176 14133 0 -1 4194304 33200 0 0 0 1748 5 0 0 20 0 1 0 31123003 170434560 33418 18446744073709551615 4235264 18693293 140733423483696 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50827264 140733423487369 140733423487468 140733423487468 140733423493070 0
/proc/18176/statm: 41610 33418 3904 3530 0 33061 0
Current children cumulated CPU time: 17.53 s
Current children cumulated vsize: 166440 KiB
Current children cumulated memory: 133672 KiB
[startup+19.2002 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 18177
/proc/meminfo: memFree=127531696/131250000 swapFree=33010684/33010684
[pid=18176] ppid=18173 vsize=212844 memory=177704 CPUtime=19.12 cores=0,2
/proc/18176/stat : 18176 (pbscip) R 18173 18176 14133 0 -1 4194304 44237 0 0 0 1905 7 0 0 20 0 1 0 31123003 217952256 44426 18446744073709551615 4235264 18693293 140733423483696 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50827264 140733423487369 140733423487468 140733423487468 140733423493070 0
/proc/18176/statm: 53211 44426 3904 3530 0 44662 0
Current children cumulated CPU time: 19.12 s
Current children cumulated vsize: 212844 KiB
Current children cumulated memory: 177704 KiB
[startup+20.0001 s]*
/proc/loadavg: 4.08 4.11 4.09 5/265 18177
/proc/meminfo: memFree=127515568/131250000 swapFree=33010684/33010684
[pid=18176] ppid=18173 vsize=220768 memory=185768 CPUtime=19.92 cores=0,2
/proc/18176/stat : 18176 (pbscip) R 18173 18176 14133 0 -1 4194304 46229 0 0 0 1984 8 0 0 20 0 1 0 31123003 226066432 46442 18446744073709551615 4235264 18693293 140733423483696 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50827264 140733423487369 140733423487468 140733423487468 140733423493070 0
/proc/18176/statm: 55192 46442 3904 3530 0 46643 0
Current children cumulated CPU time: 19.92 s
Current children cumulated vsize: 220768 KiB
Current children cumulated memory: 185768 KiB
[startup+20.4002 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 18177
/proc/meminfo: memFree=127515568/131250000 swapFree=33010684/33010684
[pid=18176] ppid=18173 vsize=204092 memory=169880 CPUtime=20.32 cores=0,2
/proc/18176/stat : 18176 (pbscip) R 18173 18176 14133 0 -1 4194304 46754 0 0 0 2023 9 0 0 20 0 1 0 31123003 208990208 42470 18446744073709551615 4235264 18693293 140733423483696 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 50827264 140733423487369 140733423487468 140733423487468 140733423493070 0
/proc/18176/statm: 51023 42470 3904 3530 0 42474 0
Current children cumulated CPU time: 20.32 s
Current children cumulated vsize: 204092 KiB
Current children cumulated memory: 169880 KiB
Child status: 0
Real time (s): 20.4205
CPU time (s): 20.3466
CPU user time (s): 20.2489
CPU system time (s): 0.097696
CPU usage (%): 99.6385
Max. virtual memory (cumulated for all children) (KiB): 222636
Max. memory (cumulated for all children) (KiB): 187560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.2489
system time used= 0.097696
maximum resident set size= 187560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46761
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= 80
involuntary context switches= 38
# summary of solver processes directly reported to runsolver:
# pid: 18176
# total CPU time (s): 20.3466
# total CPU user time (s): 20.2489
# total CPU system time (s): 0.097696
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.052472 second user time and 0.118447 second system time
The end
Begin job on nodeC014 at 2025-06-29 01:47:44 IDJOB=4501840 IDBENCH=152011 IDSOLVER=3365 FILE ID=nodeC014/4501840-1751154464 RUNJOBID= nodeC014-1751144686-14143 SLURM_JOB_ID= 9587442 Free space on /tmp= 432896 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j60/normalized-j6021_1-unsat.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4501840-1751154464/watcher-4501840-1751154464 -o /tmp/evaluation-result-4501840-1751154464/solver-4501840-1751154464 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751144686-14143 --watchdog 3760 pbscip -f HOME/instance-4501840-1751154464.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= acb3bfa25be6cee6deaef298d2d917c1 RANDOM SEED=1443133548 nodeC014 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 : 3600.402 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 : 7000.23 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 : 3600.113 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 : 7000.23 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 : 3598.834 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 : 7000.23 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 : 3601.096 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 : 7000.23 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 : 3600.116 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 : 7000.23 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 : 3600.056 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 : 7000.23 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 : 3746.039 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 : 7000.23 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 : 3595.456 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 : 7000.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 127635340 kB MemAvailable: 127358808 kB Buffers: 3280 kB Cached: 534716 kB SwapCached: 0 kB Active: 2635068 kB Inactive: 325192 kB Active(anon): 2440388 kB Inactive(anon): 0 kB Active(file): 194680 kB Inactive(file): 325192 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 19976 kB Writeback: 4 kB AnonPages: 2425428 kB Mapped: 138104 kB Shmem: 18068 kB KReclaimable: 85672 kB Slab: 168608 kB SReclaimable: 85672 kB SUnreclaim: 82936 kB KernelStack: 4272 kB PageTables: 8056 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 2859844 kB VmallocTotal: 34359738367 kB VmallocUsed: 150616 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 49152 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 203476 kB DirectMap2M: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432880 MiB End job on nodeC014 at 2025-06-29 01:48:05